Synthesize the run's final JudgeVerdict from the latch state — one per-criterion verdict per checkpoint, Done = all met, Confidence = coverage. This rides the existing verdict → FinalJudgeVerdict → GoalCompletionOracle path with no oracle change.
Done
Confidence
FinalJudgeVerdict
GoalCompletionOracle
Synthesize the run's final JudgeVerdict from the latch state — one per-criterion verdict per checkpoint,
Done= all met,Confidence= coverage. This rides the existing verdict →FinalJudgeVerdict→GoalCompletionOraclepath with no oracle change.