FRESH QUALIFIED-REVISION REPLAY
October 18, 2026, America/Chicago

Original supplied checker bytes retained. Fresh ordinary execution with active
assertions passed exact rational n=3..200 and edge-subset enumeration n=3..5.
Fresh python -B -O execution completed with identical saved rows and output.
The checker uses assert; its mathematical acceptance gates are disabled under
-O. Therefore the ordinary run establishes those checks; the -O run establishes
execution/output compatibility, not independent assertion coverage.

Both outputs were parsed externally and compared exactly to the sealed baseline
results. TeX rebuilt as three pages; new disclosure verified in actual PDF text.
No numerical checks replace the elementary proof for every n.
