045-proof-compiler « experiments « research - pure - Verified execution runtime unifying state, persistence, and replication.

Mode	Name	Size
-rw-r--r--	2026-10-19-app.jsonl	3479	log stats plain
-rw-r--r--	2026-10-19-break.jsonl	3680	log stats plain
-rw-r--r--	2026-10-19-keyed.jsonl	5422	log stats plain
-rw-r--r--	2026-10-19-leaves.jsonl	3682	log stats plain
-rw-r--r--	2026-10-19-message.jsonl	2600	log stats plain
-rw-r--r--	2026-10-19-ops-v0r.txt	398	log stats plain
-rw-r--r--	2026-10-19-ops.txt	544	log stats plain
-rw-r--r--	2026-10-19-range.jsonl	1723	log stats plain
-rw-r--r--	2026-10-19-where-app.txt	2966	log stats plain
-rw-r--r--	2026-10-19-where-range.txt	2777	log stats plain
-rw-r--r--	2026-10-19-where-v0.txt	2368	log stats plain
-rw-r--r--	app-way.h	11720	log stats plain
-rw-r--r--	app.c	47552	log stats plain
-rw-r--r--	cost.c	6212	log stats plain
-rw-r--r--	events.c	4982	log stats plain
-rw-r--r--	native-hook.patch	1295	log stats plain
-rw-r--r--	ops-count.patch	4634	log stats plain
-rw-r--r--	range.c	11938	log stats plain
-rw-r--r--	stitch.c	6456	log stats plain
-rw-r--r--	unit.c	2292	log stats plain
d---------	units	225	log stats plain
d---------	variants	261	log stats plain
-rw-r--r--	where.c	7537	log stats plain
-rw-r--r--	where.py	7659	log stats plain