041 runs of b12 = d371271 (four-byte MUL) and b13 = 38f54ac (reductions with no lanes while every lane's e is the same), interleaved with b11 and b12, and their counts: matmul 36.10 to 26.56 ms (instructions -20%), roots 8.82 to 8.31 (-6.1%), the executor alone as b9 on all five

2 files changed, 120 insertions, 0 deletions

diff --git a/research/experiments/041-batches/2026-10-08-counts.jsonl b/research/experiments/041-batches/2026-10-08-counts.jsonl
index 0e89a46..d259259 100644
--- a/research/experiments/041-batches/2026-10-08-counts.jsonl
+++ b/research/experiments/041-batches/2026-10-08-counts.jsonl
@@ -46,3 +46,23 @@
 {"version":"b11","way":"rounds","work":"roots","instructions":2755945430,"cycles":987962207}
 {"version":"b11","way":"batches","work":"join","instructions":1862305226,"cycles":1068457401}
 {"version":"b11","way":"rounds","work":"join","instructions":7669661824,"cycles":3430154017}
+{"version":"b12","way":"batches","work":"bfs","instructions":3382846688,"cycles":1765413879}
+{"version":"b12","way":"rounds","work":"bfs","instructions":4711634258,"cycles":2083751590}
+{"version":"b12","way":"batches","work":"knapsack","instructions":373809542,"cycles":120787519}
+{"version":"b12","way":"rounds","work":"knapsack","instructions":21688103024,"cycles":7529700532}
+{"version":"b12","way":"batches","work":"matmul","instructions":735684087,"cycles":246177969}
+{"version":"b12","way":"rounds","work":"matmul","instructions":21436716069,"cycles":6626992699}
+{"version":"b12","way":"batches","work":"roots","instructions":166237148,"cycles":113324270}
+{"version":"b12","way":"rounds","work":"roots","instructions":2755945185,"cycles":988095871}
+{"version":"b12","way":"batches","work":"join","instructions":1862422222,"cycles":1045490907}
+{"version":"b12","way":"rounds","work":"join","instructions":7669661613,"cycles":3366182761}
+{"version":"b13","way":"batches","work":"bfs","instructions":3381803478,"cycles":1667871030}
+{"version":"b13","way":"rounds","work":"bfs","instructions":4711634289,"cycles":2081789732}
+{"version":"b13","way":"batches","work":"knapsack","instructions":373823956,"cycles":121181230}
+{"version":"b13","way":"rounds","work":"knapsack","instructions":21688102853,"cycles":7539581572}
+{"version":"b13","way":"batches","work":"matmul","instructions":735476652,"cycles":246740403}
+{"version":"b13","way":"rounds","work":"matmul","instructions":21436716014,"cycles":6621161077}
+{"version":"b13","way":"batches","work":"roots","instructions":156148904,"cycles":109652279}
+{"version":"b13","way":"rounds","work":"roots","instructions":2755945389,"cycles":987937588}
+{"version":"b13","way":"batches","work":"join","instructions":1862428182,"cycles":1070892757}
+{"version":"b13","way":"rounds","work":"join","instructions":7669661642,"cycles":3261839112}
diff --git a/research/experiments/041-batches/2026-10-08-pairs.jsonl b/research/experiments/041-batches/2026-10-08-pairs.jsonl
index 03d777c..7d1343f 100644
--- a/research/experiments/041-batches/2026-10-08-pairs.jsonl
+++ b/research/experiments/041-batches/2026-10-08-pairs.jsonl
@@ -208,3 +208,103 @@
 {"version":"b11-256","way":"batches","turn":5,"work":"knapsack","pure_median_ms":19.625,"c_median_ms":6.227,"ratio":3.151,"agree":true}
 {"version":"b11-256","way":"batches","turn":5,"work":"join","pure_median_ms":117.410,"c_median_ms":32.998,"ratio":3.558,"agree":true}
 {"version":"b11-256","way":"batches","turn":5,"work":"bfs","pure_median_ms":25.714,"c_median_ms":9.954,"ratio":2.583,"agree":true}
+{"version":"b11","way":"batches","turn":1,"work":"roots","pure_median_ms":8.818,"c_median_ms":6.861,"ratio":1.285,"agree":true}
+{"version":"b11","way":"batches","turn":1,"work":"knapsack","pure_median_ms":10.527,"c_median_ms":6.228,"ratio":1.690,"agree":true}
+{"version":"b11","way":"batches","turn":1,"work":"join","pure_median_ms":115.445,"c_median_ms":31.857,"ratio":3.624,"agree":true}
+{"version":"b11","way":"batches","turn":1,"work":"matmul","pure_median_ms":36.095,"c_median_ms":7.775,"ratio":4.643,"agree":true}
+{"version":"b11","way":"batches","turn":1,"work":"bfs","pure_median_ms":24.106,"c_median_ms":10.035,"ratio":2.402,"agree":true}
+{"version":"b12","way":"batches","turn":1,"work":"roots","pure_median_ms":8.812,"c_median_ms":6.864,"ratio":1.284,"agree":true}
+{"version":"b12","way":"batches","turn":1,"work":"knapsack","pure_median_ms":10.517,"c_median_ms":6.229,"ratio":1.688,"agree":true}
+{"version":"b12","way":"batches","turn":1,"work":"join","pure_median_ms":117.660,"c_median_ms":31.151,"ratio":3.777,"agree":true}
+{"version":"b12","way":"batches","turn":1,"work":"matmul","pure_median_ms":26.490,"c_median_ms":7.607,"ratio":3.482,"agree":true}
+{"version":"b12","way":"batches","turn":1,"work":"bfs","pure_median_ms":24.187,"c_median_ms":9.994,"ratio":2.420,"agree":true}
+{"version":"b11","way":"batches","turn":2,"work":"roots","pure_median_ms":8.819,"c_median_ms":6.864,"ratio":1.285,"agree":true}
+{"version":"b11","way":"batches","turn":2,"work":"knapsack","pure_median_ms":10.527,"c_median_ms":6.235,"ratio":1.688,"agree":true}
+{"version":"b11","way":"batches","turn":2,"work":"join","pure_median_ms":115.623,"c_median_ms":31.933,"ratio":3.621,"agree":true}
+{"version":"b11","way":"batches","turn":2,"work":"matmul","pure_median_ms":36.183,"c_median_ms":8.112,"ratio":4.461,"agree":true}
+{"version":"b11","way":"batches","turn":2,"work":"bfs","pure_median_ms":24.121,"c_median_ms":10.033,"ratio":2.404,"agree":true}
+{"version":"b12","way":"batches","turn":2,"work":"roots","pure_median_ms":8.814,"c_median_ms":6.864,"ratio":1.284,"agree":true}
+{"version":"b12","way":"batches","turn":2,"work":"knapsack","pure_median_ms":10.476,"c_median_ms":6.224,"ratio":1.683,"agree":true}
+{"version":"b12","way":"batches","turn":2,"work":"join","pure_median_ms":116.877,"c_median_ms":30.905,"ratio":3.782,"agree":true}
+{"version":"b12","way":"batches","turn":2,"work":"matmul","pure_median_ms":26.569,"c_median_ms":7.666,"ratio":3.466,"agree":true}
+{"version":"b12","way":"batches","turn":2,"work":"bfs","pure_median_ms":24.372,"c_median_ms":10.014,"ratio":2.434,"agree":true}
+{"version":"b11","way":"batches","turn":3,"work":"roots","pure_median_ms":8.824,"c_median_ms":6.868,"ratio":1.285,"agree":true}
+{"version":"b11","way":"batches","turn":3,"work":"knapsack","pure_median_ms":10.495,"c_median_ms":6.231,"ratio":1.684,"agree":true}
+{"version":"b11","way":"batches","turn":3,"work":"join","pure_median_ms":114.988,"c_median_ms":32.038,"ratio":3.589,"agree":true}
+{"version":"b11","way":"batches","turn":3,"work":"matmul","pure_median_ms":36.047,"c_median_ms":7.542,"ratio":4.780,"agree":true}
+{"version":"b11","way":"batches","turn":3,"work":"bfs","pure_median_ms":24.046,"c_median_ms":10.064,"ratio":2.389,"agree":true}
+{"version":"b12","way":"batches","turn":3,"work":"roots","pure_median_ms":8.818,"c_median_ms":6.867,"ratio":1.284,"agree":true}
+{"version":"b12","way":"batches","turn":3,"work":"knapsack","pure_median_ms":10.516,"c_median_ms":6.225,"ratio":1.689,"agree":true}
+{"version":"b12","way":"batches","turn":3,"work":"join","pure_median_ms":115.073,"c_median_ms":30.367,"ratio":3.789,"agree":true}
+{"version":"b12","way":"batches","turn":3,"work":"matmul","pure_median_ms":26.632,"c_median_ms":7.537,"ratio":3.534,"agree":true}
+{"version":"b12","way":"batches","turn":3,"work":"bfs","pure_median_ms":24.291,"c_median_ms":10.059,"ratio":2.415,"agree":true}
+{"version":"b11","way":"batches","turn":4,"work":"roots","pure_median_ms":8.819,"c_median_ms":6.865,"ratio":1.285,"agree":true}
+{"version":"b11","way":"batches","turn":4,"work":"knapsack","pure_median_ms":10.493,"c_median_ms":6.231,"ratio":1.684,"agree":true}
+{"version":"b11","way":"batches","turn":4,"work":"join","pure_median_ms":115.399,"c_median_ms":30.937,"ratio":3.730,"agree":true}
+{"version":"b11","way":"batches","turn":4,"work":"matmul","pure_median_ms":36.100,"c_median_ms":7.574,"ratio":4.766,"agree":true}
+{"version":"b11","way":"batches","turn":4,"work":"bfs","pure_median_ms":24.094,"c_median_ms":10.012,"ratio":2.407,"agree":true}
+{"version":"b12","way":"batches","turn":4,"work":"roots","pure_median_ms":8.811,"c_median_ms":6.864,"ratio":1.284,"agree":true}
+{"version":"b12","way":"batches","turn":4,"work":"knapsack","pure_median_ms":10.517,"c_median_ms":6.268,"ratio":1.678,"agree":true}
+{"version":"b12","way":"batches","turn":4,"work":"join","pure_median_ms":117.245,"c_median_ms":31.369,"ratio":3.738,"agree":true}
+{"version":"b12","way":"batches","turn":4,"work":"matmul","pure_median_ms":26.596,"c_median_ms":7.545,"ratio":3.525,"agree":true}
+{"version":"b12","way":"batches","turn":4,"work":"bfs","pure_median_ms":24.374,"c_median_ms":9.981,"ratio":2.442,"agree":true}
+{"version":"b11","way":"batches","turn":5,"work":"roots","pure_median_ms":8.822,"c_median_ms":6.863,"ratio":1.285,"agree":true}
+{"version":"b11","way":"batches","turn":5,"work":"knapsack","pure_median_ms":10.511,"c_median_ms":6.228,"ratio":1.688,"agree":true}
+{"version":"b11","way":"batches","turn":5,"work":"join","pure_median_ms":119.572,"c_median_ms":35.890,"ratio":3.332,"agree":true}
+{"version":"b11","way":"batches","turn":5,"work":"matmul","pure_median_ms":36.009,"c_median_ms":7.535,"ratio":4.779,"agree":true}
+{"version":"b11","way":"batches","turn":5,"work":"bfs","pure_median_ms":24.239,"c_median_ms":10.036,"ratio":2.415,"agree":true}
+{"version":"b12","way":"batches","turn":5,"work":"roots","pure_median_ms":8.817,"c_median_ms":6.872,"ratio":1.283,"agree":true}
+{"version":"b12","way":"batches","turn":5,"work":"knapsack","pure_median_ms":10.499,"c_median_ms":6.287,"ratio":1.670,"agree":true}
+{"version":"b12","way":"batches","turn":5,"work":"join","pure_median_ms":117.278,"c_median_ms":31.526,"ratio":3.720,"agree":true}
+{"version":"b12","way":"batches","turn":5,"work":"matmul","pure_median_ms":26.560,"c_median_ms":7.558,"ratio":3.514,"agree":true}
+{"version":"b12","way":"batches","turn":5,"work":"bfs","pure_median_ms":24.133,"c_median_ms":9.940,"ratio":2.428,"agree":true}
+{"version":"b12","way":"batches","turn":1,"work":"roots","pure_median_ms":8.814,"c_median_ms":6.865,"ratio":1.284,"agree":true}
+{"version":"b12","way":"batches","turn":1,"work":"knapsack","pure_median_ms":10.515,"c_median_ms":6.230,"ratio":1.688,"agree":true}
+{"version":"b12","way":"batches","turn":1,"work":"join","pure_median_ms":117.883,"c_median_ms":31.121,"ratio":3.788,"agree":true}
+{"version":"b12","way":"batches","turn":1,"work":"matmul","pure_median_ms":26.612,"c_median_ms":7.601,"ratio":3.501,"agree":true}
+{"version":"b12","way":"batches","turn":1,"work":"bfs","pure_median_ms":24.409,"c_median_ms":10.046,"ratio":2.430,"agree":true}
+{"version":"b13","way":"batches","turn":1,"work":"roots","pure_median_ms":8.306,"c_median_ms":6.871,"ratio":1.209,"agree":true}
+{"version":"b13","way":"batches","turn":1,"work":"knapsack","pure_median_ms":10.541,"c_median_ms":6.225,"ratio":1.693,"agree":true}
+{"version":"b13","way":"batches","turn":1,"work":"join","pure_median_ms":115.146,"c_median_ms":31.945,"ratio":3.604,"agree":true}
+{"version":"b13","way":"batches","turn":1,"work":"matmul","pure_median_ms":26.742,"c_median_ms":7.496,"ratio":3.568,"agree":true}
+{"version":"b13","way":"batches","turn":1,"work":"bfs","pure_median_ms":24.033,"c_median_ms":9.955,"ratio":2.414,"agree":true}
+{"version":"b12","way":"batches","turn":2,"work":"roots","pure_median_ms":8.813,"c_median_ms":6.865,"ratio":1.284,"agree":true}
+{"version":"b12","way":"batches","turn":2,"work":"knapsack","pure_median_ms":10.516,"c_median_ms":6.232,"ratio":1.687,"agree":true}
+{"version":"b12","way":"batches","turn":2,"work":"join","pure_median_ms":115.330,"c_median_ms":31.014,"ratio":3.719,"agree":true}
+{"version":"b12","way":"batches","turn":2,"work":"matmul","pure_median_ms":26.628,"c_median_ms":7.537,"ratio":3.533,"agree":true}
+{"version":"b12","way":"batches","turn":2,"work":"bfs","pure_median_ms":24.339,"c_median_ms":10.038,"ratio":2.425,"agree":true}
+{"version":"b13","way":"batches","turn":2,"work":"roots","pure_median_ms":8.310,"c_median_ms":6.862,"ratio":1.211,"agree":true}
+{"version":"b13","way":"batches","turn":2,"work":"knapsack","pure_median_ms":10.593,"c_median_ms":6.230,"ratio":1.700,"agree":true}
+{"version":"b13","way":"batches","turn":2,"work":"join","pure_median_ms":116.176,"c_median_ms":31.418,"ratio":3.698,"agree":true}
+{"version":"b13","way":"batches","turn":2,"work":"matmul","pure_median_ms":26.774,"c_median_ms":7.531,"ratio":3.555,"agree":true}
+{"version":"b13","way":"batches","turn":2,"work":"bfs","pure_median_ms":24.028,"c_median_ms":10.046,"ratio":2.392,"agree":true}
+{"version":"b12","way":"batches","turn":3,"work":"roots","pure_median_ms":8.820,"c_median_ms":6.862,"ratio":1.285,"agree":true}
+{"version":"b12","way":"batches","turn":3,"work":"knapsack","pure_median_ms":10.500,"c_median_ms":6.227,"ratio":1.686,"agree":true}
+{"version":"b12","way":"batches","turn":3,"work":"join","pure_median_ms":114.959,"c_median_ms":31.829,"ratio":3.612,"agree":true}
+{"version":"b12","way":"batches","turn":3,"work":"matmul","pure_median_ms":26.552,"c_median_ms":7.518,"ratio":3.532,"agree":true}
+{"version":"b12","way":"batches","turn":3,"work":"bfs","pure_median_ms":25.701,"c_median_ms":10.355,"ratio":2.482,"agree":true}
+{"version":"b13","way":"batches","turn":3,"work":"roots","pure_median_ms":8.335,"c_median_ms":6.865,"ratio":1.214,"agree":true}
+{"version":"b13","way":"batches","turn":3,"work":"knapsack","pure_median_ms":10.557,"c_median_ms":6.228,"ratio":1.695,"agree":true}
+{"version":"b13","way":"batches","turn":3,"work":"join","pure_median_ms":116.037,"c_median_ms":30.808,"ratio":3.766,"agree":true}
+{"version":"b13","way":"batches","turn":3,"work":"matmul","pure_median_ms":26.827,"c_median_ms":7.552,"ratio":3.552,"agree":true}
+{"version":"b13","way":"batches","turn":3,"work":"bfs","pure_median_ms":24.263,"c_median_ms":10.050,"ratio":2.414,"agree":true}
+{"version":"b12","way":"batches","turn":4,"work":"roots","pure_median_ms":8.817,"c_median_ms":6.864,"ratio":1.284,"agree":true}
+{"version":"b12","way":"batches","turn":4,"work":"knapsack","pure_median_ms":10.495,"c_median_ms":6.226,"ratio":1.686,"agree":true}
+{"version":"b12","way":"batches","turn":4,"work":"join","pure_median_ms":115.897,"c_median_ms":31.497,"ratio":3.680,"agree":true}
+{"version":"b12","way":"batches","turn":4,"work":"matmul","pure_median_ms":26.503,"c_median_ms":7.550,"ratio":3.510,"agree":true}
+{"version":"b12","way":"batches","turn":4,"work":"bfs","pure_median_ms":24.138,"c_median_ms":9.955,"ratio":2.425,"agree":true}
+{"version":"b13","way":"batches","turn":4,"work":"roots","pure_median_ms":8.317,"c_median_ms":6.864,"ratio":1.212,"agree":true}
+{"version":"b13","way":"batches","turn":4,"work":"knapsack","pure_median_ms":10.545,"c_median_ms":6.233,"ratio":1.692,"agree":true}
+{"version":"b13","way":"batches","turn":4,"work":"join","pure_median_ms":116.252,"c_median_ms":31.006,"ratio":3.749,"agree":true}
+{"version":"b13","way":"batches","turn":4,"work":"matmul","pure_median_ms":26.762,"c_median_ms":7.536,"ratio":3.551,"agree":true}
+{"version":"b13","way":"batches","turn":4,"work":"bfs","pure_median_ms":24.265,"c_median_ms":10.070,"ratio":2.410,"agree":true}
+{"version":"b12","way":"batches","turn":5,"work":"roots","pure_median_ms":8.819,"c_median_ms":6.866,"ratio":1.284,"agree":true}
+{"version":"b12","way":"batches","turn":5,"work":"knapsack","pure_median_ms":10.528,"c_median_ms":6.228,"ratio":1.690,"agree":true}
+{"version":"b12","way":"batches","turn":5,"work":"join","pure_median_ms":115.248,"c_median_ms":30.386,"ratio":3.793,"agree":true}
+{"version":"b12","way":"batches","turn":5,"work":"matmul","pure_median_ms":26.549,"c_median_ms":7.732,"ratio":3.433,"agree":true}
+{"version":"b12","way":"batches","turn":5,"work":"bfs","pure_median_ms":24.153,"c_median_ms":10.133,"ratio":2.384,"agree":true}
+{"version":"b13","way":"batches","turn":5,"work":"roots","pure_median_ms":8.311,"c_median_ms":6.864,"ratio":1.211,"agree":true}
+{"version":"b13","way":"batches","turn":5,"work":"knapsack","pure_median_ms":10.563,"c_median_ms":6.227,"ratio":1.696,"agree":true}
+{"version":"b13","way":"batches","turn":5,"work":"join","pure_median_ms":118.155,"c_median_ms":30.847,"ratio":3.830,"agree":true}
+{"version":"b13","way":"batches","turn":5,"work":"matmul","pure_median_ms":26.718,"c_median_ms":7.599,"ratio":3.516,"agree":true}
+{"version":"b13","way":"batches","turn":5,"work":"bfs","pure_median_ms":24.025,"c_median_ms":10.005,"ratio":2.401,"agree":true}