TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/atlas-defect-synthesis-20261024/NATIVE-ERASURE-READOUT.txt
Original file SHA-256: 5be50c2142b498e91350c011c904a13ce823d7a0eef1ff490d89469187e72357
Inclusive original lines: 201-204
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 | The checker uses exact SymPy integers, rationals, Gaussian integers and
000202 | algebraic square roots.  It imports no stored numerical matrix fit.  Full
000203 | matrices, words, source hashes and per-reflection certificates are in
000204 | native_erasure_readout_results.json.