TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/joint-source-clock-field-closure-20261102/PROOF.txt
Original file SHA-256: 1c47843cba2ec556b3419bbdbc1df2bd346b3c962a2c0c555b1254454a863d74
Inclusive original lines: 1-161
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 | JOINT SOURCE CLOCK AND FIELD CLOSURE
000002 | 2 November 2026. Conditional research result, not fundamental TFPT completion.
000003 | 
000004 | 1. Exact question and joint inputs
000005 | 
000006 | Can the original proposed CAR source and an actual native compiler clock
000007 | jointly force the charge completion, without assuming E8, selfduality or
000008 | the full target D5+A3 algebra as prior source subalgebras?
000009 | 
000010 | Use the supplied even eight-complex-CAR current lattice
000011 |   D8={n in Z^8 : sum(n) is even}
000012 | with its supplied level-one positive form and adjoint. Retain the literal
000013 | orthogonal M from v16-operator-pullback-20261014/fold-results.json and the
000014 | literal native sigma coordinate permutation from v634_st31_structure.py:
000015 |   SIGMA_IDX=[4,5,0,1,2,3,6,7], sigma(x)=x[SIGMA_IDX].
000016 | Define R=M^T sigma M in the SOURCE charge coordinates.
000017 | 
000018 | The physical closure hypothesis is separate: this R must be independently
000019 | realized as an allowed active source operation on a COMMON local charged
000020 | field algebra, with the same conformal structure. A passive coordinate or
000021 | background change is not this hypothesis. Neither M nor native sigma is
000022 | derived here from the raw P1 kernel. Native sigma is not the diagonal
000023 | source fold twist sigma_d. The source CAR level/metric is also a given input.
000024 | 
000025 | 2. The small exact admission witness
000026 | 
000027 | R is an orthogonal order-three matrix. For the old source root
000028 |   p=e0+e2,
000029 | the actual original matrices give
000030 |   Rp=(1,1,-1,1,-1,1,1,1)/2.
000031 | This is a norm-two vector outside D8. Put d=e2+e4 in D8. Then
000032 |   Rp+d=s=(1,1,1,1,1,1,1,1)/2,  Rp.d=-1.
000033 | Thus adding two actually admitted charges already yields the marked
000034 | spinor class. In a local lattice current realization their simple-pole
000035 | product is nonzero: its coefficient is the existing unit cocycle.
000036 | No field amplitude or new product phase was fitted.
000037 | 
000038 | 3. Whole lattice closure without an ambient E8 input
000039 | 
000040 | Let B have columns e0-e1,...,e6-e7,e6+e7. Its column span is D8 and
000041 | det(B^T B)=4. Compute H=HNF([2B | 2RB]) and L=H/2. Exactly:
000042 |   H=[4 2 2 2 2 2 2 1;
000043 |      0 2 0 0 0 0 0 1;
000044 |      0 0 2 0 0 0 0 1;
000045 |      0 0 0 2 0 0 0 1;
000046 |      0 0 0 0 2 0 0 1;
000047 |      0 0 0 0 0 2 0 1;
000048 |      0 0 0 0 0 0 2 1;
000049 |      0 0 0 0 0 0 0 1].
000050 | The Gram matrix L^T L is integral, has even diagonal and determinant1.
000051 | The inclusion index [L:D8] is2 and L^-1 R L has integer entries.
000052 | Consequently this is the full R-stable additive closure, not just the
000053 | first step of an unbounded lattice enlargement. Its explicit description is
000054 |   L=D8+Z s = D8 union (D8+s).
000055 | This is the standard E8 lattice. Evenness and selfduality are OUTPUTS in
000056 | this supplied source-metric class. They were not closure selection inputs.
000057 | 
000058 | The checker loads only M, SIGMA_IDX and D8. It does not import an E8
000059 | basis, E8 root census or gluing target before computing H. Enumeration
000060 | afterwards checks that48 of112 old roots remain in D8 and64 enter the
000061 | same spinor class; all128 even-chirality half weights belong to L.
000062 | Two independent exact HNF computations agree. A separate original-current
000063 | check starts with176 roots of A plus sigma(A) and obtains all240 after
000064 | one actual Chevalley-bracket closure round with the existing cocycle.
000065 | The latter is a check in the given E8 current engine, not the input-free
000066 | lattice derivation or a separate physical origin proof.
000067 | 
000068 | Within local connected unitary SAME-CONFORMAL lattice/current extensions,
000069 | the minimal algebra generated by A and its admitted sigma image is V_L.
000070 | An extension containing unrelated extra degrees is not declared impossible.
000071 | The existing one-generator reconstruction theorem is reused, not presented
000072 | as new mathematics: e-series-source-reconstruction-20261024/SIMPLIFICATION.txt.
000073 | The general clock-forced D8 to E8 principle was already proved, for a
000074 | different fixed dictionary and Coxeter clock C, in compiler-clock-current-
000075 | closure-20260919/PROOF.txt. The present delta is the actual later M/native
000076 | order3 sigma dictionary, its one-clock one-product marked-s witness and
000077 | exact HNF without an ambient E8 target. It is no new universal principle.
000078 | 
000079 | 4. Canonical charged reconstruction, not a pointwise projection
000080 | 
000081 | The already constructed marked source DHR sector rho_s is bosonic,
000082 | transportable, dimension1, order2 and has conformal weight1. It admits
000083 | the local index2 simple-current extension B of A. Write rho^2=Ad u and
000084 | rho(u)=u with the coherent bosonic multiplication. Its normalized charged
000085 | generator F obeys F a=rho(a)F, F^2=u, F*F=FF*=1.
000086 | The multiplication class is unique up to unitary gauge in this Z2 case.
000087 | There are no128 independent new couplings or a separate E8 choice here.
000088 | 
000089 | Every bounded algebraic element is a+bF. The extension involution is
000090 |   gamma(a+bF)=a-bF,
000091 | and E=(id+gamma)/2 is the positive canonical expectation onto A.
000092 | For ANY given source state omega_A, omega_B=omega_A composed with E is
000093 | a normalized positive state, the unique gamma-invariant extension of it.
000094 | Its charged generator has ||F Omega_B||^2=1. Thus an extra endpoint norm
000095 | assumption is unnecessary for algebraic occurrence in this reconstruction.
000096 | It does not calculate a primitive P1 reflected point-field kernel.
000097 | 
000098 | Every gauge-even complete word reduces to A using rho and u, retaining
000099 | charged intermediate steps. It has exactly its original A expectation.
000100 | Projecting each individual field first is different and loses operations:
000101 | the actual old M gives32 of52 target D5+A3 roots in the odd spinor sector,
000102 | including8 of12 family roots. The actual192 mixed products split in source
000103 | grades (left,right-adjoint,output) as32 even/even/even,
000104 | 32 odd/odd/even,64 even/odd/odd and64 odd/even/odd, with the original signs.
000105 | This is not a counterexample to the exact DHR reduction of neutral words.
000106 | 
000107 | 5. Source time: a precise criterion, no replacement physical time
000108 | 
000109 | For the ALREADY GIVEN continuous source time alpha_t, sector covariance
000110 | means continuous unitaries z_t with Ad(z_t) rho=alpha_t rho alpha_-t.
000111 | A lift alpha_t^B(F)=z_t F must additionally satisfy
000112 |   z_t rho(z_t)u=alpha_t(u),
000113 |   z_(t+s)=alpha_t(z_s)z_t.
000114 | The one-dimensional intertwiner spaces permit the continuous square-root
000115 | normalization of the first relation. The remaining composition defect is
000116 | in Aut(B/A)=Z2, so continuity on R^2 makes it trivial. Any two continuous
000117 | lifts starting at identity differ in that discrete group and agree.
000118 | The prior smooth source Weyl transporter supplies sector covariance for
000119 | the stipulated source time. E intertwines this lift; a stationary omega_A
000120 | gives a stationary omega_A composed with E. Positive energy, clustering
000121 | of the whole field algebra and the primitive physical Theta map do not
000122 | follow just from these covariance and state formulas.
000123 | 
000124 | 6. What has been ruled out, and the first actual origin condition
000125 | 
000126 | The unchanged same-conformal V_D8 cannot contain BOTH the full specified
000127 | U=V_D5 tensor V_A3 and its nonzero marked h=(1,1) module: U contributes60
000128 | weight-one states and h contributes64 disjoint states, while V_D8 has120.
000129 | For a full-rank same-form lattice inclusion the corresponding index is2,
000130 | which cannot carry an order4 h. This rules out an entire unchanged-source
000131 | embedding class, not all P1 sources or the reconstructed extension B.
000132 | 
000133 | R changes the source Ward marking q: Rq=(1,1,-1,-1,-1,-1,1,1).
000134 | Therefore it is not asserted to be a symmetry of the fixed q background
000135 | or fixed source state. Full passive background/state transport is valid
000136 | but alone cannot force a common physical field enlargement. The theorem
000137 | requires original admission of the operation and its fields in that common
000138 | source. The definition of sigma inside an E8 model cannot prove this.
000139 | An unchanged Gaussian transformation of the original CAR fields cannot
000140 | supply this fixed-Cartan action: it maps bilinear currents to bilinears,
000141 | whereas the displayed image has half-integer Cartan charges. This fixed
000142 | dictionary exclusion does not prohibit nonlinear charged-sector actions.
000143 | 
000144 | The original primitive spectral action starts with supplied operator,
000145 | domain, reflection and source field data. The earliest original operational
000146 | seed already includes its local net, state, time and reflection. No reviewed
000147 | source here derives their joint identification with the folded CAR net,
000148 | rho_s and native sigma. A quotient interval currently means eight cover
000149 | arcs, not an already proved original physical P1 region.
000150 | 
000151 | The remaining decisive test is thus one joint original source map preserving
000152 | actual local support, adjoints/products, state/reference, domain, Theta,
000153 | physical time, admissible restriction and P2/clock actions. The conditional
000154 | closure theorem supplies no3+1D spacetime, Higgs measure, Newton coupling
000155 | or completed physical TFPT. Previous alpha, flavor and clock results retain
000156 | their actual separate scopes. No ledger claim is promoted.
000157 | 
000158 | Primary extension framework: Bischoff--Longo--Kawahigashi--Rehren,
000159 | https://arxiv.org/abs/1407.4793, Theorem3.11 and Section5.2.1;
000160 | Huang--Kirillov--Lepowsky, https://arxiv.org/html/1406.3420, Theorem3.2.
000161 | Exact original source review and runnable witnesses accompany this file.