{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1470-virtio-pci-common-local-yNmm2L/report.json",
    "sha256": "893d06d601292c43a8d90caa9cac073017b5aa601d391c22913022d0b56cfc25",
    "bytes": 3843
  },
  "status": "K1466_K1469_LOCAL_VALIDATED",
  "scope": "The bounded local Virtio PCI common configuration model validates the vendor capability, memory BAR bounds, 0x38-byte common field mapping and generation-tagged function ownership. It refuses release before observed reset. Two host tests, AArch64 no_std compilation, and a removed-release-guard mutant are recorded. Physical PCI MMIO and DMA remain for K1470.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1470-virtio-pci-common-local-yNmm2L/source/os-virtio-pci-common/src/lib.rs",
      "originalSha256": "6d36bc899217d13afc405f57f156db1d20e2f965e9cd7142494795a023450e1b",
      "href": "/os-evidence/6d36bc899217d13afc405f57f156db1d20e2f965e9cd7142494795a023450e1b.txt",
      "sha256": "6d36bc899217d13afc405f57f156db1d20e2f965e9cd7142494795a023450e1b",
      "bytes": 6247,
      "redacted": false
    },
    {
      "name": "virtio_pci_common.rs",
      "source": "reports/os-implementation/K1470-virtio-pci-common-local-yNmm2L/source/kernel/tests/os/virtio_pci_common.rs",
      "originalSha256": "fda0a4b6681ac05c75cc827a60f138bc86e36dca69dfad6e1e549b1d058ac228",
      "href": "/os-evidence/fda0a4b6681ac05c75cc827a60f138bc86e36dca69dfad6e1e549b1d058ac228.txt",
      "sha256": "fda0a4b6681ac05c75cc827a60f138bc86e36dca69dfad6e1e549b1d058ac228",
      "bytes": 3882,
      "redacted": false
    },
    {
      "name": "VIRTIO_PCI_COMMON_CONTRACT.md",
      "source": "reports/os-implementation/K1470-virtio-pci-common-local-yNmm2L/source/kernel/VIRTIO_PCI_COMMON_CONTRACT.md",
      "originalSha256": "2bc45175318ffd23958891073970a76829bd5ef3e3795f3aa7c87ebefabff041",
      "href": "/os-evidence/2bc45175318ffd23958891073970a76829bd5ef3e3795f3aa7c87ebefabff041.txt",
      "sha256": "2bc45175318ffd23958891073970a76829bd5ef3e3795f3aa7c87ebefabff041",
      "bytes": 2650,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1470-virtio-pci-common-local-yNmm2L/source/no-std-root.rs",
      "originalSha256": "124cd76abdf13ce847073b72c7c0b7c22fe97f90d273c52702f0cda6d1b09a8b",
      "href": "/os-evidence/124cd76abdf13ce847073b72c7c0b7c22fe97f90d273c52702f0cda6d1b09a8b.txt",
      "sha256": "124cd76abdf13ce847073b72c7c0b7c22fe97f90d273c52702f0cda6d1b09a8b",
      "bytes": 82,
      "redacted": false
    },
    {
      "name": "capabilities.rs",
      "source": "reports/os-implementation/K1470-virtio-pci-common-local-yNmm2L/source/os-pci-discovery/src/capabilities.rs",
      "originalSha256": "1e39b52d8b98d3c049eac6af16f5eec208bdb5404425b708f5756e954cb0836f",
      "href": "/os-evidence/1e39b52d8b98d3c049eac6af16f5eec208bdb5404425b708f5756e954cb0836f.txt",
      "sha256": "1e39b52d8b98d3c049eac6af16f5eec208bdb5404425b708f5756e954cb0836f",
      "bytes": 2242,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1470-virtio-pci-common-local-yNmm2L/source/os-pci-resources/src/lib.rs",
      "originalSha256": "e5767d185824150d05a2b9ca03a976eb515a2865e6971c21ecffba34fb0be8db",
      "href": "/os-evidence/e5767d185824150d05a2b9ca03a976eb515a2865e6971c21ecffba34fb0be8db.txt",
      "sha256": "e5767d185824150d05a2b9ca03a976eb515a2865e6971c21ecffba34fb0be8db",
      "bytes": 3777,
      "redacted": false
    },
    {
      "name": "virtio-pci-common-local.mjs",
      "source": "scripts/os-acceptance/virtio-pci-common-local.mjs",
      "originalSha256": "e426cea1bff55332364ededdb50e4ce306e8d63370f4b19648dbe817ae17d517",
      "href": "/os-evidence/e426cea1bff55332364ededdb50e4ce306e8d63370f4b19648dbe817ae17d517.txt",
      "sha256": "e426cea1bff55332364ededdb50e4ce306e8d63370f4b19648dbe817ae17d517",
      "bytes": 5133,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1470-virtio-pci-common-local-yNmm2L/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1470-virtio-pci-common-local-yNmm2L/host-tests.log",
      "originalSha256": "a64c89017de6998405e7c0cb8a188c0460e340cb3d7638a7db6b9cb5b5e46056",
      "href": "/os-evidence/a64c89017de6998405e7c0cb8a188c0460e340cb3d7638a7db6b9cb5b5e46056.txt",
      "sha256": "a64c89017de6998405e7c0cb8a188c0460e340cb3d7638a7db6b9cb5b5e46056",
      "bytes": 197,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1470-virtio-pci-common-local-yNmm2L/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/K1470-virtio-pci-common-local-yNmm2L/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1470-virtio-pci-common-local-yNmm2L/mutant-tests.log",
      "originalSha256": "74ce91062e6640e9b1041f783feac669bcd4e44d2caad3a953bba9f6ea9b069f",
      "href": "/os-evidence/0168fee33a50f4b8e3db549d4caaf4c0fd32859d0caffedad0e235af81c614f1.txt",
      "sha256": "0168fee33a50f4b8e3db549d4caaf4c0fd32859d0caffedad0e235af81c614f1",
      "bytes": 647,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1470-virtio-pci-common-local-yNmm2L/mutant/os-virtio-pci-common/src/lib.rs",
      "originalSha256": "5f37836470dda0477e700bdc1dd597243ce39b118e9e523953e1cb511f1cba69",
      "href": "/os-evidence/5f37836470dda0477e700bdc1dd597243ce39b118e9e523953e1cb511f1cba69.txt",
      "sha256": "5f37836470dda0477e700bdc1dd597243ce39b118e9e523953e1cb511f1cba69",
      "bytes": 6218,
      "redacted": false
    }
  ],
  "moves": [
    "K1466",
    "K1467",
    "K1468",
    "K1469"
  ]
}