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.

• Research contracts
  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.

• Research Contract 1 — [formula in source]Research contracts
• 2026-07-03 ( v472 — the determinant line over the [formula in source] -twist moduli of the collar model carries curvature [formula in source] the inflow level: the v470 bridge lemma exhibited at the finite/model level; ALPHA.QUILLEN.EXACT.01 stays . Plus: bird's-eye rounds — electron-sector/Cabibbo whitespot probes, Calder\'on UV-universality, parameter-free flat-budget closure (sandbox); the flat-budget closure enters the evidence scorecard)Research changelog; TFPT — Introduction and reading guide
• 2026-06-14 (QGEO proof tree v177 — the residual sharpened into two named obligations)Research changelog; TFPT — Introduction and reading guide
• Research Contract 1 — [formula in source]tfpt research contracts
• Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
• 2026-06-14 (an honest attempt at the two obligations v178 — deeper reduction, not closure)Research changelog; TFPT — Introduction and reading guide
• Research Contract 1 — [formula in source]tfpt 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-14 (subclaim 2 of ENERGY.02 tackled: raw-seam-DtN RP-definability — v194)Research changelog; TFPT — Introduction and reading guide
• 2026-06-15 (bedrock: the [formula in source] residual reduced once more — v201)Research changelog; TFPT — Introduction and reading guide
• Honest statusinput 4 origin theory
• 2026-06-14 (the two obligations collapse to ONE geometric premise v179)Research changelog; TFPT — Introduction and reading guide
• Honest statusorigin theory
• 2026-06-24 (The five TOE/QFT closure contracts v398– v402 + a ledger rescope)Research changelog; TFPT — Introduction and reading guide
• Honest statusOrigin Theory
• 15.3 Tatsächlicher Anschluss an ältere TFPT-StrukturTFPT Universalraum Spinlift Hauptdokument 2026-09-15 v1.6.10

Registered verification modules

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

  the QGEO proof tree — the v176 'one realisation premise' split into its honest constituents: REALIZE = MARKS · UNIFORM · COHOM · MODULE · KERNEL · NET, with FOUR nodes closed CONSTRUCTIVELY as [E] and the open residual sharpened into exactly TWO named obligations. [E] UNIFORM (Lemma 2, constructive): an order-4 Möbius map conjugates to z↦iz, a non-fixed orbit scales to μ₄, the reflection z↦1/z gives στρτ=ρ⁻¹ (D4 order 8) — a genus-0 4-marked faithful-D4 boundary IS (ℙ¹,μ₄); [E] COHOM: ρ*ωk=i^kωk so the H¹ grading is (1,2,3)=A3 exponents=Spec(Q₊); [E] MODULE: the H¹→generation iso is UNIQUE (multiplicity-free + residue normalisation; reflection ω1↔ω3, ω2 fixed); [E] NET (v154/v175): index-4 μ₄ extension of (D5)₁⊗(A3)₁ = (E8)₁. The TWO genuine open obligations [O]: QGEO.MARKS.01 (raw seam → genus-0 four-marked D4 boundary) and QGEO.KERNEL.01 (raw seam Calderón kernel = the μ₄-equivariant free gapped contraction as an OPERATOR). Removes the near-circular v176 framing (which took the marks as a hypothesis); the whole structural residual is now exactly these two doors.

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