A registered result in its source context
Original ledger classification: Identity (analytic theorem with native interval certificate; fixed regulator)
Recorded statement: For the fixed M=1 Ny=8 collar, CF<0.065 697, DG<0.042 959, C2b<0.466 902 and one-sided CROSS<0.282 637/N imply Bound-B squared<0.714 386. Validated 512-node Acb Fourier core plus the complete all-volume alias envelope gives ||R_N||HS<2.995 906<3…
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.MMST.TELB.NORM.01
Original ledger classification: Identity (analytic theorem with native interval certificate; fixed regulator)
Original claim text
For the fixed M=1 Ny=8 collar, CF<0.065697, DG<0.042959, C2b<0.466902 and one-sided CROSS<0.282637/N imply Bound-B squared<0.714386. Validated 512-node Acb Fourier core plus the complete all-volume alias envelope gives ||R_N||HS<2.995906<3 for all even N>=16. Historical 2.11 and finite Rsm<=1.7833 are not proved. Microscopic FE-GEN/ALG-EXH and MMST remain open.
Original classification detail
[E] narrow uniform norm theorem only; all T1-T8 remain [O]
Dependencies as recorded
SEAM.MMST.TELB.ROUND3.01; SEAM.MMST.TELB.C1C2A.01
Open the original ledger source, row 780Location 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
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.
- T2: uniform relaxed TEL-B theorem.tfpt research contracts
- T2: uniform relaxed TEL-B theorem.tfpt research contracts; Research contracts
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.
- Honest statusinput 4 origin theory
- The remaining analytic gapmmst charged scaling limit en
- Per-lemma statusmmst charged scaling limit en
- Was die tragenden Verifikationen wirklich schließenTFPT Gesamtsynthese 2026-09-28
- TEL-B reduction (2026-09-04)Research contracts
- Honest statusorigin theory
- The hard reduction: the live residual as typed interfacesTFPT — Introduction and reading guide
- Honest statusOrigin Theory
All 16 linked sections
Registered verification modules
- v1026_telb_round4_closure.pyRegistered verification module · frontier
Read the description recorded in the module registry
Native interval TEL-B norm below 2.995906 at fixed M=1, Ny=8 for all even N>=16; CF/DG/CROSS and validated Fourier aliases; ALG-EXH/MMST open
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.