Outcome check
Also written: outcome checks, path checks
A check on what must be true at the end, such as "a return label was sent", rather than on the exact sequence of tool calls. It is less brittle; keep path checks for safety rules and cost limits.