{
  "recordType": "verification-specification",
  "status": "not-executed",
  "specifiedAt": "2026-09-04T21:28:00Z",
  "statusBoundary": "This file specifies expected checks; it is not proof that either implementation ran. Execution receipts belong in the release validation record.",
  "implementations": [
    "JavaScript generator and Node test suite",
    "Independent Python standard-library verifier"
  ],
  "checks": {
    "sourceStakeRows": 22,
    "normalizedScheduleRows": 66,
    "workedPotSizes": 7,
    "workedRows": 14,
    "halfEvenTieFixtures": 14,
    "manifestArtifacts": 11
  },
  "exhaustiveGrid": {
    "schedulePlayerCombinations": 66,
    "minimumPotCents": 0,
    "maximumPotCentsInclusive": 200000,
    "optimizedModeRequired": true
  },
  "requiredBoundaries": [
    "displayed, raw-reach, and strictly-binding cent-grid thresholds are reported separately",
    "exact continuous cap divided by rate is retained separately from integer-cent thresholds",
    "nearest-cent rounding is labeled as a worksheet convention",
    "family, exact stake row, and dealt-player bucket route every schedule choice",
    "hands ending before the flop return zero before percentage arithmetic",
    "grouped stakes omit big-blind normalization",
    "cap-before-round and round-before-cap agree for the modeled whole-cent caps",
    "invalid and unknown inputs fail closed",
    "strategy and profitability claims are out of scope"
  ]
}