{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1415-device-driver-match-local-EN76YN/report.json",
    "sha256": "9fc4378feb27b15c3633862325b8eb6fd8170a5d599f560e3329c7c2cbe68fe3",
    "bytes": 3676
  },
  "status": "K1411_K1414_LOCAL_VALIDATED",
  "scope": "Exact VirtIO MMIO vendor, DeviceID, and normalized class matching gates publication of the driver binding and resource claim. Unsupported class, mismatched class, vendor, and transport are rejected without state changes. Four host tests and AArch64 no_std compilation pass. A removed class-equality guard is rejected by the negative test. Guest acceptance and product Image integration remain open at K1415.",
  "productAccepted": false,
  "tests": {
    "greenCount": 4,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1415-device-driver-match-local-EN76YN/source/os-device-registry/src/lib.rs",
      "originalSha256": "833eaaa57483ed9e155d677918dcdbd5e8f324a9bf40218258f04df2eaffb505",
      "href": "/os-evidence/833eaaa57483ed9e155d677918dcdbd5e8f324a9bf40218258f04df2eaffb505.txt",
      "sha256": "833eaaa57483ed9e155d677918dcdbd5e8f324a9bf40218258f04df2eaffb505",
      "bytes": 11680,
      "redacted": false
    },
    {
      "name": "device_registry.rs",
      "source": "reports/os-implementation/K1415-device-driver-match-local-EN76YN/source/kernel/tests/os/device_registry.rs",
      "originalSha256": "1cb5ff7313d9f9ca16fc66eb7384e50b8042af8a4736da61c3fa30bdda5a09b3",
      "href": "/os-evidence/1cb5ff7313d9f9ca16fc66eb7384e50b8042af8a4736da61c3fa30bdda5a09b3.txt",
      "sha256": "1cb5ff7313d9f9ca16fc66eb7384e50b8042af8a4736da61c3fa30bdda5a09b3",
      "bytes": 6656,
      "redacted": false
    },
    {
      "name": "DEVICE_REGISTRY_DRIVER_MATCH_CONTRACT.md",
      "source": "reports/os-implementation/K1415-device-driver-match-local-EN76YN/source/kernel/DEVICE_REGISTRY_DRIVER_MATCH_CONTRACT.md",
      "originalSha256": "f1e2038fece1a764b3bdd0805639db9853b42f0e3e38cac5cbf0c769b689d0c4",
      "href": "/os-evidence/f1e2038fece1a764b3bdd0805639db9853b42f0e3e38cac5cbf0c769b689d0c4.txt",
      "sha256": "f1e2038fece1a764b3bdd0805639db9853b42f0e3e38cac5cbf0c769b689d0c4",
      "bytes": 1712,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1415-device-driver-match-local-EN76YN/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/K1415-device-driver-match-local-EN76YN/source/kernel/src/virtio_mmio.rs",
      "originalSha256": "04e5269a8637b797205d91c71a481eb61a7b5d45134a8062c791c234e29a086e",
      "href": "/os-evidence/04e5269a8637b797205d91c71a481eb61a7b5d45134a8062c791c234e29a086e.txt",
      "sha256": "04e5269a8637b797205d91c71a481eb61a7b5d45134a8062c791c234e29a086e",
      "bytes": 20296,
      "redacted": false
    },
    {
      "name": "device-driver-match-local.mjs",
      "source": "scripts/os-acceptance/device-driver-match-local.mjs",
      "originalSha256": "d9a120a69a0995cc003c42e2fffe00c04efb925dfd7e82e44d931cf2d053f9c7",
      "href": "/os-evidence/d9a120a69a0995cc003c42e2fffe00c04efb925dfd7e82e44d931cf2d053f9c7.txt",
      "sha256": "d9a120a69a0995cc003c42e2fffe00c04efb925dfd7e82e44d931cf2d053f9c7",
      "bytes": 4948,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1415-device-driver-match-local-EN76YN/host-compile.log",
      "originalSha256": "013043b44a25cddebd4297a4e7ae1901796b4ab1c3af83af05dfc3f7dc17983d",
      "href": "/os-evidence/a208fe88b628a3793f27e64887bf0a2ff370981d2f660974da1f7507464188c3.txt",
      "sha256": "a208fe88b628a3793f27e64887bf0a2ff370981d2f660974da1f7507464188c3",
      "bytes": 1109,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1415-device-driver-match-local-EN76YN/host-tests.log",
      "originalSha256": "b8c82d19f59776b75d01f62cb245c03407e2b265d8700936a16c8515f4e9c486",
      "href": "/os-evidence/b8c82d19f59776b75d01f62cb245c03407e2b265d8700936a16c8515f4e9c486.txt",
      "sha256": "b8c82d19f59776b75d01f62cb245c03407e2b265d8700936a16c8515f4e9c486",
      "bytes": 317,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1415-device-driver-match-local-EN76YN/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/K1415-device-driver-match-local-EN76YN/mutant-compile.log",
      "originalSha256": "d5ad7c1c2f4724807a4311c681a728b0339b267069b9cdc423be99c7d54d1eb7",
      "href": "/os-evidence/88fb8fb55cf596579b0a174dab959bc895bf6a02e5d061e9d1494d0604f870fd.txt",
      "sha256": "88fb8fb55cf596579b0a174dab959bc895bf6a02e5d061e9d1494d0604f870fd",
      "bytes": 1444,
      "redacted": true
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1415-device-driver-match-local-EN76YN/mutant-tests.log",
      "originalSha256": "e25148219bf3c2e7c0ed335a857058490c93446e47411b0ec4347531b91fcf5e",
      "href": "/os-evidence/56efbd7f987beaf456f0be41160ae8d9fb1fb5a083c622a9521c61b1b5e26d81.txt",
      "sha256": "56efbd7f987beaf456f0be41160ae8d9fb1fb5a083c622a9521c61b1b5e26d81",
      "bytes": 844,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1415-device-driver-match-local-EN76YN/mutant/os-device-registry/src/lib.rs",
      "originalSha256": "056838d23c1fc9e45427216b403a9b570aa1c8a16f52e8af4e77e8ad11609ea5",
      "href": "/os-evidence/056838d23c1fc9e45427216b403a9b570aa1c8a16f52e8af4e77e8ad11609ea5.txt",
      "sha256": "056838d23c1fc9e45427216b403a9b570aa1c8a16f52e8af4e77e8ad11609ea5",
      "bytes": 11648,
      "redacted": false
    }
  ],
  "moves": [
    "K1411",
    "K1412",
    "K1413",
    "K1414"
  ]
}