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

6 files changed, 47 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}}
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}}
diff --git a/research/experiments/040-against-c/2026-10-18-counts-s36.jsonl b/research/experiments/040-against-c/2026-10-18-counts-s36.jsonl
new file mode 100644
index 0000000..33ba676
--- /dev/null
+++ b/research/experiments/040-against-c/2026-10-18-counts-s36.jsonl
@@ -0,0 +1,6 @@
+{"serve": "pure-serve", "per_branch": {"instructions": 27015309, "cycles": 11744558}, "in_credit": {"instructions": 3492971, "cycles": 1561213}, "large": {"instructions": 1471812, "cycles": 648320}, "ranks": {"instructions": 24464084, "cycles": 14887936}, "none": {"instructions": 617955, "cycles": 194334}, "field": {"instructions": 9603146, "cycles": 3421217}, "found": {"instructions": 14757019, "cycles": 10808095}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27074805, "cycles": 11757010}, "in_credit": {"instructions": 3506313, "cycles": 1563915}, "large": {"instructions": 1471796, "cycles": 647406}, "ranks": {"instructions": 24495936, "cycles": 14876001}, "none": {"instructions": 617947, "cycles": 189659}, "field": {"instructions": 9603241, "cycles": 3413379}, "found": {"instructions": 14757027, "cycles": 10785836}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27237239, "cycles": 11788000}, "in_credit": {"instructions": 3542731, "cycles": 1630524}, "large": {"instructions": 1471636, "cycles": 616638}, "ranks": {"instructions": 24585207, "cycles": 14968600}, "none": {"instructions": 617955, "cycles": 192799}, "field": {"instructions": 9603249, "cycles": 3410705}, "found": {"instructions": 14750619, "cycles": 10813651}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27088771, "cycles": 11754293}, "in_credit": {"instructions": 3509429, "cycles": 1588282}, "large": {"instructions": 1471780, "cycles": 635804}, "ranks": {"instructions": 24504221, "cycles": 14757511}, "none": {"instructions": 617955, "cycles": 201799}, "field": {"instructions": 9603146, "cycles": 3427542}, "found": {"instructions": 14756290, "cycles": 10804045}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27147778, "cycles": 11690019}, "in_credit": {"instructions": 3522739, "cycles": 1574455}, "large": {"instructions": 1471780, "cycles": 616989}, "ranks": {"instructions": 24536972, "cycles": 14811172}, "none": {"instructions": 617955, "cycles": 190698}, "field": {"instructions": 9603146, "cycles": 3422097}, "found": {"instructions": 14756570, "cycles": 10761419}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27165735, "cycles": 11752312}, "in_credit": {"instructions": 3526708, "cycles": 1597533}, "large": {"instructions": 1471812, "cycles": 627553}, "ranks": {"instructions": 24546765, "cycles": 14871548}, "none": {"instructions": 617955, "cycles": 189720}, "field": {"instructions": 9603146, "cycles": 3411422}, "found": {"instructions": 14753155, "cycles": 10683237}}
diff --git a/research/experiments/040-against-c/2026-10-18-counts-s36b.jsonl b/research/experiments/040-against-c/2026-10-18-counts-s36b.jsonl
new file mode 100644
index 0000000..94f0885
--- /dev/null
+++ b/research/experiments/040-against-c/2026-10-18-counts-s36b.jsonl
@@ -0,0 +1,3 @@
+{"serve": "pure-serve", "per_branch": {"instructions": 27145907, "cycles": 11826186}, "in_credit": {"instructions": 3522453, "cycles": 1627927}, "large": {"instructions": 1437788, "cycles": 606108}, "ranks": {"instructions": 24502987, "cycles": 14928739}, "none": {"instructions": 617955, "cycles": 190319}, "field": {"instructions": 9200227, "cycles": 3312086}, "found": {"instructions": 14352218, "cycles": 10526181}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27210659, "cycles": 11917994}, "in_credit": {"instructions": 3537109, "cycles": 1574370}, "large": {"instructions": 1437820, "cycles": 606872}, "ranks": {"instructions": 24540313, "cycles": 14771986}, "none": {"instructions": 617947, "cycles": 193422}, "field": {"instructions": 9200218, "cycles": 3302802}, "found": {"instructions": 14352418, "cycles": 10522556}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27158389, "cycles": 11856369}, "in_credit": {"instructions": 3525301, "cycles": 1598360}, "large": {"instructions": 1437804, "cycles": 613505}, "ranks": {"instructions": 24511006, "cycles": 14770233}, "none": {"instructions": 617955, "cycles": 190080}, "field": {"instructions": 9200226, "cycles": 3284248}, "found": {"instructions": 14351986, "cycles": 10944766}}
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}}
diff --git a/research/experiments/041-batches/2026-10-18-counts.jsonl b/research/experiments/041-batches/2026-10-18-counts.jsonl
index d008b81..f493618 100644
--- a/research/experiments/041-batches/2026-10-18-counts.jsonl
+++ b/research/experiments/041-batches/2026-10-18-counts.jsonl
@@ -108,3 +108,23 @@
 {"version":"b35","way":"rounds","work":"matmul","instructions":21259969393,"cycles":6205837331}
 {"version":"b35","way":"batches","work":"bfs","instructions":3347488283,"cycles":1696370332}
 {"version":"b35","way":"rounds","work":"bfs","instructions":4709045175,"cycles":2054010986}
+{"version":"b36","way":"batches","work":"roots","instructions":157260597,"cycles":109594319}
+{"version":"b36","way":"rounds","work":"roots","instructions":2719818721,"cycles":889078375}
+{"version":"b36","way":"batches","work":"knapsack","instructions":348347162,"cycles":105417319}
+{"version":"b36","way":"rounds","work":"knapsack","instructions":21991195957,"cycles":7369473669}
+{"version":"b36","way":"batches","work":"join","instructions":1783683103,"cycles":1021757944}
+{"version":"b36","way":"rounds","work":"join","instructions":7678076137,"cycles":3357459094}
+{"version":"b36","way":"batches","work":"matmul","instructions":703679772,"cycles":232991128}
+{"version":"b36","way":"rounds","work":"matmul","instructions":21259969412,"cycles":6207715638}
+{"version":"b36","way":"batches","work":"bfs","instructions":3347486854,"cycles":1650191841}
+{"version":"b36","way":"rounds","work":"bfs","instructions":4705046378,"cycles":2064253208}
+{"version":"b37","way":"batches","work":"roots","instructions":157259422,"cycles":109446422}
+{"version":"b37","way":"rounds","work":"roots","instructions":2719818578,"cycles":889659805}
+{"version":"b37","way":"batches","work":"knapsack","instructions":348347193,"cycles":105382238}
+{"version":"b37","way":"rounds","work":"knapsack","instructions":21991195944,"cycles":7356376635}
+{"version":"b37","way":"batches","work":"join","instructions":1783683173,"cycles":1190979883}
+{"version":"b37","way":"rounds","work":"join","instructions":7678076248,"cycles":3135389704}
+{"version":"b37","way":"batches","work":"matmul","instructions":703679666,"cycles":229437961}
+{"version":"b37","way":"rounds","work":"matmul","instructions":21259969629,"cycles":6204053361}
+{"version":"b37","way":"batches","work":"bfs","instructions":3347488616,"cycles":1663777730}
+{"version":"b37","way":"rounds","work":"bfs","instructions":4709044317,"cycles":2143909347}