{
  "scope": "Controlled sequential stops; no process kill, real broker, network, concurrency or external side effect",
  "rows": [
    {
      "case": "Direct-write gap",
      "orders": 1,
      "pending_before_restart": 0,
      "deliveries": 0,
      "effects": 0,
      "pending_final": 0,
      "trace": [
        "business transaction committed",
        "stop between database commit and direct publication",
        "restart scan complete"
      ]
    },
    {
      "case": "Stop before commit",
      "orders": 0,
      "pending_before_restart": 0,
      "deliveries": 0,
      "effects": 0,
      "pending_final": 0,
      "trace": [
        "stop before commit: rolled back",
        "restart scan complete"
      ]
    },
    {
      "case": "Stop before relay",
      "orders": 1,
      "pending_before_restart": 1,
      "deliveries": 1,
      "effects": 1,
      "pending_final": 0,
      "trace": [
        "business transaction committed",
        "stop before relay starts",
        "broker accepted event-1",
        "marked sent",
        "restart scan complete"
      ]
    },
    {
      "case": "Publish then stop",
      "orders": 1,
      "pending_before_restart": 1,
      "deliveries": 2,
      "effects": 1,
      "pending_final": 0,
      "trace": [
        "business transaction committed",
        "broker accepted event-1",
        "relay stopped",
        "broker accepted event-1",
        "marked sent",
        "restart scan complete",
        "consumer skipped duplicate"
      ]
    },
    {
      "case": "Mark then stop",
      "orders": 1,
      "pending_before_restart": 0,
      "deliveries": 0,
      "effects": 0,
      "pending_final": 0,
      "trace": [
        "business transaction committed",
        "marked sent before publishing",
        "relay stopped",
        "restart scan complete"
      ]
    },
    {
      "case": "No consumer dedup",
      "orders": 1,
      "pending_before_restart": 1,
      "deliveries": 2,
      "effects": 2,
      "pending_final": 0,
      "trace": [
        "business transaction committed",
        "broker accepted event-1",
        "relay stopped",
        "broker accepted event-1",
        "marked sent",
        "restart scan complete"
      ]
    }
  ]
}