{
  "profile": "synchronous-driver-projection-v1",
  "vectors_sha256": "7879f5668ec51ab816506d4cbbf1b06203be1610bb538f32dfc6d104d3aa21da",
  "adapter": [
    "target/debug/examples/core_conformance"
  ],
  "results": [
    {
      "id": "commit-before-ack-and-replay",
      "requirement": "C-BOUNDS-01",
      "pass": true
    },
    {
      "id": "queued-expiry",
      "requirement": "C-BOUNDS-01",
      "pass": true
    },
    {
      "id": "old-epoch-queued-before-rollover",
      "requirement": "C-BOUNDS-01",
      "pass": true
    },
    {
      "id": "expired-before-commit",
      "requirement": "C-BOUNDS-01",
      "pass": true
    },
    {
      "id": "invalid-signature-consumes-credit",
      "requirement": "C-BOUNDS-01",
      "pass": true
    },
    {
      "id": "source-cap-and-rotation",
      "requirement": "C-BOUNDS-01",
      "pass": true
    },
    {
      "id": "lost-response-restart-replay",
      "requirement": "C-BOUNDS-01",
      "pass": true
    },
    {
      "id": "local-evidence-and-duplicate",
      "requirement": "C-BOUNDS-01",
      "pass": true
    },
    {
      "id": "local-routing-after-restart",
      "requirement": "C-BOUNDS-01",
      "pass": true
    },
    {
      "id": "ordinary-lane-full",
      "requirement": "C-BOUNDS-01",
      "pass": true
    },
    {
      "id": "untrusted-local-hint",
      "requirement": "C-BOUNDS-01",
      "pass": true
    },
    {
      "id": "signature-budget-no-idle-accumulation",
      "requirement": "C-BOUNDS-01",
      "pass": true
    },
    {
      "id": "output-deadline-closes-source",
      "requirement": "C-BOUNDS-01",
      "pass": true
    }
  ],
  "passed": 13,
  "total": 13,
  "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."
}