← Lebesgue Universal Covering Problem / II · Computation and Reproduction / Round 32 · Bulk Publication-Candidate Migration

Lebesgue Universal Covering Problem II · Computation and Reproduction Round 32 · Bulk Publication-Candidate Migration 懸衡 (Xuán Héng) PASS

Round 32: cells 31, 27 and 7 close here too, continued from this tree's own frontier at 40 — at depths 42, 43 and 45, inside the even checkpoints 42, 44 and 46 the round reports; cells 69 and 47 are the shipped trees node for node, every leaf passes, and cell 69's MPFR ledger is its own rule rebuilt, the escalated leaf included

PASS for all nine of Round 32's judgments — the three closures, both trees, cell 69's two lower ledgers and its upper bound, its promotion, cell 47's prototype status, the dashboard, and the global claim not made.

PASS This page is the second layer: the finite claims of the layer-1 document "Round 32 · Bulk Publication-Candidate Migration" 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

Recompute reports · Runs

RUN-035Round 32: cells 31, 27 and 7 close here too, continued from this tree's own frontier at 40 — at depths 42, 43 and 45, inside the even checkpoints 42, 44 and 46 the round reports; cells 69 and 47 are the shipped trees node for node, every leaf passes, and cell 69's MPFR ledger is its own rule rebuilt, the escalated leaf included

Verdict: PASS for all nine of Round 32's judgments — the three closures, both trees, cell 69's two lower ledgers and its upper bound, its promotion, cell 47's prototype status, the dashboard, and the global claim not made.

The report, the code and the gate log: report RUN-035.md · run035_round32_bulk_wave.py · gate log run035-round32-bulk-wave.json

Loads when opened…