connections « prototypes - pure - Verified execution runtime unifying state, persistence, and replication.

Mode	Name	Size
-rw-r--r--	.gitignore	8	log stats plain
-rw-r--r--	Makefile	18662	log stats plain
-rw-r--r--	README.md	38810	log stats plain
-rw-r--r--	SOURCE_PREVIEW.md	6583	log stats plain
-rw-r--r--	async-core-budget.json	618	log stats plain
-rw-r--r--	async-server-budget.json	541	log stats plain
-rw-r--r--	check.py	31058	log stats plain
-rw-r--r--	check_async_server.py	7514	log stats plain
-rw-r--r--	check_copy_path.py	4712	log stats plain
-rw-r--r--	check_core.py	3389	log stats plain
-rw-r--r--	check_document_peer.py	12217	log stats plain
-rw-r--r--	check_document_server_package.py	4710	log stats plain
-rw-r--r--	check_edits.py	6627	log stats plain
-rw-r--r--	check_fixed_program.py	8324	log stats plain
-rw-r--r--	check_fixed_server.py	8307	log stats plain
-rw-r--r--	check_flat_export.py	6526	log stats plain
-rw-r--r--	check_idle_wakes.py	4128	log stats plain
-rw-r--r--	check_micro_memory.py	5082	log stats plain
-rw-r--r--	check_mirror.py	6960	log stats plain
-rw-r--r--	check_package.py	11140	log stats plain
-rw-r--r--	check_policy.py	8635	log stats plain
-rw-r--r--	check_profile.py	3268	log stats plain
-rw-r--r--	check_service_scale.py	6044	log stats plain
-rw-r--r--	check_small_scan.py	1974	log stats plain
-rw-r--r--	check_source_package.py	7692	log stats plain
-rw-r--r--	check_tui.py	15833	log stats plain
-rw-r--r--	check_window.py	25847	log stats plain
-rw-r--r--	check_write_cost.py	4832	log stats plain
-rw-r--r--	compile-program.c	4153	log stats plain
-rw-r--r--	core-budget.json	774	log stats plain
-rw-r--r--	core-layout.c	456	log stats plain
-rw-r--r--	document-peer.c	15742	log stats plain
-rw-r--r--	edit-module.c	8094	log stats plain
-rw-r--r--	edit-tui.c	38469	log stats plain
-rw-r--r--	edit-window.c	28319	log stats plain
-rw-r--r--	edit.c	7582	log stats plain
-rw-r--r--	evaluate.c	2414	log stats plain
d---------	examples	250	log stats plain
-rw-r--r--	export_flat_store.py	5926	log stats plain
-rw-r--r--	fixed-budget.json	881	log stats plain
-rw-r--r--	fixed-package-budget.json	660	log stats plain
-rw-r--r--	flow.c	1322	log stats plain
-rw-r--r--	flow.h	868	log stats plain
-rw-r--r--	hybrid-budget.json	823	log stats plain
-rw-r--r--	hybrid-tui-budget.json	649	log stats plain
-rw-r--r--	measure-peak-rss.c	1349	log stats plain
-rw-r--r--	measure_tui_latency.py	3692	log stats plain
-rw-r--r--	memory-budget.json	523	log stats plain
-rw-r--r--	mirror.c	5773	log stats plain
-rw-r--r--	module-store.c	1660	log stats plain
-rw-r--r--	module-store.h	279	log stats plain
-rw-r--r--	module.c	29154	log stats plain
-rw-r--r--	module.h	5792	log stats plain
-rw-r--r--	package_native.py	18890	log stats plain
-rw-r--r--	package_source.py	2652	log stats plain
-rw-r--r--	paged-budget.json	675	log stats plain
-rw-r--r--	peer-budget.json	562	log stats plain
-rw-r--r--	peer-package-budget.json	405	log stats plain
-rw-r--r--	peer-server-budget.json	461	log stats plain
-rw-r--r--	profile-budget.json	678	log stats plain
-rw-r--r--	program.c	15906	log stats plain
-rw-r--r--	program.h	2086	log stats plain
-rw-r--r--	pure-run.c	3420	log stats plain
-rw-r--r--	result.h	274	log stats plain
d---------	results	2841	log stats plain
-rw-r--r--	runtime.c	15418	log stats plain
-rw-r--r--	runtime.h	6869	log stats plain
-rw-r--r--	server.c	27982	log stats plain
-rw-r--r--	source-tui-budget.json	798	log stats plain
-rw-r--r--	state.h	2566	log stats plain
-rw-r--r--	store-keys.c	1534	log stats plain
-rw-r--r--	store-paged.c	22968	log stats plain
-rw-r--r--	store-port.c	2265	log stats plain
-rw-r--r--	store-port.h	226	log stats plain
-rw-r--r--	store-tree.c	49287	log stats plain
-rw-r--r--	store.c	12884	log stats plain
-rw-r--r--	store.h	2697	log stats plain
-rw-r--r--	test-async-server-gate.c	800	log stats plain
-rw-r--r--	test-async.c	16196	log stats plain
-rw-r--r--	test-fields.c	8872	log stats plain
-rw-r--r--	test-flow.c	8744	log stats plain
-rw-r--r--	test-module.c	31918	log stats plain
-rw-r--r--	test-paged-store.c	12490	log stats plain
-rw-r--r--	test-program.c	6266	log stats plain
-rw-r--r--	test-runtime.c	16518	log stats plain
-rw-r--r--	test-splice.c	11361	log stats plain
-rw-r--r--	test-tree-store.c	30792	log stats plain
-rw-r--r--	tui-budget.json	795	log stats plain
-rw-r--r--	window-budget.json	561	log stats plain