{"anchors": [], "axis_coords": {"axis": "mathematics", "dimensions": ["reasoning"]}, "content_hash": "5635602375b641735e6151d28fa5157a73b1a13df1da910f905c868a8251cf8b", "gate_results": [{"details": {"broken_at": null, "confirmed_steps": 6, "gap_at": null, "steps": 6, "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": "4**3 = 64; both sides reduce to 64", "name": "dna", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["dna"]}, "detail": "22**3 = 10648; both sides reduce to 10648", "name": "heb", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["heb"]}, "detail": "28**3 = 21952; both sides reduce to 21952", "name": "arab", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["arab"]}, "detail": "6*2*6 = 72; both sides reduce to 72", "name": "agglut", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["agglut"]}, "detail": "50**2 = 2500; both sides reduce to 2500", "name": "greek", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["greek"]}, "detail": "floor(1000*log(22)/log(2)) = 4459; both sides reduce to 4459", "name": "bits", "status": "CONFIRMED"}], "house": {"door": "CHECK", "kind": "record", "trail": "verifier_results", "seal": "5635602375b641735e6151d28fa5157a73b1a13df1da910f905c868a8251cf8b", "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"}}