{
  "schemaVersion": 1,
  "status": "pass",
  "verifiedAt": "2026-09-04T17:35:06Z",
  "implementations": [
    {
      "language": "JavaScript",
      "file": "generate.mjs",
      "role": "Generates the public reference, tables, calculator, chart, and hashes."
    },
    {
      "language": "Python standard library",
      "file": "verify.py",
      "role": "Independently recomputes numerical results and validates tables and hashes."
    }
  ],
  "numericalComparisonTolerance": {
    "relative": 6e-12,
    "absolute": 6e-12,
    "roundedCsvWidthAbsolute": 6e-7
  },
  "checks": {
    "nistPublishedRoundedLimits": 2,
    "sameRateRows": 6,
    "zeroEventRows": 5,
    "contextRows": 3,
    "decisionThresholdRows": 2,
    "opportunityPlanningRows": 12,
    "waldComparisonRows": 6,
    "sha256Artifacts": 13
  },
  "independenceBoundary": "The Python verifier does not import, invoke, or parse formulas from the JavaScript generator. Both implementations still share the declared model and fixtures, so agreement does not validate those assumptions against real poker behavior."
}