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

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

Round 07 (v0.7): the curvature wings reproduce; the arc wing's deficit stands, every segmented family reaches the event five-link in a limit, and the m = 6 signature is one of Round 05's four events

PARTIAL — what the round computes reproduces, and one of its readings does not hold as stated.

PARTIAL This page is the second layer: the finite claims of the layer-1 package "Round 7" 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 7 · Mixed Polyline–Curvature-Arc Families, Curvature Concentration, and the Value of Discrete Kinks
Previous roundRound 6 · II · Computation and Reproduction
Next roundRound 8 · II · Computation and Reproduction

Recompute reports · Runs

RUN-008Round 07 (v0.7): the curvature wings reproduce; the arc wing's deficit stands, every segmented family reaches the event five-link in a limit, and the m = 6 signature is one of Round 05's four events

Verdict: PARTIAL — what the round computes reproduces, and one of its readings does not hold as stated.

The report, the code and the gate log: report RUN-008.md · corpus.py · run008_round07_curvature_wings.py · gate.py · gate log run008-round07-curvature-wings.json

Loads when opened…