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

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

Round 01 (v0.1): the grid programs reproduce; what they print is a grid's value, a local search's, and one handedness's

PARTIAL — what Round 01 computes for the curves its documents define reproduces, but several of the numbers it states do not hold as stated.

PARTIAL This page is the second layer: the finite claims of the layer-1 package "Round 1" 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 1 · Support-Skew Linear Programming, Finite-Curve Pressure, and the First Adversarial Search
Next roundRound 2 · II · Computation and Reproduction

Recompute reports · Runs

RUN-002Round 01 (v0.1): the grid programs reproduce; what they print is a grid's value, a local search's, and one handedness's

Verdict: PARTIAL — what Round 01 computes for the curves its documents define reproduces, but several of the numbers it states do not hold as stated.

The report, the code and the gate log: report RUN-002.md · corpus.py · run002_round01_support_skew_lp.py · gate.py · gate log run002-round01-support-skew-lp.json

Loads when opened…