{
  "profile": "gated-driver-completion-v1",
  "vectors_sha256": "f931cf9fb8c73ae6b63b4f2be888430ba1c41fdd82e91d483cb406fdd93a3905",
  "adapter": [
    "target/debug/examples/core_conformance"
  ],
  "results": [
    {
      "id": "withhold-ack-until-completion",
      "requirement": "C-DURABLE-01",
      "pass": true
    },
    {
      "id": "one-owner-blocks-start-and-reopen",
      "requirement": "C-DURABLE-01",
      "pass": true
    },
    {
      "id": "success-after-timeout-needs-recovery",
      "requirement": "C-DURABLE-01",
      "pass": true
    },
    {
      "id": "lost-before-call-retry",
      "requirement": "C-DURABLE-01",
      "pass": true
    },
    {
      "id": "uncertain-after-real-commit-retry",
      "requirement": "C-DURABLE-01",
      "pass": true
    },
    {
      "id": "restart-preserves-real-commit",
      "requirement": "C-DURABLE-01",
      "pass": true
    },
    {
      "id": "restart-discards-unstarted-call",
      "requirement": "C-DURABLE-01",
      "pass": true
    },
    {
      "id": "rollover-refused-with-owner",
      "requirement": "C-DURABLE-01",
      "pass": true
    },
    {
      "id": "local-evidence-inflight-dedup",
      "requirement": "C-DURABLE-01",
      "pass": true
    },
    {
      "id": "local-evidence-uncertain-recovery",
      "requirement": "C-DURABLE-01",
      "pass": true
    },
    {
      "id": "local-evidence-abandoned-retry",
      "requirement": "C-DURABLE-01",
      "pass": true
    }
  ],
  "passed": 11,
  "total": 11,
  "limitations": "One real ledger-owner thread. Gate after successful ledger call, or skip before call. No suspended fsync, syscall cancellation, injected IO errors, actual process crash, or full driver refinement."
}