DOCX exact recovered files 29 bytes 98418
Julia hash entries 67
Lean hash entries 28
Theorem declarations and mappings 147
Archived O0/O3 outputs agree 6
Fresh Python integer replay 32768 states 753664 transitions depth 10 sum 300871 positive 300871
Minimum gap 34535026732
Fresh rational endpoint reproduction: 10 enclosure rows match exactly
Fresh real-floor enclosure checks: 32768 ; precision rows reproduced: 19
Fresh gap-block reproduction: 128 rows match
Fresh SymPy reproduction of actual Julia expressions and recorded normal forms: 97 exact zeros
Archived axiom report: 147 declarations; dependencies: Classical.choice, Quot.sound, propext
SCOPE: source comparison and independent Python replay; no fresh Lean or Julia execution.