pure/research/experiments/041-batches/2026-10-08-search-counts.jsonl, branch masterFast, lightweight verified computation and deterministic execution runtime.
http://git.yeowoo.org/pure/atom?h=master2026-10-08T10:47:34Z041 runs of b8 = d0558a3 and b9 = 33e9908 (the suite three ways and counts: batches BFS 24.0 ms, the compiled code 7.7, alone 92.7; knapsack 11.45 and matmul 40.0, up from b7's 10.3 and 36.5; the executor alone as before) and the search counts on b9 (BFS 112 instructions an edge, 57 cycles; the frontier sum 56 and 20; the compiled code 38.5 and 19, 35 and 15)2026-10-08T10:47:34Zeunhhunecpition205@gmail.com2026-10-08T10:47:34Zurn:sha1:6b6fbc29d809911ba8313e74eb429195f900f52a041 runs of b7 = 1f8faac (the suite three ways and counts: batches BFS 41.0 ms, the compiled code 7.66, alone 93.4; the others and the executor alone as b6's) and search/: the suite's graph loaded and one handler run again and again (frontier-run: each node's edges' to summed, 70 instructions an edge batched, 35 compiled; search-run: the BFS, 211 and 38.5), counted with icount (2026-10-08-search-counts.jsonl)2026-10-08T06:46:32Zeunhhunecpition205@gmail.com2026-10-08T06:46:32Zurn:sha1:14c315da3f8238070c4ae665be1bc139975310be