TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/atlas-defect-synthesis-20261024/DOILY-QUARTIC.txt
Original file SHA-256: 666355194ef46ca3e8768dcb05a6c4158c7f3f9d2a5f64aa10e5eaa94dc6c853
Inclusive original lines: 201-212
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000201 |     PYTHONDONTWRITEBYTECODE=1 python3 \
000202 |       experiments/theory-contracts/atlas-defect-synthesis-20261024/doily_quartic_bridge.py \
000203 |       --output /tmp/doily-normal.json
000204 | 
000205 |     PYTHONDONTWRITEBYTECODE=1 PYTHONOPTIMIZE=2 python3 \
000206 |       experiments/theory-contracts/atlas-defect-synthesis-20261024/doily_quartic_bridge.py \
000207 |       --output /tmp/doily-oo.json
000208 | 
000209 |     cmp /tmp/doily-normal.json /tmp/doily-oo.json
000210 | 
000211 | The checked repository result is doily_quartic_bridge_results.json.  Normal
000212 | and -OO execution must produce byte identical JSON.