027's 4f-4: loops nested to any depth: the load counts a module's deepest nesting (nesting), a run keeping PURE_MODULE_NESTING (8) on its stack as before and a module nesting deeper running in the executor that calls, its loops in its app's room (PureApp.deep, grown to it), so run()'s hot path is as it was; the JIT compiles modules nesting 8 at most; a function's nesting counted without a cap (u32), its frame sized to it; unit test: 40 loops nested, run to their end (2^20 rounds) and stopped by the work budget (2^40), 8 still on the stack; counts: b42 against b41 with batches BFS -0.12%, without BFS +0.09%, the rest within 0.001%; the bank's queries (s41 and s42 in turns, six each) in_credit +1.04%, per_branch +0.60%, ranks +0.36%, the rest within 0.01% (their spread: the bank has no functions, so none runs the changed executor, and s42's in_credit is within s41's own earlier six); 008 and 027

2 files changed, 22 insertions, 0 deletions

diff --git a/research/experiments/040-against-c/2026-10-19-counts-s42.jsonl b/research/experiments/040-against-c/2026-10-19-counts-s42.jsonl
new file mode 100644
index 0000000..1acc4ee
--- /dev/null
+++ b/research/experiments/040-against-c/2026-10-19-counts-s42.jsonl
@@ -0,0 +1,12 @@
+{"serve": "pure-serve", "per_branch": {"instructions": 27138300, "cycles": 11675408}, "in_credit": {"instructions": 3517583, "cycles": 1585017}, "large": {"instructions": 1412854, "cycles": 596196}, "ranks": {"instructions": 24467336, "cycles": 14962238}, "none": {"instructions": 617338, "cycles": 189167}, "field": {"instructions": 8917669, "cycles": 3092238}, "found": {"instructions": 14070023, "cycles": 10250271}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27283267, "cycles": 11981665}, "in_credit": {"instructions": 3549891, "cycles": 1656175}, "large": {"instructions": 1412822, "cycles": 585341}, "ranks": {"instructions": 24546190, "cycles": 15156831}, "none": {"instructions": 617346, "cycles": 191549}, "field": {"instructions": 8917574, "cycles": 3114628}, "found": {"instructions": 14067807, "cycles": 10348701}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27003084, "cycles": 11688137}, "in_credit": {"instructions": 3487109, "cycles": 1635503}, "large": {"instructions": 1412886, "cycles": 633989}, "ranks": {"instructions": 24391174, "cycles": 14719131}, "none": {"instructions": 617338, "cycles": 188619}, "field": {"instructions": 8917669, "cycles": 3095214}, "found": {"instructions": 14072079, "cycles": 10272068}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27117645, "cycles": 11781646}, "in_credit": {"instructions": 3512871, "cycles": 1594941}, "large": {"instructions": 1412862, "cycles": 599706}, "ranks": {"instructions": 24455022, "cycles": 14950055}, "none": {"instructions": 617346, "cycles": 189601}, "field": {"instructions": 8917574, "cycles": 3098532}, "found": {"instructions": 14068918, "cycles": 10488036}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27267050, "cycles": 11812291}, "in_credit": {"instructions": 3546268, "cycles": 1648298}, "large": {"instructions": 1412830, "cycles": 588335}, "ranks": {"instructions": 24536708, "cycles": 14891183}, "none": {"instructions": 617330, "cycles": 190155}, "field": {"instructions": 8917558, "cycles": 3094820}, "found": {"instructions": 14068054, "cycles": 10326354}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27233123, "cycles": 11925662}, "in_credit": {"instructions": 3538687, "cycles": 1655252}, "large": {"instructions": 1412886, "cycles": 586989}, "ranks": {"instructions": 24518500, "cycles": 14994917}, "none": {"instructions": 617346, "cycles": 218887}, "field": {"instructions": 8917574, "cycles": 3188384}, "found": {"instructions": 14071543, "cycles": 10873920}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26975385, "cycles": 11681165}, "in_credit": {"instructions": 3480991, "cycles": 2115596}, "large": {"instructions": 1412838, "cycles": 602620}, "ranks": {"instructions": 24377285, "cycles": 14689482}, "none": {"instructions": 617338, "cycles": 193643}, "field": {"instructions": 8917566, "cycles": 3188568}, "found": {"instructions": 14071342, "cycles": 10541964}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27232539, "cycles": 12061757}, "in_credit": {"instructions": 3538541, "cycles": 1702765}, "large": {"instructions": 1412830, "cycles": 593655}, "ranks": {"instructions": 24517700, "cycles": 14984273}, "none": {"instructions": 617346, "cycles": 191378}, "field": {"instructions": 8917677, "cycles": 3098210}, "found": {"instructions": 14069223, "cycles": 10389444}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27239514, "cycles": 11839390}, "in_credit": {"instructions": 3540056, "cycles": 1603441}, "large": {"instructions": 1412806, "cycles": 587818}, "ranks": {"instructions": 24521732, "cycles": 14985222}, "none": {"instructions": 617338, "cycles": 190917}, "field": {"instructions": 8917669, "cycles": 3102972}, "found": {"instructions": 14069663, "cycles": 10261150}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27221091, "cycles": 11866260}, "in_credit": {"instructions": 3535901, "cycles": 1585627}, "large": {"instructions": 1412830, "cycles": 581226}, "ranks": {"instructions": 24511352, "cycles": 15001625}, "none": {"instructions": 617346, "cycles": 189639}, "field": {"instructions": 8917677, "cycles": 3112460}, "found": {"instructions": 14070503, "cycles": 10528476}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26992615, "cycles": 11753080}, "in_credit": {"instructions": 3484688, "cycles": 1589798}, "large": {"instructions": 1412902, "cycles": 597026}, "ranks": {"instructions": 24385483, "cycles": 14773173}, "none": {"instructions": 617338, "cycles": 188651}, "field": {"instructions": 8917566, "cycles": 3091770}, "found": {"instructions": 14071862, "cycles": 10409981}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27288493, "cycles": 11877149}, "in_credit": {"instructions": 3551253, "cycles": 1643562}, "large": {"instructions": 1412838, "cycles": 585097}, "ranks": {"instructions": 24549267, "cycles": 14913525}, "none": {"instructions": 617346, "cycles": 189643}, "field": {"instructions": 8917677, "cycles": 3091112}, "found": {"instructions": 14068887, "cycles": 10454306}}
diff --git a/research/experiments/041-batches/2026-10-19-counts.jsonl b/research/experiments/041-batches/2026-10-19-counts.jsonl
index 747b71e..df0c154 100644
--- a/research/experiments/041-batches/2026-10-19-counts.jsonl
+++ b/research/experiments/041-batches/2026-10-19-counts.jsonl
@@ -8,3 +8,13 @@
 {"version":"b41","way":"rounds","work":"matmul","instructions":21186408240,"cycles":7051314065}
 {"version":"b41","way":"batches","work":"bfs","instructions":3345460567,"cycles":1663687287}
 {"version":"b41","way":"rounds","work":"bfs","instructions":4705144592,"cycles":2077470928}
+{"version":"b42","way":"batches","work":"roots","instructions":157246340,"cycles":109891554}
+{"version":"b42","way":"rounds","work":"roots","instructions":2715504006,"cycles":1021982755}
+{"version":"b42","way":"batches","work":"knapsack","instructions":348031404,"cycles":105085352}
+{"version":"b42","way":"rounds","work":"knapsack","instructions":22162562573,"cycles":7853201015}
+{"version":"b42","way":"batches","work":"join","instructions":1783720533,"cycles":1009306459}
+{"version":"b42","way":"rounds","work":"join","instructions":7723677573,"cycles":3393842728}
+{"version":"b42","way":"batches","work":"matmul","instructions":702230637,"cycles":227827451}
+{"version":"b42","way":"rounds","work":"matmul","instructions":21186409896,"cycles":7038688726}
+{"version":"b42","way":"batches","work":"bfs","instructions":3341462103,"cycles":1673340823}
+{"version":"b42","way":"rounds","work":"bfs","instructions":4709148541,"cycles":2184940702}