027's 5c: money as i64 minor units shown by .Nd: NUM_TEXT's decimal form takes digits (bits 20-24 as FIXED's), an integer's last N digits written after a point (1234 at two is 12.34, -5 -0.05, 0 0.00; width and zeros after the sign), verification allowing digits on FIXED and DECIMAL alone; unit test: ten rows of formats_and_held (-2^63 at two, 25 digits, a number's whole 1234, its 12.5 a limit); TPC-C's money i64 cents and its rates ten-thousandths (tables, messages, load, the transactions), SQLite's INTEGER columns and int64 bindings alike, the comparison now exact (no 1e-9 tolerance): after 20,000 transactions every row of every table the same (grouped SQLite too) and 3.3.2 holding on both; counts: b45 against b44 BFS without batches +0.09%, the rest within 0.001%; the bank's queries (s44 and s45 in turns, six each) in_credit -0.59%, per_branch -0.34%, ranks -0.20%, the rest within 0.01%, the seven answers the same bytes; 008 (NUM_TEXT's digits, a message row's i64 cells), 027 and 092

2 files changed, 22 insertions, 0 deletions

diff --git a/research/experiments/040-against-c/2026-10-19-counts-s45.jsonl b/research/experiments/040-against-c/2026-10-19-counts-s45.jsonl
new file mode 100644
index 0000000..edc7c8a
--- /dev/null
+++ b/research/experiments/040-against-c/2026-10-19-counts-s45.jsonl
@@ -0,0 +1,12 @@
+{"serve": "pure-serve", "per_branch": {"instructions": 26979684, "cycles": 12023884}, "in_credit": {"instructions": 3536659, "cycles": 1590814}, "large": {"instructions": 1412854, "cycles": 590997}, "ranks": {"instructions": 24513604, "cycles": 14801992}, "none": {"instructions": 617346, "cycles": 189667}, "field": {"instructions": 8917574, "cycles": 3117068}, "found": {"instructions": 14070023, "cycles": 10629861}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26992579, "cycles": 11966388}, "in_credit": {"instructions": 3539415, "cycles": 1651939}, "large": {"instructions": 1412846, "cycles": 594121}, "ranks": {"instructions": 24519666, "cycles": 14793114}, "none": {"instructions": 617346, "cycles": 196182}, "field": {"instructions": 8917574, "cycles": 3090170}, "found": {"instructions": 14069623, "cycles": 10444633}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27060595, "cycles": 12023286}, "in_credit": {"instructions": 3554732, "cycles": 1479578}, "large": {"instructions": 1412854, "cycles": 590796}, "ranks": {"instructions": 24557464, "cycles": 15012291}, "none": {"instructions": 617346, "cycles": 193396}, "field": {"instructions": 8917677, "cycles": 3094436}, "found": {"instructions": 14068799, "cycles": 10460494}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26924120, "cycles": 11931237}, "in_credit": {"instructions": 3524095, "cycles": 1708160}, "large": {"instructions": 1412814, "cycles": 703225}, "ranks": {"instructions": 24482221, "cycles": 14816677}, "none": {"instructions": 617346, "cycles": 192466}, "field": {"instructions": 8917574, "cycles": 3198568}, "found": {"instructions": 14069015, "cycles": 11709649}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26966893, "cycles": 12140466}, "in_credit": {"instructions": 3533730, "cycles": 1625190}, "large": {"instructions": 1412854, "cycles": 591174}, "ranks": {"instructions": 24505195, "cycles": 14963964}, "none": {"instructions": 617346, "cycles": 202237}, "field": {"instructions": 8917574, "cycles": 3093659}, "found": {"instructions": 14070175, "cycles": 10543849}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26826358, "cycles": 11925544}, "in_credit": {"instructions": 3502195, "cycles": 1582489}, "large": {"instructions": 1412894, "cycles": 588093}, "ranks": {"instructions": 24428492, "cycles": 14933031}, "none": {"instructions": 617346, "cycles": 189394}, "field": {"instructions": 8917574, "cycles": 3093669}, "found": {"instructions": 14070335, "cycles": 10396792}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26960422, "cycles": 12218167}, "in_credit": {"instructions": 3532175, "cycles": 1606369}, "large": {"instructions": 1412854, "cycles": 600368}, "ranks": {"instructions": 24502148, "cycles": 14978404}, "none": {"instructions": 617346, "cycles": 190949}, "field": {"instructions": 8917575, "cycles": 3104911}, "found": {"instructions": 14070262, "cycles": 10282605}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26872531, "cycles": 12098562}, "in_credit": {"instructions": 3512578, "cycles": 1652287}, "large": {"instructions": 1412894, "cycles": 591682}, "ranks": {"instructions": 24454638, "cycles": 15243744}, "none": {"instructions": 617346, "cycles": 190955}, "field": {"instructions": 8917574, "cycles": 3097775}, "found": {"instructions": 14070255, "cycles": 10861947}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27013066, "cycles": 12479111}, "in_credit": {"instructions": 3544010, "cycles": 1636042}, "large": {"instructions": 1412822, "cycles": 644341}, "ranks": {"instructions": 24531053, "cycles": 15460303}, "none": {"instructions": 617346, "cycles": 193549}, "field": {"instructions": 8917574, "cycles": 3246776}, "found": {"instructions": 14068823, "cycles": 10689353}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26890220, "cycles": 11905835}, "in_credit": {"instructions": 3516422, "cycles": 1660765}, "large": {"instructions": 1412814, "cycles": 606666}, "ranks": {"instructions": 24463698, "cycles": 14748420}, "none": {"instructions": 617346, "cycles": 191176}, "field": {"instructions": 8917574, "cycles": 3105283}, "found": {"instructions": 14070302, "cycles": 10260437}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26774006, "cycles": 12323592}, "in_credit": {"instructions": 3490433, "cycles": 1675259}, "large": {"instructions": 1412878, "cycles": 590025}, "ranks": {"instructions": 24399648, "cycles": 14860136}, "none": {"instructions": 617346, "cycles": 191301}, "field": {"instructions": 8917575, "cycles": 3111265}, "found": {"instructions": 14070607, "cycles": 10484430}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26865589, "cycles": 11960663}, "in_credit": {"instructions": 3510953, "cycles": 1578217}, "large": {"instructions": 1412870, "cycles": 600951}, "ranks": {"instructions": 24450447, "cycles": 14936245}, "none": {"instructions": 617346, "cycles": 189389}, "field": {"instructions": 8917574, "cycles": 3090773}, "found": {"instructions": 14070494, "cycles": 10550630}}
diff --git a/research/experiments/041-batches/2026-10-19-counts.jsonl b/research/experiments/041-batches/2026-10-19-counts.jsonl
index 958d9d2..fbb9666 100644
--- a/research/experiments/041-batches/2026-10-19-counts.jsonl
+++ b/research/experiments/041-batches/2026-10-19-counts.jsonl
@@ -38,3 +38,13 @@
 {"version":"b44","way":"rounds","work":"matmul","instructions":21186170497,"cycles":6763916506}
 {"version":"b44","way":"batches","work":"bfs","instructions":3341455171,"cycles":1657087395}
 {"version":"b44","way":"rounds","work":"bfs","instructions":4703547672,"cycles":2087752517}
+{"version":"b45","way":"batches","work":"roots","instructions":157245335,"cycles":109451862}
+{"version":"b45","way":"rounds","work":"roots","instructions":2715504052,"cycles":1002258422}
+{"version":"b45","way":"batches","work":"knapsack","instructions":348031907,"cycles":105539805}
+{"version":"b45","way":"rounds","work":"knapsack","instructions":22162412220,"cycles":7775287896}
+{"version":"b45","way":"batches","work":"join","instructions":1783720583,"cycles":1039636935}
+{"version":"b45","way":"rounds","work":"join","instructions":7723077757,"cycles":3351023538}
+{"version":"b45","way":"batches","work":"matmul","instructions":702231936,"cycles":226733671}
+{"version":"b45","way":"rounds","work":"matmul","instructions":21186169957,"cycles":6774482517}
+{"version":"b45","way":"batches","work":"bfs","instructions":3341456134,"cycles":1665227825}
+{"version":"b45","way":"rounds","work":"bfs","instructions":4707546895,"cycles":2096871761}