TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-SPACETIME-FORCE-SOURCE-REVIEW.txt
Original file SHA-256: 8937adf4e44421932cd21b6383de28a3ea82736aeb3a4d81ddc53e86e5a6703c
Inclusive original lines: 1-67
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 | R080 independent/source review,1 November2026.
000002 | Original code discovery via indexed codegraph; actual v252 real oneform
000003 | constructor imported unchanged, all Ys/MR retained before quark36 reduction.
000004 | Original papers read via sole Atlas: v45 QFT005123..260,RP008179..214,
000005 | metrology00560..178 and v42 closure01631..148. Existing R032 variable
000006 | oneform/Clifford/reference proof1..108 reread. R078/R079 force/time/source
000007 | results preserved. No new state, geometry, Yukawas, action or H measure.
000008 | Changed premise: genuine spatially supported local multiplication in same
000009 | original H-coupled circle, instead of R079 spatially integrated insertion.
000010 | This is the derivative of a given consumer, not primitive Ka=H identification.
000011 | 
000012 | Atlas authoring findings queried for Fredholm/Carleman/det2/local force.
000013 | Existing APS/relative-polarization determinant results retained,not confused
000014 | with the new centered whole space/time S2 determinant. Codegraph natural
000015 | search for Bernstein RG/profile gave no matching producer. Narrow literal
000016 | fallback found v491/v499 Birkhoff-Grothendieck typing and v976 finite
000017 | Birkhoff channel fibre,not the displayed global positive RG kernel. This
000018 | is targeted source coverage,not a whole-corpus absence claim.
000019 | 
000020 | Own checker:28 unique focused controls pass under -B -OO. First27 passed;
000021 | a new bounded spatial rectangle control and improved quadrature256 nodes
000022 | were added and the changed calculation rerun. Final28,NOT27+28 independent
000023 | checks. Actual full36 mixed modes,all4forces,exact finite det2 identity,
000024 | ordered covariance and independent16-state Fock marginal checked. Compact
000025 | locality illustration uses one exact native singular channel,not a new
000026 | physical truncation. Finite Fourier-cutoff leakage is nonzero and decreases;
000027 | analytic finite propagation supplies the exact all-mode locality verdict.
000028 | Neither sample cutoffs nor quadrature establish the theorem. No new Lean,
000029 | fullsuite,physical experiment or ledger promotion.
000030 | 
000031 | Primary literature: Britz/Carey/Gesztesy/Nichols/Sukochev/Zanin arXiv2007.12834
000032 | PDFpp1-2 equations1.3-1.5,definition/continuity ofdet2 and product correction
000033 | read. Bär/Ginoux/Pfäffle arXiv0806.1036 Theorem3.2.11 onPDFp90 support and
000034 | Cauchy theorem read. We additionally prove the given first-order circle's
000035 | current/finite-speed estimate;no attribution of our composite-source or
000036 | physical3+1 result to those papers. Klich original finite identity reused.
000037 | 
000038 | [OMITTED: non-scientific conversation or execution metadata]
000039 | [OMITTED: non-scientific conversation or execution metadata]
000040 | [OMITTED: non-scientific conversation or execution metadata]
000041 | [OMITTED: non-scientific conversation or execution metadata]
000042 | [OMITTED: non-scientific conversation or execution metadata]
000043 | [OMITTED: non-scientific conversation or execution metadata]
000044 | [OMITTED: non-scientific conversation or execution metadata]
000045 | [OMITTED: non-scientific conversation or execution metadata]
000046 | [OMITTED: non-scientific conversation or execution metadata]
000047 | [OMITTED: non-scientific conversation or execution metadata]
000048 | [OMITTED: non-scientific conversation or execution metadata]
000049 | [OMITTED: non-scientific conversation or execution metadata]
000050 | [OMITTED: non-scientific conversation or execution metadata]
000051 | [OMITTED: non-scientific conversation or execution metadata]
000052 | [OMITTED: non-scientific conversation or execution metadata]
000053 | [OMITTED: non-scientific conversation or execution metadata]
000054 | [OMITTED: non-scientific conversation or execution metadata]
000055 | [OMITTED: non-scientific conversation or execution metadata]
000056 | [OMITTED: non-scientific conversation or execution metadata]
000057 | [OMITTED: non-scientific conversation or execution metadata]
000058 | [OMITTED: non-scientific conversation or execution metadata]
000059 | [OMITTED: non-scientific conversation or execution metadata]
000060 | 
000061 | Historical global map: finite nonzero nu on[0,infinity),global K>=m>0,
000062 | Lebesgue target dt and finite positive denominator imply infinite output
000063 | mass. No finite selfmap/fixed point under that precise printed contract.
000064 | An actual different finite support/reference/integrable kernel is not
000065 | excluded and must be found in original sources,not chosen as a repair.
000066 | The whole master physical field/weight map remains open. Preserve all
000067 | Ref/Eta/H0/Z0,vertices,State/Time/RP,chargedwords,memory,E8/clocks,Y/flavor/alpha.