From c30b86ae22475a6f93dbfc359aa2c1d0a23d2b11 Mon Sep 17 00:00:00 2001 From: jochen Date: Sat, 24 Oct 2026 16:26:39 +0200 Subject: [PATCH] Proved: the evidence is a have under the running build (comment) --- internal/upgrade/witnessed.go | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/internal/upgrade/witnessed.go b/internal/upgrade/witnessed.go index 4a2cf03..5b386de 100644 --- a/internal/upgrade/witnessed.go +++ b/internal/upgrade/witnessed.go @@ -87,7 +87,7 @@ func RolledBackVersions(verdicts []Verdict) []string { return out } -// Proved is this host's version seen to report its declaration under its own build: the evidence a +// Proved is this host's version seen to write a have key under its own build (novox/hq ADR 0539 ยง9; before it was a report of a declaration): the evidence a // trial waits for, and the only evidence known-good has ever claimed (novox/hq ADR 0005). // // - known-good becomes this version, which ends the launcher's trial;