verify_claim
Verify claims about a model's outputs against the engine before presenting them to a user. Pass the model inputs plus one or more claims ({path, op, value}); each claim comes back verified, violated, or out-of-scope, with the engine's computed value as proof and a decision-record hash tying the verdict to this spec version and these inputs. Out-of-scope means the model does not compute the claimed quantity — this tool never guesses. Use it to check a number you are about to state; use run_model when you want the full output envelope.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| model | Yes | Model name from list_models | |
| claims | Yes | Claims to check (max 50) | |
| inputs | Yes | Model inputs per the contract's domains | |
| api_key | No | Worthune Pro API key (wk_…). Required for models outside the free sample; the free models verify without one. |