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

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

Round 09 (v0.9): the 270° cusp holds to 120 digits and its Darboux bound is sound; the draft's target over the whole phase circle is certified here — the candidate's least scale exceeds the event five-link's

PARTIAL — what the round computes reproduces, and three things it prints do not hold to their digits.

PARTIAL · CERTIFIED HERE This page is the second layer: the finite claims of the layer-1 package "Round 9" 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 9 · Arbitrary-Precision Reconstruction, the Monotone Darboux Cusp Envelope, and the Boundary of the Certificate
Previous roundRound 8 · II · Computation and Reproduction
Next roundRound 10 · II · Computation and Reproduction

Recompute reports · Runs

RUN-010Round 09 (v0.9): the 270° cusp holds to 120 digits and its Darboux bound is sound; the draft's target over the whole phase circle is certified here — the candidate's least scale exceeds the event five-link's

Verdict: PARTIAL — what the round computes reproduces, and three things it prints do not hold to their digits.

The report, the code and the gate log: report RUN-010.md · corpus.py · run010_round09_precision_cusp.py · gate.py · gate log run010-round09-precision-cusp.json

Loads when opened…