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

	Commit message (Expand)	Author	Age	Files	Lines
*	045, 029: a message end to end, the event's border written by hand too (app.c...	eunhhu	29 hours	2	-2/+149
*	045: UAX #14's whole app emitted by hand, the chain (app.c, app-way.h: on lin...	eunhhu	30 hours	4	-0/+703
*	045: range() emitted by hand, Pure's meaning kept or dropped where the proof ...	eunhhu	30 hours	3	-0/+297
*	045: Pure's answers checked for real (cost.c and where.c compared only the C'...	eunhhu	30 hours	3	-23/+33
*	029: principle 1's break by mechanism (045's samples): dispatch 30.6%, lists ...	eunhhu	31 hours	1	-0/+25
*	045: where the machine instructions go, by mechanism (where.c samples the add...	eunhhu	31 hours	6	-0/+514
*	029: principle 1 broken on UAX #14 (045), written as its own rule asks: (a) 2...	eunhhu	31 hours	1	-0/+35
*	045: 029's principle 1 broken on UAX #14 before any emitter, the tools and th...	eunhhu	31 hours	16	-0/+607