{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1480-virtio-status-local-gxOYsT/report.json",
    "sha256": "fa5ec12e342c4aabf91e19fbf53880a2d1e3a7a668d1ff9b34bd52f516018393",
    "bytes": 3750
  },
  "status": "K1476_K1479_LOCAL_VALIDATED",
  "scope": "The transport-neutral Virtio status model validates monotonic status writes, FEATURES_OK rejection, FAILED and DEVICE_NEEDS_RESET recovery, queue-live ownership, and reset-gated release. Two host tests, AArch64 no_std compilation, and a removed-release-guard mutant are recorded. Physical status and queue readbacks remain for K1480.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1480-virtio-status-local-gxOYsT/source/os-virtio-status/src/lib.rs",
      "originalSha256": "ee7b85b25a3a643ae7c2ec2c5ab61465389dbbd0424ddbf7063ed3606b2547bc",
      "href": "/os-evidence/ee7b85b25a3a643ae7c2ec2c5ab61465389dbbd0424ddbf7063ed3606b2547bc.txt",
      "sha256": "ee7b85b25a3a643ae7c2ec2c5ab61465389dbbd0424ddbf7063ed3606b2547bc",
      "bytes": 5601,
      "redacted": false
    },
    {
      "name": "virtio_status.rs",
      "source": "reports/os-implementation/K1480-virtio-status-local-gxOYsT/source/kernel/tests/os/virtio_status.rs",
      "originalSha256": "803804f980831baf5d730e785ea6c340e689d501940b729f739855dce5924e4e",
      "href": "/os-evidence/803804f980831baf5d730e785ea6c340e689d501940b729f739855dce5924e4e.txt",
      "sha256": "803804f980831baf5d730e785ea6c340e689d501940b729f739855dce5924e4e",
      "bytes": 2781,
      "redacted": false
    },
    {
      "name": "VIRTIO_STATUS_LIFECYCLE_CONTRACT.md",
      "source": "reports/os-implementation/K1480-virtio-status-local-gxOYsT/source/kernel/VIRTIO_STATUS_LIFECYCLE_CONTRACT.md",
      "originalSha256": "f462253c468e93762d7031395f16f7d15cc13ec3e3487fb139280bba0d860e03",
      "href": "/os-evidence/f462253c468e93762d7031395f16f7d15cc13ec3e3487fb139280bba0d860e03.txt",
      "sha256": "f462253c468e93762d7031395f16f7d15cc13ec3e3487fb139280bba0d860e03",
      "bytes": 1737,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1480-virtio-status-local-gxOYsT/source/no-std-root.rs",
      "originalSha256": "18c96ed155ee9f5ce7e817280918883d293319a68849a77ac54887dc51139a74",
      "href": "/os-evidence/18c96ed155ee9f5ce7e817280918883d293319a68849a77ac54887dc51139a74.txt",
      "sha256": "18c96ed155ee9f5ce7e817280918883d293319a68849a77ac54887dc51139a74",
      "bytes": 74,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1480-virtio-status-local-gxOYsT/source/os-virtio-features/src/lib.rs",
      "originalSha256": "870bb42713a24245e19d22ca9ce5987f9d7c088e24a84d719c7693c65fedd83e",
      "href": "/os-evidence/870bb42713a24245e19d22ca9ce5987f9d7c088e24a84d719c7693c65fedd83e.txt",
      "sha256": "870bb42713a24245e19d22ca9ce5987f9d7c088e24a84d719c7693c65fedd83e",
      "bytes": 5306,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1480-virtio-status-local-gxOYsT/source/os-virtio-pci-common/src/lib.rs",
      "originalSha256": "6d36bc899217d13afc405f57f156db1d20e2f965e9cd7142494795a023450e1b",
      "href": "/os-evidence/6d36bc899217d13afc405f57f156db1d20e2f965e9cd7142494795a023450e1b.txt",
      "sha256": "6d36bc899217d13afc405f57f156db1d20e2f965e9cd7142494795a023450e1b",
      "bytes": 6247,
      "redacted": false
    },
    {
      "name": "virtio-status-local.mjs",
      "source": "scripts/os-acceptance/virtio-status-local.mjs",
      "originalSha256": "d602ab667f89c22f51fc3bf255349ffdda901031f7d11eecb28544178ff16858",
      "href": "/os-evidence/d602ab667f89c22f51fc3bf255349ffdda901031f7d11eecb28544178ff16858.txt",
      "sha256": "d602ab667f89c22f51fc3bf255349ffdda901031f7d11eecb28544178ff16858",
      "bytes": 5008,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1480-virtio-status-local-gxOYsT/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1480-virtio-status-local-gxOYsT/host-tests.log",
      "originalSha256": "3c0a0aab97a87f4c68279f545b47347d86d11a0da808cbbd17a8964b37ebad2a",
      "href": "/os-evidence/3c0a0aab97a87f4c68279f545b47347d86d11a0da808cbbd17a8964b37ebad2a.txt",
      "sha256": "3c0a0aab97a87f4c68279f545b47347d86d11a0da808cbbd17a8964b37ebad2a",
      "bytes": 202,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1480-virtio-status-local-gxOYsT/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/K1480-virtio-status-local-gxOYsT/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1480-virtio-status-local-gxOYsT/mutant-tests.log",
      "originalSha256": "b65e490a86ca8bb96b58ea36150765001c9749e86625d3ec707c3d20e45d0c7c",
      "href": "/os-evidence/1f7c718f9fe53737c387f9f76a04ddd5a07ec6d3585a7b54fc82980c94c7c0f8.txt",
      "sha256": "1f7c718f9fe53737c387f9f76a04ddd5a07ec6d3585a7b54fc82980c94c7c0f8",
      "bytes": 992,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1480-virtio-status-local-gxOYsT/mutant/os-virtio-status/src/lib.rs",
      "originalSha256": "d89249cbc5457c905c52eef614646b57a07b62048cd5ffb06eb415a6a3365f50",
      "href": "/os-evidence/d89249cbc5457c905c52eef614646b57a07b62048cd5ffb06eb415a6a3365f50.txt",
      "sha256": "d89249cbc5457c905c52eef614646b57a07b62048cd5ffb06eb415a6a3365f50",
      "bytes": 5561,
      "redacted": false
    }
  ],
  "moves": [
    "K1476",
    "K1477",
    "K1478",
    "K1479"
  ]
}