Technical Deep Dive: MORK Full — PathMap formalism, selectivity theorem, ZAM execution model, four-layer architecture, known limitations, and implementation findings.