Design 025: batch programs (132's A), the block's facts once at load and only values each batch: knapsack's per-batch cost measured at 0.90 us, 38% of its 11.5 ms (BATCH 1024 against 256 under a sampled profile: re-reading the block about 39%, value kinds 26%, list facts and dependence 22%, dispatch 14%), sum0's 0.33 us, matmul's inner-round dispatch about 13 ms and float-checked arithmetic about 22; five stages (facts at load, static kinds and list facts once a batch, typed kernels, fewer passes, the tails) with bars from those shares; 041 batch-costs data

1 files changed, 5 insertions, 1 deletions

diff --git a/research/experiments/041-batches/runs.sh b/research/experiments/041-batches/runs.sh
index 6f3a4e8..876f249 100755
--- a/research/experiments/041-batches/runs.sh
+++ b/research/experiments/041-batches/runs.sh
@@ -47,4 +47,8 @@ esac
 # 2026-10-08-lanes.jsonl (research 132): b9's code with BATCH 1024, 512 and
 # 256 (core/module-batch.c's enum), suite-run 5 rounds twice (ms: the two
 # medians) and costs/time.c's sum0, ops0 and nest under icount 3 rounds:
-# a batch's fixed cost is (the instructions' difference) / (the batches').
+# a batch's fixed cost is (the instructions' difference) / (the batches'),
+# icount's 3 rounds counted: 3,000 and 12,000 batches for sum0 and ops0.
+# 2026-10-08-batch-costs.jsonl (design 025): knapsack's time a round by
+# function and line, b9's code at BATCH 1024 and 256 under a 2 kHz sampled
+# profile (ms by the in-process C's samples); sum0's times at both.