TFPT scientific source excerpt
Original repository path: documents/tfpt_1_architecture_e8/sections/001-source.tex
Original file SHA-256: fb4e1e7bf5dcabc6da4485eacb7725fc1db0356f1d91e1eabd2c7afdceed8b5b
Inclusive original lines: 67-80
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.

000067 | \begin{keybox}[Declared structural postulates and their conditional reductions]
000068 | The compiler uses two declared structural inputs. Their algebraic consequences and their
000069 | conditional source reductions are separate statements; the axiom markers record the interface:
000070 | \begin{description}[leftmargin=2.2em,style=nextline]
000071 |   \item[\textnormal{(P1) Boundary kernel.}] A single oriented seam $\Sigma$ carries a primitive,
000072 |   reflection-positive boundary kernel with unit winding $[u_\Sigma]=1$; its self-linking normalisation
000073 |   fixes $\cthree=1/(8\pi)$. \emph{Status:} primitive postulate. \emph{Organizing identity (2026-08-06,
000074 |   markers unchanged):} the closed normalization $I\cdot\beta_{\rm angle}\cdot\cthree=4\cdot2\pi\cdot
000075 |   \tfrac1{8\pi}=1$ holds exactly with the Jones index $I=4=|\mu_4|$ a $\cthree$-free theorem and
000076 |   $\beta_{\rm angle}=2\pi$ independently measured --- the identity \emph{explains} the value, it does
000077 |   not derive it; the open bridge is the even modular-response normalization
000078 |   (\texttt{P1.INDEX.KMS.01} \mO, \veri{v813\_p1\_index\_kms.py}). \emph{Hardenable by:} the Calder\'on
000079 |   projector / determinant-character chain (the P1 hardening) and the Lean carrier-rigidity development
000080 |   (\texttt{TfptCarrier.*}, boundary-polarization and Calder\'on interfaces).