{
  "version": "poker51-v0.3",
  "date": "2026-09-28",
  "pass": true,
  "seed": 3102,
  "paths": 5000,
  "independentPolicyDecisions": 1000,
  "coverage": {
    "preFold": 1654,
    "preRaise": 431,
    "preReraise": 88,
    "preAllIn": 1945,
    "postBet": 1258,
    "postRaise": 252,
    "postReraise": 69,
    "postAllIn": 18,
    "drawFive": 733,
    "standPat": 413,
    "won": 750,
    "lost": 1996,
    "split": 0
  },
  "checks": [
    "5,000 seeded two-round paths: legal choices, exact accounting and unique receipt steps",
    "a tied showdown returns both rounds, including maximum re-raises",
    "1,000 independently recomputed policy choices use the correct current-round pot",
    "pre-draw projection is reproducible and invariant to own-card order",
    "pre-draw choices ignore player identities and the future deck",
    "pre-draw betting must precede the draw; invalid holds and unfunded checks are rejected",
    "ante-only all-in draws first and cannot start a second betting round",
    "saved v0.2 hands retain their original draw, bet and settlement rules"
  ],
  "limits": "Finite seeded verification. Independent decision calculation reuses the projected completion keys and evaluator, not an independent projection sampler. Does not estimate profitability, optimality, or all possible paths."
}