Skip to main content

A registered result in its source context

Original ledger classification: Measured exact pencil identity [Identity/Numerical]: t_gap as a generalized eigenvalue with Sturm uniqueness; three surfaces one variety; no marker move

Recorded statement: t_gap IS THEOREM-SHAPED (measured 2026-08-10, round CXXXIII; promoted in v903): t_gap = 0.230 948 870 8... is the UNIQUE positive root of the irreducible cubic q(t) = 9t^3 + 21t^2 - t - 1 (exact Sturm count: 1 on (0, infinity) and 1 on (0,…

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.GAP.PENCIL.01

Original ledger classification: Measured exact pencil identity [Identity/Numerical]: t_gap as a generalized eigenvalue with Sturm uniqueness; three surfaces one variety; no marker move

Original claim text

t_gap IS THEOREM-SHAPED (measured 2026-08-10, round CXXXIII; promoted in v903): t_gap = 0.2309488708... is the UNIQUE positive root of the irreducible cubic q(t) = 9t^3 + 21t^2 - t - 1 (exact Sturm count: 1 on (0, infinity) and 1 on (0, 1/4] -- the root is interior to the deployed region), which divides the EXACT Pfaffian of the FIXED integer pencil: Pf(A_dep + t A_int) = -(t-1)(3t^2-1) q(t) EXACTLY (degree <= 8 identity certified at 9 rational points by exact Fraction-Pfaffian recursion; sign fixed by Pf(A_dep) = +1 at t = 0) -- t_gap is a finite GENERALIZED EIGENVALUE of (A_dep, A_int) with kernel dimension EXACTLY 2 (exact argument: q squarefree => det vanishes to order exactly 2; antisymmetric => even rank) and minimal polynomial q of degree 3; the pencil is strictly-singular typed (deg det = 12 < 16). THE THREE KNOWN CRITICAL SURFACES ARE PROJECTIONS OF ONE VARIETY: (1) the 1p gap closes at t_gap (2.6e-17) and NOWHERE else in (0, 1/4]; (2) the beta -> infinity ground state jumps there by EXACTLY a rank-2 occupation flip (||Delta||_F = 2 sqrt(2), persistent to delta = 1e-5; exact sign flip q(23/100) < 0 < q(6/25)); (3) the hermitized RP boundary t_c(beta) climbs monotonically to the pencil root (t_c(1) = 0.2205 measurably BELOW with gap 1.04e-2; t_c(30), t_c(60) coincide with t_gap below float resolution 1.4e-15 -- a LIMIT statement, typed). INVARIANCE in strongest form: the C6 lift O16 fixes BOTH pencil members ENTRYWISE (exact integer); gauge congruences preserve det P(t) identically; scaling covariance exact. THE COUPLING IS LOAD-BEARING: zeroing the carrier-boundary coupling or perturbing coupling wires kills t_gap as a root (exact polynomial remainder mod q != 0, 3/3 seeded draws). SMOKE CORRECTIONS disclosed fail-first (the Pfaffian sign first guess +1 killed by the t = 0 evaluation; the strict-below gate at beta = 30 not float-resolvable, typed as a limit statement). t_gap remains a property of THIS integer pencil; the RP boundary meets the root only in the beta -> infinity limit. Zero RH content; no marker moves.

Original classification detail

MEASURED: Pf(A_dep + t A_int) = -(t-1)(3t^2-1)(9t^3+21t^2-t-1) exact; t_gap unique in (0 1/4] (Sturm); kernel dim exactly 2; coupling load-bearing

Dependencies as recorded

SEAM.STATE.DERIVATION.01; SEAM.CFIN.RP.DILATION.01; v898

Open the original ledger source, row 733

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