{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1445-pci-bar-size-local-e0tGw9/report.json",
    "sha256": "c952a5723ba49c628fdff9b528abd93bcd7ec5402457e3c7ec00715c677d02ae",
    "bytes": 3560
  },
  "status": "K1441_K1444_LOCAL_VALIDATED",
  "scope": "The local BAR decoder separates I/O from 32-bit and 64-bit memory ranges, derives size and type for unassigned BARs, checks power-of-two size, alignment and overflow before a range claim, and rejects a malformed size mask without changing prior ownership. Two host tests and AArch64 no_std compilation passed; removing the size-mask guard made the negative test fail. This does not prove physical PCI BAR probe/restore.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1445-pci-bar-size-local-e0tGw9/source/os-pci-resources/src/lib.rs",
      "originalSha256": "e5767d185824150d05a2b9ca03a976eb515a2865e6971c21ecffba34fb0be8db",
      "href": "/os-evidence/e5767d185824150d05a2b9ca03a976eb515a2865e6971c21ecffba34fb0be8db.txt",
      "sha256": "e5767d185824150d05a2b9ca03a976eb515a2865e6971c21ecffba34fb0be8db",
      "bytes": 3777,
      "redacted": false
    },
    {
      "name": "pci_resources.rs",
      "source": "reports/os-implementation/K1445-pci-bar-size-local-e0tGw9/source/kernel/tests/os/pci_resources.rs",
      "originalSha256": "1534611a7c19d982520d61c32c188c2f2a4edda9683d50a4cb8b59dd29e4a36a",
      "href": "/os-evidence/1534611a7c19d982520d61c32c188c2f2a4edda9683d50a4cb8b59dd29e4a36a.txt",
      "sha256": "1534611a7c19d982520d61c32c188c2f2a4edda9683d50a4cb8b59dd29e4a36a",
      "bytes": 2512,
      "redacted": false
    },
    {
      "name": "PCI_BAR_CONTRACT.md",
      "source": "reports/os-implementation/K1445-pci-bar-size-local-e0tGw9/source/kernel/PCI_BAR_CONTRACT.md",
      "originalSha256": "6f8c7fd29773efc7b88698688c8aaedd41bac668ba0468e5f5a6e7d95f986cc1",
      "href": "/os-evidence/6f8c7fd29773efc7b88698688c8aaedd41bac668ba0468e5f5a6e7d95f986cc1.txt",
      "sha256": "6f8c7fd29773efc7b88698688c8aaedd41bac668ba0468e5f5a6e7d95f986cc1",
      "bytes": 1533,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1445-pci-bar-size-local-e0tGw9/source/no-std-root.rs",
      "originalSha256": "c210fc9cec6ac715c877d1dc95cb611824f832eb0f7d68722486d7510c74c371",
      "href": "/os-evidence/c210fc9cec6ac715c877d1dc95cb611824f832eb0f7d68722486d7510c74c371.txt",
      "sha256": "c210fc9cec6ac715c877d1dc95cb611824f832eb0f7d68722486d7510c74c371",
      "bytes": 74,
      "redacted": false
    },
    {
      "name": "dtb.rs",
      "source": "reports/os-implementation/K1445-pci-bar-size-local-e0tGw9/source/kernel/src/dtb.rs",
      "originalSha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "href": "/os-evidence/b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903.txt",
      "sha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "bytes": 84958,
      "redacted": false
    },
    {
      "name": "pci-bar-size-local.mjs",
      "source": "scripts/os-acceptance/pci-bar-size-local.mjs",
      "originalSha256": "17153c0ab97fe121e91e010be91caf9b8ca24cc87e314e3130a7466c9779a350",
      "href": "/os-evidence/17153c0ab97fe121e91e010be91caf9b8ca24cc87e314e3130a7466c9779a350.txt",
      "sha256": "17153c0ab97fe121e91e010be91caf9b8ca24cc87e314e3130a7466c9779a350",
      "bytes": 4964,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1445-pci-bar-size-local-e0tGw9/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1445-pci-bar-size-local-e0tGw9/host-tests.log",
      "originalSha256": "27a5d3bc96108863ecbced1a994553cddbba19a3b1641aaec99cffdd5e6e8a60",
      "href": "/os-evidence/27a5d3bc96108863ecbced1a994553cddbba19a3b1641aaec99cffdd5e6e8a60.txt",
      "sha256": "27a5d3bc96108863ecbced1a994553cddbba19a3b1641aaec99cffdd5e6e8a60",
      "bytes": 207,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1445-pci-bar-size-local-e0tGw9/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/K1445-pci-bar-size-local-e0tGw9/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1445-pci-bar-size-local-e0tGw9/mutant-tests.log",
      "originalSha256": "34a6a76476ee80e22eb7b8ebb6d5c163d3505f2a9031179ea3580984714f7283",
      "href": "/os-evidence/d233dfb8f7bd9bd7bfc346239dfee381bf40b63184ddae6e051c8b9d4c784031.txt",
      "sha256": "d233dfb8f7bd9bd7bfc346239dfee381bf40b63184ddae6e051c8b9d4c784031",
      "bytes": 740,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1445-pci-bar-size-local-e0tGw9/mutant/os-pci-resources/src/lib.rs",
      "originalSha256": "b0d12bd2a199acded92868a3f6a3151c037e95a864d0ef16d930e4b0e8400f76",
      "href": "/os-evidence/b0d12bd2a199acded92868a3f6a3151c037e95a864d0ef16d930e4b0e8400f76.txt",
      "sha256": "b0d12bd2a199acded92868a3f6a3151c037e95a864d0ef16d930e4b0e8400f76",
      "bytes": 3746,
      "redacted": false
    }
  ],
  "moves": [
    "K1441",
    "K1442",
    "K1443",
    "K1444"
  ]
}