{"name":"syz-counterexample-hunt","lang":"python3","entry":"check_hunt.py","script":"python3 check_hunt.py --payload payload.json --out verdict.json","input":{"type":"object","required":["mode","command","exit_code","artifact_sha256","search_bound"],"properties":{"mode":{"enum":["counterexample-found","bounded-search"]},"command":{"type":"string"},"exit_code":{"type":"integer"},"artifact_sha256":{"type":"string","pattern":"^[0-9a-f]{64}$"},"witness":{"type":"object"},"search_bound":{"type":"string","minLength":1}}},"output":{"type":"object","required":["verdict","checks"],"properties":{"verdict":{"enum":["pass","fail","invalid"]},"checks":{"type":"array"}}},"validation":{"null_tolerance":true,"enumeration_closure":{"closure":"Mode domain is exactly {counterexample-found, bounded-search}. In counterexample-found mode a witness object is mandatory; in bounded-search mode search_bound is mandatory and must state where the search stops. The script enumerates the two modes and self-checks the mode count.","mode_count":2},"proposition_fidelity":{"artifact":"pin://f98855bc0903e5a4cabb499c5000aa2b9c5a5a4a86fd2b6e5fbb826a1a9a66e8i0","description":"Independent verifier-contract document published before the task, describing for each node what its verifier checks, what the machine can decide, and what is left to human review. Node-specific section: see the matching node heading in the artifact."}}}