{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/report.json",
    "sha256": "c40c07bc2d942585e5d34407f6ac94df88b1a6c90dc854dbfc13a840043824c8",
    "bytes": 55243
  },
  "status": "HOST_PREPARED",
  "scope": "host-library-only",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "fmt.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/fmt.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "integration.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/integration.log",
      "originalSha256": "59aea623d7c3683948344105838de693966b9a41899a1c576e2d594e942bf822",
      "href": "/os-evidence/59aea623d7c3683948344105838de693966b9a41899a1c576e2d594e942bf822.txt",
      "sha256": "59aea623d7c3683948344105838de693966b9a41899a1c576e2d594e942bf822",
      "bytes": 1768,
      "redacted": false
    },
    {
      "name": "unit.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/unit.log",
      "originalSha256": "a292b1ad73c5642c61cce03a8b31777265a053cc7756fb8fe25963f1bb8a186c",
      "href": "/os-evidence/a292b1ad73c5642c61cce03a8b31777265a053cc7756fb8fe25963f1bb8a186c.txt",
      "sha256": "a292b1ad73c5642c61cce03a8b31777265a053cc7756fb8fe25963f1bb8a186c",
      "bytes": 818,
      "redacted": false
    },
    {
      "name": "identity-positive.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/identity-positive.log",
      "originalSha256": "aeaad95da8a1d3ca0553dab76838a294a5fd871920a826eba418c37c14c8343e",
      "href": "/os-evidence/aeaad95da8a1d3ca0553dab76838a294a5fd871920a826eba418c37c14c8343e.txt",
      "sha256": "aeaad95da8a1d3ca0553dab76838a294a5fd871920a826eba418c37c14c8343e",
      "bytes": 399,
      "redacted": false
    },
    {
      "name": "identity-negative.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/identity-negative.log",
      "originalSha256": "e7ee9120b0d177d326a4ddd89b685b061f433941317f536614f2cddeaa86a502",
      "href": "/os-evidence/e7ee9120b0d177d326a4ddd89b685b061f433941317f536614f2cddeaa86a502.txt",
      "sha256": "e7ee9120b0d177d326a4ddd89b685b061f433941317f536614f2cddeaa86a502",
      "bytes": 399,
      "redacted": false
    },
    {
      "name": "stacks-positive.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/stacks-positive.log",
      "originalSha256": "fdb8486951d9ef3e06966c3a0bea69fadbc2419d14874560ec37090d7fb85226",
      "href": "/os-evidence/fdb8486951d9ef3e06966c3a0bea69fadbc2419d14874560ec37090d7fb85226.txt",
      "sha256": "fdb8486951d9ef3e06966c3a0bea69fadbc2419d14874560ec37090d7fb85226",
      "bytes": 397,
      "redacted": false
    },
    {
      "name": "stacks-negative.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/stacks-negative.log",
      "originalSha256": "370903401068af1460c822da98e1aa5f8f0b508a4218afdd79ea6fcfd2ba55e7",
      "href": "/os-evidence/370903401068af1460c822da98e1aa5f8f0b508a4218afdd79ea6fcfd2ba55e7.txt",
      "sha256": "370903401068af1460c822da98e1aa5f8f0b508a4218afdd79ea6fcfd2ba55e7",
      "bytes": 397,
      "redacted": false
    },
    {
      "name": "states-positive.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/states-positive.log",
      "originalSha256": "28229fa7cb3c773acffa40678c0a78203498fdd5956a05f27c1f770731c40972",
      "href": "/os-evidence/28229fa7cb3c773acffa40678c0a78203498fdd5956a05f27c1f770731c40972.txt",
      "sha256": "28229fa7cb3c773acffa40678c0a78203498fdd5956a05f27c1f770731c40972",
      "bytes": 397,
      "redacted": false
    },
    {
      "name": "states-negative.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/states-negative.log",
      "originalSha256": "f9e884568d17730872baf3f0ef148cbae0a43c422abe636d5823b11ff2fd719b",
      "href": "/os-evidence/f9e884568d17730872baf3f0ef148cbae0a43c422abe636d5823b11ff2fd719b.txt",
      "sha256": "f9e884568d17730872baf3f0ef148cbae0a43c422abe636d5823b11ff2fd719b",
      "bytes": 397,
      "redacted": false
    },
    {
      "name": "retire-positive.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/retire-positive.log",
      "originalSha256": "124c0ea15e9d17603745b73a996b3c299e2e11bfd6c3750c61cafcb217616f64",
      "href": "/os-evidence/124c0ea15e9d17603745b73a996b3c299e2e11bfd6c3750c61cafcb217616f64.txt",
      "sha256": "124c0ea15e9d17603745b73a996b3c299e2e11bfd6c3750c61cafcb217616f64",
      "bytes": 397,
      "redacted": false
    },
    {
      "name": "retire-negative.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/retire-negative.log",
      "originalSha256": "abf2261aa72fa646c23aafbecf7e5bb86a0ba4bb61e89994f371eb95a7fa99f7",
      "href": "/os-evidence/abf2261aa72fa646c23aafbecf7e5bb86a0ba4bb61e89994f371eb95a7fa99f7.txt",
      "sha256": "abf2261aa72fa646c23aafbecf7e5bb86a0ba4bb61e89994f371eb95a7fa99f7",
      "bytes": 397,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/arm64.log",
      "originalSha256": "0d0217af28643dcf1aa13dcc0e51135e4fa752f86e4104a8e912e82c43daa505",
      "href": "/os-evidence/0d0217af28643dcf1aa13dcc0e51135e4fa752f86e4104a8e912e82c43daa505.txt",
      "sha256": "0d0217af28643dcf1aa13dcc0e51135e4fa752f86e4104a8e912e82c43daa505",
      "bytes": 133,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/clippy.log",
      "originalSha256": "c4d3842044f3bec385d5e25fbb1f70f340b0a2e0d158f6c55c25b9e6c279256d",
      "href": "/os-evidence/c4d3842044f3bec385d5e25fbb1f70f340b0a2e0d158f6c55c25b9e6c279256d.txt",
      "sha256": "c4d3842044f3bec385d5e25fbb1f70f340b0a2e0d158f6c55c25b9e6c279256d",
      "bytes": 133,
      "redacted": false
    },
    {
      "name": "mutant-foreign-table.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-foreign-table.log",
      "originalSha256": "381494a62fea9fa1d1a4ece8a556e3aa28c90fab4f2520b63c466bef1d7c0854",
      "href": "/os-evidence/381494a62fea9fa1d1a4ece8a556e3aa28c90fab4f2520b63c466bef1d7c0854.txt",
      "sha256": "381494a62fea9fa1d1a4ece8a556e3aa28c90fab4f2520b63c466bef1d7c0854",
      "bytes": 1009,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-foreign-table/os-threads/src/threads.rs",
      "originalSha256": "d28dd4b4443542a391f615ca6375ed10f07fe5608db4bf27d54c560ffe7e6e09",
      "href": "/os-evidence/d28dd4b4443542a391f615ca6375ed10f07fe5608db4bf27d54c560ffe7e6e09.txt",
      "sha256": "d28dd4b4443542a391f615ca6375ed10f07fe5608db4bf27d54c560ffe7e6e09",
      "bytes": 20407,
      "redacted": false
    },
    {
      "name": "mutant-stale-generation.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-stale-generation.log",
      "originalSha256": "73bc8ba47336aee67c359978d8ca58ffc20eba7274b362e2d1a9a6af34971730",
      "href": "/os-evidence/73bc8ba47336aee67c359978d8ca58ffc20eba7274b362e2d1a9a6af34971730.txt",
      "sha256": "73bc8ba47336aee67c359978d8ca58ffc20eba7274b362e2d1a9a6af34971730",
      "bytes": 904,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-stale-generation/os-threads/src/threads.rs",
      "originalSha256": "2efbecdd4906ff97b16d329faa6eb09f7264b2a355ada7d17eea1fa7681284ac",
      "href": "/os-evidence/2efbecdd4906ff97b16d329faa6eb09f7264b2a355ada7d17eea1fa7681284ac.txt",
      "sha256": "2efbecdd4906ff97b16d329faa6eb09f7264b2a355ada7d17eea1fa7681284ac",
      "bytes": 20400,
      "redacted": false
    },
    {
      "name": "mutant-generation-erased-on-reap.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-generation-erased-on-reap.log",
      "originalSha256": "172aa9ff37dba9eafac382791d0cbf759ba92b9939ecc68362d1fefa6d95207f",
      "href": "/os-evidence/172aa9ff37dba9eafac382791d0cbf759ba92b9939ecc68362d1fefa6d95207f.txt",
      "sha256": "172aa9ff37dba9eafac382791d0cbf759ba92b9939ecc68362d1fefa6d95207f",
      "bytes": 930,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-generation-erased-on-reap/os-threads/src/threads.rs",
      "originalSha256": "64058dacde0851a3e533c07ea8eba87e217b3b502aa1688711a12c8959c915f5",
      "href": "/os-evidence/64058dacde0851a3e533c07ea8eba87e217b3b502aa1688711a12c8959c915f5.txt",
      "sha256": "64058dacde0851a3e533c07ea8eba87e217b3b502aa1688711a12c8959c915f5",
      "bytes": 20413,
      "redacted": false
    },
    {
      "name": "mutant-retired-slot-selected.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-retired-slot-selected.log",
      "originalSha256": "ae921329e5543c6889de279edad4724b26a9f7a14e5db83eee5271ba284428e1",
      "href": "/os-evidence/ae921329e5543c6889de279edad4724b26a9f7a14e5db83eee5271ba284428e1.txt",
      "sha256": "ae921329e5543c6889de279edad4724b26a9f7a14e5db83eee5271ba284428e1",
      "bytes": 1068,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-retired-slot-selected/os-threads/src/threads.rs",
      "originalSha256": "43b4338056051057895254376f2f522f622953fa580201c9e9d999afb1bedfa4",
      "href": "/os-evidence/43b4338056051057895254376f2f522f622953fa580201c9e9d999afb1bedfa4.txt",
      "sha256": "43b4338056051057895254376f2f522f622953fa580201c9e9d999afb1bedfa4",
      "bytes": 20408,
      "redacted": false
    },
    {
      "name": "mutant-shared-physical.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-shared-physical.log",
      "originalSha256": "835e5823aa80e9c190cd1a1a81d0f2dc6bdc75aecdb09eab4997560ef7e84260",
      "href": "/os-evidence/835e5823aa80e9c190cd1a1a81d0f2dc6bdc75aecdb09eab4997560ef7e84260.txt",
      "sha256": "835e5823aa80e9c190cd1a1a81d0f2dc6bdc75aecdb09eab4997560ef7e84260",
      "bytes": 930,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-shared-physical/os-threads/src/threads.rs",
      "originalSha256": "15cf63dc8fd10d2b261ad1abf5297a60b7273d45850c5f4334a497d86fa4c151",
      "href": "/os-evidence/15cf63dc8fd10d2b261ad1abf5297a60b7273d45850c5f4334a497d86fa4c151.txt",
      "sha256": "15cf63dc8fd10d2b261ad1abf5297a60b7273d45850c5f4334a497d86fa4c151",
      "bytes": 20334,
      "redacted": false
    },
    {
      "name": "mutant-shared-virtual.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-shared-virtual.log",
      "originalSha256": "b9b29079e7140ce62fb45e5f93bf953d9accc94f4909bd061c8f20a2d70532e7",
      "href": "/os-evidence/b9b29079e7140ce62fb45e5f93bf953d9accc94f4909bd061c8f20a2d70532e7.txt",
      "sha256": "b9b29079e7140ce62fb45e5f93bf953d9accc94f4909bd061c8f20a2d70532e7",
      "bytes": 928,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-shared-virtual/os-threads/src/threads.rs",
      "originalSha256": "4bd87c0bd46f5e882345c22b2334c8276ae5ee648233bda031d52731e276e0c8",
      "href": "/os-evidence/4bd87c0bd46f5e882345c22b2334c8276ae5ee648233bda031d52731e276e0c8.txt",
      "sha256": "4bd87c0bd46f5e882345c22b2334c8276ae5ee648233bda031d52731e276e0c8",
      "bytes": 20360,
      "redacted": false
    },
    {
      "name": "mutant-active-candidate-zeroed.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-active-candidate-zeroed.log",
      "originalSha256": "f68266152d7cf5b680f6921daaccead1987ac8b186fe393fa6347fbef84ff8fe",
      "href": "/os-evidence/f68266152d7cf5b680f6921daaccead1987ac8b186fe393fa6347fbef84ff8fe.txt",
      "sha256": "f68266152d7cf5b680f6921daaccead1987ac8b186fe393fa6347fbef84ff8fe",
      "bytes": 1412,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-active-candidate-zeroed/os-threads/src/threads.rs",
      "originalSha256": "e5c495dd918ebbda7d6cf141cd4b700fc7f1ccffa2df3983362936a4ec70d933",
      "href": "/os-evidence/e5c495dd918ebbda7d6cf141cd4b700fc7f1ccffa2df3983362936a4ec70d933.txt",
      "sha256": "e5c495dd918ebbda7d6cf141cd4b700fc7f1ccffa2df3983362936a4ec70d933",
      "bytes": 20414,
      "redacted": false
    },
    {
      "name": "mutant-self-stack-reaped.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-self-stack-reaped.log",
      "originalSha256": "a9616a493a0a9693413e33d2599b56fd57701f5f710e3e54e34d30c1602f534b",
      "href": "/os-evidence/a9616a493a0a9693413e33d2599b56fd57701f5f710e3e54e34d30c1602f534b.txt",
      "sha256": "a9616a493a0a9693413e33d2599b56fd57701f5f710e3e54e34d30c1602f534b",
      "bytes": 1336,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-self-stack-reaped/os-threads/src/threads.rs",
      "originalSha256": "f8330c12c481e8de1f6925d00f2ec1902b3ad2fbdc233920fd1c0257db39632b",
      "href": "/os-evidence/f8330c12c481e8de1f6925d00f2ec1902b3ad2fbdc233920fd1c0257db39632b.txt",
      "sha256": "f8330c12c481e8de1f6925d00f2ec1902b3ad2fbdc233920fd1c0257db39632b",
      "bytes": 20396,
      "redacted": false
    },
    {
      "name": "mutant-running-stack-reaped.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-running-stack-reaped.log",
      "originalSha256": "b55be5832672e9ce2d064d33db83d66c1dc991b424e44b3d6c2c6f7ef5386f7a",
      "href": "/os-evidence/b55be5832672e9ce2d064d33db83d66c1dc991b424e44b3d6c2c6f7ef5386f7a.txt",
      "sha256": "b55be5832672e9ce2d064d33db83d66c1dc991b424e44b3d6c2c6f7ef5386f7a",
      "bytes": 922,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-running-stack-reaped/os-threads/src/threads.rs",
      "originalSha256": "47989620655fe428fb4d899a71c6491685374e0ca27decdcf884d8baba5952de",
      "href": "/os-evidence/47989620655fe428fb4d899a71c6491685374e0ca27decdcf884d8baba5952de.txt",
      "sha256": "47989620655fe428fb4d899a71c6491685374e0ca27decdcf884d8baba5952de",
      "bytes": 20403,
      "redacted": false
    },
    {
      "name": "mutant-stack-guard-ignored.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-stack-guard-ignored.log",
      "originalSha256": "308be36097457723f6d7090cae700171ea3ca1dc8dd17ae82734f477160cbf43",
      "href": "/os-evidence/308be36097457723f6d7090cae700171ea3ca1dc8dd17ae82734f477160cbf43.txt",
      "sha256": "308be36097457723f6d7090cae700171ea3ca1dc8dd17ae82734f477160cbf43",
      "bytes": 1061,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-stack-guard-ignored/os-threads/src/threads.rs",
      "originalSha256": "4b1da5f1a1bf6b0e8c02712a68e595c1841452f1065439ccb417c7fc759b2055",
      "href": "/os-evidence/4b1da5f1a1bf6b0e8c02712a68e595c1841452f1065439ccb417c7fc759b2055.txt",
      "sha256": "4b1da5f1a1bf6b0e8c02712a68e595c1841452f1065439ccb417c7fc759b2055",
      "bytes": 20413,
      "redacted": false
    },
    {
      "name": "mutant-canaries-ignored.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-canaries-ignored.log",
      "originalSha256": "e7080c2f914f21e81875f4b921121035d42423da08bfc7a8c8c0bb7670f36618",
      "href": "/os-evidence/e7080c2f914f21e81875f4b921121035d42423da08bfc7a8c8c0bb7670f36618.txt",
      "sha256": "e7080c2f914f21e81875f4b921121035d42423da08bfc7a8c8c0bb7670f36618",
      "bytes": 1193,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-canaries-ignored/os-threads/src/threads.rs",
      "originalSha256": "eb76821f6a51c1462217131609b3bcfe06f4b5484436c3207e0f0949bbeb1a02",
      "href": "/os-evidence/eb76821f6a51c1462217131609b3bcfe06f4b5484436c3207e0f0949bbeb1a02.txt",
      "sha256": "eb76821f6a51c1462217131609b3bcfe06f4b5484436c3207e0f0949bbeb1a02",
      "bytes": 20373,
      "redacted": false
    },
    {
      "name": "mutant-initial-full-zero-ignored.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-initial-full-zero-ignored.log",
      "originalSha256": "21833ea7187754b59b9c308f7da2ea531e89cb684d021f9033641c15c774bc73",
      "href": "/os-evidence/21833ea7187754b59b9c308f7da2ea531e89cb684d021f9033641c15c774bc73.txt",
      "sha256": "21833ea7187754b59b9c308f7da2ea531e89cb684d021f9033641c15c774bc73",
      "bytes": 1491,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-initial-full-zero-ignored/os-threads/src/threads.rs",
      "originalSha256": "e5fc4f8c8ab416c5f965fb50ac9a05a7e3bf6da0ca1735c49dc8aa364615a2bc",
      "href": "/os-evidence/e5fc4f8c8ab416c5f965fb50ac9a05a7e3bf6da0ca1735c49dc8aa364615a2bc.txt",
      "sha256": "e5fc4f8c8ab416c5f965fb50ac9a05a7e3bf6da0ca1735c49dc8aa364615a2bc",
      "bytes": 20406,
      "redacted": false
    },
    {
      "name": "mutant-publish-before-prepare.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-publish-before-prepare.log",
      "originalSha256": "482a0d6738e17ca2579ebd9df11c25a3d68881aee90b3d54f6b6ac523dd7d133",
      "href": "/os-evidence/482a0d6738e17ca2579ebd9df11c25a3d68881aee90b3d54f6b6ac523dd7d133.txt",
      "sha256": "482a0d6738e17ca2579ebd9df11c25a3d68881aee90b3d54f6b6ac523dd7d133",
      "bytes": 1025,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-publish-before-prepare/os-threads/src/threads.rs",
      "originalSha256": "0e789b0b47c4ddb16764de3975a81a5e3c6be9c3ed91324e5a53de51eb92a6b2",
      "href": "/os-evidence/0e789b0b47c4ddb16764de3975a81a5e3c6be9c3ed91324e5a53de51eb92a6b2.txt",
      "sha256": "0e789b0b47c4ddb16764de3975a81a5e3c6be9c3ed91324e5a53de51eb92a6b2",
      "bytes": 20484,
      "redacted": false
    },
    {
      "name": "mutant-release-failure-unquarantined.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-release-failure-unquarantined.log",
      "originalSha256": "47f30cfeef40ba7e360201e88614e827495c6e273d3ac0df84a3d48e368bf7d4",
      "href": "/os-evidence/47f30cfeef40ba7e360201e88614e827495c6e273d3ac0df84a3d48e368bf7d4.txt",
      "sha256": "47f30cfeef40ba7e360201e88614e827495c6e273d3ac0df84a3d48e368bf7d4",
      "bytes": 994,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-release-failure-unquarantined/os-threads/src/threads.rs",
      "originalSha256": "8a5f38720ca931be88c8493ecabc6a908538c2a76b286d7a1f046f6fbe6ffb52",
      "href": "/os-evidence/8a5f38720ca931be88c8493ecabc6a908538c2a76b286d7a1f046f6fbe6ffb52.txt",
      "sha256": "8a5f38720ca931be88c8493ecabc6a908538c2a76b286d7a1f046f6fbe6ffb52",
      "bytes": 20431,
      "redacted": false
    },
    {
      "name": "mutant-release-failure-owner-dropped.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-release-failure-owner-dropped.log",
      "originalSha256": "f50c0e8c9c9e31092df74ee719c0c166241cf579587e2a1fe2a4816fde6d5974",
      "href": "/os-evidence/f50c0e8c9c9e31092df74ee719c0c166241cf579587e2a1fe2a4816fde6d5974.txt",
      "sha256": "f50c0e8c9c9e31092df74ee719c0c166241cf579587e2a1fe2a4816fde6d5974",
      "bytes": 994,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-release-failure-owner-dropped/os-threads/src/threads.rs",
      "originalSha256": "600346482fc9b1b8a2167e8608c2423bf7aaf43549d15d705b416f6042fe21bc",
      "href": "/os-evidence/600346482fc9b1b8a2167e8608c2423bf7aaf43549d15d705b416f6042fe21bc.txt",
      "sha256": "600346482fc9b1b8a2167e8608c2423bf7aaf43549d15d705b416f6042fe21bc",
      "bytes": 20410,
      "redacted": false
    },
    {
      "name": "mutant-live-backend-returned.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-live-backend-returned.log",
      "originalSha256": "5cf062448e056a3dcdc6e03e0ed02932dbb689878bb794f6f3af4c7c7776637d",
      "href": "/os-evidence/5cf062448e056a3dcdc6e03e0ed02932dbb689878bb794f6f3af4c7c7776637d.txt",
      "sha256": "5cf062448e056a3dcdc6e03e0ed02932dbb689878bb794f6f3af4c7c7776637d",
      "bytes": 997,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-live-backend-returned/os-threads/src/threads.rs",
      "originalSha256": "cfb9955aba45733791ee2ba2089655f5542a59e3735cbc9f756338f585f27d9d",
      "href": "/os-evidence/cfb9955aba45733791ee2ba2089655f5542a59e3735cbc9f756338f585f27d9d.txt",
      "sha256": "cfb9955aba45733791ee2ba2089655f5542a59e3735cbc9f756338f585f27d9d",
      "bytes": 20390,
      "redacted": false
    },
    {
      "name": "mutant-context-mask-ignored.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-context-mask-ignored.log",
      "originalSha256": "8ecd86c12f09618a2052a681550832add8062b51af202aa2243e43e53f0afae6",
      "href": "/os-evidence/8ecd86c12f09618a2052a681550832add8062b51af202aa2243e43e53f0afae6.txt",
      "sha256": "8ecd86c12f09618a2052a681550832add8062b51af202aa2243e43e53f0afae6",
      "bytes": 1016,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-context-mask-ignored/os-threads/src/threads.rs",
      "originalSha256": "f23b0978088fdd3db498076086aa9ff1891c0b1ca581a77e43e6ad7c69ab2734",
      "href": "/os-evidence/f23b0978088fdd3db498076086aa9ff1891c0b1ca581a77e43e6ad7c69ab2734.txt",
      "sha256": "f23b0978088fdd3db498076086aa9ff1891c0b1ca581a77e43e6ad7c69ab2734",
      "bytes": 20413,
      "redacted": false
    },
    {
      "name": "mutant-cpu-migration-ignored.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-cpu-migration-ignored.log",
      "originalSha256": "54edd9b6418a64a157afcca75709c31d502414e9aab4572822a7630dac9fdae3",
      "href": "/os-evidence/54edd9b6418a64a157afcca75709c31d502414e9aab4572822a7630dac9fdae3.txt",
      "sha256": "54edd9b6418a64a157afcca75709c31d502414e9aab4572822a7630dac9fdae3",
      "bytes": 1359,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-cpu-migration-ignored/os-threads/src/threads.rs",
      "originalSha256": "d5784ac5ae6f9252b8f57288ca12e667eced848da61063631c847cfab8610dc0",
      "href": "/os-evidence/d5784ac5ae6f9252b8f57288ca12e667eced848da61063631c847cfab8610dc0.txt",
      "sha256": "d5784ac5ae6f9252b8f57288ca12e667eced848da61063631c847cfab8610dc0",
      "bytes": 20418,
      "redacted": false
    },
    {
      "name": "mutant-irq-context-ignored.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-irq-context-ignored.log",
      "originalSha256": "94af34dba899c6661190c46b1c2598990c8781b61d11a4c0f06243b9f126e48a",
      "href": "/os-evidence/94af34dba899c6661190c46b1c2598990c8781b61d11a4c0f06243b9f126e48a.txt",
      "sha256": "94af34dba899c6661190c46b1c2598990c8781b61d11a4c0f06243b9f126e48a",
      "bytes": 1014,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-irq-context-ignored/os-threads/src/threads.rs",
      "originalSha256": "ac77ec88c2e329b7d92eff39f219a7f60d1598ae64eb96f1ac6c099eb6c576b8",
      "href": "/os-evidence/ac77ec88c2e329b7d92eff39f219a7f60d1598ae64eb96f1ac6c099eb6c576b8.txt",
      "sha256": "ac77ec88c2e329b7d92eff39f219a7f60d1598ae64eb96f1ac6c099eb6c576b8",
      "bytes": 20418,
      "redacted": false
    },
    {
      "name": "mutant-constructor-context-ignored.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-constructor-context-ignored.log",
      "originalSha256": "9ccf79cf71291ceee3145951ee8962d20783c70b7d544f77eb70b6574bae4418",
      "href": "/os-evidence/9ccf79cf71291ceee3145951ee8962d20783c70b7d544f77eb70b6574bae4418.txt",
      "sha256": "9ccf79cf71291ceee3145951ee8962d20783c70b7d544f77eb70b6574bae4418",
      "bytes": 1050,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-constructor-context-ignored/os-threads/src/threads.rs",
      "originalSha256": "198b32ea0399d45d2209bff7b33dea25666ee01091d1355e92975331c1dabc97",
      "href": "/os-evidence/198b32ea0399d45d2209bff7b33dea25666ee01091d1355e92975331c1dabc97.txt",
      "sha256": "198b32ea0399d45d2209bff7b33dea25666ee01091d1355e92975331c1dabc97",
      "bytes": 20404,
      "redacted": false
    },
    {
      "name": "mutant-entry-not-executable.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-entry-not-executable.log",
      "originalSha256": "9b3b7c80bc5443547e092950980b55c772821e5c45fb76530918ee740cb70e81",
      "href": "/os-evidence/9b3b7c80bc5443547e092950980b55c772821e5c45fb76530918ee740cb70e81.txt",
      "sha256": "9b3b7c80bc5443547e092950980b55c772821e5c45fb76530918ee740cb70e81",
      "bytes": 1066,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-entry-not-executable/os-threads/src/threads.rs",
      "originalSha256": "8412f0e986eb7099e8d31772bd9bdebe63e42fc09854453c2e3b6f31ab60c0c2",
      "href": "/os-evidence/8412f0e986eb7099e8d31772bd9bdebe63e42fc09854453c2e3b6f31ab60c0c2.txt",
      "sha256": "8412f0e986eb7099e8d31772bd9bdebe63e42fc09854453c2e3b6f31ab60c0c2",
      "bytes": 20404,
      "redacted": false
    },
    {
      "name": "mutant-too-small-stack.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-too-small-stack.log",
      "originalSha256": "ff7fa2927871b60a9340cfb58566aed3f0e9eae6e0182444a2b6d564e6cc6341",
      "href": "/os-evidence/ff7fa2927871b60a9340cfb58566aed3f0e9eae6e0182444a2b6d564e6cc6341.txt",
      "sha256": "ff7fa2927871b60a9340cfb58566aed3f0e9eae6e0182444a2b6d564e6cc6341",
      "bytes": 1056,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-too-small-stack/os-threads/src/threads.rs",
      "originalSha256": "4c69a323a05a9dfe2e69e60657ef30b2893c81314d0761a6c9dbe87a2a6da957",
      "href": "/os-evidence/4c69a323a05a9dfe2e69e60657ef30b2893c81314d0761a6c9dbe87a2a6da957.txt",
      "sha256": "4c69a323a05a9dfe2e69e60657ef30b2893c81314d0761a6c9dbe87a2a6da957",
      "bytes": 20432,
      "redacted": false
    },
    {
      "name": "mutant-initial-sp-crosses-canary.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-initial-sp-crosses-canary.log",
      "originalSha256": "1aaa1deefdbb8acf75f078223038b26c6660fd1ea83b1ab5371d7adb5293b903",
      "href": "/os-evidence/1aaa1deefdbb8acf75f078223038b26c6660fd1ea83b1ab5371d7adb5293b903.txt",
      "sha256": "1aaa1deefdbb8acf75f078223038b26c6660fd1ea83b1ab5371d7adb5293b903",
      "bytes": 926,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-initial-sp-crosses-canary/os-threads/src/threads.rs",
      "originalSha256": "7993bae7fb0c4df15e1446aa12de3aa8a6bc8d3c026ebe2575dd34d6e174f31b",
      "href": "/os-evidence/7993bae7fb0c4df15e1446aa12de3aa8a6bc8d3c026ebe2575dd34d6e174f31b.txt",
      "sha256": "7993bae7fb0c4df15e1446aa12de3aa8a6bc8d3c026ebe2575dd34d6e174f31b",
      "bytes": 20431,
      "redacted": false
    },
    {
      "name": "mutant-sleep-epoch-wrap.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-sleep-epoch-wrap.log",
      "originalSha256": "3931c8b46cad9c3c417d5c9b8bd86dc8b4db792338467c23713defec58a18647",
      "href": "/os-evidence/3931c8b46cad9c3c417d5c9b8bd86dc8b4db792338467c23713defec58a18647.txt",
      "sha256": "3931c8b46cad9c3c417d5c9b8bd86dc8b4db792338467c23713defec58a18647",
      "bytes": 1077,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-sleep-epoch-wrap/os-threads/src/threads.rs",
      "originalSha256": "f0296a4293b3ee4acb3d4adc05723e161d49f57c9f8f3967b22dc1c88caaf527",
      "href": "/os-evidence/f0296a4293b3ee4acb3d4adc05723e161d49f57c9f8f3967b22dc1c88caaf527.txt",
      "sha256": "f0296a4293b3ee4acb3d4adc05723e161d49f57c9f8f3967b22dc1c88caaf527",
      "bytes": 20386,
      "redacted": false
    },
    {
      "name": "mutant-stale-sleep-epoch.log",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-stale-sleep-epoch.log",
      "originalSha256": "2688efcacb741b123a455995e0a5770c2b60a36d2375f3c553054af61b8eed12",
      "href": "/os-evidence/2688efcacb741b123a455995e0a5770c2b60a36d2375f3c553054af61b8eed12.txt",
      "sha256": "2688efcacb741b123a455995e0a5770c2b60a36d2375f3c553054af61b8eed12",
      "bytes": 1057,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1001-K1019-preparation-Vy7GRN/mutant-stale-sleep-epoch/os-threads/src/threads.rs",
      "originalSha256": "09d195b8d77af0196f952639962efca40b639ace92214461f347e9b54234519d",
      "href": "/os-evidence/09d195b8d77af0196f952639962efca40b639ace92214461f347e9b54234519d.txt",
      "sha256": "09d195b8d77af0196f952639962efca40b639ace92214461f347e9b54234519d",
      "bytes": 20399,
      "redacted": false
    }
  ],
  "moves": [
    "K1001",
    "K1002",
    "K1003",
    "K1004",
    "K1006",
    "K1007",
    "K1008",
    "K1009",
    "K1011",
    "K1012",
    "K1013",
    "K1014",
    "K1016",
    "K1017",
    "K1018",
    "K1019"
  ]
}