Established in scope
Existing DET rotation joins whole original source with unchanged flat parent
In the question: Whole original source and canonical vacuum attachment
Whole source and representation identity of the same given source,no parent change or physical mirror-sector selection. Unchanged charge labels require original singlet premise;otherwise whole gauge generators transform. Infinite family is quasilocal automorphism/GNS intertwiner,not infinite product in one fixed Fock representation. Pure local DET ground is not automatically global physical ground sector. Retain rest H_R and Gauss cancellations. No derivation of supplied interaction from P1 or total physical closure.
Read the exact result, assumptions and evidence
Result
Apply the already original full U_det rotation to actual R104/v1013 parent:T=I_R tensor product U_det* gives H_R+2 sum(I-P0),P_G prime=TP_GT*,O prime=TOT*. Every unnormalized ordered trace,actual reference quotient,time,reflection and physical ground projection is exactly preserved. No U/G commutation needed when actual gauge operators travel. Original c legs become U_det*cU_det,dressed a become c. Local two-particle persistence remains exp(-2t);additive2N_a gives exp(-4t). If actual P_phi are Gauss invariant,E_phys exactly reduces to min_S[infSpec(H_R|Ran P_S)+2|S|].
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.
- Actual product gauge action and rest-source legs
Actual supplied original finite gauge action factors as UR(g) tensor product Um,x(gx), preserves same H and uses same original whole Gauss projector. Rest-source legs are gauge compatible. No concrete v1013 mirror representation or P1 clock identity is added from group order. Gamma(r),det r1,no implementer phase is only explicitly supplied subcase.
Original evidence
- DET16-ORIGINAL-MAP.txt lines 1–200
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/DET16-ORIGINAL-MAP.txt
f36de20b0c3996161122372291c9869d7bb103b3464a3c42f53ee677868b5f3f
- DET16-ORIGINAL-MAP.txt lines 201–333
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/DET16-ORIGINAL-MAP.txt
f36de20b0c3996161122372291c9869d7bb103b3464a3c42f53ee677868b5f3f
- J-DET16-REVIEW.txt lines 1–97
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-local-source-variable-background-20261102/J-DET16-REVIEW.txt
09b5477d96b322f051fe841bf67a5d8bd7e5288cba63abf5ef1c5bd7873b5362
- toe_round4_proofs.tex lines 243–302
Source checked at this snapshot
Original location and fingerprint
tex-artefacts/toe_round4_proofs.tex
a7359f2ac472a5ed3618bb594562d42651ffc1cca465f53086e4839a3cad599a
finding:existing-det-unitary-closes-whole-original-flat-parent-source-vacuum-chart