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

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

Round 05 (v0.5): the contact-event system reproduces; its root is a strict local maximum, of the four-branch model and so of the least scale on a neighbourhood of unestablished size

PARTIAL — what the round computes reproduces, and two of its printed figures are not right to the digits printed.

PARTIAL This page is the second layer: the finite claims of the layer-1 package "Round 5" 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 5 · Contact-Event Equations, a Non-Smooth KKT System, and an Isolated Five-Link Candidate
Previous roundRound 4 · II · Computation and Reproduction
Next roundRound 6 · II · Computation and Reproduction

Recompute reports · Runs

RUN-006Round 05 (v0.5): the contact-event system reproduces; its root is a strict local maximum, of the four-branch model and so of the least scale on a neighbourhood of unestablished size

Verdict: PARTIAL — what the round computes reproduces, and two of its printed figures are not right to the digits printed.

The report, the code and the gate log: report RUN-006.md · corpus.py · run006_round05_contact_events.py · gate.py · gate log run006-round05-contact-events.json

Loads when opened…