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

	Commit message (Expand)	Author	Age	Files	Lines
*	045: the app keyed and its range found by a seek, emitted as it says (no algo...	eunhhu	23 hours	1	-0/+77
*	045: range() emitted by hand, Pure's meaning kept or dropped where the proof ...	eunhhu	25 hours	1	-0/+36
*	045: where the machine instructions go, by mechanism (where.c samples the add...	eunhhu	25 hours	1	-0/+36
*	045: 029's principle 1 broken on UAX #14 before any emitter, the tools and th...	eunhhu	25 hours	3	-0/+60