A registered result in its source context
Original ledger classification: Constructed candidate + exact generation identity [Numerical/Identity]: the mixing demand answered at candidate level; RP-THETA-OPEN measured exclusionary at family level (v903); the [O] premise unmoved
Recorded statement: THE CHANNEL-MIXING CANDIDATE STATE (constructed 2026-08-09, round CXIII; promoted round CXV in v898): the v896 demand -- a channel-mixing state realizing the block Wick functor's value level -- now has a CONSTRUCTED CANDIDATE on the…
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.KMSMIX.01
Original ledger classification: Constructed candidate + exact generation identity [Numerical/Identity]: the mixing demand answered at candidate level; RP-THETA-OPEN measured exclusionary at family level (v903); the [O] premise unmoved
Original claim text
THE CHANNEL-MIXING CANDIDATE STATE (constructed 2026-08-09, round CXIII; promoted round CXV in v898): the v896 demand -- a channel-mixing state realizing the block Wick functor's value level -- now has a CONSTRUCTED CANDIDATE on the deployed 16-dim one-particle space. (1) THE KMS ROUTE: the C6-covariant mixing KMS state EXISTS -- K = i h with h = -(A16_dep + A_int/8) at beta = 1 (the FIRST point of the frozen grid) passes ALL gates: CAR strict (smax 0.668), exact C6 block covariance with the v896 forced zeros, all 15 duad cross-blocks at the frozen floor, the q*/sheet grading carried exactly (5/5 vacuum + 10/10 carrier FULL), all 15 block Wick monomials nonzero with the CANONICAL Pf4 sign pattern of G_c; ROBUST at beta = 2; the hermitian O16-commutant measured exactly (112 = 62 sym + 50 antisym; the mixing slice is the 33-dim v896 block space). (2) SEAM.CFIN.SCHURMIX.01 (EXACT sympy): boundary elimination of the coupled diagonal state A_full = [[kappa A_CC, t V], [-t V^T, m J3]] (kappa = m = 1/2, t = 1/20, validity proven exactly) gives A_eff = kappa A_CC + (t^2 m/(1-m^2)) V J3 V^T EXACTLY, and S = V J3 V^T GENERATES all 10 carrier duads (uniform 3J block, canonical Pf4 signs) from the BARE DIAGONAL state -- the SAME Schur/Feshbach elimination that creates the RH port creates the carrier mixing: on both fronts the real correlation lives in the ELIMINATED boundary. (3) THE FROZEN 15-SIGNATURE TABLE is the registered prediction any physical seam state realizing the block functor must reproduce. (4) RP typed honestly: NO spatial/OS theta is deployed on the 16-dim space; the Majorana real structure Theta_0 satisfies the v426/v440 dictionary automatically; the OS-positivity under a SPATIAL theta is the NAMED OPEN CHECK RP-THETA-OPEN. THE [O] PREMISE IS UNMOVED: candidate states + frozen signatures; whether the ACTUAL seam realizes any of them is untouched. No marker moves. RP NOTE (2026-08-10, rounds CXXIV/CXXXI-CXXXIII; promoted in v903): RP-THETA-OPEN is now MEASURED at family level and the answer is an EXCLUSION -- strict OS positivity under both deployable spatial reflections forces t = 0 (OS <=> a_J = 0 <=> the mixing floor falls: RP and the mixing floor are mutually exclusive on this family), the complete C6-twisted census is exclusionary (0/6), and the parent-dilation route yields only a MARGINAL cone-boundary witness (whose Schur compression carries the full mixing with the exact identity t^2 * 3m/(1-m^2) = 1/200) while the strict collar route is family-wide obstructed by an exact linear 2t law (SEAM.STATE.DERIVATION.01 / SEAM.CFIN.TWISTED.RP.01 / SEAM.CFIN.RP.DILATION.01, v903_seam_rp_exclusion.py); a measurement on the complete finite candidate set, not a universal no-go; the [O] premise stays unmoved.
Original classification detail
CONSTRUCTED: the C6-covariant mixing KMS state passes all block-functor gates; exact Schur generation of all 10 carrier duads; RP-THETA-OPEN measured exclusionary at family level (v903); [O] unmoved
Dependencies as recorded
SEAM.CFIN.WICKFUNCTOR.01; v888; v113; v426; v440
Open the original ledger source, row 727Location 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.
- Architecture, E8 and the electromagnetic fixed point
- Research contracts
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.
- How to read this documenttfpt 1 architecture e8
- Front matter / supportResearch contracts
- Front matter / supportArchitecture, E8 and the electromagnetic fixed point
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- How to read this documenttfpt 1 architecture e8
- Research Contract 2 — [formula in source]tfpt research contracts
- Group-theoretic audits (optional)input 5 tfpt 3 e8 audit bootstrap
- Front matter / supportE8 audit and bootstrap
All 9 linked sections
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.
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- 2026-10-18: Project separation and retained physics historyResearch changelog; TFPT — Introduction and reading guide
Registered verification modules
- v898_kms_schur_mixing.pyRegistered verification module · core
Read the description recorded in the module registry
SEAM.CFIN.KMSMIX.01 + SCHURMIX.01: **der kanal-mischende Zustand, auf den der Block-Wick-Funktor wartet (30/30)** — der C₆-kovariante mischende KMS-Zustand EXISTIERT (u = 1, t = 1/8, β = 1: alle 15 Kreuzblöcke am Floor, Grading 5/5 + 10/10, alle 15 Wick-Monome mit kanonischen Pf4-Vorzeichen; β = 2 robust); EXAKT (sympy): die Schur-Elimination des Randes ERZEUGT alle 10 Träger-Duaden aus dem bloßen Diagonal-Zustand (A_eff = κ·A_CC + (t²m/(1−m²))·V J₃ Vᵀ, uniformer 3J-Block) — auf beiden Fronten (RH-Port, Wick-Funktor) lebt die echte Korrelation im ELIMINIERTEN Rand; die 15-Signatur-Tabelle ist die registrierte Vorhersage; RP-THETA-OPEN benannt; die [O]-Prämisse bleibt unbewegt.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.