{"anchors": [], "axis_coords": {"axis": "mathematics", "dimensions": ["reasoning"]}, "content_hash": "d6211f4efb2518c6de145decf57f27b131a01c24ce7841853f395b7bc986c323", "gate_results": [{"details": {"broken_at": null, "confirmed_steps": 12, "gap_at": null, "steps": 12, "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": "floor(299792458*100/783/1000) = 38287; both sides reduce to 38287", "name": "e1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["e1"]}, "detail": "floor(299792458/530000) = 565; both sides reduce to 565", "name": "a1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["a1"]}, "detail": "floor(299792458/1700000) = 176; both sides reduce to 176", "name": "a2", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["a2"]}, "detail": "floor(299792458/15000000) = 19; both sides reduce to 19", "name": "h1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["h1"]}, "detail": "floor(100*299792458/10**8) = 299; both sides reduce to 299", "name": "f1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["f1"]}, "detail": "floor(100*299792458/(4*10**8)) = 74; both sides reduce to 74", "name": "f2", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["f2"]}, "detail": "floor(sqrt(2*100*6371000)) = 35695; both sides reduce to 35695", "name": "z1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["z1"]}, "detail": "(1023/100)*154 = 157542/100; both sides reduce to 78771/50", "name": "g1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["g1"]}, "detail": "floor(100*299792458/1575420000) = 19; both sides reduce to 19", "name": "g2", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["g2"]}, "detail": "floor(100*299792458/2450000000) = 12; both sides reduce to 12", "name": "m1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["m1"]}, "detail": "floor(1000*299792458/(6*10**10)) = 4; both sides reduce to 4", "name": "x1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["x1"]}, "detail": "floor(299792458*10**9/(54*10**13)) = 555; both sides reduce to 555", "name": "l1", "status": "CONFIRMED"}]}