Skip to main content

A registered result in its source context

Original ledger classification: Measured complete census [Numerical] (negative result): 0 of 6 admissible twisted reflections admit strict RP at t > 0; no marker move

Recorded statement: THE COMPLETE TWISTED-OS CENSUS IS EXCLUSIONARY (measured 2026-08-10, round CXXXI; promoted in v903): the COMPLETE census of C6-twisted reflections Theta_g = U_g o theta (2 bases x 6 C6 powers x 4 degree twists = 48 candidates) admits…

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.TWISTED.RP.01

Original ledger classification: Measured complete census [Numerical] (negative result): 0 of 6 admissible twisted reflections admit strict RP at t > 0; no marker move

Original claim text

THE COMPLETE TWISTED-OS CENSUS IS EXCLUSIONARY (measured 2026-08-10, round CXXXI; promoted in v903): the COMPLETE census of C6-twisted reflections Theta_g = U_g o theta (2 bases x 6 C6 powers x 4 degree twists = 48 candidates) admits EXACTLY 16 involutions (Theta^2 = 1 <=> 3 | k, eta-independent; the law q^2 = img^{2k} verified indexwise -- the 3-cycle of pi forces k in {0, 3}), of which 6 are Gram-hermitian at the bare point (eta = +-i for (S,0), (S,3), (abT,0)), and ZERO of 6 admit strict RP at ANY t > 0: no selection -- TWISTED-RP-EXCLUSIONARY; the g^3 transport twist of the sheet swap is not a rescue but a NEW obstruction (its 1p Gram is indefinite already at t = 0, lam_min = -0.4621 for BOTH eta signs -- the twist degenerates the eta sign). The enumeration is provably complete at finite size (C6 = <g>, generator pin re-verified; the U_g = O16^k are exact symmetries of every scanned KMS state at 1.1e-15); the scalar character axis collapses measured (chi = -1 negates the Gram, chi = i breaks hermiticity); eta = -i flips the 1p Gram exactly against +i -- at most ONE eta sign per side-exchanging candidate can carry strict positivity, and at the marginal abT bare point both pass and both fall for every t > 0. SMOKE CORRECTIONS disclosed fail-first (the expected within-side mechanism for the side-fixing (abT, k=3) does NOT exist -- hermiticity-dead at the bare point for every eta; lam_max 0.4973 < the expected 0.5 bar). RP and the v898 mixing floor remain mutually exclusive under EVERY C6-compatible involutive twist -- a MEASUREMENT on this complete finite candidate set, no universal no-go. Zero RH content; the [O] premise unmoved.

Original classification detail

MEASURED: twisted census 16/48 involutive and 6 admissible; 0/6 with strict RP at t > 0 (TWISTED-RP-EXCLUSIONARY); exclusion survives every C6 twist

Dependencies as recorded

SEAM.STATE.DERIVATION.01; SEAM.CFIN.KMSMIX.01; v898; v519

Open the original ledger source, row 731

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.

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.

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.

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.

Search later reviewed research for this identifierRead the coverage boundaries