Established in scope
Common action with conditional OS and1PI chain already exists
In the question: Existing TFPT derivations and correction of repeated gap diagnoses
Corpus reconstruction, not new full analytic validation of measure/blocking/moment/limit conditions. The current96 modular/KMS assembly exists with its expressly conditional C_F/P_F/C_Sigma identification. The common existence architecture must neither disappear as missing nor become fully physically proved merely by defining an IR limit.
Read the exact result, assumptions and evidence
Result
The old45 version contains the common chain boundary kernel→carrier/Padm→Sadm/Zrel→full field moments→OS/CAR net,Omega,positive time→same Gamma_ren→physical poles,residues,mixings and cosmology branches. QFT007:1-372 defines Wk from the same Sadm, its Legendre transform, exact flow and1PI readout hierarchy. QFT008:215-255 contains the OS/CAR theorem under named RP,temperedness,covariance,grading and clustering conditions. The shared source is not a new auxiliary model to invent; Hilbert representation,state and time are joint relative reconstruction consequences.
Required assumptions
- P1/P2 remain declared starting axioms
This program checks which additional source, state, event, and observable structures follow from accepted TFPT principles; it does not revoke or replace P1/P2.
Original evidence
- AUDIT.txt lines 1–172
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-paper-source-reconciliation-20261102/AUDIT.txt
4430912c637f340045ba47da028e4729fb1184cccef5a75505e5a2b7089e12cc
- SOURCE-REVIEW.txt lines 1–180
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-paper-source-reconciliation-20261102/SOURCE-REVIEW.txt
92b080eed593597c631b2e69daaf488ebf062bb84c2ae5259f900a2eaed6d560
- SOURCE-REVIEW.txt lines 181–333
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/original-paper-source-reconciliation-20261102/SOURCE-REVIEW.txt
92b080eed593597c631b2e69daaf488ebf062bb84c2ae5259f900a2eaed6d560
- 007-subsection-renormalized-physical-and-scheme-readout-laye.tex lines 1–200
Source checked at this snapshot
Original location and fingerprint
documents/archive--tfpt-45--source_extracts--04_qft_source/sections/007-subsection-renormalized-physical-and-scheme-readout-laye.tex
9c1c587cbd61fc4034649d778d16f1ee0e8c1e1189885babb3d8148a6fe72d7c
- 007-subsection-renormalized-physical-and-scheme-readout-laye.tex lines 201–372
Source checked at this snapshot
Original location and fingerprint
documents/archive--tfpt-45--source_extracts--04_qft_source/sections/007-subsection-renormalized-physical-and-scheme-readout-laye.tex
9c1c587cbd61fc4034649d778d16f1ee0e8c1e1189885babb3d8148a6fe72d7c
- 008-section-relative-reflection-positivity-with-fermions.tex lines 215–255
Source checked at this snapshot
Original location and fingerprint
documents/archive--tfpt-45--source_extracts--04_qft_source/sections/008-section-relative-reflection-positivity-with-fermions.tex
898aa879cf6a3eb6464d3180274bc2fc028408aeec9676af70a862dad9c3f4dc
finding:original-common-action-os-and-1pi-chain-already-exists