Research 137: the batch executor's stage 4 (columns read in place, comparisons counting their lanes): knapsack 10.07 to 8.25 ms (bar 8.6; b9 11.46, the compiled code 7.9), its instructions 12.2% below b9's; what is left of knapsack's gap is the per-batch interpretation (about 3 ms), not the kernels (ADD 1.7, GT 1.7, the masked set 0.55 ms); the others the same by instructions; make check's server_view_workers timed out once (the known flake), passed 3/3 alone and in a full rerun; bank queries' instructions within 0.1% of b9's, TPC-C -0.3%; the two large gaps left (matmul's nested rounds, BFS's candidate tail) the user's to choose

1 files changed, 4 insertions, 0 deletions

diff --git a/research/experiments/040-against-c/2026-10-08-counts-s16.jsonl b/research/experiments/040-against-c/2026-10-08-counts-s16.jsonl
new file mode 100644
index 0000000..03e3b17
--- /dev/null
+++ b/research/experiments/040-against-c/2026-10-08-counts-s16.jsonl
@@ -0,0 +1,4 @@
+{"serve": "pure-serve", "per_branch": {"instructions": 27206437, "cycles": 12193908}, "in_credit": {"instructions": 3539491, "cycles": 1590320}, "large": {"instructions": 1419171, "cycles": 620624}, "ranks": {"instructions": 24538485, "cycles": 14924796}, "none": {"instructions": 615600, "cycles": 194460}, "field": {"instructions": 9007132, "cycles": 3290082}, "found": {"instructions": 14138875, "cycles": 10513744}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27174503, "cycles": 12152935}, "in_credit": {"instructions": 3532203, "cycles": 1643873}, "large": {"instructions": 1419155, "cycles": 615898}, "ranks": {"instructions": 24519864, "cycles": 15205679}, "none": {"instructions": 615600, "cycles": 194254}, "field": {"instructions": 9007132, "cycles": 3275460}, "found": {"instructions": 14139691, "cycles": 10954635}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27142081, "cycles": 12144302}, "in_credit": {"instructions": 3524900, "cycles": 1623796}, "large": {"instructions": 1419123, "cycles": 616959}, "ranks": {"instructions": 24501599, "cycles": 14658870}, "none": {"instructions": 615600, "cycles": 193689}, "field": {"instructions": 9007132, "cycles": 3284131}, "found": {"instructions": 14139267, "cycles": 10851692}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27206145, "cycles": 11999425}, "in_credit": {"instructions": 3539418, "cycles": 1785262}, "large": {"instructions": 1419099, "cycles": 611238}, "ranks": {"instructions": 24538778, "cycles": 15150304}, "none": {"instructions": 615600, "cycles": 194966}, "field": {"instructions": 9007132, "cycles": 3261606}, "found": {"instructions": 14138083, "cycles": 10692158}}