Adjudicate a closed-set claim about a run (model_is, cost_le, no_tool_host, output_digest_at_step, step counts, status, run id) to supported | contradicted | unknown with the deciding evidence path.
| Network | Scheme | Amount | Pay To |
|---|---|---|---|
| Base | exact | $0.02 USDC | 0x8AfB...0Bc6 |