TFPT scientific source excerpt
Original repository path: documents/tfpt_research_contracts/sections/019-source.tex
Original file SHA-256: bc848971a13fc0618e7d1b3431e68ec78b6c7b34709b008dc84695f9a2f81a2f
Inclusive original lines: 243-279
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.

000243 | unaffected.  No marker move.
000244 | 
000245 | \par\smallskip\noindent\textbf{P2 rehabilitation note (not a third contract;
000246 | \veri{v1005\_\allowbreak relative\_\allowbreak pencil\_\allowbreak bridges.py},
000247 | corrected by \veri{v1010\_\allowbreak simplicity\_\allowbreak bridge\_\allowbreak census.py}).}
000248 | The v1005 circularity flag is corrected as forced provenance: the bit-selector ladder
000249 | forces $c=2$ and family $n=3$ then forces $Q$ column sums $(9,5,1)$; $C$'s carrier-looking
000250 | $5$ is inherited from $R$ column~$3$, not inserted.  Unique primitive positive
000251 | $S_3$-invariant covector $\varepsilon=(1,1,1)$.  The winding bridge remains a
000252 | \emph{choice} that is conditionally unique: spectrum $\{5/2,1,1\}$ alone has $1078$
000253 | solutions; democratic-image $+$ carrier-anchor kernel leave exactly the corpus shift
000254 | (count $1$).  Remaining obligation $=$ seam-geometric derivation of those two
000255 | directional premises.  \texttt{AX.P2.01} typing UNCHANGED.  Hankel
000256 | $p_n p_{n+2}-p_{n+1}^2=2^{n+1}$ and winding spectrum $\{5/2,1,1\}$ remain \mE-finite
000257 | (provenance v106/v119/v4).  Klein-four SNF $(2,2)$ only after $D=2d$ is interpretive \mC.
000258 | 
000259 | \par\smallskip\noindent\textbf{Executed update (2026-08-30, late-evening harvest;
000260 | \veri{v1014\_\allowbreak bridge\_\allowbreak refinements.py};
000261 | \texttt{AX.P2.01} typing UNCHANGED).}
000262 | W-bridge P-anch is DERIVED: $e_1=R^{-1}(1,1,2)^T$ uniquely via the winding/triple lock
000263 | (not by $g_{\mathrm{car}}$ or by the repeated anchor entries).  P-dem is PARTIAL: KMS
000264 | equidistribution lives on the trivial character; the $\mathbb Z_4$ average annihilates
000265 | the nontrivial character space.  The missing object is the character-blind
000266 | determinant-response map into the $v4$ row space --- the same MMST/Quillen externalized
000267 | leg as TEL-B/ALG-EXH/P1.
000268 | 
000269 | \par\smallskip\noindent\textbf{Executed update (2026-08-31, Monday-morning harvest;
000270 | \veri{v1015\_\allowbreak axiom\_\allowbreak core\_\allowbreak closure.py};
000271 | \texttt{AX.P2.01} typing UNCHANGED).}
000272 | W-bridge P-dem is now DERIVED: the abelian total-charge insertion is character-blind,
000273 | $r=(1,1,1)$ exactly at collar sizes $12$ and $16$, democracy residual $0$; mutants split
000274 | $(1,0,0)$ and $(5/4,1,5/4)$.  Together with P-anch (v1014) both W-bridge premises are
000275 | derived at finite level; the axiom-core remainder is ZERO modulo the externalized MMST
000276 | identification.  Finite derivations are shadows; the continuum identification is the same
000277 | external leg.  Axiom typing UNCHANGED.
000278 | 
000279 | % =====================================================================