Moser's Worm ProblemII · Computation and ReproductionRound 13懸衡 (Xuán Héng)PARTIALCERTIFIED HERE
Round 13 (v0.13): the five-parameter event-KKT point lies 6×10⁻⁸ from the stated one and is a strict local maximum, and the gain over Round 08 is certified between 4.04×10⁻⁹ and 4.25×10⁻⁹; but the Jacobian's stated spectrum is not the system's — its condition is 2.1×10³, not 3.8×10⁷ — §7's projection is not reproduced, and three of the four other minima are not the curve's
PARTIAL — what the round computes holds, and four things it states do not.
PARTIAL · CERTIFIED HERE
This page is the second layer: the finite claims of the layer-1 package "Round 13" 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.
RUN-014Round 13 (v0.13): the five-parameter event-KKT point lies 6×10⁻⁸ from the stated one and is a strict local maximum, and the gain over Round 08 is certified between 4.04×10⁻⁹ and 4.25×10⁻⁹; but the Jacobian's stated spectrum is not the system's — its condition is 2.1×10³, not 3.8×10⁷ — §7's projection is not reproduced, and three of the four other minima are not the curve's
Verdict: PARTIAL — what the round computes holds, and four things it states do not.