Module format v7, 027's 4e: a view of any value: a view's and a column's type a record field's (number, text, bool, i64, list, bytes; PURE_VIEW_TABLE now PURE_VIEW_LIST), a view entry 20 bytes (its table + 1, its items' record + 1, its list state + 1); a list view's rows a list state's items as they are or filtered (its record's fields its columns, made at load: each reads its item's field as it is), a list state's map (its columns following it, as tables were), or the items of a list its block leaves (copied into a kept list once a change, its rows and cells kept until the next); a list cell lent in its items' stored form (pure_app_cell_items, pure_items_next reading it), bytes as a text is; a pointing only at a list view over a state; pure-run writes bytes as hex and a list cell as an array of objects, pure-serve a bytes view as application/octet-stream and, in JSON, bytes as hex strings and list cells as arrays of objects; a hole closed: a view without a body never began its growth anew, so in a snapshot's reader (pure-serve's views) reading a kept list's list failed as memory (unreachable before 4e: no such view could be written), now marked a body at load; unit test list_views (as it is, filtered, computed, a map's list and bytes columns, a bytes view, six refused); check server_trees keeps its forests in a stored list shown by list views over HTTP against the model, a restart too; counts: the first build's bank tables rose (field +5.9%: view_of left inline at its seventh caller, serve's put_bytes too), so view_of is inlined, the made columns' and computed lists' paths and serve's new writers kept apart, a computed list's rows held as a filter's; b37 against b35 within 0.001% with batches and without; the bank's queries (s35 on the 4d aup's module, s37 on 4e's, six each in turns) field +0.67%, found +0.43%, large +0.31%, the rest within 0.20%; 008 and 027

1 files changed, 6 insertions, 0 deletions

diff --git a/research/experiments/040-against-c/2026-10-18-counts-s35d.jsonl b/research/experiments/040-against-c/2026-10-18-counts-s35d.jsonl
new file mode 100644
index 0000000..bd1fe04
--- /dev/null
+++ b/research/experiments/040-against-c/2026-10-18-counts-s35d.jsonl
@@ -0,0 +1,6 @@
+{"serve": "pure-serve", "per_branch": {"instructions": 27230096, "cycles": 11981579}, "in_credit": {"instructions": 3541461, "cycles": 1607965}, "large": {"instructions": 1427420, "cycles": 603970}, "ranks": {"instructions": 24540622, "cycles": 14848654}, "none": {"instructions": 617935, "cycles": 192718}, "field": {"instructions": 9069257, "cycles": 3264181}, "found": {"instructions": 14221306, "cycles": 10733119}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27227366, "cycles": 11975538}, "in_credit": {"instructions": 3540833, "cycles": 1620601}, "large": {"instructions": 1427484, "cycles": 610584}, "ranks": {"instructions": 24538219, "cycles": 15042769}, "none": {"instructions": 617935, "cycles": 188420}, "field": {"instructions": 9069257, "cycles": 3281760}, "found": {"instructions": 14222314, "cycles": 10782697}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26884866, "cycles": 11529701}, "in_credit": {"instructions": 3464037, "cycles": 1587342}, "large": {"instructions": 1427476, "cycles": 621891}, "ranks": {"instructions": 24350271, "cycles": 14775059}, "none": {"instructions": 617935, "cycles": 194242}, "field": {"instructions": 9069257, "cycles": 3280249}, "found": {"instructions": 14223481, "cycles": 10461236}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27100230, "cycles": 11850953}, "in_credit": {"instructions": 3512422, "cycles": 1629580}, "large": {"instructions": 1427388, "cycles": 607072}, "ranks": {"instructions": 24469315, "cycles": 14751475}, "none": {"instructions": 617927, "cycles": 191287}, "field": {"instructions": 9069249, "cycles": 3263156}, "found": {"instructions": 14219506, "cycles": 10580398}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27215263, "cycles": 11941761}, "in_credit": {"instructions": 3538163, "cycles": 1628334}, "large": {"instructions": 1427324, "cycles": 596584}, "ranks": {"instructions": 24532454, "cycles": 14846955}, "none": {"instructions": 617935, "cycles": 188816}, "field": {"instructions": 9069257, "cycles": 3272847}, "found": {"instructions": 14220113, "cycles": 10618690}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26991290, "cycles": 11644232}, "in_credit": {"instructions": 3487919, "cycles": 1606765}, "large": {"instructions": 1427452, "cycles": 604345}, "ranks": {"instructions": 24408966, "cycles": 14710845}, "none": {"instructions": 617935, "cycles": 191501}, "field": {"instructions": 9069257, "cycles": 3276588}, "found": {"instructions": 14222978, "cycles": 10765788}}