{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1495-virtio-completions-local-7TNfV4/report.json",
    "sha256": "c08627ec7866ad49c51974940c3768c0674d6dd06fea635c73437e0adc04342e",
    "bytes": 3859
  },
  "status": "K1491_K1494_LOCAL_VALIDATED",
  "scope": "The bounded completion table accepts two out-of-order live IDs, returns the exact DMA owner token, rejects foreign or repeated IDs, malformed length and status without mutation, and gates retirement on observed reset. Two host tests, AArch64 no_std compilation, and a removed-status-guard mutant are recorded. Physical used-element ownership remains for K1495.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1495-virtio-completions-local-7TNfV4/source/os-virtio-completions/src/lib.rs",
      "originalSha256": "4ae3e124211a52d89c87c198ee96f482150676142de461aca280b0fc2307224a",
      "href": "/os-evidence/4ae3e124211a52d89c87c198ee96f482150676142de461aca280b0fc2307224a.txt",
      "sha256": "4ae3e124211a52d89c87c198ee96f482150676142de461aca280b0fc2307224a",
      "bytes": 3180,
      "redacted": false
    },
    {
      "name": "virtio_completions.rs",
      "source": "reports/os-implementation/K1495-virtio-completions-local-7TNfV4/source/kernel/tests/os/virtio_completions.rs",
      "originalSha256": "9e7b47819a791eec80e57c2b1edf59fa7b4bb3b8577eb930cad8db1dbc0d51de",
      "href": "/os-evidence/9e7b47819a791eec80e57c2b1edf59fa7b4bb3b8577eb930cad8db1dbc0d51de.txt",
      "sha256": "9e7b47819a791eec80e57c2b1edf59fa7b4bb3b8577eb930cad8db1dbc0d51de",
      "bytes": 1720,
      "redacted": false
    },
    {
      "name": "VIRTIO_COMPLETION_OWNERSHIP_CONTRACT.md",
      "source": "reports/os-implementation/K1495-virtio-completions-local-7TNfV4/source/kernel/VIRTIO_COMPLETION_OWNERSHIP_CONTRACT.md",
      "originalSha256": "7ba1559117df3cbc15dd256e6303b89e4bf56b405fd927880e8228a15e7ed96d",
      "href": "/os-evidence/7ba1559117df3cbc15dd256e6303b89e4bf56b405fd927880e8228a15e7ed96d.txt",
      "sha256": "7ba1559117df3cbc15dd256e6303b89e4bf56b405fd927880e8228a15e7ed96d",
      "bytes": 942,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1495-virtio-completions-local-7TNfV4/source/no-std-root.rs",
      "originalSha256": "e65ca40752e018855b0d5a41dab8a15acbd91bc19004fbe33dfbf60f921ed8c4",
      "href": "/os-evidence/e65ca40752e018855b0d5a41dab8a15acbd91bc19004fbe33dfbf60f921ed8c4.txt",
      "sha256": "e65ca40752e018855b0d5a41dab8a15acbd91bc19004fbe33dfbf60f921ed8c4",
      "bytes": 84,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1495-virtio-completions-local-7TNfV4/source/os-virtio-indices/src/lib.rs",
      "originalSha256": "9de154c209281ee9f9d6deffff4533076fe17fe754b00cc38a0fd4b684a2e501",
      "href": "/os-evidence/9de154c209281ee9f9d6deffff4533076fe17fe754b00cc38a0fd4b684a2e501.txt",
      "sha256": "9de154c209281ee9f9d6deffff4533076fe17fe754b00cc38a0fd4b684a2e501",
      "bytes": 3294,
      "redacted": false
    },
    {
      "name": "virtio_ring.rs",
      "source": "reports/os-implementation/K1495-virtio-completions-local-7TNfV4/source/kernel/src/virtio_ring.rs",
      "originalSha256": "f2f9915ca521c4496daead0c879dacc190f7eb6e076ce0a4f0f34248b4f48ab7",
      "href": "/os-evidence/f2f9915ca521c4496daead0c879dacc190f7eb6e076ce0a4f0f34248b4f48ab7.txt",
      "sha256": "f2f9915ca521c4496daead0c879dacc190f7eb6e076ce0a4f0f34248b4f48ab7",
      "bytes": 53304,
      "redacted": false
    },
    {
      "name": "virtio-completions-local.mjs",
      "source": "scripts/os-acceptance/virtio-completions-local.mjs",
      "originalSha256": "1b224aa5819c652aae76a80d62a24a1d0b7a7ff2355b3f71d53485c8b75ebd16",
      "href": "/os-evidence/1b224aa5819c652aae76a80d62a24a1d0b7a7ff2355b3f71d53485c8b75ebd16.txt",
      "sha256": "1b224aa5819c652aae76a80d62a24a1d0b7a7ff2355b3f71d53485c8b75ebd16",
      "bytes": 5163,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1495-virtio-completions-local-7TNfV4/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1495-virtio-completions-local-7TNfV4/host-tests.log",
      "originalSha256": "d36c3cddaae9a689bd114a7a833ea6390f97d25c9d7f07be6336a34760fc57a9",
      "href": "/os-evidence/d36c3cddaae9a689bd114a7a833ea6390f97d25c9d7f07be6336a34760fc57a9.txt",
      "sha256": "d36c3cddaae9a689bd114a7a833ea6390f97d25c9d7f07be6336a34760fc57a9",
      "bytes": 219,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1495-virtio-completions-local-7TNfV4/aarch64-no-std-check.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-compile.log",
      "source": "reports/os-implementation/K1495-virtio-completions-local-7TNfV4/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1495-virtio-completions-local-7TNfV4/mutant-tests.log",
      "originalSha256": "478428159e4bee099ec54d650e22c8717cbb830cbc08d97c71e4e84d17157259",
      "href": "/os-evidence/a5151b291bd6a1bcdabe103e4d4ad4e1828026cce59bc75a7671a15b415d9db3.txt",
      "sha256": "a5151b291bd6a1bcdabe103e4d4ad4e1828026cce59bc75a7671a15b415d9db3",
      "bytes": 815,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1495-virtio-completions-local-7TNfV4/mutant/os-virtio-completions/src/lib.rs",
      "originalSha256": "dd1a0446c14f95827f1fd7f53b6931ee7be1b4233026865053ef0baf879daec0",
      "href": "/os-evidence/dd1a0446c14f95827f1fd7f53b6931ee7be1b4233026865053ef0baf879daec0.txt",
      "sha256": "dd1a0446c14f95827f1fd7f53b6931ee7be1b4233026865053ef0baf879daec0",
      "bytes": 3175,
      "redacted": false
    }
  ],
  "moves": [
    "K1491",
    "K1492",
    "K1493",
    "K1494"
  ]
}