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	83508	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	9689	log stats plain
-rw-r--r--	020-computing-faster.md	10306	log stats plain
-rw-r--r--	021-past-c.md	12339	log stats plain
-rw-r--r--	022-arrays-and-registers.md	21903	log stats plain
-rw-r--r--	023-optimizing-tier.md	20633	log stats plain
-rw-r--r--	024-batch-executor.md	17331	log stats plain
-rw-r--r--	025-batch-programs.md	21828	log stats plain
-rw-r--r--	026-app-contract.md	12593	log stats plain
-rw-r--r--	027-computation-core.md	65558	log stats plain
-rw-r--r--	028-bytes-state.md	9266	log stats plain
-rw-r--r--	029-past-one-node.md	33851	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