A registered result in its source context

Original ledger classification: Exact [E] (executable skeleton; fine types Lattice/Numerical for the collar battery, Identity for the S0 mechanism gates)

Recorded statement: THE CROSS-ROUTE OS SKELETON (2026-08-27, v973): the two continuum routes of the seam equivalence target -- the MMST scaling-limit route (the p+ip collar edge) and the twistor route's Z4 lattice object -- share the EXECUTABLE OS skeleton:…

Statement, assumptions and sources

Paper context: tfpt 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

SEAM.EQUIV.SKELETON.01

Original ledger classification: Exact [E] (executable skeleton; fine types Lattice/Numerical for the collar battery, Identity for the S0 mechanism gates)

Original claim text

THE CROSS-ROUTE OS SKELETON (2026-08-27, v973): the two continuum routes of the seam equivalence target -- the MMST scaling-limit route (the p+ip collar edge) and the twistor route's Z4 lattice object -- share the EXECUTABLE OS skeleton: all FIVE WOIT kill-test main invariants (alpha: forced eta = +i, Theta^2 = +1, bond RP; beta1: GSO 2-torsion; beta2: OS quotient exists + KMS expansion lambda_max > 1; beta3: perp descent Theta^2 = +1; gamma: mirror flip, multiplicity-free clock, mark incidence) hold VERBATIM on the collar edge, 5/5; ALL divergences between the two route objects are control-typed and trace to ONE mechanism -- the twistor lattice's exact chiral checkerboard C(even) = 0 (a bipartiteness consequence, re-derived exactly in v973 S0c: S H S = -H forces every odd function of H to vanish on even distances) vs the collar kernel's K(even) up to 0.1736 -- independently confirming v519-R4's typing of the site-cut RP failure as a lattice-placement artifact, now from the second route; FIRST_DIVERGENCE = ALPHA.SITECUT.CHECKERBOARD (control-typed). BONUS: the collar's top edge realizes the anti-chiral state EXACTLY (max |K_top + K_bot| = 7.5e-16; v973 S0c re-derives K_top = -K_bot as an exact symmetry consequence P H P = -H on a strip); the M = 3 trivial collar loses the skeleton FIRST at GAMMA.MARK.INCIDENCE (mark Grams lose rank (13,0,3) vs (16,0,0)) -- the skeleton tracks the topological phase, not the lattice bookkeeping. HONEST BOUNDARY: an executable-level statement about the two lattice route OBJECTS, typed FULL/PARTIAL per test -- NOT an equivalence of the routes and NOT a continuum statement; it narrows the seam question (both routes carry the same OS/RP/GSO/mark structure wherever it is computable) but closes neither SEAM.EQUIV.MMST.01 nor SEAM.EQUIV.TWISTOR.01, which stay [O].

Original classification detail

[E] the executable OS skeleton is shared 5/5 with all divergences control-typed to the checkerboard mechanism; an executable-level narrowing -- does NOT close either route or the parent

Dependencies as recorded

SEAM.EQUIV.01; SEAM.EQUIV.MMST.01; SEAM.EQUIV.TWISTOR.01; WOIT.OS.TWISTOR.01

Open the original ledger source, row 753

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 document Read the PDF Original 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]tfpt research contracts
Front matter / supportResearch contracts
Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
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.

Externalization Contract — SEAM.EQUIV.01 (the seam scaling-limit theorem, packaged for external specialists)tfpt research contracts
Research Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)tfpt research contracts
Research Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)tfpt research contracts
-1.2cm TFPT — Research Contracts for the Remaining Interfaces:\\v_ geo [formula in source] G_ net [formula in source] F_ transfer [formula in source] (U_ wall) [formula in source] (G_ metric) [formula in source] [formula in source] / _1/ _2/ _3 [formula in source] next)tfpt research contracts
Front matter / supportResearch contracts
The index-four fixed-point Q-systemholomorphic kms extension en
Research Contract — SEAM.SIMPLECURRENT.GENERATOR.01 (one generator instead of 128 currents)Research contracts
-1.2cm TFPT — Research Contracts for the Remaining Interfaces:\\v_ geo [formula in source] G_ net [formula in source] F_ transfer [formula in source] (U_ wall) [formula in source] (G_ metric) [formula in source] [formula in source] / _1/ _2/ _3 [formula in source] next)tfpt research contracts

All 15 linked sections

Registered verification modules

