027's stage 5 designed and 5a made: two numbers (number, binary64, the default of literals and of counts, positions, lengths and u32 fields, whole to 2^53 exactly; i64 the exact integers past it, bits and money, never mixed, moved by number() and i64() when exact), / a number's division, // the floored quotient, i64 folds exact (only the result in range, so in any order), number folds in order unless the batch executor's 2^53 test says any order is exact, money as i64 minor units shown by .Nd, a replace carrying number, bool and i64 when exact; 5a: opcode FLOORDIV (95, 96 now): a number's floored quotient as Python's float //, exactly (a less its floored remainder, divided, to the nearest whole; a zero signed as a / b; by zero divide), a new opcode so the JIT, the tier and the batch executor leave it to the executor; unit test floor_division (7 // 2, -7 // 2, 7 // -2, 1 // 0.1 = 9, 0 // -3 = -0, 1e300 // 7, by zero); counts: b43 against b42 within 0.001% but BFS without batches -0.09%; the bank's queries (s42 and s43 in turns, six each) -0.20% to 0.00%; 008 and 027

2 files changed, 22 insertions, 0 deletions

diff --git a/research/experiments/040-against-c/2026-10-19-counts-s43.jsonl b/research/experiments/040-against-c/2026-10-19-counts-s43.jsonl
new file mode 100644
index 0000000..3c376cb
--- /dev/null
+++ b/research/experiments/040-against-c/2026-10-19-counts-s43.jsonl
@@ -0,0 +1,12 @@
+{"serve": "pure-serve", "per_branch": {"instructions": 27047243, "cycles": 11689798}, "in_credit": {"instructions": 3496991, "cycles": 1607154}, "large": {"instructions": 1412830, "cycles": 600237}, "ranks": {"instructions": 24415275, "cycles": 14986084}, "none": {"instructions": 617346, "cycles": 188795}, "field": {"instructions": 8917677, "cycles": 3131398}, "found": {"instructions": 14070799, "cycles": 10410020}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27096179, "cycles": 11779409}, "in_credit": {"instructions": 3508003, "cycles": 1643044}, "large": {"instructions": 1412862, "cycles": 589402}, "ranks": {"instructions": 24443281, "cycles": 14729351}, "none": {"instructions": 617346, "cycles": 197858}, "field": {"instructions": 8917574, "cycles": 3100270}, "found": {"instructions": 14069967, "cycles": 10336650}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27046648, "cycles": 11407491}, "in_credit": {"instructions": 3496871, "cycles": 1607966}, "large": {"instructions": 1412854, "cycles": 595377}, "ranks": {"instructions": 24415831, "cycles": 15099521}, "none": {"instructions": 617346, "cycles": 195509}, "field": {"instructions": 8917574, "cycles": 3112623}, "found": {"instructions": 14070670, "cycles": 10552319}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27172179, "cycles": 11797248}, "in_credit": {"instructions": 3525116, "cycles": 1604609}, "large": {"instructions": 1412766, "cycles": 596630}, "ranks": {"instructions": 24485315, "cycles": 14888250}, "none": {"instructions": 617346, "cycles": 190584}, "field": {"instructions": 8917574, "cycles": 3103366}, "found": {"instructions": 14067734, "cycles": 10384052}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27243839, "cycles": 11832991}, "in_credit": {"instructions": 3541033, "cycles": 1752046}, "large": {"instructions": 1412902, "cycles": 588650}, "ranks": {"instructions": 24523700, "cycles": 15063501}, "none": {"instructions": 617350, "cycles": 189045}, "field": {"instructions": 8917574, "cycles": 3096652}, "found": {"instructions": 14071735, "cycles": 10551854}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27166328, "cycles": 11864741}, "in_credit": {"instructions": 3523683, "cycles": 1637515}, "large": {"instructions": 1412846, "cycles": 605901}, "ranks": {"instructions": 24481539, "cycles": 14558275}, "none": {"instructions": 617346, "cycles": 188551}, "field": {"instructions": 8917574, "cycles": 3107277}, "found": {"instructions": 14070214, "cycles": 10469226}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27186157, "cycles": 11822639}, "in_credit": {"instructions": 3528111, "cycles": 1641510}, "large": {"instructions": 1412918, "cycles": 591550}, "ranks": {"instructions": 24491803, "cycles": 15034811}, "none": {"instructions": 617346, "cycles": 192547}, "field": {"instructions": 8917574, "cycles": 3098023}, "found": {"instructions": 14069918, "cycles": 10570428}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27075881, "cycles": 12587949}, "in_credit": {"instructions": 3503428, "cycles": 1662798}, "large": {"instructions": 1412878, "cycles": 589913}, "ranks": {"instructions": 24430910, "cycles": 14718538}, "none": {"instructions": 617449, "cycles": 189277}, "field": {"instructions": 8917574, "cycles": 3104978}, "found": {"instructions": 14070911, "cycles": 10608808}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27187691, "cycles": 11787503}, "in_credit": {"instructions": 3528550, "cycles": 1660533}, "large": {"instructions": 1412766, "cycles": 588274}, "ranks": {"instructions": 24493383, "cycles": 14704362}, "none": {"instructions": 617346, "cycles": 189544}, "field": {"instructions": 8917574, "cycles": 3119834}, "found": {"instructions": 14066702, "cycles": 10432332}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27005720, "cycles": 11716175}, "in_credit": {"instructions": 3487749, "cycles": 1557087}, "large": {"instructions": 1412870, "cycles": 592784}, "ranks": {"instructions": 24394115, "cycles": 14783563}, "none": {"instructions": 617346, "cycles": 192543}, "field": {"instructions": 8917574, "cycles": 3114559}, "found": {"instructions": 14071278, "cycles": 10343596}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27128475, "cycles": 11757578}, "in_credit": {"instructions": 3515189, "cycles": 1614634}, "large": {"instructions": 1412846, "cycles": 623225}, "ranks": {"instructions": 24460528, "cycles": 15001740}, "none": {"instructions": 617346, "cycles": 189534}, "field": {"instructions": 8917677, "cycles": 3096738}, "found": {"instructions": 14071143, "cycles": 10528194}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27154153, "cycles": 11748579}, "in_credit": {"instructions": 3520998, "cycles": 1620124}, "large": {"instructions": 1412790, "cycles": 587241}, "ranks": {"instructions": 24474542, "cycles": 14856006}, "none": {"instructions": 617346, "cycles": 189148}, "field": {"instructions": 8917575, "cycles": 3102194}, "found": {"instructions": 14066870, "cycles": 10315697}}
diff --git a/research/experiments/041-batches/2026-10-19-counts.jsonl b/research/experiments/041-batches/2026-10-19-counts.jsonl
index df0c154..3746b9e 100644
--- a/research/experiments/041-batches/2026-10-19-counts.jsonl
+++ b/research/experiments/041-batches/2026-10-19-counts.jsonl
@@ -18,3 +18,13 @@
 {"version":"b42","way":"rounds","work":"matmul","instructions":21186409896,"cycles":7038688726}
 {"version":"b42","way":"batches","work":"bfs","instructions":3341462103,"cycles":1673340823}
 {"version":"b42","way":"rounds","work":"bfs","instructions":4709148541,"cycles":2184940702}
+{"version":"b43","way":"batches","work":"roots","instructions":157246397,"cycles":109505019}
+{"version":"b43","way":"rounds","work":"roots","instructions":2715503987,"cycles":999976397}
+{"version":"b43","way":"batches","work":"knapsack","instructions":348031324,"cycles":105474340}
+{"version":"b43","way":"rounds","work":"knapsack","instructions":22162562687,"cycles":7749754834}
+{"version":"b43","way":"batches","work":"join","instructions":1783720391,"cycles":1012592603}
+{"version":"b43","way":"rounds","work":"join","instructions":7723677646,"cycles":3345712383}
+{"version":"b43","way":"batches","work":"matmul","instructions":702230543,"cycles":227373960}
+{"version":"b43","way":"rounds","work":"matmul","instructions":21186409838,"cycles":6817006402}
+{"version":"b43","way":"batches","work":"bfs","instructions":3341463903,"cycles":1640907916}
+{"version":"b43","way":"rounds","work":"bfs","instructions":4705147005,"cycles":2086468365}