{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K861-K879-preparation-i9HtBB/report.json",
    "sha256": "dce9f6c43e9047100e80de9422704f3b62af5dba1c2afb6ff3c7679b823c68a3",
    "bytes": 33657
  },
  "status": null,
  "scope": "host-library-only",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "fmt.log",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/fmt.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "integration.log",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/integration.log",
      "originalSha256": "2d4703ce416f2d54b095a9a9e820a1b73993e63a58de7fbaa1bb0cfbb5c42693",
      "href": "/os-evidence/2d4703ce416f2d54b095a9a9e820a1b73993e63a58de7fbaa1bb0cfbb5c42693.txt",
      "sha256": "2d4703ce416f2d54b095a9a9e820a1b73993e63a58de7fbaa1bb0cfbb5c42693",
      "bytes": 1695,
      "redacted": false
    },
    {
      "name": "read.log",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/read.log",
      "originalSha256": "d9b4387ea39984efb1a6ef1712c356e79e39dd6c88b628104f83c560e8d2f51c",
      "href": "/os-evidence/d9b4387ea39984efb1a6ef1712c356e79e39dd6c88b628104f83c560e8d2f51c.txt",
      "sha256": "d9b4387ea39984efb1a6ef1712c356e79e39dd6c88b628104f83c560e8d2f51c",
      "bytes": 441,
      "redacted": false
    },
    {
      "name": "write.log",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/write.log",
      "originalSha256": "a53d75213bb3c193bbc56328ce9f0eac229aca88e65178068d84b40046764f38",
      "href": "/os-evidence/a53d75213bb3c193bbc56328ce9f0eac229aca88e65178068d84b40046764f38.txt",
      "sha256": "a53d75213bb3c193bbc56328ce9f0eac229aca88e65178068d84b40046764f38",
      "bytes": 443,
      "redacted": false
    },
    {
      "name": "strings.log",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/strings.log",
      "originalSha256": "41a6b79f2cb0f6e91b6a4c1624ce2050a55ba113b1e99eb235f86aeba8e1e812",
      "href": "/os-evidence/41a6b79f2cb0f6e91b6a4c1624ce2050a55ba113b1e99eb235f86aeba8e1e812.txt",
      "sha256": "41a6b79f2cb0f6e91b6a4c1624ce2050a55ba113b1e99eb235f86aeba8e1e812",
      "bytes": 447,
      "redacted": false
    },
    {
      "name": "race.log",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/race.log",
      "originalSha256": "b289931e041aff1b006a20f1f7405c529666a1eb7aa6361e375725a54da75a0f",
      "href": "/os-evidence/b289931e041aff1b006a20f1f7405c529666a1eb7aa6361e375725a54da75a0f.txt",
      "sha256": "b289931e041aff1b006a20f1f7405c529666a1eb7aa6361e375725a54da75a0f",
      "bytes": 441,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/arm64.log",
      "originalSha256": "ab2f43d09287f8b2da5fd3603298459d62f76a221835771c7797c21dcea7fd79",
      "href": "/os-evidence/ab2f43d09287f8b2da5fd3603298459d62f76a221835771c7797c21dcea7fd79.txt",
      "sha256": "ab2f43d09287f8b2da5fd3603298459d62f76a221835771c7797c21dcea7fd79",
      "bytes": 267,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/clippy.log",
      "originalSha256": "12af7493c539e2b5c62047e4d048d66de0118cdf0fec6fdb76ee3991d27035d9",
      "href": "/os-evidence/12af7493c539e2b5c62047e4d048d66de0118cdf0fec6fdb76ee3991d27035d9.txt",
      "sha256": "12af7493c539e2b5c62047e4d048d66de0118cdf0fec6fdb76ee3991d27035d9",
      "bytes": 267,
      "redacted": false
    },
    {
      "name": "mutant-read-prefix-before-fault.log",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-read-prefix-before-fault.log",
      "originalSha256": "505f4543ae883d64f69c4d75bfc3d11f9be072f1aa5ea947377a5b208825e70b",
      "href": "/os-evidence/505f4543ae883d64f69c4d75bfc3d11f9be072f1aa5ea947377a5b208825e70b.txt",
      "sha256": "505f4543ae883d64f69c4d75bfc3d11f9be072f1aa5ea947377a5b208825e70b",
      "bytes": 1056,
      "redacted": false
    },
    {
      "name": "user_copy.rs",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-read-prefix-before-fault/os-user-copy/src/user_copy.rs",
      "originalSha256": "2c719717a6ebd34d83ce3eb5590c636bc5666e29c722c519a3156f59e5c6a098",
      "href": "/os-evidence/2c719717a6ebd34d83ce3eb5590c636bc5666e29c722c519a3156f59e5c6a098.txt",
      "sha256": "2c719717a6ebd34d83ce3eb5590c636bc5666e29c722c519a3156f59e5c6a098",
      "bytes": 10564,
      "redacted": false
    },
    {
      "name": "mutant-write-prefix-before-permission-fault.log",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-write-prefix-before-permission-fault.log",
      "originalSha256": "8c3cb59a50c4e757e278819815d20678ca9010c2fadb12ba8958cccd47bee971",
      "href": "/os-evidence/8c3cb59a50c4e757e278819815d20678ca9010c2fadb12ba8958cccd47bee971.txt",
      "sha256": "8c3cb59a50c4e757e278819815d20678ca9010c2fadb12ba8958cccd47bee971",
      "bytes": 747438,
      "redacted": false
    },
    {
      "name": "user_copy.rs",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-write-prefix-before-permission-fault/os-user-copy/src/user_copy.rs",
      "originalSha256": "2183b629f0df1bfa99c23e9bbe4e9e549ecea006eb162af2c42e11074387cde3",
      "href": "/os-evidence/2183b629f0df1bfa99c23e9bbe4e9e549ecea006eb162af2c42e11074387cde3.txt",
      "sha256": "2183b629f0df1bfa99c23e9bbe4e9e549ecea006eb162af2c42e11074387cde3",
      "bytes": 10555,
      "redacted": false
    },
    {
      "name": "mutant-rx-write-permission.log",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-rx-write-permission.log",
      "originalSha256": "b821407cc2186728376cdcfd749c24fe29277e9e38e68c41496d76e73821a1a1",
      "href": "/os-evidence/b821407cc2186728376cdcfd749c24fe29277e9e38e68c41496d76e73821a1a1.txt",
      "sha256": "b821407cc2186728376cdcfd749c24fe29277e9e38e68c41496d76e73821a1a1",
      "bytes": 1068,
      "redacted": false
    },
    {
      "name": "user_copy.rs",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-rx-write-permission/os-user-copy/src/user_copy.rs",
      "originalSha256": "fa2000935d7097eb6c5da9368614b2854d305eccd02d13249d5cb9f9c833359f",
      "href": "/os-evidence/fa2000935d7097eb6c5da9368614b2854d305eccd02d13249d5cb9f9c833359f.txt",
      "sha256": "fa2000935d7097eb6c5da9368614b2854d305eccd02d13249d5cb9f9c833359f",
      "bytes": 10297,
      "redacted": false
    },
    {
      "name": "mutant-kernel-pointer.log",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-kernel-pointer.log",
      "originalSha256": "0883e206de47b13abdc97d23006e7eb7878e3c55ebf53adce2ebe90073351f63",
      "href": "/os-evidence/0883e206de47b13abdc97d23006e7eb7878e3c55ebf53adce2ebe90073351f63.txt",
      "sha256": "0883e206de47b13abdc97d23006e7eb7878e3c55ebf53adce2ebe90073351f63",
      "bytes": 1163,
      "redacted": false
    },
    {
      "name": "user_copy.rs",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-kernel-pointer/os-user-copy/src/user_copy.rs",
      "originalSha256": "fefaeba9e4ee9a4557d08d215d39fe910702e4f7b1ca1d57710f32e8f9a31f23",
      "href": "/os-evidence/fefaeba9e4ee9a4557d08d215d39fe910702e4f7b1ca1d57710f32e8f9a31f23.txt",
      "sha256": "fefaeba9e4ee9a4557d08d215d39fe910702e4f7b1ca1d57710f32e8f9a31f23",
      "bytes": 10264,
      "redacted": false
    },
    {
      "name": "mutant-forgotten-copy-pin.log",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-forgotten-copy-pin.log",
      "originalSha256": "d3432fb4111a08c5a885875da71f209edeeaa90bf7e96f6bda3369b4564afcd8",
      "href": "/os-evidence/d3432fb4111a08c5a885875da71f209edeeaa90bf7e96f6bda3369b4564afcd8.txt",
      "sha256": "d3432fb4111a08c5a885875da71f209edeeaa90bf7e96f6bda3369b4564afcd8",
      "bytes": 1491,
      "redacted": false
    },
    {
      "name": "user_copy.rs",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-forgotten-copy-pin/os-user-copy/src/user_copy.rs",
      "originalSha256": "232e927f21de34d4ea36454fa4e9cf481ddad85c400b08cf77a631ba0a05adb4",
      "href": "/os-evidence/232e927f21de34d4ea36454fa4e9cf481ddad85c400b08cf77a631ba0a05adb4.txt",
      "sha256": "232e927f21de34d4ea36454fa4e9cf481ddad85c400b08cf77a631ba0a05adb4",
      "bytes": 10216,
      "redacted": false
    },
    {
      "name": "mutant-wrong-byte-offset.log",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-wrong-byte-offset.log",
      "originalSha256": "80aa1d1c453c85893863472f077572b7faf64d12c8c31529eb57d97b66122a02",
      "href": "/os-evidence/80aa1d1c453c85893863472f077572b7faf64d12c8c31529eb57d97b66122a02.txt",
      "sha256": "80aa1d1c453c85893863472f077572b7faf64d12c8c31529eb57d97b66122a02",
      "bytes": 75755,
      "redacted": false
    },
    {
      "name": "user_copy.rs",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-wrong-byte-offset/os-user-copy/src/user_copy.rs",
      "originalSha256": "3e3c82b36264e399417210979c14373cef9a8676cad539786d9203d39e461bbb",
      "href": "/os-evidence/3e3c82b36264e399417210979c14373cef9a8676cad539786d9203d39e461bbb.txt",
      "sha256": "3e3c82b36264e399417210979c14373cef9a8676cad539786d9203d39e461bbb",
      "bytes": 10286,
      "redacted": false
    },
    {
      "name": "mutant-string-prefix-publication.log",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-string-prefix-publication.log",
      "originalSha256": "75c4a2ed83b07c52f761eec7a344ab03163f3050ee992055411a9c1ad89b6067",
      "href": "/os-evidence/75c4a2ed83b07c52f761eec7a344ab03163f3050ee992055411a9c1ad89b6067.txt",
      "sha256": "75c4a2ed83b07c52f761eec7a344ab03163f3050ee992055411a9c1ad89b6067",
      "bytes": 1483,
      "redacted": false
    },
    {
      "name": "user_copy.rs",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-string-prefix-publication/os-user-copy/src/user_copy.rs",
      "originalSha256": "b396b219c32c9268b3cd8b60dc03f8e2d289a1fc585cea9a1ffcd6031c64ce7c",
      "href": "/os-evidence/b396b219c32c9268b3cd8b60dc03f8e2d289a1fc585cea9a1ffcd6031c64ce7c.txt",
      "sha256": "b396b219c32c9268b3cd8b60dc03f8e2d289a1fc585cea9a1ffcd6031c64ce7c",
      "bytes": 10440,
      "redacted": false
    },
    {
      "name": "mutant-missing-name-too-long.log",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-missing-name-too-long.log",
      "originalSha256": "124d747ac4beb892843a066dc3708fb78b40fd07bc74e1ddae3c6fffa1b5976c",
      "href": "/os-evidence/124d747ac4beb892843a066dc3708fb78b40fd07bc74e1ddae3c6fffa1b5976c.txt",
      "sha256": "124d747ac4beb892843a066dc3708fb78b40fd07bc74e1ddae3c6fffa1b5976c",
      "bytes": 1072,
      "redacted": false
    },
    {
      "name": "user_copy.rs",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-missing-name-too-long/os-user-copy/src/user_copy.rs",
      "originalSha256": "08c2708122d0dd6c20710a02be6f4fc49c90449612330545e263ad7e5f08dbf6",
      "href": "/os-evidence/08c2708122d0dd6c20710a02be6f4fc49c90449612330545e263ad7e5f08dbf6.txt",
      "sha256": "08c2708122d0dd6c20710a02be6f4fc49c90449612330545e263ad7e5f08dbf6",
      "bytes": 10282,
      "redacted": false
    },
    {
      "name": "mutant-unbounded-copy.log",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-unbounded-copy.log",
      "originalSha256": "c821fff514d414b39aed14c84bcc0cb88760ec6a3760a17cc2cb271a7b0d56c8",
      "href": "/os-evidence/c821fff514d414b39aed14c84bcc0cb88760ec6a3760a17cc2cb271a7b0d56c8.txt",
      "sha256": "c821fff514d414b39aed14c84bcc0cb88760ec6a3760a17cc2cb271a7b0d56c8",
      "bytes": 1150,
      "redacted": false
    },
    {
      "name": "user_copy.rs",
      "source": "reports/os-implementation/K861-K879-preparation-i9HtBB/mutant-unbounded-copy/os-user-copy/src/user_copy.rs",
      "originalSha256": "f45a185cbd8ac9d8c192f464cd133dd60a51a98ab432d8f3daaab2defab6e9a8",
      "href": "/os-evidence/f45a185cbd8ac9d8c192f464cd133dd60a51a98ab432d8f3daaab2defab6e9a8.txt",
      "sha256": "f45a185cbd8ac9d8c192f464cd133dd60a51a98ab432d8f3daaab2defab6e9a8",
      "bytes": 10286,
      "redacted": false
    }
  ],
  "moves": [
    "K861",
    "K862",
    "K863",
    "K864",
    "K866",
    "K867",
    "K868",
    "K869",
    "K871",
    "K872",
    "K873",
    "K874",
    "K876",
    "K877",
    "K878",
    "K879"
  ]
}