{
  "scheduled_snapshots": 8,
  "received_rows": 8,
  "known_snapshots": 6,
  "unknown_snapshots": 2,
  "missing_rows": [],
  "observed_stockouts": 2,
  "coverage": 0.75,
  "known_snapshot_stockout_rate": 0.3333333333333333,
  "all_snapshot_lower_bound": 0.25,
  "all_snapshot_upper_bound": 0.5,
  "decision": "Repair coverage and investigate observed zero-stock snapshots; lost demand is not identified.",
  "verification": {
    "checks_passed": 5,
    "checks": [
      "baseline reference values",
      "missing row preserves scheduled denominator",
      "duplicate key rejected",
      "unknown with invented zero rejected",
      "negative availability rejected"
    ]
  },
  "source_sha256": "2689f8fad3aeca365e5c7528a0d8503df9a92532e6c50635e020d2729f46be9c",
  "code_sha256": "e0e074d7b471df9893ea47f5652d22b252cdfd5190d5b955ccf02037a3f15ae5",
  "synthetic": true
}