← Lebesgue Universal Covering Problem / II · Computation and Reproduction / Round 08 · Conditional-Lift Certificate

Lebesgue Universal Covering Problem II · Computation and Reproduction Round 08 · Conditional-Lift Certificate 懸衡 (Xuán Héng) PARTIAL PASS

Round 08: the proof grammar holds, two hard leaves close at 10⁻⁴, and the verifier has no root for a mirror image

PASS, with one gap in a specification.

PARTIAL · PASS This page is the second layer: the finite claims of the layer-1 document "Round 08 · Conditional-Lift Certificate" 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 08 · Conditional-Lift Certificate · Reuleaux Erosion Generalizes to a Generic Convex Common-Core Theorem, Nested Base/Lift Certificate Soundness Closed: B7's Root Domain at the 0.8350 Threshold Is Fixed, the Global Lower Bound Remains COMPUTE-DEFERRED
PreviousRound 07 · Minimizer Atlas · II · Computation and Reproduction
NextRound 09 · Adaptive Atlas Refinement · II · Computation and Reproduction

Recompute reports · Runs

RUN-011Round 08: the proof grammar holds, two hard leaves close at 10⁻⁴, and the verifier has no root for a mirror image

Verdict: PASS, with one gap in a specification.

The report, the code and the gate log: report RUN-011.md · run011_round08_conditional_lift.py · gate log run011-round08-conditional-lift.json

Loads when opened…