From 94daa9c6619618c6e2cff164aca04c2da2028edf Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Fri, 21 Aug 2026 19:00:47 +0200 Subject: [PATCH] chore(rivet): RQ-59-MEASURE and RQ-59-WCETI64 are implemented MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit #1025 and #1026 merged. v0.59 now 6/11. Like RQ-59-REACH, MEASURE is implemented on a verdict rather than a change: DO NOT FLIP. The colourer wins on net (-122 B, -31 insns, -72 push/pop regs) but does not dominate — frame traffic +22 — and the named root cause is that the Chaitin occurrence-count cost metric prices a 2-byte register copy and a 4-byte frame reload identically. Delivering the verdict IS the artifact; the flip is a separate gated step needing silicon evidence. WCETI64 closed #936's residual: all four ops priced from the real encoder's byte length, and the OS shape that motivated the issue (narrow an i64 read to i32) now bounds at 80 cycles instead of declining. Two of the four ops moved no decline and the lane said so rather than counting them as wins. Refs #242, #936. --- artifacts/release-v0.59.yaml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/artifacts/release-v0.59.yaml b/artifacts/release-v0.59.yaml index 9ba45bd0..d42d1a4a 100644 --- a/artifacts/release-v0.59.yaml +++ b/artifacts/release-v0.59.yaml @@ -242,7 +242,7 @@ requirements: DO NOT FLIP THE DEFAULT IN THIS RELEASE regardless of the verdict — the arc is spike -> measure -> flip-when-dominates -> Rocq-mechanize -> retire greedy, and flipping is its own gated step with silicon evidence. - status: proposed + status: implemented release: v0.59 tags: [north-star, measurement, allocator, verdict] links: @@ -283,7 +283,7 @@ requirements: Gate: the bound must stay SOUND (>= actual) on the unicorn cross-check, and `.text` must be unchanged — the sidecar is byte-invisible. - status: proposed + status: implemented release: v0.59 tags: [wcet, i64, decline-honesty, soundness] links: