{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1425-pci-ecam-local-LmbPPA/report.json",
    "sha256": "eb47507d79461d8e011b0d7e04424328ae88402b6324e44b828b940ab5009b2f",
    "bytes": 3470
  },
  "status": "K1421_K1424_LOCAL_VALIDATED",
  "scope": "A bounded ECAM window admits bus 0 device 1 function 0, checks its full address and one logical claim, and rejects bus 255 against an explicit one-bus fixture without changing an existing claim. Three host tests and AArch64 no_std compilation passed; removing the bus-range guard made the negative test fail. This does not prove physical PCI reads or guest acceptance.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1425-pci-ecam-local-LmbPPA/source/os-pci-discovery/src/lib.rs",
      "originalSha256": "3c6df9a449988d350e458ce0d93207bde3de6be9594c80ba375a6974c12e7ff0",
      "href": "/os-evidence/3c6df9a449988d350e458ce0d93207bde3de6be9594c80ba375a6974c12e7ff0.txt",
      "sha256": "3c6df9a449988d350e458ce0d93207bde3de6be9594c80ba375a6974c12e7ff0",
      "bytes": 4055,
      "redacted": false
    },
    {
      "name": "pci_discovery.rs",
      "source": "reports/os-implementation/K1425-pci-ecam-local-LmbPPA/source/kernel/tests/os/pci_discovery.rs",
      "originalSha256": "013f3da9e20300532c5fe5919c2a5aa8c8368c943e5adcd9e36cb079e27f62de",
      "href": "/os-evidence/013f3da9e20300532c5fe5919c2a5aa8c8368c943e5adcd9e36cb079e27f62de.txt",
      "sha256": "013f3da9e20300532c5fe5919c2a5aa8c8368c943e5adcd9e36cb079e27f62de",
      "bytes": 2900,
      "redacted": false
    },
    {
      "name": "PCI_ECAM_CONTRACT.md",
      "source": "reports/os-implementation/K1425-pci-ecam-local-LmbPPA/source/kernel/PCI_ECAM_CONTRACT.md",
      "originalSha256": "54209dccd14e732021c4f5e86eb67957146a2f6328b2db721adfef7a068b0147",
      "href": "/os-evidence/54209dccd14e732021c4f5e86eb67957146a2f6328b2db721adfef7a068b0147.txt",
      "sha256": "54209dccd14e732021c4f5e86eb67957146a2f6328b2db721adfef7a068b0147",
      "bytes": 1916,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1425-pci-ecam-local-LmbPPA/source/no-std-root.rs",
      "originalSha256": "3426614e3b9be3060bbe4e33284e1520388aaf38a5a4f82dbfeddd8e6c9f9f61",
      "href": "/os-evidence/3426614e3b9be3060bbe4e33284e1520388aaf38a5a4f82dbfeddd8e6c9f9f61.txt",
      "sha256": "3426614e3b9be3060bbe4e33284e1520388aaf38a5a4f82dbfeddd8e6c9f9f61",
      "bytes": 74,
      "redacted": false
    },
    {
      "name": "dtb.rs",
      "source": "reports/os-implementation/K1425-pci-ecam-local-LmbPPA/source/kernel/src/dtb.rs",
      "originalSha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "href": "/os-evidence/b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903.txt",
      "sha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "bytes": 84958,
      "redacted": false
    },
    {
      "name": "pci-discovery-local.mjs",
      "source": "scripts/os-acceptance/pci-discovery-local.mjs",
      "originalSha256": "6755f7865ab8240c6268e377fb1042b78c8346ed9bcb26626b0663a297446cca",
      "href": "/os-evidence/6755f7865ab8240c6268e377fb1042b78c8346ed9bcb26626b0663a297446cca.txt",
      "sha256": "6755f7865ab8240c6268e377fb1042b78c8346ed9bcb26626b0663a297446cca",
      "bytes": 4853,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1425-pci-ecam-local-LmbPPA/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1425-pci-ecam-local-LmbPPA/host-tests.log",
      "originalSha256": "7ec1ea3bfc96850745ada21ecf92b3b69353804b2fd46c15207e26057688704e",
      "href": "/os-evidence/7ec1ea3bfc96850745ada21ecf92b3b69353804b2fd46c15207e26057688704e.txt",
      "sha256": "7ec1ea3bfc96850745ada21ecf92b3b69353804b2fd46c15207e26057688704e",
      "bytes": 251,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1425-pci-ecam-local-LmbPPA/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/K1425-pci-ecam-local-LmbPPA/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1425-pci-ecam-local-LmbPPA/mutant-tests.log",
      "originalSha256": "fb132d6a136b8368e9a09c3f7d215444493a1ec7dac4fa2b7f9ef0c141c38319",
      "href": "/os-evidence/a938c62cf34e186e55602f008d2ea6fddb4f7a7878794a0d3c9538b1a26ae719.txt",
      "sha256": "a938c62cf34e186e55602f008d2ea6fddb4f7a7878794a0d3c9538b1a26ae719",
      "bytes": 705,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1425-pci-ecam-local-LmbPPA/mutant/os-pci-discovery/src/lib.rs",
      "originalSha256": "3efa6c146786348756f12e638da393d7c0829b574b61be1b375fcf793ae67034",
      "href": "/os-evidence/3efa6c146786348756f12e638da393d7c0829b574b61be1b375fcf793ae67034.txt",
      "sha256": "3efa6c146786348756f12e638da393d7c0829b574b61be1b375fcf793ae67034",
      "bytes": 3995,
      "redacted": false
    }
  ],
  "moves": [
    "K1421",
    "K1422",
    "K1423",
    "K1424"
  ]
}