Research 140, 027's stage 3 measured: a board of columns of cards of tags (aup's stored_nested) alike in memory and on a store restarting eight times, every step's fault, states and a view (2,400 snapshots, 54 restarts); killed at the tree's four stages and the log's two, all or nothing; replacement moving nested lists by name at depth; appending into a stored item's list costs about 170 ns an item it already holds (append_cost.c: 42 µs an add on average over the first 500, 738 µs over 8,000), building one by appends quadratic; instruction counts: the first commit's BFS +1.45% with batches and +1.68% without, from branches in the hot steps, gone with the load's internal ops (b29 against b27: BFS 0.000%/+0.034%, the others within 0.008%; the bank's queries -0.25% to +0.22%); what remains (a message's rows holding lists, a list field's .count in a fold, for over xs[i].f); 027's stage 3 as made (the representation chosen against the plan, its cost); 008's wording (kind 5 in images' headers alone); CHECKPOINT's direction row through stage 3

1 files changed, 4 insertions, 0 deletions

diff --git a/research/experiments/040-against-c/2026-10-18-counts-s28.jsonl b/research/experiments/040-against-c/2026-10-18-counts-s28.jsonl
new file mode 100644
index 0000000..9f15831
--- /dev/null
+++ b/research/experiments/040-against-c/2026-10-18-counts-s28.jsonl
@@ -0,0 +1,4 @@
+{"serve": "pure-serve", "per_branch": {"instructions": 26993254, "cycles": 11740994}, "in_credit": {"instructions": 3492731, "cycles": 1596075}, "large": {"instructions": 1421590, "cycles": 608185}, "ranks": {"instructions": 24405011, "cycles": 14759082}, "none": {"instructions": 617115, "cycles": 193288}, "field": {"instructions": 9008642, "cycles": 3329258}, "found": {"instructions": 14162159, "cycles": 10622538}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26913366, "cycles": 11814716}, "in_credit": {"instructions": 3469742, "cycles": 1611678}, "large": {"instructions": 1419483, "cycles": 613860}, "ranks": {"instructions": 24329541, "cycles": 14818502}, "none": {"instructions": 609616, "cycles": 192301}, "field": {"instructions": 9091175, "cycles": 3335693}, "found": {"instructions": 14192769, "cycles": 10584266}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27071550, "cycles": 11772202}, "in_credit": {"instructions": 3510278, "cycles": 1585989}, "large": {"instructions": 1421574, "cycles": 614859}, "ranks": {"instructions": 24447396, "cycles": 14867972}, "none": {"instructions": 617123, "cycles": 195315}, "field": {"instructions": 9008650, "cycles": 3335571}, "found": {"instructions": 14162088, "cycles": 10638817}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26862304, "cycles": 11837964}, "in_credit": {"instructions": 3458213, "cycles": 1582318}, "large": {"instructions": 1419531, "cycles": 610145}, "ranks": {"instructions": 24301257, "cycles": 14709708}, "none": {"instructions": 609627, "cycles": 191705}, "field": {"instructions": 9091183, "cycles": 3341920}, "found": {"instructions": 14193944, "cycles": 10536164}}