{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1405-device-registry-local-XiOVeN/report.json",
    "sha256": "aed449806e5a07a8248cc8e71aa14f751b5afa1c87bc23d3e6edba37e115f983",
    "bytes": 3623
  },
  "status": "K1401_K1404_LOCAL_VALIDATED",
  "scope": "Bounded logical device registry: block and network descriptors, duplicate-key rejection, stale-handle rejection after detach and reattach, full/empty table, and generation exhaustion. Host tests and AArch64 no_std compilation pass. A removed generation guard is rejected by the negative test. Physical discovery, driver resource teardown, real guest acceptance, and product Image integration remain open at K1405.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1405-device-registry-local-XiOVeN/source/os-device-registry/src/lib.rs",
      "originalSha256": "67b4430b1dec5c7e7a591bc5d0fcdf96ad55531debaccb741358d17153fb215a",
      "href": "/os-evidence/67b4430b1dec5c7e7a591bc5d0fcdf96ad55531debaccb741358d17153fb215a.txt",
      "sha256": "67b4430b1dec5c7e7a591bc5d0fcdf96ad55531debaccb741358d17153fb215a",
      "bytes": 3691,
      "redacted": false
    },
    {
      "name": "device_registry.rs",
      "source": "reports/os-implementation/K1405-device-registry-local-XiOVeN/source/kernel/tests/os/device_registry.rs",
      "originalSha256": "8e607392f59019cfcd9b7c8cbb095919ba768e24f83c532b45b8250df81dfeab",
      "href": "/os-evidence/8e607392f59019cfcd9b7c8cbb095919ba768e24f83c532b45b8250df81dfeab.txt",
      "sha256": "8e607392f59019cfcd9b7c8cbb095919ba768e24f83c532b45b8250df81dfeab",
      "bytes": 2925,
      "redacted": false
    },
    {
      "name": "DEVICE_REGISTRY_IDENTITY_CONTRACT.md",
      "source": "reports/os-implementation/K1405-device-registry-local-XiOVeN/source/kernel/DEVICE_REGISTRY_IDENTITY_CONTRACT.md",
      "originalSha256": "b97b65c09db382316881a45396838fe4978bb58d61c9d24bbec29d10550653e3",
      "href": "/os-evidence/b97b65c09db382316881a45396838fe4978bb58d61c9d24bbec29d10550653e3.txt",
      "sha256": "b97b65c09db382316881a45396838fe4978bb58d61c9d24bbec29d10550653e3",
      "bytes": 2013,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1405-device-registry-local-XiOVeN/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/K1405-device-registry-local-XiOVeN/source/kernel/src/virtio_mmio.rs",
      "originalSha256": "04e5269a8637b797205d91c71a481eb61a7b5d45134a8062c791c234e29a086e",
      "href": "/os-evidence/04e5269a8637b797205d91c71a481eb61a7b5d45134a8062c791c234e29a086e.txt",
      "sha256": "04e5269a8637b797205d91c71a481eb61a7b5d45134a8062c791c234e29a086e",
      "bytes": 20296,
      "redacted": false
    },
    {
      "name": "device-registry-local.mjs",
      "source": "scripts/os-acceptance/device-registry-local.mjs",
      "originalSha256": "c9c960624ae4bb52423f9231189ecf2bd54a345374902757ac4b9f6b757a69d6",
      "href": "/os-evidence/c9c960624ae4bb52423f9231189ecf2bd54a345374902757ac4b9f6b757a69d6.txt",
      "sha256": "c9c960624ae4bb52423f9231189ecf2bd54a345374902757ac4b9f6b757a69d6",
      "bytes": 4926,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1405-device-registry-local-XiOVeN/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1405-device-registry-local-XiOVeN/host-tests.log",
      "originalSha256": "09f2747a857f684a93929a09fec7b6cc1ee70f5a9208f2aa69008f0546216b3f",
      "href": "/os-evidence/09f2747a857f684a93929a09fec7b6cc1ee70f5a9208f2aa69008f0546216b3f.txt",
      "sha256": "09f2747a857f684a93929a09fec7b6cc1ee70f5a9208f2aa69008f0546216b3f",
      "bytes": 211,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1405-device-registry-local-XiOVeN/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/K1405-device-registry-local-XiOVeN/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1405-device-registry-local-XiOVeN/mutant-tests.log",
      "originalSha256": "9acc8ea1a1735cfa118e061ccd08c96211ad960b0537611b54c0cde1300b18bd",
      "href": "/os-evidence/d2be746c2e1cc555352a441289f8724850957dd9847a6718e04df16c1c6058f8.txt",
      "sha256": "d2be746c2e1cc555352a441289f8724850957dd9847a6718e04df16c1c6058f8",
      "bytes": 755,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1405-device-registry-local-XiOVeN/mutant/os-device-registry/src/lib.rs",
      "originalSha256": "465368d3a68c25f5d57db8ae81dc9857b765bdf2f37cdbcb5850e5a67b26b30a",
      "href": "/os-evidence/465368d3a68c25f5d57db8ae81dc9857b765bdf2f37cdbcb5850e5a67b26b30a.txt",
      "sha256": "465368d3a68c25f5d57db8ae81dc9857b765bdf2f37cdbcb5850e5a67b26b30a",
      "bytes": 3660,
      "redacted": false
    }
  ],
  "moves": [
    "K1401",
    "K1402",
    "K1403",
    "K1404"
  ]
}