{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K621-K624-T4sejM/report.json",
    "sha256": "523c24417ad86c261087e85f7995342d02a3eab3fdc4391dfd411c7bd645cad7",
    "bytes": 15588
  },
  "status": null,
  "scope": "host-library-only",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "fmt.log",
      "source": "reports/os-implementation/K621-K624-T4sejM/fmt.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host.log",
      "source": "reports/os-implementation/K621-K624-T4sejM/host.log",
      "originalSha256": "ac41c12132daa6d990c3f45ac40b77b2b77045e585741f9a504b649659a1fa6b",
      "href": "/os-evidence/ac41c12132daa6d990c3f45ac40b77b2b77045e585741f9a504b649659a1fa6b.txt",
      "sha256": "ac41c12132daa6d990c3f45ac40b77b2b77045e585741f9a504b649659a1fa6b",
      "bytes": 881,
      "redacted": false
    },
    {
      "name": "positive.log",
      "source": "reports/os-implementation/K621-K624-T4sejM/positive.log",
      "originalSha256": "b42f803f1ab29e40993dba5f73cd65c73eaba21e1ea2061656f865c4877fea10",
      "href": "/os-evidence/b42f803f1ab29e40993dba5f73cd65c73eaba21e1ea2061656f865c4877fea10.txt",
      "sha256": "b42f803f1ab29e40993dba5f73cd65c73eaba21e1ea2061656f865c4877fea10",
      "bytes": 429,
      "redacted": false
    },
    {
      "name": "negative.log",
      "source": "reports/os-implementation/K621-K624-T4sejM/negative.log",
      "originalSha256": "71715a1d0bef898ac438e729d949aded1bbbdfb99fd9dbe36e8361af3651d29d",
      "href": "/os-evidence/71715a1d0bef898ac438e729d949aded1bbbdfb99fd9dbe36e8361af3651d29d.txt",
      "sha256": "71715a1d0bef898ac438e729d949aded1bbbdfb99fd9dbe36e8361af3651d29d",
      "bytes": 446,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K621-K624-T4sejM/arm64.log",
      "originalSha256": "00385630405f8ff46e8c36627d5033c0d91779ac4fc1dbfb3ff52c970b70728c",
      "href": "/os-evidence/00385630405f8ff46e8c36627d5033c0d91779ac4fc1dbfb3ff52c970b70728c.txt",
      "sha256": "00385630405f8ff46e8c36627d5033c0d91779ac4fc1dbfb3ff52c970b70728c",
      "bytes": 141,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K621-K624-T4sejM/clippy.log",
      "originalSha256": "32c38a15dde8f0f90a1c63a05febe462e0db31713a02db1e70c9c3b4ff280658",
      "href": "/os-evidence/32c38a15dde8f0f90a1c63a05febe462e0db31713a02db1e70c9c3b4ff280658.txt",
      "sha256": "32c38a15dde8f0f90a1c63a05febe462e0db31713a02db1e70c9c3b4ff280658",
      "bytes": 141,
      "redacted": false
    },
    {
      "name": "mutant-accept-el2.log",
      "source": "reports/os-implementation/K621-K624-T4sejM/mutant-accept-el2.log",
      "originalSha256": "3547cdaf403ca066d5f10ceb63374ff30e107c7f32716baf0e4908e4bdc85e12",
      "href": "/os-evidence/3547cdaf403ca066d5f10ceb63374ff30e107c7f32716baf0e4908e4bdc85e12.txt",
      "sha256": "3547cdaf403ca066d5f10ceb63374ff30e107c7f32716baf0e4908e4bdc85e12",
      "bytes": 928,
      "redacted": false
    },
    {
      "name": "level.rs",
      "source": "reports/os-implementation/K621-K624-T4sejM/mutant-accept-el2/os-entry-level/src/level.rs",
      "originalSha256": "d1944238ec281366caf1caca11179490726bb2b640fb9f296ea1488857f6a6a2",
      "href": "/os-evidence/d1944238ec281366caf1caca11179490726bb2b640fb9f296ea1488857f6a6a2.txt",
      "sha256": "d1944238ec281366caf1caca11179490726bb2b640fb9f296ea1488857f6a6a2",
      "bytes": 2071,
      "redacted": false
    },
    {
      "name": "mutant-ignore-daif.log",
      "source": "reports/os-implementation/K621-K624-T4sejM/mutant-ignore-daif.log",
      "originalSha256": "4db6ee316931585ad94eb048d3fcc741eca2d8400f88c511aaeba0165d3a179c",
      "href": "/os-evidence/4db6ee316931585ad94eb048d3fcc741eca2d8400f88c511aaeba0165d3a179c.txt",
      "sha256": "4db6ee316931585ad94eb048d3fcc741eca2d8400f88c511aaeba0165d3a179c",
      "bytes": 925,
      "redacted": false
    },
    {
      "name": "level.rs",
      "source": "reports/os-implementation/K621-K624-T4sejM/mutant-ignore-daif/os-entry-level/src/level.rs",
      "originalSha256": "f955a667afd7f56c7dbe50ea345966ebdec3d9c2ec14f7822bb3484ae6336398",
      "href": "/os-evidence/f955a667afd7f56c7dbe50ea345966ebdec3d9c2ec14f7822bb3484ae6336398.txt",
      "sha256": "f955a667afd7f56c7dbe50ea345966ebdec3d9c2ec14f7822bb3484ae6336398",
      "bytes": 2045,
      "redacted": false
    },
    {
      "name": "mutant-ignore-sp-alignment.log",
      "source": "reports/os-implementation/K621-K624-T4sejM/mutant-ignore-sp-alignment.log",
      "originalSha256": "7e3d11155b742635d8f24fdec4d8e180ab347afc206406529b97645dda7dfd5e",
      "href": "/os-evidence/7e3d11155b742635d8f24fdec4d8e180ab347afc206406529b97645dda7dfd5e.txt",
      "sha256": "7e3d11155b742635d8f24fdec4d8e180ab347afc206406529b97645dda7dfd5e",
      "bytes": 969,
      "redacted": false
    },
    {
      "name": "level.rs",
      "source": "reports/os-implementation/K621-K624-T4sejM/mutant-ignore-sp-alignment/os-entry-level/src/level.rs",
      "originalSha256": "5437485f03219b9d7995d17c77303b11f11390aaee917eedbf2571c7274076e4",
      "href": "/os-evidence/5437485f03219b9d7995d17c77303b11f11390aaee917eedbf2571c7274076e4.txt",
      "sha256": "5437485f03219b9d7995d17c77303b11f11390aaee917eedbf2571c7274076e4",
      "bytes": 2074,
      "redacted": false
    }
  ],
  "moves": [
    "K621",
    "K622",
    "K623",
    "K624"
  ]
}