{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1440-pci-bridges-local-Irnjyn/report.json",
    "sha256": "6977aa979f2fc3d2f265d56a6dbf6c3a04533cf3fa042cd0b1d4f1e43a463d7e",
    "bytes": 3505
  },
  "status": "K1436_K1439_LOCAL_VALIDATED",
  "scope": "A bounded bus tree accepts one root bridge and one nested bridge, assigns buses 1 and 2 to unique owners, and rejects a child secondary bus that collides with its parent without changing the prior tree. Two host tests and AArch64 no_std compilation passed; removing the collision guard made the negative test fail. This does not prove physical bridge enumeration.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "bridges.rs",
      "source": "reports/os-implementation/K1440-pci-bridges-local-Irnjyn/source/os-pci-discovery/src/bridges.rs",
      "originalSha256": "7c49f7de28d521437ff96cce3a60468b384b37f66a60ce59dbdbd3d30e775608",
      "href": "/os-evidence/7c49f7de28d521437ff96cce3a60468b384b37f66a60ce59dbdbd3d30e775608.txt",
      "sha256": "7c49f7de28d521437ff96cce3a60468b384b37f66a60ce59dbdbd3d30e775608",
      "bytes": 3567,
      "redacted": false
    },
    {
      "name": "pci_bridges.rs",
      "source": "reports/os-implementation/K1440-pci-bridges-local-Irnjyn/source/kernel/tests/os/pci_bridges.rs",
      "originalSha256": "9250d8d6b690d02b9dda6884591592bc719835993b34b83fb0e0f35ec3f1c7ee",
      "href": "/os-evidence/9250d8d6b690d02b9dda6884591592bc719835993b34b83fb0e0f35ec3f1c7ee.txt",
      "sha256": "9250d8d6b690d02b9dda6884591592bc719835993b34b83fb0e0f35ec3f1c7ee",
      "bytes": 1707,
      "redacted": false
    },
    {
      "name": "PCI_BRIDGE_CONTRACT.md",
      "source": "reports/os-implementation/K1440-pci-bridges-local-Irnjyn/source/kernel/PCI_BRIDGE_CONTRACT.md",
      "originalSha256": "0762b161fc2e489ce88af01e32c57f82498c6e9b32e99f275ba03af7af50aa94",
      "href": "/os-evidence/0762b161fc2e489ce88af01e32c57f82498c6e9b32e99f275ba03af7af50aa94.txt",
      "sha256": "0762b161fc2e489ce88af01e32c57f82498c6e9b32e99f275ba03af7af50aa94",
      "bytes": 1250,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1440-pci-bridges-local-Irnjyn/source/no-std-root.rs",
      "originalSha256": "02cb59361d918fdb3b5e5d8b7aa602fdd8d7b4e6f92ade2a67ec445acb6902d2",
      "href": "/os-evidence/02cb59361d918fdb3b5e5d8b7aa602fdd8d7b4e6f92ade2a67ec445acb6902d2.txt",
      "sha256": "02cb59361d918fdb3b5e5d8b7aa602fdd8d7b4e6f92ade2a67ec445acb6902d2",
      "bytes": 76,
      "redacted": false
    },
    {
      "name": "dtb.rs",
      "source": "reports/os-implementation/K1440-pci-bridges-local-Irnjyn/source/kernel/src/dtb.rs",
      "originalSha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "href": "/os-evidence/b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903.txt",
      "sha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "bytes": 84958,
      "redacted": false
    },
    {
      "name": "pci-bridges-local.mjs",
      "source": "scripts/os-acceptance/pci-bridges-local.mjs",
      "originalSha256": "fe4908383919954096a9811e776808360df04cbfad277e302802303b0861c2dc",
      "href": "/os-evidence/fe4908383919954096a9811e776808360df04cbfad277e302802303b0861c2dc.txt",
      "sha256": "fe4908383919954096a9811e776808360df04cbfad277e302802303b0861c2dc",
      "bytes": 4988,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1440-pci-bridges-local-Irnjyn/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1440-pci-bridges-local-Irnjyn/host-tests.log",
      "originalSha256": "2c1cdf4021c073485944ef7554b799065863c3f987438cbfdff4abc6e43f0d77",
      "href": "/os-evidence/2c1cdf4021c073485944ef7554b799065863c3f987438cbfdff4abc6e43f0d77.txt",
      "sha256": "2c1cdf4021c073485944ef7554b799065863c3f987438cbfdff4abc6e43f0d77",
      "bytes": 205,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1440-pci-bridges-local-Irnjyn/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/K1440-pci-bridges-local-Irnjyn/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1440-pci-bridges-local-Irnjyn/mutant-tests.log",
      "originalSha256": "b52fc4724de7c59bc9f048bf5b3bc761dc8aa696e8d87f8fbcf884c893af4f1a",
      "href": "/os-evidence/4534689938f286bb0bd0e5ec6d6a3568459e81627f42327d5d5d45f81ef501b6.txt",
      "sha256": "4534689938f286bb0bd0e5ec6d6a3568459e81627f42327d5d5d45f81ef501b6",
      "bytes": 674,
      "redacted": true
    },
    {
      "name": "bridges.rs",
      "source": "reports/os-implementation/K1440-pci-bridges-local-Irnjyn/mutant/os-pci-discovery/src/bridges.rs",
      "originalSha256": "afe3f3247120b965b36e1c04f42e36084537f64b1def35f7748edba5e1259314",
      "href": "/os-evidence/afe3f3247120b965b36e1c04f42e36084537f64b1def35f7748edba5e1259314.txt",
      "sha256": "afe3f3247120b965b36e1c04f42e36084537f64b1def35f7748edba5e1259314",
      "bytes": 3541,
      "redacted": false
    }
  ],
  "moves": [
    "K1436",
    "K1437",
    "K1438",
    "K1439"
  ]
}