{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K781-K799-preparation-zLhH8b/report.json",
    "sha256": "37ad9dd2c00cc97564bdf4191b1a95258903382bee2177e5cce7426df18d51c7",
    "bytes": 23154
  },
  "status": "HOST_PREPARED",
  "scope": "Host tests pin real Registry handles backed by aligned Rust pages. Host fake device and barrier traces do not establish actual guest DMA, ARM64 ordering, volatile device reset or physical noncoherent cache maintenance. Isolated VirtIO guest acceptance remains pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "fmt.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/fmt.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/host.log",
      "originalSha256": "301a4dbcdd52b24e5c2825fcd5c7ccd31158b849632ae7f5fdded4fc8fa295d9",
      "href": "/os-evidence/301a4dbcdd52b24e5c2825fcd5c7ccd31158b849632ae7f5fdded4fc8fa295d9.txt",
      "sha256": "301a4dbcdd52b24e5c2825fcd5c7ccd31158b849632ae7f5fdded4fc8fa295d9",
      "bytes": 1683,
      "redacted": false
    },
    {
      "name": "pin-positive.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/pin-positive.log",
      "originalSha256": "92f970554f590bcb86c28dea1ad2e034e3e9fff35e76fe7a8bb2ec24bff7fedb",
      "href": "/os-evidence/92f970554f590bcb86c28dea1ad2e034e3e9fff35e76fe7a8bb2ec24bff7fedb.txt",
      "sha256": "92f970554f590bcb86c28dea1ad2e034e3e9fff35e76fe7a8bb2ec24bff7fedb",
      "bytes": 383,
      "redacted": false
    },
    {
      "name": "pin-negative.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/pin-negative.log",
      "originalSha256": "723ef5488de58798038094e7d8e320274ad8dd5197ceca13263a801be626f180",
      "href": "/os-evidence/723ef5488de58798038094e7d8e320274ad8dd5197ceca13263a801be626f180.txt",
      "sha256": "723ef5488de58798038094e7d8e320274ad8dd5197ceca13263a801be626f180",
      "bytes": 383,
      "redacted": false
    },
    {
      "name": "bounds-positive.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/bounds-positive.log",
      "originalSha256": "3c15102d522c06f927c0e7ca1e5306a04d73f967a929f1343fbbeb3049d04607",
      "href": "/os-evidence/3c15102d522c06f927c0e7ca1e5306a04d73f967a929f1343fbbeb3049d04607.txt",
      "sha256": "3c15102d522c06f927c0e7ca1e5306a04d73f967a929f1343fbbeb3049d04607",
      "bytes": 386,
      "redacted": false
    },
    {
      "name": "bounds-negative.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/bounds-negative.log",
      "originalSha256": "50c04ff35f6e0c357e53d9b884a3a7221b6a47dd6a5f4e4c370960f078da0964",
      "href": "/os-evidence/50c04ff35f6e0c357e53d9b884a3a7221b6a47dd6a5f4e4c370960f078da0964.txt",
      "sha256": "50c04ff35f6e0c357e53d9b884a3a7221b6a47dd6a5f4e4c370960f078da0964",
      "bytes": 386,
      "redacted": false
    },
    {
      "name": "barriers-positive.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/barriers-positive.log",
      "originalSha256": "f35a74c21d88ccc14bba0d9922e05b25a6f00fa0b8619a8a6052cbfc8d7eae2e",
      "href": "/os-evidence/f35a74c21d88ccc14bba0d9922e05b25a6f00fa0b8619a8a6052cbfc8d7eae2e.txt",
      "sha256": "f35a74c21d88ccc14bba0d9922e05b25a6f00fa0b8619a8a6052cbfc8d7eae2e",
      "bytes": 388,
      "redacted": false
    },
    {
      "name": "barriers-negative.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/barriers-negative.log",
      "originalSha256": "8dc58520b50f012a913979c6ab7e48b19a480e76344149cab944004e9e2f4269",
      "href": "/os-evidence/8dc58520b50f012a913979c6ab7e48b19a480e76344149cab944004e9e2f4269.txt",
      "sha256": "8dc58520b50f012a913979c6ab7e48b19a480e76344149cab944004e9e2f4269",
      "bytes": 388,
      "redacted": false
    },
    {
      "name": "reset-positive.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/reset-positive.log",
      "originalSha256": "e055bd8d454b6fc1397c3a5e7e19994f9288c52a9335f0cbc3fa0d2e3f3987a4",
      "href": "/os-evidence/e055bd8d454b6fc1397c3a5e7e19994f9288c52a9335f0cbc3fa0d2e3f3987a4.txt",
      "sha256": "e055bd8d454b6fc1397c3a5e7e19994f9288c52a9335f0cbc3fa0d2e3f3987a4",
      "bytes": 385,
      "redacted": false
    },
    {
      "name": "reset-negative.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/reset-negative.log",
      "originalSha256": "ca4bc35a7da565b774bce91c2772ad6d6f9282b61c1274000bf430638113519c",
      "href": "/os-evidence/ca4bc35a7da565b774bce91c2772ad6d6f9282b61c1274000bf430638113519c.txt",
      "sha256": "ca4bc35a7da565b774bce91c2772ad6d6f9282b61c1274000bf430638113519c",
      "bytes": 385,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/arm64.log",
      "originalSha256": "89f2b7d51b9fb521116756de44b609bc51e26191d8dfc79bc8c70f3b797d62c5",
      "href": "/os-evidence/89f2b7d51b9fb521116756de44b609bc51e26191d8dfc79bc8c70f3b797d62c5.txt",
      "sha256": "89f2b7d51b9fb521116756de44b609bc51e26191d8dfc79bc8c70f3b797d62c5",
      "bytes": 214,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/clippy.log",
      "originalSha256": "35403cf3c286a066a42792ac395c021e3b86f1288f783619f1c05ba3d0d34749",
      "href": "/os-evidence/35403cf3c286a066a42792ac395c021e3b86f1288f783619f1c05ba3d0d34749.txt",
      "sha256": "35403cf3c286a066a42792ac395c021e3b86f1288f783619f1c05ba3d0d34749",
      "bytes": 214,
      "redacted": false
    },
    {
      "name": "mutant-wrong-queue.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/mutant-wrong-queue.log",
      "originalSha256": "c9503f21249cc9ab115c28b5f92d16a44fc7b26a759f9d8c5ef6fa95a8c0cf69",
      "href": "/os-evidence/c9503f21249cc9ab115c28b5f92d16a44fc7b26a759f9d8c5ef6fa95a8c0cf69.txt",
      "sha256": "c9503f21249cc9ab115c28b5f92d16a44fc7b26a759f9d8c5ef6fa95a8c0cf69",
      "bytes": 1702,
      "redacted": false
    },
    {
      "name": "dma.rs",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/mutant-wrong-queue/os-dma-memory/src/dma.rs",
      "originalSha256": "a976131a0810518c4e8a7bb36c09176ce7cc7e73d4c296c8d1a47052036bc116",
      "href": "/os-evidence/a976131a0810518c4e8a7bb36c09176ce7cc7e73d4c296c8d1a47052036bc116.txt",
      "sha256": "a976131a0810518c4e8a7bb36c09176ce7cc7e73d4c296c8d1a47052036bc116",
      "bytes": 20041,
      "redacted": false
    },
    {
      "name": "mutant-cross-page-descriptor.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/mutant-cross-page-descriptor.log",
      "originalSha256": "79deb9e6b58c3460cead81f9cb9fe804fe50bfb58b51fac0724c31fb07c27b17",
      "href": "/os-evidence/79deb9e6b58c3460cead81f9cb9fe804fe50bfb58b51fac0724c31fb07c27b17.txt",
      "sha256": "79deb9e6b58c3460cead81f9cb9fe804fe50bfb58b51fac0724c31fb07c27b17",
      "bytes": 1517,
      "redacted": false
    },
    {
      "name": "dma.rs",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/mutant-cross-page-descriptor/os-dma-memory/src/dma.rs",
      "originalSha256": "536126f769aaa3f22b1094efed978657a635f1612d3f165ac7bd26a500969aeb",
      "href": "/os-evidence/536126f769aaa3f22b1094efed978657a635f1612d3f165ac7bd26a500969aeb.txt",
      "sha256": "536126f769aaa3f22b1094efed978657a635f1612d3f165ac7bd26a500969aeb",
      "bytes": 20112,
      "redacted": false
    },
    {
      "name": "mutant-skip-publish-barrier.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/mutant-skip-publish-barrier.log",
      "originalSha256": "156b7d9e61e41cc8a159b6cc4ede517251401997e6ddd22597e89215c9aa9714",
      "href": "/os-evidence/156b7d9e61e41cc8a159b6cc4ede517251401997e6ddd22597e89215c9aa9714.txt",
      "sha256": "156b7d9e61e41cc8a159b6cc4ede517251401997e6ddd22597e89215c9aa9714",
      "bytes": 1203,
      "redacted": false
    },
    {
      "name": "dma.rs",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/mutant-skip-publish-barrier/os-dma-memory/src/dma.rs",
      "originalSha256": "c242a24dd6dfae44097e263d41472fd221606354568cfe74dcdc24054095b8f6",
      "href": "/os-evidence/c242a24dd6dfae44097e263d41472fd221606354568cfe74dcdc24054095b8f6.txt",
      "sha256": "c242a24dd6dfae44097e263d41472fd221606354568cfe74dcdc24054095b8f6",
      "bytes": 20096,
      "redacted": false
    },
    {
      "name": "mutant-skip-consume-barrier.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/mutant-skip-consume-barrier.log",
      "originalSha256": "1ae37d8825bf9b3739c6b5cf9b9e17ead7ed3be4c873fd2ec17875d979100353",
      "href": "/os-evidence/1ae37d8825bf9b3739c6b5cf9b9e17ead7ed3be4c873fd2ec17875d979100353.txt",
      "sha256": "1ae37d8825bf9b3739c6b5cf9b9e17ead7ed3be4c873fd2ec17875d979100353",
      "bytes": 1071,
      "redacted": false
    },
    {
      "name": "dma.rs",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/mutant-skip-consume-barrier/os-dma-memory/src/dma.rs",
      "originalSha256": "add73f0cc8bf5387b1965fdba2f8b63338c834832549fbea0a01fec2322e4ebd",
      "href": "/os-evidence/add73f0cc8bf5387b1965fdba2f8b63338c834832549fbea0a01fec2322e4ebd.txt",
      "sha256": "add73f0cc8bf5387b1965fdba2f8b63338c834832549fbea0a01fec2322e4ebd",
      "bytes": 20138,
      "redacted": false
    },
    {
      "name": "mutant-ignore-reset-ready.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/mutant-ignore-reset-ready.log",
      "originalSha256": "05d5970c056cf0b0a0001bc2f24e3c5b9cf893f03d6ebc6feb8b9dd71c9d8450",
      "href": "/os-evidence/05d5970c056cf0b0a0001bc2f24e3c5b9cf893f03d6ebc6feb8b9dd71c9d8450.txt",
      "sha256": "05d5970c056cf0b0a0001bc2f24e3c5b9cf893f03d6ebc6feb8b9dd71c9d8450",
      "bytes": 1048,
      "redacted": false
    },
    {
      "name": "dma.rs",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/mutant-ignore-reset-ready/os-dma-memory/src/dma.rs",
      "originalSha256": "31042570690ce4906b4c7239244972c46de8e86b5dc5452044c10e2be9859e98",
      "href": "/os-evidence/31042570690ce4906b4c7239244972c46de8e86b5dc5452044c10e2be9859e98.txt",
      "sha256": "31042570690ce4906b4c7239244972c46de8e86b5dc5452044c10e2be9859e98",
      "bytes": 20102,
      "redacted": false
    },
    {
      "name": "mutant-active-unpin.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/mutant-active-unpin.log",
      "originalSha256": "8a18768ea1d36525967ee17ec961162896095f2aacb58887b502d7a5fa1131a0",
      "href": "/os-evidence/8a18768ea1d36525967ee17ec961162896095f2aacb58887b502d7a5fa1131a0.txt",
      "sha256": "8a18768ea1d36525967ee17ec961162896095f2aacb58887b502d7a5fa1131a0",
      "bytes": 1604,
      "redacted": false
    },
    {
      "name": "dma.rs",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/mutant-active-unpin/os-dma-memory/src/dma.rs",
      "originalSha256": "d729957106c2e05e0892601d6e35bf619a3c6be27dd886b4baf27f5ea4137329",
      "href": "/os-evidence/d729957106c2e05e0892601d6e35bf619a3c6be27dd886b4baf27f5ea4137329.txt",
      "sha256": "d729957106c2e05e0892601d6e35bf619a3c6be27dd886b4baf27f5ea4137329",
      "bytes": 20089,
      "redacted": false
    },
    {
      "name": "mutant-workspace-alias.log",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/mutant-workspace-alias.log",
      "originalSha256": "e48277804f871e2f3aad2bd9863de9c907e1a207d668b6e16676820aa6158d07",
      "href": "/os-evidence/e48277804f871e2f3aad2bd9863de9c907e1a207d668b6e16676820aa6158d07.txt",
      "sha256": "e48277804f871e2f3aad2bd9863de9c907e1a207d668b6e16676820aa6158d07",
      "bytes": 1602,
      "redacted": false
    },
    {
      "name": "dma.rs",
      "source": "reports/os-implementation/K781-K799-preparation-zLhH8b/mutant-workspace-alias/os-dma-memory/src/dma.rs",
      "originalSha256": "ff2f3eee63b7394b5cac131ed5c196115fb7cdfa5c0c0c39e6ee5599a5563184",
      "href": "/os-evidence/ff2f3eee63b7394b5cac131ed5c196115fb7cdfa5c0c0c39e6ee5599a5563184.txt",
      "sha256": "ff2f3eee63b7394b5cac131ed5c196115fb7cdfa5c0c0c39e6ee5599a5563184",
      "bytes": 20092,
      "redacted": false
    }
  ],
  "moves": [
    "K781",
    "K782",
    "K783",
    "K784",
    "K786",
    "K787",
    "K788",
    "K789",
    "K791",
    "K792",
    "K793",
    "K794",
    "K796",
    "K797",
    "K798",
    "K799"
  ]
}