027's 5b: an i64 sum exact: its items gathered in a 128-bit integer and only the result checked against the range (overflow past it), so a sum past the range midway and back in it at the end is the answer and an i64 sum's order is none of its business; the batch executor's folds are numbers' lanes alone, summed in the items' order, as before; 008's FOLD says so; counts: b44 against b43 within 0.04% (BFS without batches -0.03%); the bank's queries (s43 and s44 in turns, six each) per_branch -1.32% (all six below s43's lowest: a larger Fold lays the number sum's loop otherwise), in_credit -0.72%, ranks -0.26%, the rest within 0.01%, the seven queries' answers the same bytes on both; 008 and 027

1 files changed, 12 insertions, 0 deletions

diff --git a/research/experiments/040-against-c/2026-10-19-counts-s44.jsonl b/research/experiments/040-against-c/2026-10-19-counts-s44.jsonl
new file mode 100644
index 0000000..0317a5d
--- /dev/null
+++ b/research/experiments/040-against-c/2026-10-19-counts-s44.jsonl
@@ -0,0 +1,12 @@
+{"serve": "pure-serve", "per_branch": {"instructions": 27085607, "cycles": 12001170}, "in_credit": {"instructions": 3505582, "cycles": 1625979}, "large": {"instructions": 1412830, "cycles": 586912}, "ranks": {"instructions": 24436679, "cycles": 14818761}, "none": {"instructions": 617346, "cycles": 190613}, "field": {"instructions": 8917574, "cycles": 3098994}, "found": {"instructions": 14070911, "cycles": 10603885}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26889165, "cycles": 11969954}, "in_credit": {"instructions": 3516405, "cycles": 1588634}, "large": {"instructions": 1412854, "cycles": 589521}, "ranks": {"instructions": 24464801, "cycles": 14765295}, "none": {"instructions": 617346, "cycles": 191278}, "field": {"instructions": 8917574, "cycles": 3107257}, "found": {"instructions": 14070767, "cycles": 10535250}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27297383, "cycles": 11823551}, "in_credit": {"instructions": 3553087, "cycles": 1641957}, "large": {"instructions": 1412782, "cycles": 594487}, "ranks": {"instructions": 24553578, "cycles": 14850715}, "none": {"instructions": 617346, "cycles": 193168}, "field": {"instructions": 8917574, "cycles": 3097810}, "found": {"instructions": 14067894, "cycles": 10611655}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26928829, "cycles": 12160940}, "in_credit": {"instructions": 3525135, "cycles": 1605826}, "large": {"instructions": 1412790, "cycles": 586239}, "ranks": {"instructions": 24484976, "cycles": 16087485}, "none": {"instructions": 617346, "cycles": 215727}, "field": {"instructions": 8917574, "cycles": 3178320}, "found": {"instructions": 14068430, "cycles": 10172471}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27303273, "cycles": 12329450}, "in_credit": {"instructions": 3554393, "cycles": 1720535}, "large": {"instructions": 1412766, "cycles": 779344}, "ranks": {"instructions": 24557459, "cycles": 15102204}, "none": {"instructions": 617346, "cycles": 195274}, "field": {"instructions": 8917574, "cycles": 3117935}, "found": {"instructions": 14068823, "cycles": 10325207}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26840722, "cycles": 11902778}, "in_credit": {"instructions": 3505565, "cycles": 1582785}, "large": {"instructions": 1412878, "cycles": 615649}, "ranks": {"instructions": 24437680, "cycles": 14896302}, "none": {"instructions": 617346, "cycles": 191445}, "field": {"instructions": 8917575, "cycles": 3097807}, "found": {"instructions": 14069831, "cycles": 10511346}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27276793, "cycles": 11945931}, "in_credit": {"instructions": 3548439, "cycles": 1613872}, "large": {"instructions": 1412830, "cycles": 596596}, "ranks": {"instructions": 24541453, "cycles": 14849958}, "none": {"instructions": 617346, "cycles": 191203}, "field": {"instructions": 8917574, "cycles": 3107698}, "found": {"instructions": 14068679, "cycles": 10580306}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27109584, "cycles": 12814964}, "in_credit": {"instructions": 3565922, "cycles": 1639444}, "large": {"instructions": 1412806, "cycles": 597538}, "ranks": {"instructions": 24585462, "cycles": 15067404}, "none": {"instructions": 617346, "cycles": 193021}, "field": {"instructions": 8917575, "cycles": 3105280}, "found": {"instructions": 14069327, "cycles": 11116570}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27253267, "cycles": 11780440}, "in_credit": {"instructions": 3543390, "cycles": 1612778}, "large": {"instructions": 1412798, "cycles": 600064}, "ranks": {"instructions": 24531189, "cycles": 14932089}, "none": {"instructions": 617346, "cycles": 190750}, "field": {"instructions": 8917677, "cycles": 3099309}, "found": {"instructions": 14068303, "cycles": 10243530}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26813264, "cycles": 11775255}, "in_credit": {"instructions": 3499393, "cycles": 1558388}, "large": {"instructions": 1412870, "cycles": 598217}, "ranks": {"instructions": 24422351, "cycles": 14707787}, "none": {"instructions": 617346, "cycles": 190575}, "field": {"instructions": 8917574, "cycles": 3106960}, "found": {"instructions": 14070502, "cycles": 10362872}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27002801, "cycles": 11774783}, "in_credit": {"instructions": 3487045, "cycles": 1643142}, "large": {"instructions": 1412862, "cycles": 601615}, "ranks": {"instructions": 24391326, "cycles": 14666502}, "none": {"instructions": 617346, "cycles": 190604}, "field": {"instructions": 8917574, "cycles": 3095604}, "found": {"instructions": 14072087, "cycles": 10181850}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26922980, "cycles": 11994325}, "in_credit": {"instructions": 3524030, "cycles": 1628818}, "large": {"instructions": 1412822, "cycles": 591557}, "ranks": {"instructions": 24482691, "cycles": 14816251}, "none": {"instructions": 617346, "cycles": 192759}, "field": {"instructions": 8917574, "cycles": 3104001}, "found": {"instructions": 14070087, "cycles": 10401503}}