← Moser's Worm Problem / II · Computation and Reproduction / Round 15

Moser's Worm Problem II · Computation and Reproduction Round 15 懸衡 (Xuán Héng) PARTIAL CERTIFIED HERE

Round 15 (v0.15): the eight-mode candidate stands — exact to 2×10⁻¹⁴ and certified in interval arithmetic at least 1.3725×10⁻⁷ above Round 13's — with nine minima and a latent margin of 3.0046×10⁻⁹; but Round 13's point is not stationary in the modes, so the Hessian decides nothing there, the base's low-branch gradients are off by 10⁻⁵, the ledger's takeover opens and closes before the stated window, and the headline figures are printed past their digits

PARTIAL — what the round computes reproduces where it can be rebuilt, and some of what it states does not hold as stated.

PARTIAL · CERTIFIED HERE This page is the second layer: the finite claims of the layer-1 package "Round 15" recomputed, its constructions reproduced, and its theorem-level steps read against the source. It does not rewrite the package and does not treat numerical results as proofs; the formal papers written from these two layers belong to the third layer, "III · Crystallization". Below is the recompute report as written (byte for byte the research tree's), with its code and gate log.

Connections

I · Precursor (the package)Round 15 · Curvature-Function Mode Spectrum, Hidden-Branch Opening, and a New Finite-Mode Candidate
Previous roundRound 14 · II · Computation and Reproduction

Recompute reports · Runs

RUN-016Round 15 (v0.15): the eight-mode candidate stands — exact to 2×10⁻¹⁴ and certified in interval arithmetic at least 1.3725×10⁻⁷ above Round 13's — with nine minima and a latent margin of 3.0046×10⁻⁹; but Round 13's point is not stationary in the modes, so the Hessian decides nothing there, the base's low-branch gradients are off by 10⁻⁵, the ledger's takeover opens and closes before the stated window, and the headline figures are printed past their digits

Verdict: PARTIAL — what the round computes reproduces where it can be rebuilt, and some of what it states does not hold as stated.

The report, the code and the gate log: report RUN-016.md · corpus.py · run016_round15_functional_modes.py · gate.py · gate log run016-round15-functional-modes.json

Loads when opened…