{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1420-device-safe-detach-local-KO1Cpx/report.json",
    "sha256": "5c475c800fa8469b53114214d4bda7eb0ead1cacdc14b7ff46876111e161cfce",
    "bytes": 3710
  },
  "status": "K1416_K1419_LOCAL_VALIDATED",
  "scope": "Logical safe detach requires stop admission, reset acknowledgement, descriptor drain, IRQ removal, then driver binding and resource release. Empty and full queues detach; early free is rejected with complete state equality. Six host tests and AArch64 no_std compilation pass. A removed finish-detach guard is rejected by the negative test. Physical reset, IRQ deregistration, DMA release, guest acceptance, and product integration remain open at K1420.",
  "productAccepted": false,
  "tests": {
    "greenCount": 6,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1420-device-safe-detach-local-KO1Cpx/source/os-device-registry/src/lib.rs",
      "originalSha256": "133449a60ff243ebb692b031032e22ba3e9aca3c0858008f4cab116e82a8204a",
      "href": "/os-evidence/133449a60ff243ebb692b031032e22ba3e9aca3c0858008f4cab116e82a8204a.txt",
      "sha256": "133449a60ff243ebb692b031032e22ba3e9aca3c0858008f4cab116e82a8204a",
      "bytes": 16919,
      "redacted": false
    },
    {
      "name": "device_registry.rs",
      "source": "reports/os-implementation/K1420-device-safe-detach-local-KO1Cpx/source/kernel/tests/os/device_registry.rs",
      "originalSha256": "89ca7379aef64e4c344293dbc979b49dd3eb94ada6e57bc2995985a56ef5536a",
      "href": "/os-evidence/89ca7379aef64e4c344293dbc979b49dd3eb94ada6e57bc2995985a56ef5536a.txt",
      "sha256": "89ca7379aef64e4c344293dbc979b49dd3eb94ada6e57bc2995985a56ef5536a",
      "bytes": 9659,
      "redacted": false
    },
    {
      "name": "DEVICE_REGISTRY_SAFE_DETACH_CONTRACT.md",
      "source": "reports/os-implementation/K1420-device-safe-detach-local-KO1Cpx/source/kernel/DEVICE_REGISTRY_SAFE_DETACH_CONTRACT.md",
      "originalSha256": "2f776c8c7ba5a6a31c4199e86a78836a4f1ff4feb732a5cd2622d21ee5a2022e",
      "href": "/os-evidence/2f776c8c7ba5a6a31c4199e86a78836a4f1ff4feb732a5cd2622d21ee5a2022e.txt",
      "sha256": "2f776c8c7ba5a6a31c4199e86a78836a4f1ff4feb732a5cd2622d21ee5a2022e",
      "bytes": 1529,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1420-device-safe-detach-local-KO1Cpx/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/K1420-device-safe-detach-local-KO1Cpx/source/kernel/src/virtio_mmio.rs",
      "originalSha256": "04e5269a8637b797205d91c71a481eb61a7b5d45134a8062c791c234e29a086e",
      "href": "/os-evidence/04e5269a8637b797205d91c71a481eb61a7b5d45134a8062c791c234e29a086e.txt",
      "sha256": "04e5269a8637b797205d91c71a481eb61a7b5d45134a8062c791c234e29a086e",
      "bytes": 20296,
      "redacted": false
    },
    {
      "name": "device-safe-detach-local.mjs",
      "source": "scripts/os-acceptance/device-safe-detach-local.mjs",
      "originalSha256": "35dd8e3a748a837eb5acce54f14d3029b94d4ab67ef5fb0ef68aa77016107636",
      "href": "/os-evidence/35dd8e3a748a837eb5acce54f14d3029b94d4ab67ef5fb0ef68aa77016107636.txt",
      "sha256": "35dd8e3a748a837eb5acce54f14d3029b94d4ab67ef5fb0ef68aa77016107636",
      "bytes": 5295,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1420-device-safe-detach-local-KO1Cpx/host-compile.log",
      "originalSha256": "1b0b1102d3766e042d918043a824cb8844a06ae22c70955f58497a908bbf33d2",
      "href": "/os-evidence/4f8e19eb08d468dffa9e3f927aa8c1e38a21f392edd48c813ca0897fa8540d06.txt",
      "sha256": "4f8e19eb08d468dffa9e3f927aa8c1e38a21f392edd48c813ca0897fa8540d06",
      "bytes": 1107,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1420-device-safe-detach-local-KO1Cpx/host-tests.log",
      "originalSha256": "99d36610e97acd8ac530cbdd62395b8b90a0b30bdbcb699d0d8fdf6380457327",
      "href": "/os-evidence/99d36610e97acd8ac530cbdd62395b8b90a0b30bdbcb699d0d8fdf6380457327.txt",
      "sha256": "99d36610e97acd8ac530cbdd62395b8b90a0b30bdbcb699d0d8fdf6380457327",
      "bytes": 411,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1420-device-safe-detach-local-KO1Cpx/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/K1420-device-safe-detach-local-KO1Cpx/mutant-compile.log",
      "originalSha256": "2c99958f334f16182d07af21f0b458119c1abdc857929f1ac45cd5e685f4a258",
      "href": "/os-evidence/827230fe4b7de24f7ee416c65560320b5cf5bd757f5c096179a4270b1bf90968.txt",
      "sha256": "827230fe4b7de24f7ee416c65560320b5cf5bd757f5c096179a4270b1bf90968",
      "bytes": 1107,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1420-device-safe-detach-local-KO1Cpx/mutant-tests.log",
      "originalSha256": "811fc300294744c9985d6a3185ff894f571b3e6d6969db0fcb23239220bc7b60",
      "href": "/os-evidence/d67a4e0a8a895f17165255753837ff592778c3d34d63ea22f5fbbfb9c95a6ac9.txt",
      "sha256": "d67a4e0a8a895f17165255753837ff592778c3d34d63ea22f5fbbfb9c95a6ac9",
      "bytes": 955,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1420-device-safe-detach-local-KO1Cpx/mutant/os-device-registry/src/lib.rs",
      "originalSha256": "49d7219087feb7193fce3c8b3ddf794a09c5ab26fbd800cd6f636e35d5c7ec9c",
      "href": "/os-evidence/49d7219087feb7193fce3c8b3ddf794a09c5ab26fbd800cd6f636e35d5c7ec9c.txt",
      "sha256": "49d7219087feb7193fce3c8b3ddf794a09c5ab26fbd800cd6f636e35d5c7ec9c",
      "bytes": 16530,
      "redacted": false
    }
  ],
  "moves": [
    "K1416",
    "K1417",
    "K1418",
    "K1419"
  ]
}