{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K631-K634-LXwIFy/report.json",
    "sha256": "ff11a29337b73fa2b95081201b7344c8f7bc7d7861b268bd99840941ed831a12",
    "bytes": 17589
  },
  "status": null,
  "scope": "host-library-only",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "fmt.log",
      "source": "reports/os-implementation/K631-K634-LXwIFy/fmt.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host.log",
      "source": "reports/os-implementation/K631-K634-LXwIFy/host.log",
      "originalSha256": "71063b2e26bbdc880c485aa4ea2c7c69fba7821830bb3cc8c2720bdc106927e5",
      "href": "/os-evidence/71063b2e26bbdc880c485aa4ea2c7c69fba7821830bb3cc8c2720bdc106927e5.txt",
      "sha256": "71063b2e26bbdc880c485aa4ea2c7c69fba7821830bb3cc8c2720bdc106927e5",
      "bytes": 1388,
      "redacted": false
    },
    {
      "name": "positive.log",
      "source": "reports/os-implementation/K631-K634-LXwIFy/positive.log",
      "originalSha256": "cbaab701dcd7f1d88ef1c408c3a2158c598750d84139ce236085e2f57c6f80a2",
      "href": "/os-evidence/cbaab701dcd7f1d88ef1c408c3a2158c598750d84139ce236085e2f57c6f80a2.txt",
      "sha256": "cbaab701dcd7f1d88ef1c408c3a2158c598750d84139ce236085e2f57c6f80a2",
      "bytes": 380,
      "redacted": false
    },
    {
      "name": "negative.log",
      "source": "reports/os-implementation/K631-K634-LXwIFy/negative.log",
      "originalSha256": "adbbfc154eba2ca180c06e2fa34b5652b124386e712f4e9ce0277737bb25fedb",
      "href": "/os-evidence/adbbfc154eba2ca180c06e2fa34b5652b124386e712f4e9ce0277737bb25fedb.txt",
      "sha256": "adbbfc154eba2ca180c06e2fa34b5652b124386e712f4e9ce0277737bb25fedb",
      "bytes": 380,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K631-K634-LXwIFy/arm64.log",
      "originalSha256": "0b0791b89cef616e133caaed73d48d82f7f2b5975f010e71bd0f11e0a2e1a3b1",
      "href": "/os-evidence/0b0791b89cef616e133caaed73d48d82f7f2b5975f010e71bd0f11e0a2e1a3b1.txt",
      "sha256": "0b0791b89cef616e133caaed73d48d82f7f2b5975f010e71bd0f11e0a2e1a3b1",
      "bytes": 141,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K631-K634-LXwIFy/clippy.log",
      "originalSha256": "391b35749deeb7f39c6d23d9ce98d518f8516fa748175975fe594b509df1a4a1",
      "href": "/os-evidence/391b35749deeb7f39c6d23d9ce98d518f8516fa748175975fe594b509df1a4a1.txt",
      "sha256": "391b35749deeb7f39c6d23d9ce98d518f8516fa748175975fe594b509df1a4a1",
      "bytes": 141,
      "redacted": false
    },
    {
      "name": "mutant-ignore-alignment.log",
      "source": "reports/os-implementation/K631-K634-LXwIFy/mutant-ignore-alignment.log",
      "originalSha256": "45713c61bd41ffaa4f47dd3eaa52d59ad22eb5c928cfbad2838f60d98dc447ee",
      "href": "/os-evidence/45713c61bd41ffaa4f47dd3eaa52d59ad22eb5c928cfbad2838f60d98dc447ee.txt",
      "sha256": "45713c61bd41ffaa4f47dd3eaa52d59ad22eb5c928cfbad2838f60d98dc447ee",
      "bytes": 964,
      "redacted": false
    },
    {
      "name": "stack.rs",
      "source": "reports/os-implementation/K631-K634-LXwIFy/mutant-ignore-alignment/os-entry-stack/src/stack.rs",
      "originalSha256": "55b76151f8a74d5691565c65b9318be5f00a390acf395cdf560f060170875697",
      "href": "/os-evidence/55b76151f8a74d5691565c65b9318be5f00a390acf395cdf560f060170875697.txt",
      "sha256": "55b76151f8a74d5691565c65b9318be5f00a390acf395cdf560f060170875697",
      "bytes": 6700,
      "redacted": false
    },
    {
      "name": "mutant-ignore-canary.log",
      "source": "reports/os-implementation/K631-K634-LXwIFy/mutant-ignore-canary.log",
      "originalSha256": "99e21523b79e475788389914ce1477c53b034b1199e8e120bf13ea3225bef97f",
      "href": "/os-evidence/99e21523b79e475788389914ce1477c53b034b1199e8e120bf13ea3225bef97f.txt",
      "sha256": "99e21523b79e475788389914ce1477c53b034b1199e8e120bf13ea3225bef97f",
      "bytes": 1408,
      "redacted": false
    },
    {
      "name": "stack.rs",
      "source": "reports/os-implementation/K631-K634-LXwIFy/mutant-ignore-canary/os-entry-stack/src/stack.rs",
      "originalSha256": "d8fcf49e931e7b3c8e97775826c4be767440b023055cd18004c5246fd1352b73",
      "href": "/os-evidence/d8fcf49e931e7b3c8e97775826c4be767440b023055cd18004c5246fd1352b73.txt",
      "sha256": "d8fcf49e931e7b3c8e97775826c4be767440b023055cd18004c5246fd1352b73",
      "bytes": 6699,
      "redacted": false
    },
    {
      "name": "mutant-ignore-guard.log",
      "source": "reports/os-implementation/K631-K634-LXwIFy/mutant-ignore-guard.log",
      "originalSha256": "168995418ea649335d0d47de36f5fcd671b94cdb1587773809b9d05587548331",
      "href": "/os-evidence/168995418ea649335d0d47de36f5fcd671b94cdb1587773809b9d05587548331.txt",
      "sha256": "168995418ea649335d0d47de36f5fcd671b94cdb1587773809b9d05587548331",
      "bytes": 879,
      "redacted": false
    },
    {
      "name": "stack.rs",
      "source": "reports/os-implementation/K631-K634-LXwIFy/mutant-ignore-guard/os-entry-stack/src/stack.rs",
      "originalSha256": "eeaae03b9ca271473aa1f3afc5c0715a58d5f15987449659978889f5c3f1bb7a",
      "href": "/os-evidence/eeaae03b9ca271473aa1f3afc5c0715a58d5f15987449659978889f5c3f1bb7a.txt",
      "sha256": "eeaae03b9ca271473aa1f3afc5c0715a58d5f15987449659978889f5c3f1bb7a",
      "bytes": 6676,
      "redacted": false
    },
    {
      "name": "mutant-ignore-descriptor.log",
      "source": "reports/os-implementation/K631-K634-LXwIFy/mutant-ignore-descriptor.log",
      "originalSha256": "d08f4040197ece2c2dc9827a2b23f4770eab97663b2844cff72dec92db9a2b25",
      "href": "/os-evidence/d08f4040197ece2c2dc9827a2b23f4770eab97663b2844cff72dec92db9a2b25.txt",
      "sha256": "d08f4040197ece2c2dc9827a2b23f4770eab97663b2844cff72dec92db9a2b25",
      "bytes": 968,
      "redacted": false
    },
    {
      "name": "stack.rs",
      "source": "reports/os-implementation/K631-K634-LXwIFy/mutant-ignore-descriptor/os-entry-stack/src/stack.rs",
      "originalSha256": "bafdb74b0d8fd4c4716d49f1fc9265641d98159f428ed501f1e188cd3deebc79",
      "href": "/os-evidence/bafdb74b0d8fd4c4716d49f1fc9265641d98159f428ed501f1e188cd3deebc79.txt",
      "sha256": "bafdb74b0d8fd4c4716d49f1fc9265641d98159f428ed501f1e188cd3deebc79",
      "bytes": 6704,
      "redacted": false
    },
    {
      "name": "mutant-ignore-tlbi.log",
      "source": "reports/os-implementation/K631-K634-LXwIFy/mutant-ignore-tlbi.log",
      "originalSha256": "7ede8f287b8a72f41ba6a74eb3409eb751572cbb3349369fc082353b6a99aae6",
      "href": "/os-evidence/7ede8f287b8a72f41ba6a74eb3409eb751572cbb3349369fc082353b6a99aae6.txt",
      "sha256": "7ede8f287b8a72f41ba6a74eb3409eb751572cbb3349369fc082353b6a99aae6",
      "bytes": 932,
      "redacted": false
    },
    {
      "name": "stack.rs",
      "source": "reports/os-implementation/K631-K634-LXwIFy/mutant-ignore-tlbi/os-entry-stack/src/stack.rs",
      "originalSha256": "7dbe995fbe1bb624bd39d25adee44a99f2f35be4d983a8304a231825d89c01ee",
      "href": "/os-evidence/7dbe995fbe1bb624bd39d25adee44a99f2f35be4d983a8304a231825d89c01ee.txt",
      "sha256": "7dbe995fbe1bb624bd39d25adee44a99f2f35be4d983a8304a231825d89c01ee",
      "bytes": 6705,
      "redacted": false
    }
  ],
  "moves": [
    "K631",
    "K632",
    "K633",
    "K634"
  ]
}