{"name":"syz-recon-audit","lang":"python3","entry":"check_recon.py","script":"python3 check_recon.py --payload payload.json --out verdict.json","input":{"type":"object","required":["entries","search_cutoff"],"properties":{"entries":{"type":"array","minItems":6,"items":{"type":"object","required":["family","identifier","tier"],"properties":{"family":{"type":"string"},"identifier":{"type":"string"},"tier":{"enum":["proven","partial","heuristic"]}}}},"search_cutoff":{"type":"string"}}},"output":{"type":"object","required":["verdict","checks"],"properties":{"verdict":{"enum":["pass","fail","invalid"]},"checks":{"type":"array"}}},"validation":{"null_tolerance":true,"enumeration_closure":{"closure":"The tier domain is exactly {proven, partial, heuristic}; each entry yields one tier and identifiers must parse as DOI (10.NNNN/...) or arXiv (NNNN.NNNNN). The script enumerates the three tiers and self-checks the tier count and identifier-format count.","tier_count":3,"identifier_format_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."}}}