design « docs - pure - Verified execution runtime unifying state, persistence, and replication.

Mode	Name	Size
-rw-r--r--	001-operation-semantics.md	10034	log stats plain
-rw-r--r--	002-memory-lifetime.md	11169	log stats plain
-rw-r--r--	003-module-contract.md	9206	log stats plain
-rw-r--r--	004-prepared-connections.md	3456	log stats plain
-rw-r--r--	005-field-connections.md	2620	log stats plain
-rw-r--r--	006-native-protocol.md	11390	log stats plain
-rw-r--r--	007-execution-domains.md	19184	log stats plain
-rw-r--r--	008-module-format.md	67149	log stats plain
-rw-r--r--	009-layout.md	9754	log stats plain
-rw-r--r--	010-surfaces.md	4881	log stats plain
-rw-r--r--	011-pure-transport.md	24087	log stats plain
-rw-r--r--	012-link-protocol.md	26318	log stats plain
-rw-r--r--	013-memory-budget.md	9332	log stats plain
-rw-r--r--	014-fields-by-name.md	6094	log stats plain
-rw-r--r--	015-boundary-meaning.md	9615	log stats plain
-rw-r--r--	016-bool-and-i64.md	14953	log stats plain
-rw-r--r--	017-apps-on-one-host.md	36503	log stats plain
-rw-r--r--	018-lifetimes-and-computation.md	20816	log stats plain
-rw-r--r--	019-pushing-views.md	9434	log stats plain
-rw-r--r--	020-computing-faster.md	10306	log stats plain
-rw-r--r--	abi-v0.h	2490	log stats plain
-rw-r--r--	check-abi-layout.py	2226	log stats plain
d---------	validation	57	log stats plain