027's 4f-3b: no fixed count of records or of their fields in all: the header's u16s alone (16 and 128 before); a stored list's record graph (PureLayout) holds a few records itself and more on the heap, 256 at most (an image numbers them in a byte), an image or a checkpoint not written then without room for it; a record's 16 fields kept, the list engine's width (a leaf's columns, a run's columns and narrow cells, the arrays' and packs' columns), to be widened with the lists' shapes sized to their fields; unit tests: 20 records of 10 fields (200 in all), an item of the last appended; a stored list whose six records each hold a list of the next saved and read back after a restart (its graph on the heap); counts: b41 against b40 with batches BFS +0.12%, without BFS -0.09%, the rest within 0.001%; the bank's queries (s40 and s41 in turns, six each) within 0.09% (the first three's in_credit +1.16% its spread: 2.75% between runs of one build); 008 and 027

1 files changed, 12 insertions, 0 deletions

diff --git a/research/experiments/040-against-c/2026-10-19-counts-s41.jsonl b/research/experiments/040-against-c/2026-10-19-counts-s41.jsonl
new file mode 100644
index 0000000..6d86bee
--- /dev/null
+++ b/research/experiments/040-against-c/2026-10-19-counts-s41.jsonl
@@ -0,0 +1,12 @@
+{"serve": "pure-serve", "per_branch": {"instructions": 27103342, "cycles": 11848924}, "in_credit": {"instructions": 3509565, "cycles": 1674124}, "large": {"instructions": 1412822, "cycles": 599141}, "ranks": {"instructions": 24447064, "cycles": 14716996}, "none": {"instructions": 617338, "cycles": 188699}, "field": {"instructions": 8917566, "cycles": 3098174}, "found": {"instructions": 14069631, "cycles": 10608506}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27448954, "cycles": 12011345}, "in_credit": {"instructions": 3586977, "cycles": 1634233}, "large": {"instructions": 1412822, "cycles": 591439}, "ranks": {"instructions": 24636693, "cycles": 15610970}, "none": {"instructions": 617338, "cycles": 197649}, "field": {"instructions": 8917566, "cycles": 3092664}, "found": {"instructions": 14068887, "cycles": 10311353}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27183398, "cycles": 11789004}, "in_credit": {"instructions": 3527464, "cycles": 1628934}, "large": {"instructions": 1412782, "cycles": 582969}, "ranks": {"instructions": 24490550, "cycles": 14843993}, "none": {"instructions": 617330, "cycles": 190737}, "field": {"instructions": 8917661, "cycles": 3103142}, "found": {"instructions": 14069567, "cycles": 10348301}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27198209, "cycles": 11749000}, "in_credit": {"instructions": 3530814, "cycles": 1572546}, "large": {"instructions": 1412878, "cycles": 597785}, "ranks": {"instructions": 24498226, "cycles": 14909269}, "none": {"instructions": 617338, "cycles": 189010}, "field": {"instructions": 8917566, "cycles": 3089714}, "found": {"instructions": 14071350, "cycles": 10628720}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27173274, "cycles": 12259050}, "in_credit": {"instructions": 3525272, "cycles": 1590263}, "large": {"instructions": 1412871, "cycles": 577105}, "ranks": {"instructions": 24485508, "cycles": 14651595}, "none": {"instructions": 617338, "cycles": 191629}, "field": {"instructions": 8917566, "cycles": 3104870}, "found": {"instructions": 14069975, "cycles": 10536819}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27354384, "cycles": 11827933}, "in_credit": {"instructions": 3566048, "cycles": 1697345}, "large": {"instructions": 1412670, "cycles": 593420}, "ranks": {"instructions": 24586419, "cycles": 14859930}, "none": {"instructions": 617330, "cycles": 189173}, "field": {"instructions": 8917558, "cycles": 3089471}, "found": {"instructions": 14066479, "cycles": 10207217}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27236902, "cycles": 13037050}, "in_credit": {"instructions": 3539619, "cycles": 1588797}, "large": {"instructions": 1412718, "cycles": 626542}, "ranks": {"instructions": 24521071, "cycles": 14844787}, "none": {"instructions": 617330, "cycles": 192824}, "field": {"instructions": 8917558, "cycles": 3086377}, "found": {"instructions": 14067231, "cycles": 10213503}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27201036, "cycles": 11918419}, "in_credit": {"instructions": 3531491, "cycles": 1615396}, "large": {"instructions": 1412846, "cycles": 590423}, "ranks": {"instructions": 24500904, "cycles": 14991739}, "none": {"instructions": 617338, "cycles": 188759}, "field": {"instructions": 8917566, "cycles": 3094136}, "found": {"instructions": 14070862, "cycles": 10580373}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27236074, "cycles": 11814479}, "in_credit": {"instructions": 3539307, "cycles": 1702288}, "large": {"instructions": 1412774, "cycles": 598933}, "ranks": {"instructions": 24519491, "cycles": 15016586}, "none": {"instructions": 617338, "cycles": 190082}, "field": {"instructions": 8917566, "cycles": 3088082}, "found": {"instructions": 14068190, "cycles": 10434017}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27199631, "cycles": 11789129}, "in_credit": {"instructions": 3531219, "cycles": 1644268}, "large": {"instructions": 1412838, "cycles": 585078}, "ranks": {"instructions": 24500630, "cycles": 14777176}, "none": {"instructions": 617330, "cycles": 193431}, "field": {"instructions": 8917559, "cycles": 3086993}, "found": {"instructions": 14070454, "cycles": 10254763}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27190716, "cycles": 11738295}, "in_credit": {"instructions": 3529244, "cycles": 1572416}, "large": {"instructions": 1412846, "cycles": 595132}, "ranks": {"instructions": 24495221, "cycles": 14924883}, "none": {"instructions": 617338, "cycles": 189492}, "field": {"instructions": 8917669, "cycles": 3096565}, "found": {"instructions": 14070679, "cycles": 10504054}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27020839, "cycles": 11436148}, "in_credit": {"instructions": 3491072, "cycles": 1554967}, "large": {"instructions": 1412886, "cycles": 594180}, "ranks": {"instructions": 24400975, "cycles": 14755513}, "none": {"instructions": 617330, "cycles": 191008}, "field": {"instructions": 8917558, "cycles": 3082227}, "found": {"instructions": 14072166, "cycles": 10513055}}