{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1450-pci-device-map-local-oDMPK6/report.json",
    "sha256": "0ff6df0566c80a1a80d80c850cf5ba92f2e836300cfb8fac925ebbbe55ac7eb3",
    "bytes": 3608
  },
  "status": "K1446_K1449_LOCAL_VALIDATED",
  "scope": "The bounded local mapping model accepts page-aligned BAR ranges only within a validated PCI memory aperture, marks each range Device-nGnRnE, rejects overlap and out-of-aperture claims without changing prior ownership, and releases exact claims. Two host tests and AArch64 no_std compilation passed; removing the aperture guard made the negative test fail. This does not prove installed physical page-table descriptors.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "device_map.rs",
      "source": "reports/os-implementation/K1450-pci-device-map-local-oDMPK6/source/os-pci-resources/src/device_map.rs",
      "originalSha256": "1c35554ddb5be0014c00d988fe9cf4836a111e1e0dce9e18792ba3747b73e401",
      "href": "/os-evidence/1c35554ddb5be0014c00d988fe9cf4836a111e1e0dce9e18792ba3747b73e401.txt",
      "sha256": "1c35554ddb5be0014c00d988fe9cf4836a111e1e0dce9e18792ba3747b73e401",
      "bytes": 2619,
      "redacted": false
    },
    {
      "name": "pci_device_map.rs",
      "source": "reports/os-implementation/K1450-pci-device-map-local-oDMPK6/source/kernel/tests/os/pci_device_map.rs",
      "originalSha256": "4fd060b8cb432bbb9d9f67876c3684c97e257304b91b3405554fe31f893fb77c",
      "href": "/os-evidence/4fd060b8cb432bbb9d9f67876c3684c97e257304b91b3405554fe31f893fb77c.txt",
      "sha256": "4fd060b8cb432bbb9d9f67876c3684c97e257304b91b3405554fe31f893fb77c",
      "bytes": 1641,
      "redacted": false
    },
    {
      "name": "PCI_DEVICE_MAP_CONTRACT.md",
      "source": "reports/os-implementation/K1450-pci-device-map-local-oDMPK6/source/kernel/PCI_DEVICE_MAP_CONTRACT.md",
      "originalSha256": "a73504a13821c54032f8c35e357dbe931e415b0bb2b0a0ac39501aa5f70c6468",
      "href": "/os-evidence/a73504a13821c54032f8c35e357dbe931e415b0bb2b0a0ac39501aa5f70c6468.txt",
      "sha256": "a73504a13821c54032f8c35e357dbe931e415b0bb2b0a0ac39501aa5f70c6468",
      "bytes": 1217,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1450-pci-device-map-local-oDMPK6/source/no-std-root.rs",
      "originalSha256": "659e62f6a2a5b5e4e3579057b2348a1a8b3a9161ff55c8c934b2f6ad0dee29df",
      "href": "/os-evidence/659e62f6a2a5b5e4e3579057b2348a1a8b3a9161ff55c8c934b2f6ad0dee29df.txt",
      "sha256": "659e62f6a2a5b5e4e3579057b2348a1a8b3a9161ff55c8c934b2f6ad0dee29df",
      "bytes": 82,
      "redacted": false
    },
    {
      "name": "dtb.rs",
      "source": "reports/os-implementation/K1450-pci-device-map-local-oDMPK6/source/kernel/src/dtb.rs",
      "originalSha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "href": "/os-evidence/b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903.txt",
      "sha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "bytes": 84958,
      "redacted": false
    },
    {
      "name": "pci-device-map-local.mjs",
      "source": "scripts/os-acceptance/pci-device-map-local.mjs",
      "originalSha256": "2c9700d5ccf233ea922f3bd5eff15abb54593e1daa92be9ed78a4b671bbf2b4f",
      "href": "/os-evidence/2c9700d5ccf233ea922f3bd5eff15abb54593e1daa92be9ed78a4b671bbf2b4f.txt",
      "sha256": "2c9700d5ccf233ea922f3bd5eff15abb54593e1daa92be9ed78a4b671bbf2b4f",
      "bytes": 5053,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1450-pci-device-map-local-oDMPK6/host-compile.log",
      "originalSha256": "6d9da502f7541b66393e4532d0787df5efa42f99ecd5ae24ab1983daa5a2393a",
      "href": "/os-evidence/47057e1d4e19b7878f4fcbca1132d413b9d2048a4e3ba1a3dc9cd5e9290b5462.txt",
      "sha256": "47057e1d4e19b7878f4fcbca1132d413b9d2048a4e3ba1a3dc9cd5e9290b5462",
      "bytes": 551,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1450-pci-device-map-local-oDMPK6/host-tests.log",
      "originalSha256": "064079a7d4aab23a7ab1f8dbaec557bffcbeb5c71621d8277f1b551ccd98f88c",
      "href": "/os-evidence/064079a7d4aab23a7ab1f8dbaec557bffcbeb5c71621d8277f1b551ccd98f88c.txt",
      "sha256": "064079a7d4aab23a7ab1f8dbaec557bffcbeb5c71621d8277f1b551ccd98f88c",
      "bytes": 191,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1450-pci-device-map-local-oDMPK6/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/K1450-pci-device-map-local-oDMPK6/mutant-compile.log",
      "originalSha256": "1706726fb02f4de34eaecf11925e1f8725b63780a0098ab4900de939a797422a",
      "href": "/os-evidence/777b5ad0fe53e54cd5e2e578a8554145aaa3f154e59ff27431cd477912ca66af.txt",
      "sha256": "777b5ad0fe53e54cd5e2e578a8554145aaa3f154e59ff27431cd477912ca66af",
      "bytes": 988,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1450-pci-device-map-local-oDMPK6/mutant-tests.log",
      "originalSha256": "60b227869b2ca63cf53e178d8466e03de7ed413611959fc5dbfc6d11852656ae",
      "href": "/os-evidence/5fdec5706789e5cecc18c490acd988de7c53b9acf0bc2603a580e22b3d64d191.txt",
      "sha256": "5fdec5706789e5cecc18c490acd988de7c53b9acf0bc2603a580e22b3d64d191",
      "bytes": 633,
      "redacted": true
    },
    {
      "name": "device_map.rs",
      "source": "reports/os-implementation/K1450-pci-device-map-local-oDMPK6/mutant/os-pci-resources/src/device_map.rs",
      "originalSha256": "350ae0850bf4234b4da71ad7f42f1efa4969357ac38315c584a0cd3aa4854b8f",
      "href": "/os-evidence/350ae0850bf4234b4da71ad7f42f1efa4969357ac38315c584a0cd3aa4854b8f.txt",
      "sha256": "350ae0850bf4234b4da71ad7f42f1efa4969357ac38315c584a0cd3aa4854b8f",
      "bytes": 2581,
      "redacted": false
    }
  ],
  "moves": [
    "K1446",
    "K1447",
    "K1448",
    "K1449"
  ]
}