A registered result in its source context
Original ledger classification: Identity (conditional finite-algebra and uniform-frame bridge)
Recorded statement: Given full neutral block algebras, nonzero charged corners generate the full finite matrix algebra iff their sector graph is connected. A noncollapsing actual-word frame with uniform word norm M gives section norm<=2*M*D^(3/2)/sigma.…
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.ALG2.FRAME.01
Original ledger classification: Identity (conditional finite-algebra and uniform-frame bridge)
Original claim text
Given full neutral block algebras, nonzero charged corners generate the full finite matrix algebra iff their sector graph is connected. A noncollapsing actual-word frame with uniform word norm M gives section norm<=2*M*D^(3/2)/sigma. Compression is not multiplicative and double-cutoff convergence is insufficient: a joint real-linear y/y-adjoint frame and high-output tails for x, x*, y and y* are separately required. These microscopic one-edge FE-GEN premises are not established by Vandermonde inversion.
Original classification detail
[C] conditional certificate interface; ALG-EXH and T2 remain [O]
Dependencies as recorded
SEAM.MMST.TYPEIII.CHARGED.01; SEAM.MMST.TELB.ROUND3.01
Open the original ledger source, row 784Location 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.
- ALG2: sector generation and conditional uniform section.tfpt research contracts
- ALG2: sector generation and conditional uniform section.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
- Erneute Gesamtprüfung: Die Auslese ist nicht die ganze MaschineTFPT Gesamtsynthese 2026-09-28
- Was die tragenden Verifikationen wirklich schließenTFPT Gesamtsynthese 2026-09-28
- Der kleinste entscheidende Test an der vorhandenen Clock-VergröberungTFPT Gesamtsynthese 2026-09-28
- Honest statusorigin theory
- The hard reduction: the live residual as typed interfacesTFPT — Introduction and reading guide
- Honest statusOrigin Theory
- 2026-09-05 (CLVIII): non-RH round 4 — uniform TEL-B norm and explicit T1–T8 boundariesResearch changelog; TFPT — Introduction and reading guide
Registered verification modules
- v1030_alg2_sector_frame.pyRegistered verification module · frontier
Read the description recorded in the module registry
Sector connectivity and quantitative uniform word-frame bridge conditional on actual microscopic generation and joint-adjoint tails
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.