Skip to main content

A registered result in its source context

Original ledger classification: Measured covariant exclusion [Identity/Numerical]: interior empty (exact +-a_J law), floor exchange Pf4 = (eps - 1/200)(eps + 1/200); escape only by symmetry breaking at price 2 eps; no marker move

Recorded statement: STRICT 2-CYCLE RP IS IMPOSSIBLE ON THE WHOLE COVARIANT CLASS (measured 2026-08-10, round CXXXVIII(60); promoted in v908): the closure-vs-isolated dilemma of the v903 marginal witness is REFUTED AS A DILEMMA -- the theta_abT sector Grams…

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.MARGINAL.STABILITY.01

Original ledger classification: Measured covariant exclusion [Identity/Numerical]: interior empty (exact +-a_J law), floor exchange Pf4 = (eps - 1/200)(eps + 1/200); escape only by symmetry breaking at price 2 eps; no marker move

Original claim text

STRICT 2-CYCLE RP IS IMPOSSIBLE ON THE WHOLE COVARIANT CLASS (measured 2026-08-10, round CXXXVIII(60); promoted in v908): the closure-vs-isolated dilemma of the v903 marginal witness is REFUTED AS A DILEMMA -- the theta_abT sector Grams see ONLY the channel-{4,5} 4x4 seat (ward 1e-14), covariance allows there EXACTLY the J coordinate (integer defect 2 for I/X/Z units, 0 for J; c4 = c5 forced), and the exact symbolic seat law M1 = [[aJ+aX, aI-aZ],[aI+aZ, -aJ+aX]] reduces covariantly to M1 = diag(a_J, -a_J) with det M2 = -a_J^2: strict theta_abT RP is IMPOSSIBLE on the WHOLE covariant class (the RP set = {a_J = 0} = the cone boundary, interior EMPTY); the marginal witness is NOT a limit of covariant strict equilibria (there are none) and NOT isolated (the whole s = 0 family is a positive-dimensional MARGINAL STRATUM: margin exactly 0 on all 16 CAR-valid lattice points at full 10/10 canonical mixing); the decisive scalar sup(RP-margin x mixing) = 0 EXACT. THE KERNEL ANATOMY (exact rational arithmetic): at the M2 parent the 1p Gram is IDENTICALLY 0 and the deg-2 Gram is exactly [[1, i/2], [-i/2, 1/4]] with eigenvalues {0, 5/4} -- the vacuum bound to the a-pair; both kernels forced by the SAME pure-J covariance law whose only visible coordinate a_J is exactly the strict-route obstruction. THE TRANSVERSAL ESCAPE + ITS EXACT PRICE: the ONLY hermiticity-preserving strict-enabling seat direction is the covariance-BREAKING X coordinate: at every eps > 0 the parent is STRICTLY RP (1p eigenvalues {eps, eps} exact, deg-2 det = eps^2 exact), covariance defect EXACTLY 2 eps (linear price law), mixing 10/10 with the J coordinate 1/200 UNCHANGED, margin exponent 2.000 -- TRANSVERSAL. FLOOR-EXCHANGE (the sharpest exact object): Pf4_{45}(eps) = (eps - 1/200)(eps + 1/200) and the effective 2-cycle odd Gram is diag(eps + 1/200, eps - 1/200) EXACTLY -- the canonical sign gate IS the negative effective RP margin (the same polynomial factor): one level down the exclusion survives the transversal escape, with the crossover EXACTLY at the 1/200 floor. SPEC v2 with ONE disclosed amendment (fail-first preserved: the v1 gate 'all 18 s=0 points CAR-valid' fell at the two m = 3/4 corners; v2 reads the 16 CAR-valid points, the marginality held on all 18). Reading typed: 'physical as a limit of equilibria' is unrealizable within the symmetry class -- strict 2-cycle RP needs symmetry breaking (price 2 eps) or a different reflection. Controls: the I direction violates RP for BOTH signs, Z breaks 1p hermiticity, the 1/200 identity regresses rationally, 3/3 seeded scrambles break the covariance ward. The v898/v903 [O] premise stays [O]. Zero RH content.

Original classification detail

MEASURED: strict 2-cycle RP impossible on the whole covariant class (M1 = diag(a_J, -a_J) exact); the s = 0 stratum is marginal not isolated; Pf4(eps) = (eps - 1/200)(eps + 1/200) -- crossover at the 1/200 floor

Dependencies as recorded

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

Open the original ledger source, row 734

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

  • v908_seam_equilibrium_wiring.pyRegistered verification module · core
    Read the description recorded in the module registry

    SEAM.CFIN.MARGINAL.STABILITY.01 + CFIN.NESS.PARENT.01: **die Seam-Gleichgewichts-Verdrahtung (22/22 + 25/25) — der Physik-Abschluss der Runde-60-Fragen** — strikte 2-Zykel-RP ist auf der GANZEN C6-kovarianten Klasse UNMÖGLICH (das Sitz-Gesetz reduziert kovariant EXAKT auf M1 = diag(a_J, −a_J), det = −a_J²: Inneres LEER — der v903-Marginal-Zeuge ist weder Limes kovarianter strikter Gleichgewichte (es gibt keine) noch isoliert: das ganze s = 0-Stratum ist marginal, sup(RP-Marge × Mischung) = 0 EXAKT); der einzige strict-enabling Ausweg ist die kovarianz-BRECHENDE X-Koordinate (exakter linearer Preis 2ε, Margen-Exponent 2) mit dem FLOOR-EXCHANGE als schärfstem exakten Objekt: Pf4(ε) = (ε − 1/200)(ε + 1/200) — das kanonische Vorzeichen-Gate IST die negative effektive RP-Marge, Crossover exakt am 1/200-Floor; die Strict-Collar-Obstruktion ist ein ZWEI-SITZ-LINEARGESETZ der Kopplung (exakter Rang 12, Kern 12 = die {J, Z}-Koordinaten des 24-dim kovarianten Kopplungsraums), die deployte Seam-Verdrahtung ist PURE-I = eine MAXIMAL obstruierte kovariante Richtung (erklärt das v903-Gesetz ‚30 Einträge, Magnitude 2t' exakt), und der Kern enthält GLEICHGEWICHTS-Zeugen: V_J/V_Z bestehen strikte θ_S-RP in exakter Arithmetik und tragen die VOLLE kanonische Pfaffian-Mischung mit J-Koordinate EXAKT t²·3m/(1−m²) = 1/200 — KEIN NESS NÖTIG: bei endlicher Größe gilt stationär ⟹ σ ≡ 0 exakt (‚NESS mit positiver Entropieproduktion' ist kategorien-unanwendbar) und Drive kauft KEINE RP — die minimale Entropieproduktion, bei der die Mischungs-Gates öffnen, ist EXAKT NULL; SEAM.CFIN.NESS.PARENT.01 schließt als NOT-NEEDED; der registrierte nächste Kontrakt SEAM.STATE.WIRING.SELECTOR.01 (ist PURE-I compiler-erzwungen?) ist in v911 GESCHLOSSEN: Deployment-Wahl, kein Compiler-Theorem; die [O]-Prämisse von v898/v903 bleibt unbewegt.

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