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-s35c.jsonl b/research/experiments/040-against-c/2026-10-18-counts-s35c.jsonl
new file mode 100644
index 0000000..ff49437
--- /dev/null
+++ b/research/experiments/040-against-c/2026-10-18-counts-s35c.jsonl
@@ -0,0 +1,6 @@
+{"serve": "pure-serve", "per_branch": {"instructions": 27178568, "cycles": 11835944}, "in_credit": {"instructions": 3529990, "cycles": 1632370}, "large": {"instructions": 1427444, "cycles": 603901}, "ranks": {"instructions": 24513169, "cycles": 15796198}, "none": {"instructions": 617927, "cycles": 250985}, "field": {"instructions": 9069352, "cycles": 3364711}, "found": {"instructions": 14221698, "cycles": 11591380}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27193180, "cycles": 11832085}, "in_credit": {"instructions": 3533425, "cycles": 1614476}, "large": {"instructions": 1427308, "cycles": 609471}, "ranks": {"instructions": 24521883, "cycles": 14563130}, "none": {"instructions": 617927, "cycles": 189424}, "field": {"instructions": 9069249, "cycles": 3360267}, "found": {"instructions": 14220490, "cycles": 11388898}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27042605, "cycles": 11830767}, "in_credit": {"instructions": 3499413, "cycles": 1573858}, "large": {"instructions": 1427444, "cycles": 601774}, "ranks": {"instructions": 24437085, "cycles": 14765545}, "none": {"instructions": 617935, "cycles": 190480}, "field": {"instructions": 9069258, "cycles": 3269361}, "found": {"instructions": 14223801, "cycles": 10498035}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27134986, "cycles": 11914714}, "in_credit": {"instructions": 3520136, "cycles": 1594267}, "large": {"instructions": 1427356, "cycles": 599852}, "ranks": {"instructions": 24488290, "cycles": 14858043}, "none": {"instructions": 617935, "cycles": 191222}, "field": {"instructions": 9069257, "cycles": 3281492}, "found": {"instructions": 14221817, "cycles": 10562787}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27156926, "cycles": 11818809}, "in_credit": {"instructions": 3525076, "cycles": 1607896}, "large": {"instructions": 1427340, "cycles": 640267}, "ranks": {"instructions": 24500630, "cycles": 14810005}, "none": {"instructions": 617935, "cycles": 191600}, "field": {"instructions": 9069258, "cycles": 3271829}, "found": {"instructions": 14219297, "cycles": 10477169}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27014913, "cycles": 11688516}, "in_credit": {"instructions": 3493144, "cycles": 1606829}, "large": {"instructions": 1427396, "cycles": 607212}, "ranks": {"instructions": 24422320, "cycles": 14838181}, "none": {"instructions": 617935, "cycles": 195401}, "field": {"instructions": 9069257, "cycles": 3292989}, "found": {"instructions": 14221497, "cycles": 10661402}}