judge_contract
Judge captured observations against a timing contract to return PASS/MARGINAL/FAIL/MISSING verdicts without hardware for replay or adapter data.
Instructions
Judge observations against a timing contract -> PASS/MARGINAL/FAIL/MISSING. No hardware; use for replay or when an adapter already captured.
Tool call template
Replace each placeholder with a value matching the input schema. Only required parameters are included; add optional parameters as needed.
{
"id": 1,
"jsonrpc": "2.0",
"method": "tools/call",
"params": {
"arguments": {
"contract_path": "<contract_path>",
"observations": "<observations>"
},
"name": "judge_contract"
}
}Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| observations | Yes | ||
| contract_path | Yes |