TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/e-series-source-reconstruction-20261024/SCALAR-QUARTER-REPRODUCTION.txt
Original file SHA-256: 16e123a72d0d65e48fc1777bbc0b3a10a7585114c3f82bad33c87e0794e15f94
Inclusive original lines: 175-206
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.

000175 | 6. First remaining source identification, now precisely located
000176 | 
000177 | The original charged-limit source001 first defines H_N as the actual
000178 | QWZ/CAR low-energy GNS space and declares
000179 | 
000180 |     Psi_(lambda,N)(f)=sum_m fhat_m epsilon_lambda
000181 |                      :exp(i lambda.phi_N):_m.
000182 | 
000183 | The concrete refinement embeddings in source002 are instead
000184 | 
000185 |     V_(N,2N)=I_(ell2(L_charge)) tensor Gamma_s(j_(N,2N))
000186 | 
000187 | on a chosen bosonic charge-lattice Fock system. An actual microscopic
000188 | bosonization/sector map B_N linking these two systems, preserving the
000189 | original energy, state, parity, support and compatible refinements, is
000190 | not supplied. For this identification one needs in particular
000191 | 
000192 |     B_(2N) J_(N,2N) = V_(N,2N) B_N,
000193 | 
000194 | with a precisely specified source sector/local algebra and a microscopic
000195 | charged field carried to the displayed normal-ordered exponential.
000196 | The isometry F in Section1 identifies current CHARGE LATTICES. It does
000197 | not supply B_N on the QWZ Hilbert space or prove local charged-field
000198 | convergence. The source's current equations2.12 are correctly typed;
000199 | the separate equation2.3 covariance has a missing '+' between its two
000200 | spectral projections, a literal source typo left unchanged in this audit.
000201 | 
000202 | Verdict: the exact common glue class, corrected two-step extension, both
000203 | full scalar field lifts and resulting E7/D8 fixed nets are reproduced.
000204 | The scalar-to-native-J route is excluded in its precise fixed category.
000205 | The fundamental physical solution remains unproved at B_N and its
000206 | original P1 source/sector specification. No paper or ledger is promoted.