{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K611-K614-EzW3BR/report.json",
    "sha256": "57e82afedc59aca17878f840b16e5644cbdc79beee6a78162ac45a420fc7fe23",
    "bytes": 15433
  },
  "status": null,
  "scope": "host-library-only",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "fmt.log",
      "source": "reports/os-implementation/K611-K614-EzW3BR/fmt.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host.log",
      "source": "reports/os-implementation/K611-K614-EzW3BR/host.log",
      "originalSha256": "42ba4143255816f15700746059e16ad45db8a244b2554c435915b47c7d0de0cc",
      "href": "/os-evidence/42ba4143255816f15700746059e16ad45db8a244b2554c435915b47c7d0de0cc.txt",
      "sha256": "42ba4143255816f15700746059e16ad45db8a244b2554c435915b47c7d0de0cc",
      "bytes": 926,
      "redacted": false
    },
    {
      "name": "positive.log",
      "source": "reports/os-implementation/K611-K614-EzW3BR/positive.log",
      "originalSha256": "c5991783050946139a7cfe1f1b73a5a6b31a8e661060222098e97b03d9a26257",
      "href": "/os-evidence/c5991783050946139a7cfe1f1b73a5a6b31a8e661060222098e97b03d9a26257.txt",
      "sha256": "c5991783050946139a7cfe1f1b73a5a6b31a8e661060222098e97b03d9a26257",
      "bytes": 459,
      "redacted": false
    },
    {
      "name": "negative.log",
      "source": "reports/os-implementation/K611-K614-EzW3BR/negative.log",
      "originalSha256": "e49417d78cdef1173591f716463ff6f6b9b2ef505de3bb1cd4a6a5375ff0c462",
      "href": "/os-evidence/e49417d78cdef1173591f716463ff6f6b9b2ef505de3bb1cd4a6a5375ff0c462.txt",
      "sha256": "e49417d78cdef1173591f716463ff6f6b9b2ef505de3bb1cd4a6a5375ff0c462",
      "bytes": 456,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K611-K614-EzW3BR/arm64.log",
      "originalSha256": "6f13a403529cd7f3bbe39cf9b67d7fdfd5d32c6a86a68374403fe6d5c41bcda6",
      "href": "/os-evidence/6f13a403529cd7f3bbe39cf9b67d7fdfd5d32c6a86a68374403fe6d5c41bcda6.txt",
      "sha256": "6f13a403529cd7f3bbe39cf9b67d7fdfd5d32c6a86a68374403fe6d5c41bcda6",
      "bytes": 143,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K611-K614-EzW3BR/clippy.log",
      "originalSha256": "fa855f592f1bfcd4349ad7feb8bf21b22385a8eb4c418991b46fe228329a7c7a",
      "href": "/os-evidence/fa855f592f1bfcd4349ad7feb8bf21b22385a8eb4c418991b46fe228329a7c7a.txt",
      "sha256": "fa855f592f1bfcd4349ad7feb8bf21b22385a8eb4c418991b46fe228329a7c7a",
      "bytes": 143,
      "redacted": false
    },
    {
      "name": "mutant-skip-overlap.log",
      "source": "reports/os-implementation/K611-K614-EzW3BR/mutant-skip-overlap.log",
      "originalSha256": "602f3645ea2e9a56d5d7ed0769a017e19dc66547e227b348f2316dc3dca267b0",
      "href": "/os-evidence/602f3645ea2e9a56d5d7ed0769a017e19dc66547e227b348f2316dc3dca267b0.txt",
      "sha256": "602f3645ea2e9a56d5d7ed0769a017e19dc66547e227b348f2316dc3dca267b0",
      "bytes": 1852,
      "redacted": false
    },
    {
      "name": "regions.rs",
      "source": "reports/os-implementation/K611-K614-EzW3BR/mutant-skip-overlap/os-boot-regions/src/regions.rs",
      "originalSha256": "57d87461ecb7fb20580472007da87ffefba2fab3c90e8b53f68acc8b10b4d42c",
      "href": "/os-evidence/57d87461ecb7fb20580472007da87ffefba2fab3c90e8b53f68acc8b10b4d42c.txt",
      "sha256": "57d87461ecb7fb20580472007da87ffefba2fab3c90e8b53f68acc8b10b4d42c",
      "bytes": 5082,
      "redacted": false
    },
    {
      "name": "mutant-skip-free-audit.log",
      "source": "reports/os-implementation/K611-K614-EzW3BR/mutant-skip-free-audit.log",
      "originalSha256": "215c4c464b7fdf8a6264c4c31162f3ab4444573f6733b496c5a8e66fb75c90f0",
      "href": "/os-evidence/215c4c464b7fdf8a6264c4c31162f3ab4444573f6733b496c5a8e66fb75c90f0.txt",
      "sha256": "215c4c464b7fdf8a6264c4c31162f3ab4444573f6733b496c5a8e66fb75c90f0",
      "bytes": 1365,
      "redacted": false
    },
    {
      "name": "regions.rs",
      "source": "reports/os-implementation/K611-K614-EzW3BR/mutant-skip-free-audit/os-boot-regions/src/regions.rs",
      "originalSha256": "f5f91b42f2cba11c49a064219661a0b41edfcdaf103e21cc4ca0a65d4cb2c54e",
      "href": "/os-evidence/f5f91b42f2cba11c49a064219661a0b41edfcdaf103e21cc4ca0a65d4cb2c54e.txt",
      "sha256": "f5f91b42f2cba11c49a064219661a0b41edfcdaf103e21cc4ca0a65d4cb2c54e",
      "bytes": 5090,
      "redacted": false
    },
    {
      "name": "mutant-skip-handoff-pair.log",
      "source": "reports/os-implementation/K611-K614-EzW3BR/mutant-skip-handoff-pair.log",
      "originalSha256": "edbcd7a258ec28091e8e908ae93904b03a878000f2f663b6bc5f6171ba04603b",
      "href": "/os-evidence/edbcd7a258ec28091e8e908ae93904b03a878000f2f663b6bc5f6171ba04603b.txt",
      "sha256": "edbcd7a258ec28091e8e908ae93904b03a878000f2f663b6bc5f6171ba04603b",
      "bytes": 1286,
      "redacted": false
    },
    {
      "name": "regions.rs",
      "source": "reports/os-implementation/K611-K614-EzW3BR/mutant-skip-handoff-pair/os-boot-regions/src/regions.rs",
      "originalSha256": "5e57b44b30914ca8226d433f091b4c16889a5a622864cea23f2bbca67be83cb4",
      "href": "/os-evidence/5e57b44b30914ca8226d433f091b4c16889a5a622864cea23f2bbca67be83cb4.txt",
      "sha256": "5e57b44b30914ca8226d433f091b4c16889a5a622864cea23f2bbca67be83cb4",
      "bytes": 5066,
      "redacted": false
    }
  ],
  "moves": [
    "K611",
    "K612",
    "K613",
    "K614"
  ]
}
