{
  "profile": "synchronous-driver-projection-v1",
  "vectors": [
    {
      "id": "commit-before-ack-and-replay",
      "requirement": "C-BOUNDS-01",
      "request": {
        "op": "driver_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "commit"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "commit"
          },
          {
            "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
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 2,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0
          }
        ]
      }
    },
    {
      "id": "queued-expiry",
      "requirement": "C-BOUNDS-01",
      "request": {
        "op": "driver_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "tick",
            "ms": 5000
          },
          {
            "action": "verify"
          },
          {
            "action": "commit"
          }
        ]
      },
      "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
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          }
        ]
      }
    },
    {
      "id": "old-epoch-queued-before-rollover",
      "requirement": "C-BOUNDS-01",
      "request": {
        "op": "driver_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "tick",
            "ms": 100000
          },
          {
            "action": "rollover"
          },
          {
            "action": "commit"
          }
        ]
      },
      "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
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 1
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 28,
            "epoch": 1
          }
        ]
      }
    },
    {
      "id": "expired-before-commit",
      "requirement": "C-BOUNDS-01",
      "request": {
        "op": "driver_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "tick",
            "ms": 100000
          },
          {
            "action": "commit"
          }
        ]
      },
      "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
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 28,
            "epoch": 0
          }
        ]
      }
    },
    {
      "id": "invalid-signature-consumes-credit",
      "requirement": "C-BOUNDS-01",
      "request": {
        "op": "driver_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1,
            "corrupt": true
          },
          {
            "action": "verify"
          },
          {
            "action": "commit"
          }
        ]
      },
      "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
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          }
        ]
      }
    },
    {
      "id": "source-cap-and-rotation",
      "requirement": "C-BOUNDS-01",
      "request": {
        "op": "driver_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "a",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "a",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "a",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "a",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "a",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 2
          },
          {
            "action": "verify"
          },
          {
            "action": "commit"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "commit"
          },
          {
            "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
          },
          {
            "queued": 2,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 3,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 4,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 4,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 5,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 4,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 4,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 4,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 3,
            "ordinary": 1,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 3,
            "ordinary": 0,
            "local": 0,
            "claims": 2,
            "conflicts": 0,
            "responses": 1,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0
          },
          {
            "queued": 3,
            "ordinary": 0,
            "local": 0,
            "claims": 2,
            "conflicts": 0,
            "responses": 0,
            "delivered": 2,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0
          }
        ]
      }
    },
    {
      "id": "lost-response-restart-replay",
      "requirement": "C-BOUNDS-01",
      "request": {
        "op": "driver_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "commit"
          },
          {
            "action": "restart"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "commit"
          },
          {
            "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
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0
          }
        ]
      }
    },
    {
      "id": "local-evidence-and-duplicate",
      "requirement": "C-BOUNDS-01",
      "request": {
        "op": "driver_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "commit"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "local_conflict",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "offer",
            "fixture": "local_conflict",
            "source": 2
          },
          {
            "action": "verify"
          },
          {
            "action": "commit"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "commit"
          }
        ]
      },
      "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
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 1,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 1,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 1,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 20,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 1,
            "delivered": 1,
            "credits": 20,
            "write_credits": 24,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 0,
            "delivered": 2,
            "credits": 20,
            "write_credits": 24,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 0,
            "delivered": 2,
            "credits": 20,
            "write_credits": 24,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 0,
            "delivered": 2,
            "credits": 16,
            "write_credits": 24,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 0,
            "delivered": 2,
            "credits": 16,
            "write_credits": 20,
            "epoch": 0
          }
        ]
      }
    },
    {
      "id": "local-routing-after-restart",
      "requirement": "C-BOUNDS-01",
      "request": {
        "op": "driver_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "commit"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "restart"
          },
          {
            "action": "offer",
            "fixture": "local_conflict",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "commit"
          },
          {
            "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
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 1,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 1,
            "delivered": 1,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 1,
            "responses": 0,
            "delivered": 2,
            "credits": 24,
            "write_credits": 24,
            "epoch": 0
          }
        ]
      }
    },
    {
      "id": "ordinary-lane-full",
      "requirement": "C-BOUNDS-01",
      "request": {
        "op": "driver_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "tick",
            "ms": 1000
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "tick",
            "ms": 2000
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          }
        ]
      },
      "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
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 2,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 2,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 3,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 20,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 3,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 20,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 4,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 16,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 4,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 16,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 5,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 12,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 5,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 12,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 6,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 8,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 6,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 8,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 7,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 4,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 7,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 4,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 8,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 0,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 8,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 8,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 9,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 9,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 10,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 10,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 11,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 20,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 11,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 20,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 12,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 16,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 12,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 16,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 13,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 12,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 13,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 12,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 14,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 8,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 14,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 8,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 15,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 4,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 15,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 4,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 16,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 0,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 16,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 16,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 16,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          }
        ]
      }
    },
    {
      "id": "untrusted-local-hint",
      "requirement": "C-BOUNDS-01",
      "request": {
        "op": "driver_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "commit"
          },
          {
            "action": "receive",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "local_conflict",
            "source": 1,
            "corrupt": true
          },
          {
            "action": "verify"
          },
          {
            "action": "commit"
          }
        ]
      },
      "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
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 1,
            "credits": 24,
            "write_credits": 28,
            "epoch": 0
          }
        ]
      }
    },
    {
      "id": "signature-budget-no-idle-accumulation",
      "requirement": "C-BOUNDS-01",
      "request": {
        "op": "driver_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 2
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 3
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 4
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 5
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 6
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 7
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 8
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 9
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 10
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 11
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 12
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 13
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 14
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 15
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 16
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          },
          {
            "action": "tick",
            "ms": 1000
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          },
          {
            "action": "verify"
          }
        ]
      },
      "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
          },
          {
            "queued": 2,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 3,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 4,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 5,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 6,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 7,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 8,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 9,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 10,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 11,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 12,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 13,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 14,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 15,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 16,
            "ordinary": 0,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 15,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 14,
            "ordinary": 2,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 13,
            "ordinary": 3,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 20,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 12,
            "ordinary": 4,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 16,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 11,
            "ordinary": 5,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 12,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 10,
            "ordinary": 6,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 8,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 9,
            "ordinary": 7,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 4,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 8,
            "ordinary": 8,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 0,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 8,
            "ordinary": 8,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 0,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 8,
            "ordinary": 8,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 0,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 8,
            "ordinary": 8,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 7,
            "ordinary": 9,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 6,
            "ordinary": 10,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 24,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 5,
            "ordinary": 11,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 20,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 4,
            "ordinary": 12,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 16,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 3,
            "ordinary": 13,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 12,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 2,
            "ordinary": 14,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 8,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 15,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 4,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 16,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 0,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 16,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 0,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 16,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 0,
            "write_credits": 32,
            "epoch": 0
          }
        ]
      }
    },
    {
      "id": "output-deadline-closes-source",
      "requirement": "C-BOUNDS-01",
      "request": {
        "op": "driver_trace",
        "steps": [
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "commit"
          },
          {
            "action": "offer",
            "fixture": "a",
            "source": 2
          },
          {
            "action": "tick",
            "ms": 5000
          },
          {
            "action": "offer",
            "fixture": "c",
            "source": 1
          },
          {
            "action": "verify"
          },
          {
            "action": "commit"
          },
          {
            "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
          },
          {
            "queued": 0,
            "ordinary": 1,
            "local": 0,
            "claims": 0,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 28,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 1,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 1,
            "delivered": 0,
            "credits": 28,
            "write_credits": 28,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          },
          {
            "queued": 0,
            "ordinary": 0,
            "local": 0,
            "claims": 1,
            "conflicts": 0,
            "responses": 0,
            "delivered": 0,
            "credits": 32,
            "write_credits": 32,
            "epoch": 0
          }
        ]
      }
    }
  ],
  "limitations": "Fixed-corpus synchronous projection with whole-second clocks and 32 pre-established sessions. No handshakes, partial frames, asynchronous writes, injected IO failures, or full Rust/model refinement."
}