{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K841-K859-preparation-JcE65w/report.json",
    "sha256": "f78c2cf09c9983623a6fcc0f39b72aa47fcfe4e6f487724a9d8b76a7f07ad331",
    "bytes": 30977
  },
  "status": null,
  "scope": "host-library-only",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "fmt.log",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/fmt.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "integration.log",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/integration.log",
      "originalSha256": "c421603423da12896becc8c584993ddbf9f19fd184f75b7cfe24150675e9ee3e",
      "href": "/os-evidence/c421603423da12896becc8c584993ddbf9f19fd184f75b7cfe24150675e9ee3e.txt",
      "sha256": "c421603423da12896becc8c584993ddbf9f19fd184f75b7cfe24150675e9ee3e",
      "bytes": 1260,
      "redacted": false
    },
    {
      "name": "unit.log",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/unit.log",
      "originalSha256": "93e42b72c6576cd41d5cb6a721ed3804178bbdb3fa96d4694b26571c89d3417f",
      "href": "/os-evidence/93e42b72c6576cd41d5cb6a721ed3804178bbdb3fa96d4694b26571c89d3417f.txt",
      "sha256": "93e42b72c6576cd41d5cb6a721ed3804178bbdb3fa96d4694b26571c89d3417f",
      "bytes": 757,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/arm64.log",
      "originalSha256": "862b7a04877d815fb7d37014fc4ee9c1e41c2bfce9adc0222e8c01d97bdfdd9e",
      "href": "/os-evidence/862b7a04877d815fb7d37014fc4ee9c1e41c2bfce9adc0222e8c01d97bdfdd9e.txt",
      "sha256": "862b7a04877d815fb7d37014fc4ee9c1e41c2bfce9adc0222e8c01d97bdfdd9e",
      "bytes": 202,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/clippy.log",
      "originalSha256": "e2dd88784c588bc73714023a351550e54f195dd19b3fc0acbb0c9d2d5e4022c9",
      "href": "/os-evidence/e2dd88784c588bc73714023a351550e54f195dd19b3fc0acbb0c9d2d5e4022c9.txt",
      "sha256": "e2dd88784c588bc73714023a351550e54f195dd19b3fc0acbb0c9d2d5e4022c9",
      "bytes": 202,
      "redacted": false
    },
    {
      "name": "mutant-foreign-owner.log",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-foreign-owner.log",
      "originalSha256": "9749d56085aa18859cf6128d07bd922e29240c30b18c42aae99e68cf3c59e90f",
      "href": "/os-evidence/9749d56085aa18859cf6128d07bd922e29240c30b18c42aae99e68cf3c59e90f.txt",
      "sha256": "9749d56085aa18859cf6128d07bd922e29240c30b18c42aae99e68cf3c59e90f",
      "bytes": 1409,
      "redacted": false
    },
    {
      "name": "mapping.rs",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-foreign-owner/os-mapping/src/mapping.rs",
      "originalSha256": "f371489d7a5345666dfb3daa0cb18982f13303e6d202e0573750e20997451f59",
      "href": "/os-evidence/f371489d7a5345666dfb3daa0cb18982f13303e6d202e0573750e20997451f59.txt",
      "sha256": "f371489d7a5345666dfb3daa0cb18982f13303e6d202e0573750e20997451f59",
      "bytes": 19700,
      "redacted": false
    },
    {
      "name": "mutant-third-page-conflict.log",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-third-page-conflict.log",
      "originalSha256": "c7911a8a15a23ad432d1de8372b7838614b220ae881c11f90ab6dacd8c212b02",
      "href": "/os-evidence/c7911a8a15a23ad432d1de8372b7838614b220ae881c11f90ab6dacd8c212b02.txt",
      "sha256": "c7911a8a15a23ad432d1de8372b7838614b220ae881c11f90ab6dacd8c212b02",
      "bytes": 1086,
      "redacted": false
    },
    {
      "name": "mapping.rs",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-third-page-conflict/os-mapping/src/mapping.rs",
      "originalSha256": "799abcfde10647d99241cea38dc233959400f7c9b6a43a75c913a0f77fa1a505",
      "href": "/os-evidence/799abcfde10647d99241cea38dc233959400f7c9b6a43a75c913a0f77fa1a505.txt",
      "sha256": "799abcfde10647d99241cea38dc233959400f7c9b6a43a75c913a0f77fa1a505",
      "bytes": 19599,
      "redacted": false
    },
    {
      "name": "mutant-map-alias-wx.log",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-map-alias-wx.log",
      "originalSha256": "b4bd5043b3145f264b8f92d4b220415b8bc5b32e735f553d35c7f63792ff7412",
      "href": "/os-evidence/b4bd5043b3145f264b8f92d4b220415b8bc5b32e735f553d35c7f63792ff7412.txt",
      "sha256": "b4bd5043b3145f264b8f92d4b220415b8bc5b32e735f553d35c7f63792ff7412",
      "bytes": 1066,
      "redacted": false
    },
    {
      "name": "mapping.rs",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-map-alias-wx/os-mapping/src/mapping.rs",
      "originalSha256": "376a981f0285376b1d7d5d01c7ae7c3a4a95090036868cf997eb7924871bf30b",
      "href": "/os-evidence/376a981f0285376b1d7d5d01c7ae7c3a4a95090036868cf997eb7924871bf30b.txt",
      "sha256": "376a981f0285376b1d7d5d01c7ae7c3a4a95090036868cf997eb7924871bf30b",
      "bytes": 19752,
      "redacted": false
    },
    {
      "name": "mutant-protect-alias-wx.log",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-protect-alias-wx.log",
      "originalSha256": "7e488e09c2cc70e144f06fe9f6b9d23147e8ab6e1c589b8576f0f7ca29781c1a",
      "href": "/os-evidence/7e488e09c2cc70e144f06fe9f6b9d23147e8ab6e1c589b8576f0f7ca29781c1a.txt",
      "sha256": "7e488e09c2cc70e144f06fe9f6b9d23147e8ab6e1c589b8576f0f7ca29781c1a",
      "bytes": 1074,
      "redacted": false
    },
    {
      "name": "mapping.rs",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-protect-alias-wx/os-mapping/src/mapping.rs",
      "originalSha256": "3edda3867d0624051d94c609893cda739aab4be3720fe49b743fc2ea8c3f9630",
      "href": "/os-evidence/3edda3867d0624051d94c609893cda739aab4be3720fe49b743fc2ea8c3f9630.txt",
      "sha256": "3edda3867d0624051d94c609893cda739aab4be3720fe49b743fc2ea8c3f9630",
      "bytes": 19762,
      "redacted": false
    },
    {
      "name": "mutant-pinned-unmap.log",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-pinned-unmap.log",
      "originalSha256": "f9f3a255ae3e3ebfe15c7b905a1b6c4e617d67d5b55056e36bae81047738e74e",
      "href": "/os-evidence/f9f3a255ae3e3ebfe15c7b905a1b6c4e617d67d5b55056e36bae81047738e74e.txt",
      "sha256": "f9f3a255ae3e3ebfe15c7b905a1b6c4e617d67d5b55056e36bae81047738e74e",
      "bytes": 1026,
      "redacted": false
    },
    {
      "name": "mapping.rs",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-pinned-unmap/os-mapping/src/mapping.rs",
      "originalSha256": "2f92f6b67ff86158647580dcc4e472f71a744ebc535f95c9baa8dd2a0c5ce04e",
      "href": "/os-evidence/2f92f6b67ff86158647580dcc4e472f71a744ebc535f95c9baa8dd2a0c5ce04e.txt",
      "sha256": "2f92f6b67ff86158647580dcc4e472f71a744ebc535f95c9baa8dd2a0c5ce04e",
      "bytes": 19738,
      "redacted": false
    },
    {
      "name": "mutant-foreign-pin.log",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-foreign-pin.log",
      "originalSha256": "062e58fb0132e320882a80303b8606a094a11a3b4137cece42a6029185e49c6b",
      "href": "/os-evidence/062e58fb0132e320882a80303b8606a094a11a3b4137cece42a6029185e49c6b.txt",
      "sha256": "062e58fb0132e320882a80303b8606a094a11a3b4137cece42a6029185e49c6b",
      "bytes": 1406,
      "redacted": false
    },
    {
      "name": "mapping.rs",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-foreign-pin/os-mapping/src/mapping.rs",
      "originalSha256": "db1a6cc419e8854eeae73e0ab56df49c0b2e3f1fa2267897ce03a52664290995",
      "href": "/os-evidence/db1a6cc419e8854eeae73e0ab56df49c0b2e3f1fa2267897ce03a52664290995.txt",
      "sha256": "db1a6cc419e8854eeae73e0ab56df49c0b2e3f1fa2267897ce03a52664290995",
      "bytes": 19756,
      "redacted": false
    },
    {
      "name": "mutant-readonly-write-pin.log",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-readonly-write-pin.log",
      "originalSha256": "860721804d0480724f16290f83c231666a1bd8dfb2cbc0061d75c80f7a30bf99",
      "href": "/os-evidence/860721804d0480724f16290f83c231666a1bd8dfb2cbc0061d75c80f7a30bf99.txt",
      "sha256": "860721804d0480724f16290f83c231666a1bd8dfb2cbc0061d75c80f7a30bf99",
      "bytes": 1433,
      "redacted": false
    },
    {
      "name": "mapping.rs",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-readonly-write-pin/os-mapping/src/mapping.rs",
      "originalSha256": "d9fa3fb58492da77e7bed64e1e31bbc90b8ae799a37af5e6def65d867d5472f4",
      "href": "/os-evidence/d9fa3fb58492da77e7bed64e1e31bbc90b8ae799a37af5e6def65d867d5472f4.txt",
      "sha256": "d9fa3fb58492da77e7bed64e1e31bbc90b8ae799a37af5e6def65d867d5472f4",
      "bytes": 19720,
      "redacted": false
    },
    {
      "name": "mutant-prefix-pin-on-failure.log",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-prefix-pin-on-failure.log",
      "originalSha256": "fda0ce2738460cb576633e74e7cb979c44a0fd5bc140dea8ab28e18a1a84aa12",
      "href": "/os-evidence/fda0ce2738460cb576633e74e7cb979c44a0fd5bc140dea8ab28e18a1a84aa12.txt",
      "sha256": "fda0ce2738460cb576633e74e7cb979c44a0fd5bc140dea8ab28e18a1a84aa12",
      "bytes": 1044,
      "redacted": false
    },
    {
      "name": "mapping.rs",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-prefix-pin-on-failure/os-mapping/src/mapping.rs",
      "originalSha256": "8cb3f9b83cbf26343538e13c390a859bd720db50b0e0d9d81cafc1ff80cfc7b2",
      "href": "/os-evidence/8cb3f9b83cbf26343538e13c390a859bd720db50b0e0d9d81cafc1ff80cfc7b2.txt",
      "sha256": "8cb3f9b83cbf26343538e13c390a859bd720db50b0e0d9d81cafc1ff80cfc7b2",
      "bytes": 19806,
      "redacted": false
    },
    {
      "name": "mutant-guard-backing-acquire.log",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-guard-backing-acquire.log",
      "originalSha256": "ca32e1452dd98e5f8af87cad5be1744d6adcb7b48ebac3850732959337ea5fa7",
      "href": "/os-evidence/ca32e1452dd98e5f8af87cad5be1744d6adcb7b48ebac3850732959337ea5fa7.txt",
      "sha256": "ca32e1452dd98e5f8af87cad5be1744d6adcb7b48ebac3850732959337ea5fa7",
      "bytes": 962,
      "redacted": false
    },
    {
      "name": "mapping.rs",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-guard-backing-acquire/os-mapping/src/mapping.rs",
      "originalSha256": "6005798bff17df2070c57e59024d2528e6882b0cd2563c0cb697b32eb8c165b0",
      "href": "/os-evidence/6005798bff17df2070c57e59024d2528e6882b0cd2563c0cb697b32eb8c165b0.txt",
      "sha256": "6005798bff17df2070c57e59024d2528e6882b0cd2563c0cb697b32eb8c165b0",
      "bytes": 19804,
      "redacted": false
    },
    {
      "name": "mutant-map-generation-wrap.log",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-map-generation-wrap.log",
      "originalSha256": "d6be2facc8d1adf1435a11c7e200534f45d4e0fd7a25bc1564f55b343b2c03e9",
      "href": "/os-evidence/d6be2facc8d1adf1435a11c7e200534f45d4e0fd7a25bc1564f55b343b2c03e9.txt",
      "sha256": "d6be2facc8d1adf1435a11c7e200534f45d4e0fd7a25bc1564f55b343b2c03e9",
      "bytes": 1117,
      "redacted": false
    },
    {
      "name": "mapping.rs",
      "source": "reports/os-implementation/K841-K859-preparation-JcE65w/mutant-map-generation-wrap/os-mapping/src/mapping.rs",
      "originalSha256": "fa4d7ef4e2c280cb2a049b9dbb972947b164db140762fb39083238fde6c87898",
      "href": "/os-evidence/fa4d7ef4e2c280cb2a049b9dbb972947b164db140762fb39083238fde6c87898.txt",
      "sha256": "fa4d7ef4e2c280cb2a049b9dbb972947b164db140762fb39083238fde6c87898",
      "bytes": 19693,
      "redacted": false
    }
  ],
  "moves": [
    "K841",
    "K842",
    "K843",
    "K844",
    "K846",
    "K847",
    "K848",
    "K849",
    "K851",
    "K852",
    "K853",
    "K854",
    "K856",
    "K857",
    "K858",
    "K859"
  ]
}