SOURCE-LOCATED STATEMENTS
Theorem & evidence index.
12,625 automatically extracted theorem, lemma, definition, and proposition text matches across the 37 PDFs. The same theorem may appear multiple times. These are source locators, not proof certification.
Select an original manuscript.
Exact verification status
| Source-file check | PDF pages and SHA-256 indexed |
|---|---|
| Headings | Text positions; not confirmed distinct theorem statements |
| Definition / lemma transitions | NOT INDEPENDENTLY AUDITED |
| Standard-physics interface | NOT INDEPENDENTLY AUDITED |
| Experiment / simulation handoff | NOT INDEPENDENTLY CERTIFIED |