{"anchors": [], "axis_coords": {"axis": "mathematics", "dimensions": ["reasoning"]}, "content_hash": "cf33ee4a141a5eec4532535efbd2b7e5563cc8ac04c39c530d03c5b3806ebc45", "gate_results": [{"details": {"broken_at": null, "confirmed_steps": 4, "gap_at": null, "steps": 4, "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": "2**20 = 1048576; both sides reduce to 1048576", "name": "blend", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["blend"]}, "detail": "floor(1000*log(20)/log(2)) = 4321; both sides reduce to 4321", "name": "bits", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["bits"]}, "detail": "(1/2)**3 = 1/8; both sides reduce to 1/8", "name": "turnover", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["turnover"]}, "detail": "floor(1000*log(1/2)/log(9/10)) = 6578; both sides reduce to 6578", "name": "trail", "status": "CONFIRMED"}], "house": {"door": "CHECK", "kind": "record", "trail": "verifier_results", "seal": "cf33ee4a141a5eec4532535efbd2b7e5563cc8ac04c39c530d03c5b3806ebc45", "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"}}