Single signals file
geval check accepts one --signals path and multiple --contract paths:
Combining across contracts
Use--combine-contracts (default worst_case) to control how per-contract outcomes merge into the overall result. See check.
Operational tips
- Keep each contract versioned independently.
- Run
geval validate-contracton each contract in CI before spending time on signal generation.