{
  "schema_version": 1,
  "evidence_kind": "host-library-execution-with-mocked-syscall",
  "inputs": [
    {
      "path": "libnvme-v1.15.json",
      "sha256": "67b6c7bde8f9e5bdea1a81daee5d948a44b03f5b87524a9411f27254cb1c394e",
      "version": "v1.15",
      "case_count": 168
    },
    {
      "path": "libnvme-v1.16.2.json",
      "sha256": "00e900c7adbdaa899df8477eda904ff7ef8f13f1961357fc4496b9a3181773ad",
      "version": "v1.16.2",
      "case_count": 168
    }
  ],
  "population": {
    "native_cases": 336,
    "versions": 2,
    "compiler_modes": 2,
    "offsets": 2,
    "retain_settings": 2,
    "request_bytes": 12288,
    "chunk_bytes": 4096,
    "physical_devices": 0
  },
  "findings": {
    "reuse_after_failure_in_chunk_1_or_2": {
      "cases": 64,
      "return_zero_but_incomplete": 64
    },
    "fresh_retry_after_injected_failure": {
      "cases": 96,
      "complete": 96
    }
  },
  "table": [
    {
      "policy": "none",
      "requested_rae": 0,
      "first_return": -1,
      "retry_return": null,
      "covered_bytes": 4096,
      "retry_commands": []
    },
    {
      "policy": "reuse",
      "requested_rae": 0,
      "first_return": -1,
      "retry_return": 0,
      "covered_bytes": 8192,
      "retry_commands": [
        {
          "offset": 4096,
          "bytes": 4096,
          "rae": 1
        }
      ]
    },
    {
      "policy": "fresh",
      "requested_rae": 0,
      "first_return": -1,
      "retry_return": 0,
      "covered_bytes": 12288,
      "retry_commands": [
        {
          "offset": 0,
          "bytes": 4096,
          "rae": 1
        },
        {
          "offset": 4096,
          "bytes": 4096,
          "rae": 1
        },
        {
          "offset": 8192,
          "bytes": 4096,
          "rae": 0
        }
      ]
    },
    {
      "policy": "fresh",
      "requested_rae": 1,
      "first_return": -1,
      "retry_return": 0,
      "covered_bytes": 12288,
      "retry_commands": [
        {
          "offset": 0,
          "bytes": 4096,
          "rae": 1
        },
        {
          "offset": 4096,
          "bytes": 4096,
          "rae": 1
        },
        {
          "offset": 8192,
          "bytes": 4096,
          "rae": 1
        }
      ]
    }
  ],
  "interpretation_limit": "Constructed cases, not incident frequencies; no controller event state was measured."
}