A registered result in its source context
Original ledger classification: Universal synthesis [E]/[C] (every sector = a gapped operator with a unique attractor + spectral gap => parameter-free; extends v303 theory-wide; 3 gaps computed, the cross-sector identification [C])
Recorded statement: The UNIVERSAL spectral-gap / Perron-Frobenius principle (2026-06-23, bird's-eye synthesis): every TFPT sector is the SAME structural object -- a gapped operator with a UNIQUE leading attractor (the physics) and a spectral gap (the reason…
Statement, assumptions and sources
Paper context: Origin Theory
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
DYNAMICS.UNIVERSAL.01
Original ledger classification: Universal synthesis [E]/[C] (every sector = a gapped operator with a unique attractor + spectral gap => parameter-free; extends v303 theory-wide; 3 gaps computed, the cross-sector identification [C])
Original claim text
The UNIVERSAL spectral-gap / Perron-Frobenius principle (2026-06-23, bird's-eye synthesis): every TFPT sector is the SAME structural object -- a gapped operator with a UNIQUE leading attractor (the physics) and a spectral gap (the reason there is no free parameter). Extends v303 (which named this only for F_transfer) to the sectors made parameter-free AFTER it. [E] FLAVOR (computed): cusp transfer spectrum {1,(2/3)^6,(1/3)^6}, simple Perron leading 1, gap 6 ln(3/2)>0 (v56/v82/v240). [E] DISCRETE COMPILER (computed): affine-E8 adjacency Perron 2 (Kac marks, v312/v313), subleading 2cos(pi/5)=phi, gap 2-phi=1/phi^2>0. [E] DECOUPLING MARGIN (computed): Delta_eff=6 ln(3/2)-31/(4 pi^2)~1.648>0 (v76/v337). [E] TWO NUMBER-FIELD FACETS (v314): golden phi in Q(sqrt5) (carrier-5, static) and (2/3)^6 in Q (family-3, dynamic) are the prime-5 and prime-3 facets of the order-30 Coxeter clock 30=2*3*5=h(E8) -- a factorisation, NOT a forced equality. [C] OTHER SECTORS = SAME STRUCTURE: gravity=deltaS=0 equilibrium (v358/v359), QG=Gaussian saddle (v365), QFT=stable holomorphic c=8 RG fixed point (v157/v158), all-order S-matrix=adiabatic limit (v381), recovery=Petz fixed point (2/3)^6 (v221), F_transfer (v303), tau=i (v333). [C] META-THEOREM: gapped => unique attractor => parameter-free, theory-wide -- 'parameter-freeness is a theorem' (v56) is ONE spectral-gap statement wearing many hats. Anti-numerology: no new number.
Original classification detail
[E] the three computed gaps (flavor 6 ln(3/2); discrete 2-phi=1/phi^2; decoupling 1.648) + the two number-field facets (v314); [C] the cross-sector identification (gravity/QG/QFT/recovery/F_transfer) + the meta-theorem 'parameter-freeness = spectral gap, theory-wide'. A synthesis (like v303/v337/v353), reuses established gaps, introduces no new number.
Dependencies as recorded
v56; v82; v303; v312; v313; v314; v337; v358; v359; v365; v381; v221; v157; v158
Open the original ledger source, row 446Location 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.
- Origin Theory
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.
- The unique attractor: a gapped transport selects ONE fixed pointorigin theory
- The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
- 2026-06-23 (Bird's-eye synthesis: two new structural patterns — v383 the universal spectral-gap principle and v384 the residual is certification, not construction)Research changelog; TFPT — Introduction and reading guide
- The unique attractor: a gapped transport selects ONE fixed pointinput 4 origin theory
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- The unique attractor: a gapped transport selects ONE fixed pointOrigin Theory
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.
- 2026-06-24 (Lean 4: FORM.SPECTRALGAP.01 extended to the finite-dimensional Perron–Frobenius case)Research changelog; TFPT — Introduction and reading guide
- Certifiability and recommended ordertfpt research contracts
- 2026-06-24 (Typed correction budget: v388 the gap correction is keyed to the mechanism class, not a uniform band)Research changelog; TFPT — Introduction and reading guide
- 2026-06-24 (Harvesting the QFT/gravity machinery: v385 the UV-branch kill-test surface, v386 the graviton-exchange amplitude, v387 the gap-driven correction calculus)Research changelog; TFPT — Introduction and reading guide
- 2026-06-24 (Website: an animated ``Universal Gap Lab'' visualising v383– v391)Research changelog; TFPT — Introduction and reading guide
- -1.2cm TFPT — Research Contracts for the Remaining Interfaces:\\v_ geo [formula in source] G_ net [formula in source] F_ transfer [formula in source] (U_ wall) [formula in source] (G_ metric) [formula in source] [formula in source] / _1/ _2/ _3 [formula in source] next)tfpt research contracts
- Front matter / supportResearch contracts
- -1.2cm TFPT — Research Contracts for the Remaining Interfaces:\\v_ geo [formula in source] G_ net [formula in source] F_ transfer [formula in source] (U_ wall) [formula in source] (G_ metric) [formula in source] [formula in source] / _1/ _2/ _3 [formula in source] next)tfpt research contracts
All 13 linked sections
- Certifiability and recommended order
- 2026-06-24 (Completing the Coxeter clock: v390 the prime-2 (Gaussian / [formula in source] -seam) facet of [formula in source] )
- 2026-06-25 (Three closure-strategy modules v425– v427 [formula in source] the Safeguards paper)
- 2026-06-24 (Lean 4: FORM.SPECTRALGAP.01 formalises the scalar core of the universal spectral-gap principle)
- Certifiability and recommended order
Registered verification modules
- v383_dynamics_universal.pyRegistered verification module · frontier
Read the description recorded in the module registry
DYNAMICS.UNIVERSAL.01: the UNIVERSAL spectral-gap / Perron-Frobenius principle -- every TFPT sector is the SAME object (a gapped operator with a UNIQUE leading attractor = the physics, a spectral gap = the reason there is no free parameter), extending v303 from F_transfer to the whole theory. [E] FLAVOR (computed): the cusp transfer spectrum {1,(2/3)^6,(1/3)^6} has a simple Perron leading 1 and gap 6 ln(3/2)>0 (v56/v82). [E] DISCRETE COMPILER (computed): the affine-E8 adjacency has Perron eigenvalue 2 (Kac marks, v312/v313) and subleading 2cos(pi/5)=phi, gap 2-phi=1/phi^2>0. [E] DECOUPLING MARGIN: Delta_eff=6 ln(3/2)-31/(4 pi^2)~1.648>0 (v76/v337). [E] TWO NUMBER-FIELD FACETS (v314): golden phi in Q(sqrt5) (carrier-5, static) and (2/3)^6 in Q (family-3, dynamic) are the prime-5 and prime-3 facets of the order-30 Coxeter clock 30=2*3*5=h(E8) -- a factorisation, not an equality. [C] the other sectors are the same structure: gravity (v358/v359), QG saddle (v365), RG fixed point (v157/v158), all-order S-matrix (v381), recovery (v221), F_transfer (v303), tau=i (v333). [C] META-THEOREM: gapped => unique attractor => parameter-free, theory-wide. A synthesis, no new number.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.