{"anchors": [], "axis_coords": {"axis": "mathematics", "dimensions": ["reasoning"]}, "content_hash": "2e10f3cd833c0da8ed1973eeb517c9de779e8956cd7d04eeee423aab280c4455", "gate_results": [{"details": {"broken_at": null, "confirmed_steps": 7, "gap_at": null, "steps": 7, "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((662607015*10**-42*299792458)/(1602176634*10**-28)*10**9) = 1239; both sides reduce to 1239", "name": "u1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["u1"]}, "detail": "floor(10**7*2897771955*10**-12/310) = 93; both sides reduce to 93", "name": "i1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["i1"]}, "detail": "floor(100*(662607015*10**-42*299792458)/(254*10**-9*1602176634*10**-28)) = 488; both sides reduce to 488", "name": "u3", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["u3"]}, "detail": "floor((662607015*10**-42*299792458)/(10*1602176634*10**-28)*10**9) = 123; both sides reduce to 123", "name": "u4", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["u4"]}, "detail": "floor(10*(662607015*10**-42*299792458)/(100000*1602176634*10**-28)*10**12) = 123; both sides reduce to 123", "name": "x2", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["x2"]}, "detail": "floor((91093837015*10**-41*299792458**2)/(1602176634*10**-28)/1000) = 510; both sides reduce to 510", "name": "gm1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["gm1"]}, "detail": "floor(10/((662607015*10**-42*6*10**10)/(1602176634*10**-28))) = 40299; both sides reduce to 40299", "name": "n5g", "status": "CONFIRMED"}]}