A registered result in its source context

CP.FIBER.PIN.01

Original ledger classification: Identity [E] (exact theorems and certified character accounts with mutation controls -- Euler factorisation on fully generic homogeneous blocks, the one-generator bracket enumeration, the character split and the q_t continuum, the single-sine lemma with the crystallographic equivalence, the anchor tuple at 40 dps) + [C] (the Weyl 1946 FFT class boundary; the selection conditional on the Jarlskog anchor; the deck column a declared model); R1 decided, R2 selected, no marker moves

Original claim text

THE FRAME DOOR OF THE CP MIRROR, DECIDED (2026-07-30; T178, contract FRAME.CARRIER, probe cp_frame_carrier_probe.py 31/31, verdict FIBER-PINNED; one module, 22 checks, ~2 s, sympy-exact generic-frame algebra + one 3x3 unitary matrix at 40 dps). T177/v561 left R1 (can a frame-coupled, scale-free, character-covariant pi/3-carrier exist at all) and R2 (which of the two degenerate Tier-2 characters is physical) open; both are decided here, and NOTHING about CP violation is derived. (1) EULER FACTORISATION: the fiber acts on the frame by a scalar on the n-row, so P(rho n) = rho^m P(n) for every homogeneous block (fully generic degree 1..4 polynomials, symbolic coefficients): every scale-free functional decomposes as sum_k A_k Im(rho^k) with A_k real degree-0 frame ratios -- the fiber content is QUANTISED. (2) THE NATURAL CLASS IS FIBER-ONLY (R1, natural half, NEGATIVE BY THEOREM): metric-free invariants of vector tuples are generated by volume-form brackets (Weyl 1946 FFT, the one cited class boundary [C]); the exact enumeration on {1, d, n} gives ONE generator (the six permutations = +-Delta; the other 21 brackets vanish identically in a GENERIC n), so every scale-free ratio is constant: no frame-coupled scale-free pi/3-carrier exists without a metric -- T177's obstruction sentence ('one determinant only') is now a theorem. (3) THE METRIC DOOR IS NON-CANONICAL (R1, metric half): declared metrics admit frame-coupled Tier-2 carriers, non-unique at BOTH levels -- characters: Delta/<d,n> and Delta/<1,n> carry (kappa, sigma, deck-Ref) = (-1,-1,+1) (the odd Delta-power absorbs the reflection) while Delta^2/<n,n> carries (-1,-1,-1); values: the admissible normalisers contain the continuum q_t = t n1^2 + n2^2 + n3^2 (deck-invariant for EVERY t) with carrier values 441 sin(pi/3)/(25t+117), strictly monotone in t -- NO canonical frame factor exists; anti-numerology wired as a check (21/8, 21/2, 441/142 pairwise distinct, none claimed -- normaliser-relative frame data). (4) THE SINGLE-SINE LEMMA (the pattern): {|Im(rho_n^k)|} has exactly ONE nonzero element iff n is crystallographic (n in {1,2,3,4,6} = {n : phi(n) <= 2}; Barlow 1894), by the exact identity sin(4pi/n) - sin(2pi/n) = 2 sin(pi/n) cos(3pi/n) with its only zero at n = 6 on n >= 5, enumerated exactly to n = 24; the compiler's two clocks mu4 (seam deck, j = 1728) and mu6 (CP fiber, j = 0) are the two MAXIMAL single-sine fibers (the two CM points with extra automorphisms): value-based pinning of functionals is impossible BY THEOREM on both -- T177's DEGENERATE verdict was FORCED, not found (mutation: on mu5 values DO separate carriers). (5) THE ANCHOR SELECTION (R2, SELECTED): the Jarlskog invariant on the TFPT CKM rebuild (v88, frozen delta per REG.FREEZE.01) has full character tuple (-1,-1,-1) under (kappa = conjugation, sigma = delta -> delta+pi, deck reflection V -> V Ref), each certified at 40 dps below 1e-25: it matches the sheet-ODD orientation class V5 = (-1,-1,-1) and NOT the sheet-even channel class P2 = (-1,+1,-1) -- of T177's two degenerate classes exactly ONE matches; the (-1,-1,+1) metric carriers are ANCHOR-REJECTED and the matching (-1,-1,-1) family carries the continuum, so the UNIQUE anchor-matching CANONICAL carrier is the fiber-pure V5 = Im(rho) = sin(pi/3); consistency: Im(rho^4) = -Im(rho) flips exactly as sin(delta+pi) = -sin(delta) (the CP.MU6.01 wiring). NAMED LIMITS AS CONTENT: the selection is CONDITIONAL ON THE ANCHOR (Jarlskog 1985 is imported physics -- SELECTED, not derived; the word 'derived' appears nowhere); the deck-reflection column is the T177 DECLARED MODEL (kappa/sigma model-free); the CP residual is NOT closed, it is RELOCATED with a proof: the invariant CP core is the fiber datum Im(rho) = sin(pi/3) and provably cannot be made frame data without a non-canonical metric import; REG.FREEZE.01 and the 3-vs-2 lambda_C^2 question untouched; NO marker of any pre-existing contract moves; NO RH statement (finite exact statements about roots of unity, 3x3 determinants, one 3x3 unitary matrix and one trigonometric identity).

Original classification detail

[E] natural class fiber-only (6 brackets = +-Delta, 21 vanish identically; generic degree 1..4 Euler factorisation exact); metric door non-canonical (character split (-1,-1,+1) vs (-1,-1,-1); continuum 441 sin(pi/3)/(25t+117)); single-sine <=> n in {1,2,3,4,6} = phi(n) <= 2 (identity + enumeration to 24); anchor tuple (-1,-1,-1) selects sheet-odd, J = 3.327021e-5 = v88; unique canonical anchor-matching carrier = fiber-pure sin(pi/3); 22/22 checks

Dependencies as recorded

CP.CHANNEL.IDENT.01; REDTEAM.D.01; E8.CHAN.01; CP.MOD.01; DUAL.FRAME.01; CP.MU6.01; REG.FREEZE.01; v88; v225; v561; T177; T178