{"$schema":"https://json-schema.org/draft/2020-12/schema","$id":"https://assignee.net/schemas/gate-verdict-v1","title":"Assignee Research Gate Verdict","type":"object","required":["schema","schema_version","contract_version","status","label","definition","reason","evaluated_at","gate","enforcement"],"properties":{"schema":{"const":"https://assignee.net/schemas/gate-verdict-v1"},"schema_version":{"type":"string"},"contract_version":{"type":"string"},"status":{"type":"string","enum":["UNVERIFIED","VERIFIED","FALSIFIED"]},"label":{"type":"string"},"definition":{"type":"string"},"reason":{"type":"string"},"evaluated_at":{"type":["string","null"],"format":"date-time"},"gate":{"type":"string"},"enforcement":{"type":"string"}},"x-statuses":[{"status":"UNVERIFIED","label":"Unverified","definition":"This record has not completed Gate 2 of the verification pipeline (a type-checked Lean4 proof for mathematical claims, or a sealed-sandbox reproduction for empirical claims). It is a literature synthesis only."},{"status":"VERIFIED","label":"Verified","definition":"This record has passed Gate 2: a Lean4 proof source type-checks, or a sealed-sandbox run reproduced the reported results within the stated tolerance. A reproducible artifact (proof source or repro script and results) is attached to this record."},{"status":"FALSIFIED","label":"Falsified","definition":"A claim in this record was tested against Gate 2 and failed: a counterexample was found, a proof did not type-check, or a reproduction attempt did not match the reported results. Evidence for the failure is attached to this record."}],"x-contract-introduced":"2026-06-10"}