Commit Graph
3 Commits
Author SHA1 Message Date
Abdessamad Derraz 286e39d199 fix: let two generators purge the coverage cache 2026-11-06 03:34:17 +01:00
Abdessamad Derraz 96f100ac22 fix: stop coverage on a missing input directory 2026-11-06 03:33:17 +01:00
Abdessamad Derraz baf38ffbee refactor: compute coverage once, index proofs
EntryCategories asked every core in turn: 3.8 million proofs for 7,430
entries. ProofIndex looks each key up once, and verify --all --json is
byte-identical (24 s to 17 s). generate_site and generate_readme now share
one coverage, cached in tmp/coverage-cache keyed by its inputs, so the
README step drops from 25 s to 3 s.
2026-10-22 12:23:26 +02:00