TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-local-source-variable-background-20261102/VACUUM-IDENTIFICATION.txt
Original file SHA-256: 97afef6dfcc94a5e18bda211203e73df2221a914432722fdbae066338608abb7
Inclusive original lines: 1-200
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.

000001 | THE VACUUM BELONGS TO THE SAME COMPLETE ORIGINAL SOURCE
000002 | L20261103J. 3 November 2026. G/H/I and R104 retained.
000003 | 
000004 | QUESTION AND RESULT
000005 | 
000006 | [OMITTED: non-scientific conversation or execution metadata]
000007 | [OMITTED: non-scientific conversation or execution metadata]
000008 | [OMITTED: non-scientific conversation or execution metadata]
000009 | 
000010 | (a) On the original complete vacuum OS source, the invariant vacuum is
000011 | not an additional datum to choose after source reconstruction. It is the
000012 | constant-word class. Whole-source covariance gives its spacetime symmetry
000013 | as part of that reconstruction. The I formulation using whole-source
000014 | covariance AND an independently invariant reconstructed vacuum can thus
000015 | be reduced on this actual OS branch. I's implication remains correct.
000016 | 
000017 | (b) H's original physical Hamiltonian class has a complete bounded
000018 | GROUND-state Euclidean source on the SAME dynamics and Gauss quotient.
000019 | It is obtained from the original finite physical ground states, not by
000020 | inserting a replacement vacuum into a finite-temperature state. All
000021 | ordered bounded words converge on the same subnet; their OS space is
000022 | unitarily the actual ground-state GNS space. No mass gap is needed.
000023 | 
000024 | (c) The existing full DET16 unitary is applied to R104's ORIGINAL flat
000025 | parent and entire coupled source. Hamiltonian, Gauss projection and all
000026 | source legs transform together. This closes that actual field/vacuum
000027 | representation without adopting the later different additive parent.
000028 | 
000029 | (d) A constructive local vacuum/BW solution on the actual neutral Q0
000030 | current source is already in the Atlas. It has now been read and its
000031 | unchanged original checker executed. That local neutral existence
000032 | problem must no longer be described as open. Its equality with some
000033 | different full interacting or thermal source is not silently assumed.
000034 | 
000035 | These conclusions close a redundant post-source vacuum-selection step
000036 | and the concrete H ground-word attachment. They do not turn an arbitrary
000037 | Hamiltonian into a Lorentz-invariant theory or establish an unproved
000038 | identity between different sources. This is no complete TFPT promotion.
000039 | 
000040 | 1. NORMALIZE THE FULL SOURCE, NOT A SELECTED COVARIANCE
000041 | 
000042 | The original QFT002:256-267 and QFT008:143-151 define
000043 |  Z_rel[J]=Z_adm[J]/Z_ref[0].
000044 | Keep every bosonic, fermionic and physical composite source leg, its
000045 | actual word order, and its original background/reference dependence.
000046 | Where that complete source is defined and Z_rel[0] is nonzero, put
000047 |  q[J]=Z_rel[J]/Z_rel[0]=Z_adm[J]/Z_adm[0],
000048 |  q[0]=1, q[J]=exp(W_rel[J]-W_rel[0]).
000049 | Full moments are the coefficients of q; connected coefficients of W_rel
000050 | are converted to full moments by the complete partition expansion, with
000051 | the actual graded signs. They are not substituted for full OS moments.
000052 | 
000053 | Only the OUTER source-independent reference denominator cancels here.
000054 | A reference term inside the field-dependent action remains inside the
000055 | integrated weight. Neither this normalization nor the OS construction
000056 | sets the original unnormalized Z_rel[0], its energy insertions, eta or
000057 | cosmological response to an arbitrary constant. G/F's previous distinction
000058 | between a full joint source and a conditional CAR reader is retained.
000059 | 
000060 | 2. THE ACTUAL OS VACUUM IS THE CONSTANT WORD
000061 | 
000062 | Let S be the complete normalized original vacuum word functional and
000063 | Theta its actual graded reflection. On its original admissible half
000064 | algebra form K(F,G)=S((Theta F)G), with adjoints/grades placed according
000065 | to the original convention. Suppose the applicable OS reconstruction
000066 | hypotheses hold for this WHOLE source, including its required regularity,
000067 | not merely the individual temperedness of a few coefficients.
000068 | 
000069 | Then H_OS is the completion of half words modulo the K-null space and
000070 |  Omega_OS=[1], ||Omega_OS||^2=S(1)=1.
000071 | Translations fix the unit, so T_s Omega_OS=Omega_OS and H_OS Omega_OS=0
000072 | for the positive reconstructed vacuum generator. This is a derivation
000073 | from the given full source. No new density matrix is selected.
000074 | 
000075 | For the actual complete Euclidean-invariant flat branch, the applicable
000076 | OS continuation constructs the Poincare representation and fixes this
000077 | same vector. Rotations mixing time and space use that continuation and
000078 | are not naively declared unitaries [F]->[alpha_g F] on one fixed halfspace.
000079 | Thus the invariant reconstructed vacuum is already included in the
000080 | whole-source reconstruction, rather than a second independent hypothesis.
000081 | Clustering controls uniqueness of the invariant sector; a mass gap is
000082 | not a prerequisite for the existence of the canonical vector.
000083 | 
000084 | The original tailored theorem is QFT008:215-254. Its displayed S_n^T
000085 | notation must be read with the already recorded full-moment repair.
000086 | Its proof appeals to source covariance and regularity. QFT008:199-213
000087 | does not establish full covariance merely by naming a Dirac symbol.
000088 | The correct primary theorem must match the actual source topology.
000089 | 
000090 | For a regular bounded Euclidean net the C* reconstruction gives the
000091 | positive-energy spacetime representation and Omega=[1]. Its concrete
000092 | local-net construction retains the stated time-zero condition. This is
000093 | Schlingemann, hep-th/9802035, sections2-3 and4.2 for the fermionic version.
000094 | The distributional alternative uses the corrected OS regularity theorem;
000095 | individual S_n temperedness alone is not that theorem. This qualification
000096 | does not add a new universal unbounded-moment gate to an already valid
000097 | bounded local-source construction.
000098 | 
000099 | 3. G'S WHOLE SOURCE MAP TRANSPORTS THIS VACUUM EXACTLY
000100 | 
000101 | G supplies the actual complete carrier change U=(E,NE), extended by the
000102 | identity on the remaining original fields, with bound reference/domain,
000103 | reflection, real structure, grading, integration weights and all source
000104 | legs transported. It proves Z_rel^U[J_U]=Z_rel[J]. Let Psi be its induced
000105 | whole local word isomorphism. The actual transported data obey
000106 |  Theta_U Psi=Psi Theta, tau_U,t Psi=Psi tau_t.
000107 | Full normalized word equality gives
000108 |  K_U(Psi F,Psi G)=K(F,G).
000109 | Consequently V[F]=[Psi F] is null-preserving and isometric. The inverse
000110 | whole map makes V unitary and
000111 |  V Omega=Omega_U, H_U=V H V*.
000112 | This also transports the original semigroup domain. It uses a full word
000113 | isomorphism, not compression to one finite input sector.
000114 | 
000115 | For a represented cyclic separating local pair (M,Omega), put
000116 |  M_U=V M V*. On the Tomita core M Omega,
000117 |  S_U V(A Omega)=Psi(A)* Omega_U=V A* Omega=V S(A Omega).
000118 | Closure and polar-decomposition uniqueness give
000119 |  Delta_U=V Delta V*, J_U=V J V*.
000120 | Every already valid BW relation for that same pair therefore goes with
000121 | the source, with its actual geometric generator and normalization.
000122 | The earlier September theorem is applied here to G's now established
000123 | whole-source caller. No new modular state or temperature is needed.
000124 | 
000125 | 4. THE COMPLETE PHYSICAL H SOURCE HAS ITS OWN GROUND ATTACHMENT
000126 | 
000127 | Use the SAME original H_Lambda, free boundary and complete interior
000128 | Gauss projectors P_Lambda from H. Their physical ranges are nonempty.
000129 | Take finite physical ground states on those ranges and the same weak*
000130 | subnet which defines omega_0. The original real-time dynamics converges
000131 | in norm on local admissible observables. The ground variational inequality
000132 | gives its GNS implementation H_0>=0, H_0 Omega_0=0.
000133 | 
000134 | For every finite ordered collection of bounded physical insertions,
000135 | replace thermal cyclic heat factors by physical ground heat factors of
000136 | L_Lambda=H_Lambda-E_0,Lambda>=0. Contractivity gives the full product-norm
000137 | bound. The existing local derivative estimate and FIXED Gaussian
000138 | smearing pass their complex-time words through the SAME norm/weak* limit.
000139 | The ground heat-word bound removes smearing uniformly. The result is
000140 | the actual GNS ground Schwinger source, not just selected real-time data.
000141 | 
000142 | The full Dyson source is entire in every finite set of bounded local
000143 | source directions with majorant exp(sum ||J_j||_1 ||A_j||). Reflected
000144 | ground words form a Gram matrix. The OS map to prepared ground vectors
000145 | is isometric and onto the same GNS Hilbert space, since small positive
000146 | heat times approach A Omega_0 for the dense physical algebra.
000147 | GROUND-SOURCE.txt provides exact ordering, signs, all-volume proof and
000148 | the source-preserving unitary. It does not assume a thermodynamic gap.
000149 | 
000150 | The zero-temperature trace selects the normalized whole finite ground
000151 | projection when that projection is degenerate; it need not select every
000152 | chosen pure ground vector. The corresponding same-subnet statement is
000153 | made with exactly that trace choice. Sufficient finite inverse-temperature
000154 | growth controls the full excited trace and the largest word time span,
000155 | not merely beta times a claimed uniform gap. It is a proof of the limit,
000156 | not a fitted new physical temperature. Original energy offsets and Z0
000157 | remain outside the normalized comparison.
000158 | 
000159 | This closes the H vacuum source attachment on its actual whole bounded
000160 | physical algebra, including all its allowed mixed field words. It does
000161 | not identify that state with a previously specified beta-KMS source or
000162 | prove Lorentz covariance of the lattice interaction. Ground-state
000163 | existence, phase uniqueness and relativistic symmetry are different
000164 | properties. Charged physical insertions keep their actual gauge carriers.
000165 | 
000166 | 5. THE ORIGINAL DET16 PARENT HAS AN EXACT WHOLE-SOURCE VACUUM CHART
000167 | 
000168 | The later original full CAR map supplies U_det|0>=|phi> and
000169 |  a_i=U_det c_i U_det*. Apply that actual U_det to the ORIGINAL R104
000170 | parent 2(I-P_phi), not to a newly chosen additive Hamiltonian.
000171 | With T=I_R tensor PRODUCT_x U_det,x*, exactly
000172 |  H'=T H T*=H_R+2 SUM_x(I-P_0,x),
000173 |  P_G'=T P_G T*, O'=T O T*.
000174 | The full unnormalized original time-word traces, reference factors and
000175 | their ground limits agree by unitary conjugation. No commutation of
000176 | U_det with an unknown actual gauge action is required: its ORIGINAL
000177 | whole Gauss operator is carried as well. The physical sector is mapped,
000178 | not selected anew. The local DET line phi becomes the canonical c vacuum;
000179 | every complete physical ground state transports, while its mirror sector
000180 | is not selected by this coordinate change. The even onsite maps define a
000181 | quasilocal automorphism;
000182 | thermodynamic states are transported by it with their GNS intertwiners.
000183 | No infinite product unitary in a preselected Fock representation is assumed.
000184 | 
000185 | Original c source legs become U_det* c U_det. Dressed a source legs
000186 | become canonical c. These insertion lists must not be interchanged.
000187 | Keeping unchanged gauge charge labels additionally uses the original
000188 | singlet/neutral-determinant premise; general gauge operators are transported.
000189 | The finite flat parent still assigns energy2 to every nonvacuum mirror
000190 | state. Its two-dressed-particle persistence is exp(-2t), whereas the
000191 | later additive coefficient2 parent gives exp(-4t). This exact operator
000192 | fingerprint prevents using the later parent as the same source dynamics.
000193 | DET16-ORIGINAL-MAP.txt proves the entire original trace identity and its
000194 | physical-sector condition, including possible Gauss-sector cancellations.
000195 | 
000196 | 6. THE POSITIVE OLD NEUTRAL SOLUTION IS REUSED
000197 | 
000198 | The actual original neutral Q0 current source already has the same sea
000199 | Omega and the derived parabolic generator P>=0, ker P=C Omega. Its full
000200 | Laguerre transform, affine group, local standard pair and quarter action