Moser's Worm ProblemII · Computation and ReproductionRound 12懸衡 (Xuán Héng)PARTIAL
Round 12 (v0.12): the interval replay of the 120°/270° enclosures reproduces to 3×10⁻⁸¹ and the Newton steps hold, but one boundary ball in 19, not 19, holds Round 11's float, the root replay's positions are estimates, and "dependency inflation" explains only part of what it is used for
PARTIAL — what the round computes holds, and four things it states do not.
PARTIAL
This page is the second layer: the finite claims of the layer-1 package "Round 12" 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-013Round 12 (v0.12): the interval replay of the 120°/270° enclosures reproduces to 3×10⁻⁸¹ and the Newton steps hold, but one boundary ball in 19, not 19, holds Round 11's float, the root replay's positions are estimates, and "dependency inflation" explains only part of what it is used for
Verdict: PARTIAL — what the round computes holds, and four things it states do not.