045: range() emitted by hand, Pure's meaning kept or dropped where the proof could license it (range.c; every way's answers the executor's and the stitched build's, for all 61,285 points): a code point's machine instructions in the executor 14,488, stitched 8,144, exact (registers, a plain call; doubles, fmod, the finite and whole checks, the tree read, the budget) 2,474, integers 1,587, a flat column 1,083, both 226, C 129; a round of halving exact 217, both 19.8, C 11.3: the bar (3x C's round) missed by exact, passed by both

1 files changed, 6 insertions, 0 deletions

diff --git a/research/experiments/045-proof-compiler/2026-10-19-range.jsonl b/research/experiments/045-proof-compiler/2026-10-19-range.jsonl
new file mode 100644
index 0000000..d814ced
--- /dev/null
+++ b/research/experiments/045-proof-compiler/2026-10-19-range.jsonl
@@ -0,0 +1,6 @@
+{"what": "range() in the executor and stitched: (variant v0r) - (variant v0), events.c, PURE_JIT=0, 3 rounds, two runs; v0 the same in both builds (0.63 instructions a point run)", "executor": {"instructions_per_point": [14487.9, 14489.199999999999], "cycles_per_point": [5512.7, 5503.6]}, "stitched": {"instructions_per_point": [8144.1, 8145.299999999999], "cycles_per_point": [3224.1, 3193.7]}, "answers": "range-out stitched (17,262 to 10,601 a point, so it ran) gave the executor's answers to range.c, which the five ways equal"}
+{"way": "exact", "code_points": 61285, "rounds_of_halving_per_point": 11.4, "rounds": 5, "instructions_per_point": 2474.0, "cycles_per_point": 1315.3, "instructions_per_round": 217.06, "cycles_per_round": 115.4, "answers": "the executor's"}
+{"way": "integer", "code_points": 61285, "rounds_of_halving_per_point": 11.4, "rounds": 5, "instructions_per_point": 1586.6, "cycles_per_point": 875.4, "instructions_per_round": 139.2, "cycles_per_round": 76.81, "answers": "the executor's"}
+{"way": "flat", "code_points": 61285, "rounds_of_halving_per_point": 11.4, "rounds": 5, "instructions_per_point": 1083.0, "cycles_per_point": 633.2, "instructions_per_round": 95.01, "cycles_per_round": 55.55, "answers": "the executor's"}
+{"way": "both", "code_points": 61285, "rounds_of_halving_per_point": 11.4, "rounds": 5, "instructions_per_point": 226.2, "cycles_per_point": 124.5, "instructions_per_round": 19.84, "cycles_per_round": 10.92, "answers": "the executor's"}
+{"way": "c", "code_points": 61285, "rounds_of_halving_per_point": 11.4, "rounds": 5, "instructions_per_point": 129.0, "cycles_per_point": 92.7, "instructions_per_round": 11.32, "cycles_per_round": 8.13, "answers": "the executor's"}