← Lebesgue Universal Covering Problem / II · Computation and Reproduction / Round 17 · D₃ Symmetry Reduction

Lebesgue Universal Covering Problem II · Computation and Reproduction Round 17 · D₃ Symmetry Reduction 懸衡 (Xuán Héng) PARTIAL PASS

Round 17: the D3 quotient is exact and every run rebuilds; the quotient's gain is understated, and the tail window's edge comes from a changed override rule, not from starting at depth 10

PASS for the quotient and the pilot's computations; PARTIAL for the tail-window recommendation.

PARTIAL · PASS This page is the second layer: the finite claims of the layer-1 document "Round 17 · D₃ Symmetry Reduction" recomputed, its constructions reproduced, and its theorem-level steps read against the source. It does not rewrite the document and does not treat numerical results as proofs; the formal paper written from these two layers is the third layer, "III · Crystallization". Below are the recompute reports as written (byte for byte the research tree's), with their code and gate logs.

Connections

I · Precursor (the document)Round 17 · D₃ Symmetry Reduction · Residual Sixfold Symmetry Yields an Exact Search-Domain Reduction, Nearly Halving Measured Node Count: The D₃ Canonical-Wedge Theorem and a Certified-Prune-Gain Scheduling Pilot
PreviousRound 16 · Global Master-Root Pilot · II · Computation and Reproduction
NextRound 18 · Production Shard Checkpoint · II · Computation and Reproduction

Recompute reports · Runs

RUN-020Round 17: the D3 quotient is exact and every run rebuilds; the quotient's gain is understated, and the tail window's edge comes from a changed override rule, not from starting at depth 10

Verdict: PASS for the quotient and the pilot's computations; PARTIAL for the tail-window recommendation.

The report, the code and the gate log: report RUN-020.md · run020_round17_d3_cpg.py · gate log run020-round17-d3-cpg.json

Loads when opened…