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.