A registered result in its source context

Original ledger classification: R4' selector folds into the keystone [E]/[C]/[O] (the (d,n) pairings {2,8,121}={|Z2|, rank E8=dim A2=det R, ||Pl(K)||_1^2} are the tau=omega family-slice atoms; n.a=8=dim A2 reads R in E6xA2; deriving (d,n) folds into SEAM.EQUIV.02; residue = why 11)

Recorded statement: The R4' selector residue folds into the tau=omega keystone (2026-06-24): the three (d,n) selector pairings ARE the tau=omega family-slice atoms, so deriving the selector pair reduces to the family sector being the E6 x A2 (tau=omega)…

Statement, assumptions and sources

Paper context: Architecture, E8 and the electromagnetic fixed point

The exact identifier, original classification and full claim are available below.

The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.

Read the exact registered claim and its dependencies

FLAV.SELECTOR.CLOSE.01

Original claim text

The R4' selector residue folds into the tau=omega keystone (2026-06-24): the three (d,n) selector pairings ARE the tau=omega family-slice atoms, so deriving the selector pair reduces to the family sector being the E6 x A2 (tau=omega) object (v405). [E] the frame (1,a,sigma) is a Z^3 basis with det(1|a|sigma)=11=||Pl(K)||_1, and n=(5,-9,6) is the unique covector with n.1=2, n.a=8, n.sigma=121=11^2 -> (d,n)=>R columnwise (v136/v139). [E] n.a=8=rank E8=dim A2=det R -- the anchor-pairing equals the A2 (tau=omega Eisenstein) block dimension that reads R in the E6 x A2 slice (||R||_F^2=78=dim E6; v405). [E] the three pairing values {2,8,121}={|Z2|, rank E8=dim A2=det R, ||Pl(K)||_1^2} = the tau=omega family-slice atoms (the mu2 sheet of mu6, the A2 block, the Plucker frame volume). [E] the square selects the point (v139): sigma-pairing=11(11+t), a perfect square only at t=0. [C] the reduction: deriving (d,n) (R4') folds into SEAM.EQUIV.02 -- d=(3/2)a-2*1 is anchor-derived (v139), the three pairings are the family-slice atoms. [O] residue: the lone non-atomic value is 11=||Pl(K)||_1 (the quark Plucker constant, flagged v42/FLAV.RIGID); why 11 is the sharpened R4' residue.

Original classification detail

[E] the frame/pairings (v139) + the new identification n.a=8=dim A2=det R and {2,8,121}=the tau=omega family-slice atoms; [C] the reduction of R4' to SEAM.EQUIV.02; [O] the lone flagged residue why 11=||Pl(K)||_1. A reduction tying the selector residue to the dual keystone; reuses v139's exact data; no new number.

Dependencies as recorded

SEAM.EQUIV.02; FLAV.RIGID.01; v405; v139; v136; v42

Open the original ledger source, row 477

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.

Architecture, E8 and the electromagnetic fixed point
Browse this document Read the PDF Original 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-24 (The [formula in source] dual keystone + the flavor residuals it homes: v405– v407)Research changelog; TFPT — Introduction and reading guide
Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog

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.

The unique attractor: a gapped transport selects ONE fixed pointorigin theory
The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
2026-06-24 (Cross-surface consistency sweep: papers, website, gates, figures realigned)Research changelog; TFPT — Introduction and reading guide
Theorem 8 — the [formula in source] anchor microcode and the [formula in source] -ladderArchitecture, E8 and the electromagnetic fixed point
Theorem 8 — the [formula in source] anchor microcode and the [formula in source] -laddertfpt 1 architecture e8
The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
2026-06-24 (Two new tracked targets + axion-branch consistency: v408, v409)Research changelog; TFPT — Introduction and reading guide
Appendix: computational verification (reproducibility)TFPT — Introduction and reading guide

All 11 linked sections

Registered verification modules

v407_dn_pairings_omega.pyRegistered verification module · uwall
Read the description recorded in the module registry
FLAV.SELECTOR.CLOSE.01: the R4' residue folds into the tau=omega keystone (v405) -- the three (d,n) selector pairings ARE the tau=omega family-slice atoms. [E] the frame (1,a,sigma) is a Z^3 basis det=11=||Pl(K)||_1, n=(5,-9,6) the unique covector with n.1=2, n.a=8, n.sigma=121=11^2 -> (d,n)=>R columnwise (v136/v139). [E] n.a=8=rank E8=dim A2=det R = the A2 (tau=omega) block dimension reading R in E6 x A2. [E] the pairings {2,8,121}={|Z2|, dim A2=det R, ||Pl(K)||_1^2} = the tau=omega family-slice atoms. [E] the square selects the point (sigma-pairing 11(11+t), square only at t=0). [C] deriving (d,n) folds into SEAM.EQUIV.02 (d anchor-derived v139, pairings = slice atoms). [O] the lone flagged residue why 11=||Pl(K)||_1.

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

Search later reviewed research for this identifier Read the coverage boundaries