{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1465-virtio-mmio-v2-local-kSyvs9/report.json",
    "sha256": "dffaf0f9b9c07eb69a2cb3a725ccd3de54b2ded12f0cb5e499a4a3157c08b758",
    "bytes": 3567
  },
  "status": "K1461_K1464_LOCAL_VALIDATED",
  "scope": "The local Virtio MMIO v2 model validates a DTB-sized Device window and physical identity, owns generation-tagged claims, negotiates offered features, gates queue publication and DRIVER_OK, and refuses release until reset is observed. Two host tests and AArch64 no_std compilation passed; removing the release readiness guard made the negative test fail. Physical MMIO and DMA remain for K1465.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1465-virtio-mmio-v2-local-kSyvs9/source/os-virtio-mmio-v2/src/lib.rs",
      "originalSha256": "30578c20efca4c00a243c6a4c8b4a718eb31d9e5098fc5d55686b2b8b63eb8bf",
      "href": "/os-evidence/30578c20efca4c00a243c6a4c8b4a718eb31d9e5098fc5d55686b2b8b63eb8bf.txt",
      "sha256": "30578c20efca4c00a243c6a4c8b4a718eb31d9e5098fc5d55686b2b8b63eb8bf",
      "bytes": 6218,
      "redacted": false
    },
    {
      "name": "virtio_mmio_v2.rs",
      "source": "reports/os-implementation/K1465-virtio-mmio-v2-local-kSyvs9/source/kernel/tests/os/virtio_mmio_v2.rs",
      "originalSha256": "d81fa0ed2dd42e2495e7539a344519769479059ea3f06f447917169235164c80",
      "href": "/os-evidence/d81fa0ed2dd42e2495e7539a344519769479059ea3f06f447917169235164c80.txt",
      "sha256": "d81fa0ed2dd42e2495e7539a344519769479059ea3f06f447917169235164c80",
      "bytes": 3322,
      "redacted": false
    },
    {
      "name": "VIRTIO_MMIO_V2_CONTRACT.md",
      "source": "reports/os-implementation/K1465-virtio-mmio-v2-local-kSyvs9/source/kernel/VIRTIO_MMIO_V2_CONTRACT.md",
      "originalSha256": "324a47fd291a9ade280b784a74b83164c7a44cfd576a723d0dc9ee90447875b9",
      "href": "/os-evidence/324a47fd291a9ade280b784a74b83164c7a44cfd576a723d0dc9ee90447875b9.txt",
      "sha256": "324a47fd291a9ade280b784a74b83164c7a44cfd576a723d0dc9ee90447875b9",
      "bytes": 2371,
      "redacted": false
    },
    {
      "name": "no-std-root.rs",
      "source": "reports/os-implementation/K1465-virtio-mmio-v2-local-kSyvs9/source/no-std-root.rs",
      "originalSha256": "dccaa89c3822aff8cc15bd73d8b5a53db5d432d946985d0e3ab67b08994b1394",
      "href": "/os-evidence/dccaa89c3822aff8cc15bd73d8b5a53db5d432d946985d0e3ab67b08994b1394.txt",
      "sha256": "dccaa89c3822aff8cc15bd73d8b5a53db5d432d946985d0e3ab67b08994b1394",
      "bytes": 76,
      "redacted": false
    },
    {
      "name": "dtb.rs",
      "source": "reports/os-implementation/K1465-virtio-mmio-v2-local-kSyvs9/source/kernel/src/dtb.rs",
      "originalSha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "href": "/os-evidence/b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903.txt",
      "sha256": "b8ab4aa22859ee7da9e54f9d0c68db7cbbd2049283ce169b68c3ee553a324903",
      "bytes": 84958,
      "redacted": false
    },
    {
      "name": "virtio-mmio-v2-local.mjs",
      "source": "scripts/os-acceptance/virtio-mmio-v2-local.mjs",
      "originalSha256": "38277d19123ab778c54a28083e7fd566002ea2155658651676b3b889e48ba229",
      "href": "/os-evidence/38277d19123ab778c54a28083e7fd566002ea2155658651676b3b889e48ba229.txt",
      "sha256": "38277d19123ab778c54a28083e7fd566002ea2155658651676b3b889e48ba229",
      "bytes": 4938,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1465-virtio-mmio-v2-local-kSyvs9/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1465-virtio-mmio-v2-local-kSyvs9/host-tests.log",
      "originalSha256": "4e57f3b6bd53b6890c86c31dad8c36d11c5f1a3c88df35deae250a2a39f23f85",
      "href": "/os-evidence/4e57f3b6bd53b6890c86c31dad8c36d11c5f1a3c88df35deae250a2a39f23f85.txt",
      "sha256": "4e57f3b6bd53b6890c86c31dad8c36d11c5f1a3c88df35deae250a2a39f23f85",
      "bytes": 191,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1465-virtio-mmio-v2-local-kSyvs9/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/K1465-virtio-mmio-v2-local-kSyvs9/mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "mutant-tests.log",
      "source": "reports/os-implementation/K1465-virtio-mmio-v2-local-kSyvs9/mutant-tests.log",
      "originalSha256": "a0cb21de9fd83ff7624b3aa0b340903ca65edc7cbae63dd86b87aed2a8e5eb6e",
      "href": "/os-evidence/fc64516b7afc1910caf05ca93df7bad7d2122368eab1b19f08e61a218a1d9f0d.txt",
      "sha256": "fc64516b7afc1910caf05ca93df7bad7d2122368eab1b19f08e61a218a1d9f0d",
      "bytes": 625,
      "redacted": true
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1465-virtio-mmio-v2-local-kSyvs9/mutant/os-virtio-mmio-v2/src/lib.rs",
      "originalSha256": "6bf1236ebe7506b7b2664510ab399258729014ffca2463f9f5e41a6ba08b125a",
      "href": "/os-evidence/6bf1236ebe7506b7b2664510ab399258729014ffca2463f9f5e41a6ba08b125a.txt",
      "sha256": "6bf1236ebe7506b7b2664510ab399258729014ffca2463f9f5e41a6ba08b125a",
      "bytes": 6197,
      "redacted": false
    }
  ],
  "moves": [
    "K1461",
    "K1462",
    "K1463",
    "K1464"
  ]
}