{
  "scope": "Sequential in-memory SQLite model; no concurrent clients or external side effects",
  "cases": [
    {
      "case": "Before commit",
      "attempts": 2,
      "effects": 1,
      "replays": 0,
      "conflicts": 0,
      "trace": [
        {
          "attempt": 1,
          "outcome": "response lost",
          "effects": 0
        },
        {
          "attempt": 2,
          "outcome": "result:1",
          "effects": 1
        }
      ]
    },
    {
      "case": "After commit",
      "attempts": 2,
      "effects": 1,
      "replays": 1,
      "conflicts": 0,
      "trace": [
        {
          "attempt": 1,
          "outcome": "response lost",
          "effects": 1
        },
        {
          "attempt": 2,
          "outcome": "result:1",
          "effects": 1
        }
      ]
    },
    {
      "case": "Three deliveries",
      "attempts": 3,
      "effects": 1,
      "replays": 2,
      "conflicts": 0,
      "trace": [
        {
          "attempt": 1,
          "outcome": "result:1",
          "effects": 1
        },
        {
          "attempt": 2,
          "outcome": "result:1",
          "effects": 1
        },
        {
          "attempt": 3,
          "outcome": "result:1",
          "effects": 1
        }
      ]
    },
    {
      "case": "Changed payload",
      "attempts": 2,
      "effects": 1,
      "replays": 0,
      "conflicts": 1,
      "trace": [
        {
          "attempt": 1,
          "outcome": "result:1",
          "effects": 1
        },
        {
          "attempt": 2,
          "outcome": "payload conflict",
          "effects": 1
        }
      ]
    },
    {
      "case": "Two tenants",
      "attempts": 2,
      "effects": 2,
      "replays": 0,
      "conflicts": 0,
      "trace": [
        {
          "attempt": 1,
          "outcome": "result:1",
          "effects": 1
        },
        {
          "attempt": 2,
          "outcome": "result:2",
          "effects": 2
        }
      ]
    },
    {
      "case": "New retry key",
      "attempts": 2,
      "effects": 2,
      "replays": 0,
      "conflicts": 0,
      "trace": [
        {
          "attempt": 1,
          "outcome": "result:1",
          "effects": 1
        },
        {
          "attempt": 2,
          "outcome": "result:2",
          "effects": 2
        }
      ]
    }
  ]
}