TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/C3-PAPER-INDEPENDENT-REVIEW.txt
Original file SHA-256: a866494f4a88ab94cdc66bb97d824a6445fcb4e4a301c7807a373ba2fbc2c802
Inclusive original lines: 1-36
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 | INDEPENDENT REVIEW OF THE PRINTED C3 PUNCTURE PACKAGE
000002 | =====================================================
000003 | 
000004 | 26 October 2026
000005 | 
000006 | Verdict
000007 | -------
000008 | 
000009 | The defect reported in EXISTING-C3-SOURCE-DICTIONARY.txt is real and occurs
000010 | in the displayed TFPT45 construction itself. It is not removable by reading
000011 | P as a different orientation convention.
000012 | 
000013 | Its scope is archival. The same defective display occurs in archived TFPT42
000014 | section 017, but the active TFPT2 source does not reuse its rigidity proof.
000015 | TFPT2 section 008, lines 87-114 explicitly counts the bare Z4 character
000016 | variety as positive dimensional, says that Z4 alone is not cohomologically
000017 | rigid, and requires additional full-D4 and determinant-branch data. The
000018 | finding below must therefore not be reported as an error in the current
000019 | TFPT2 rigidity statement.
000020 | 
000021 | The printed formula can be repaired with the already existing exact v117
000022 | pair, without introducing a new physical dictionary:
000023 | 
000024 |   M=M0_EXACT,
000025 |   U=U_EXACT=diag(1,i,-i),
000026 |   rho(gamma_(i^k))=U^k M U^(-k),     k=0,1,2,3.          (R)
000027 | 
000028 | This gives four monodromies in the required cusp conjugacy class and their
000029 | ordered product is exactly I. It recovers the exact algebraic v117 packet.
000030 | 
000031 | What it does not recover is the printed rigidity theorem as stated. Formula
000032 | (R) proves an explicit marked representation once (U,M) is fixed. The
000033 | displayed argument does not show that local spectrum, determinant triviality
000034 | and an abstract square symmetry select that pair uniquely. Nor does v117
000035 | turn its numerical ODE match into a symbolic analytic identification. The
000036 | minimal honest paper repair is