OMEGA V3 SOURCE AUDITOR REGRESSION
Python 3.11.2
Auditor SHA256 7bb072407b4c2c3ea58c0a8a0ad392d5870fc1d7d339ff20b67679b9ad96f08e
Cases: 19 (one original and 18 mutations); both normal and -O
PASS normal original : accepted original
PASS optimized original : accepted original
PASS normal no_source_blocks : rejected: DOCX source block inventory
PASS optimized no_source_blocks : rejected: DOCX source block inventory
PASS normal duplicate_source_block : rejected: duplicate DOCX source block
PASS optimized duplicate_source_block : rejected: duplicate DOCX source block
PASS normal bad_moment_11 : rejected: nonzero source polynomial: moment_11
PASS optimized bad_moment_11 : rejected: nonzero source polynomial: moment_11
PASS normal empty_evidence_tables : rejected: table coverage/order/duplicates: rational_enclosures.tsv
PASS optimized empty_evidence_tables : rejected: table coverage/order/duplicates: rational_enclosures.tsv
PASS normal empty_precision_sweep : rejected: table coverage/order/duplicates: precision_sweep.csv
PASS optimized empty_precision_sweep : rejected: table coverage/order/duplicates: precision_sweep.csv
PASS normal empty_gap_blocks : rejected: table coverage/order/duplicates: gap_blocks.csv
PASS optimized empty_gap_blocks : rejected: table coverage/order/duplicates: gap_blocks.csv
PASS normal wrong_theorem_statement : rejected: theorem statement/name/source binding: Omega.G_eq
PASS optimized wrong_theorem_statement : rejected: theorem statement/name/source binding: Omega.G_eq
PASS normal false_recorded_polynomial : rejected: recorded polynomial normal form: phi_sq
PASS optimized false_recorded_polynomial : rejected: recorded polynomial normal form: phi_sq
PASS normal bad_moment_12 : rejected: nonzero source polynomial: moment_12
PASS optimized bad_moment_12 : rejected: nonzero source polynomial: moment_12
PASS normal bad_moment_22 : rejected: nonzero source polynomial: moment_22
PASS optimized bad_moment_22 : rejected: nonzero source polynomial: moment_22
PASS normal bad_gram : rejected: nonzero source polynomial: gram_entry_1_1
PASS optimized bad_gram : rejected: nonzero source polynomial: gram_entry_1_1
PASS normal bad_heights : rejected: nonzero source polynomial: moment_12
PASS optimized bad_heights : rejected: nonzero source polynomial: moment_12
PASS normal bad_helper : rejected: nonzero source polynomial: displacement_conjugacy
PASS optimized bad_helper : rejected: nonzero source polynomial: displacement_conjugacy
PASS normal duplicate_enclosure : rejected: table coverage/order/duplicates: rational_enclosures.tsv
PASS optimized duplicate_enclosure : rejected: table coverage/order/duplicates: rational_enclosures.tsv
PASS normal missing_manifest_entry : rejected: manifest closed inventory
PASS optimized missing_manifest_entry : rejected: manifest closed inventory
PASS normal wrong_section_context : rejected: theorem statement/name/source binding: Omega.homothety_comp
PASS optimized wrong_section_context : rejected: theorem statement/name/source binding: Omega.homothety_comp
PASS normal unsupported_expression : rejected: unsupported function
PASS optimized unsupported_expression : rejected: unsupported function
PASS normal unsupported_source_line : rejected: unsupported polynomial source line
PASS optimized unsupported_source_line : rejected: unsupported polynomial source line

ORIGINAL AUDIT OUTPUT
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.

TOTAL: 38 successful subprocess checks; 36 correct mutation rejections.
No Lean or Julia runtime was executed.
