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, 6 insertions, 0 deletions

diff --git a/research/experiments/040-against-c/2026-10-18-counts-s39b.jsonl b/research/experiments/040-against-c/2026-10-18-counts-s39b.jsonl
new file mode 100644
index 0000000..a539cef
--- /dev/null
+++ b/research/experiments/040-against-c/2026-10-18-counts-s39b.jsonl
@@ -0,0 +1,6 @@
+{"serve": "pure-serve", "per_branch": {"instructions": 27360804, "cycles": 11545807}, "in_credit": {"instructions": 3571052, "cycles": 1643630}, "large": {"instructions": 1425086, "cycles": 638653}, "ranks": {"instructions": 24605299, "cycles": 15131628}, "none": {"instructions": 616733, "cycles": 189773}, "field": {"instructions": 9068158, "cycles": 3292104}, "found": {"instructions": 14207567, "cycles": 10574932}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27135595, "cycles": 11877425}, "in_credit": {"instructions": 3516959, "cycles": 1701094}, "large": {"instructions": 1410989, "cycles": 596882}, "ranks": {"instructions": 24462411, "cycles": 14996706}, "none": {"instructions": 617412, "cycles": 191578}, "field": {"instructions": 8887523, "cycles": 3098617}, "found": {"instructions": 14040405, "cycles": 10512668}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27293600, "cycles": 12094763}, "in_credit": {"instructions": 3556001, "cycles": 1645229}, "large": {"instructions": 1425126, "cycles": 610823}, "ranks": {"instructions": 24569038, "cycles": 14957957}, "none": {"instructions": 616741, "cycles": 191024}, "field": {"instructions": 9068064, "cycles": 3388688}, "found": {"instructions": 14206167, "cycles": 10807883}}
+{"serve": "pure-serve", "per_branch": {"instructions": 26973339, "cycles": 11639213}, "in_credit": {"instructions": 3480613, "cycles": 1591285}, "large": {"instructions": 1411029, "cycles": 607636}, "ranks": {"instructions": 24373751, "cycles": 14914522}, "none": {"instructions": 617412, "cycles": 191694}, "field": {"instructions": 8887420, "cycles": 3106773}, "found": {"instructions": 14041324, "cycles": 10311028}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27079702, "cycles": 11842700}, "in_credit": {"instructions": 3507813, "cycles": 1608816}, "large": {"instructions": 1425238, "cycles": 627439}, "ranks": {"instructions": 24449335, "cycles": 14965019}, "none": {"instructions": 616741, "cycles": 191783}, "field": {"instructions": 9068064, "cycles": 3317887}, "found": {"instructions": 14211959, "cycles": 10770860}}
+{"serve": "pure-serve", "per_branch": {"instructions": 27231972, "cycles": 11876324}, "in_credit": {"instructions": 3538419, "cycles": 1736665}, "large": {"instructions": 1410965, "cycles": 615990}, "ranks": {"instructions": 24514950, "cycles": 15068801}, "none": {"instructions": 617412, "cycles": 207334}, "field": {"instructions": 8887420, "cycles": 3101559}, "found": {"instructions": 14039620, "cycles": 10365033}}