{"anchors": [], "axis_coords": {"axis": "mathematics", "dimensions": ["reasoning"]}, "content_hash": "222afa501ad9a65a6cbb50011690b7b5363cc002934bf367eac99bf946b5774b", "gate_results": [{"details": {"broken_at": null, "confirmed_steps": 5, "gap_at": null, "steps": 5, "verdict": "HOLDS"}, "gate": "RED", "reasons": ["derivation verdict: HOLDS"], "status": "PASS"}], "overall": "PASS", "schema_version": "2.0", "verifier_results": [{"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": []}, "detail": "1 - 1/1000 = 999/1000; both sides reduce to 999/1000", "name": "ident", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["ident"]}, "detail": "floor(16569*2/8) = 4142; both sides reduce to 4142", "name": "mtdna", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["mtdna"]}, "detail": "factorial2(2*7-3) = 10395; both sides reduce to 10395", "name": "tree7", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["tree7"]}, "detail": "2*10000 = 20000; both sides reduce to 20000", "name": "coal", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["coal"]}, "detail": "floor(1000*(86/100)**5) = 470; both sides reduce to 470", "name": "clock", "status": "CONFIRMED"}], "house": {"door": "CHECK", "kind": "record", "trail": "verifier_results", "seal": "222afa501ad9a65a6cbb50011690b7b5363cc002934bf367eac99bf946b5774b", "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"}}