{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K641-K659-5qb6G5/report.json",
    "sha256": "53a92726e9eab9614c02dc933e4d5a93589bc427a115e14b113d534aaea16450",
    "bytes": 33540
  },
  "status": null,
  "scope": "host-library-only",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "fmt.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/fmt.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/host.log",
      "originalSha256": "7b3cd818cf7de0b49e6083d16b763155e2ac7d4e7003bf926df153bf9408d594",
      "href": "/os-evidence/7b3cd818cf7de0b49e6083d16b763155e2ac7d4e7003bf926df153bf9408d594.txt",
      "sha256": "7b3cd818cf7de0b49e6083d16b763155e2ac7d4e7003bf926df153bf9408d594",
      "bytes": 1917,
      "redacted": false
    },
    {
      "name": "stages-positive.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/stages-positive.log",
      "originalSha256": "adb3d5042fe517dc51eba2ceef7f63644ada92898e9839c4b93bf3af7cddaad1",
      "href": "/os-evidence/adb3d5042fe517dc51eba2ceef7f63644ada92898e9839c4b93bf3af7cddaad1.txt",
      "sha256": "adb3d5042fe517dc51eba2ceef7f63644ada92898e9839c4b93bf3af7cddaad1",
      "bytes": 392,
      "redacted": false
    },
    {
      "name": "stages-negative.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/stages-negative.log",
      "originalSha256": "b4bd078c0d6c31e0c4d0d6210a5abbc81fe370e2dccf5fa2fd9c66b420236449",
      "href": "/os-evidence/b4bd078c0d6c31e0c4d0d6210a5abbc81fe370e2dccf5fa2fd9c66b420236449.txt",
      "sha256": "b4bd078c0d6c31e0c4d0d6210a5abbc81fe370e2dccf5fa2fd9c66b420236449",
      "bytes": 392,
      "redacted": false
    },
    {
      "name": "services-positive.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/services-positive.log",
      "originalSha256": "d04b59f2b5c6a3b373eadd40f69a7ce99c293d662307fd91648ecb20f644bbbb",
      "href": "/os-evidence/d04b59f2b5c6a3b373eadd40f69a7ce99c293d662307fd91648ecb20f644bbbb.txt",
      "sha256": "d04b59f2b5c6a3b373eadd40f69a7ce99c293d662307fd91648ecb20f644bbbb",
      "bytes": 394,
      "redacted": false
    },
    {
      "name": "services-negative.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/services-negative.log",
      "originalSha256": "041565cd1db1d3eea7726e675c9c501cc8ee65916bcc73215299f734b6edabe3",
      "href": "/os-evidence/041565cd1db1d3eea7726e675c9c501cc8ee65916bcc73215299f734b6edabe3.txt",
      "sha256": "041565cd1db1d3eea7726e675c9c501cc8ee65916bcc73215299f734b6edabe3",
      "bytes": 394,
      "redacted": false
    },
    {
      "name": "profiles-positive.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/profiles-positive.log",
      "originalSha256": "0bc123065cf8bbaf7e0de12c8b78cc22bb5cbc5778655ba987b86c7f5e6dfd00",
      "href": "/os-evidence/0bc123065cf8bbaf7e0de12c8b78cc22bb5cbc5778655ba987b86c7f5e6dfd00.txt",
      "sha256": "0bc123065cf8bbaf7e0de12c8b78cc22bb5cbc5778655ba987b86c7f5e6dfd00",
      "bytes": 394,
      "redacted": false
    },
    {
      "name": "profiles-negative.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/profiles-negative.log",
      "originalSha256": "28c96e3ae3ebb2ae5f46d1858b3e102f9f0d3242e47bccba1c7e8e9435e470f0",
      "href": "/os-evidence/28c96e3ae3ebb2ae5f46d1858b3e102f9f0d3242e47bccba1c7e8e9435e470f0.txt",
      "sha256": "28c96e3ae3ebb2ae5f46d1858b3e102f9f0d3242e47bccba1c7e8e9435e470f0",
      "bytes": 394,
      "redacted": false
    },
    {
      "name": "rollback-positive.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/rollback-positive.log",
      "originalSha256": "e12193eaafc020141a5238170aa73c73cdacda34e7100007f49a528971a4b2ee",
      "href": "/os-evidence/e12193eaafc020141a5238170aa73c73cdacda34e7100007f49a528971a4b2ee.txt",
      "sha256": "e12193eaafc020141a5238170aa73c73cdacda34e7100007f49a528971a4b2ee",
      "bytes": 394,
      "redacted": false
    },
    {
      "name": "rollback-negative.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/rollback-negative.log",
      "originalSha256": "45f99e01811f0d38e57d516556d51a5e960731d66264b74cd9d861beb512b3da",
      "href": "/os-evidence/45f99e01811f0d38e57d516556d51a5e960731d66264b74cd9d861beb512b3da.txt",
      "sha256": "45f99e01811f0d38e57d516556d51a5e960731d66264b74cd9d861beb512b3da",
      "bytes": 394,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/arm64.log",
      "originalSha256": "1ef97711f32766c1db54c975b67ae2c7104d5778b5b500bf2fdadc4d34a8cfd9",
      "href": "/os-evidence/1ef97711f32766c1db54c975b67ae2c7104d5778b5b500bf2fdadc4d34a8cfd9.txt",
      "sha256": "1ef97711f32766c1db54c975b67ae2c7104d5778b5b500bf2fdadc4d34a8cfd9",
      "bytes": 151,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/clippy.log",
      "originalSha256": "84d8c8c32ffa946f6b9ea2a67502c1fee38c2f97c628338b5e587b16ac67c1bb",
      "href": "/os-evidence/84d8c8c32ffa946f6b9ea2a67502c1fee38c2f97c628338b5e587b16ac67c1bb.txt",
      "sha256": "84d8c8c32ffa946f6b9ea2a67502c1fee38c2f97c628338b5e587b16ac67c1bb",
      "bytes": 532,
      "redacted": false
    },
    {
      "name": "acceptance-profile.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/acceptance-profile.log",
      "originalSha256": "5b6be08ac84423fa67f5e5c3c9d0844c7f24828528f3577f5d556f10b744cd6b",
      "href": "/os-evidence/5b6be08ac84423fa67f5e5c3c9d0844c7f24828528f3577f5d556f10b744cd6b.txt",
      "sha256": "5b6be08ac84423fa67f5e5c3c9d0844c7f24828528f3577f5d556f10b744cd6b",
      "bytes": 151,
      "redacted": false
    },
    {
      "name": "experiment-profile.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/experiment-profile.log",
      "originalSha256": "38b18f42399584e836be07af9646f7c961d20763b5586ca04b527107628a0f45",
      "href": "/os-evidence/38b18f42399584e836be07af9646f7c961d20763b5586ca04b527107628a0f45.txt",
      "sha256": "38b18f42399584e836be07af9646f7c961d20763b5586ca04b527107628a0f45",
      "bytes": 151,
      "redacted": false
    },
    {
      "name": "product-probe-rejected.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/product-probe-rejected.log",
      "originalSha256": "5f41553561af79c35fd261efcc956c8e4d7fc8f5204dbb7095174cb1c72fc367",
      "href": "/os-evidence/5f41553561af79c35fd261efcc956c8e4d7fc8f5204dbb7095174cb1c72fc367.txt",
      "sha256": "5f41553561af79c35fd261efcc956c8e4d7fc8f5204dbb7095174cb1c72fc367",
      "bytes": 386,
      "redacted": false
    },
    {
      "name": "mixed-profile-rejected.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/mixed-profile-rejected.log",
      "originalSha256": "5e8e2956800284eb3b7508a36df974063453353d4a29684b220fec7260029a60",
      "href": "/os-evidence/5e8e2956800284eb3b7508a36df974063453353d4a29684b220fec7260029a60.txt",
      "sha256": "5e8e2956800284eb3b7508a36df974063453353d4a29684b220fec7260029a60",
      "bytes": 363,
      "redacted": false
    },
    {
      "name": "kernel-product-probe-rejected.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/kernel-product-probe-rejected.log",
      "originalSha256": "35857d222dd961a429ecb7e1e02dc0a5292c07ae3713eb908c70f1fef33e83ea",
      "href": "/os-evidence/35857d222dd961a429ecb7e1e02dc0a5292c07ae3713eb908c70f1fef33e83ea.txt",
      "sha256": "35857d222dd961a429ecb7e1e02dc0a5292c07ae3713eb908c70f1fef33e83ea",
      "bytes": 791,
      "redacted": false
    },
    {
      "name": "mutant-dependency.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/mutant-dependency.log",
      "originalSha256": "919817f283f79d310465d4680caa422cdc4f69c601e3a5434d8b2703be71298a",
      "href": "/os-evidence/919817f283f79d310465d4680caa422cdc4f69c601e3a5434d8b2703be71298a.txt",
      "sha256": "919817f283f79d310465d4680caa422cdc4f69c601e3a5434d8b2703be71298a",
      "bytes": 1599,
      "redacted": false
    },
    {
      "name": "runtime.rs",
      "source": "reports/os-implementation/K641-K659-5qb6G5/mutant-dependency/os-runtime-services/src/runtime.rs",
      "originalSha256": "686d64ea7efff66e60104f8b789a2fbcc4f7470c9a1b43d7236e9e1da9df182e",
      "href": "/os-evidence/686d64ea7efff66e60104f8b789a2fbcc4f7470c9a1b43d7236e9e1da9df182e.txt",
      "sha256": "686d64ea7efff66e60104f8b789a2fbcc4f7470c9a1b43d7236e9e1da9df182e",
      "bytes": 16789,
      "redacted": false
    },
    {
      "name": "mutant-duplicate.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/mutant-duplicate.log",
      "originalSha256": "b390e17854ba7f05164c1b1bef18f28872017993930fc91b162a1929f4e02b00",
      "href": "/os-evidence/b390e17854ba7f05164c1b1bef18f28872017993930fc91b162a1929f4e02b00.txt",
      "sha256": "b390e17854ba7f05164c1b1bef18f28872017993930fc91b162a1929f4e02b00",
      "bytes": 1862,
      "redacted": false
    },
    {
      "name": "runtime.rs",
      "source": "reports/os-implementation/K641-K659-5qb6G5/mutant-duplicate/os-runtime-services/src/runtime.rs",
      "originalSha256": "5b18ee333be23b61741779800eeff5e14d2781b9218a02f0913083a31bd7ede2",
      "href": "/os-evidence/5b18ee333be23b61741779800eeff5e14d2781b9218a02f0913083a31bd7ede2.txt",
      "sha256": "5b18ee333be23b61741779800eeff5e14d2781b9218a02f0913083a31bd7ede2",
      "bytes": 16817,
      "redacted": false
    },
    {
      "name": "mutant-product-probe.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/mutant-product-probe.log",
      "originalSha256": "0da16d1d5258f5350078b0a957ee71382c3d263e2db1b0fc255a35d0c5517685",
      "href": "/os-evidence/0da16d1d5258f5350078b0a957ee71382c3d263e2db1b0fc255a35d0c5517685.txt",
      "sha256": "0da16d1d5258f5350078b0a957ee71382c3d263e2db1b0fc255a35d0c5517685",
      "bytes": 1348,
      "redacted": false
    },
    {
      "name": "runtime.rs",
      "source": "reports/os-implementation/K641-K659-5qb6G5/mutant-product-probe/os-runtime-services/src/runtime.rs",
      "originalSha256": "a27270f86441ecbbbe1db7d0f5d46c88916cfdbe7f4617758f2a128bfadab9f9",
      "href": "/os-evidence/a27270f86441ecbbbe1db7d0f5d46c88916cfdbe7f4617758f2a128bfadab9f9.txt",
      "sha256": "a27270f86441ecbbbe1db7d0f5d46c88916cfdbe7f4617758f2a128bfadab9f9",
      "bytes": 16773,
      "redacted": false
    },
    {
      "name": "mutant-live-dma.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/mutant-live-dma.log",
      "originalSha256": "0b88be6a428927e6a890081c4e7f68c5490e1ea66a35abfdbcab67ee8946aecd",
      "href": "/os-evidence/0b88be6a428927e6a890081c4e7f68c5490e1ea66a35abfdbcab67ee8946aecd.txt",
      "sha256": "0b88be6a428927e6a890081c4e7f68c5490e1ea66a35abfdbcab67ee8946aecd",
      "bytes": 1350,
      "redacted": false
    },
    {
      "name": "runtime.rs",
      "source": "reports/os-implementation/K641-K659-5qb6G5/mutant-live-dma/os-runtime-services/src/runtime.rs",
      "originalSha256": "79bfbc33ecf0121e1a42eb305fb523eb25307d9250b28d3dba0d182f0e6d1e47",
      "href": "/os-evidence/79bfbc33ecf0121e1a42eb305fb523eb25307d9250b28d3dba0d182f0e6d1e47.txt",
      "sha256": "79bfbc33ecf0121e1a42eb305fb523eb25307d9250b28d3dba0d182f0e6d1e47",
      "bytes": 16799,
      "redacted": false
    },
    {
      "name": "mutant-live-irq.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/mutant-live-irq.log",
      "originalSha256": "f921387679486e3059b8eab984f1ebd6236d33e6ee71c221795d7517190e5463",
      "href": "/os-evidence/f921387679486e3059b8eab984f1ebd6236d33e6ee71c221795d7517190e5463.txt",
      "sha256": "f921387679486e3059b8eab984f1ebd6236d33e6ee71c221795d7517190e5463",
      "bytes": 1431,
      "redacted": false
    },
    {
      "name": "runtime.rs",
      "source": "reports/os-implementation/K641-K659-5qb6G5/mutant-live-irq/os-runtime-services/src/runtime.rs",
      "originalSha256": "d9805d970fe755b50bb74b155c1a17867b3a0ee670b1acaa3578b4e160f04d3e",
      "href": "/os-evidence/d9805d970fe755b50bb74b155c1a17867b3a0ee670b1acaa3578b4e160f04d3e.txt",
      "sha256": "d9805d970fe755b50bb74b155c1a17867b3a0ee670b1acaa3578b4e160f04d3e",
      "bytes": 16798,
      "redacted": false
    },
    {
      "name": "mutant-missing-return.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/mutant-missing-return.log",
      "originalSha256": "ec9e5b7b7ddee19766f1c3fc75029c7d03577ae0ecac282580dd142eebeddea7",
      "href": "/os-evidence/ec9e5b7b7ddee19766f1c3fc75029c7d03577ae0ecac282580dd142eebeddea7.txt",
      "sha256": "ec9e5b7b7ddee19766f1c3fc75029c7d03577ae0ecac282580dd142eebeddea7",
      "bytes": 1364,
      "redacted": false
    },
    {
      "name": "runtime.rs",
      "source": "reports/os-implementation/K641-K659-5qb6G5/mutant-missing-return/os-runtime-services/src/runtime.rs",
      "originalSha256": "5bd75c6e0d672ca1a16b05238a3c4474d507037711acc0705fd9a8c527770f6a",
      "href": "/os-evidence/5bd75c6e0d672ca1a16b05238a3c4474d507037711acc0705fd9a8c527770f6a.txt",
      "sha256": "5bd75c6e0d672ca1a16b05238a3c4474d507037711acc0705fd9a8c527770f6a",
      "bytes": 16782,
      "redacted": false
    },
    {
      "name": "mutant-failed-publication.log",
      "source": "reports/os-implementation/K641-K659-5qb6G5/mutant-failed-publication.log",
      "originalSha256": "a65de7201f6693395de3d1033457056640b8b3383398f9784e954bbb3c9ac89c",
      "href": "/os-evidence/a65de7201f6693395de3d1033457056640b8b3383398f9784e954bbb3c9ac89c.txt",
      "sha256": "a65de7201f6693395de3d1033457056640b8b3383398f9784e954bbb3c9ac89c",
      "bytes": 1327,
      "redacted": false
    },
    {
      "name": "runtime.rs",
      "source": "reports/os-implementation/K641-K659-5qb6G5/mutant-failed-publication/os-runtime-services/src/runtime.rs",
      "originalSha256": "6383af60cd8753fa04c284ac7c9920475003065d75f7d81caaf48473b3f12a25",
      "href": "/os-evidence/6383af60cd8753fa04c284ac7c9920475003065d75f7d81caaf48473b3f12a25.txt",
      "sha256": "6383af60cd8753fa04c284ac7c9920475003065d75f7d81caaf48473b3f12a25",
      "bytes": 16847,
      "redacted": false
    }
  ],
  "moves": [
    "K641",
    "K642",
    "K643",
    "K644",
    "K646",
    "K647",
    "K648",
    "K649",
    "K651",
    "K652",
    "K653",
    "K654",
    "K656",
    "K657",
    "K658",
    "K659"
  ]
}