Established in scope
Whole original word source determines complete transfer comparison
In the question: Original TFPT source versus DET16 mirror vertex
Exactly full-source/time premise. Primitive16 source values NOT computed. No new boundary state,measure,profile,vacuum,autonomous cell or continuum gate;thermal Liouvillian separate.
Read the exact result, assumptions and evidence
Result
Full source forces G,K_t,h=-K'_0. Equal full pairing/closed form and actual sewing determine transfer;discrete caller uses whole fixed step. DET jet:(H_R+2I)E-2I p_phi includes all density/top/rest coefficients. Actual ordinary finite thermal trace gives H_ij=-C'_ij(0)/q(P_a) for i!=j using original full-block matrix insertions. Diagonal differences follow from the same insertions;the common scalar follows from the actual unnormalized positive trace. Mirror indices need all rest tests B. Original source/reference remain bound. Positive compression leakage proves sewing requirement.
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.
- Whole original word source with actual time sewing
Same given valid complete original source q with fields,positive OS pairing/null quotient,reflection,actual time shift and semigroup sewing on common operator core/equal closed forms. Ordinary finite thermal trace insertion reader only when that caller is actually supplied. Unnormalized source/reference/eta remain bound. Purely discrete source requires only whole fixed one-step kernel. No new source or universal continuum premise.
- 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.
- 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
- TRANSFER-EXTRACTION.txt lines 1–200
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/TRANSFER-EXTRACTION.txt
3a1a844f8f4e9ad5642abd627ae207d83deb11d68342e8e0bab929fff7ea7f2f
- TRANSFER-EXTRACTION.txt lines 201–400
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/TRANSFER-EXTRACTION.txt
3a1a844f8f4e9ad5642abd627ae207d83deb11d68342e8e0bab929fff7ea7f2f
- TRANSFER-EXTRACTION.txt lines 401–507
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/TRANSFER-EXTRACTION.txt
3a1a844f8f4e9ad5642abd627ae207d83deb11d68342e8e0bab929fff7ea7f2f
- SOURCE-DETERMINACY.txt lines 1–107
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/SOURCE-DETERMINACY.txt
41ae757ef457a2f0c580ffea5cc01370ae22c3f95bc6fd18afc764bc3d362d4f
finding:k-full-original-word-kernel-determines-transfer-and-whole-det-test