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

	Commit message (Expand)	Author	Age	Files	Lines
*	Research 140, 027's stage 2b measured: JSON read into a tree (aup's examples/...	eunhhu	8 days	3	-0/+289
*	Research 140, 027's stage 2a measured: whether bytes are JSON (aup's examples...	eunhhu	9 days	3	-0/+255
*	Research 140, 027's stage 1 measured: SHA-256 written in aup (its examples/sh...	eunhhu	9 days	4	-0/+218
*	Research 140: a suite of eleven specs from different fields (DNS, SHA-256, in...	eunhhu	9 days	12	-0/+74