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.

• Frontier and open physical interfaces
  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.

• Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
• Front matter / supportFrontier and open physical interfaces
• 2026-06-18 (QG.AMB.01 Tier-B made concrete: the seam-Calder\'on [formula in source] match, v277)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 closure ledger: what is done, and what genuinely remainsTFPT — Introduction and reading guide
• 2026-06-25 (No-Ambient-Dependency: no frozen readout is computed from QG.AMB.01: v423)Research changelog; TFPT — Introduction and reading guide
• 2026-06-19 (an infinite-derivative narrowing of the Stelle-ghost attack, the double-pushout figure, and the ``constancy of [formula in source] '' framing of SEAM.EQUIV.01: v304)Research changelog; TFPT — Introduction and reading guide
• Research Contract 1 — [formula in source]tfpt research contracts
• Front matter / supportResearch contracts
• 2026-06-18 (closing sprint: the Seam Equivalence Theorem named + both routes attacked, v286– v288)Research changelog; TFPT — Introduction and reading guide
• 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
• 2026-06-30 (six convergent attacks on the one SEAM.EQUIV.01 continuum residual — intrinsic Bisognano–Wichmann, a Lieb–Robinson continuum motor, the [formula in source] -homotopy, an applicability audit, uniform rigidity, and falsifiable kill tests; none closes the keystone, together they reduce it to a single analytic fact and make the claim falsifiable)Research changelog; TFPT — Introduction and reading guide

Registered verification modules

• v277_seam_calderon_e8_match.pyRegistered verification module · frontier
  Read the description recorded in the module registry

  QGAMB.TIERB.01 — the seam-Calderón → (E8)₁ matching certificate, the concrete Tier-B step of QG.AMB.01 (v275): computes the full (E8)₁ matching target and pins the residual to ONE bit (does NOT close it). [E] c=8 (Sugawara, 248/31=g_car+N_fam), but c=8 alone does not pin the net; [E] the discriminator is holomorphy — det Cartan(E8)=1 (1 primary, holomorphic) vs the c=8 counterexample det Cartan(D8=SO(16))=4 (4 primaries, non-holomorphic), so the single discriminator is |det K|=1; [E] the (E8)₁ character E4/η⁸=j^{1/3}=q^{-1/3}(1+248q+4124q²+…) has a single primary + exactly 248=dim E8 weight-1 currents (240 roots); [E] equivalence chain holomorphic ⟺ det Cartan 1 ⟺ unique even unimodular rank-8 (v83) ⟺ homology-sphere link ⟺ |det K|=1 (v235); [C] seam-side match via v276 (flat τ=i) + v260 (Kummer/K3); [O] residual = the single holomorphy bit, reduced to one bit, NOT closed (rt_A verdict stands).

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