TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/PUSHFORWARD-ANCHOR.txt Original file SHA-256: cbe5383c9df7b8f1b1095566f909ce3a357d10e9b3cd1bd15c89b8c72af870a2 Inclusive original lines: 191-224 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. 000191 | SHA256 e0bb04106e24c78498353e0d1f522700f1df4eeacb31cdf92200161314121551. 000192 | 000193 | Partition theorem and its original typing residual: 000194 | 000195 | verification/v491_p2_partition_corollary.py:1-58,125-165 000196 | SHA256 568bc3de36de18673cabfa6a2a96f1dd7f43629b0c02ba897f20e8bd94fca042. 000197 | 000198 | documents/changelog/sections/008-source.tex:183-207 000199 | Atlas paper-source:95b3bed5a4bb194ee3931366 000200 | SHA256 6eec9287ae726e9dcfb3c9975de244ae1f5477327dda448e820b8cf3f64b0156. 000201 | 000202 | Active P2 connection prescription: 000203 | 000204 | documents/tfpt_2_standard_model/sections/ 000205 | 008-section-the-setup-parabolic-data-on-the-family-curve.tex:115-172 000206 | Atlas paper-source:62d559320ab8a00fffa257fe 000207 | SHA256 d8714f3a516a0a4d929a2121fa6dd16e0a00e4f972803130e9235b463276abb7. 000208 | 000209 | Current research-contract formulation of the SU(3) cusp class: 000210 | 000211 | documents/tfpt_research_contracts/sections/001-source.tex:161-190 000212 | Atlas paper-source:51ca8a4162929dad596eceb2 000213 | SHA256 3b5d47599290e703efc4e87921b9909f25c29f46c40e9011b11006118c113e13. 000214 | 000215 | Final classification: 000216 | 000217 | [E] V_ell has exactly the P2 holomorphic splitting type and degree. 000218 | [E] Its natural peripheral monodromy is not the P2 cusp monodromy. 000219 | [E] The natural direct-sum representation is reducible and cannot be the 000220 | irreducible v117 representation. 000221 | [O] No checked original source selects V_ell as the physical flavor module. 000222 | [C] The shared bundle suggests a sharply stated remaining problem: derive 000223 | the original irreducible order 3 logarithmic connection on this same 000224 | bundle from actual seam data. The elliptic double cover alone does not.