{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1485-virtio-descriptors-local-oTWrAc/report.json",
    "sha256": "3e016f9a966fed9920643570cc53a5382d44d7155380e3b6e9169d2d250a00d2",
    "bytes": 3861
  },
  "status": "K1481_K1484_LOCAL_VALIDATED",
  "scope": "The bounded direct split-virtqueue descriptor model validates atomic chain claims, index and length bounds, loop and overlap refusal, completion head and used-length matching, and reclaim only after completion or observed reset. Two host tests, AArch64 no_std compilation, and a removed-reclaim-guard mutant are recorded. Physical descriptor DMA remains for K1485.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1485-virtio-descriptors-local-oTWrAc/source/os-virtio-descriptors/src/lib.rs",
      "originalSha256": "1228ae9a20fafd94872dfe4d3f00c7f40e961dc6dcf04a98d6da459a24e27a15",
      "href": "/os-evidence/1228ae9a20fafd94872dfe4d3f00c7f40e961dc6dcf04a98d6da459a24e27a15.txt",
      "sha256": "1228ae9a20fafd94872dfe4d3f00c7f40e961dc6dcf04a98d6da459a24e27a15",
      "bytes": 7017,
      "redacted": false
    },
    {
      "name": "virtio_descriptors.rs",
      "source": "reports/os-implementation/K1485-virtio-descriptors-local-oTWrAc/source/kernel/tests/os/virtio_descriptors.rs",
      "originalSha256": "ebfcb093f157583224e7a9777d6bcdec5f8f7d341a1840a2be499e40d7a9f3a8",
      "href": "/os-evidence/ebfcb093f157583224e7a9777d6bcdec5f8f7d341a1840a2be499e40d7a9f3a8.txt",
      "sha256": "ebfcb093f157583224e7a9777d6bcdec5f8f7d341a1840a2be499e40d7a9f3a8",
      "bytes": 3237,
      "redacted": false
    },
    {
      "name": "VIRTIO_DESCRIPTOR_CHAIN_CONTRACT.md",
      "source": "reports/os-implementation/K1485-virtio-descriptors-local-oTWrAc/source/kernel/VIRTIO_DESCRIPTOR_CHAIN_CONTRACT.md",
      "originalSha256": "57c78c7d1897291599dfe95a6026b1a97ceea02088e4e6cc6c23f8f7f6170421",
      "href": "/os-evidence/57c78c7d1897291599dfe95a6026b1a97ceea02088e4e6cc6c23f8f7f6170421.txt",
      "sha256": "57c78c7d1897291599dfe95a6026b1a97ceea02088e4e6cc6c23f8f7f6170421",
      "bytes": 1945,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1485-virtio-descriptors-local-oTWrAc/source/no-std-root.rs",
      "originalSha256": "9eea754f67bf1b00606b55b0ab498180ad95aed04fc4bc9a21c7f8e3d08ff08f",
      "href": "/os-evidence/9eea754f67bf1b00606b55b0ab498180ad95aed04fc4bc9a21c7f8e3d08ff08f.txt",
      "sha256": "9eea754f67bf1b00606b55b0ab498180ad95aed04fc4bc9a21c7f8e3d08ff08f",
      "bytes": 84,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1485-virtio-descriptors-local-oTWrAc/source/os-virtio-status/src/lib.rs",
      "originalSha256": "ee7b85b25a3a643ae7c2ec2c5ab61465389dbbd0424ddbf7063ed3606b2547bc",
      "href": "/os-evidence/ee7b85b25a3a643ae7c2ec2c5ab61465389dbbd0424ddbf7063ed3606b2547bc.txt",
      "sha256": "ee7b85b25a3a643ae7c2ec2c5ab61465389dbbd0424ddbf7063ed3606b2547bc",
      "bytes": 5601,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1485-virtio-descriptors-local-oTWrAc/source/os-virtio-pci-common/src/lib.rs",
      "originalSha256": "6d36bc899217d13afc405f57f156db1d20e2f965e9cd7142494795a023450e1b",
      "href": "/os-evidence/6d36bc899217d13afc405f57f156db1d20e2f965e9cd7142494795a023450e1b.txt",
      "sha256": "6d36bc899217d13afc405f57f156db1d20e2f965e9cd7142494795a023450e1b",
      "bytes": 6247,
      "redacted": false
    },
    {
      "name": "virtio-descriptors-local.mjs",
      "source": "scripts/os-acceptance/virtio-descriptors-local.mjs",
      "originalSha256": "351d92f0953ad46d85c81b5656de95459fd39a1864fca88cac6343831db16898",
      "href": "/os-evidence/351d92f0953ad46d85c81b5656de95459fd39a1864fca88cac6343831db16898.txt",
      "sha256": "351d92f0953ad46d85c81b5656de95459fd39a1864fca88cac6343831db16898",
      "bytes": 5124,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1485-virtio-descriptors-local-oTWrAc/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1485-virtio-descriptors-local-oTWrAc/host-tests.log",
      "originalSha256": "dd49fb0145ab77bd3bf5bad0608ca19f4a0da5c38df5083b094de2fbc1694c19",
      "href": "/os-evidence/dd49fb0145ab77bd3bf5bad0608ca19f4a0da5c38df5083b094de2fbc1694c19.txt",
      "sha256": "dd49fb0145ab77bd3bf5bad0608ca19f4a0da5c38df5083b094de2fbc1694c19",
      "bytes": 209,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1485-virtio-descriptors-local-oTWrAc/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/K1485-virtio-descriptors-local-oTWrAc/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1485-virtio-descriptors-local-oTWrAc/mutant-tests.log",
      "originalSha256": "411f694b40b7e1f7fe9d849ae63c2e44be26b79584f7ec32ca36df1a470da8b2",
      "href": "/os-evidence/8444eb04cfcedf371fed0c00ed14402674491336bb60c3b0682765be478ecac0.txt",
      "sha256": "8444eb04cfcedf371fed0c00ed14402674491336bb60c3b0682765be478ecac0",
      "bytes": 693,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1485-virtio-descriptors-local-oTWrAc/mutant/os-virtio-descriptors/src/lib.rs",
      "originalSha256": "742c905fa8594da87e5add717b2c6fa8a186137a89e36967c1159b5319e22a1c",
      "href": "/os-evidence/742c905fa8594da87e5add717b2c6fa8a186137a89e36967c1159b5319e22a1c.txt",
      "sha256": "742c905fa8594da87e5add717b2c6fa8a186137a89e36967c1159b5319e22a1c",
      "bytes": 6974,
      "redacted": false
    }
  ],
  "moves": [
    "K1481",
    "K1482",
    "K1483",
    "K1484"
  ]
}