A registered result in its source context

Location recorded in the ledger

These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.

• Red-team audit
  Browse this documentRead the PDFOriginal source

Sections that explicitly cite this claim

A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.

• 2026-06-16 (the icosahedral bedrock, CM-norm duality, and a structural-finds round)Research changelog; TFPT — Introduction and reading guide

Navigation through a shared verification script

These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.

• 2026-06-17 (CP phases as [formula in source] powers — a reduction of red-team Target D)Research changelog; TFPT — Introduction and reading guide
• Target D — [formula in source]Red-team audit
• OutcomeRed-team audit
• Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
• 2026-10-18: Project separation and retained physics historyResearch changelog; TFPT — Introduction and reading guide

Registered verification modules

• v225_dual_normal_frame.pyRegistered verification module · flavor
  Read the description recorded in the module registry

  The dual normal frame (d,n): one boundary compass for flavor+horizon, with CP as orientation. d=aᵀR⁻¹=aᵀL⁻¹=(−1/2,−1/2,1)=−½(1,1,−2) (the Nariai/horizon normal; d·1=0, d·a=1); n=(5,−9,6) with nᵀR=(det R,0,0)=(8,0,0), nᵀL=(20,0,0) (first-generation/torsion selector). Oriented volume det(1,d,n)=21=N_fam·scalaron. CP as orientation: Im det(1,d,ρn)=21 sin(π/3) for ρ=e^{iπ/3} — CP sits where the magnitude bijection (Target D) fails.

• v561_cp_channel_identities.pyRegistered verification module · flavor
  Read the description recorded in the module registry

  CP.CHANNEL.IDENT.01: the CP channel / invariant identities (T177, contract CP.INVARIANT) — the CP mirror as algebra: the prime-front gauge-degree toolkit turned on the four CP ledger rows, promoted as exact narrowings (no marker moves, no CP derivation claimed): (1) the HEXAGONAL CHANNEL IDENTITY — on the CM unit ρ = e^{iπ/3} the E₈ split 248 = 120+128 has an EXACT fiber realisation, Σ_k ρ^{d_k} = 4ρ (arg = π/3 exactly) and Σ_k ρ^{m_k} = 4 (arg = 0 exactly), with the parity typing forced by integer parity (degrees even ⇒ phase channel SHEET-EVEN, exponents odd ⇒ magnitude channel SHEET-ODD) — consequence: the phase-channel angle is sheet-blind, it carries π/3 but cannot distinguish quark from lepton; mutations break on e^{iπ/5} and on mutated lists; honest caveat wired as a check (reality of the exponent sum alone is not hexagon-specific); (2) ZERO PHASE IN THE MAGNITUDE DATA — arg(∏c) = 0 exactly on both TFPT sectors, and the μ₃ branch group is the kernel because its order divides N_fam = 3 (a μ₄ branch already shifts the phase): the REDTEAM.D.01 residual is a FIBER datum, not a magnitude datum; (3) TIER-1 EMPTINESS by the blindness theorem — both kernels commute with conjugation, so every π/3-carrier is κ-odd and invariant+odd ⇒ Im F = 0: strict invariance is empty on π/3-carriers, per algebra; (4) the FRAME REMOVAL — det(1,d,n) = 21 and Im det(1,d,ρn) = 21 sin(π/3) exactly, the orientation functional homogeneous of degree +1 in the frame normalisation (21 sin(π/3) is FRAME data), and Im(ρ det)/det = Im ρ = sin(π/3) exactly: the invariant core is a fiber datum, the sign a declared orientation (the DUAL.FRAME.01 narrowing); (5) the TWO TIER-2 CHARACTERS — P2 = arg Σρ^{d_k} at (χ(κ),χ(σ)) = (−1,+1), V5 = Im(ρ det)/det at (−1,−1), homomorphisms verified on the full four-group: two INEQUIVALENT invariants carry the same π/3 (the DEGENERATE verdict as algebra), neither frame-coupled — plus the Jarlskog anchor (TFPT CKM rebuild unitary to 1e-41, J = 3.327021e-5 = v88; J passes rephasing/CP-oddness and fails only the π/3-carrier test: the benchmark validates the criterion, the full δ = π/3 + 3λ_C² has no character — the CP.MOD.01 scope narrowing); R1/R2 typed OPEN, REG.FREEZE.01 untouched (25 checks, ~1 s)

A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.