{
  "profile": "driver-error-projection-v1",
  "vectors": [
    {
      "id": "slot-refusal-does-not-poison",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "driver_async_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "a",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "b",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 2
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 2
          }
        ]
      },
      "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": 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": 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
          },
          {
            "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": 1,
            "local": 0,
            "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": 2,
            "conflicts": 0,
            "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": 2,
            "conflicts": 0,
            "responses": 0,
            "delivered": 2,
            "credits": 20,
            "write_credits": 20,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          }
        ]
      }
    },
    {
      "id": "repeated-refusals-preserve-replay",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "driver_async_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "a",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "b",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "b",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "a",
            "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": 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": 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
          },
          {
            "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": 1,
            "local": 0,
            "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": 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": 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": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 20,
            "write_credits": 20,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 16,
            "write_credits": 20,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 16,
            "write_credits": 16,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 1,
            "credits": 16,
            "write_credits": 16,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 2,
            "credits": 16,
            "write_credits": 16,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          }
        ]
      }
    },
    {
      "id": "quarantine-refusal-preserves-other-slot",
      "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": "success"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "a",
            "source": 2
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 2
          }
        ]
      },
      "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": 1,
            "delivered": 1,
            "credits": 24,
            "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": 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": 2,
            "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": 2,
            "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": 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
          },
          {
            "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
          },
          {
            "queued": 1,
            "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
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 0,
            "delivered": 2,
            "credits": 16,
            "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": 16,
            "write_credits": 16,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 2,
            "conflicts": 1,
            "responses": 1,
            "delivered": 2,
            "credits": 16,
            "write_credits": 16,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 2,
            "conflicts": 1,
            "responses": 0,
            "delivered": 3,
            "credits": 16,
            "write_credits": 16,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          }
        ]
      }
    },
    {
      "id": "expiry-refusal-does-not-poison",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "driver_async_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "a",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "tick",
            "ms": 100000
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "rollover"
          },
          {
            "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": 1,
            "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": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "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": 32,
            "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": 32,
            "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": 32,
            "write_credits": 28,
            "epoch": 1,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 28,
            "epoch": 1,
            "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": 1,
            "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": 1,
            "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": 1,
            "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": 1,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          }
        ]
      }
    },
    {
      "id": "uncertain-commit-reopen-then-refusal",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "driver_async_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "a",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "error_survives"
          },
          {
            "action": "recover"
          },
          {
            "action": "offer",
            "fixture": "b",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "a",
            "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": 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": 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": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "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": 0,
            "credits": 20,
            "write_credits": 20,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 20,
            "write_credits": 20,
            "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": false,
            "poisoned": false,
            "lock_busy": true
          }
        ]
      }
    },
    {
      "id": "unstarted-error-reopen-allows-other-claim",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "driver_async_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "a",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start",
            "persist": false
          },
          {
            "action": "finish",
            "outcome": "error_lost"
          },
          {
            "action": "recover"
          },
          {
            "action": "offer",
            "fixture": "b",
            "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": "timeout-fences-until-owner-completes",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "driver_async_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "a",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "tick",
            "ms": 5000
          },
          {
            "action": "recover"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 2
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "recover"
          },
          {
            "action": "offer",
            "fixture": "a",
            "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": 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": "uncertain-quarantine-reopen-refusal-and-progress",
      "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
          },
          {
            "action": "offer",
            "fixture": "a",
            "source": 2
          },
          {
            "action": "verify"
          },
          {
            "action": "start"
          },
          {
            "action": "finish",
            "outcome": "success"
          },
          {
            "action": "receive",
            "source": 2
          }
        ]
      },
      "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
          },
          {
            "queued": 1,
            "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": 1,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 0,
            "delivered": 1,
            "credits": 16,
            "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": 16,
            "write_credits": 16,
            "epoch": 0,
            "writer": true,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 2,
            "conflicts": 1,
            "responses": 1,
            "delivered": 1,
            "credits": 16,
            "write_credits": 16,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 2,
            "conflicts": 1,
            "responses": 0,
            "delivered": 2,
            "credits": 16,
            "write_credits": 16,
            "epoch": 0,
            "writer": false,
            "poisoned": false,
            "lock_busy": true
          }
        ]
      }
    }
  ],
  "limitations": "Observable fixed-corpus projection using existing virtual model and gated Rust adapter. Negative response bytes, transient rejected calls, real network pump, actual I/O faults and independent implementation interoperability are not compared."
}