← Lebesgue Universal Covering Problem / II · Computation and Reproduction / Round 29 · Confirms the 77-Cell Total
PASS for the marker points, the outer-polygon theorem, all 77 upper certificates, the three-marker replay and the whole shard; PARTIAL for the rankings and densities of §11–13 — the package's outer polygons lose first order in the normal spacing at the hull's straight bridging edges, so its thinnest certificate (marker 6, 6.1×10⁻⁷) is not its thinnest marker (marker 47, exact margin 1.86×10⁻⁵, marker 6's being 2.11×10⁻⁵), marker 47's "tighter" bound is tighter only by more directions, and its densities are start points chosen from the Round 26 reference margins.
Verdict: PASS for the marker points, the outer-polygon theorem, all 77 upper certificates, the three-marker replay and the whole shard; PARTIAL for the rankings and densities of §11–13 — the package's outer polygons lose first order in the normal spacing at the hull's straight bridging edges, so its thinnest certificate (marker 6, 6.1×10⁻⁷) is not its thinnest marker (marker 47, exact margin 1.86×10⁻⁵, marker 6's being 2.11×10⁻⁵), marker 47's "tighter" bound is tighter only by more directions, and its densities are start points chosen from the Round 26 reference margins.
Loads when opened…