THALis: repository artifact policy
LaTeX crumbs everywhere... aux, log, fls etc can go. keep enough to rebuild, but check i'm not ignoring the only surviving output along with the junk
cleanup (6a5adaf, 0640c79): LaTeX auxiliary files are removed and ignore rules expanded for compilation artifacts, Python cache, node_modules and related temporary files.
recorded auxiliary suffixes: .aux, .fdb_latexmk, .fls, .log, .out, .synctex.gz, .toc. The source .tex and intentionally distributed PDF serve different purposes from these intermediate files.
review questions: can a new checkout rebuild the document from its source and retained figures? Are generated results reproducible from scripts, and are large raw datasets tracked or referenced consistently? Do not exclude a file solely because it is generated if it is the only surviving scientific output.
path note: the formal-theory directory changes name in nearby commits. Keep references commit-specific and avoid reconstructing exact line numbers from the archive's file-size statistics.
