# Komorebi p-adic Block34 — Canonical residual realizations

This release adds the cross-realization theorem for the Block33 reachable-observable
mask machine. The intrinsic model is the span of prefix residual functions.

Start with REPORT.md and PROOF_BOUNDARY.md. RESULTS.json records executed checks,
and REPRODUCE.md gives the exact build and audit procedures. CONTINUE_HERE.md names
the next state-level precision-reduction obligation and the separate executable
refinement gap. Source: lean/KomorebiPadic/. Historical source and evidence are
preserved in the byte-identical predecessor ZIP.