Established in scope
Direct open low-charge source class cannot exactly reproduce DET16
In the question: Original TFPT source versus DET16 mirror vertex
Conditional class result,no global TFPT/IR refutation or blanket Gaussianity after boson integration. Do not declare S_seam/top or other vertices absent/zero. Distinguish Pexp(-epsH)P from exp(-epsPHP);endpoint fixing suffices for first derivative,higher compressed bandwidth requires suitable filtration control. No such Padm property asserted.
Read the exact result, assumptions and evidence
Result
With number bandwidth s,rest-operator <F|H^j|0>=0 for js<16. For s2,orders0..7 vanish even with Majorana pairing and whole noncommuting boson dynamics; ||H||<=M gives norm<=exp(eps M)(eps M)^8/8!. DET16 instead gives eps exp(i phi)+O(eps²). Thus no exact same open short-time source in class. Earliest possible order is not a nonzero guarantee. Regular common reference/time map t0=0,t'0≠0 preserve first zero test.
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.
- Actually identified16 CAR fields and open time boundary
Same original16-mode CAR algebra,vacuum0,full stateF,N=sumni and actual reconstructed transfer kernel/generator with rest factor,domain and bound reference. Do not identify action S_adm with H. No identification by equal dimension or assumed physical U1 symmetry. Carry actual projection and source maps.
- Whole charge-bandlimited generator and regular boundary class
On same unfiltered open16-field boundary,every whole generator term changes number by at most s<16. Rest operators have no hidden action on those modes and may be noncommuting. Finite bounded regulator or common domain/required derivatives. Fixed epsilon-independent linear rest evaluation with allowed derivative interchange. No thermal preweight,mixed boundary,different effective H or singular limit. This premise is NOT asserted for whole actual TFPT action.
Original evidence
- DET16-ORIGIN-TEST.txt lines 1–190
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/DET16-ORIGIN-TEST.txt
8fbb0d9da82e3a49c3ce1f6b0aa69a3034df059c6e891d2c3c0fbe3285dbf19b
- R105-REVIEW.txt lines 1–61
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/R105-REVIEW.txt
994a17df703f734b64fefbd9926b5ce0e622011a7aaa895796438e24f9d1a11e
- check_det16_origin.py lines 1–119
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/check_det16_origin.py
6c289c666342ff3184c53999ecb3884221e3ea664e74ca710666bc7aab140b65
- det16-origin-results.json lines 1–145
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/det16-origin-results.json
e4a4b5f663b25f04eaf835d88d2186049491383cc84ade5e8843a9e19b4ce0e2
finding:r105-low-charge-open-transfer-cannot-equal-original-det16