{"anchors": [], "axis_coords": {"axis": "mathematics", "dimensions": ["reasoning"]}, "content_hash": "8a3d0e4b4c8af33851fc97658b7af1f9631e8a770708a245234f2226f076d694", "gate_results": [{"details": {"broken_at": null, "confirmed_steps": 3, "gap_at": null, "steps": 3, "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": "-diff(x**2/2,x)*exp(-(x**2/2)/2) - 2*diff(exp(-(x**2/2)/2),x) = 0; both sides reduce to 0", "name": "b1", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["b1"]}, "detail": "integrate((1/sqrt(2*pi*2))*exp(-x**2/(2*2)),(x,-oo,oo)) = 1; both sides reduce to 1", "name": "b2", "status": "CONFIRMED"}, {"data": {"claim": "", "domain": "mathematics", "link_ok": true, "uses": ["b2"]}, "detail": "integrate(x**2*(1/sqrt(2*pi*2))*exp(-x**2/(2*2)),(x,-oo,oo)) = 2; both sides reduce to 2", "name": "b3", "status": "CONFIRMED"}]}