pub fn code_goal(judge: Arc<BoxedProvider>) -> GoalConditionExpand description
A GoalCondition whose independent judge gates completion on the
deterministic VERIFY_RESULT: PASS evidence produced by the verify tool.
pub fn code_goal(judge: Arc<BoxedProvider>) -> GoalConditionA GoalCondition whose independent judge gates completion on the
deterministic VERIFY_RESULT: PASS evidence produced by the verify tool.