pure - Fast, lightweight verified computation and deterministic execution runtime.

	Commit message (Expand)	Author	Age	Files	Lines
*	Design 025: batch programs (132's A), the block's facts once at load and only...	eunhhu	2026-10-08	1	-1/+5
*	Research 132 (no code): where the batch executor's cost sits (an element's pa...	eunhhu	2026-10-08	1	-0/+4
*	041 runs.sh: the suite three ways (the compiled code, the executor with batch...	eunhhu	2026-10-05	1	-0/+46