A registered result in its source context

Original ledger classification: (LTO-RP) keystone reduction [E]/[C]: SEAM.EQUIV.01's intrinsic-BW lemma reduced to the cited NPW26 commuting-projector theorem, mapping corrected -- (LTO-RP)=u_Theta=J=intrinsic BW (theta K theta=-K), NOT omega o rho=omega; the mu4 clock is a modular symmetry [rho,K]=0 (sigma^psi=rho type-wrong); A-and-NOT-B refutes clock-invariance => (LTO-RP). Make-or-break: NPW26 prove (LTO-RP) for topologically-ordered models (trace/anyonic), the seam is invertible (|det E8|=1) + beta=1 KMS (not a trace), in neither bucket. REDUCTION not closure; two open sub-steps (Z/2-reflection commuting-projector LTO realisation; invertible-KMS (LTO-RP)). SEAM.EQUIV.01 stays [O]

Recorded statement: The (LTO-RP) reduction of the keystone (2026-06-25): an HONEST MMST-style reduction of SEAM.EQUIV.01's one open lemma -- the raw collar's intrinsic Bisognano-Wichmann property (the residual of v308/v309) -- to the recent…

Statement, assumptions and sources

Paper context: 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.EQUIV.LTORP.01

Original claim text

The (LTO-RP) reduction of the keystone (2026-06-25): an HONEST MMST-style reduction of SEAM.EQUIV.01's one open lemma -- the raw collar's intrinsic Bisognano-Wichmann property (the residual of v308/v309) -- to the recent commuting-projector theorem of Naaijkens-Penneys-Wallick [NPW26, arXiv:2605.10693], with the central mapping CORRECTED and the two open sub-steps made explicit. Does NOT close SEAM.EQUIV.01. [E] CORRECTED MAPPING: the mu4 clock rho is a modular SYMMETRY ([rho,K]=0, v309/v199), NOT the modular flow -- 'sigma^psi=rho' is type-wrong (a one-parameter group t->Delta^{it} vs a finite order-4 element); verified on an explicit character-block-diagonal K, with an off-character negative control. [E] CORRECT TARGET: NPW26's reflection-positivity axiom (LTO-RP) Theta(sigma^psi_{-i/2}(x^dagger))p_S=x p_S MEANS u_Theta=J (the reflection IS the Tomita-Takesaki modular conjugation) = the intrinsic BW condition theta K theta=-K, DISTINCT from omega o rho=omega; we refute the identification '(LTO-RP)<=>omega o rho=omega' by A-and-NOT-B: a positive char-block-diagonal K satisfies [rho,K]=0 (A) but, being positive definite, can never satisfy theta K theta=-K for any reflection (B), while B is non-vacuous (a +/- symmetric K' with a pairing reflection satisfies it). [E] NPW26 APPLICABILITY (make-or-break): NPW26 prove (LTO-RP) only for TOPOLOGICALLY ORDERED commuting-projector models (Toric Code |det K|=4, a TRACE state; Levin-Wen anyonic), whereas the seam is the opposite corner -- invertible (holomorphic (E8)_1, |det Cartan(E8)|=1, no anyons) AND a beta=1 KMS state (NOT a trace) -- so it sits in NEITHER proved bucket; neg control D8/SO(16) |det|=4. [E] established ingredients present: recovery gap 6 ln(3/2)>0 (v302), Z/2 reflection / OS (v240), mu4 clock from cross-ratio 2 (v214/v267), [rho,K]=0 (v309/v199). [C] VERDICT: SEAM.EQUIV.01's BW residual REDUCES to NPW26 Theorem A modulo TWO open sub-steps -- (i) realise the raw seam as a Z/2-reflection commuting-projector LTO; (ii) extend (LTO-RP) to the invertible beta=1-KMS case (outside NPW26's worked models). An MMST-style reduction (cf. v308/v336), NOT a closure; SEAM.EQUIV.01 stays [O].

Original classification detail

Numerical

Dependencies as recorded

SEAM.EQUIV.01; SEAM.EQUIV.CHAIN.01; QGEO.MODHAM.01; v308; v309; v302; v240; v214; v267; v199

Open the original ledger source, row 491

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.

Research contracts
Browse this document Read the PDF Original source

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.

2026-06-25 (The (LTO-RP) reduction of the keystone SEAM.EQUIV.01: v424)Research changelog; TFPT — Introduction and reading guide

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.

What would still falsify TFPTVerification safeguards
2026-06-30 ( v460 — the explicit flat-band commuting-projector (LTO) realisation of the S3 input: advancing the SEAM.EQUIV.01 sub-step (i) from abstract existence to an explicit gap-protected quasi-local projector net carrying the [formula in source] reflection and the [formula in source] clock)Research changelog; TFPT — Introduction and reading guide
Research Contract 1 — [formula in source]tfpt research contracts
2026-06-30 ( v454– v459 + Lean + Wolfram — the post-F ``G-block'': the lattice Sugawara current algebra, a uniform-in- [formula in source] Tomita–Takesaki tower, chirality forced by [formula in source] , an [formula in source] character kill test, the exact MMST citation audit and the complementary lattice-VOA route)Research changelog; TFPT — Introduction and reading guide
Front matter / supportResearch contracts
2026-06-30 ( v461/ v462 + Lean axiom merge — the strict-locality obstruction made explicit, the 128-spinor extension exhibited at character level, and the SEAM.EQUIV.01 residual reduced to ONE realisation axiom [formula in source] ONE combined cited theorem)Research changelog; TFPT — Introduction and reading guide
2026-06-25 (External AQFT citations [formula in source] the four-fold [formula in source] identity sharpened)Research changelog; TFPT — Introduction and reading guide
Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog

All 11 linked sections

Registered verification modules

v424_seam_lto_rp_reduction.pyRegistered verification module · frontier
Read the description recorded in the module registry
The (LTO-RP) reduction of the keystone: an honest MMST-style reduction of SEAM.EQUIV.01's one open lemma -- the raw collar's intrinsic Bisognano-Wichmann property (the v308/v309 residual) -- to the cited commuting-projector theorem of Naaijkens-Penneys-Wallick (arXiv:2605.10693), with the central mapping CORRECTED. The mu4 clock is a modular SYMMETRY ([rho,K]=0, v309/v199), not the flow -- 'sigma^psi=rho' is type-wrong (one-parameter group vs finite order-4 element). NPW26's (LTO-RP) means u_Theta=J (reflection = modular conjugation) = the intrinsic BW condition theta K theta=-K, DISTINCT from omega o rho=omega: a positive character-block-diagonal K satisfies [rho,K]=0 but never theta K theta=-K, so clock-invariance does not imply (LTO-RP). Make-or-break: NPW26 prove (LTO-RP) for topologically-ordered models (Toric Code |det K|=4 via a trace; Levin-Wen anyonic), while the seam is invertible (|det Cartan(E8)|=1, no anyons) and a beta=1 KMS state (not a trace) -- in neither proved bucket (neg control D8 |det|=4). So SEAM.EQUIV.01's BW residual reduces to NPW26 Theorem A modulo two open sub-steps (realise the seam as a Z/2-reflection commuting-projector LTO; extend (LTO-RP) to the invertible KMS case) -- a reduction, not a closure; SEAM.EQUIV.01 stays open.

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 identifier Read the coverage boundaries