TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-local-source-variable-background-20261102/PAIRED-DYSON-PROOF.txt
Original file SHA-256: 556735a9132f328707be6c83315eb068e102ae4c1bf1b68461181cc3d03cdb57
Inclusive original lines: 201-205
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 all-mode proof is sections2-4. Independent reviews check the proof.
000202 | R080, normal_dependent_transport/PROOF, originalAP Green and v259 were
000203 | re-read; v259 uses heat exp(-u), not log(1+exp(-u)). An automatic spectral
000204 | action/Fock-log cancellation based on the latter was rejected.
000205 | No paper, verification ledger, Lean status or physical claim is promoted.