Document the full Erdős 625 theorem-upgrade and follow-up program - #43

Draft

SamPetkov wants to merge 8 commits into

agent/625-section8-decorated-reference-quotientfrom

agent/625-value-upgrade-program

Commits on Jul 26, 2026

Add the detailed Erdős 625 value-upgrade research program
SamPetkov
committed
1686d90
Add copy-ready theorem statements and proof blueprints
SamPetkov
committed
1e341d9
Add the exact coefficient and placement regression ledger
SamPetkov
committed
39966b8
Index the Erdős 625 post-proof research program
SamPetkov
committed
36b26b3
Add CI for the Erdős 625 value-upgrade dossier
SamPetkov
committed
2c217e4
Allow standard TeX command adjacency in the dossier check
SamPetkov
committed
9b024fb
Correct and polish the value-upgrade mathematical dossier
SamPetkov
committed
99d7250
Map the public Erdős 625 PR stack by mathematical role
SamPetkov
committed
4d1b122