judge_events
Evaluate decoded hardware events against a contract's timing assertions (when/require/within, forbid/while/before) to return pass, marginal, or fail verdicts.
Instructions
Judge decoded hardware events against an events contract's temporal assertions (when/require/within, forbid/while/before). Events: [{source, type, start_ns, end_ns, fields}].
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| events | Yes | ||
| contract_path | Yes |