p-adic Canonical Realization

Download original file

Read the formatted document

1 # Komorebi p-adic Block34 — Canonical residual realizations
2 
3 This release adds the cross-realization theorem for the Block33 reachable-observable
4 mask machine. The intrinsic model is the span of prefix residual functions.
5 
6 Start with REPORT.md and PROOF_BOUNDARY.md. RESULTS.json records executed checks,
7 and REPRODUCE.md gives the exact build and audit procedures. CONTINUE_HERE.md names
8 the next state-level precision-reduction obligation and the separate executable
9 refinement gap. Source: lean/KomorebiPadic/. Historical source and evidence are
10 preserved in the byte-identical predecessor ZIP.

Back to source controls