{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K681-K699-EIVbNv/report.json",
    "sha256": "64bd6ab8959c675eecb02f4445f50161272dec6f65a9e9450b5d1cea45668f56",
    "bytes": 69223
  },
  "status": null,
  "scope": "host-library-only",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "fmt.log",
      "source": "reports/os-implementation/K681-K699-EIVbNv/fmt.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host.log",
      "source": "reports/os-implementation/K681-K699-EIVbNv/host.log",
      "originalSha256": "b05b8bf45cb2e6bf051579557ea2d108724d90719b4395965c62109ef7e7de7d",
      "href": "/os-evidence/b05b8bf45cb2e6bf051579557ea2d108724d90719b4395965c62109ef7e7de7d.txt",
      "sha256": "b05b8bf45cb2e6bf051579557ea2d108724d90719b4395965c62109ef7e7de7d",
      "bytes": 2250,
      "redacted": false
    },
    {
      "name": "tree-positive.log",
      "source": "reports/os-implementation/K681-K699-EIVbNv/tree-positive.log",
      "originalSha256": "d55ce5eb276a58fd7fc85bcf1649155333b0dfb3274ba2ec16db843f78790656",
      "href": "/os-evidence/d55ce5eb276a58fd7fc85bcf1649155333b0dfb3274ba2ec16db843f78790656.txt",
      "sha256": "d55ce5eb276a58fd7fc85bcf1649155333b0dfb3274ba2ec16db843f78790656",
      "bytes": 393,
      "redacted": false
    },
    {
      "name": "tree-negative.log",
      "source": "reports/os-implementation/K681-K699-EIVbNv/tree-negative.log",
      "originalSha256": "5a09a2634b4497231b7c96eb0e93ff839df274f3b7a0721bde230783bb95b10d",
      "href": "/os-evidence/5a09a2634b4497231b7c96eb0e93ff839df274f3b7a0721bde230783bb95b10d.txt",
      "sha256": "5a09a2634b4497231b7c96eb0e93ff839df274f3b7a0721bde230783bb95b10d",
      "bytes": 393,
      "redacted": false
    },
    {
      "name": "devices-positive.log",
      "source": "reports/os-implementation/K681-K699-EIVbNv/devices-positive.log",
      "originalSha256": "1a91f968aa459b70adf599a543dd8b34151e54fde76ada850b1e1c52e231e552",
      "href": "/os-evidence/1a91f968aa459b70adf599a543dd8b34151e54fde76ada850b1e1c52e231e552.txt",
      "sha256": "1a91f968aa459b70adf599a543dd8b34151e54fde76ada850b1e1c52e231e552",
      "bytes": 396,
      "redacted": false
    },
    {
      "name": "devices-negative.log",
      "source": "reports/os-implementation/K681-K699-EIVbNv/devices-negative.log",
      "originalSha256": "42cb9ffc6574dea4f07e30c67009b2a96b065b87248cff3ecfe794746ee78136",
      "href": "/os-evidence/42cb9ffc6574dea4f07e30c67009b2a96b065b87248cff3ecfe794746ee78136.txt",
      "sha256": "42cb9ffc6574dea4f07e30c67009b2a96b065b87248cff3ecfe794746ee78136",
      "bytes": 396,
      "redacted": false
    },
    {
      "name": "ram-positive.log",
      "source": "reports/os-implementation/K681-K699-EIVbNv/ram-positive.log",
      "originalSha256": "6f5d41128ad1cfad2bead082fd798ec59622e12b255acfc829a01fa441147663",
      "href": "/os-evidence/6f5d41128ad1cfad2bead082fd798ec59622e12b255acfc829a01fa441147663.txt",
      "sha256": "6f5d41128ad1cfad2bead082fd798ec59622e12b255acfc829a01fa441147663",
      "bytes": 392,
      "redacted": false
    },
    {
      "name": "ram-negative.log",
      "source": "reports/os-implementation/K681-K699-EIVbNv/ram-negative.log",
      "originalSha256": "cd1288eec45c55674505f8ab1fb02f076896bf9a489853a7f3d9ecb03c168f27",
      "href": "/os-evidence/cd1288eec45c55674505f8ab1fb02f076896bf9a489853a7f3d9ecb03c168f27.txt",
      "sha256": "cd1288eec45c55674505f8ab1fb02f076896bf9a489853a7f3d9ecb03c168f27",
      "bytes": 392,
      "redacted": false
    },
    {
      "name": "features-positive.log",
      "source": "reports/os-implementation/K681-K699-EIVbNv/features-positive.log",
      "originalSha256": "692556f8bf225c9768f0431502bfdcbdb36b1e8b6c83aa808aca63303d8ee3e7",
      "href": "/os-evidence/692556f8bf225c9768f0431502bfdcbdb36b1e8b6c83aa808aca63303d8ee3e7.txt",
      "sha256": "692556f8bf225c9768f0431502bfdcbdb36b1e8b6c83aa808aca63303d8ee3e7",
      "bytes": 397,
      "redacted": false
    },
    {
      "name": "features-negative.log",
      "source": "reports/os-implementation/K681-K699-EIVbNv/features-negative.log",
      "originalSha256": "b1219103cb2c53238674027f36a5106939e081079ea665de2e20015798a626aa",
      "href": "/os-evidence/b1219103cb2c53238674027f36a5106939e081079ea665de2e20015798a626aa.txt",
      "sha256": "b1219103cb2c53238674027f36a5106939e081079ea665de2e20015798a626aa",
      "bytes": 397,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K681-K699-EIVbNv/arm64.log",
      "originalSha256": "4f343416bd7f347f5c37a358666bb4299c96f839b48f1ff8130f98b1885479f5",
      "href": "/os-evidence/4f343416bd7f347f5c37a358666bb4299c96f839b48f1ff8130f98b1885479f5.txt",
      "sha256": "4f343416bd7f347f5c37a358666bb4299c96f839b48f1ff8130f98b1885479f5",
      "bytes": 151,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K681-K699-EIVbNv/clippy.log",
      "originalSha256": "41620c62201d2063f9d2183428c8c95997dadb2643030b88d9c993ff76d80723",
      "href": "/os-evidence/41620c62201d2063f9d2183428c8c95997dadb2643030b88d9c993ff76d80723.txt",
      "sha256": "41620c62201d2063f9d2183428c8c95997dadb2643030b88d9c993ff76d80723",
      "bytes": 532,
      "redacted": false
    },
    {
      "name": "mutant-ignore-cycle.log",
      "source": "reports/os-implementation/K681-K699-EIVbNv/mutant-ignore-cycle.log",
      "originalSha256": "494c9758798417b7ea6cd56ddc781e4e98966312ef48476f473e7a0f374ca00f",
      "href": "/os-evidence/494c9758798417b7ea6cd56ddc781e4e98966312ef48476f473e7a0f374ca00f.txt",
      "sha256": "494c9758798417b7ea6cd56ddc781e4e98966312ef48476f473e7a0f374ca00f",
      "bytes": 1286,
      "redacted": false
    },
    {
      "name": "platform.rs",
      "source": "reports/os-implementation/K681-K699-EIVbNv/mutant-ignore-cycle/os-runtime-platform/src/platform.rs",
      "originalSha256": "f07565923ac7cc4fbb9e83437eff1853224acf181eb83ab2c7d12523af76623e",
      "href": "/os-evidence/f07565923ac7cc4fbb9e83437eff1853224acf181eb83ab2c7d12523af76623e.txt",
      "sha256": "f07565923ac7cc4fbb9e83437eff1853224acf181eb83ab2c7d12523af76623e",
      "bytes": 28138,
      "redacted": false
    },
    {
      "name": "mutant-ignore-blob-limit.log",
      "source": "reports/os-implementation/K681-K699-EIVbNv/mutant-ignore-blob-limit.log",
      "originalSha256": "16534ef2dda4abfd2f0358802f7d2207e387fce5ac6f64d5df1c64de2ec6b1c8",
      "href": "/os-evidence/16534ef2dda4abfd2f0358802f7d2207e387fce5ac6f64d5df1c64de2ec6b1c8.txt",
      "sha256": "16534ef2dda4abfd2f0358802f7d2207e387fce5ac6f64d5df1c64de2ec6b1c8",
      "bytes": 1419,
      "redacted": false
    },
    {
      "name": "platform.rs",
      "source": "reports/os-implementation/K681-K699-EIVbNv/mutant-ignore-blob-limit/os-runtime-platform/src/platform.rs",
      "originalSha256": "472a31b0bcbf3b39b146dd5f187e61ddec11baa862b3a7b4bd187c9cd445413c",
      "href": "/os-evidence/472a31b0bcbf3b39b146dd5f187e61ddec11baa862b3a7b4bd187c9cd445413c.txt",
      "sha256": "472a31b0bcbf3b39b146dd5f187e61ddec11baa862b3a7b4bd187c9cd445413c",
      "bytes": 28140,
      "redacted": false
    },
    {
      "name": "mutant-ignore-bank-overlap.log",
      "source": "reports/os-implementation/K681-K699-EIVbNv/mutant-ignore-bank-overlap.log",
      "originalSha256": "e1187e4e7f4037ccb34aee99e3c6d8aaddc5d093d6541d35866b58d96a8d9124",
      "href": "/os-evidence/e1187e4e7f4037ccb34aee99e3c6d8aaddc5d093d6541d35866b58d96a8d9124.txt",
      "sha256": "e1187e4e7f4037ccb34aee99e3c6d8aaddc5d093d6541d35866b58d96a8d9124",
      "bytes": 1290,
      "redacted": false
    },
    {
      "name": "ram.rs",
      "source": "reports/os-implementation/K681-K699-EIVbNv/mutant-ignore-bank-overlap/os-runtime-platform/src/ram.rs",
      "originalSha256": "8e6f28f382389144d701f2c15ec84e27247ad0ad50ebd1562ddc9999f9e20924",
      "href": "/os-evidence/8e6f28f382389144d701f2c15ec84e27247ad0ad50ebd1562ddc9999f9e20924.txt",
      "sha256": "8e6f28f382389144d701f2c15ec84e27247ad0ad50ebd1562ddc9999f9e20924",
      "bytes": 11945,
      "redacted": false
    },
    {
      "name": "mutant-missing-uart-fallback.log",
      "source": "reports/os-implementation/K681-K699-EIVbNv/mutant-missing-uart-fallback.log",
      "originalSha256": "f11fe8e502417512d1d42558da11778595c5229908ffccd949b0e7e567a80d3a",
      "href": "/os-evidence/f11fe8e502417512d1d42558da11778595c5229908ffccd949b0e7e567a80d3a.txt",
      "sha256": "f11fe8e502417512d1d42558da11778595c5229908ffccd949b0e7e567a80d3a",
      "bytes": 1312,
      "redacted": false
    },
    {
      "name": "platform.rs",
      "source": "reports/os-implementation/K681-K699-EIVbNv/mutant-missing-uart-fallback/os-runtime-platform/src/platform.rs",
      "originalSha256": "4f0bc58a16e1e32d173cda08f8c089c63c0e3d2e73d28cee3c0a54f9a386b644",
      "href": "/os-evidence/4f0bc58a16e1e32d173cda08f8c089c63c0e3d2e73d28cee3c0a54f9a386b644.txt",
      "sha256": "4f0bc58a16e1e32d173cda08f8c089c63c0e3d2e73d28cee3c0a54f9a386b644",
      "bytes": 28242,
      "redacted": false
    },
    {
      "name": "mutant-ignore-required-feature.log",
      "source": "reports/os-implementation/K681-K699-EIVbNv/mutant-ignore-required-feature.log",
      "originalSha256": "1cbb0174b46dae9d6d4fb55bbd46d994da86681e4ad59355b5d4b01edda594b3",
      "href": "/os-evidence/1cbb0174b46dae9d6d4fb55bbd46d994da86681e4ad59355b5d4b01edda594b3.txt",
      "sha256": "1cbb0174b46dae9d6d4fb55bbd46d994da86681e4ad59355b5d4b01edda594b3",
      "bytes": 1408,
      "redacted": false
    },
    {
      "name": "features.rs",
      "source": "reports/os-implementation/K681-K699-EIVbNv/mutant-ignore-required-feature/os-runtime-platform/src/features.rs",
      "originalSha256": "e9cea18475a7cd622653bb27e3acdc9e51cc913ed8f48905b6cbb7b7bffce226",
      "href": "/os-evidence/e9cea18475a7cd622653bb27e3acdc9e51cc913ed8f48905b6cbb7b7bffce226.txt",
      "sha256": "e9cea18475a7cd622653bb27e3acdc9e51cc913ed8f48905b6cbb7b7bffce226",
      "bytes": 3311,
      "redacted": false
    }
  ],
  "moves": [
    "K681",
    "K682",
    "K683",
    "K684",
    "K686",
    "K687",
    "K688",
    "K689",
    "K691",
    "K692",
    "K693",
    "K694",
    "K696",
    "K697",
    "K698",
    "K699"
  ]
}