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;