{"anchors": [], "axis_coords": {"axis": "mathematics", "dimensions": ["reasoning"]}, "content_hash": "5bd4fc9faef0a289ca43107291a0499747d1509c61dda4aec8857500edfc7fb1", "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": "sqrt(100) = 10; both sides reduce to 10", "name": "freq1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["freq1"]}, "detail": "sqrt(10000) = 100; both sides reduce to 100", "name": "freq2", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["freq2"]}, "detail": "1000*(1/1000) = 1; both sides reduce to 1", "name": "perc", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["perc"]}, "detail": "floor(log(2*10**19/(14*10**9))/log(10)) = 9; both sides reduce to 9", "name": "meta", "status": "CONFIRMED"}]}