Audit the Erdős 625 manuscript line by line and theorem by theorem - #51

Closed

SamPetkov wants to merge 8 commits into

agent/625-line-audit-basefrom

agent/625-line-by-line-theorem-audit

Commits on Jul 27, 2026

Add deterministic source-map extractor for the canonical TeX
SamPetkov
committed
891ccbb
Add source-map workflow for the line-by-line TeX audit
SamPetkov
committed
5fcb44b
Trigger the line-audit source-map workflow
SamPetkov
committed
a036b52
Add machine-readable theorem and claim status manifest
SamPetkov
committed
2d1cf67
Add literal line-by-line and theorem-by-theorem mathematical audit
SamPetkov
committed
bd38f4b
Add deterministic checker for theorem audit coverage and status consistency
SamPetkov
committed
4e988a4
Fix literal audit checker markers and source-string matching
SamPetkov
committed
feb0cfb
Run the literal theorem audit through the active Section 8 workflow
SamPetkov
committed
f8edb23