{"anchors": [], "axis_coords": {"axis": "formal_logic", "dimensions": ["reasoning"]}, "content_hash": "88ca230c3647334c6caa488a1262a87840637fee9552358b5ed5bd1f1459aadf", "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": "", "domain": "formal_logic", "link_ok": true, "uses": []}, "detail": "formal_logic.tautology: formula '(~T1) >> ~(T1 | T2 | T3 | T4)' tautology=False, matches claim", "name": "stack", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "formal_logic", "link_ok": true, "uses": ["stack"]}, "detail": "formal_logic.tautology: formula '(((H & I) | (H & ~I)) >> H) & (H >> ((H & I) | (H & ~I)))' tautology=True, matches claim", "name": "exit", "status": "CONFIRMED"}], "house": {"door": "CHECK", "kind": "record", "trail": "verifier_results", "seal": "88ca230c3647334c6caa488a1262a87840637fee9552358b5ed5bd1f1459aadf", "next_step": {"do": "re-run the sealed derivation yourself; a seal is only a claim until re-checked", "door": "CHECK", "tool": "verify"}, "ends": "a verdict or a card · the trail · a seal · one next step"}}