{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1490-virtio-indices-local-mbF9mN/report.json",
    "sha256": "9066e79c57fb765018842ab59582e2c950e79c7f598c88ac88b9b6cdf4c72dd8",
    "bytes": 3760
  },
  "status": "K1486_K1489_LOCAL_VALIDATED",
  "scope": "The bounded split-virtqueue index model validates explicit u16 wrap, live head generations, stale used-index refusal, device advance bounded by outstanding work, and reset-gated retirement. Two host tests, AArch64 no_std compilation, and a removed-device-bound mutant are recorded. Physical guest observations remain for K1490.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1490-virtio-indices-local-mbF9mN/source/os-virtio-indices/src/lib.rs",
      "originalSha256": "9de154c209281ee9f9d6deffff4533076fe17fe754b00cc38a0fd4b684a2e501",
      "href": "/os-evidence/9de154c209281ee9f9d6deffff4533076fe17fe754b00cc38a0fd4b684a2e501.txt",
      "sha256": "9de154c209281ee9f9d6deffff4533076fe17fe754b00cc38a0fd4b684a2e501",
      "bytes": 3294,
      "redacted": false
    },
    {
      "name": "virtio_indices.rs",
      "source": "reports/os-implementation/K1490-virtio-indices-local-mbF9mN/source/kernel/tests/os/virtio_indices.rs",
      "originalSha256": "17e454fa1f679c98a834e3da2a5dbfeb7d0c89f58890e1ffeeb8e46cc4a3d5fd",
      "href": "/os-evidence/17e454fa1f679c98a834e3da2a5dbfeb7d0c89f58890e1ffeeb8e46cc4a3d5fd.txt",
      "sha256": "17e454fa1f679c98a834e3da2a5dbfeb7d0c89f58890e1ffeeb8e46cc4a3d5fd",
      "bytes": 2154,
      "redacted": false
    },
    {
      "name": "VIRTIO_QUEUE_INDEX_CONTRACT.md",
      "source": "reports/os-implementation/K1490-virtio-indices-local-mbF9mN/source/kernel/VIRTIO_QUEUE_INDEX_CONTRACT.md",
      "originalSha256": "ae1b01b65cb31fdbdeee6649e6a4b4683ab972e1bdd5d24f748beb45726aa867",
      "href": "/os-evidence/ae1b01b65cb31fdbdeee6649e6a4b4683ab972e1bdd5d24f748beb45726aa867.txt",
      "sha256": "ae1b01b65cb31fdbdeee6649e6a4b4683ab972e1bdd5d24f748beb45726aa867",
      "bytes": 1138,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1490-virtio-indices-local-mbF9mN/source/no-std-root.rs",
      "originalSha256": "9456a8381f1547aa1bf6ccced561cd05be4acb530f1d688e1ff22a66ae3a5db1",
      "href": "/os-evidence/9456a8381f1547aa1bf6ccced561cd05be4acb530f1d688e1ff22a66ae3a5db1.txt",
      "sha256": "9456a8381f1547aa1bf6ccced561cd05be4acb530f1d688e1ff22a66ae3a5db1",
      "bytes": 76,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1490-virtio-indices-local-mbF9mN/source/os-virtio-descriptors/src/lib.rs",
      "originalSha256": "1228ae9a20fafd94872dfe4d3f00c7f40e961dc6dcf04a98d6da459a24e27a15",
      "href": "/os-evidence/1228ae9a20fafd94872dfe4d3f00c7f40e961dc6dcf04a98d6da459a24e27a15.txt",
      "sha256": "1228ae9a20fafd94872dfe4d3f00c7f40e961dc6dcf04a98d6da459a24e27a15",
      "bytes": 7017,
      "redacted": false
    },
    {
      "name": "virtio_ring.rs",
      "source": "reports/os-implementation/K1490-virtio-indices-local-mbF9mN/source/kernel/src/virtio_ring.rs",
      "originalSha256": "f2f9915ca521c4496daead0c879dacc190f7eb6e076ce0a4f0f34248b4f48ab7",
      "href": "/os-evidence/f2f9915ca521c4496daead0c879dacc190f7eb6e076ce0a4f0f34248b4f48ab7.txt",
      "sha256": "f2f9915ca521c4496daead0c879dacc190f7eb6e076ce0a4f0f34248b4f48ab7",
      "bytes": 53304,
      "redacted": false
    },
    {
      "name": "virtio-indices-local.mjs",
      "source": "scripts/os-acceptance/virtio-indices-local.mjs",
      "originalSha256": "e27d352322fc4b0cf7d10b8bc393277abb6c401db40c30193d4b23974681e7af",
      "href": "/os-evidence/e27d352322fc4b0cf7d10b8bc393277abb6c401db40c30193d4b23974681e7af.txt",
      "sha256": "e27d352322fc4b0cf7d10b8bc393277abb6c401db40c30193d4b23974681e7af",
      "bytes": 5019,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1490-virtio-indices-local-mbF9mN/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1490-virtio-indices-local-mbF9mN/host-tests.log",
      "originalSha256": "28fc28638861d9cd752b8d0b50606a1ace8979ef8dfc35f229cb9af5e2c32b1b",
      "href": "/os-evidence/28fc28638861d9cd752b8d0b50606a1ace8979ef8dfc35f229cb9af5e2c32b1b.txt",
      "sha256": "28fc28638861d9cd752b8d0b50606a1ace8979ef8dfc35f229cb9af5e2c32b1b",
      "bytes": 212,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1490-virtio-indices-local-mbF9mN/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/K1490-virtio-indices-local-mbF9mN/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1490-virtio-indices-local-mbF9mN/mutant-tests.log",
      "originalSha256": "5869a21bad1f12a976133401a26a73a2a10f527d258ef8e6a9f265e99c914206",
      "href": "/os-evidence/bf03ceda3c5c17e94ba379627dcb847eb310a0de2e1f9067f2e2e078222454cd.txt",
      "sha256": "bf03ceda3c5c17e94ba379627dcb847eb310a0de2e1f9067f2e2e078222454cd",
      "bytes": 732,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1490-virtio-indices-local-mbF9mN/mutant/os-virtio-indices/src/lib.rs",
      "originalSha256": "4806b2a733ab6331fd493de4e6d6307e1cb5d150ac0a91e3736de6d77f9d1a11",
      "href": "/os-evidence/4806b2a733ab6331fd493de4e6d6307e1cb5d150ac0a91e3736de6d77f9d1a11.txt",
      "sha256": "4806b2a733ab6331fd493de4e6d6307e1cb5d150ac0a91e3736de6d77f9d1a11",
      "bytes": 3261,
      "redacted": false
    }
  ],
  "moves": [
    "K1486",
    "K1487",
    "K1488",
    "K1489"
  ]
}