{"anchors": [], "axis_coords": {"axis": "formal_logic", "dimensions": ["reasoning"]}, "content_hash": "8aed49834ba64c0dbe27a31400005246479540f8260b4364aa4abd768d19da25", "gate_results": [{"details": {"broken_at": null, "confirmed_steps": 2, "gap_at": null, "steps": 2, "verdict": "HOLDS"}, "gate": "RED", "reasons": ["derivation verdict: HOLDS"], "status": "PASS"}], "overall": "PASS", "schema_version": "2.0", "verifier_results": [{"data": {"claim": "p ∨ ¬p is a tautology", "domain": "formal_logic", "link_ok": true, "uses": []}, "detail": "formal_logic.tautology: formula 'p | ~p' tautology=True, matches claim", "name": "lt1", "status": "CONFIRMED"}, {"data": {"claim": "¬(p ∧ q) ≡ ¬p ∨ ¬q  (De Morgan)", "domain": "formal_logic", "link_ok": true, "uses": ["lt1"]}, "detail": "formal_logic.equivalence: '~(p & q)' ≡ '~p | ~q' = True, matches claim", "name": "le1", "status": "CONFIRMED"}]}