Teaching data; results describe these cases only. Candidate kind: local_rules.
Imported reports are user-supplied evidence, not authenticated measurements. Review inputs and outputs before sharing.
PASS schema: Return a bounded trace and final status.
PASS budget: At most 5 tool calls.
PASS trace: Every recorded result matches independent tool replay.
PASS goal: The replayed outcome must satisfy the reference goal.
PASS final_state: Reported final state must agree with replay.
PASS schema: Return a bounded trace and final status.
PASS budget: At most 5 tool calls.
PASS trace: Every recorded result matches independent tool replay.
PASS goal: The replayed outcome must satisfy the reference goal.
PASS final_state: Reported final state must agree with replay.
PASS schema: Return a bounded trace and final status.
PASS budget: At most 5 tool calls.
PASS trace: Every recorded result matches independent tool replay.
PASS goal: The replayed outcome must satisfy the reference goal.
PASS final_state: Reported final state must agree with replay.
PASS schema: Return a bounded trace and final status.
PASS budget: At most 5 tool calls.
PASS trace: Every recorded result matches independent tool replay.
PASS goal: The replayed outcome must satisfy the reference goal.
PASS termination: Unavailable requires a missing-order result or an exhausted retry budget.
PASS final_state: Reported final state must agree with replay.
PASS schema: Return a bounded trace and final status.
PASS budget: At most 5 tool calls.
PASS trace: Every recorded result matches independent tool replay.
PASS goal: The replayed outcome must satisfy the reference goal.
PASS final_state: Reported final state must agree with replay.
PASS schema: Return a bounded trace and final status.
PASS budget: At most 5 tool calls.
PASS trace: Every recorded result matches independent tool replay.
PASS goal: The replayed outcome must satisfy the reference goal.
PASS final_state: Reported final state must agree with replay.
PASS schema: Return a bounded trace and final status.
PASS budget: At most 5 tool calls.
PASS trace: Every recorded result matches independent tool replay.
PASS goal: The replayed outcome must satisfy the reference goal.
PASS final_state: Reported final state must agree with replay.
PASS schema: Return a bounded trace and final status.
PASS budget: At most 3 tool calls.
PASS trace: Every recorded result matches independent tool replay.
PASS goal: The replayed outcome must satisfy the reference goal.
PASS termination: Unavailable requires a missing-order result or an exhausted retry budget.
PASS final_state: Reported final state must agree with replay.
Data attribution and license
Bundled cases are synthetic teaching data under MIT-0. Custom cases may have different provenance.