A registered result in its source context
Original ledger classification: Uniform-in-N edge convergence [E]/[C]: two independent edge four-point cross-ratios converge to distinct conformal values (2+sqrt(3) and 2) at one 1/N rate (|Q-Q_inf|*N bounded by a single constant), vs an off-scale bulk control -- the empirical content of the cited MMST uniform-convergence theorem; SEAM.EQUIV.01 stays [O]
Recorded statement: UNIFORM-IN-N control of the edge scaling limit (2026-06-30) -- the empirical content of the cited MMST uniform-convergence theorem (the single residual of SEAM.EQUIV.01 after v444/v447/v448), strengthened on the same v367/v368 p+ip collar.…
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.MMST.UNIFORM.01
Original ledger classification: Uniform-in-N edge convergence [E]/[C]: two independent edge four-point cross-ratios converge to distinct conformal values (2+sqrt(3) and 2) at one 1/N rate (|Q-Q_inf|*N bounded by a single constant), vs an off-scale bulk control -- the empirical content of the cited MMST uniform-convergence theorem; SEAM.EQUIV.01 stays [O]
Original claim text
UNIFORM-IN-N control of the edge scaling limit (2026-06-30) -- the empirical content of the cited MMST uniform-convergence theorem (the single residual of SEAM.EQUIV.01 after v444/v447/v448), strengthened on the same v367/v368 p+ip collar. v444 grounded the two-point, v448 the four-point, each at a SINGLE conformal cross-ratio; this module adds the UNIFORMITY the abstract theorem actually asserts. [E] CROSS-RATIO A CONVERGES: the edge four-point Q(1,2,4,7)/12 -> sin(5pi/12)/sin(pi/12)=2+sqrt(3), deviation shrinks monotonically under refinement (Nx=36,48,60). [E] CROSS-RATIO B (independent positions): Q(1,3,5,9)/12 -> its OWN conformal value 2 -- a second observable with a DIFFERENT limit, so the convergence is not a single tuned point. [E] UNIFORM 1/N RATE: |Q(N)-Q_inf|*N <= 4 for BOTH cross-ratios and every Nx in {36,48,60} -- one N-independent constant bounds the deviation across two independent observables. [E] BULK NEG CONTROL: the bulk cross-ratio is off-scale (gapped). [C]/[O] the MMST uniform-convergence HYPOTHESIS is empirically satisfied (two-point v444, four-point v448, now multi-observable uniform rate); SEAM.EQUIV.01 stays [O] -- the abstract existence theorem (v336) is strengthened in evidence, not replaced by a proof.
Original classification detail
Numerical
Dependencies as recorded
SEAM.EQUIV.01; SEAM.EQUIV.CONTINUUM.EDGE.01; SEAM.EQUIV.EDGE.FOURPOINT.01; v444; v448; v336; v367; v368
Open the original ledger source, row 510Location 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.
- 2026-06-30 ( v449– v453 + Lean + Wolfram — the edge CFT named end-to-end: uniform-in- [formula in source] convergence, three independent reads of [formula in source] , the Ising operator tower, the [formula in source] modular data, and [formula in source] -symmetry derived from the four marks)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
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.
- Research Contract — CELEST.SEAM.01 (the celestial and twistor continuum route)tfpt research contracts
- Research Contract 1 — [formula in source]tfpt research contracts
- Research Contract — CELEST.SEAM.01 (the celestial and twistor continuum route)tfpt research contracts
- OutcomeRed-team audit
- The celestial and twistor continuum routeinput 5 tfpt 3 e8 audit bootstrap
- Front matter / supportResearch contracts
- Research Contract — CELEST.SEAM.01 (the celestial and twistor continuum route)Research contracts
- Front matter / supportResearch contracts
All 12 linked sections
- The celestial and twistor continuum route
- The celestial and twistor continuum route
- Research Contract 1 — [formula in source]
- 2026-07-21 (III) (CELEST.SEAM.01 WP3 [formula in source] WP4 executed and promoted: v495 Green–Schwarz alignment (verdict B, honestly non-selective) [formula in source] v496 character-vs-S-algebra type mismatch (verdict B(ii), boundary-limit shadow); contract now WP1–WP4 done, WP5 ; no gate closes, no marker moves, SEAM.EQUIV.01 untouched)
Registered verification modules
- v449_seam_mmst_uniform.pyRegistered verification module · frontier
Read the description recorded in the module registry
SEAM.EQUIV.MMST.UNIFORM.01: uniform-in-N control of the edge scaling limit -- the empirical content of the cited MMST uniform-convergence theorem, strengthened, on the same v367/v368 collar. [E] CROSS-RATIO A CONVERGES: the edge four-point Q(1,2,4,7)/12 -> sin(5pi/12)/sin(pi/12)=2+sqrt(3), deviation shrinks monotonically (Nx=36,48,60). [E] CROSS-RATIO B (independent positions): Q(1,3,5,9)/12 -> its OWN value 2 -- a second observable with a different limit, so convergence is not a tuned point. [E] UNIFORM 1/N RATE: |Q(N)-Q_inf|*N <= 4 for BOTH cross-ratios and every Nx in {36,48,60} (one N-independent constant across two independent observables). [E] BULK NEG CONTROL: the bulk cross-ratio is off-scale. [C]/[O] the MMST uniform-convergence hypothesis is empirically satisfied (multi-observable uniform rate); SEAM.EQUIV.01 stays [O] -- the abstract existence theorem (v336) is strengthened in evidence, not proved. Python-only (numpy).
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.