A registered result in its source context
Original ledger classification: Synthesis/roadmap [E]/[C]/[O] (one bit/six faces; genus-1 obstruction; three access routes; hypergraph the fresh one; no closure)
Recorded statement: THE BIRD'S-EYE SYNTHESIS OF THE ONE OPEN KEYSTONE BIT det K=1 (2026-06-22): a full-spectrum map of SEAM.EQUIV.01's only open residual -- it is ONE statement with six equivalent faces; it is hard for ONE precise reason (the genus-1…
Statement, assumptions and sources
Paper context: Origin Theory
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
SEAM.DETK.01
Original ledger classification: Synthesis/roadmap [E]/[C]/[O] (one bit/six faces; genus-1 obstruction; three access routes; hypergraph the fresh one; no closure)
Original claim text
THE BIRD'S-EYE SYNTHESIS OF THE ONE OPEN KEYSTONE BIT det K=1 (2026-06-22): a full-spectrum map of SEAM.EQUIV.01's only open residual -- it is ONE statement with six equivalent faces; it is hard for ONE precise reason (the genus-1 obstruction); and there are exactly three genus-1 access routes, of which the hypergraph-homotopy route is the most promising fresh angle. [E] SIX FACES: det K=1 <=> holomorphy (1 primary) <=> homology-sphere link (H_1=0) <=> one 1-dim irrep (Gamma perfect) <=> det Cartan=1 <=> the full mu4 condensation 16->4->1 <=> the tau=i CM rigidity (chi_E8=j^{1/3}); unified by |det Cartan| = |H_1(link)| = |Gamma^ab| = #(1-dim irreps) across ADE (A_n->n+1, D_n->4, E6->3, E7->2, E8->1), ONLY E8 -> 1 (2I the unique perfect ADE group). [E] THE GENUS-1 OBSTRUCTION: every easy argument (unique plane vacuum, gap, free-fermion CAR invertibility) is GENUS-0 -- necessary but NOT sufficient (a plane vacuum is always 1 for any chiral net, v87); det K is the TORUS ground-state degeneracy = #primaries, invisible to genus-0 data; so any closing route MUST access genus-1/modular/topological info -- the precise reason det K=1 is the residual. [E] THREE GENUS-1 ACCESS ROUTES: R1 continuum-modular (scaling limit + chi_E8=j^{1/3}, v336); R2 anyon-condensation-torus (degeneracy = #anyons = |det K|, tower 16->4->1, v281); R3 hypergraph-homotopy (torus degeneracy = discrete H_1 of the substrate complex; a Poincare-sphere link gives 1). [C] THE HYPERGRAPH ROUTE = MOST PROMISING FRESH ANGLE: the (2,3,5) rewrite ATTRACTOR is the affine-E8 Dynkin graph (Kac marks = Perron vector, golden 5-fold, v312) and the E8 du Val resolution graph's link is the Poincare sphere (H_1=0, v232), so det K=1 becomes 'the attractor's link homotopy type is the Poincare sphere' -- a finite COMBINATORIAL statement (no continuum limit), unlike R1/R2. [O] HONEST RESIDUAL: none of R1/R2/R3 closes det K=1; the hypergraph route's remaining gap is the combinatorial-to-geometric bridge ('the rewrite attractor (a graph) IS the raw seam's geometric realisation (the du Val singularity)') -- which is exactly the SEAM.EQUIV.01 content. The synthesis SHARPENS the target to one combinatorial statement and ranks the routes; it does NOT prove it. UPDATE 2026-07-14 (v479/SEAM.KRONHEIMER.01): R3's combinatorial-to-geometric bridge is DISCHARGED to Kronheimer 1989 (ALE hyper-Kaehler quotient + Torelli; all finite input data compiler outputs) -- the [O] residual transforms to 'the raw seam supplies the ALE/orbifold datum', the same single arrow as SEAM.EQUIV.01; status unchanged.
Original classification detail
[E] the six-faces equivalence (|det Cartan|=|H_1| ADE arithmetic, computed) + the genus-1 obstruction + the three-route map; [C] the hypergraph route's alignment (attractor=E8 graph v312 + E8 link=Poincare sphere v232); [O] the unclosed combinatorial-to-geometric bridge (= SEAM.EQUIV.01). A synthesis/roadmap; closes nothing, fabricates nothing.
Dependencies as recorded
SEAM.EQUIV.UNIFY.01; v232; v235; v219; v281; v282; v312; v336; v87
Open the original ledger source, row 110Location 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.
- Origin Theory
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-07-14 ( v479– v481 — the bird's-eye ``overlooked tools'' round: R3's graph [formula in source] geometry bridge discharged to Kronheimer 1989; the four [formula in source] marks realised as the exactly solvable four-interval multilocal modular geometry with [formula in source] manifest; and the absolute [formula in source] -scale collapsed to a one-parameter, PS-window-bracketed candidate under the carrier normalisation [formula in source] — no gate closes, no marker moves)Research changelog; TFPT — Introduction and reading guide
- 2026-06-22 (the one keystone bit [formula in source] mapped: six equivalent faces, the genus-1 obstruction, three access routes, the hypergraph-homotopy route the most promising fresh angle: v344)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.
- The unique attractor: a gapped transport selects ONE fixed pointorigin theory
- The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
- Front matter / supportResearch contracts
- Research Contract 1 — [formula in source]tfpt research contracts
- Front matter / supportResearch contracts
- Research Contract 2 — [formula in source]tfpt research contracts
- 2026-06-22 (two consequences: the [formula in source] which-net ambiguity resolved by the order-4 clock, and BOTH axioms shown bootstrap-forced so the only irreducibles are the framework [formula in source] [formula in source] : v351, v352)Research changelog; TFPT — Introduction and reading guide
- The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
All 14 linked sections
- Front matter / support
- 2026-06-23 (S3 closure stack — the target of the seam scaling limit pinned at EVERY computable level: central charge [formula in source] from the lattice ( v376), the [formula in source] character ( v377), the genus-1 torus count [formula in source] ( v378), and reflection positivity ( v379); only the abstract continuum existence (cited MMST) stays external)
- Research Contract 1 — [formula in source]
- Research Contract 2 — [formula in source]
- 2026-06-22 (executing route R3: the [formula in source] -rewrite attractor link computed to be the Poincar\'e homology sphere ( [formula in source] ), the combinatorial core complete, only the geometric bridge open: v345)
- The unique attractor: a gapped transport selects ONE fixed point
Registered verification modules
- v344_detk_synthesis.pyRegistered verification module · core
Read the description recorded in the module registry
The bird's-eye synthesis of the ONE open keystone bit, det K=1 -- a full-spectrum map of SEAM.EQUIV.01's only open residual. [E] det K=1 is ONE statement with SIX equivalent faces (holomorphy / homology-sphere link H_1=0 / one 1-dim irrep / det Cartan=1 / full mu4 condensation / tau=i CM), unified by |det Cartan| = |H_1(link)| = #1-dim irreps across ADE (A_n->n+1, D_n->4, E6->3, E7->2, E8->1) -- ONLY E8 gives 1. [E] THE GENUS-1 OBSTRUCTION: the easy arguments are genus-0, necessary but not sufficient (v87); det K is the torus degeneracy. [E] THREE genus-1 access routes: R1 continuum-modular (v336), R2 anyon-condensation (v281), R3 hypergraph-homotopy. [C] the HYPERGRAPH route is the most promising fresh angle: the (2,3,5) attractor is the affine-E8 graph (v312), the E8 du Val link is the Poincare sphere (v232), so det K=1 becomes COMBINATORIAL. [O] none closes it; R3's combinatorial-to-geometric bridge is meanwhile discharged to Kronheimer 1989 (v479), so the residual transforms to 'the raw seam supplies the ALE/orbifold datum' = SEAM.EQUIV.01.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.