pure/research/experiments/040-against-c/2026-10-08-load.txt, branch masterFast, lightweight verified computation and deterministic execution runtime.
http://git.yeowoo.org/pure/atom?h=master2026-10-08T16:48:03ZResearch 137: the batch executor's stage 4 (columns read in place, comparisons counting their lanes): knapsack 10.07 to 8.25 ms (bar 8.6; b9 11.46, the compiled code 7.9), its instructions 12.2% below b9's; what is left of knapsack's gap is the per-batch interpretation (about 3 ms), not the kernels (ADD 1.7, GT 1.7, the masked set 0.55 ms); the others the same by instructions; make check's server_view_workers timed out once (the known flake), passed 3/3 alone and in a full rerun; bank queries' instructions within 0.1% of b9's, TPC-C -0.3%; the two large gaps left (matmul's nested rounds, BFS's candidate tail) the user's to choose2026-10-08T16:48:03Zeunhhunecpition205@gmail.com2026-10-08T16:48:03Zurn:sha1:59510b75aaf6781fe7dfa10f617c06d5272bd746Research 136: the batch executor's stage 3 (four-byte MUL, reductions with no lanes while every lane's e is the same, a list's cells once a batch): against b9, interleaved, matmul 40.01 to 25.97 ms, knapsack 11.47 to 10.07, roots 8.97 to 8.29, join 117.2 to 115.8, BFS and sort the same; sum0 8.69 to 1.01 (bar 1.5); matmul short of its bar (21): the nested rounds' interpretation (about 14 ms) and the matrices' making (4-5) were left out of the arithmetic; the executor alone and the bank queries' instructions as b9 (0.08%), TPC-C +0.7%; stage 4 next (knapsack's six passes to three)2026-10-08T15:53:29Zeunhhunecpition205@gmail.com2026-10-08T15:53:29Zurn:sha1:be51c8a15d4f220ea8322f3c562f1f0c51b1e8e7