TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/CUBIC-NATIVE-MARKING-TEST.txt
Original file SHA-256: 361a7c61680ae2450a3b62a34a71cfe7525d65433f123f0ffea3668d9f44de48
Inclusive original lines: 181-235
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.

000181 | is the actual joint dictionary.
000182 | 
000183 | 
000184 | 6. RELATION TO v796 AND THE PREVIOUS TESTS
000185 | 
000186 | The code label mismatch in (7) is exactly the outer class distinction recorded
000187 | by v796: native sigma has type [3,1,1,1] on the code side, whereas its outer
000188 | point to line action has the [3,3] type.  Verification v796 constructs an outer
000189 | duad to syntheme bridge because it compares those different types.
000190 | 
000191 | The present source Jac(C)[2] already has the translation type of P_nat and
000192 | therefore matches the fixed point free Pauli action internally.  No v784 curve
000193 | or abelian surface is imported.  The earlier outer result explains why the
000194 | Gaussian code label quotient was the wrong direct target; it does not itself
000195 | construct the current Phi.
000196 | 
000197 | The literal Q to central J quotient obstruction also remains valid on its
000198 | stated objects.  The correction here concerns the order three target: source
000199 | c_src must be compared with conjugation by sigma on Pauli translations, while
000200 | the central phase selected by beta belongs at the Heisenberg extension level.
000201 | 
000202 | 
000203 | 7. REMAINING EXACT BRIDGE QUESTION
000204 | 
000205 | The first generator and symplectic plane tests now pass.  What is not yet
000206 | proved is that one of the eighteen maps (16) extends simultaneously to
000207 | 
000208 |   * the source involution s and quarter map Q;
000209 |   * the source selected projective spin lift beta;
000210 |   * the full theta central extension and its four dimensional Schrodinger
000211 |     module;
000212 |   * the corresponding native N64 and Gaussian C^4 action.
000213 | 
000214 | That joint extension test is the next genuine source question.  The present
000215 | result neither selects a convenient native order three element nor changes the
000216 | source marking: it uses the original sigma itself in the frozen v783 chart.
000217 | 
000218 | 
000219 | SOURCE ANCHORS
000220 | 
000221 |   * research-20261026-real-boundary/SIX-LINE-THETA-COMPLETION.txt,
000222 |     lines 107--125 and 180--205: the two source symplectic planes and the
000223 |     already stated native target N64/mu4.
000224 |   * research-20261026-real-boundary/SOURCE-SELECTED-THETA-SPIN.txt:
000225 |     the unique source theta characteristic and selected spin lift beta.
000226 |   * verification/v634_st31_structure.py, lines 90--151 and 722--748:
000227 |     the original native sigma coordinate permutation and compiler identities.
000228 |   * verification/v689_gaussian_code_bridge.py, lines 1--30 and 409--518:
000229 |     the distinct Gaussian code label action with its fixed anchor.
000230 |   * verification/v783_two_qubit_clifford.py, lines 39--70, 440--490,
000231 |     496--519, 588--650, and 803--936: the frozen computational chart, Pauli
000232 |     conjugation module, N64 extension, and zero module intertwiners between
000233 |     Gaussian labels and Pauli translations.
000234 |   * verification/v796_duad_syntheme_bridge.py, lines 13--47 and 510--535:
000235 |     the earlier outer point to line class distinction.