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: 201-261 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. 000201 | are explicit. The local BW relation acts on the actual moved cuts and 000202 | algebras. ORIGINAL-STATE-MAP.txt gives the original proof and primary 000203 | application. Its unchanged original checker passed on3November2026. 000204 | 000205 | This is an existing solution, not a new model or a finite matrix surrogate. 000206 | It is a neutral local source theorem. The original elliptic Gibbs caller 000207 | is concretely different: its actual commutator with P is nonzero. Neither 000208 | that Gibbs caller nor every interacting full source is replaced by the 000209 | neutral vacuum. The previously solved positive current result is preserved. 000210 | 000211 | 7. WHERE THE SOURCE SYMMETRY CLAIM ACTUALLY APPLIES 000212 | 000213 | A family identity q_(g.b)[g.J]=q_b[J] transports the state from b to g.b. 000214 | It gives q_b[g.J]=q_b[J] for a symmetry of one fixed source only when 000215 | its actual background, domain, marks, bound reference and measure are 000216 | preserved by that action (or its original physical quotient). 000217 | G's chart identity supplies the transport; it cannot turn a genuinely 000218 | changed background into the same fixed physical state. 000219 | 000220 | The smallest full-source test is this entire identity or its equivalent 000221 | complete word Ward identities. A common principal symbol, an internal 000222 | group action, equal two-point covariances or a static stiffness do not 000223 | replace it. QFT007:5-29 defines the full integral and its endpoint; merely 000224 | writing that definition is not an analytic existence theorem. The actual 000225 | regularized source, normalization, integration domain, Jacobians, boundary 000226 | and reference terms must obey the claimed transformation. Known source 000227 | transport and valid Ward identities are reused without another model fit. 000228 | 000229 | The earlier positive-spectral-reweighting RP shortcut was already excluded 000230 | in a precise scope. It is not rerun or generalized to a global TFPT no-go. 000231 | The existing full-fiber and state-limit repairs do not require bare small 000232 | Gibbs weights to be projective. No global single reference density, new 000233 | measure selection or mandatory a->0 limit is introduced here. 000234 | 000235 | The original cosmological/curved branch also does not acquire a compulsory 000236 | global Minkowski vacuum from this discussion. A flat scattering branch, 000237 | a ground source on the given graph, and a state on the actual curved 000238 | background retain their own symmetry and time groups. The whole source 000239 | map must use the intended original branch. 000240 | 000241 | VERDICT 000242 | 000243 | The full source's reconstructed vacuum is already present and is preserved 000244 | by G's actual map; on its genuine Euclidean-covariant vacuum branch, its 000245 | invariance is a reconstruction consequence. H's complete physical ground 000246 | word source and its exact OS/GNS attachment are now constructed. The 000247 | whole original DET16 source has its exact vacuum chart with the SAME 000248 | flat parent. The actual neutral local BW problem had already been solved 000249 | and is reused. 000250 | 000251 | An unconditional assertion that all historical geometric, thermal, 000252 | neutral and Hamiltonian sources are one physical source remains unjustified 000253 | without their actual word/state/time map. The present result closes the 000254 | specific post-source vacuum selection and ground-word joins, not the whole 000255 | physical IR universality or fundamental TFPT problem. Existing source 000256 | covariance hypotheses are neither silently promoted nor replaced by a 000257 | generic new global vacuum gate. 000258 | 000259 | Evidence: OS-VACUUM.txt, GROUND-SOURCE.txt, ORIGINAL-STATE-MAP.txt, 000260 | DET16-ORIGINAL-MAP.txt and J independent final reviews; original full 000261 | source handles and hashes are retained in those reviews and the manifest.