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-s28b.jsonl b/research/experiments/040-against-c/2026-10-18-counts-s28b.jsonl
new file mode 100644
index 0000000..c01bd1e
--- /dev/null
+++ b/research/experiments/040-against-c/2026-10-18-counts-s28b.jsonl
@@ -0,0 +1,4 @@
+{"serve": "pure-serve", "per_branch": {"instructions": 27001538, "cycles": 11809316}, "in_credit": {"instructions": 3494481, "cycles": 1569742}, "large": {"instructions": 1421590, "cycles": 604735}, "ranks": {"instructions": 24408555, "cycles": 14810612}, "none": {"instructions": 617115, "cycles": 192941}, "field": {"instructions": 9008642, "cycles": 3329022}, "found": {"instructions": 14162664, "cycles": 11129426}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26948211, "cycles": 11936877}, "in_credit": {"instructions": 3477619, "cycles": 1611437}, "large": {"instructions": 1419539, "cycles": 610405}, "ranks": {"instructions": 24348016, "cycles": 14784698}, "none": {"instructions": 609616, "cycles": 191620}, "field": {"instructions": 9091175, "cycles": 3341083}, "found": {"instructions": 14194665, "cycles": 10446188}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26988888, "cycles": 11750407}, "in_credit": {"instructions": 3491586, "cycles": 1595540}, "large": {"instructions": 1421574, "cycles": 636840}, "ranks": {"instructions": 24400679, "cycles": 14772759}, "none": {"instructions": 617115, "cycles": 195556}, "field": {"instructions": 9008642, "cycles": 3347715}, "found": {"instructions": 14162495, "cycles": 10844953}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26996410, "cycles": 11973005}, "in_credit": {"instructions": 3488363, "cycles": 1620090}, "large": {"instructions": 1419507, "cycles": 608760}, "ranks": {"instructions": 24375152, "cycles": 14826597}, "none": {"instructions": 609616, "cycles": 195343}, "field": {"instructions": 9091175, "cycles": 3343996}, "found": {"instructions": 14193560, "cycles": 10567563}}