Follow-up of #23. clean_rendering_files() computes setdiff(present_after, present_before) on file names only. A file that existed before rendering and was regenerated during it is treated as pre-existing and kept, while the same names-only identity caused the stale-output bug fixed in #23 for the copy-back side. Worth auditing under the same rule: snapshot (path, mtime, size) and decide explicitly what "created by rendering" means for modified files.
Follow-up of #23.
clean_rendering_files()computessetdiff(present_after, present_before)on file names only. A file that existed before rendering and was regenerated during it is treated as pre-existing and kept, while the same names-only identity caused the stale-output bug fixed in #23 for the copy-back side. Worth auditing under the same rule: snapshot (path, mtime, size) and decide explicitly what "created by rendering" means for modified files.