{
  "profile": "experimental-local-admission-transitions-v1",
  "vectors": [
    {
      "id": "replication-restart-expiry",
      "requirement": "C-REPLAY-01",
      "request": {
        "op": "admission_trace",
        "capacity": 2,
        "steps": [
          {
            "action": "admit",
            "fixture": "a",
            "now": 100
          },
          {
            "action": "admit",
            "fixture": "a",
            "now": 100
          },
          {
            "action": "restart"
          },
          {
            "action": "admit",
            "fixture": "a",
            "now": 100
          },
          {
            "action": "usable",
            "fixture": "a",
            "now": 199
          },
          {
            "action": "usable",
            "fixture": "a",
            "now": 200
          },
          {
            "action": "admit",
            "fixture": "a",
            "now": 200
          }
        ]
      },
      "expected": {
        "ok": true,
        "results": [
          {
            "ok": true,
            "claims": 1,
            "conflicts": 0
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 0
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 0
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 0
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 0,
            "usable": true
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 0,
            "usable": false
          },
          {
            "ok": false,
            "error": "scope or epoch mismatch",
            "claims": 1,
            "conflicts": 0
          }
        ]
      }
    },
    {
      "id": "conflict-is-not-auto-quarantine",
      "requirement": "C-DURABLE-01",
      "request": {
        "op": "admission_trace",
        "capacity": 2,
        "steps": [
          {
            "action": "admit",
            "fixture": "a",
            "now": 100
          },
          {
            "action": "admit",
            "fixture": "b",
            "now": 100
          },
          {
            "action": "usable",
            "fixture": "a",
            "now": 100
          },
          {
            "action": "conflict",
            "first": "a",
            "second": "b",
            "now": 100
          },
          {
            "action": "usable",
            "fixture": "a",
            "now": 100
          },
          {
            "action": "restart"
          },
          {
            "action": "usable",
            "fixture": "a",
            "now": 100
          },
          {
            "action": "conflict",
            "first": "a",
            "second": "b",
            "now": 100
          },
          {
            "action": "admit",
            "fixture": "b",
            "now": 100
          }
        ]
      },
      "expected": {
        "ok": true,
        "results": [
          {
            "ok": true,
            "claims": 1,
            "conflicts": 0
          },
          {
            "ok": false,
            "error": "credential slot conflict",
            "claims": 1,
            "conflicts": 0
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 0,
            "usable": true
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 1,
            "changed": true
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 1,
            "usable": false
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 1
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 1,
            "usable": false
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 1,
            "changed": false
          },
          {
            "ok": false,
            "error": "sponsorship slot quarantined",
            "claims": 1,
            "conflicts": 1
          }
        ]
      }
    },
    {
      "id": "capacity-replay-and-rejected-allocation",
      "requirement": "C-BOUNDS-01",
      "request": {
        "op": "admission_trace",
        "capacity": 1,
        "steps": [
          {
            "action": "admit",
            "fixture": "a",
            "now": 100
          },
          {
            "action": "admit",
            "fixture": "a",
            "now": 100
          },
          {
            "action": "admit",
            "fixture": "c",
            "now": 100
          },
          {
            "action": "usable",
            "fixture": "c",
            "now": 100
          }
        ]
      },
      "expected": {
        "ok": true,
        "results": [
          {
            "ok": true,
            "claims": 1,
            "conflicts": 0
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 0
          },
          {
            "ok": false,
            "error": "local claim capacity",
            "claims": 1,
            "conflicts": 0
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 0,
            "usable": false
          }
        ]
      }
    },
    {
      "id": "authentication-is-not-work-authorization",
      "requirement": "C-AUTH-01",
      "request": {
        "op": "admission_trace",
        "capacity": 2,
        "steps": [
          {
            "action": "admit",
            "fixture": "weak",
            "now": 100
          },
          {
            "action": "admit",
            "fixture": "open",
            "now": 100
          },
          {
            "action": "admit",
            "fixture": "a",
            "now": 99
          },
          {
            "action": "admit",
            "fixture": "a",
            "now": 110
          },
          {
            "action": "admit",
            "fixture": "a",
            "now": 109
          }
        ]
      },
      "expected": {
        "ok": true,
        "results": [
          {
            "ok": false,
            "error": "insufficient work",
            "claims": 0,
            "conflicts": 0
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 0
          },
          {
            "ok": false,
            "error": "clock behind committed admission",
            "claims": 1,
            "conflicts": 0
          },
          {
            "ok": true,
            "claims": 2,
            "conflicts": 0
          },
          {
            "ok": false,
            "error": "clock behind committed admission",
            "claims": 2,
            "conflicts": 0
          }
        ]
      }
    },
    {
      "id": "saturation-control-unrelated-sponsor",
      "requirement": "C-CURRENT-01",
      "request": {
        "op": "admission_trace",
        "capacity": 1,
        "steps": [
          {
            "action": "admit",
            "fixture": "c",
            "now": 100
          },
          {
            "action": "conflict",
            "first": "a",
            "second": "b",
            "now": 100
          },
          {
            "action": "usable",
            "fixture": "c",
            "now": 100
          },
          {
            "action": "restart"
          },
          {
            "action": "usable",
            "fixture": "c",
            "now": 100
          }
        ]
      },
      "expected": {
        "ok": true,
        "results": [
          {
            "ok": true,
            "claims": 1,
            "conflicts": 0
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 1,
            "changed": true
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 1,
            "usable": false
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 1
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 1,
            "usable": false
          }
        ]
      }
    },
    {
      "id": "saturation-preserves-open-lane",
      "requirement": "C-SEPARATE-01",
      "request": {
        "op": "admission_trace",
        "capacity": 1,
        "steps": [
          {
            "action": "conflict",
            "first": "a",
            "second": "b",
            "now": 100
          },
          {
            "action": "admit",
            "fixture": "open",
            "now": 100
          },
          {
            "action": "usable",
            "fixture": "open",
            "now": 100
          },
          {
            "action": "conflict",
            "first": "a",
            "second": "a",
            "now": 100
          }
        ]
      },
      "expected": {
        "ok": true,
        "results": [
          {
            "ok": true,
            "claims": 0,
            "conflicts": 1,
            "changed": true
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 1
          },
          {
            "ok": true,
            "claims": 1,
            "conflicts": 1,
            "usable": true
          },
          {
            "ok": false,
            "error": "not conflicting slot claims",
            "claims": 1,
            "conflicts": 1
          }
        ]
      }
    }
  ],
  "limitations": "Fixed-corpus durable local transitions, not arbitrary Beacon encoding, crash injection, network coordination, or Core conformance."
}