Original ledger status
REG.FREEZE.01
Blind-prediction registry FROZEN 2026-06-09, machine-enforced (review point: pre-registration before JUNO/CMB-S4/LiteBIRD/DESI). predictions_frozen.json freezes every dimensionless prediction of record at 25 significant digits; v84 re-derives each decimal from the two axioms {c3,g_car} on every run, so formula and frozen value are locked together (changing either alone FAILS the suite; the file is covered by manifest.sha256). Registry layers: core [N] (alpha^-1, lambda_C, s23/s13 CKM, sin^2 th13, lepton + quark mass ratios), conditional [N]/[P] with the hypothesis NAMED (th12 seed via seam-misalignment, beta_rad, Omega_b, delta_CKM leading, M_scal/Mbar, rho_Lambda/Mbar^4 branch), assigned (delta_CP^nu=240deg, th23=0.5), conditional BANDS for r and n_s at the declared external N_star in [50,60]. THETA12 FREEZE ENFORCED: exactly ONE prediction of record = seed 1/3-phi0/2 = 0.306747357245; the seam (0.306808) and nonlinear (0.307020) values are typed as derived variants of the SAME texture and may NOT appear as predictions (look-elsewhere ambiguity machine-excluded)
Recorded status: Numerical [N] (registry lock) + typing discipline
Dependencies, status detail and source
Canonical status: Numerical [N] (registry lock)
Dependencies: EM.FP.01; FLAV.TH12.01; PRED.LAYER.01; freeze_file.csv
Scripts: v84_frozen_registry.py
Location: verification;tfpt_2;introduction
Original CSV, line 158Original ledger status
FLAV.CP.01
Red-team Target D follow-up: CP-phase residual QUANTIFIED [N] (not closed; freeze respected): frozen leading reading delta_CKM=pi/3+3 lam^2=1.198232 rad=68.654 deg (registry DELTA_CKM_RAD untouched) gives J=3.327e-5 [I]. Clean phase probe gamma_PDG=65.7+-3.0 deg: pull +0.98 sigma => leading reading SURVIVES. AUDIT (recorded, explicitly NOT promoted): the data central value sits 0.07 deg from the ALTERNATIVE coefficient reading pi/3+2 lam^2 (|Z2| instead of N_fam) - the residual is -1.02 lam^2; textbook look-elsewhere trap, the registry keeps coefficient N_fam=3 (REG.FREEZE.01/v84 forbid silent switching). DECISION THRESHOLD: the two readings differ by lam^2=2.884 deg => 3-sigma distinguishable once sigma_gamma<=0.96 deg (LHCb upgrade / Belle II). Kill both ways: |gamma-68.65deg|>3sigma at sigma_gamma<1deg kills the N_fam coefficient; gamma->68.65 retires the |Z2| shadow. CAVEAT: J-inversion residual -3.15 lam^2 is magnitude-contaminated (TFPT source-scale s23=0.0434 vs PDG M_Z 0.0408; J pull +1.76 sigma recorded); gamma is the clean probe. Target-D typing unchanged: phases remain outside v_geo [P]
Recorded status: Numerical [N] (audit + thresholds) + [P] (phase mechanism open)
Dependencies, status detail and source
Canonical status: Numerical [N]: leading reading survives at +0.98 sigma; residual = -1.02 lam^2 recorded; decision at sigma_gamma<1 deg
Dependencies: REDTEAM.D.01; REG.FREEZE.01; FLAV.CKM.01
Scripts: v88_cp_phase_audit.py
Location: tfpt_5_redteam;tfpt_2
Original CSV, line 162Original ledger status
FR.TRANSFER.01
THE F_TRANSFER DISCIPLINE GUARD (a CI-style firewall check, the machine-readable form of the Frontier rule; external-review proposal 2026-06-14): the four continuous-transfer frontier observables -- Koide (FR.KOIDE.*), eta_B (FR.ETAB.*), the axion relic (FR.DM.*), and m_p/m_e + Lambda_QCD (FR.MPME.*, QCD.LAMBDA.*) -- must NEVER be typed as primitive [E]/[N] compiler predictions; each must carry a conditional [C] / anchor-open [A]/[O] marker. The guard reads status_ledger.csv and enforces it (all active frontier prediction rows pass; exact algebraic SUB-parts may be [I]/[E] -- the Koide 53/54 factor v183, b3=-7 v159 -- but the PHYSICAL prediction never is). Records the four explicit interfaces: F_pole (source masses->pole, Koide v183), F_Boltzmann (CP source->eta_B, v169/v184), F_relic ((f_a,m_a,theta_i,N_DW)->Omega_a, v185), F_QCD ((alpha_s,b3,Lambda_QCD,lattice)->m_p/m_e, v164). Confirms the raster rule + frozen registry (REG.FREEZE.01) + null model (AUDIT.NULLMC.01) bind, so the frontier transfers stay OUTSIDE the closed dimensionless compiler. Prevents any future edit from quietly promoting a pretty frontier number to a closed compiler output. Python-only
Recorded status: Identity/guard [I] (ledger-enforced typing discipline)
Dependencies, status detail and source
Canonical status: Identity/guard [I]: the four F_transfer frontier observables are ledger-enforced to stay [C]/[A]/[O], never primitive [E]/[N]
Dependencies: FR.KOIDE.07; FR.ETAB.03; FR.DM.03; QCD.LAMBDA.01; REG.FREEZE.01; AUDIT.NULLMC.01
Scripts: v187_ftransfer_laws.py
Location: tfpt_4_frontier
Original CSV, line 181Original ledger status
REVIEW.MAP.01
THE FOUR EXTERNAL-REVIEW CONCERNS REDUCE TO THE TWO ALREADY-NAMED RESIDUALS + ONE DATA-ONLY ITEM (a careful 2026-06-14 review raised A mapping 2D->4D, B UV-gravity abstractness, C grammar-tuning/meta-look-elsewhere, D Koide Mobius flow; this maps them honestly): three reduce by the same discipline as v175-v181 onto {QGEO.SYM.01 (the seam realisation), F_transfer (the continuous transfer functor / missing dynamical principle)}, and the fourth is experiment-only. (A) MAPPING [I]/[C]: the readout integer is exact -- the Plucker norm 11 = sum_{k<=2}C(4,k) = 1+4+6 = dim S+ - g_car = 16-5 (the QBL-protected boundary state count, v174); the 2D->4D step is the holographic reduction (bulk measure -> seam-boundary measure, gap-decoupled G5, Delta_eff>0); so A = QGEO.SYM.01 + F_transfer, NOT a new gate. (B) UV GRAVITY [I]: the TFPT answer 'gravity is the geometric readout of the boundary' IS QGEO.SYM.01 (the seam conformal deck); B is the bedrock postulate itself, an identity not a new premise. (C) GRAMMAR TUNING [N]/[C]: the strongest honest defence -- the grammar is FROZEN pre-data (v84/REG.FREEZE.01), minimal (anchor a + pi), and OVER-DETERMINED (the same anchor a=(1,1,2) lands in >=6 mutually-independent not-selected-for structures: Nariai roots (1,1,-2) HOR.NARIAI.01; Coxeter-30=|Z2|N_fam g_car SEAM.CYCLE.01; spine tetrahedron {2,3,4,5} ARCH.SPINE.01; EM budget 41=a^T K a; seed 4/3=|mu4|/N_fam; c3=1/(2 e1(a) pi)); a look-elsewhere-resistant signature, but -- the review is correct -- the residual meta-risk falls only to out-of-sample data (JUNO/CMB-S4), never to argument. (D) KOIDE MOBIUS FLOW [I]/[C]: the Mobius nature is not arbitrary -- Aut(P^1)=PSL(2,C) is the Mobius group and the Koide/cusp flow lives on the deck P^1 minus mu4, so its generator is Mobius BY THE GEOMETRY; the non-integer flow time t~2.84 (FR.KOIDE.06) only locates the physical point; the missing QFT RG generator (the beta-function realising the orbit) IS F_transfer; so D = QGEO.SYM.01 + F_transfer, not a new gate. NET: A/B/D collapse onto {QGEO.SYM.01, F_transfer}; C is the single experiment-only meta-question. A unification of the concern structure, NOT a closure of the underlying premises (which stay [O]/[C], honestly)
Recorded status: Reduction map [I]/[C] (A/B/D reduce to the two named residuals; C is experiment-only)
Dependencies, status detail and source
Canonical status: Reduction [I]/[C]: external-review concerns A/B/D reduce to {QGEO.SYM.01; F_transfer}; C is data-only (JUNO/CMB-S4)
Dependencies: QGEO.SYM.01; FR.KOIDE.06; FR.ETAB.02; AUDIT.NULLMC.01; REG.FREEZE.01; QFT.FOCK.01; HOR.NARIAI.01; SEAM.CYCLE.01
Scripts: v182_reviewer_residual_map.py
Location: tfpt_5_redteam
Original CSV, line 281Original ledger status
CP.MOD.01
CP HEXAGONAL MODULUS (2026-06-16): CP lives in the HEXAGONAL phase fiber, not the square seam deck (a geometric sharpening of red-team Target D, the magnitude bijection misses the CP phases). The seam deck is the SQUARE modulus j(i)=1728, automorphism Z/4 (the mu4 clock); its exceptional partner is the HEX modulus j(rho)=0, rho=e^{i pi/3}, automorphism Z/6, CM by Z[omega], arg(rho)=pi/3. The frozen leading CKM reading delta=pi/3+3 lambda_C^2=68.654 deg (FLAV.CP.01, registry untouched) has leading term pi/3=arg(rho); the |Z2| alternative pi/3+2 lambda_C^2 is the frozen look-elsewhere trap. CRITICAL: the seam deck stays Z/4 (QGEO.KILL.01); CP is the Z/6 phase fiber OVER it. SCOPED (2026-07-29, T177/v561): the [C] is relative to a declared branch -- the invariant part of the reading is the leading term arg(rho) = pi/3; the full delta = pi/3 + 3 lambda_C^2 is a branch/frame-relative quantity (it has NO character under the parity/sector involution: a CP-even correction added to a CP-odd angle). The frozen reading itself is untouched (REG.FREEZE.01).
Recorded status: Identity/Numerical (modular) [E]/[C]
Dependencies, status detail and source
Canonical status: [E] j(i)=1728 (Z/4) vs j(rho)=0 (Z/6, arg=pi/3); delta=pi/3+3 lam^2 leading term = the hex CM phase; deck stays Z/4, CP is the Z/6 fiber [C]. NOT a CP derivation; scope narrowed: the invariant part is the leading term pi/3, the full delta is branch/frame-relative (T177/v561)
Dependencies: FLAV.CP.01; QGEO.PILLOW.01; QGEO.KILL.01
Scripts: v220_cp_hexagonal_modulus.py, v561_cp_channel_identities.py
Location: tfpt_5_redteam
Original CSV, line 312Original ledger status
DATA.WATCHDOG.01
DATA WATCHDOG / DECISION PIPELINE (2026-06-21): the operational decision layer over the frozen registry (REG.FREEZE.01/v84) [N] (Python-only, external data). [N] reads predictions_frozen.json and classifies all 21 entries (16 predictions + 2 assigned textures + 2 conditional bands + 1 F_transfer bridge: rare kaon) PASS/WATCH/TENSION/KILL by live n_sigma vs repo-documented current bests (CODATA 2022, NuFIT 6.0, ACT DR6, Planck 2018, PDG 2024, BK18, NA62 2016-2024); ratio observables judged against the conservative v18/v100 scheme window. [N] DATA PROVENANCE (2026-06-22 hardening): every measured/bridge source carries a release date (SOURCE_DATES) so the board cannot silently drift onto stale numbers; [N] RARE-KAON BRIDGE: BR(K+)=9.45e-11 lands on NA62 2016-2024 (9.6 +1.9/-1.8)e-11 at +0.08 sigma (was ~1.2 sigma vs the 2016-2022 13.0e-11), an F_transfer bridge readout (not a unique TFPT-vs-SM discriminator). [N] THEORY ALIVE: no decidable prediction in KILL (|n_sigma|<3). [N] POWER + PRESSURE POINT: watch items alpha^-1 (1.9 sigma), s23 (1.8 sigma), delta_CKM (1.0 sigma) and the most-tensioned CORE prediction sin^2 theta13 (2.0 sigma) = the honest current pressure point (DATA.SCORECARD.01/v62). [N] JUNO #1 KILL TEST: the prediction-of-record sin^2 theta12=0.306747 currently compatible (0.02 sigma), the fastest falsifier. [N] FRONTS: r in [0.0033,0.0048] below BK18 0.036 and the kill 0.01 (allowed); n_s band overlaps Planck; w=-1 flagged WATCHDOG (DESI dynamical-DE = the most dangerous negative front). A decision harness over repo-documented data, not a new claim.
Recorded status: Numerical/data [N] (decision pipeline)
Dependencies, status detail and source
Canonical status: [N] the registry-wide classification + theory-alive (no KILL) + the watch/pressure-point identification (sin^2 theta13 ~2 sigma) + the JUNO kill test + the r/n_s/w fronts. An operational decision layer over REG.FREEZE.01; does NOT change any prediction's status.
Dependencies: REG.FREEZE.01; DATA.SCORECARD.01
Scripts: v307_data_watchdog.py
Location: origin_theory
Original CSV, line 405Original ledger status
FLAV.TH13.PRESSURE.01
THE theta13 PRESSURE POINT -- THE HONEST WEAK SPOT, QUANTIFIED AND PRE-REGISTERED (2026-06-22). [N] TENSION: sin^2 theta13 = phi0 e^{-5/6} = 0.023108 vs NuFIT 6.0 NO (0.02195 +- 0.00058) is +2.0 sigma -- the most-tensioned CORE prediction (v62/v307). [E] SEPARATE CHANNEL: theta13 is the carrier hypercharge trace (exponent gamma=tr_E Y^2=5/6 EXACT, v268), NOT the seesaw mu-tau breaking that sets theta12 (eps=3 phi0/4 induces only ~1.6e-3 << 0.023) -- distinct channels, a theta13 pull does not move theta12. [N] NO CHEAP RELIEF: phi0(theta13)=e^{5/6} sin^2 theta13_exp=0.0505 is ~5% below the axiom 0.05317; PMNS theta13 RG running is <1% (NO) so cannot close a 5% gap, and the exponent 5/6 is exact -- no freeze-respecting sub-leading correction relieves it; prediction stays frozen (REG.FREEZE.01). [X] PRE-REGISTERED KILL: a stable sin^2 theta13 away from 0.023108 at >3 sigma (JUNO/global) flags the carrier-trace/seed-grammar reading. [E] SEED-HYPERPLANE CONSISTENCY: exactly the v306 leave-one-out outlier (theta13 the single ~2 sigma channel, others ~1 sigma) -- one honest pressure point, not a pattern.
Recorded status: Numerical/data [N]/[X] (theta13 pressure point)
Dependencies, status detail and source
Canonical status: [N] the precise +2.0 sigma tension + the no-relief audit; [E] the separate-channel structure (v268) + the seed-hyperplane consistency; [X] the pre-registered kill. Names and quantifies the honest weak point; no new claim, no freeze change.
Dependencies: FLAV.TH13.01; DATA.SCORECARD.01; SEED.CROSSVAL.01; v268; v62; v306; v307
Scripts: v328_theta13_pressure.py
Location: tfpt_2_standard_model
Original CSV, line 427Original ledger status
FLAV.THIRDGEN.PATTERN.01
THIRD-GENERATION LADDER-BASE PATTERN (2026-07-02, v467): the suite's THREE ~2 sigma mixing tensions (sin^2 theta13 +2.0 sigma, sin^2 theta23 +1.8 sigma, V_cb +1.8 sigma; v307) are ONE common ~ -phi0 suppression -- quantified and pre-registered as a CANDIDATE, the frozen record (v84/REG.FREEZE.01) is NOT changed. In existing vocabulary the pattern is parameter-free: the seed enters third-generation mixings through the LADDER BASE lambda_C^2 = phi0(1-phi0) (the Yukawa mass-ladder base, tfpt_2) instead of bare phi0, and the 2-3 texture carries the same -phi0/2 shift as theta12: sin^2 theta13 = lambda_C^2 e^{-5/6} = 0.021880 (+2.00 -> -0.12 sigma), sin^2 theta23 = (1-phi0)/2 <=> cos 2theta23 = phi0 = 0.473414 (+1.76 -> +0.20), V_cb = lambda_C^2/(1+lambda_C) = 0.041119 (+1.79 -> +0.01). Scope checks that make it a rule not a fit: V_ub = lambda_C^3/3 has no bare phi0, stays untouched and consistent (-0.23); the 1-2 channels must stay undressed and do (theta12 -0.02, lambda_C -0.25; dressing lambda_C would give -24 sigma). Weighted common deviation of the three affected channels -5.36% +- 1.67% (3.2 sigma non-zero, -0.03 sigma from -phi0); joint chi^2 over the four third-gen observables 10.4 -> 0.11 with ZERO new parameters; Daya Bay alone already prefers the pattern (Delta chi^2 = 4.3). HONEST: post-hoc (5/16 equally-simple dressings fix the two PMNS tensions; (1-phi0)/(1-c3)/resolvent degenerate <1.4%); suppression size phi0 = 5.32% sits INSIDE the seam-gapped correction band (2/3)^6 = 8.78% (v393) but NO seam-transport derivation exists (Bernoulli-variance reading lambda_Y^2 = Var[Bernoulli(phi0)] is an exact identity but only an interpretation). Pre-registered kills: theta13 stable at 0.0231 kills the pattern; at ~0.0219 (sigma_rel<1%) kills the record's bare-phi0 reading; exclusive |Vcb| ~0.0395 kills both; JUNO-era reactors + Belle II decide.
Recorded status: Numerical [N]/[C]/[O] (candidate pattern; record of v84 untouched)
Dependencies, status detail and source
Canonical status: Open [O] candidate pattern (post-hoc, quantified, pre-registered): three ~2 sigma third-gen mixing tensions = one common -phi0 suppression (3.2 sigma non-zero; ladder-base forms drop joint chi^2 10.4 -> 0.11, zero parameters); frozen record unchanged; needs a seam-transport derivation to become more than a candidate
Dependencies: FLAV.TH13.PRESSURE.01; REG.FREEZE.01; CORRECTIONS.NUMERIC.01; FLAV.TH13.01; SEED.CROSSVAL.01
Scripts: v467_thirdgen_mixing_pattern.py
Location: tfpt_2
Original CSV, line 528Original ledger status
FLAV.NUSCALE.02
ABSOLUTE NEUTRINO SCALE UNDER THE CARRIER YUKAWA NORMALISATION (2026-07-14, bird's-eye round; CANDIDATE class, genre v467/v468): FLAV.NUSCALE.01 typed the absolute scale as one open UV input with the two-parameter trade-off (y_nu, M_R) and recorded the y_nu = 1 inversion at the structureless log_c3(Mbar/M_R) ~ 2.6. But y_nu = 1 is not the carrier normalisation: one SO(10) 16 per family + the MINIMAL Yukawa sector (10_H / PS (1,2,2), the v245/v248/v249 structure) forces y_nu = y_t at the matching scale [P named premise]. With explicit 1-loop RG (gauge/y_t/lambda up; ADKLR Weinberg-operator kappa down, hep-ph/0108005): [N] the trade-off COLLAPSES to M_R alone and the observed m_3 = 0.0503 eV demands M_R = 9.3e13 GeV -- INSIDE the compiler's own PS window [4.2e13, 2.4e15] (v249), at log_c3(Mbar/M_R) = 3.15. [X] INTEGER-RUNG HONESTY GATE: the rung M_R = c3^3 Mbar = 1.53e14 GeV predicts m_3 = 0.030 eV -- 40% LOW at 1-loop (kappa run-down factor 0.794): NEAR the rung (3.15 vs 3), NOT ON -- the ladder pin is DECLINED per v354/v355; the decision computation is NAMED (2-loop SM + explicit PS threshold matching). [N] FALSIFIABLE BAND: over the PS window m_3 spans [0.002, 0.115] eV bracketing the observation; the M_PS end (Sigma ~ 0.124 eV) is already in tension with DESI ~0.072 -- cosmology cuts the window from below; the NO floor Sigma = m_2 + m_3 = 0.059 eV stays the falsifiable edge (v272). [C]/[O] candidate class: the premise is the minimal Yukawa sector [P]; the absolute scale stays formally open until the decision computation lands; the frozen record (v84/REG.FREEZE.01) is untouched. NET: the absolute neutrino scale is now a ONE-parameter statement bracketed by the compiler's own UV window, not a two-parameter trade-off. UPDATE 2026-07-14 (v482/FLAV.NUSCALE.03): the named decision computation is EXECUTED -- the integer rung is EXCLUDED as an unstructured pin (bracketed envelopes reach x1.165 vs required x1.670); the 5/3-proximate structure escape is recorded and declined; the one-parameter window candidate stands.
Recorded status: Candidate [P]/[N]/[X]/[C]/[O] (carrier normalisation collapses the trade-off; window bracketing; integer rung declined at 1-loop; decision computation named)
Dependencies, status detail and source
Canonical status: Open [O] candidate (parameter-reduced): y_nu = y_t [P] collapses (y_nu, M_R) to M_R alone; required M_R inside the PS window at rung 3.15; c3^3 rung declined at 1-loop (m_3 40% low); NO floor Sigma m_nu = 0.059 eV falsifiable edge
Dependencies: FLAV.NUSCALE.01; PS.RGTEST.01; PS.ALGEBRA.01; QFT4D.MATTER.01; FLAV.PMNS.CLOSE.01; v245; v248; v249; v272; v273
Scripts: v481_seesaw_carrier_ladder.py
Location: tfpt_4
Original CSV, line 542Original ledger status
CP.CHANNEL.IDENT.01
THE CP CHANNEL / INVARIANT IDENTITIES (2026-07-29; one module, 25 checks, ~1 s; promotion of the exact cores of discovery T177 (contract CP.INVARIANT, probe cp_invariant_probe.py, 49/49, verdict DEGENERATE) -- THE CP MIRROR AS ALGEBRA: the prime-front toolkit (gauge-degree bookkeeping under declared group actions) turned on the four CP ledger rows REDTEAM.D.01 / E8.CHAN.01 / CP.MOD.01 / DUAL.FRAME.01; every statement is a NARROWING of an existing reading, executed in the same change, with NO marker moves and NO CP derivation claimed. CONTENT: (1) THE HEXAGONAL CHANNEL IDENTITY -- on the CM unit rho = e^{i pi/3} (CP.MOD.01) the E8 split 248 = 120 + 128 (E8.CHAN.01/v227) has an EXACT fiber realisation: sum_k rho^{d_k} = 4 rho (arg = pi/3 exactly; the degrees mod 6 are four 0s and four 2s, 1 + rho^2 = rho) and sum_k rho^{m_k} = 4 (arg = 0 exactly), with the parity typing forced by integer parity -- all degrees EVEN (phase channel SHEET-EVEN under the sheet flip rho -> rho^4 = -rho), all exponents ODD (magnitude channel SHEET-ODD); CONSEQUENCE: the sheet-even phase-channel angle cannot distinguish quark from lepton (it carries pi/3, not the CP.MU6.01 sheet split); mutation controls: the identity breaks on the non-CM unit e^{i pi/5} and on a mutated degree list (30 -> 31), reality breaks on a mutated exponent list (29 -> 30); HONEST CAVEAT wired as a check: reality of the exponent sum alone is NOT hexagon-specific (the exponent residues are conjugation-closed mod 10 too) -- only the degree half (= 4 rho) is; (2) ZERO PHASE IN THE MAGNITUDE DATA + THE BRANCH-ORDER LAW (the REDTEAM.D.01 narrowing): arg(prod c) = 0 EXACTLY on both TFPT sectors (lepton triple (16/7, 4/3, 7/6), product 32/9; up-quark triple (1/2, 34/41, 4/13)) -- the CP residual is not hidden in the product -- and the mu3 branch group is EXACTLY the kernel of the magnitude data because its order divides N_fam = 3 (w^{3j} = 1; a mu4 branch already shifts the product phase by -pi/2, mutation): the residual is a FIBER datum, not a magnitude datum; (3) TIER-1 EMPTINESS BY THE BLINDNESS THEOREM: both complex kernels commute with conjugation (conj sum rho^{d_k} = 4 conj rho exactly; Im det(1, d, conj(rho) n) = -Im det(1, d, rho n) exactly), so EVERY pi/3-carrier is kappa-odd and invariant + odd forces Im F = 0: strict invariance under all four T177 groups is EMPTY on pi/3-carriers, per algebra and as preregistered; (4) THE FRAME REMOVAL (the DUAL.FRAME.01 narrowing): det(1, d, n) = 21 = N_fam * scalaron and Im det(1, d, rho n) = 21 sin(pi/3) exactly (v225 rebuilt); the orientation functional is homogeneous of DEGREE +1 in the frame normalisation (Im det(1, d, rho(t n)) = t 21 sin(pi/3) symbolically), so the NUMBER 21 sin(pi/3) is FRAME data; dividing by the oriented volume removes the frame IDENTICALLY (Im(rho v)/v = Im rho symbolically for every real v != 0): the invariant core is the fiber datum Im(rho) = sin(pi/3), the sign a declared orientation; sheet control Im det(1, d, rho^4 n) = -21 sin(pi/3); mutation: n' = (5, -8, 6) gives det = 39/2 != 21; (5) THE TWO TIER-2 CHARACTERS + THE JARLSKOG ANCHOR: P2 = arg(sum rho^{d_k}) carries (chi(kappa), chi(sigma)) = (-1, +1) and V5 = Im(rho det)/det carries (-1, -1), both verified as character HOMOMORPHISMS on the full four-element group (16 products) -- TWO INEQUIVALENT invariants carry the same value pi/3 (the DEGENERATE verdict as algebra) and NEITHER couples to the frame; the classical anchor: the TFPT CKM rebuild (s12 = lambda_C, s23 = phi0/(1+lambda_C), s13 = lambda_C^3/3, frozen delta = pi/3 + 3 lambda_C^2 per REG.FREEZE.01) is unitary to 1.1e-41 and gives J = 3.327021e-5 = the v88 lattice value; J passes rephasing invariance (incl. the mu3 branch group) and CP-oddness and fails ONLY the pi/3-carrier test (its phase content is delta, not pi/3) -- the benchmark VALIDATES the criterion instead of the value, and the full delta has NO character under the parity involution (a CP-even correction on a CP-odd angle: the CP.MOD.01 scope narrowing). NAMED LIMITS AS LOAD-BEARING CONTENT: (i) NARROWINGS ONLY -- no marker of any pre-existing contract moves, the CP residual is NOT closed, the word 'derived' appears nowhere, REG.FREEZE.01 and the 3-vs-2 lambda_C^2 coefficient question are untouched; (ii) R1 STAYS OPEN: whether a frame-coupled, scale-free, character-covariant pi/3-carrier can exist at all (the T177 obstruction: the (1, d, n) frame has only ONE oriented volume to normalise against); R2 STAYS OPEN: which of the two Tier-2 characters is physical -- the sheet-odd (orientation) reading reproduces CP.MU6.01's quark/lepton split, the sheet-even (channel) reading cannot: a structural preference, NOT a derivation; (iii) the D4 deck column of T177 is a DECLARED MODEL and is not promoted (only the model-free statements are). HONEST FENCES: no RH statement anywhere (finite exact statements about roots of unity, 3x3 determinants and one 3x3 unitary matrix); Jarlskog 1985, Wolfenstein 1983, Weyl 1946 named CLASSICAL as addresses. Discovery: T177 (experiments/tfpt-discovery/cp_invariant_probe.py, 49/49, 0.2 s, verdict DEGENERATE). UPDATE (2026-07-30, T178/v564, CP.FIBER.PIN.01): R1 is DECIDED -- the natural (metric-free) class is fiber-only BY THEOREM (one bracket generator), the metric class couples but is NON-CANONICAL (a continuum of normaliser-relative values) -- and R2 is SELECTED conditional on the classical anchor (the Jarlskog character tuple (-1,-1,-1) matches the sheet-odd orientation class only); the single-sine lemma types this row's DEGENERATE verdict as FORCED on crystallographic fibers. Markers unchanged.
Recorded status: Identity [E] (exact identities and certified numerics with mutation controls -- the hexagonal channel identity sum rho^{d_k} = 4 rho / sum rho^{m_k} = 4 sympy-exact with the sheet-even/odd parity typing, arg(prod c) = 0 exactly on both magnitude sectors with the branch-order law, Tier-1 emptiness by the conjugation-commutation theorem, the frame removal Im(rho det)/det = Im rho exact with the degree +1 account, the two inequivalent Tier-2 characters as verified homomorphisms, and the Jarlskog anchor J = 3.327021e-5 = v88 at unitarity 1.1e-41) -- NARROWINGS of four existing ledger readings only; no marker moves; R1/R2 typed OPEN
Dependencies, status detail and source
Canonical status: [E] sum_k rho^{d_k} = 4 rho (arg = pi/3 exactly, sheet-EVEN) and sum_k rho^{m_k} = 4 (arg = 0 exactly, sheet-ODD) on the hexagonal CM unit -- the E8 channel typing has an exact fiber realisation and the phase channel is sheet-blind; arg(prod c) = 0 exactly on both TFPT sectors (the CP residual is a FIBER datum, not a magnitude datum); Tier-1 invariance EMPTY per algebra (every pi/3-carrier is kappa-odd); Im(rho det)/det = Im rho = sin(pi/3) exactly (the orientation reading is degree +1 in the frame normalisation, 21 sin(pi/3) is frame data, the sign a declared orientation); two inequivalent Tier-2 characters (-1,+1) vs (-1,-1) carry the same pi/3 (DEGENERATE), neither frame-coupled; Jarlskog anchor J = 3.327021e-5 = v88 passes (a)-(c), fails only the pi/3-carrier test. Four ledger rows narrowed, no marker moves; R1/R2 OPEN.
Dependencies: REDTEAM.D.01; E8.CHAN.01; CP.MOD.01; DUAL.FRAME.01; CP.MU6.01; FLAV.CP.01; REG.FREEZE.01; v88; v220; v225; v227; T177
Scripts: v561_cp_channel_identities.py
Location: tfpt_5_redteam
Original CSV, line 602Original ledger status
CP.FIBER.PIN.01
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).
Recorded status: 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
Dependencies, status detail and source
Canonical status: [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: 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
Scripts: v564_cp_fiber_pin.py
Location: tfpt_5_redteam
Original CSV, line 603Original ledger status
META.DISCIPLINE.01
The discipline audit (one module, 17 checks, ~200 s; discovery probe discipline_audit_probe.py 17/17, verdict DISCIPLINE-MEASURED). The suite parses ITSELF and freezes its process-discipline metrics as minimum bars. [E] D1 LEDGER CENSUS: 715 rows / 710 active (display classes E/C/O/X/AXIOM/OTHER = 169/222/282/37/2/3 at freeze), and 214 rows documenting kills / honest negatives / ill-posed retirements / retypes (keyword census over claim + canonical_status) -- a project that documents its own buried hypotheses is not a confirmation-bias generator. [E] D2 MUST-FAIL CENSUS: 643 modules (every one carries checks), 6040 static check() call sites (clears the published 5452 counter), 1469 must-fail/kill/scramble keyword occurrences across 233 modules, typing marks [E] x 3579 vs [C] x 1323 -- negative controls are corpus-wide, not decorative. [E] D3 PRE-REGISTRATION CENSUS: 47 contract rows in the ledger (29 naming kill criteria BEFORE execution; 20 mentions in the contracts paper); executed chains verified in the ledger: FTR.PGL2.01 (v533 -> executed v632), PRIME.WEIL.OPERATOR.01 (kill tests K1-K3 named -> W1 theorem-closed v643), REG.FREEZE.01 (registry frozen 2026-06-09, re-derived each run by v84). [E] D4 REPRODUCIBILITY: deterministic replay 12/12 on the DECLARED sample v55/v91/v108/v205/v305/v405/v505/v555/v600/v634/v643/v648 (two fresh subprocess runs each, identical output up to timing lines); 396 modules sympy-exact, 77 with explicit seeds. [E] D5 EXTERNAL ANCHORS: five classical results recomputed here against the literature the suite quotes -- Jacobi 1834 four-square counts (exact, n = 1..40), Construction A [8,4,4] -> E8 with 240 minimal vectors, the Shephard-Todd G31 degrees (8,12,20,24), the Suzuki archimedean constants psi(1/4)/L/A to 25+ digits, and the completed-zeta functional equation (worst rel dev 3e-31). [E] D6 LEAN LAYER: 54 committed TfptCarrier proof modules (git ls-files; uncommitted sandbox WIP excluded); lake build honestly NOT re-run in-suite (last green build quoted: 3380 jobs, no sorry). [C] D7 THE LIMIT, honest: this module measures PROCESS discipline, NOT the truth of the physics; typed [C] observations stay observations; the open gates stay open (278 class-O rows incl. SEAM.THEOREM.01, PRIME.WEIL.OPERATOR.01 W2-W4, the QGEO premise family and the GATE.METRIC family); a discipline certificate is a necessary, not a sufficient, condition against numerology. Read-only; no marker moves.
Recorded status: Exact [E] machine census + deterministic replay + external anchor recomputes + [C] typed limit (read-only meta-module; Python-only per GATE.WOLFRAM.02).
Dependencies, status detail and source
Canonical status: DISCIPLINE-CERTIFIED: frozen minimum bars -- 214 kill/negative rows, 1469 negative-control occurrences in 233 of 643 modules, 47 contract rows (29 with named kill criteria; FTR.PGL2 and the W1 chain verified as executed), replay 12/12 deterministic, 5 classical anchors recomputed, 54 committed Lean modules; the limit typed [C]: process discipline, not physics truth -- the open gates stay open.
Dependencies: REG.FREEZE.01; FTR.PGL2.01; PRIME.WEIL.OPERATOR.01; AUDIT.NULLMC.01; v84; v100
Scripts: v649_discipline_audit.py
Location: tfpt_3
Original CSV, line 652