Module executor and pure-serve: 027's 4a, a message's rows holding lists: rows whose records hold lists are read, as the message arrives, by stage 3's decoder into the event's lists (value_take into the rows' list), the event beginning with them; the JSON edge reads an object's array as its record's objects, 64 lists deep at most (items_of: an item's lists encoded first and the item moved down over them); the load no longer refuses them; a hole closed: the decoder read past the end where fewer than 4 bytes were left for a length (size - at - 4 wrapped around), unseen while it read only what was stored; unit test nested_rows (three events, four rows not whole changing nothing); check server_trees (300 random forests over HTTP against a Python model walking them in the same order, a require refusing some, a list field not an array, a field the record lacks and 65 lists deep refused, a restart); counts: b30 against b29 within 0.001% but BFS with batches +0.12%, the bank's queries -0.00% to +0.23%; 027's stage 4 planned in six steps (4a to 4f, the counts it starts from, 4b in two commits) and 4a as made; 008 on nested rows

1 files changed, 4 insertions, 0 deletions

diff --git a/research/experiments/040-against-c/2026-10-18-counts-s30.jsonl b/research/experiments/040-against-c/2026-10-18-counts-s30.jsonl
new file mode 100644
index 0000000..8d5d46e
--- /dev/null
+++ b/research/experiments/040-against-c/2026-10-18-counts-s30.jsonl
@@ -0,0 +1,4 @@
+{"serve": "pure-serve", "per_branch": {"instructions": 27230405, "cycles": 12221300}, "in_credit": {"instructions": 3545992, "cycles": 1675191}, "large": {"instructions": 1423198, "cycles": 622136}, "ranks": {"instructions": 24536813, "cycles": 14895547}, "none": {"instructions": 617123, "cycles": 193648}, "field": {"instructions": 9028796, "cycles": 3338189}, "found": {"instructions": 14179417, "cycles": 10655083}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26908242, "cycles": 11686470}, "in_credit": {"instructions": 3473397, "cycles": 1676065}, "large": {"instructions": 1423286, "cycles": 682081}, "ranks": {"instructions": 24358211, "cycles": 14718864}, "none": {"instructions": 617123, "cycles": 196214}, "field": {"instructions": 9028796, "cycles": 3314507}, "found": {"instructions": 14182593, "cycles": 10595866}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26952627, "cycles": 11776386}, "in_credit": {"instructions": 3483449, "cycles": 1583305}, "large": {"instructions": 1423246, "cycles": 674235}, "ranks": {"instructions": 24382297, "cycles": 15052012}, "none": {"instructions": 617123, "cycles": 190875}, "field": {"instructions": 9028796, "cycles": 3351305}, "found": {"instructions": 14180762, "cycles": 10924627}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27346357, "cycles": 12085410}, "in_credit": {"instructions": 3572085, "cycles": 1636879}, "large": {"instructions": 1423174, "cycles": 613836}, "ranks": {"instructions": 24601158, "cycles": 14958524}, "none": {"instructions": 617115, "cycles": 192553}, "field": {"instructions": 9028891, "cycles": 3345141}, "found": {"instructions": 14180354, "cycles": 10664594}}