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

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

Round 14 (v0.14): the single peak is a saddle against splitting, not a local maximum — split into two halves with its five parameters re-solved, the curve rises, certified 1.19×10⁻⁷ above Round 13's at separation 0.03 — while the chirality modes are stable for the congruent scale, as stated; the search's evaluator puts the low branches 10⁻⁸ low, its profile holds the parameters fixed, and its minima lists are phase samples

PARTIAL — what the round computes reproduces where it can be rebuilt, and its central conclusion does not hold.

NOT AS STATED · PARTIAL · CERTIFIED HERE This page is the second layer: the finite claims of the layer-1 package "Round 14" 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 14 · Two-Peak Curvature Splitting, Chirality Breaking, and Single-Peak Local Stability
Previous roundRound 13 · II · Computation and Reproduction
Next roundRound 15 · II · Computation and Reproduction

Recompute reports · Runs

RUN-015Round 14 (v0.14): the single peak is a saddle against splitting, not a local maximum — split into two halves with its five parameters re-solved, the curve rises, certified 1.19×10⁻⁷ above Round 13's at separation 0.03 — while the chirality modes are stable for the congruent scale, as stated; the search's evaluator puts the low branches 10⁻⁸ low, its profile holds the parameters fixed, and its minima lists are phase samples

Verdict: PARTIAL — what the round computes reproduces where it can be rebuilt, and its central conclusion does not hold.

The report, the code and the gate log: report RUN-015.md · corpus.py · run015_round14_double_peak.py · gate.py · gate log run015-round14-double-peak.json

Loads when opened…