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

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

Round 02 (v0.2.2): the ledger, the scans and the exact values reproduce; the main report's numbers are its grid's, and the three-link family goes higher than its corrected curve

PARTIAL — what the round computes for the curves its documents define reproduces, and some 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 2" 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 2 · Phase Jumps, the Dual Contact-Pressure Ledger, and Topology-Guided Curve Search

Previous roundRound 1 · II · Computation and Reproduction

Next roundRound 3 · II · Computation and Reproduction

Recompute reports · Runs

RUN-003Round 02 (v0.2.2): the ledger, the scans and the exact values reproduce; the main report's numbers are its grid's, and the three-link family goes higher than its corrected curve

Verdict: PARTIAL — what the round computes for the curves its documents define reproduces, and some of the numbers it states do not hold as stated.

The report, the code and the gate log: report RUN-003.md · corpus.py · run003_round02_phase_scan_chirality.py · gate.py · gate log run003-round02-phase-scan-chirality.json

Loads when opened…