{"query": "E[Binom(10, ½)] = n·p = 5 · P(X=2) = C(10,2)·½¹⁰ = 45/1024 ≈", "count": 2, "results": [{"id": "card_v_e25edb860b45", "title": "E[Binom(10, ½)] = n·p = 5 · P(X=2) = C(10,2)·½¹⁰ = 45/1024 ≈ 0.04395", "shelf": "probability", "surface": "secular", "snippet": "Verdict: HOLDS.\n• probability.binomial_mean: E[Binom(10,0.5)] = 5.0\n• probability.binomial: P(X=2 | n=10, p=0.5) = 0.0439453\nSealed and independently re-checkable: https://narrowhighway.com/s/e50261aa", "authority_tier": "engine", "source": "Verified by the engine — probability", "generated": false}, {"id": "card_works_probability", "title": "Ten fair coins: the average and a particular outcome", "shelf": "the-works", "surface": "secular", "snippet": "Flip a fair coin ten times. On average five come up heads; the chance of exactly two heads is C(10,2)/2¹⁰. The engine confirms both the expectation and the exact probability.  Worked & sealed by the e", "authority_tier": "verified", "source": "The Works — worked & sealed", "generated": false}]}