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

1 files changed, 6 insertions, 0 deletions

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}}