diff options
| author | eunhhu <[email protected]> | 2026-10-19 11:58:43 +0100 |
|---|---|---|
| committer | eunhhu <[email protected]> | 2026-10-19 11:58:43 +0100 |
| commit | 3b127e6193026188939f0c8b06fb769518deaef5 (patch) | |
| tree | df9c140507e8b1fc7ef59890c57f56d1afcc7dcb /research/experiments/045-proof-compiler | |
| parent | 5db97c60b953205e68d273b9b56424d346fa750d (diff) | |
| download | pure-3b127e6193026188939f0c8b06fb769518deaef5.tar.gz pure-3b127e6193026188939f0c8b06fb769518deaef5.zip | |
029: principle 1 broken on UAX #14 (045), written as its own rule asks: (a) 2.19x against 4x, its premise wrong (the source already keeps t.cls[i] in locals: the reads only the proof merges are 16.4 of 549.9), (b) 1.31x against 3x, and the path capped (interpretation is 22 of an instruction's 74 machine instructions: stitching bodies gives at most 1.42x); what was tested (step() on constant instructions, frame and checks as they are) and what was not (an emitter given the proof, the general JIT 008 forbids); where it goes (runtime machinery: a call 1,375, a stored read 331, the lists 22,651 a point) and the 7x the batch lanes give that a fn in a block loses; the 1,774 and 3.2-3.9 ns corrected (the budget's count: 549.9 run, 11.7 ns each) here and in 140; the op counts kept
Diffstat (limited to 'research/experiments/045-proof-compiler')
| -rw-r--r-- | research/experiments/045-proof-compiler/2026-10-19-ops.txt | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/research/experiments/045-proof-compiler/2026-10-19-ops.txt b/research/experiments/045-proof-compiler/2026-10-19-ops.txt new file mode 100644 index 0000000..fd18476 --- /dev/null +++ b/research/experiments/045-proof-compiler/2026-10-19-ops.txt @@ -0,0 +1,35 @@ +CONST 4703032 0 +ADD 700234 0 +SUB 1014832 0 +LT 1104 0 +LE 698524 0 +GT 976466 0 +GE 98373 0 +EQ 1602826 0 +NE 79705 0 +AND 170898 0 +OR 39511 0 +NOT 772197 0 +JZ 4105359 0 +JMP 567474 0 +TEXT_SET 18672 0 +LIST_COUNT 203422 85565 +LIST_APPEND 634309 0 +ITEM_GET 1454991 332863 +ROW 122570 0 +PICK 198855 0 +SLIDE 50563 0 +MOD 18 0 +EACH 18673 0 +LOCAL_LOAD 9230328 0 +LOCAL_STORE 3113793 0 +I64_FROM 42613 0 +LOOP 80835 0 +BREAK 62163 0 +BYTES_OF 18672 0 +LIST_VALUE 168048 0 +LIST_BIND 482333 250353 +CALL 119917 0 +RETURN 119917 0 +FLOORDIV 698524 0 +INDEX_AT 1332421 333613 |