A registered result in its source context
Original ledger classification: Identity [E] (exact integer/symbolic algebra -- Hermite/Smith lattice comparison, the symbolic dominant-mode identity, the uniqueness census on the 28-member class, the split-complement solve, the candidate tests) + [C] (the anchored ladder selector as candidate canonical selection; its physical justification open) + [O] (the selection mechanism; the F3[V]-character question; Stage B); verdict SELECTOR-FOUND; no marker moves
Recorded statement: THE RESIDUAL RECONSTRUCTION BIT: LOCATED, SEPARATED, AND GIVEN A CANONICAL EXACT WITNESS (2026-07-31; Priorities 2+3 of the self-code review fused with the v567 residual bit; one module, 11 checks, ~1 s; discovery probe…
Statement, assumptions and sources
Paper context: TFPT — Introduction and reading guide
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
DIAMOND.BIT.SELECT.01
Original ledger classification: Identity [E] (exact integer/symbolic algebra -- Hermite/Smith lattice comparison, the symbolic dominant-mode identity, the uniqueness census on the 28-member class, the split-complement solve, the candidate tests) + [C] (the anchored ladder selector as candidate canonical selection; its physical justification open) + [O] (the selection mechanism; the F3[V]-character question; Stage B); verdict SELECTOR-FOUND; no marker moves
Original claim text
THE RESIDUAL RECONSTRUCTION BIT: LOCATED, SEPARATED, AND GIVEN A CANONICAL EXACT WITNESS (2026-07-31; Priorities 2+3 of the self-code review fused with the v567 residual bit; one module, 11 checks, ~1 s; discovery probe bit_selector_probe.py 10/10, verdict SELECTOR-FOUND). (1) THE BIT IS INTEGRALLY VISIBLE [E]: the two 81-twins of the v567 audit (q32 = 2 = |Z2| vs q32 = 0) generate DIFFERENT integral orders -- Hermite bases differ at EQUAL index 81 and equal Smith divisors (1,1,1,3,3,3,3): real integral structure where every classical carrier-free invariant coincides. (2) THE SELECTOR [E]: the dominant mode of the sheet direction satisfies V_c (1,2,2c)^T = 2 (1,2,2c)^T identically in the coupling c; the LADDER SELF-CONSISTENCY -- the dominant mode reproduces its own eigenvalue as the geometric ladder (2^0,2^1,2^2) = (1,2,4) -- forces c = 2: on ALL 28 members of the v567 parabolic carrier-free class EXACTLY ONE satisfies it, the compiler Q, with no 81-pin and no column budget. (3) THE WITNESS IS PRIOR STRUCTURE [C] (no-free-pattern): (1,2,4) is the binary AnchorLadder step sequence p_{n+1} - p_n = 2^n (Lean-formalised), 2 = |Z2| the sheet datum, and the v566 trace code p_n(a) = 1 + tr(V^n) = 2 + 2^n rides the same ladder (n = 1..6 re-verified exactly). (4) THE SPLIT GEOMETRY LOCATED AND EXCLUDED [E]: an invariant module complement of the seam line exists IFF q32 = 1 (exact solve: a = 0, b = 1, q32 = 1; the plane span((1,0,0),(0,1,1)) exactly invariant there), and that member's direction algebra COLLAPSES to dimension 5 (Smith (1,1,1,3,3), no full parabolic, no 81): the seam-line + saturation demands admit ONLY nonsplit geometry -- the v566 A2 Ext arrow is NONZERO on the whole reconstruction class; neither twin splits (the complement system is inconsistent for q32 in {0,2}): the bit does NOT toggle split/nonsplit -- it toggles WHICH nonsplit integral order is realised and whether the dominant mode carries the full binary ladder. (5) PRIORITY-2 CANDIDATE TESTS [E], honest both ways: the mu4-grading candidate deg(E_jk) = g_k - g_j mod 4 FAILS (the order is not a graded sublattice: 5 of 7 Hermite vectors homogeneous) -- the review's kill condition does NOT fire and the 81 stays a FINGERPRINT pending a mechanism; left multiplication by V PRESERVES the order lattice and induces a canonical F3-linear action on the cokernel (Z/3)^4 -- the F3[V]-character computation is EXECUTED: the induced action has characteristic polynomial x(x-1)^2(x+1) mod 3 -- eigenvalues {0,1,1,-1}, NOT the regular mu4 pattern x^4 - 1 that 'one Z/3 per mark' would require (not even invertible), U acts as ZERO, and both twins give the identical structure: after two candidates (grading, V-action) the 81 stays a FINGERPRINT; the kill condition (no canonical local decomposition at all) is closer but not proven. NAMED LIMITS AS LOAD-BEARING CONTENT: the PHYSICAL selection is NOT derived -- why the dominant mode should satisfy the ladder self-consistency is the relocated open question, the same structural slot as the RP-selection of the alignment bit (v528/v534); the resonance between the reconstruction bit and the alignment bit is a TYPED OBSERVATION, not an identification; Stage B of v567 (GATE.QGEO.01) untouched; NO P2 reduction; AX.P2.01 and ANCHOR.GEN.01 markers untouched; the word 'derived' appears nowhere for any physics statement. [2026-07-31: the RP form is spectrally blind but integrally ANCHOR-VISIBLE on the twins (v572, Smith slot 18 vs 2 = 9 = N_fam^2); the dynamical RP-slot stays open; see DIAMOND.BIT.RPFORM.01.] [2026-07-31 II: the review's Ext-sensitive marked resolvent chi_Ext(z) = tr(P_seam R N_Ext R) vanishes IDENTICALLY for both twins with the natural markings (P_seam = E33, N_Ext = the radical lattice generators -- which are IDENTICAL between the twins: span{3E31, 3E32}); the review's own kill criteria fire -- the Gibbs pencil (v572) remains the one working marked object; sandbox record, no module.]
Original classification detail
[E] twins integrally distinct (H0 != H2 at equal index 81); v(c) = (1,2,2c) identically; ladder self-consistency <=> c = 2, unique on 28/28; witness = AnchorLadder 2^n / |Z2| / trace code; split member q32 = 1 (complement solve a=0,b=1) collapses to dim 5 -- excluded; mu4-grading candidate fails (5/7 homogeneous); F3[V]-action computed: charpoly x(x-1)^2(x+1) mod 3, eigenvalues {0,1,1,-1} != regular mu4, U-action zero, twins identical; 11/11 checks; verdict SELECTOR-FOUND
Dependencies as recorded
QGEO.QRECON.01; DIAMOND.PARA.SELFCODE.01; DIAMOND.AXIS.01; SEAM.BIT.RPBLIND.01; FORM.LADDER.01; v10; v218; v528; v534; v566; v567
Open the original ledger source, row 607Location 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
- Standard Model and flavor structure
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.
- =150 2026-07-31 (III) (the residual reconstruction bit located and given a canonical witness: the ladder self-consistency selects the compiler [formula in source] uniquely (SELECTOR-FOUND); the split geometry excluded; Priority 2 sharpened + v568 promoted + ledger/paper/diary/website sync)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.
- How to read this documenttfpt 1 architecture e8
- How to read this documentArchitecture, E8 and the electromagnetic fixed point
- The Sheet Diamond and the Winding Line: masses and transport from one surfacetfpt 2 standard model
- Front matter / supportStandard Model and flavor structure
- How to read this documenttfpt 1 architecture e8
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v568_bit_selector_ladder.pyRegistered verification module · flavor
Read the description recorded in the module registry
DIAMOND.BIT.SELECT.01: the residual reconstruction bit located, separated and given a canonical witness — the two 81-twins of the v567 audit (q32 = 2 = |Z2| vs 0) generate DIFFERENT integral orders (equal index 81, different lattices: the bit is integrally visible where every classical invariant coincides); the dominant mode of the sheet direction is v(c) = (1, 2, 2c) identically, and the LADDER SELF-CONSISTENCY — the dominant mode reproduces its own eigenvalue as the geometric ladder (2⁰,2¹,2²) = (1,2,4) — picks c = 2 UNIQUELY on all 28 members of the carrier-free class (no 81-pin, no column budget needed); the witness is prior structure (AnchorLadder steps 2ⁿ, 2 = |Z2|, the v566 trace code), not a found number; the SPLIT geometry sits at q32 = 1 and is EXCLUDED by the demands already imposed (algebra collapses to dim 5 — the v566 A2 Ext arrow is nonzero on the whole class; neither twin splits: the bit toggles WHICH nonsplit order is realised, not split/nonsplit); Priority-2 candidates tested honestly: the mu4-grading fails (order not graded — 81 stays a fingerprint), left V-multiplication induces a canonical F3-action on the cokernel (Z/3)⁴ — computed: charpoly x(x−1)²(x+1) mod 3, eigenvalues {0,1,1,−1}, NOT the regular μ₄ pattern; U acts as zero; twins identical — after two candidates the 81 stays a fingerprint. The physical selection is NOT derived — why the ladder self-consistency should hold is the relocated open question, the same slot as the RP-selection of the alignment bit (11 checks, ~1 s)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.