Re-audit the full Erdős 625 TeX and specify the corrected Version 2 proof - #44

Draft

SamPetkov wants to merge 6 commits into

agent/625-value-upgrade-programfrom

agent/625-full-tex-mathematical-reaudit

Commits on Jul 26, 2026

Add the full mathematical re-audit of the Erdős 625 TeX
SamPetkov
committed
34e902e
Add the canonical Version 2 mathematical rewrite specification
SamPetkov
committed
9b225be
Add exact regression checks for the full TeX re-audit
SamPetkov
committed
929ae4d
Add focused CI for the full TeX mathematical re-audit
SamPetkov
committed
65199a6
Correct the theorem-upgrade classifications after the full TeX audit
SamPetkov
committed
c862134
Make high-precision coefficient checks rounding-safe
SamPetkov
committed
d61a8f7