Established in scope
Complete DET16 word source by matrix-free cubic renewal
In the question: Complete physical Hamiltonian source with Gauss sector and thermal word limit
Ordinary untwined ambient trace. Does not implement arbitrary gauge twists or unknown source legs; no uniform relative-error or bit-complexity theorem. All-word proof analytic; finite comparisons native controls. No whole4D cell executed.
Read the exact result, assumptions and evidence
Result
For every finite ordered CAR word and finite nonnegative heat intervals, PBP=<phi|B|phi>P reduces projector cuts to cyclic edges. Dynamic sum over unique smallest cut counts every subset once. Bitstates0/F give matrix elements,CAR signs free trace. O(k³) arithmetic operations and O(k²) memory at fixed16 modes. Implemented with no Hilbert matrices in evaluator.7 native4/8/16 words including Omega/adjoint agree within2.082e-17;12 four-words with independent expansion within3.34e-16.
Required assumptions
- Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
- Literal separated DET16 mirror factor of v1013 table
Exactly original v1013 table: only DET16 acts on separate16-mode Fock factor; Hm=2(I-Pphi), original v1002 Pphi and phi=pi/7. Six other rows act on physical edge/link/clock factors, rest dimension256 per cell. No additional mirror hopping as in v1007. Supplied table coupling, not primitive P1 selection.
Original evidence
- DET16-WHOLE-SOURCE-REDUCTION.txt lines 1–200
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/DET16-WHOLE-SOURCE-REDUCTION.txt
fc43fcfef453bb278b8f5c28123078331a36d1e4350672b45c47a5d99c992897
- DET16-WHOLE-SOURCE-REDUCTION.txt lines 201–217
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/DET16-WHOLE-SOURCE-REDUCTION.txt
fc43fcfef453bb278b8f5c28123078331a36d1e4350672b45c47a5d99c992897
- R104-REVIEW.txt lines 1–57
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/R104-REVIEW.txt
b2706681f27fda41d93fe760499f45ed561cc6d4da980a320b366b30a64110e8
- check_det16_source.py lines 60–138
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/check_det16_source.py
0511dddb7d2c1f634014e2ba7e7227aa9ed20c8aafeccb05b6bec15d9727a0a0
- det16-source-results.json lines 1–137
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/det16-source-results.json
20fe3aa2b459dedaa3f6124d8f14680a08b78631ee59a130fa2e32c882ebd1f8
finding:r104-original-det16-word-source-has-matrix-free-cubic-renewal