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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Add selected single-file persistent tree store	eunhhu	2026-09-25	6	-6/+1399
\| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	store-tree.c keeps every document in one append-only file as a persistent B-tree of byte extents, with the key catalog in the same structure. A splice writes only the changed leaf and path; unchanged extents are shared between versions, readers take no lock, and two alternating head slots publish a commit after its nodes are durable. Compaction rewrites reachable nodes. On the recorded ext4 host a durable 1-byte middle insert into a 1 MiB document took 8.58 ms against 78.51 ms for the default store, and the real TUI's Ctrl+S after typing took 16.60 ms against 84.59 ms. check-tree runs the store's crash/oracle tests and the unchanged runtime, splice, async and real-PTY editor checks on it. It stays opt-in: linked code is 12.7 KB larger and contiguous multi-leaf reads copy.
*	Move document key listing behind the store API	eunhhu	2026-09-25	6	-40/+90
\| \| \| \| \| \| \| \| \| \|	The terminal editor listed documents by reading the flat store's obj- file names, so a UI host depended on one storage layout. pure_store_keys now lists keys through the selected store; per-object file stores share store-keys.c, linked only by hosts that browse documents, so the default CLI and HTTP hosts are unchanged. The source TUI ceiling reviews the measured 368-byte cost.
*	Verify paged document app under 4 KiB AArch64 kernel	eunhhu	2026-09-24	8	-3/+70
\|
*	Admit aligned OS pages in selected paged store	eunhhu	2026-09-24	8	-5/+47
\|
*	Establish native micro runtime checkpoint	eunhhu	2026-09-24	1095	-0/+125691