{"anchors": [], "axis_coords": {"axis": "probability", "dimensions": ["conservation_balance", "reasoning"]}, "content_hash": "e50261aa12a5d659f1567480f4802f5156bdb9e44fbb190a17e3f0d8e557d34f", "gate_results": [{"details": {"broken_at": null, "confirmed_steps": 2, "gap_at": null, "steps": 2, "verdict": "HOLDS"}, "gate": "RED", "reasons": ["derivation verdict: HOLDS"], "status": "PASS"}], "overall": "PASS", "schema_version": "2.0", "verifier_results": [{"data": {"claim": "E[Binom(10, ½)] = n·p = 5", "domain": "probability", "link_ok": true, "uses": []}, "detail": "probability.binomial_mean: E[Binom(10,0.5)] = 5.0", "name": "bm1", "status": "CONFIRMED"}, {"data": {"claim": "P(X=2) = C(10,2)·½¹⁰ = 45/1024 ≈ 0.04395", "domain": "probability", "link_ok": true, "uses": ["bm1"]}, "detail": "probability.binomial: P(X=2 | n=10, p=0.5) = 0.0439453", "name": "bp1", "status": "CONFIRMED"}]}