027's 4f-2: no fixed count of states: the header's u16 alone (PURE_MODULE_STATES gone); a module's transient and counted states are flags of each, the lists views and functions change or name sets of states (state_words words, a bit each), the verifier's walked lists a list with its length, duplicate names found by sorting them; an app's eighteen arrays of each state (values, texts, lists, the stored lists' slots, the last save's and the burst's, a reader's, an event's values and marks) in one block sized to its module, a replace laying the new module's apart and taking it once nothing can fail; the runtime's lists placed past any state (PURE_LIST_HEARD 0x10000), their slots after the states'; a snapshot's arrays sized so too; pure_app_read false without room (pure-serve then shows none); a save's drafts, values and the tree's revisions on the stack for 64 states, else on the heap; the JIT compiles modules of 32 states at most (its sets a word), the app's lists read through a pointer; a view reads the app's values as they are (no state changes in one), no copy of 32 a evaluation; unit test: 300 states loaded and the last counted; a hole closed: pure_app_stop read the arrays a failed start never laid; PureApp 4,256 bytes, not 8,504; counts: b39b against b38 with batches within 0.06%, without batches knapsack +0.49%, join +0.23%, the rest within 0.17%; the bank's queries (s38 and s39b in turns, three each) field -1.99%, found -1.18%, in_credit -1.10%, large -0.99%, the rest -0.58% to +0.11% (the first build, s39, copied a view's values at run time's size: in_credit +2.4%); 008 and 027

1 files changed, 20 insertions, 0 deletions

diff --git a/research/experiments/041-batches/2026-10-18-counts.jsonl b/research/experiments/041-batches/2026-10-18-counts.jsonl
index 7b29e36..45e7776 100644
--- a/research/experiments/041-batches/2026-10-18-counts.jsonl
+++ b/research/experiments/041-batches/2026-10-18-counts.jsonl
@@ -138,3 +138,23 @@
 {"version":"b38","way":"rounds","work":"matmul","instructions":21163848735,"cycles":7467484636}
 {"version":"b38","way":"batches","work":"bfs","instructions":3339436314,"cycles":1648001735}
 {"version":"b38","way":"rounds","work":"bfs","instructions":4697444852,"cycles":2103018632}
+{"version":"b39","way":"batches","work":"roots","instructions":157245460,"cycles":109743101}
+{"version":"b39","way":"rounds","work":"roots","instructions":2715503224,"cycles":1022247002}
+{"version":"b39","way":"batches","work":"knapsack","instructions":348029618,"cycles":105495098}
+{"version":"b39","way":"rounds","work":"knapsack","instructions":22162560908,"cycles":7850938130}
+{"version":"b39","way":"batches","work":"join","instructions":1783718615,"cycles":1081415678}
+{"version":"b39","way":"rounds","work":"join","instructions":7723675399,"cycles":3499418387}
+{"version":"b39","way":"batches","work":"matmul","instructions":702228698,"cycles":227384027}
+{"version":"b39","way":"rounds","work":"matmul","instructions":21186408154,"cycles":7049343147}
+{"version":"b39","way":"batches","work":"bfs","instructions":3345454177,"cycles":1709328930}
+{"version":"b39","way":"rounds","work":"bfs","instructions":4705142450,"cycles":2084825460}
+{"version":"b39b","way":"batches","work":"roots","instructions":157250010,"cycles":109528701}
+{"version":"b39b","way":"rounds","work":"roots","instructions":2715503306,"cycles":1021040066}
+{"version":"b39b","way":"batches","work":"knapsack","instructions":348029584,"cycles":105163550}
+{"version":"b39b","way":"rounds","work":"knapsack","instructions":22162560899,"cycles":7840125192}
+{"version":"b39b","way":"batches","work":"join","instructions":1783718499,"cycles":1021101298}
+{"version":"b39b","way":"rounds","work":"join","instructions":7723675521,"cycles":3522966551}
+{"version":"b39b","way":"batches","work":"matmul","instructions":702228822,"cycles":227369118}
+{"version":"b39b","way":"rounds","work":"matmul","instructions":21186408258,"cycles":7035750569}
+{"version":"b39b","way":"batches","work":"bfs","instructions":3341451010,"cycles":1659602824}
+{"version":"b39b","way":"rounds","work":"bfs","instructions":4705138988,"cycles":2092014946}