TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/LOCAL-SOURCE-RECORD-SPLIT-PROOF.txt
Original file SHA-256: db077a0dee8f0f057c75891534afd6bbaf8439a080ac721c891f13f9436a95e8
Inclusive original lines: 201-238
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 | the prescribed .15 interacting continuous event flow.
000202 | In the original four-complex-CAR normalization,
000203 | [J_m(X),J_n(Y)]=J_[X,Y],m+n + m tr_fund(XY)delta_m+n,0.
000204 | The vacuum current norm for q is3/4, proved by its exact particle-hole vector.
000205 | Thus its dimensionless conformal energy is
000206 | (3pi²/4) sum_(n>0) n² |f_n|² = (3pi/16) integral |f'|².
000207 | A second identical such pulse gives four times that energy, despite the
000208 | neutral interior adjoint returning to identity. This illustrates its collar
000209 | memory. It is NOT a universal obstruction for all local implementations:
000210 | the canonical split implementation above preserves the genuine group law.
000211 | No finite conformal-energy guarantee for the canonical alternative follows.
000212 | No claim that these current pulses are the actual P1 time generator is made.
000213 | 
000214 | 7. NEXT PHYSICAL EQUALITY, NOT ANOTHER WORKING MODEL
000215 | The conditional global-to-local implementation exists in the already given
000216 | E8 net, with exact source words, charges, phase and geometric covariance.
000217 | The literal unchanged global-record-as-local-event candidate fails its
000218 | first exterior current test. A mathematical localizer changes state and
000219 | region assignments; using it as the physical origin by definition is invalid.
000220 | 
000221 | Next derive the actual supported P1 boundary insertion/instrument from the
000222 | same original whole source functional, and compare its INSIDE and OUTSIDE
000223 | words, effect and initial state with that source. No fresh vacuum, reset,
000224 | canonical product state or fitted profile may be substituted. The existing
000225 | source Hall/Wick/Pfaffian, sewing/current maps, Q memory, Ref/Eta/H0/Z0 and
000226 | R063 matter inverse remain. Local field insertions can be conditional or
000227 | retain exterior memory; the actual unnormalized branch must be evaluated.
000228 | The given1D chiral geometry is not a derivation of physical3+1 or spin2.
000229 | F1 is not complete.
000230 | 
000231 | CHECKING
000232 | check_local_source_record_split.py:31 targeted controls. The checker loads
000233 | unchanged original60 source and original descendant embedding certificate.
000234 | It verifies exact finite exterior coefficients, source phase/word transport,
000235 | the R064 encoded witness coefficients, current order response and CAR level.
000236 | It does not simulate or formally verify the infinite split unitary, nuclearity
000237 | or local affiliation. Those layers are the stated analytic proof plus primary
000238 | theorems. No new Lean build/formalization, fullsuite, paper/ledger promotion.