Skip to main content

A registered result in its source context

Original ledger classification: Dead reading registered [Numerical] (negative result): the t = 1/8 reading is a decoration -- allowed set unbounded and pin absent; no marker move

Recorded statement: DEAD READING (negative result, first-class; measured 2026-08-10, round CXVI; promoted in v903): 'THE MIXING STRENGTH t = 1/8 = 2pi c3/|Z2| IS A COMPILER VALUE' IS A DECORATION, NOT A DERIVATION -- the seat audit is clean (the chain…

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.MIXING.NORMALIZATION.01

Original ledger classification: Dead reading registered [Numerical] (negative result): the t = 1/8 reading is a decoration -- allowed set unbounded and pin absent; no marker move

Original claim text

DEAD READING (negative result, first-class; measured 2026-08-10, round CXVI; promoted in v903): 'THE MIXING STRENGTH t = 1/8 = 2pi c3/|Z2| IS A COMPILER VALUE' IS A DECORATION, NOT A DERIVATION -- the seat audit is clean (the chain beta-angle x c3/|Z2| = 2pi x (1/(8pi))/2 = 1/8 is EXACT and via v813 equivalent to 1/(I_Jones |Z2|); c3 = P1 axiom, the angle 2pi MEASURED (v526/v519/v239), |Z2| = 2 deployed (v53/v456/v44)) but the COMBINATION IS FREE: no vN module composes the three factors into a mixing strength, and the decisive scan shows ALL 55 t values pass ALL frozen v898 gates (grid 0.01-0.50 + the exact rationals + decades; CAR strictness is a THEOREM tanh < 1, the apparent onset is float64 saturation, MARGIN-ARTIFACT typed) -- the allowed set is mathematically (0, infinity), u in {0,...,2} (incl. u = 0) and beta in {1/2,...,4} pass too: the v898 gates force NOTHING about (u, t, beta) beyond t > 0. PIN-ABSENT: no frozen functional distinguishes 1/8 (uniformity/entropy argmax at 0.005, support/vacuum-mass argmin at 0.207, 1-crossing at 1.091); the anti-numerology census finds 4 equally-cheap deployed-constant readings of 1/8 -- the arithmetic is cheap, content could only live in seats + a future pinning demand. THE NEW STRUCTURE FACT kept: the channel mixing is THERMAL (mass peaks near beta = 2 and DIES to the ground state, 0/15 cross-blocks at beta = 100 -- the beta -> infinity limit returns to SEAM-DIAGONAL). HONEST UPDATE (same round family): SEAM.STATE.DERIVATION.01 subsequently measured u >= t as the FIRST non-decorative normalization demand -- the reading stays a registered decoration with typed seats. Zero RH content.

Original classification detail

NEGATIVE: t = 1/8 is a decoration (55/55 t pass all frozen v898 gates; allowed set (0 infinity); PIN-ABSENT); thermal mixing kept as structure fact

Dependencies as recorded

AX.P1.01; SEAM.CFIN.KMSMIX.01; v813; v526; v898

Open the original ledger source, row 729

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