TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/MIXED-SPIN-WORD-PROOF.txt
Original file SHA-256: cb20452e22d19160eb0095b2f6092ac03b75ea084442547851fceed1441baf99
Inclusive original lines: 201-203
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 | Analytic all-mode proofs above carry the general claims. Finite numerical
000202 | controls are not formal interval certificates or empirical measurements.
000203 | No new Lean, full verification suite, public claim or ledger promotion.