v973_seam_route_narrowing.pyRegistered verification module · core
Read the description recorded in the module registry
SEAM.EQUIV.MMST.01 [O-Update] + SEAM.EQUIV.TWISTOR.01 [O-Update] + SEAM.EQUIV.SKELETON.01 [E, NEU] + SEAM.EQUIV.01 [O-Update] (Seam-Adjudikationswelle, 2026-08-27): **die Seam-Routen-Verengung — drei Probes byte-exakt eingebettet (19/19 + 20/20 + 19/19; SPEC e6f392cbcd0d3ae1 / 0875f39fe1d0fa0f / 451bd470b98a9d6d), plus die modul-eigene Exaktsektion S0** — (1) MMST-ABDECKUNG ZERLEGT: der zitierte Osborne–Stottmeister-Satz (CMP 398 (2023) 219, arXiv:2107.13834) DECKT die bilineare Hälfte des Seam-Ziels — so(16)₁-Fermion-Bilinear-WZW-Ströme konvergieren STARK auf dem endlichen Teilchenkern (Thm 5.1 + Cauchy–Schwarz Gl. 229 inkl. Majorana-Algebren), Virasoro/Koo–Saleur (Thms A/4.11/4.16), Korrelatoren (Thms B/C), polynomiale Fehler Error² ≤ C·2^(−2δN), δ ∈ [0,2] — und deckt vier BENANNTE Punkte NICHT: N1 die μ₄/GSO-Erweiterung SO(16)₁ → (E8)₁ als NETZ-Aussage (die 128 Spinor-Ströme sind keine Bilineare), N2 der Twist-/Spinfeld-Sektor (vom Paper explizit verschoben), N3 das einseitige chirale Randnetz eines 2+1D-Bulks, N4 der Holomorphie-Selektor det K = 1 vs 4; NEUE MESSUNG: die Rand-Korrelator-Konvergenzrate auf dem v367-Collar p = 3.48 (Richardson 3.1–4.2, präregistriertes Band [0.5, 4.0]), Fehler 6.3e-2 → 2.7e-6 über Nx = 16..256; die M = 3-Kontrolle konvergiert NICHT zum chiralen Ziel (min rel Abw 0.836); die Abdeckungs-Gates exakt-ganzzahlig (248 = 120 + 128, 240 Wurzeln = 112 + 128, det Cartan 4 → 1, Index-Arithmetik 2·2 = 4 = |μ₄|). (2) TWISTOR-MASS-RIGIDITÄT: auf dem berechenbaren v508/v515-Sektor hat die 18-Parameter-Deformation der deklarierten Maßdaten (Kontakt-Normierung, 4 Sektorgewichte, Residuen-Normierung, 4 Linking-Ladungen, 4 Zentrumspositionen) die exekutierten Constraint-Ränge C1 Uhr 9 / C2 Lockstep+Ganzzahligkeit 8 / C3 Ladung 2 / C4 Null-Ideal 2, gemeinsamer Rang 13, 4 Eichrichtungen ⇒ der Moduli-Kern ist EXAKT 1 = der uniforme Sektorgewichts-Shift dv = (1,1,1,1), abgebildet auf das ungetwistete Okubo-Quadrat Q⁰ = 36(1,2,1,0,0), von jedem exekutierten Zertifikat-Funktional PER KONSTRUKTION annihiliert (exakt flach zu allen Ordnungen); Anker re-deriviert (A_fix = (9,−30,−15,0,32), Zertifikat (0,32,72), ψ(A_fix) = 64); Ablations-Leiter (voll,−C1,−C2,−C3,−C4,−C1&C2) = (1,3,1,2,3,10); ehrlich: der W₂:W₁₃ = 4:3-Tester ist NOT-TRANSCRIBABLE. (3) OS-SKELETT GETEILT: ALLE fünf WOIT-Killtest-Hauptinvarianten (α: erzwungenes η = +i, Θ² = +1, Bond-RP; β1: GSO-2-Torsion; β2: OS-Quotient existiert + KMS λ_max > 1; β3: Perp-Descent; γ: Spiegel-Flip, multiplizitätsfrei, Mark-Inzidenz) gelten WÖRTLICH auf der p+ip-Collar-Kante; ALLE Divergenzen kontroll-typisiert und auf EINEN Mechanismus zurückgeführt (das exakte chirale Schachbrett C(even) = 0 des Twistor-Gitters vs K(even) bis 0.1736 des Collars — bestätigt v519-R4 unabhängig von der zweiten Route); BONUS: die obere Kante realisiert den anti-chiralen Zustand EXAKT (max|K_top + K_bot| = 7.5e-16); der triviale M = 3-Collar verliert das Skelett ZUERST bei GAMMA.MARK.INCIDENCE — das Skelett folgt der topologischen Phase. Modul-eigene Exaktsektion S0: Abdeckungs-Arithmetik exakt (Wurzel-Zensus, Cartan-Determinanten, Index); die Eindeutigkeits-Lineare-Algebra als exakte Rationale auf einem unimodular gemischten 18-Raum (Ränge (9,8,2,2) → 13 → Kern 1; Ablations-Leiter exakt; der C4-Drop-Mutant öffnet den Kern auf 3 — CAUGHT); die Skelett-Mechanismen exakt (bipartit S H S = −H ⇒ ungerade Funktionen verschwinden auf geraden Distanzen; P H P = −H auf dem Streifen ⇒ K_top = −K_bot exakt); Verdikt-Bars mit Kipp-Mutanten (ein falsches COVERAGE_FULL wird vom nichtleeren N1–N4-Gate VERWEIGERT; Hash-Mutation CAUGHT). EHRLICH: die Abdeckungs-Gates sind ausführbare TRANSKRIPTIONEN einer menschlichen Literatur-Adjudikation; die Rate SUPERKONVERGIERT (p > δ_max = 2) gegen die zitierte OBERE Schranke — Band kalibrierungs-informiert; die Sektor-Eindeutigkeit ist KEINE BCOV-Herleitung; Skelett-Treue pro Test typisiert. KEINE Marker-Bewegung: MMST und TWISTOR bleiben [O], der Parent bleibt [O]; die einzige neue Zeile ist SEAM.EQUIV.SKELETON.01 [E].

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

Search later reviewed research for this identifier Read the coverage boundaries