Module format v7, 027's 4d: every input a message: a module's inputs are messages, outputs and arguments (kinds 1 to 3), a message bound to what makes it (PureBinding: a key's press or its release, a text input, a timer, a frame, a pointing at a table), each binding's fields fixed (none; one text; one number, dt; one u32, the item's position, the table its view), one frame input at most; a handler's event its input's number; no DT or TEXT_INPUT (97 opcodes now 95, FIELD reads dt and the text), pure_app_input, frame, tick, text and point, pure_module_position, PureEdge or an app's ticks: every event is pure_app_message, saved after it unless deferred; pure-run sends each command's message to the input bound so (a release or a frame no input takes still an event, clearing the fault, so the workbench parity holds) and defers a stored app's saves past frames as before; pure-serve posts a press with its key's release, refuses timers, frames and pointings (no_input) and ticks timers as messages; holes closed: the tier found a handler's input by the old numbering, reading a message's number field as another input's (aup's numbers caught it), and serve's replies_borrow did too; module-probe presses as messages; unit tests: the test modules' builder (expand) writes the old shapes as bound messages, pointing over a pointing input and its table, stored frames deferred as a host defers them, a press's handler refused a FIELD; counts: b35 against b34 with batches BFS +0.03%, the rest within 0.001%, without batches BFS +0.12%, join +0.01%; the bank's queries (s34 on the 4c aup's module, s35 on 4d's, six each in turns) field -0.23%, found -0.14%, large -0.12%, in_credit +0.11%, the rest within 0.06%; 008 and 027

2 files changed, 12 insertions, 0 deletions

diff --git a/research/experiments/040-against-c/2026-10-18-counts-s34c.jsonl b/research/experiments/040-against-c/2026-10-18-counts-s34c.jsonl
new file mode 100644
index 0000000..9c7a749
--- /dev/null
+++ b/research/experiments/040-against-c/2026-10-18-counts-s34c.jsonl
@@ -0,0 +1,6 @@
+{"serve": "pure-serve", "per_branch": {"instructions": 27241808, "cycles": 11936398}, "in_credit": {"instructions": 3544166, "cycles": 1596606}, "large": {"instructions": 1429127, "cycles": 613764}, "ranks": {"instructions": 24548046, "cycles": 15021491}, "none": {"instructions": 617940, "cycles": 211324}, "field": {"instructions": 9090056, "cycles": 3300918}, "found": {"instructions": 14242768, "cycles": 11517400}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26978829, "cycles": 11649471}, "in_credit": {"instructions": 3485099, "cycles": 1601801}, "large": {"instructions": 1429199, "cycles": 614198}, "ranks": {"instructions": 24403224, "cycles": 14777297}, "none": {"instructions": 617940, "cycles": 192347}, "field": {"instructions": 9090056, "cycles": 3286492}, "found": {"instructions": 14244568, "cycles": 10697999}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27222597, "cycles": 11845946}, "in_credit": {"instructions": 3539828, "cycles": 1617340}, "large": {"instructions": 1429087, "cycles": 610887}, "ranks": {"instructions": 24537643, "cycles": 15097164}, "none": {"instructions": 617940, "cycles": 200272}, "field": {"instructions": 9090056, "cycles": 3296117}, "found": {"instructions": 14241520, "cycles": 10631980}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27130318, "cycles": 11749744}, "in_credit": {"instructions": 3519073, "cycles": 1586591}, "large": {"instructions": 1429143, "cycles": 610543}, "ranks": {"instructions": 24486572, "cycles": 14926619}, "none": {"instructions": 617940, "cycles": 191799}, "field": {"instructions": 9090056, "cycles": 3292585}, "found": {"instructions": 14241569, "cycles": 10519417}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27143006, "cycles": 11829531}, "in_credit": {"instructions": 3521918, "cycles": 1592510}, "large": {"instructions": 1429063, "cycles": 612123}, "ranks": {"instructions": 24493167, "cycles": 14957482}, "none": {"instructions": 617940, "cycles": 190022}, "field": {"instructions": 9090056, "cycles": 3297456}, "found": {"instructions": 14241608, "cycles": 10726223}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26968012, "cycles": 11648064}, "in_credit": {"instructions": 3482584, "cycles": 1625366}, "large": {"instructions": 1429159, "cycles": 622308}, "ranks": {"instructions": 24395932, "cycles": 14728362}, "none": {"instructions": 618043, "cycles": 191009}, "field": {"instructions": 9090057, "cycles": 3306237}, "found": {"instructions": 14243385, "cycles": 10733720}}
diff --git a/research/experiments/040-against-c/2026-10-18-counts-s35.jsonl b/research/experiments/040-against-c/2026-10-18-counts-s35.jsonl
new file mode 100644
index 0000000..62903f7
--- /dev/null
+++ b/research/experiments/040-against-c/2026-10-18-counts-s35.jsonl
@@ -0,0 +1,6 @@
+{"serve": "pure-serve", "per_branch": {"instructions": 27134298, "cycles": 11770920}, "in_credit": {"instructions": 3519964, "cycles": 1604441}, "large": {"instructions": 1427444, "cycles": 607949}, "ranks": {"instructions": 24487384, "cycles": 14887418}, "none": {"instructions": 617935, "cycles": 190996}, "field": {"instructions": 9069360, "cycles": 3271818}, "found": {"instructions": 14221946, "cycles": 10571214}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27271438, "cycles": 11957396}, "in_credit": {"instructions": 3550870, "cycles": 1614461}, "large": {"instructions": 1427404, "cycles": 604385}, "ranks": {"instructions": 24563270, "cycles": 15249598}, "none": {"instructions": 618038, "cycles": 207684}, "field": {"instructions": 9069257, "cycles": 3299948}, "found": {"instructions": 14219410, "cycles": 10737436}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26951202, "cycles": 11671165}, "in_credit": {"instructions": 3478877, "cycles": 1571415}, "large": {"instructions": 1427452, "cycles": 605258}, "ranks": {"instructions": 24385789, "cycles": 14773674}, "none": {"instructions": 617935, "cycles": 189579}, "field": {"instructions": 9069360, "cycles": 3270389}, "found": {"instructions": 14223058, "cycles": 11102582}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27173890, "cycles": 11860682}, "in_credit": {"instructions": 3528990, "cycles": 1590021}, "large": {"instructions": 1427348, "cycles": 607124}, "ranks": {"instructions": 24510286, "cycles": 14855785}, "none": {"instructions": 617935, "cycles": 189867}, "field": {"instructions": 9069257, "cycles": 3279728}, "found": {"instructions": 14220113, "cycles": 10638247}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27191279, "cycles": 11911258}, "in_credit": {"instructions": 3532712, "cycles": 1600316}, "large": {"instructions": 1427348, "cycles": 601054}, "ranks": {"instructions": 24519231, "cycles": 16239226}, "none": {"instructions": 617935, "cycles": 204242}, "field": {"instructions": 9069257, "cycles": 3294470}, "found": {"instructions": 14221233, "cycles": 10685197}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27054210, "cycles": 11369237}, "in_credit": {"instructions": 3502013, "cycles": 1598130}, "large": {"instructions": 1427452, "cycles": 599999}, "ranks": {"instructions": 24443319, "cycles": 14850028}, "none": {"instructions": 617935, "cycles": 195503}, "field": {"instructions": 9069257, "cycles": 3269386}, "found": {"instructions": 14222129, "cycles": 10753065}}