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

	Commit message (Expand)	Author	Age	Files	Lines
*	Batch: a sum into a cell, L[k].f = L[k].f + e (k computed twice the same and ...	eunhhu	2026-10-06	1	-12/+166
*	Batch executor stage 5 (024): a recurrence (a local a round reads before it s...	eunhhu	2026-10-06	1	-5/+159
*	Batch executor stage 4, first part (024): an item of numbers and bools append...	eunhhu	2026-10-06	1	-7/+48
*	Batch: numbers' results checked finite as they are made (in integers, in the ...	eunhhu	2026-10-05	1	-39/+117
*	Batch executor stage 2 (024): a loop in the batch's block runs its rounds for...	eunhhu	2026-10-05	1	-14/+262
*	Batch executor stage 1 (024): a count's loop whose block has batch forms (lan...	eunhhu	2026-10-05	1	-0/+985