Skip to main content

A registered result in its source context

Original ledger classification: Dead reading registered [Identity/Numerical] (negative result): rank 1 suffices -- the minimal-mediation reading of N_fam = 3 is refuted; purity pins 3 as dimension bookkeeping; no marker move

Recorded statement: DEAD READING (negative result, first-class; measured 2026-08-10, round CXVII; promoted in v903): 'N_fam = 3 IS THE MINIMAL BOUNDARY-MEDIATION RANK' IS REFUTED at theorem grade for this finite size (a census/sign-level theorem, not a search…

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.MINIMAL.MEDIATOR.01

Original ledger classification: Dead reading registered [Identity/Numerical] (negative result): rank 1 suffices -- the minimal-mediation reading of N_fam = 3 is refuted; purity pins 3 as dimension bookkeeping; no marker move

Original claim text

DEAD READING (negative result, first-class; measured 2026-08-10, round CXVII; promoted in v903): 'N_fam = 3 IS THE MINIMAL BOUNDARY-MEDIATION RANK' IS REFUTED at theorem grade for this finite size (a census/sign-level theorem, not a search negative). PREMISES SHARPENED: O16 is EXACTLY the identity on the A3 boundary -- C6 covariance constrains only the COUPLING (24-dim, orbit-repeated 2x6 blocks, projector ward + symbolic both ways); the expected orbit-count obstruction against r < 3 CANNOT exist. THE STRUCTURE THEOREM (39 symbols, exact sympy): under covariant coupling the 10 carrier blocks of S' = V M V^T take exactly THREE values -- the full requirement (10/10 populated, canonical Pf4 signs, CAR-scalable) reduces to (gamma_ab != 0, gamma_cde != 0, det B_x > 0). RANK-1 EXHAUSTION AS A THEOREM: det(B_x) = gamma_ab gamma_cde symbolically for EVERY symplectic-rank-1 mediator, so the ONLY rank-1 obstruction is the sign law gamma_ab gamma_cde <= 0; the explicit integer witness J(+)0(+)0 with the deployed coupling passes the requirement COMPLETELY (10/10, 0 wrong signs); seeded census 2000/2000 agrees; exhaustion r in {0, 1, 2, 3} complete, only r = 0 fails. PREMISE CORRECTION: rank(V J3 V^T) = 2 EXACTLY and S = 1_5 (x) 3J EXACTLY -- the coupling fold collapses the deployed 3-level mediator to ONE effective carrier level ('<= 3' was true but empty). WHAT 3 REALLY PINS (measured): boundary NON-DEGENERACY -- pure boundary ground state <=> matrix rank 6 <=> symplectic rank 3 = N_fam, honestly typed as DIMENSION BOOKKEEPING (dim(A3) = 6 = |Z2| N_fam), not a mediation theorem: the mediation demands are already met at rank 1. Controls: rank 0 dead 10/10; covariance break reaches provably-unreachable signs; the fold-cancel rank-4 mediator is dead 10/10 (mediation capacity is NOT rank-monotone). Zero RH content.

Original classification detail

NEGATIVE: N_fam = 3 as minimal mediation rank REFUTED (rank 1 suffices by exact sign law + integer witness; deployed S rank 2 exactly); purity = dimension bookkeeping

Dependencies as recorded

SEAM.CFIN.KMSMIX.01; SEAM.CFIN.WICKFUNCTOR.01; v898

Open the original ledger source, row 730

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