A registered result in its source context
Original ledger classification: Identity [I] (closed form for d + frame volume + uniqueness + square selection) + Physical [P] (three-pairing residue)
Recorded statement: THE SELECTOR TRIANGLE (anchor + A0* zero mode + three atoms => R; the R4' residue shrinks to three pairings): (1) d IS ANCHOR DATA [I]: d = (3/2)a - 2*1 exactly - the dual anchor (FLAV.DUAL.01) has a closed form that never mentions R; the…
Statement, assumptions and sources
Paper context: Research contracts
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
GATE.UWALL.11
Original ledger classification: Identity [I] (closed form for d + frame volume + uniqueness + square selection) + Physical [P] (three-pairing residue)
Original claim text
THE SELECTOR TRIANGLE (anchor + A0* zero mode + three atoms => R; the R4' residue shrinks to three pairings): (1) d IS ANCHOR DATA [I]: d = (3/2)a - 2*1 exactly - the dual anchor (FLAV.DUAL.01) has a closed form that never mentions R; the first selector of the pair (d,n) is DERIVED, not residual. (2) THE FRAME [I]: (1, a, sigma) is a basis of Z^3 with det(1|a|sigma) = 11 = ||Pl(K)||_1 - the quark constant as the frame volume (sigma = the A0* zero-mode signature, GATE.UWALL.10). (3) n FROM THREE ATOMS [I]: n = (5,-9,6) is the UNIQUE solution of n.1 = 2 = |Z2|, n.a = 8 = rank E8, n.sigma = 121 = 11^2 - the cofactor definition (FLAV.DIAMOND.02) is replaced by frame data plus three atoms. (4) THE SQUARE SELECTS [I]: on the line n.1 = 2, n.a = 8 (direction 1 x a) the sigma-pairing is 11(11+t) - divisible by 11 for every t and a positive perfect square exactly at t = 0 (window [-20,20]). (5) THE REVIEW LIFT EXACT (audit) [I]: n = reverse(sigma) + |mu_4| e_3 - the review's predicted mechanism (generation flip + mu_4 lift at the third slot) is an exact identity; n - sigma = N_fam e_1 + e_3; audit decompositions, not promoted. (6) RESIDUE [P] (recorded): R4' = derive the three pairings (|Z2|, rank E8, ||Pl(K)||_1^2) of n against the frame; everything else in the chain anchor -> (d,n) -> R (GATE.UWALL.10) is exact
Original classification detail
Identity: d = (3/2)a - 2*1 (no R); det(1 a sigma) = 11; n unique from pairings (2 8 121); square selects t = 0; review lift exact
Dependencies as recorded
FLAV.DUAL.01; GATE.UWALL.10; FLAV.DIAMOND.02; FLAV.KQ.01 (the 11)
Open the original ledger source, row 224Location 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.
- Research contracts
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-24 (The [formula in source] dual keystone + the flavor residuals it homes: v405– v407)Research changelog; TFPT — Introduction and reading guide
- The closure ledger: what is done, and what genuinely remainsTFPT — Introduction and reading guide
- 2026-06-12 (external review integrated: [formula in source] typing, marker migration, website parity)Research changelog; TFPT — Introduction and reading guide
- Status summary and open audit pointsArchitecture, E8 and the electromagnetic fixed point
- 2026-06-12 (R1–R5 second round: every class at its floor, v145– v148)Research changelog; TFPT — Introduction and reading guide
- Certifiability and recommended ordertfpt research contracts
- Theorem 8 — the [formula in source] anchor microcode and the [formula in source] -ladderArchitecture, E8 and the electromagnetic fixed point
- Research Contract 1 — [formula in source]tfpt research contracts
All 21 linked sections
- Theorem 8 — the [formula in source] anchor microcode and the [formula in source] -ladder
- What this means for the theory-of-everything question
- Status summary and open audit points
- Front matter / support
- Closing the flavor block: two theorems
- 2026-06-12
- Front matter / support
- Status summary and open audit points
- Research Contract 1 — [formula in source]
- Closing the flavor block: two theorems
- Theorem 8 — the [formula in source] anchor microcode and the [formula in source] -ladder
- Certifiability and recommended order
- Certifiability and recommended order
Registered verification modules
- v139_selector_triangle.pyRegistered verification module · registry
Read the description recorded in the module registry
THE SELECTOR TRIANGLE (anchor + A₀* zero mode + three atoms ⇒ R; the R4′ residue shrinks to three pairings): d IS ANCHOR DATA [I]: d = (3/2)a − 2·1 exactly — the dual anchor (v134) has a closed form that never mentions R, so the first selector of the pair (d,n) is DERIVED, not residual; THE FRAME [I]: (1, a, σ) is a basis of ℤ³ with det(1|a|σ) = 11 = ‖Pl(K)‖₁ — the quark constant as the frame volume (σ = the A₀* zero-mode signature, v136); n FROM THREE ATOMS [I]: n = (5,−9,6) is the UNIQUE solution of n·1 = 2 = |ℤ₂|, n·a = 8 = rank E₈, n·σ = 121 = 11² — the cofactor definition (v95) is replaced by frame data plus three atoms; THE SQUARE SELECTS [I]: on the line n·1 = 2, n·a = 8 the σ-pairing is 11(11+t) — divisible by 11 for every t and a positive perfect square exactly at t = 0, the true n; THE REVIEW LIFT EXACT (audit) [I]: n = reverse(σ) + |μ₄|e₃ (generation flip + μ₄ lift at the third slot, as the external review predicted), and n − σ = N_fam·e₁ + e₃; RESIDUE [P]: R4′ = derive the three pairings (|ℤ₂|, rank E₈, ‖Pl(K)‖₁²) — everything else in the chain anchor → (d,n) → R (v136) is exact (since v142: two — the third pairing is integrality-forced)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.