8000 Tags · Mnehmos/mathcorpus · GitHub
[go: up one dir, main page]

Skip to content

Tags

Tags

v0.1.0-alpha

Toggle v0.1.0-alpha's commit message
chore(manifests): regenerate backfill_report.json from current corpus

Also missed by the prior manifests/ refresh (build_manifests.py/build_split_manifest.py/
dedupe_pipeline.py don't touch it -- it's backfill_report.py's own output). Was stale from
before the proof_profile/dependency_manifest population pass, so it still reported 324/357
packets as not_yet_backfilled for proof_profile and explicit_dependencies; now correctly
shows 2/358 (the two packets with no recoverable proof body -- an honest, expected gap, not
a bug) and 328/358 recovered.

Co-Authored-By: Claude Sonnet 5 <noreply@anthropic.com>
0