{"anchors": [], "axis_coords": {"axis": "mathematics", "dimensions": ["reasoning"]}, "content_hash": "9c66f521565216319b7ab6cf3bca9314c18dfe3e9982b88459f714c61237c10f", "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": "factorial2(2*5-3) = 105; both sides reduce to 105", "name": "tree5", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["tree5"]}, "detail": "factorial2(2*10-3) = 34459425; both sides reduce to 34459425", "name": "tree10", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["tree10"]}, "detail": "(86/100)**2 = 7396/10000; both sides reduce to 1849/2500", "name": "glotto", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["glotto"]}, "detail": "floor(1000*log(1/2)/log(86/100)) = 4595; both sides reduce to 4595", "name": "halflife", "status": "CONFIRMED"}]}