{"anchors": [], "axis_coords": {"axis": "mathematics", "dimensions": ["reasoning"]}, "content_hash": "eecdddd7dd8e2c2831b0e7bff130fbd98691c6b04ba6bdb75fa08f635475c563", "gate_results": [{"details": {"broken_at": null, "confirmed_steps": 11, "gap_at": null, "steps": 11, "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+2+3 = 1*2*3; both sides reduce to 6", "name": "p6", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["p6"]}, "detail": "1+2+4+7+14 = 28; both sides reduce to 28", "name": "p28", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["p28"]}, "detail": "15*16/2 = 120; both sides reduce to 120", "name": "t120", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["t120"]}, "detail": "23*24/2 = 276; both sides reduce to 276", "name": "t276", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["t276"]}, "detail": "36*37/2 = 666; both sides reduce to 666", "name": "t666", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["t666"]}, "detail": "floor(3652425*10**4/2953059) = 12368; both sides reduce to 12368", "name": "moon", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["moon"]}, "detail": "floor(100*29530589/(4*10**6)) = 738; both sides reduce to 738", "name": "week", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["week"]}, "detail": "40*7 = 280; both sides reduce to 280", "name": "forty", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["forty"]}, "detail": "floor(10*25772/360) = 715; both sides reduce to 715", "name": "prec", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["prec"]}, "detail": "floor(10*pi*(10 - 1/3)) = 303; both sides reduce to 303", "name": "pi1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["pi1"]}, "detail": "floor(10**4*3*111/106) = floor(10**4*pi); both sides reduce to 31415", "name": "pi2", "status": "CONFIRMED"}]}