{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1410-device-resources-local-Ujwcu6/report.json",
    "sha256": "c1069df48637ed68e1cf42dbf4ef3583129cbbaf7671e35c7577568fdba849f8",
    "bytes": 3652
  },
  "status": "K1406_K1409_LOCAL_VALIDATED",
  "scope": "Bounded resource claims for two logical devices: disjoint MMIO, IRQ, and DMA resources attach together, and an overlapping MMIO BAR is rejected with complete state equality before and after. Two host tests and AArch64 no_std compilation pass. A removed existing-claim overlap guard is rejected by the negative test. Physical MMIO mapping, IRQ routing, DMA pinning, and guest acceptance remain open at K1410.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1410-device-resources-local-Ujwcu6/source/os-device-registry/src/lib.rs",
      "originalSha256": "c25f0cd8de9a704c0d9893078eef3f0026366b8fe849f4683c3b190588f21308",
      "href": "/os-evidence/c25f0cd8de9a704c0d9893078eef3f0026366b8fe849f4683c3b190588f21308.txt",
      "sha256": "c25f0cd8de9a704c0d9893078eef3f0026366b8fe849f4683c3b190588f21308",
      "bytes": 7358,
      "redacted": false
    },
    {
      "name": "device_registry_resources.rs",
      "source": "reports/os-implementation/K1410-device-resources-local-Ujwcu6/source/kernel/tests/os/device_registry_resources.rs",
      "originalSha256": "b5ddc5e5d00bd3aa6e7a04e878b3ab8dd5b0c3024eba35cc55c34031103e9544",
      "href": "/os-evidence/b5ddc5e5d00bd3aa6e7a04e878b3ab8dd5b0c3024eba35cc55c34031103e9544.txt",
      "sha256": "b5ddc5e5d00bd3aa6e7a04e878b3ab8dd5b0c3024eba35cc55c34031103e9544",
      "bytes": 4098,
      "redacted": false
    },
    {
      "name": "DEVICE_REGISTRY_RESOURCES_CONTRACT.md",
      "source": "reports/os-implementation/K1410-device-resources-local-Ujwcu6/source/kernel/DEVICE_REGISTRY_RESOURCES_CONTRACT.md",
      "originalSha256": "b1bcf543d906d8dfca911eb5eaa0063e2fd6907fb8689f6e62fd54ee0062838a",
      "href": "/os-evidence/b1bcf543d906d8dfca911eb5eaa0063e2fd6907fb8689f6e62fd54ee0062838a.txt",
      "sha256": "b1bcf543d906d8dfca911eb5eaa0063e2fd6907fb8689f6e62fd54ee0062838a",
      "bytes": 1761,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1410-device-resources-local-Ujwcu6/source/no-std-root.rs",
      "originalSha256": "34fcdab5e764e0d8f56e84d2da978b2d841ad4b79b76e258b352ca647a88538e",
      "href": "/os-evidence/34fcdab5e764e0d8f56e84d2da978b2d841ad4b79b76e258b352ca647a88538e.txt",
      "sha256": "34fcdab5e764e0d8f56e84d2da978b2d841ad4b79b76e258b352ca647a88538e",
      "bytes": 78,
      "redacted": false
    },
    {
      "name": "virtio_mmio.rs",
      "source": "reports/os-implementation/K1410-device-resources-local-Ujwcu6/source/kernel/src/virtio_mmio.rs",
      "originalSha256": "04e5269a8637b797205d91c71a481eb61a7b5d45134a8062c791c234e29a086e",
      "href": "/os-evidence/04e5269a8637b797205d91c71a481eb61a7b5d45134a8062c791c234e29a086e.txt",
      "sha256": "04e5269a8637b797205d91c71a481eb61a7b5d45134a8062c791c234e29a086e",
      "bytes": 20296,
      "redacted": false
    },
    {
      "name": "device-registry-resources-local.mjs",
      "source": "scripts/os-acceptance/device-registry-resources-local.mjs",
      "originalSha256": "631ce78c36ab461d49b33cb29229a8ea47c5d40492fa4dd0eae6790e1409ebb8",
      "href": "/os-evidence/631ce78c36ab461d49b33cb29229a8ea47c5d40492fa4dd0eae6790e1409ebb8.txt",
      "sha256": "631ce78c36ab461d49b33cb29229a8ea47c5d40492fa4dd0eae6790e1409ebb8",
      "bytes": 4999,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1410-device-resources-local-Ujwcu6/host-compile.log",
      "originalSha256": "7da4f7e13f28d677844ae2c6002b9e4b6c5b75f86064e009b5207263500ed16a",
      "href": "/os-evidence/b8680bc00f140e01ab29cc87b5497dec7bdbf1520f6663c5682ee005e8c2c060.txt",
      "sha256": "b8680bc00f140e01ab29cc87b5497dec7bdbf1520f6663c5682ee005e8c2c060",
      "bytes": 997,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1410-device-resources-local-Ujwcu6/host-tests.log",
      "originalSha256": "0ef2f754c2558475426b252295a4eb56622b5d8bb07fd5efdb5b16eb2d914cfa",
      "href": "/os-evidence/0ef2f754c2558475426b252295a4eb56622b5d8bb07fd5efdb5b16eb2d914cfa.txt",
      "sha256": "0ef2f754c2558475426b252295a4eb56622b5d8bb07fd5efdb5b16eb2d914cfa",
      "bytes": 213,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1410-device-resources-local-Ujwcu6/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/K1410-device-resources-local-Ujwcu6/mutant-compile.log",
      "originalSha256": "295c17b6c304859f033c66504869e6ebb32990c9b45503e2a394026750589ecf",
      "href": "/os-evidence/0bcdc11da3cd64810a22aeaa8319b7c197008e38ef0a711eee14c680a33fd6f3.txt",
      "sha256": "0bcdc11da3cd64810a22aeaa8319b7c197008e38ef0a711eee14c680a33fd6f3",
      "bytes": 1445,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1410-device-resources-local-Ujwcu6/mutant-tests.log",
      "originalSha256": "99d8d269f86a67c99d1030aa5532d38a5232f9ef49b7d2fe023be235cab70fb9",
      "href": "/os-evidence/4e5ead63bd3462d970ee339656840e7207c1b43b92643c2b7d38c2af40b95ee4.txt",
      "sha256": "4e5ead63bd3462d970ee339656840e7207c1b43b92643c2b7d38c2af40b95ee4",
      "bytes": 728,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1410-device-resources-local-Ujwcu6/mutant/os-device-registry/src/lib.rs",
      "originalSha256": "ac47ace0cf8e1201ebbbb003bce26eaaaea2369ed1b6ffa16737ecba21a42f3a",
      "href": "/os-evidence/ac47ace0cf8e1201ebbbb003bce26eaaaea2369ed1b6ffa16737ecba21a42f3a.txt",
      "sha256": "ac47ace0cf8e1201ebbbb003bce26eaaaea2369ed1b6ffa16737ecba21a42f3a",
      "bytes": 7333,
      "redacted": false
    }
  ],
  "moves": [
    "K1406",
    "K1407",
    "K1408",
    "K1409"
  ]
}