TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/atlas-defect-synthesis-20261024/RELATIONAL-CHANNEL.txt
Original file SHA-256: c145e53c52753ed4e4df545cdde062c3a6bc19fd9538c99962ec1c110bfaeeb4
Inclusive original lines: 201-217
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 | 
000202 | Reproduction
000203 | ------------
000204 | 
000205 | From the repository root:
000206 | 
000207 |     PYTHONDONTWRITEBYTECODE=1 python3 \
000208 |       experiments/theory-contracts/atlas-defect-synthesis-20261024/relational_channel.py \
000209 |       --output /tmp/relational-normal.json
000210 | 
000211 |     PYTHONDONTWRITEBYTECODE=1 PYTHONOPTIMIZE=2 python3 \
000212 |       experiments/theory-contracts/atlas-defect-synthesis-20261024/relational_channel.py \
000213 |       --output /tmp/relational-oo.json
000214 | 
000215 |     cmp /tmp/relational-normal.json /tmp/relational-oo.json
000216 | 
000217 | The checked repository result is relational_channel_results.json.