{
  "profile": "gated-driver-completion-v1",
  "vectors": [
    {
      "id": "withhold-ack-until-completion",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "driver_async_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          }
        ]
      },
      "expected": {
        "ok": true,
        "results": [
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          }
        ]
      }
    },
    {
      "id": "one-owner-blocks-start-and-reopen",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "driver_async_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "offer",
            "fixture": "a",
            "source": 2
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "recover"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          }
        ]
      },
      "expected": {
        "ok": true,
        "results": [
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 2,
            "conflicts": 0,
            "responses": 1,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          }
        ]
      }
    },
    {
      "id": "success-after-timeout-needs-recovery",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "driver_async_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "tick",
            "ms": 5000
          },
          {
            "action": "recover"
          },
          {
            "action": "offer",
            "fixture": "a",
            "source": 2
          },
          {
            "action": "verify"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "recover"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          }
        ]
      },
      "expected": {
        "ok": true,
        "results": [
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": true,
            "poisoned": true,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": true,
            "poisoned": true,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": true,
            "poisoned": true,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": true,
            "poisoned": true,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": true,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": true,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          }
        ]
      }
    },
    {
      "id": "lost-before-call-retry",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "driver_async_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start",
            "persist": false
          },
          {
            "action": "finish",
            "outcome": "error_lost"
          },
          {
            "action": "recover"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          }
        ]
      },
      "expected": {
        "ok": true,
        "results": [
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": true,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          }
        ]
      }
    },
    {
      "id": "uncertain-after-real-commit-retry",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "driver_async_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "error_survives"
          },
          {
            "action": "recover"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          }
        ]
      },
      "expected": {
        "ok": true,
        "results": [
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": true,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          }
        ]
      }
    },
    {
      "id": "restart-preserves-real-commit",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "driver_async_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "restart"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          }
        ]
      },
      "expected": {
        "ok": true,
        "results": [
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          }
        ]
      }
    },
    {
      "id": "restart-discards-unstarted-call",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "driver_async_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start",
            "persist": false
          },
          {
            "action": "restart"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          }
        ]
      },
      "expected": {
        "ok": true,
        "results": [
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          }
        ]
      }
    },
    {
      "id": "rollover-refused-with-owner",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "driver_async_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "tick",
            "ms": 100000
          },
          {
            "action": "rollover"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "recover"
          },
          {
            "action": "rollover"
          }
        ]
      },
      "expected": {
        "ok": true,
        "results": [
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": true,
            "poisoned": true,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": true,
            "poisoned": true,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": true,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 1,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          }
        ]
      }
    },
    {
      "id": "local-evidence-inflight-dedup",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "driver_async_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "local_conflict",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "offer",
            "fixture": "local_conflict",
            "source": 2
          },
          {
            "action": "verify"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          }
        ]
      },
      "expected": {
        "ok": true,
        "results": [
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 1,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 20,
            "write_credits": 24,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 1,
            "delivered": 1,
            "credits": 20,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 0,
            "delivered": 2,
            "credits": 20,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          }
        ]
      }
    },
    {
      "id": "local-evidence-uncertain-recovery",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "driver_async_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "local_conflict",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "error_survives"
          },
          {
            "action": "recover"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          }
        ]
      },
      "expected": {
        "ok": true,
        "results": [
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 1,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": true,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 0,
            "delivered": 1,
            "credits": 20,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 0,
            "delivered": 1,
            "credits": 20,
            "write_credits": 20,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 0,
            "delivered": 1,
            "credits": 20,
            "write_credits": 20,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 0,
            "delivered": 1,
            "credits": 20,
            "write_credits": 20,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          }
        ]
      }
    },
    {
      "id": "local-evidence-abandoned-retry",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "driver_async_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "local_conflict",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start",
            "persist": false
          },
          {
            "action": "finish",
            "outcome": "error_lost"
          },
          {
            "action": "recover"
          },
          {
            "action": "offer",
            "fixture": "local_conflict",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          }
        ]
      },
      "expected": {
        "ok": true,
        "results": [
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 1,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": true,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 1,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 20,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 20,
            "write_credits": 20,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 1,
            "delivered": 1,
            "credits": 20,
            "write_credits": 20,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 0,
            "delivered": 2,
            "credits": 20,
            "write_credits": 20,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          }
        ]
      }
    }
  ],
  "limitations": "One real ledger-owner thread. Gate after successful ledger call, or skip before call. No suspended fsync, syscall cancellation, injected IO errors, actual process crash, or full driver refinement."
}