{"enums":{"gate":["act","halt"],"v_adversarial_result":["resilient","vulnerable","not_checked"],"v_recommendation":["confident_supported","un_probed_not_cleared","vulnerable_supported","weak_supported","refuted","unverifiable","error"],"v_verdict":["supported","refuted","unverifiable","unknown"]},"fail_closed":"any missing, malformed, unresolvable, or mismatching condition derives gate halt; implementations MUST NOT default to act","family":"verification.*","gate_map":{"confident_supported":"act","error":"halt","refuted":"halt","un_probed_not_cleared":"halt","unverifiable":"halt","vulnerable_supported":"halt","weak_supported":"halt"},"immutable":true,"issuer":"agentoracle","mapping_id":"agentoracle-v0.3-2026-05-30","normative_source":"draft-krausz-verification-state, Section 5.1 Table 2 and Section 5.2","published":"2026-05-30","rationale_un_probed":"un-probed adversarial state is not equivalent to resilient; absence of probing is an unresolved risk, not a cleared risk (Section 5.2)","recommendation_rules":[{"order":1,"then":"confident_supported","when":{"v_adversarial_result":"resilient","v_confidence":">=threshold","v_verdict":"supported"}},{"order":2,"then":"un_probed_not_cleared","when":{"v_adversarial_result":"not_checked","v_confidence":">=threshold","v_verdict":"supported"}},{"order":3,"then":"vulnerable_supported","when":{"v_adversarial_result":"vulnerable","v_confidence":"any","v_verdict":"supported"}},{"order":4,"then":"weak_supported","when":{"v_adversarial_result":["resilient","not_checked"],"v_confidence":"<threshold","v_verdict":"supported"}},{"order":5,"then":"refuted","when":{"v_verdict":"refuted"}},{"order":6,"then":"unverifiable","when":{"v_verdict":["unverifiable","unknown"]}},{"order":7,"then":"error","when":{"condition":"error"}}],"resolution":"https://agentoracle.co/mappings/{sha256}.json","threshold":{"comparator":">=","field":"v_confidence","note":"threshold lives in this mapping, not in receipts; same mapping_id implies same threshold","value":0.7}}