From b0ceffd9b58ae9615474c66d8bd54f19fb39073a Mon Sep 17 00:00:00 2001 From: Ralf Anton Beier Date: Wed, 9 Sep 2026 16:31:27 +0200 Subject: [PATCH] =?UTF-8?q?chore:=20the=20realm=20self-test=20labelled=20t?= =?UTF-8?q?he=20OLD=20pairing=20'jess=20today'=20=E2=80=94=20jess=20migrat?= =?UTF-8?q?ed=20in=208d7b2bc?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Both rows still assert the right verdicts; only the labels were stale, and a row that describes the wrong state is a comment that will mislead the next reader of a failure. The old pairing is now labelled as the frozen old realm, and the post-rotation row carries 'jess today'. Co-Authored-By: Claude Opus 4.8 --- tools/varve/check-realm.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/varve/check-realm.sh b/tools/varve/check-realm.sh index b23a086..6d9d038 100755 --- a/tools/varve/check-realm.sh +++ b/tools/varve/check-realm.sh @@ -54,8 +54,8 @@ if [ "${1:-}" = "--self-test" ]; then # Every row must be OBSERVED to give its stated verdict — including the two failures. # A guard whose failing cases were never executed is the vacuity this campaign keeps # finding in checkers rather than in code. - for row in "$OLD_ROOT|2026.08.4|0|pre-rotation pin, old root (jess today)" \ - "$NEW_ROOT|2026.09.2|0|post-rotation pin, new root" \ + for row in "$OLD_ROOT|2026.08.4|0|pre-rotation pin, old root (the frozen old realm)" \ + "$NEW_ROOT|2026.09.2|0|post-rotation pin, new root (jess today)" \ "$NEW_ROOT|2026.08.4|1|THE TRAP: new realms file, pin not moved" \ "$OLD_ROOT|2026.09.2|1|pin moved past the boundary, realm not updated" \ "deadbeef|2026.08.4|1|unrecognised root"; do