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

	Commit message (Collapse)	Author	Age	Files	Lines
*	State the current app model in the checkpoint and README	eunhhu	2026-09-26	1	-1/+18
\| \| \| \| \| \| \| \| \| \|	The checkpoint's table still said the document and scalar apps were not one authorable model, and that equivalent-server latency was unproven. A new section records what has been checked since: one app model (aup to module format v5), persistence, Vega's surfaces and hot swap, apps as HTTP services, and the measurements against axum and drogon, with what remains. The README opens with the same in brief.
*	Make the local Pi the verification device	eunhhu	2026-09-25	1	-0/+4
\| \| \| \| \| \| \|	The recorded Raspberry Pi 5 (Linux AArch64, 16 KiB pages, ext4) replaces Apple Silicon macOS as the device whose results decide completion. The macOS CI job stays as an optional portability check; no macOS support is claimed.
*	Verify paged document app under 4 KiB AArch64 kernel	eunhhu	2026-09-24	1	-0/+4
\|
*	Admit aligned OS pages in selected paged store	eunhhu	2026-09-24	1	-0/+5
\|
*	Establish native micro runtime checkpoint	eunhhu	2026-09-24	1	-0/+235