TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/theta_lattice_closure_20261027/direct/WEAKEST-DIRECT-E8-SOURCE-ROUTE.txt
Original file SHA-256: fb13b19762d7e8a327547859a56a335f717d1711f0d4ad3d924c7b26b7ab6583
Inclusive original lines: 1-200
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 | THE WEAKEST DIRECT ROUTE FROM THE ORIGINAL COMPILER TO THE NATIVE E8 FIELD
000002 | ============================================================================
000003 | 27 October 2026. Causal necessity review at Atlas revision
000004 | ab02252b5bdcfccd5fb5cf3d.
000005 | 
000006 | 
000007 | VERDICT
000008 | =======
000009 | 
000010 | The physical identification of the primitive P1 Cauchy problem with the
000011 | three sheeted genus two Dirac problem is not needed for either of the two
000012 | mathematical conclusions that are presently used:
000013 | 
000014 |   1. the reconstruction of the finite native N64, cubic and quarter marked
000015 |      complex module;
000016 | 
000017 |   2. the reconstruction of the canonical chiral E8 lattice field and its
000018 |      vacuum inside the already stated local marked extension class.
000019 | 
000020 | The two conclusions have different sources and should not be forced through
000021 | one physical C3 operator map.
000022 | 
000023 | The genus two curve is sufficient as an auxiliary algebraic representation
000024 | space.  The original circle supplies the oriented winding one multiplier.
000025 | The already selected P2 cover pulls this multiplier to a forced three sheet
000026 | cable.  Its same spin Fredholm defect, followed by the theta functor, gives
000027 | the exact finite native marked module.  This does not say that the primitive
000028 | P1 bulk Dirac operator is the Dirac operator of the curve.
000029 | 
000030 | The full chiral field follows by a separate and stronger theorem.  Put
000031 | 
000032 |   U=V_D5 tensor V_A3,       h=(s,f) in C4 x C4.
000033 | 
000034 | If the primitive source realizes U inside any connected local unitary VOA
000035 | extension W with the same conformal vector, and the marked charged module
000036 | M_h occurs in W, then W is forced to be the unique marked V_E8 extension.
000037 | Support, multiplicities, holomorphicity, vacuum, local products, conformal
000038 | Hamiltonian and vacuum correlation functions are consequences.  A physical
000039 | C3 bulk realization is absent from the hypotheses.
000040 | 
000041 | There is one remaining distinction.  The canonical VOA vacuum is thereby
000042 | fixed as a mathematical chiral state.  The claim that the raw RP P1 seam
000043 | state is this vacuum remains the open parent SEAM.EQUIV.01.  A physical C3
000044 | Dirac map would be one possible sufficient route to that parent statement,
000045 | but it is not a logically necessary premise of the field reconstruction.
000046 | 
000047 | 
000048 | 1. THREE TARGETS THAT MUST NOT BE IDENTIFIED
000049 | ============================================
000050 | 
000051 | The source question separates into three arrows.
000052 | 
000053 |   A. Finite marked module
000054 | 
000055 |        original winding mark plus P2 cover
000056 |          -> (N64, C4, sigma, alpha) on a four dimensional complex space.
000057 | 
000058 |   B. Chiral local field and mathematical vacuum
000059 | 
000060 |        fixed U plus a local occurrence of M_h
000061 |          -> V_E8, its vacuum, vertex products, L0 and conformal net.
000062 | 
000063 |   C. Physical source identification
000064 | 
000065 |        raw RP P1 seam state
000066 |          -> the vacuum representation of that V_E8 net.
000067 | 
000068 | Arrow A is now reconstructed by the auxiliary curve.  Arrow B is the marked
000069 | generator theorem.  Arrow C is the unconditional SEAM.EQUIV.01 claim and is
000070 | still open.  Requiring a physical P1 to C3 bulk Dirac intertwiner before
000071 | using A or B made a sufficient construction look like a necessary source
000072 | axiom.
000073 | 
000074 | 
000075 | 2. THE DIRECT CIRCLE TO FINITE MODULE FUNCTOR
000076 | ==============================================
000077 | 
000078 | 2.1 Original circle datum
000079 | -------------------------
000080 | 
000081 | The old seam supplies the oriented circle coordinate and the winding one
000082 | operator
000083 | 
000084 |   H_Gamma=L2(S1),             H_Gamma^+=H2(D),
000085 |   U_Gamma=M_z,
000086 |   [N,M_z]=M_z,                index(M_z)=-1,                 (2.1)
000087 | 
000088 | where N is the framed circle mode operator.  Only the orientation, the Hardy
000089 | sign and the literal multiplier z are used below.  No finite temperature
000090 | state, three channel Hamiltonian or fitted polarization is added.
000091 | 
000092 | 2.2 Forced algebraic cable
000093 | ---------------------------
000094 | 
000095 | The selected P2 curve and its marks are
000096 | 
000097 |   C: eta^2=1-w^6,
000098 |   z=eta/(1-w^3),
000099 |   div(z)=D_q-D_p,
000100 |   D_q=q_0+q_1+q_2.                                          (2.2)
000101 | 
000102 | Its marked automorphisms satisfy
000103 | 
000104 |   c(w,eta,z)=(omega w,eta,z),
000105 |   Q(w,eta,z)=(1/w,-i eta/w^3,i z),
000106 |   c^3=1,       QcQ^(-1)=c^(-1).                            (2.3)
000107 | 
000108 | Over the open unit disk the map pi:C->P1_z is unramified and
000109 | 
000110 |   pi^(-1)(D)=D_0 disjoint union D_1 disjoint union D_2.      (2.4)
000111 | 
000112 | Thus the three summands are the three fibers of the degree three algebraic
000113 | base change of the original z disk.  They are not three freely introduced
000114 | physical fields.  The action of c is their cyclic permutation, and Q covers
000115 | the original quarter rotation z->iz.
000116 | 
000117 | Let S_0 be the unique c invariant even theta characteristic selected by the
000118 | q versus p partition, and let P_spin be the S_0 relative Poincare family.
000119 | On the three holomorphic disks set
000120 | 
000121 |   E=S_0 tensor P_spin.
000122 | 
000123 | Compare the pulled back original multiplier M_z with the identity on the
000124 | same spin Hardy space.  The exact sequence is
000125 | 
000126 |   0 -> H_E --M_z--> H_E -> H^0(D_q,E|D_q) -> 0.            (2.5)
000127 | 
000128 | For delta(T)=det ker(T) tensor det coker(T)^(-1), the accepted spin relative
000129 | normalization Nm_Dq(P_spin)=O gives
000130 | 
000131 |   ell_aux
000132 |     =delta(E,M_z) tensor delta(E,M_1)^(-1)
000133 |     =N_q(S_0)^(-1) tensor B_O^(-1).                         (2.6)
000134 | 
000135 | Here B_O is only the ordering determinant of the three scalar fibers.  It is
000136 | trivial under c and beta=Q^2, while Q acts on it by -1.  After forgetting the
000137 | grading temporarily to compare the underlying complex representation,
000138 | B_O^(-1) only changes alpha to -alpha.  This is exactly the already retained
000139 | sign ambiguity of the finite quarter lift.  The determinant line itself is
000140 | odd because the cable index is -3; that parity is not erased and must be
000141 | retained in any physical sewing claim.  No second unspun physical Hilbert
000142 | space is required for the ordinary ungraded complex module.
000143 | 
000144 | Equation (2.6) is an algebraic Fredholm and determinant of cohomology
000145 | construction on the auxiliary cable.  It does not assert that the primitive
000146 | bulk Calderon projector equals the curve Calderon projector.  The separate
000147 | C3 Cauchy report proved that such an equality would need a bulk Dirac and
000148 | domain intertwiner.  Nothing in (2.5) or (2.6) uses that unproved equality.
000149 | 
000150 | 2.3 Theta and Heisenberg closure
000151 | --------------------------------
000152 | 
000153 | Let
000154 | 
000155 |   A=Jac(C),       L=O_A(2 Theta),
000156 |   W_aux=H^0(A,L) tensor ell_aux.                            (2.7)
000157 | 
000158 | The fourth root subgroup of the theta group,
000159 | 
000160 |   N={g in G(L):g^4=1},                                    (2.8)
000161 | 
000162 | is closed because the commutators over A[2] are central signs and
000163 | 
000164 |   (gk)^4=g^4 k^4 [k,g]^6=1.
000165 | 
000166 | It has
000167 | 
000168 |   |N|=64,       Z(N)=mu4,       N/mu4=A[2].                (2.9)
000169 | 
000170 | The source actions on W_aux obey
000171 | 
000172 |   gamma^3=I,
000173 |   alpha^2=iI,
000174 |   alpha gamma alpha^(-1)=gamma^(-1).                       (2.10)
000175 | 
000176 | The B_O factor changes only alpha to its negative and hence leaves every
000177 | relation in (2.10) unchanged.
000178 | 
000179 | Every explicit symplectic marking
000180 | 
000181 |   Phi:A[2] -> N64/mu4                                      (2.11)
000182 | 
000183 | lifts to a center preserving isomorphism N->N64.  Finite Stone von Neumann
000184 | uniqueness then gives one four dimensional intertwiner up to scalar and a
000185 | Pauli frame.  The fixed free cubic action removes the Pauli shift because
000186 | 1-Sigma is invertible.  Its exact order, the relation with alpha and the
000187 | adjoint trace force gamma to the frozen native sigma with scalar phase one.
000188 | The transported alpha lies in the single native joint orbit, with only the
000189 | two signs already present in (2.6).
000190 | 
000191 | Therefore the direct auxiliary composite is
000192 | 
000193 |   (H2(D),M_z)
000194 |     --P2 algebraic base change--> ell_aux
000195 |     --theta functor--> (N,W_aux,gamma,alpha)
000196 |     --Phi and Stone von Neumann--> (N64,C^4,sigma,alpha_native).
000197 |                                                                     (2.12)
000198 | 
000199 | This is an action preserving statement, not a dimension match.  It matches
000200 | the central mu4 character, the symplectic commutator, the fixed free cubic