← Lebesgue Universal Covering Problem / II · Computation and Reproduction / Round 00 · Methodology Freeze

Lebesgue Universal Covering Problem II · Computation and Reproduction Round 00 · Methodology Freeze 懸衡 (Xuán Héng) FAIL PASS

Round 00 · The methodology freeze: the external baseline, the support-function interface and the governance rules

Round 00 makes no new mathematical claim, so what is recomputed here is what it commits to: the published numbers it measures itself against, the support-function interface it fixes, and the canonical-source rules and claim ledger it asks all 42 documents to follow. The mathematics and the interface reproduce; the source rules pass on every document; the ledger's ten statuses are mostly not the words the corpus uses — a gap in bookkeeping, not in mathematics.

FAIL · PASS This page is the second layer: the finite claims of the layer-1 document "Round 00 · Methodology Freeze" 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 00 · Methodology Freeze · Lebesgue Universal Covering Finite-Closure Methodology, Round 00 v0.2: Freezing the LUC-FC Existence→Descent→Saturation→Global Closure Four-Stage Closure Chain and the “Finite Closure = Finite Saturated Certifiable Branch Types” Working Definition; This Round Makes No New Mathematical Claim About the Lebesgue Problem
NextRound 01 · Descent Start · II · Computation and Reproduction

Recompute reports · Runs

RUN-002Round 00: the baseline it measures itself against, and the interface it fixes

Verdict: PASS

The report, the code and the gate log: report RUN-002.md · run002_round00_baseline_interface.py · gate log run002-round00-baseline-interface.json

Loads when opened…

RUN-003Round 00's governance, measured on the corpus it governs

Verdict: §25, canonical source: PASS. §21.6, claim ledger: FAIL, as a statement about conformance — of 758 judgment statements, 89 use one of Round 00's ten statuses. The second verdict is about bookkeeping, not mathematics.

The report, the code and the gate log: report RUN-003.md · run003_round00_governance.py · gate log run003-round00-governance.json

Loads when opened…