{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1460-pci-msix-local-YBKG86/report.json",
    "sha256": "68873459021014fb1f7389612e31e15a5090a00801a4d9076eda0f2aba8df68a",
    "bytes": 3471
  },
  "status": "K1456_K1459_LOCAL_VALIDATED",
  "scope": "The local MSI-X model claims vectors masked, validates a controller doorbell range and message data before unmasking, rejects invalid messages and duplicate vectors without changing prior ownership, and refuses release while armed. Two host tests and AArch64 no_std compilation passed; removing the doorbell upper-bound guard made the negative test fail. This does not prove physical MSI-X delivery.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1460-pci-msix-local-YBKG86/source/os-pci-msix/src/lib.rs",
      "originalSha256": "82883fa8135208bb8b8669977be4e3c01dfd15c7e9d32c217538440f6f0868c6",
      "href": "/os-evidence/82883fa8135208bb8b8669977be4e3c01dfd15c7e9d32c217538440f6f0868c6.txt",
      "sha256": "82883fa8135208bb8b8669977be4e3c01dfd15c7e9d32c217538440f6f0868c6",
      "bytes": 3368,
      "redacted": false
    },
    {
      "name": "pci_msix.rs",
      "source": "reports/os-implementation/K1460-pci-msix-local-YBKG86/source/kernel/tests/os/pci_msix.rs",
      "originalSha256": "e339290ff3b6ce7083b354490a8c493a440464926937f36f4f9cab6f04099341",
      "href": "/os-evidence/e339290ff3b6ce7083b354490a8c493a440464926937f36f4f9cab6f04099341.txt",
      "sha256": "e339290ff3b6ce7083b354490a8c493a440464926937f36f4f9cab6f04099341",
      "bytes": 1714,
      "redacted": false
    },
    {
      "name": "PCI_MSIX_CONTRACT.md",
      "source": "reports/os-implementation/K1460-pci-msix-local-YBKG86/source/kernel/PCI_MSIX_CONTRACT.md",
      "originalSha256": "b4e1759cf8123a40389185193d0f979ff4779d433ac5f011febbdc4bb403f730",
      "href": "/os-evidence/b4e1759cf8123a40389185193d0f979ff4779d433ac5f011febbdc4bb403f730.txt",
      "sha256": "b4e1759cf8123a40389185193d0f979ff4779d433ac5f011febbdc4bb403f730",
      "bytes": 1169,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1460-pci-msix-local-YBKG86/source/no-std-root.rs",
      "originalSha256": "5273b77543fc62fdb5a30ea282e0ff7370aa86b952c7eb93bd221dbfd171525a",
      "href": "/os-evidence/5273b77543fc62fdb5a30ea282e0ff7370aa86b952c7eb93bd221dbfd171525a.txt",
      "sha256": "5273b77543fc62fdb5a30ea282e0ff7370aa86b952c7eb93bd221dbfd171525a",
      "bytes": 64,
      "redacted": false
    },
    {
      "name": "dtb.rs",
      "source": "reports/os-implementation/K1460-pci-msix-local-YBKG86/source/kernel/src/dtb.rs",
      "originalSha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "href": "/os-evidence/b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903.txt",
      "sha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "bytes": 84958,
      "redacted": false
    },
    {
      "name": "pci-msix-local.mjs",
      "source": "scripts/os-acceptance/pci-msix-local.mjs",
      "originalSha256": "bd5360b93e21e954e07dfd72e596972f09c07706ae5cebe5e311aa4aeb58bb34",
      "href": "/os-evidence/bd5360b93e21e954e07dfd72e596972f09c07706ae5cebe5e311aa4aeb58bb34.txt",
      "sha256": "bd5360b93e21e954e07dfd72e596972f09c07706ae5cebe5e311aa4aeb58bb34",
      "bytes": 4754,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1460-pci-msix-local-YBKG86/host-compile.log",
      "originalSha256": "0efc128f0b7077faa6f430c7e19bd837b46d809c73558c913fd007b0fe053f8d",
      "href": "/os-evidence/f2b97b0906a7adf34d3e3f0012bda9692a8f2546484d6c55eb2acd8bf71693df.txt",
      "sha256": "f2b97b0906a7adf34d3e3f0012bda9692a8f2546484d6c55eb2acd8bf71693df",
      "bytes": 545,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1460-pci-msix-local-YBKG86/host-tests.log",
      "originalSha256": "637837cd183955423608d558860bc9264832c643ee1e1193df0d8ebba78ef785",
      "href": "/os-evidence/637837cd183955423608d558860bc9264832c643ee1e1193df0d8ebba78ef785.txt",
      "sha256": "637837cd183955423608d558860bc9264832c643ee1e1193df0d8ebba78ef785",
      "bytes": 179,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1460-pci-msix-local-YBKG86/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/K1460-pci-msix-local-YBKG86/mutant-compile.log",
      "originalSha256": "4719615dc1dfcc95eada45d67bf6eb3132b38667ad68265995259c44efd1c6f5",
      "href": "/os-evidence/29f8cc86d4605b1407d333277b763f2346912e24f0ec8acc11e56af14cefe0ca.txt",
      "sha256": "29f8cc86d4605b1407d333277b763f2346912e24f0ec8acc11e56af14cefe0ca",
      "bytes": 545,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1460-pci-msix-local-YBKG86/mutant-tests.log",
      "originalSha256": "38b90d655f63cb2b0d77dfdbea9444d419189f2bb0e282b31d5be194ba05c063",
      "href": "/os-evidence/e25df154b8e69aab3bfe8efcefcf33b0702a69149d586ebc5c6f2feda44f3d84.txt",
      "sha256": "e25df154b8e69aab3bfe8efcefcf33b0702a69149d586ebc5c6f2feda44f3d84",
      "bytes": 587,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1460-pci-msix-local-YBKG86/mutant/os-pci-msix/src/lib.rs",
      "originalSha256": "21f2820197eda9772d1d1d77d9d0a26078f9dc9ef5099eed5f9323e711c56ae2",
      "href": "/os-evidence/21f2820197eda9772d1d1d77d9d0a26078f9dc9ef5099eed5f9323e711c56ae2.txt",
      "sha256": "21f2820197eda9772d1d1d77d9d0a26078f9dc9ef5099eed5f9323e711c56ae2",
      "bytes": 3344,
      "redacted": false
    }
  ],
  "moves": [
    "K1456",
    "K1457",
    "K1458",
    "K1459"
  ]
}