TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-local-source-variable-background-20261102/DET16-WHOLE-SOURCE-REDUCTION.txt
Original file SHA-256: fc43fcfef453bb278b8f5c28123078331a36d1e4350672b45c47a5d99c992897
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 | The existing full geometric G source is preserved, not declared absent.
000202 | A mere covariance match or a newly named source leg cannot settle that
000203 | comparison. The new matrix-free whole-word evaluator can execute the
000204 | Hamiltonian side once the actual compared original legs are specified.
000205 | 
000206 | 7. EXECUTION
000207 | 
000208 | check_det16_source.py uses the actual sparse v1002 projector (four nonzero
000209 | entries), all16 actual CAR mode operators and the original PHI. All256
000210 | normal and256 anomalous pairs and120 distinct density pairs were checked
000211 | at three diagnostic beta values. Twelve native four-word responses match
000212 | the independent I/P expansion to at most3.34e-16. Seven length4/8/16 words,
000213 | including Omega16 and its adjoint, match the matrix-free renewal to at most
000214 | 2.10e-17. All four original center weights are also verified. Run uses -OO
000215 | with explicit raising checks. det16-source-results.json retains hashes
000216 | and scopes. No16,777,216-dimensional full cell, new Lean theorem, original
000217 | paper, ledger promotion or complete physical TFPT solution is claimed.