A registered result in its source context
Original ledger classification: Measured split [Numerical/Identity]: a marginal cone-boundary witness with the exact 1/200 floor; the strict collar route obstructed by an exact linear law; no marker move
Recorded statement: THE DILATION ROUTE SPLITS (measured 2026-08-10, round CXXXII; promoted in v903): on the explicit C6-covariant parent family over the v898 split 16 = 10 (+) 6 the dilation mechanism is REALIZED for the 2-cycle reflection -- every one of the…
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.CFIN.RP.DILATION.01
Original ledger classification: Measured split [Numerical/Identity]: a marginal cone-boundary witness with the exact 1/200 floor; the strict collar route obstructed by an exact linear law; no marker move
Original claim text
THE DILATION ROUTE SPLITS (measured 2026-08-10, round CXXXII; promoted in v903): on the explicit C6-covariant parent family over the v898 split 16 = 10 (+) 6 the dilation mechanism is REALIZED for the 2-cycle reflection -- every one of the 28 CAR-valid s = 0 points is theta_abT-MARGINAL RP (parent a_J = 0, 1p Gram eigenvalues EXACTLY {0, 0}: the cone boundary), and the Schur compression of the v898 M2 parent (kappa = m = 1/2, t = 1/20) carries the FULL Pfaffian mixing (10/10 carrier duads, uniform J block = the round-51/52 FLOOR as the EXACT rational identity t^2 * 3m/(1 - m^2) = 1/200, canonical Pf4 signs) while the effective carrier RP falls exactly by the +-|a_J| law (a_J = 1/200): parent RP above and effective RP failure below COEXIST -- the round-58 incompatibility is pushed one level up, not resolved; BUT the STRICT collar sheet swap is family-wide obstructed: 0/78 CAR-valid lattice points pass strict theta_S RP, and at the M2 parent the obstruction is EXACT -- 30 defect entries, ALL of magnitude 2t = 1/10, ALL on (empty monomial <-> mixed carrier-boundary pair) positions: a linear coupling law, not noise. The witness is end-to-end EXACT rational arithmetic (symbolic Schur identity in all 5 parameters, PD/PSD by exact LDL pivots); the parent KMS typing binds exactly via CAR strictness (the -2 artanh spectral map; the disclosed smoke correction: the first draft used arctan and was killed by the roundtrip ward); orbit selectivity measured (W1-only mixes exactly 1/10, W2-only exactly 3/10, full mixing needs BOTH orbits); the compression lives on the uniform J ray, NOT the A_int ray of the KMS family (the FLOOR value is hit, the covariant DIRECTION differs -- typed, not hidden). The marginal witness sits ON the RP cone boundary (not strict); the strict-collar obstruction is family-level (no universal no-go); the v898 [O] premise stays [O]. Zero RH content.
Original classification detail
MEASURED: DILATION-SPLIT -- marginal theta_abT witness on the cone boundary; t^2*3m/(1-m^2) = 1/200 exact; strict collar obstructed (defect magnitude 2t)
Dependencies as recorded
SEAM.STATE.DERIVATION.01; SEAM.CFIN.TWISTED.RP.01; SEAM.CFIN.KMSMIX.01; v898
Open the original ledger source, row 732Location 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.
- Front matter / supportResearch contracts
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Research Contract 2 — [formula in source]tfpt research contracts
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Front matter / supportE8 audit and bootstrap
- Research Contract 2 — [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.
- How to read this documenttfpt 1 architecture e8
- Front matter / supportArchitecture, E8 and the electromagnetic fixed point
- How to read this documenttfpt 1 architecture e8
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- 2026-10-18: Project separation and retained physics historyResearch changelog; TFPT — Introduction and reading guide
Registered verification modules
- v903_seam_rp_exclusion.pyRegistered verification module · core
Read the description recorded in the module registry
SEAM.STATE.DERIVATION.01 + CFIN.MIXING.NORMALIZATION.01 + CFIN.MINIMAL.MEDIATOR.01 + CFIN.TWISTED.RP.01 + CFIN.RP.DILATION.01 + CFIN.GAP.PENCIL.01: **die Seam-RP/Modular-Exklusion + zwei tote Lesarten (25/25 + 23/23 + 20/20 + 20/20 + 23/23 + 18/18)** — strikte RP erzwingt t = 0 unter BEIDEN räumlichen Reflexionen (odd-Gram-Eigenwerte EXAKT ±|a_J| der {4,5}-Duade auf 2.2e-16: OS-Positivität ⟺ a_J = 0 ⟺ der v898-Mischungs-Floor FÄLLT — RP und Mischung schließen sich auf dieser Familie gegenseitig aus); u ≥ t erzwungen (u = 0 RP-ausgeschlossen, Runde-57-Lesart korrigiert); 2π-KMS-Locus = der Punkt (t=0, β=2π); der komplette getwistete OS-Zensus EXKLUSIONÄR (48 Kandidaten, 16 involutiv, 6 admissibel, 0/6 mit strikter RP bei t > 0); die Dilations-Route GESPALTEN (der v898-M2-Parent ist θ_abT-marginaler Zeuge AUF dem Kegelrand, die Schur-Kompression trägt die VOLLE Pfaffian-Mischung mit t²·3m/(1−m²) = 1/200 EXAKT; die strikte Kollar-Route familienweit exakt obstruiert, 30 Defekteinträge ALLE mit Betrag 2t); t_gap = 0.230949 THEOREM-FÖRMIG (Pf(A_dep + t·A_int) = −(t−1)(3t²−1)·q(t) EXAKT, q = 9t³+21t²−t−1 irreduzibel, Sturm-Eindeutigkeit auf (0, 1/4], Kern-Dimension exakt 2, drei kritische Flächen = Projektionen EINER Varietät, KEINE Wurzel ist 1/8); DIE ZWEI TOTEN LESARTEN als erstklassige Negative: 't = 1/8 ist ein Compiler-Wert' ist eine DEKORATION (55/55 t bestehen alle eingefrorenen v898-Gates, erlaubte Menge (0, ∞), PIN-ABSENT), 'N_fam = 3 = minimaler Mediations-Rang' ist WIDERLEGT (Rang 1 genügt per Vorzeichengesetz + Ganzzahl-Zeuge, deployter S-Rang exakt 2; die 3 pint Rand-Reinheit = Dimensions-Buchhaltung); die [O]-Prämisse von v898 bleibt UNBEWEGT.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.