Skip to main content

A registered result in its source context

Original ledger classification: Spectral rigidity [E] + (E8)_1 pin [C]

Recorded statement: THE FLAT-AWAY ATTACK -- HARDEN + DERIVE (2026-06-19): two moves on the single external fact the v291/v293/v295 routes left open ('pin the seam's Steklov spectrum / fix the a_2 heat coefficient to the flat value'). (I) HARDEN: v291/v293…

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

FLATAWAY.RIGID.01

Original ledger classification: Spectral rigidity [E] + (E8)_1 pin [C]

Original claim text

THE FLAT-AWAY ATTACK -- HARDEN + DERIVE (2026-06-19): two moves on the single external fact the v291/v293/v295 routes left open ('pin the seam's Steklov spectrum / fix the a_2 heat coefficient to the flat value'). (I) HARDEN: v291/v293 show the flat seam is a SOFT minimum (spectral mismatch 'grows with eps'); here the obstruction becomes a DISCRETE on/off invariant. [E] FLAT FINGERPRINT: spec(|D_theta|) is the integer ladder, every level n>=1 of multiplicity exactly 2 (the +-n rotation modes; level 0 simple). [E] EXACT DEGENERATE SPLIT: the resonant mode 4k splits level 2k by gap = g_k (sympy 2x2 [[2k,g/2],[g/2,2k]] -> 2k+-g/2, the full operator adding only an O(g^2) common shift), validated vs the full Toeplitz operator. [E] HARD OBSTRUCTION: any g_k!=0 lifts the resonant degeneracy (mult 2->1+1) and changes the spectral MULTISET, so preserving the flat integer ladder WITH its mult-2 degeneracies forces every g_k=0 => f=0 -- a degeneracy/lattice obstruction, robust to rescaling, strictly stronger than the v291/v293 'deviation grows' scan. [E] TWO-METRIC ISOLATION: with the v295 convexity (Delta Tr>=0, =0 iff f=0) the flat point is isolated analytically (convex heat) AND discretely (degeneracy). (II) DERIVE THE PIN: [C] the (E8)_1 vacuum character E4/eta^8 = q^{-1/3}(1+248q+4124q^2+34752q^3+...) has INTEGER q-coefficients with 248 currents at level 1 (E8 even unimodular => integer conformal weights); by 2d Steklov conformal rigidity (Weinstock/Edward: integer Steklov spectrum <=> round/flat boundary) the seam carrying the (E8)_1 integer-weight characters has the integer ladder => f=0. So the 'external fact' the three routes left open IS the (E8)_1 rationality = SEAM.EQUIV.01 Route A. [O] VERDICT: Flat-Away is upgraded soft->hard and carries ZERO new open content beyond Route A -- the convexity side is unconditional, the discrete obstruction exact, and the one remaining unconditional gap is identical to Route A's 'free bulk => rational holomorphic boundary'. The two SEAM.EQUIV.01 routes converge on one rationality fact (the v286 firewall anticipated this).

Original classification detail

[E] the flat fingerprint + exact degenerate split + the hard degeneracy obstruction (soft->discrete sharpening of v291/v293) + the two-metric isolation; [C] the (E8)_1 derivation of the pin (conditional on Route A) via 2d Steklov rigidity; [O] the verdict. Strictly sharpens Flat-Away and closes the pin onto one established input; does NOT make SEAM.EQUIV.01 unconditional.

Dependencies as recorded

FLATAWAY.SPEC.01; FLATAWAY.A2.01; FORM.FLATAWAY.01; SEAM.EQUIV.A.LIT.01

Open the original ledger source, row 393

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.

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.

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.

Registered verification modules

  • v300_flataway_rigid.pyRegistered verification module · frontier
    Read the description recorded in the module registry

    FLATAWAY.RIGID.01 — the attack on Flat-Away: (I) HARDEN the obstruction from a soft minimum (v291/v293) to a DISCRETE one, (II) DERIVE the external pin from the (E8)₁ data. [E] FLAT FINGERPRINT: spec(|D_θ|) is the integer ladder, every level n≥1 of multiplicity exactly 2 — a discrete fingerprint, not a norm. [E] EXACT DEGENERATE SPLIT: the resonant mode 4k splits level 2k by gap = g_k (sympy 2×2 [[2k,g/2],[g/2,2k]] ⇒ 2k±g/2, + an O(g²) common shift), validated vs the full Toeplitz operator. [E] HARD OBSTRUCTION: any g_k≠0 lifts the resonant degeneracy (mult 2→1+1) and changes the spectral MULTISET ⇒ preserving the flat ladder *with its mult-2 degeneracies* forces every g_k=0 ⇒ f=0 (strictly stronger than the v291/v293 'deviation grows' scan). [E] TWO-METRIC ISOLATION: with the v295 convexity (ΔTr≥0, =0 iff f=0), flat is isolated analytically AND discretely. [C] THE PIN DERIVED: the (E8)₁ vacuum character E4/η⁸=q^{-1/3}(1+248q+4124q²+…) has integer q-coefficients with 248 at level 1 (E8 even unimodular ⇒ integer weights); by 2d Steklov conformal rigidity the integer ladder ⟺ flat seam, so (E8)₁ rationality ⇒ f=0 (conditional on Route A). [O] VERDICT: Flat-Away carries ZERO new open content beyond Route A; convexity unconditional, the discrete obstruction exact; the two SEAM.EQUIV.01 routes converge on one rationality fact.

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 identifierRead the coverage boundaries