{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1430-pci-headers-local-fianYu/report.json",
    "sha256": "f5c6d73a91954171bd446b58f76dee978288cc115b6feca90965e7d885425aae",
    "bytes": 3535
  },
  "status": "K1426_K1429_LOCAL_VALIDATED",
  "scope": "PCI header parsing bounds function scope from function-zero multi-function bit. The local inventory accepts single and multi-function identities, rejects vendor 0xffff before binding, and preserves an existing healthy identity. Two host tests and AArch64 no_std compilation passed; removing the absent-vendor guard made the negative test fail. This does not prove guest header reads or driver binding.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "headers.rs",
      "source": "reports/os-implementation/K1430-pci-headers-local-fianYu/source/os-pci-discovery/src/headers.rs",
      "originalSha256": "d540422dfb35ec5f8a39fb9e7ecf3d4f57e25a8a0eca32afecf68e7349e21d94",
      "href": "/os-evidence/d540422dfb35ec5f8a39fb9e7ecf3d4f57e25a8a0eca32afecf68e7349e21d94.txt",
      "sha256": "d540422dfb35ec5f8a39fb9e7ecf3d4f57e25a8a0eca32afecf68e7349e21d94",
      "bytes": 2785,
      "redacted": false
    },
    {
      "name": "pci_headers.rs",
      "source": "reports/os-implementation/K1430-pci-headers-local-fianYu/source/kernel/tests/os/pci_headers.rs",
      "originalSha256": "fb15df952685822c3217a4cd9ccbbcd30b18da37dbcdd5cccd6b161a00cd2c24",
      "href": "/os-evidence/fb15df952685822c3217a4cd9ccbbcd30b18da37dbcdd5cccd6b161a00cd2c24.txt",
      "sha256": "fb15df952685822c3217a4cd9ccbbcd30b18da37dbcdd5cccd6b161a00cd2c24",
      "bytes": 2210,
      "redacted": false
    },
    {
      "name": "PCI_HEADER_CONTRACT.md",
      "source": "reports/os-implementation/K1430-pci-headers-local-fianYu/source/kernel/PCI_HEADER_CONTRACT.md",
      "originalSha256": "79a77fbf527e8c4f53b67e7bf314c441415c6ed6d90e2c69f4ce35d921c30b46",
      "href": "/os-evidence/79a77fbf527e8c4f53b67e7bf314c441415c6ed6d90e2c69f4ce35d921c30b46.txt",
      "sha256": "79a77fbf527e8c4f53b67e7bf314c441415c6ed6d90e2c69f4ce35d921c30b46",
      "bytes": 1247,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1430-pci-headers-local-fianYu/source/no-std-root.rs",
      "originalSha256": "eacbc85d703fe8094a48ac2ee0434c894025c2f416f7556895f27bcfebbcd6aa",
      "href": "/os-evidence/eacbc85d703fe8094a48ac2ee0434c894025c2f416f7556895f27bcfebbcd6aa.txt",
      "sha256": "eacbc85d703fe8094a48ac2ee0434c894025c2f416f7556895f27bcfebbcd6aa",
      "bytes": 76,
      "redacted": false
    },
    {
      "name": "dtb.rs",
      "source": "reports/os-implementation/K1430-pci-headers-local-fianYu/source/kernel/src/dtb.rs",
      "originalSha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "href": "/os-evidence/b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903.txt",
      "sha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "bytes": 84958,
      "redacted": false
    },
    {
      "name": "pci-headers-local.mjs",
      "source": "scripts/os-acceptance/pci-headers-local.mjs",
      "originalSha256": "ab0de197e525109b606ee0ca9aef8e15ce116243d9278d8c4f18a69542547bdd",
      "href": "/os-evidence/ab0de197e525109b606ee0ca9aef8e15ce116243d9278d8c4f18a69542547bdd.txt",
      "sha256": "ab0de197e525109b606ee0ca9aef8e15ce116243d9278d8c4f18a69542547bdd",
      "bytes": 4919,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1430-pci-headers-local-fianYu/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1430-pci-headers-local-fianYu/host-tests.log",
      "originalSha256": "9a9fb0c82ee1a8f0bad44fd09519c105a47497aca365f375684d7d968e10626b",
      "href": "/os-evidence/9a9fb0c82ee1a8f0bad44fd09519c105a47497aca365f375684d7d968e10626b.txt",
      "sha256": "9a9fb0c82ee1a8f0bad44fd09519c105a47497aca365f375684d7d968e10626b",
      "bytes": 205,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1430-pci-headers-local-fianYu/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/K1430-pci-headers-local-fianYu/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1430-pci-headers-local-fianYu/mutant-tests.log",
      "originalSha256": "c280af19e32fdefbeb8248cfe0c375c72974e8ad088d1c128f176ba1ff5c8584",
      "href": "/os-evidence/6d0da3b8f2258d2eab4d32f34f0454ee1450f9a44dad5b8b21080b7ab74e485d.txt",
      "sha256": "6d0da3b8f2258d2eab4d32f34f0454ee1450f9a44dad5b8b21080b7ab74e485d",
      "bytes": 666,
      "redacted": true
    },
    {
      "name": "headers.rs",
      "source": "reports/os-implementation/K1430-pci-headers-local-fianYu/mutant/os-pci-discovery/src/headers.rs",
      "originalSha256": "ffd0cb910a8c42f083531f837ee4f575603cc086f6083e0d610a1e90f570dab6",
      "href": "/os-evidence/ffd0cb910a8c42f083531f837ee4f575603cc086f6083e0d610a1e90f570dab6.txt",
      "sha256": "ffd0cb910a8c42f083531f837ee4f575603cc086f6083e0d610a1e90f570dab6",
      "bytes": 2771,
      "redacted": false
    }
  ],
  "moves": [
    "K1426",
    "K1427",
    "K1428",
    "K1429"
  ]
}