041 runs of stages 4 and 5, sums into cells and walks (b3 = 06c2978, b4 = c67f988): batches join 161.2 ms (the compiled code 74.4, alone 423.4), matmul 46.1, knapsack 15.1, roots 9.22; costs/: small modules timed three ways (an instruction about 20 ns a batch, a sum's end about 4 ns a round, an append about 100 ns as the executor's, the nested rounds 10.2 ms against the compiled code's 23.1)

1 files changed, 54 insertions, 0 deletions

diff --git a/research/experiments/041-batches/2026-10-06-costs.jsonl b/research/experiments/041-batches/2026-10-06-costs.jsonl
new file mode 100644
index 0000000..2498cd3
--- /dev/null
+++ b/research/experiments/041-batches/2026-10-06-costs.jsonl
@@ -0,0 +1,54 @@
+{"way":"batches","module":"ops.pmod","n":51200,"ms":9.807,"work":29696037,"out":1024020}
+{"way":"rounds","module":"ops.pmod","n":51200,"ms":156.270,"work":29696037,"out":1024020}
+{"way":"jit","module":"ops.pmod","n":51200,"ms":4.272,"work":29696037,"out":1024020}
+{"way":"batches","module":"nest.pmod","n":200,"ms":10.202,"work":120965433,"out":1616000000}
+{"way":"rounds","module":"nest.pmod","n":200,"ms":652.958,"work":120965433,"out":1616000000}
+{"way":"jit","module":"nest.pmod","n":200,"ms":23.030,"work":120965433,"out":1616000000}
+{"way":"batches","module":"adds.pmod","n":1000,"ms":5.184,"work":200010,"out":50000}
+{"way":"rounds","module":"adds.pmod","n":1000,"ms":5.173,"work":200010,"out":50000}
+{"way":"jit","module":"adds.pmod","n":1000,"ms":0.279,"work":200010,"out":50000}
+{"way":"batches","module":"probes.pmod","n":100000,"ms":84.769,"work":35700061,"out":49999500000}
+{"way":"rounds","module":"probes.pmod","n":100000,"ms":255.720,"work":35700061,"out":49999500000}
+{"way":"jit","module":"probes.pmod","n":100000,"ms":56.450,"work":35700061,"out":49999500000}
+{"way":"batches","module":"ops.pmod","n":51200,"ms":9.793,"work":29696037,"out":1024020}
+{"way":"rounds","module":"ops.pmod","n":51200,"ms":156.296,"work":29696037,"out":1024020}
+{"way":"jit","module":"ops.pmod","n":51200,"ms":4.272,"work":29696037,"out":1024020}
+{"way":"batches","module":"nest.pmod","n":200,"ms":10.194,"work":120965433,"out":1616000000}
+{"way":"rounds","module":"nest.pmod","n":200,"ms":653.140,"work":120965433,"out":1616000000}
+{"way":"jit","module":"nest.pmod","n":200,"ms":23.083,"work":120965433,"out":1616000000}
+{"way":"batches","module":"adds.pmod","n":1000,"ms":5.188,"work":200010,"out":50000}
+{"way":"rounds","module":"adds.pmod","n":1000,"ms":5.175,"work":200010,"out":50000}
+{"way":"jit","module":"adds.pmod","n":1000,"ms":0.279,"work":200010,"out":50000}
+{"way":"batches","module":"probes.pmod","n":100000,"ms":85.757,"work":35700061,"out":49999500000}
+{"way":"rounds","module":"probes.pmod","n":100000,"ms":257.913,"work":35700061,"out":49999500000}
+{"way":"jit","module":"probes.pmod","n":100000,"ms":56.136,"work":35700061,"out":49999500000}
+{"way":"batches","module":"ops.pmod","n":51200,"ms":9.818,"work":29696037,"out":1024020}
+{"way":"rounds","module":"ops.pmod","n":51200,"ms":156.300,"work":29696037,"out":1024020}
+{"way":"jit","module":"ops.pmod","n":51200,"ms":4.272,"work":29696037,"out":1024020}
+{"way":"batches","module":"nest.pmod","n":200,"ms":10.204,"work":120965433,"out":1616000000}
+{"way":"rounds","module":"nest.pmod","n":200,"ms":653.427,"work":120965433,"out":1616000000}
+{"way":"jit","module":"nest.pmod","n":200,"ms":23.119,"work":120965433,"out":1616000000}
+{"way":"batches","module":"adds.pmod","n":1000,"ms":5.182,"work":200010,"out":50000}
+{"way":"rounds","module":"adds.pmod","n":1000,"ms":5.163,"work":200010,"out":50000}
+{"way":"jit","module":"adds.pmod","n":1000,"ms":0.279,"work":200010,"out":50000}
+{"way":"batches","module":"probes.pmod","n":100000,"ms":85.142,"work":35700061,"out":49999500000}
+{"way":"rounds","module":"probes.pmod","n":100000,"ms":256.066,"work":35700061,"out":49999500000}
+{"way":"jit","module":"probes.pmod","n":100000,"ms":56.258,"work":35700061,"out":49999500000}
+{"way":"batches","module":"ops0.pmod","n":51200,"ms":9.414,"work":9216017,"out":1024000}
+{"way":"batches","module":"ops.pmod","n":51200,"ms":9.798,"work":29696037,"out":1024020}
+{"way":"batches","module":"ops12.pmod","n":51200,"ms":10.288,"work":54272061,"out":1024077}
+{"way":"batches","module":"sum0.pmod","n":51200,"ms":4.530,"work":11264019,"out":1024000}
+{"way":"batches","module":"sum6.pmod","n":51200,"ms":4.915,"work":31744039,"out":1024000}
+{"way":"batches","module":"sum12.pmod","n":51200,"ms":5.428,"work":56320063,"out":1024000}
+{"way":"batches","module":"ops0.pmod","n":51200,"ms":9.416,"work":9216017,"out":1024000}
+{"way":"batches","module":"ops.pmod","n":51200,"ms":14.712,"work":29696037,"out":1024020}
+{"way":"batches","module":"ops12.pmod","n":51200,"ms":10.303,"work":54272061,"out":1024077}
+{"way":"batches","module":"sum0.pmod","n":51200,"ms":4.528,"work":11264019,"out":1024000}
+{"way":"batches","module":"sum6.pmod","n":51200,"ms":4.914,"work":31744039,"out":1024000}
+{"way":"batches","module":"sum12.pmod","n":51200,"ms":5.421,"work":56320063,"out":1024000}
+{"way":"batches","module":"ops0.pmod","n":51200,"ms":9.395,"work":9216017,"out":1024000}
+{"way":"batches","module":"ops.pmod","n":51200,"ms":9.802,"work":29696037,"out":1024020}
+{"way":"batches","module":"ops12.pmod","n":51200,"ms":10.306,"work":54272061,"out":1024077}
+{"way":"batches","module":"sum0.pmod","n":51200,"ms":4.517,"work":11264019,"out":1024000}
+{"way":"batches","module":"sum6.pmod","n":51200,"ms":4.922,"work":31744039,"out":1024000}
+{"way":"batches","module":"sum12.pmod","n":51200,"ms":5.436,"work":56320063,"out":1024000}