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

	Commit message (Expand)	Author	Age	Files	Lines
*	The modules an app ran are freed (research 115's next step): every app's modu...	eunhhu	29 hours	2	-4/+18
*	A save's arrays for many states asked with \|\| (clang's -Wbitwise-instead-of-l...	eunhhu	31 hours	1	-1/+1
*	A list value of numbers copied whole (140's LIST_VALUE review, no new opcode,...	eunhhu	31 hours	4	-3/+105
*	CONCAT with an empty side gives the other as it is, uncopied (values do not c...	eunhhu	34 hours	1	-0/+2
*	028's bytes alone as a state, made: module state type 6 read as a text state ...	eunhhu	34 hours	5	-23/+198
*	Bytes compared (140's decision point: DNS and HTTP both met it): TEXT_COMPARE...	eunhhu	35 hours	3	-6/+59
*	027's 5c: money as i64 minor units shown by .Nd: NUM_TEXT's decimal form take...	eunhhu	37 hours	3	-8/+27
*	027's 5b: an i64 sum exact: its items gathered in a 128-bit integer and only ...	eunhhu	37 hours	1	-9/+12
*	027's stage 5 designed and 5a made: two numbers (number, binary64, the defaul...	eunhhu	38 hours	3	-1/+44
*	027's 4f-4: loops nested to any depth: the load counts a module's deepest nes...	eunhhu	38 hours	5	-20/+83
*	027's 4f-3b: no fixed count of records or of their fields in all: the header'...	eunhhu	39 hours	5	-22/+125
*	027's 4f-3a: no fixed count of inputs, views (the load's columns among them, ...	eunhhu	39 hours	4	-64/+129
*	027's 4f-2: no fixed count of states: the header's u16 alone (PURE_MODULE_STA...	eunhhu	39 hours	7	-213/+391
*	027's 4f-1: a module's tables sized to it: PureModule's thirty-four tables of...	eunhhu	40 hours	3	-41/+114
*	Module format v7, 027's 4e: a view of any value: a view's and a column's type...	eunhhu	41 hours	3	-68/+348
*	Module format v7, 027's 4d: every input a message: a module's inputs are mess...	eunhhu	42 hours	5	-397/+461
*	Module format v7, 027's 4c: cursors and indices one anchor: a module's state ...	eunhhu	43 hours	7	-69/+237
*	Module format v7, 027's 4b-2: keyed documents gone, a keyed list of records h...	eunhhu	43 hours	7	-694/+234
*	Module format and executor: 027's 4b-1, a record field holding bytes (type 5)...	eunhhu	44 hours	7	-55/+117
*	Module executor and pure-serve: 027's 4a, a message's rows holding lists: row...	eunhhu	44 hours	4	-21/+98
*	Module executor: a kept list's lists through steps of their own (027's stage ...	eunhhu	45 hours	4	-41/+149
*	Module format and executor: 027's stage 3, nested stored state: a stored or a...	eunhhu	46 hours	6	-94/+617
*	Module executor: a call's frame counted in the event's room by a table, as ga...	eunhhu	46 hours	3	-3/+18
*	Module format and executor: 027's stage 2c, functions and characters: a funct...	eunhhu	47 hours	5	-44/+707
*	Module format and executor: 027's stage 2b, lists in records: a record field ...	eunhhu	7 days	6	-19/+349
*	Module executor: events and views empty the values held by name only in a mod...	eunhhu	7 days	2	-2/+4
*	Module format and executor: 027's stage 2a: BYTES_SLICE (bytes from a up to b...	eunhhu	7 days	3	-16/+290
*	Module format: bits and bytes (design 027's stage 1): I64_BITS (and, or, xor,...	eunhhu	7 days	3	-5/+204
*	Batch executor: the round's fewest-left marks at the end of Batch: put after ...	eunhhu	9 days	1	-1/+1
*	Batch executor: a nested count loop's rounds sweep their lanes and masks back...	eunhhu	9 days	1	-5/+42
*	Batch executor, stage 5 of design 025: decide finds a kept round's bit once (...	eunhhu	11 days	1	-18/+15
*	Batch executor, stage 5 of design 025: the sums into cells at once from round...	eunhhu	11 days	1	-2/+75
*	Batch executor, stage 4 of design 025: a four-byte comparison counts its 1s i...	eunhhu	12 days	1	-14/+28
*	Batch executor, stage 4 of design 025: a column read at affine rows in memory...	eunhhu	12 days	1	-4/+26
*	Batch executor: a list's cells once a batch (cells_of, the first four lists i...	eunhhu	12 days	1	-11/+27
*	Batch executor, stage 3 of design 025: a reduction starts with no lanes: whil...	eunhhu	12 days	1	-8/+57
*	Batch executor: select and deselect named select_arm and deselect_arm (POSIX'...	eunhhu	12 days	1	-6/+6
*	Batch executor, stage 3 of design 025: four-byte MUL (words_op): a product be...	eunhhu	12 days	1	-1/+6
*	Batch plans: stage 2's check let go (segments run as made); with it gone the ...	eunhhu	12 days	1	-38/+5
*	Batch plans, stage 2 of design 025: segments, runs of a batch loop's instruct...	eunhhu	12 days	1	-5/+232
*	Batch plans: the check (PURE_BATCH_CHECK) let go, stage 1 made; with it gone ...	eunhhu	12 days	1	-122/+0
*	Batch plans: the recurrences read once at load too (design 025, stage 1): the...	eunhhu	12 days	1	-98/+227
*	Batch plans, stage 1 of design 025: each batch loop's block read once at load...	eunhhu	12 days	4	-30/+150
*	PURE_REUSE_KEPT a define: as an enum constant UINT32_MAX is past int, which c...	eunhhu	12 days	1	-1/+1
*	Batch: a selection's rows given back affine over the lanes around when they a...	eunhhu	12 days	3	-6/+27
*	Batch: general cuts (docs/research/131). A value computed by the same code as...	eunhhu	12 days	6	-79/+636
*	Batch: filters, if !L.has(k) { a line appending } in a batch's block or in a ...	eunhhu	2026-10-06	5	-18/+399
*	Batch: a count's loop whose block begins if slot >= L.count { break } (L only...	eunhhu	2026-10-06	3	-27/+324
*	Batch: a round of the recurrences one loop of actions laid out once a batch (...	eunhhu	2026-10-06	1	-34/+59
*	Batch: reductions' ends in any order where the order cannot tell (the least a...	eunhhu	2026-10-06	1	-1/+53