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-s37.jsonl b/research/experiments/040-against-c/2026-10-18-counts-s37.jsonl
new file mode 100644
index 0000000..9fbb618
--- /dev/null
+++ b/research/experiments/040-against-c/2026-10-18-counts-s37.jsonl
@@ -0,0 +1,6 @@
+{"serve": "pure-serve", "per_branch": {"instructions": 27127637, "cycles": 11771086}, "in_credit": {"instructions": 3518478, "cycles": 1552323}, "large": {"instructions": 1431901, "cycles": 608768}, "ranks": {"instructions": 24488310, "cycles": 14776981}, "none": {"instructions": 617958, "cycles": 194620}, "field": {"instructions": 9130366, "cycles": 3289228}, "found": {"instructions": 14281854, "cycles": 10891322}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27125775, "cycles": 11780704}, "in_credit": {"instructions": 3518061, "cycles": 1577723}, "large": {"instructions": 1431893, "cycles": 615465}, "ranks": {"instructions": 24487104, "cycles": 14833559}, "none": {"instructions": 617950, "cycles": 190226}, "field": {"instructions": 9130358, "cycles": 3269776}, "found": {"instructions": 14282118, "cycles": 10774650}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27023265, "cycles": 11693752}, "in_credit": {"instructions": 3494995, "cycles": 1555048}, "large": {"instructions": 1431933, "cycles": 617497}, "ranks": {"instructions": 24430035, "cycles": 14782468}, "none": {"instructions": 617950, "cycles": 189139}, "field": {"instructions": 9130461, "cycles": 3272660}, "found": {"instructions": 14283287, "cycles": 10640337}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27251821, "cycles": 13264723}, "in_credit": {"instructions": 3546248, "cycles": 2062396}, "large": {"instructions": 1431885, "cycles": 823055}, "ranks": {"instructions": 24556485, "cycles": 15074962}, "none": {"instructions": 617950, "cycles": 194497}, "field": {"instructions": 9130358, "cycles": 3269987}, "found": {"instructions": 14281239, "cycles": 10789711}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26964833, "cycles": 11690151}, "in_credit": {"instructions": 3481919, "cycles": 1535780}, "large": {"instructions": 1431902, "cycles": 614687}, "ranks": {"instructions": 24398491, "cycles": 14662052}, "none": {"instructions": 617958, "cycles": 192533}, "field": {"instructions": 9130469, "cycles": 3332525}, "found": {"instructions": 14282919, "cycles": 11512813}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27174163, "cycles": 11804025}, "in_credit": {"instructions": 3528965, "cycles": 1603050}, "large": {"instructions": 1431869, "cycles": 604027}, "ranks": {"instructions": 24514442, "cycles": 14746237}, "none": {"instructions": 617958, "cycles": 188774}, "field": {"instructions": 9130469, "cycles": 3301676}, "found": {"instructions": 14282567, "cycles": 10771549}}