{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1455-pci-intx-local-1QZ2X4/report.json",
    "sha256": "6efe4244d212829edd3a8c46e1bf55a8d92d625ed017a947693dcc2ab155d532",
    "bytes": 3504
  },
  "status": "K1451_K1454_LOCAL_VALIDATED",
  "scope": "The local PCI INTx model swizzles endpoint pins across two bridge device numbers, owns a route per source BDF and pin, allows distinct sources to share an SPI, and rejects duplicate source claims without changing prior routes. Two host tests and AArch64 no_std compilation passed; removing the duplicate-source guard made the negative test fail. This does not prove a physical INTx assertion or GIC delivery.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1455-pci-intx-local-1QZ2X4/source/os-pci-interrupts/src/lib.rs",
      "originalSha256": "49455a6d2ac0510a0ce36597ddbafbe70e44112731b26119daf62186666fa331",
      "href": "/os-evidence/49455a6d2ac0510a0ce36597ddbafbe70e44112731b26119daf62186666fa331.txt",
      "sha256": "49455a6d2ac0510a0ce36597ddbafbe70e44112731b26119daf62186666fa331",
      "bytes": 2493,
      "redacted": false
    },
    {
      "name": "pci_interrupts.rs",
      "source": "reports/os-implementation/K1455-pci-intx-local-1QZ2X4/source/kernel/tests/os/pci_interrupts.rs",
      "originalSha256": "77d8ca46fb3725af28583a19a8b532ba846f7a86a5d2da3fa0885068cabaeae0",
      "href": "/os-evidence/77d8ca46fb3725af28583a19a8b532ba846f7a86a5d2da3fa0885068cabaeae0.txt",
      "sha256": "77d8ca46fb3725af28583a19a8b532ba846f7a86a5d2da3fa0885068cabaeae0",
      "bytes": 1559,
      "redacted": false
    },
    {
      "name": "PCI_INTX_CONTRACT.md",
      "source": "reports/os-implementation/K1455-pci-intx-local-1QZ2X4/source/kernel/PCI_INTX_CONTRACT.md",
      "originalSha256": "debf427ff8d951035d6e962e71aa5357e950f208999664694b6090f944a7c90b",
      "href": "/os-evidence/debf427ff8d951035d6e962e71aa5357e950f208999664694b6090f944a7c90b.txt",
      "sha256": "debf427ff8d951035d6e962e71aa5357e950f208999664694b6090f944a7c90b",
      "bytes": 1141,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1455-pci-intx-local-1QZ2X4/source/no-std-root.rs",
      "originalSha256": "ae1e483c35ba3d42dcb50e1ad0974d4e41bd75ff0d5a4130d7901ec6b29eadc6",
      "href": "/os-evidence/ae1e483c35ba3d42dcb50e1ad0974d4e41bd75ff0d5a4130d7901ec6b29eadc6.txt",
      "sha256": "ae1e483c35ba3d42dcb50e1ad0974d4e41bd75ff0d5a4130d7901ec6b29eadc6",
      "bytes": 76,
      "redacted": false
    },
    {
      "name": "dtb.rs",
      "source": "reports/os-implementation/K1455-pci-intx-local-1QZ2X4/source/kernel/src/dtb.rs",
      "originalSha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "href": "/os-evidence/b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903.txt",
      "sha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "bytes": 84958,
      "redacted": false
    },
    {
      "name": "pci-intx-local.mjs",
      "source": "scripts/os-acceptance/pci-intx-local.mjs",
      "originalSha256": "d72d438b9603787896bf6fe6c9ff3481fe74a47e87cc16d5152bf0af07ca6fc3",
      "href": "/os-evidence/d72d438b9603787896bf6fe6c9ff3481fe74a47e87cc16d5152bf0af07ca6fc3.txt",
      "sha256": "d72d438b9603787896bf6fe6c9ff3481fe74a47e87cc16d5152bf0af07ca6fc3",
      "bytes": 4999,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1455-pci-intx-local-1QZ2X4/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1455-pci-intx-local-1QZ2X4/host-tests.log",
      "originalSha256": "4698964416202948b4a821e29328f53c3cf476832b32636186238b326a010bf1",
      "href": "/os-evidence/4698964416202948b4a821e29328f53c3cf476832b32636186238b326a010bf1.txt",
      "sha256": "4698964416202948b4a821e29328f53c3cf476832b32636186238b326a010bf1",
      "bytes": 191,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1455-pci-intx-local-1QZ2X4/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/K1455-pci-intx-local-1QZ2X4/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1455-pci-intx-local-1QZ2X4/mutant-tests.log",
      "originalSha256": "a979f34bbdf16aec20308384669a8adada07764f81c5b949c11bc8eda8b1b75f",
      "href": "/os-evidence/33aff211cfdbffa339ec4a4293fcd1314e03bbd37a932668450bdeff36c5133d.txt",
      "sha256": "33aff211cfdbffa339ec4a4293fcd1314e03bbd37a932668450bdeff36c5133d",
      "bytes": 698,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1455-pci-intx-local-1QZ2X4/mutant/os-pci-interrupts/src/lib.rs",
      "originalSha256": "8eb59773cc6ad22bf3fcba9bd04893bf64f7fc3fc2b84105be4dd1694f720921",
      "href": "/os-evidence/8eb59773cc6ad22bf3fcba9bd04893bf64f7fc3fc2b84105be4dd1694f720921.txt",
      "sha256": "8eb59773cc6ad22bf3fcba9bd04893bf64f7fc3fc2b84105be4dd1694f720921",
      "bytes": 2437,
      "redacted": false
    }
  ],
  "moves": [
    "K1451",
    "K1452",
    "K1453",
    "K1454"
  ]
}