Obligations
Checks run after the runtime stops. An independent check is pinned by its sha256 when the run is admitted.
- --expect FILE
- a file the task owes, non-empty and inside the workspace
- --check COMMAND
- a command that must pass, run by the harness after the runtime stops
- --check-independent PATH
- a script pinned by its sha256 when the run is admitted; changed bytes fail the check
- --criterion JUDGE: STATEMENT
- what must be true, and who decides: check, reviewer or person
- --review
- a second runtime reads the changes without the run's own account and judges them