You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
This commit was created on GitHub.com and signed with GitHub’s verified signature.
Claim-match labels renamed from overclaim/underclaim to false_pass/false_fail. The comparison is the agent's report against the independent check, not claim honesty. Old result files are read with the old labels mapped automatically.
Since 0.4.0: plan from a pilot with spend left and --stop-when-decided (0.5.0); snapshot, compare and regress for regression checks (0.6.0); a minimum-change tolerance after a live check found a false improvement (0.6.1).