{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1435-pci-capabilities-local-VThJKr/report.json",
    "sha256": "c66e67eb2f9d7061c2d545ba19fe4dbe26670aa9caea5012e2e20a16ee3b8dea",
    "bytes": 3578
  },
  "status": "K1431_K1434_LOCAL_VALIDATED",
  "scope": "A bounded capability chain accepts two linked nodes ending in zero and rejects a self-loop, malformed pointer, read failure, and capacity exhaustion without changing a prior published chain. Two host tests and AArch64 no_std compilation passed; removing the cycle guard made the negative test fail. This does not prove a physical guest capability traversal.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "capabilities.rs",
      "source": "reports/os-implementation/K1435-pci-capabilities-local-VThJKr/source/os-pci-discovery/src/capabilities.rs",
      "originalSha256": "1e39b52d8b98d3c049eac6af16f5eec208bdb5404425b708f5756e954cb0836f",
      "href": "/os-evidence/1e39b52d8b98d3c049eac6af16f5eec208bdb5404425b708f5756e954cb0836f.txt",
      "sha256": "1e39b52d8b98d3c049eac6af16f5eec208bdb5404425b708f5756e954cb0836f",
      "bytes": 2242,
      "redacted": false
    },
    {
      "name": "pci_capabilities.rs",
      "source": "reports/os-implementation/K1435-pci-capabilities-local-VThJKr/source/kernel/tests/os/pci_capabilities.rs",
      "originalSha256": "98b218841c80e400d832bb0ffbc2a7bff4e86cbcd8c0ee6a0bca097eab1c58b7",
      "href": "/os-evidence/98b218841c80e400d832bb0ffbc2a7bff4e86cbcd8c0ee6a0bca097eab1c58b7.txt",
      "sha256": "98b218841c80e400d832bb0ffbc2a7bff4e86cbcd8c0ee6a0bca097eab1c58b7",
      "bytes": 2294,
      "redacted": false
    },
    {
      "name": "PCI_CAPABILITY_CONTRACT.md",
      "source": "reports/os-implementation/K1435-pci-capabilities-local-VThJKr/source/kernel/PCI_CAPABILITY_CONTRACT.md",
      "originalSha256": "020fa9ed07b253537e70d2f88cbdcb965885da291182155fe0543227315b9e8a",
      "href": "/os-evidence/020fa9ed07b253537e70d2f88cbdcb965885da291182155fe0543227315b9e8a.txt",
      "sha256": "020fa9ed07b253537e70d2f88cbdcb965885da291182155fe0543227315b9e8a",
      "bytes": 1213,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1435-pci-capabilities-local-VThJKr/source/no-std-root.rs",
      "originalSha256": "033e4a4169eda93c07365298c6bc5b93dbd46b221f60468ddb252bc1e6ffbdd7",
      "href": "/os-evidence/033e4a4169eda93c07365298c6bc5b93dbd46b221f60468ddb252bc1e6ffbdd7.txt",
      "sha256": "033e4a4169eda93c07365298c6bc5b93dbd46b221f60468ddb252bc1e6ffbdd7",
      "bytes": 86,
      "redacted": false
    },
    {
      "name": "dtb.rs",
      "source": "reports/os-implementation/K1435-pci-capabilities-local-VThJKr/source/kernel/src/dtb.rs",
      "originalSha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "href": "/os-evidence/b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903.txt",
      "sha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "bytes": 84958,
      "redacted": false
    },
    {
      "name": "pci-capabilities-local.mjs",
      "source": "scripts/os-acceptance/pci-capabilities-local.mjs",
      "originalSha256": "4c4afefeb313a8e23da30b16aa9fc5871ee5b6a4c3e530a8fda23202842288ad",
      "href": "/os-evidence/4c4afefeb313a8e23da30b16aa9fc5871ee5b6a4c3e530a8fda23202842288ad.txt",
      "sha256": "4c4afefeb313a8e23da30b16aa9fc5871ee5b6a4c3e530a8fda23202842288ad",
      "bytes": 4965,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1435-pci-capabilities-local-VThJKr/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1435-pci-capabilities-local-VThJKr/host-tests.log",
      "originalSha256": "e72a19b819826e7a499e1e66405ce41b6064b06eadd74ac84b855e7fee571edb",
      "href": "/os-evidence/e72a19b819826e7a499e1e66405ce41b6064b06eadd74ac84b855e7fee571edb.txt",
      "sha256": "e72a19b819826e7a499e1e66405ce41b6064b06eadd74ac84b855e7fee571edb",
      "bytes": 215,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1435-pci-capabilities-local-VThJKr/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/K1435-pci-capabilities-local-VThJKr/mutant-compile.log",
      "originalSha256": "4643e4d7d4e1185b2da009ae249292d740e2b5534a6c9d6804885663c3c485ae",
      "href": "/os-evidence/15b638d9fe82af15846ed5848471e4c5267f2eadcfd47fac73aca7b1bb791e58.txt",
      "sha256": "15b638d9fe82af15846ed5848471e4c5267f2eadcfd47fac73aca7b1bb791e58",
      "bytes": 843,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1435-pci-capabilities-local-VThJKr/mutant-tests.log",
      "originalSha256": "5f4d9771d6c0ab4b6081e430967a5322d1a0a141ef9635616d175c6b487fa3e8",
      "href": "/os-evidence/8a71a3e990f2839538e8aa4916a59c6969724daf9e919085b41e7da73f37abf6.txt",
      "sha256": "8a71a3e990f2839538e8aa4916a59c6969724daf9e919085b41e7da73f37abf6",
      "bytes": 687,
      "redacted": true
    },
    {
      "name": "capabilities.rs",
      "source": "reports/os-implementation/K1435-pci-capabilities-local-VThJKr/mutant/os-pci-discovery/src/capabilities.rs",
      "originalSha256": "2d8c339f38fff0cba4f0101cec0455ec91cf5f1855ebdd5d786490ed477c16ff",
      "href": "/os-evidence/2d8c339f38fff0cba4f0101cec0455ec91cf5f1855ebdd5d786490ed477c16ff.txt",
      "sha256": "2d8c339f38fff0cba4f0101cec0455ec91cf5f1855ebdd5d786490ed477c16ff",
      "bytes": 2229,
      "redacted": false
    }
  ],
  "moves": [
    "K1431",
    "K1432",
    "K1433",
    "K1434"
  ]
}