A registered result in its source context
Original ledger classification: Physical/geometric [O] (open constructive obligation)
Recorded statement: THE SEAM MARKING OBLIGATION (genuine open obligation 1 of 2; the structural residual of the theory, NOT a finite computation): the RAW RP seam collar must canonically produce a genus-0, four-parabolic-marked boundary with a faithful D4…
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
QGEO.MARKS.01
Original ledger classification: Physical/geometric [O] (open constructive obligation)
Original claim text
THE SEAM MARKING OBLIGATION (genuine open obligation 1 of 2; the structural residual of the theory, NOT a finite computation): the RAW RP seam collar must canonically produce a genus-0, four-parabolic-marked boundary with a faithful D4 action -- the four marks coming from the anchor atom e1(a)=4=|mu4| (NOT an arbitrary marking), with mark collisions excluded (else b1=N_fam=3, the D4 faithfulness or the H^1 character split collapse), and the sheet reflection tau and clock rotation rho satisfying tau.rho.tau=rho^{-1} (D4). Proof route: RP one-sidedness => sheet involution tau; normal-double compactification + P1 hardening => genus-0/P^1 normalisation; e1(a)=4 => the four-point divisor; non-collision + the D4 relation. Given QGEO.MARKS.01, the geometry side closes via QGEO.UNIFORM.01/COHOM.01/MODULE.01 (all [E], v177). A constructive-geometry statement, left honestly OPEN (needs a human argument or proof assistant, not arithmetic)
Original classification detail
Open [O]: raw RP seam collar -> genus-0 four-marked D4 boundary (one of the two genuine obligations)
Dependencies as recorded
QGEO.TREE.01; QGEO.UNIFORM.01; ARCH.SPINE.01; v177_seam_marking_kernel.py
Open the original ledger source, row 256Location 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
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-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
- 2026-06-15 (Lean: QGEO.UNIFORM.01 geometric normal form machine-proved)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.
- 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.