{
  "schema": "cw-coverage-independent-cases-1",
  "cases": [
    {
      "id": "case-01",
      "title": "in-window receipt proves matching presence only",
      "events": [
        {
          "id": "e1",
          "producer": "prod-a",
          "recordId": "r1",
          "serviceId": "svc-worker",
          "kind": "change",
          "occurredAt": "2026-10-06T12:04:00.000Z",
          "receivedAt": "2026-10-06T12:05:00.000Z",
          "clock": "verified",
          "statement": "Change noted."
        }
      ],
      "feeds": [
        {
          "id": "f1",
          "producer": "prod-a",
          "serviceId": "svc-worker",
          "kind": "change",
          "expectation": "Expected change feed for producer."
        }
      ],
      "reviewState": "recorded",
      "expected": [
        {
          "feedId": "f1",
          "state": "received-in-window",
          "receivedIds": [
            "e1"
          ],
          "unknownIds": [],
          "outsideIds": [],
          "conflictIds": []
        }
      ],
      "unmatchedIds": [],
      "errorExpected": false,
      "question": "Is there a matching feed record received during the review window?",
      "notProven": "This does not prove coverage completeness or system health."
    },
    {
      "id": "case-02",
      "title": "unknown receipt outranks outside-only absence",
      "events": [
        {
          "id": "e1",
          "producer": "prod-b",
          "recordId": "r2",
          "serviceId": "svc-queue",
          "kind": "telemetry",
          "occurredAt": "2026-10-06T12:06:00.000Z",
          "receivedAt": null,
          "clock": "verified",
          "statement": "Telemetry sample pending receipt time."
        },
        {
          "id": "e2",
          "producer": "prod-b",
          "recordId": "r3",
          "serviceId": "svc-queue",
          "kind": "telemetry",
          "occurredAt": "2026-10-06T11:58:00.000Z",
          "receivedAt": "2026-10-06T11:59:00.000Z",
          "clock": "verified",
          "statement": "Earlier telemetry sample."
        }
      ],
      "feeds": [
        {
          "id": "f1",
          "producer": "prod-b",
          "serviceId": "svc-queue",
          "kind": "telemetry",
          "expectation": "Expected telemetry feed for producer."
        }
      ],
      "reviewState": "recorded",
      "expected": [
        {
          "feedId": "f1",
          "state": "receipt-time-unresolved",
          "receivedIds": [],
          "unknownIds": [
            "e1"
          ],
          "outsideIds": [
            "e2"
          ],
          "conflictIds": []
        }
      ],
      "unmatchedIds": [],
      "errorExpected": false,
      "question": "When no in-window receipt exists, does a matching unknown receipt time control the row state?",
      "notProven": "The unknown receipt does not establish in-window delivery."
    },
    {
      "id": "case-03",
      "title": "conflict caution applies across all supplied copies including outside window",
      "events": [
        {
          "id": "e1",
          "producer": "prod-c",
          "recordId": "r4",
          "serviceId": "svc-worker",
          "kind": "mission-report",
          "occurredAt": "2026-10-06T12:10:00.000Z",
          "receivedAt": "2026-10-06T12:11:00.000Z",
          "clock": "verified",
          "statement": "Mission update alpha."
        },
        {
          "id": "e2",
          "producer": "prod-c",
          "recordId": "r4",
          "serviceId": "svc-worker",
          "kind": "mission-report",
          "occurredAt": "2026-10-06T12:10:00.000Z",
          "receivedAt": "2026-10-06T12:29:00.000Z",
          "clock": "verified",
          "statement": "Mission update alpha."
        },
        {
          "id": "e3",
          "producer": "prod-c",
          "recordId": "r4",
          "serviceId": "svc-worker",
          "kind": "mission-report",
          "occurredAt": "2026-10-06T12:10:00.000Z",
          "receivedAt": "2026-10-06T11:50:00.000Z",
          "clock": "verified",
          "statement": "Mission update beta."
        }
      ],
      "feeds": [
        {
          "id": "f1",
          "producer": "prod-c",
          "serviceId": "svc-worker",
          "kind": "mission-report",
          "expectation": "Expected mission report feed for producer."
        }
      ],
      "reviewState": "recorded",
      "expected": [
        {
          "feedId": "f1",
          "state": "conflicting-records",
          "receivedIds": [
            "e1",
            "e2"
          ],
          "unknownIds": [],
          "outsideIds": [
            "e3"
          ],
          "conflictIds": [
            "e1",
            "e2",
            "e3"
          ]
        }
      ],
      "unmatchedIds": [],
      "errorExpected": false,
      "question": "Do conflicting same-producer same-recordId records force the conservative conflict state even when some copies are in window?",
      "notProven": "The duplicated in-window copies do not resolve which conflicting content is authoritative."
    },
    {
      "id": "case-04",
      "title": "different producer same recordId is not an identity conflict and absent producer remains no-record",
      "events": [
        {
          "id": "e1",
          "producer": "prod-x",
          "recordId": "shared-1",
          "serviceId": "svc-worker",
          "kind": "security-alert",
          "occurredAt": "2026-10-06T12:15:00.000Z",
          "receivedAt": "2026-10-06T12:16:00.000Z",
          "clock": "verified",
          "statement": "Alert from another producer."
        },
        {
          "id": "e2",
          "producer": "prod-z",
          "recordId": "z1",
          "serviceId": "svc-queue",
          "kind": "change",
          "occurredAt": "2026-10-06T12:17:00.000Z",
          "receivedAt": "2026-10-06T12:18:00.000Z",
          "clock": "verified",
          "statement": "Unrelated change."
        }
      ],
      "feeds": [
        {
          "id": "f1",
          "producer": "prod-y",
          "serviceId": "svc-worker",
          "kind": "security-alert",
          "expectation": "Expected security alerts for absent producer."
        }
      ],
      "reviewState": "recorded",
      "expected": [
        {
          "feedId": "f1",
          "state": "no-record-in-window",
          "receivedIds": [],
          "unknownIds": [],
          "outsideIds": [],
          "conflictIds": []
        }
      ],
      "unmatchedIds": [
        "e1",
        "e2"
      ],
      "errorExpected": false,
      "question": "If only other producers have records, does the absent expected producer remain uncovered without conflict?",
      "notProven": "Records from different producers do not prove anything about the absent producer's feed."
    },
    {
      "id": "case-05",
      "title": "proposed review blocks expected-source conclusion despite matching record and unmatched null service record",
      "events": [
        {
          "id": "e1",
          "producer": "prod-d",
          "recordId": "r5",
          "serviceId": "svc-queue",
          "kind": "recovery-signal",
          "occurredAt": "2026-10-06T12:20:00.000Z",
          "receivedAt": "2026-10-06T12:21:00.000Z",
          "clock": "verified",
          "statement": "<ok>recovery pending</ok>"
        },
        {
          "id": "e2",
          "producer": "prod-d",
          "recordId": "r6",
          "serviceId": null,
          "kind": "recovery-signal",
          "occurredAt": "2026-10-06T12:22:00.000Z",
          "receivedAt": "2026-10-06T12:23:00.000Z",
          "clock": "verified",
          "statement": "Null service should stay unmatched."
        }
      ],
      "feeds": [
        {
          "id": "f1",
          "producer": "prod-d",
          "serviceId": "svc-queue",
          "kind": "recovery-signal",
          "expectation": "Expected recovery signal feed for producer."
        }
      ],
      "reviewState": "proposed",
      "expected": [
        {
          "feedId": "f1",
          "state": "proposed-not-assessed",
          "receivedIds": [
            "e1"
          ],
          "unknownIds": [],
          "outsideIds": [],
          "conflictIds": []
        }
      ],
      "unmatchedIds": [
        "e2"
      ],
      "errorExpected": false,
      "question": "When review is only proposed, is the feed left unassessed even if a matching in-window receipt exists?",
      "notProven": "The proposed review does not justify any expected-source conclusion."
    },
    {
      "id": "case-06",
      "title": "outside-only matching records with separate unmatched kind",
      "events": [
        {
          "id": "e1",
          "producer": "prod-e",
          "recordId": "r7",
          "serviceId": "svc-worker",
          "kind": "change",
          "occurredAt": "2026-10-06T12:31:00.000Z",
          "receivedAt": "2026-10-06T12:31:00.000Z",
          "clock": "verified",
          "statement": "Late change after window."
        },
        {
          "id": "e2",
          "producer": "prod-e",
          "recordId": "r8",
          "serviceId": "svc-worker",
          "kind": "telemetry",
          "occurredAt": "2026-10-06T12:12:00.000Z",
          "receivedAt": "2026-10-06T12:13:00.000Z",
          "clock": "verified",
          "statement": "Different kind unmatched to feed."
        }
      ],
      "feeds": [
        {
          "id": "f1",
          "producer": "prod-e",
          "serviceId": "svc-worker",
          "kind": "change",
          "expectation": "Expected change feed for producer."
        }
      ],
      "reviewState": "recorded",
      "expected": [
        {
          "feedId": "f1",
          "state": "no-record-in-window",
          "receivedIds": [],
          "unknownIds": [],
          "outsideIds": [
            "e1"
          ],
          "conflictIds": []
        }
      ],
      "unmatchedIds": [
        "e2"
      ],
      "errorExpected": false,
      "question": "If the only matching receipt is outside the fixed window, is the result no in-window record while preserving the outside evidence?",
      "notProven": "An outside-window receipt does not prove in-window coverage."
    },
    {
      "id": "case-07",
      "title": "unknown clock with known receipt still counts as in-window",
      "events": [
        {
          "id": "e1",
          "producer": "prod-f",
          "recordId": "r9",
          "serviceId": "svc-queue",
          "kind": "security-alert",
          "occurredAt": null,
          "receivedAt": "2026-10-06T12:08:00.000Z",
          "clock": "unknown",
          "statement": "Receipt known though event time is unknown."
        },
        {
          "id": "e2",
          "producer": "prod-f",
          "recordId": "r10",
          "serviceId": "svc-queue",
          "kind": "mission-report",
          "occurredAt": "2026-10-06T12:09:00.000Z",
          "receivedAt": "2026-10-06T12:10:00.000Z",
          "clock": "verified",
          "statement": "Different feed kind."
        }
      ],
      "feeds": [
        {
          "id": "f1",
          "producer": "prod-f",
          "serviceId": "svc-queue",
          "kind": "security-alert",
          "expectation": "Expected security alert feed for producer."
        },
        {
          "id": "f2",
          "producer": "prod-f",
          "serviceId": "svc-queue",
          "kind": "mission-report",
          "expectation": "Expected mission report feed for producer."
        }
      ],
      "reviewState": "recorded",
      "expected": [
        {
          "feedId": "f1",
          "state": "received-in-window",
          "receivedIds": [
            "e1"
          ],
          "unknownIds": [],
          "outsideIds": [],
          "conflictIds": []
        },
        {
          "feedId": "f2",
          "state": "received-in-window",
          "receivedIds": [
            "e2"
          ],
          "unknownIds": [],
          "outsideIds": [],
          "conflictIds": []
        }
      ],
      "unmatchedIds": [],
      "errorExpected": false,
      "question": "Does an in-window receipt count even when the event clock is unknown and occurredAt is null?",
      "notProven": "Unknown event timing does not imply receipt absence or any broader reliability claim."
    },
    {
      "id": "case-08",
      "title": "rejected empty events input",
      "events": [],
      "feeds": [
        {
          "id": "f1",
          "producer": "prod-g",
          "serviceId": "svc-worker",
          "kind": "change",
          "expectation": "Expected change feed for producer."
        }
      ],
      "reviewState": "recorded",
      "expected": [],
      "unmatchedIds": [],
      "errorExpected": true,
      "question": "Is an empty event list rejected rather than treated as proof of failed coverage?",
      "notProven": "Rejection of empty input proves nothing about whether any feed was actually covered."
    }
  ]
}