Proved: the evidence is a have under the running build (comment)

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;