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

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

Round 08 (v0.8.3): the smooth curvature layer's gain over the event five-link is real — 1.0581952124×10⁻⁵, confirmed in independent code and in 40-digit arithmetic — but its published curve file is not the candidate

PARTIAL — what the round computes reproduces, including its headline, and four things it states do not hold as stated.

PARTIAL This page is the second layer: the finite claims of the layer-1 package "Round 8" 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 8 · Finite-Width Curvature Layer, a Smooth Candidate's Surpassing Result, and Dual-Path Support Cross-Checks
Previous roundRound 7 · II · Computation and Reproduction
Next roundRound 9 · II · Computation and Reproduction

Recompute reports · Runs

RUN-009Round 08 (v0.8.3): the smooth curvature layer's gain over the event five-link is real — 1.0581952124×10⁻⁵, confirmed in independent code and in 40-digit arithmetic — but its published curve file is not the candidate

Verdict: PARTIAL — what the round computes reproduces, including its headline, and four things it states do not hold as stated.

The report, the code and the gate log: report RUN-009.md · corpus.py · run009_round08_smooth_layer.py · gate.py · gate log run009-round08-smooth-layer.json

Loads when opened…