Yeah, but while the mtime++ vs content hash dichotomy is interesting and all, in a way it's all just about a performance optimization. What matters is keeping

Yeah, but while the mtime++ vs content hash dichotomy is interesting and all, in a way it's all just about a performance optimization. What matters is keeping track of the actual dependencies and Redo does indeed save that knowledge in a database that gets consulted between runs.