Original ledger status
GATE.METRIC.18
THE FINAL IDENTIFICATION, FORCED AS FAR AS IT GOES (the v161/GATE.METRIC.17 one-particle statement carries NO new open content; premise (A) factors into the two already-open items A2 + R1): the residual was 'the seam transport one-particle symbol is the gapped Calderon Bogoliubov map - (alpha) fixed = rank-8 K_Sigma, (beta) gap = (2/3)^6'. (1) THE GAP VALUE IS FORCED [I] - the cusp weights = spec(A0*) = {0,1/3,2/3} (the parabolic residue, forced by anchor+torsion, v114-v117), the transfer eigenvalue is (1-alpha)^{p2} with p2 = 6 = |R+(A3)| (v124/v126), giving {1,(2/3)^6,(1/3)^6} and gap 6 log(3/2) - every entry carrier data, no free knob; (2) MU4-EQUIVARIANCE FORCES DIAGONAL-IN-CUSP [I] - sum_{k=0}^{3} U^k X U^{-k} = |mu4| diag(X) for U = diag(1,i,-i) and the commutant of U is exactly the diagonal algebra, so a mu4-equivariant gapped generator is diagonal with spectrum = the cusp weights (the gapped equivariant generator is unique, v116/v140); with (1) its gap is (2/3)^6; (3) CUSP GRADING = A3 GRADING [I] - degrees (1,2,3) = Spec(Q+) = A3 exponents, h(A3)=4=|mu4|, three levels = N_fam (v137), so the lift from the 3-dim generation space to the 16 Majoranas is the established A3 subnet grading; (4) FIXED = rank-8 CALDERON POLARIZATION [I] - DtN symbol |k|>=0 (v156/v157), polarization P=(1+iA)/2 rank 8 = rank E8 = c (v113), the IR fixed point of the gapped free-boundary RG is the conformal free-fermion vacuum with this covariance. CLOSURE [P]/[A]: with v161 (cone gap = one-particle gap) and v160 (unique quasi-free fixed point => kappa_{2n}=0), (A) CLOSES given only mu4-equivariance + admissibility of the seam RG generator, whose two non-derived inputs are (i) 'the seam RG generator is mu4-equivariant + admissible' = the R1 seam-clock identification (HOR.CLOCK.*; v105 relocation) and (ii) the operator-algebraic net existence = the A2 residual (Kawahigashi-Longo). BOTH already open => premise (A) carries NO independent open content; it factors exactly into A2 + R1 with all numbers forced, the count of independent open items does NOT increase, and (A) is closed CONDITIONALLY on A2 + R1 (a unification, NOT an unconditional proof)
Recorded status: Identity [I] (gap forced by mu4-equivariance + spec(A0*); fixed = rank-8 Calderon) + [P]/[A] (A) factors into the already-open A2 (net existence) + R1 (seam clock)
Dependencies, status detail and source
Canonical status: Identity [I]: gap (2/3)^6 forced + fixed = rank-8 K_Sigma; (A) factors into the already-open A2 + R1 (no new open content)
Dependencies: GATE.METRIC.16; GATE.METRIC.17; v56; v113; v115; v137; v156; v157
Scripts: v162_seam_transport_identification.py
Location: tfpt_research_contracts
Original CSV, line 246Original ledger status
CARRIER.PETERSEN.RADIAL.01
CARRIER.PETERSEN.RADIAL.01 (+ TRANSPORT.SIXTHROOT.01): the K5 edge machine, the Petersen carrier geometry with the radial dynamics whose sixth power IS the deployed transport spectrum, + the bit-exact decider on the PSD sixth root, ONE module from two probes (19/19 + 16/16 checks, ~1 s; discovery probes carrier_petersen_radial_probe.py PETERSEN-RADIAL-EXACT and transport_sixthroot_probe.py SIXTHROOT-SPECTRAL-ONLY, both 2026-08-06). PART 1, THE K5 EDGE MACHINE (all exact integer/Fraction): X = (-2,-2,-2,3,3) is the UNIQUE primitive traceless block-constant charge for the F|W = 3+2 split (sign pinned by the certified v774 table); E(K5) = 10 pairs carry the charge census {-4: 3, +1: 6, +6: 1} = the SU(5) decuple 3_{-4} + 6_{+1} + 1_{+6}, every pair cross-checked against the certified v774 hypercharge table (classes u_c/Q_up/Q_dn/e_c); under disjointness the pairs form the PETERSEN graph SRG(10,3,0,1) (charpoly (x-3)(x-1)^5(x+2)^4 exact, girth 5, |Aut| = 120 by full backtracking census = the faithful S5); the distance shells around the W vertex are (1, 3, 6) and CHARGE-PURE (+6/-4/+1 = e^c/u^c/Q), and the distance-2 shell induces a C6 -- THE FLAVOR HEXAGON AS GRAPH GEOMETRY [E neu] (explicit cycle verified edge by edge; 6 = |R+(A3)| = the transfer exponent, v124); the shell partition is EQUITABLE with quotient [[0,3,0],[1,0,2],[0,1,2]] whose eigenvector (6,-4,1) -> -2 IS the hypercharge vector, and P = Q_Pet/3 has spec(P^6) = {1, 64/729, 1/729} == the deployed TFPT transport spectrum EXACTLY (v54/v56/v171/v317; v124 lambda_n = (1-n/3)^6; GATE.METRIC.18). THE PREDICTION [H neu]: the full 10-dim Petersen walk has spec(P10^6) = {1, (1/3)^6 x5, (2/3)^6 x4} -- fast mode multiplicity 5 = g_car, slow hypercharge mode 4 = |mu4| (trace crosscheck 990 = 729 + 5 + 256); NO corpus 10-dim operator exists (T is 3-dim on the cusp space) -- a prediction, not a verification. PART 2, THE SIXTH ROOT (exact Fractions): B = (1/18)[[13,1,4],[1,13,4],[4,4,10]] -- every entry a compiler number (18 = p4(anchor), 13 = N_fam^2 + |Z2|^2, 4 = |mu4|, 10 = A_Lambda, 1 = N_Phi) -- is the UNIQUE symmetric doubly stochastic PSD sixth root with the frozen corpus-basis eigen-assignment ((1,1,1) -> 1, (1,-1,0) -> 2/3, (1,1,-2) -> 1/3; spectral reconstruction entry-exact; exactly 2 assignments in the corpus basis, a 1-parameter circle without the pin); B^6 carries the deployed spectrum exactly BUT the decider lands SPECTRAL-ONLY: B^6 is GL(3,Q)-conjugate to v486's lazy-walk M^6 (exact rational W and orthogonal O conjugations verified) and to the cusp-diagonal canonical form, yet bit-equal to NEITHER -- the corpus freezes the SPECTRUM, not the basis; the stochastic types differ (doubly vs sub-stochastic with absorbing channel). Controls fire in both parts (wrong edge 4+1 kills the (1,3,6) structure; Johnson complement kills the hexagon; both matrix perturbations break the spectrum). Typed carrier representation geometry -- ROOTCLASS-MIXED (v775) cited, no particle semantics. No marker move, NO RH claim. Python-only per GATE.WOLFRAM.02. [2026-08-06 LXVI dated correction + addendum, v814: the sixth-root census missed the deployed v221 evaluation -- T_v221 (the exact spectral sum of v221's transfer (1-w)^6) == B^6 BIT-EXACTLY, so the TRANSPORT.SIXTHROOT.01 verdict upgrades from SPECTRAL-ONLY to BITEXACT-vs-v221 (the frozen SPECTRAL-ONLY stands as the probe's adjudication; ABEL-DEAD correction precedent); and the [H neu] 10-dim prediction now has a promotion-ready canonical PROPOSAL: T10 = P10^6 in the Lambda^2 basis passes all gates with the equitable v774 quotient == (Q_Pet/3)^6 bit-exact (TRANSPORT10-PROPOSED, no deploy claim), while the six-step composition is typed CLOCK-ONLY -- the deployed 6 is the clock exponent, every spatial route carries a typed obstruction.]
Recorded status: Exact [E neu] finite graph/matrix structure theorems (integer/Fraction; charpolys sympy-gated) behind the carrier-geometry fence; the 10-dim multiplicity prediction typed [H neu]; carries TRANSPORT.SIXTHROOT.01 (spectral-only decider)
Dependencies, status detail and source
Canonical status: PETERSEN-RADIAL-EXACT + SIXTHROOT-SPECTRAL-ONLY: charges (-4,+1,+6) = the SU(5) decuple against v774; Petersen SRG certified, |Aut| = 120 census; shells (1,3,6) charge-pure; the flavor hexagon = the distance-2 shell edge-by-edge; equitable quotient with hypercharge eigenvector (6,-4,1) -> -2; spec(P^6) = {1, 64/729, 1/729} = the deployed transport spectrum; 10-dim multiplicities (x5 = g_car fast, x4 = |mu4| slow) typed [H neu] -- no corpus 10-dim operator; B unique symmetric doubly stochastic PSD sixth root in the corpus basis, B^6 GL(3,Q)-conjugate to v486's M^6 and the cusp-diagonal form but bit-equal to neither -- the corpus freezes the spectrum, not the basis.
Dependencies: ARF.SPINORCOMPILER.01; v774; v54; v56; v124; v486; v327; v212; v397; v14; v700
Scripts: v808_petersen_sixthroot.py
Location: tfpt_2;tfpt_3
Original CSV, line 696