Upstream contribution · mvschwarz/openrig
openrig · Show OpenRig mission labels after proof acceptance
Problem
An OpenRig mission declared complete could still display a qualified label asking for proof review when its current evidence was already ready. That label confused two decisions an operator needs to see independently.
Engineering response
The dashboard formatter uses the authored completion label when both the declaration and proof support it. Active or paused declarations and incomplete or mixed proof keep their qualified labels.
Evidence and scope
The pull request records five failing formatter cases on the baseline and 1,784 passing UI tests after the fix. Its full test command still exited with four daemon-suite failures.