{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K801-K819-bFalcS/report.json",
    "sha256": "e5e02d66b7c6ce691ae5dab5e9257a561eb6eb4747fcc9d50cd1b41ffd4a8f47",
    "bytes": 35636
  },
  "status": null,
  "scope": "host-library-only",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "fmt.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/fmt.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/host.log",
      "originalSha256": "dfa9160edfa714e8c54e081ae927642ad28ebb75b57c4544c9e1f5a223beb958",
      "href": "/os-evidence/dfa9160edfa714e8c54e081ae927642ad28ebb75b57c4544c9e1f5a223beb958.txt",
      "sha256": "dfa9160edfa714e8c54e081ae927642ad28ebb75b57c4544c9e1f5a223beb958",
      "bytes": 3105,
      "redacted": false
    },
    {
      "name": "table-transaction.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/table-transaction.log",
      "originalSha256": "183ce6587c601064640f264ee91a55a7f1c4b10f6f541f9d2de6a756cab9fa08",
      "href": "/os-evidence/183ce6587c601064640f264ee91a55a7f1c4b10f6f541f9d2de6a756cab9fa08.txt",
      "sha256": "183ce6587c601064640f264ee91a55a7f1c4b10f6f541f9d2de6a756cab9fa08",
      "bytes": 422,
      "redacted": false
    },
    {
      "name": "rollback-retention.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/rollback-retention.log",
      "originalSha256": "95dccda40a0272cd1d8c127556858ce9e51517607db5bf767c10e84685a49050",
      "href": "/os-evidence/95dccda40a0272cd1d8c127556858ce9e51517607db5bf767c10e84685a49050.txt",
      "sha256": "95dccda40a0272cd1d8c127556858ce9e51517607db5bf767c10e84685a49050",
      "bytes": 424,
      "redacted": false
    },
    {
      "name": "permission-policy.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/permission-policy.log",
      "originalSha256": "6c4c00b520051384f3ff5bd7e471b87ea40937357d5d026c7568f55788dfd3ba",
      "href": "/os-evidence/6c4c00b520051384f3ff5bd7e471b87ea40937357d5d026c7568f55788dfd3ba.txt",
      "sha256": "6c4c00b520051384f3ff5bd7e471b87ea40937357d5d026c7568f55788dfd3ba",
      "bytes": 417,
      "redacted": false
    },
    {
      "name": "retire-before-reclaim.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/retire-before-reclaim.log",
      "originalSha256": "6389bf75de35a78e0f865e2bc169053b5ee27ffdf555ef58030a8ef3fab731d6",
      "href": "/os-evidence/6389bf75de35a78e0f865e2bc169053b5ee27ffdf555ef58030a8ef3fab731d6.txt",
      "sha256": "6389bf75de35a78e0f865e2bc169053b5ee27ffdf555ef58030a8ef3fab731d6",
      "bytes": 413,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/arm64.log",
      "originalSha256": "518b75530502728fcf7ee56f630f1c553c3d666a4ac3b6221e9b7b43ad7518b8",
      "href": "/os-evidence/518b75530502728fcf7ee56f630f1c553c3d666a4ac3b6221e9b7b43ad7518b8.txt",
      "sha256": "518b75530502728fcf7ee56f630f1c553c3d666a4ac3b6221e9b7b43ad7518b8",
      "bytes": 141,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/clippy.log",
      "originalSha256": "1ab25c810df8b1dbe4bf121e2b6b1090bf8e3960a0e6ea059ba1cfd0a2b98690",
      "href": "/os-evidence/1ab25c810df8b1dbe4bf121e2b6b1090bf8e3960a0e6ea059ba1cfd0a2b98690.txt",
      "sha256": "1ab25c810df8b1dbe4bf121e2b6b1090bf8e3960a0e6ea059ba1cfd0a2b98690",
      "bytes": 372,
      "redacted": false
    },
    {
      "name": "mutant-rx-write.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-rx-write.log",
      "originalSha256": "d378192e0377fbf25ce2ebca4707e226b4a78ef1a6020348b21289b71bebab79",
      "href": "/os-evidence/d378192e0377fbf25ce2ebca4707e226b4a78ef1a6020348b21289b71bebab79.txt",
      "sha256": "d378192e0377fbf25ce2ebca4707e226b4a78ef1a6020348b21289b71bebab79",
      "bytes": 1175,
      "redacted": false
    },
    {
      "name": "descriptor.rs",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-rx-write/os-page-tables/src/descriptor.rs",
      "originalSha256": "787af5aa1f37e41d81c6646627e40a01db86f54aca85f79d01cd96d822e95f66",
      "href": "/os-evidence/787af5aa1f37e41d81c6646627e40a01db86f54aca85f79d01cd96d822e95f66.txt",
      "sha256": "787af5aa1f37e41d81c6646627e40a01db86f54aca85f79d01cd96d822e95f66",
      "bytes": 7518,
      "redacted": false
    },
    {
      "name": "mutant-nx-execute.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-nx-execute.log",
      "originalSha256": "d6476190379f38a301fb11fc3723d5f004166339e3da0099b58c80a0f6b1b5f1",
      "href": "/os-evidence/d6476190379f38a301fb11fc3723d5f004166339e3da0099b58c80a0f6b1b5f1.txt",
      "sha256": "d6476190379f38a301fb11fc3723d5f004166339e3da0099b58c80a0f6b1b5f1",
      "bytes": 1179,
      "redacted": false
    },
    {
      "name": "descriptor.rs",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-nx-execute/os-page-tables/src/descriptor.rs",
      "originalSha256": "8d227c4037c8aad6e39b65d3084195ea5654ca248f5614251931380e8b6486ef",
      "href": "/os-evidence/8d227c4037c8aad6e39b65d3084195ea5654ca248f5614251931380e8b6486ef.txt",
      "sha256": "8d227c4037c8aad6e39b65d3084195ea5654ca248f5614251931380e8b6486ef",
      "bytes": 7516,
      "redacted": false
    },
    {
      "name": "mutant-wx.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-wx.log",
      "originalSha256": "89d976240dc241716149641fb1054c6e9420ce8496b062bac14ad90230699f96",
      "href": "/os-evidence/89d976240dc241716149641fb1054c6e9420ce8496b062bac14ad90230699f96.txt",
      "sha256": "89d976240dc241716149641fb1054c6e9420ce8496b062bac14ad90230699f96",
      "bytes": 1191,
      "redacted": false
    },
    {
      "name": "descriptor.rs",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-wx/os-page-tables/src/descriptor.rs",
      "originalSha256": "625af6e787ef5a11ab77d7d5ff2da4f5a4593e040a40d50c3c959917feaa6d39",
      "href": "/os-evidence/625af6e787ef5a11ab77d7d5ff2da4f5a4593e040a40d50c3c959917feaa6d39.txt",
      "sha256": "625af6e787ef5a11ab77d7d5ff2da4f5a4593e040a40d50c3c959917feaa6d39",
      "bytes": 7510,
      "redacted": false
    },
    {
      "name": "mutant-pa-width.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-pa-width.log",
      "originalSha256": "32eaa1b40339cd12f9bd458413cf73ae7901c99bf0a3b46b28470e6f5a6a1140",
      "href": "/os-evidence/32eaa1b40339cd12f9bd458413cf73ae7901c99bf0a3b46b28470e6f5a6a1140.txt",
      "sha256": "32eaa1b40339cd12f9bd458413cf73ae7901c99bf0a3b46b28470e6f5a6a1140",
      "bytes": 1201,
      "redacted": false
    },
    {
      "name": "descriptor.rs",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-pa-width/os-page-tables/src/descriptor.rs",
      "originalSha256": "2f316d9854626c212084d1451a765952a87d37bc05c868a71a54c36681fc67e5",
      "href": "/os-evidence/2f316d9854626c212084d1451a765952a87d37bc05c868a71a54c36681fc67e5.txt",
      "sha256": "2f316d9854626c212084d1451a765952a87d37bc05c868a71a54c36681fc67e5",
      "bytes": 7499,
      "redacted": false
    },
    {
      "name": "mutant-wrong-index.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-wrong-index.log",
      "originalSha256": "f1fc9dea89c135e02973789e5871bc446cca1fa614cdcef69c1d24909b4473b3",
      "href": "/os-evidence/f1fc9dea89c135e02973789e5871bc446cca1fa614cdcef69c1d24909b4473b3.txt",
      "sha256": "f1fc9dea89c135e02973789e5871bc446cca1fa614cdcef69c1d24909b4473b3",
      "bytes": 1165,
      "redacted": false
    },
    {
      "name": "descriptor.rs",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-wrong-index/os-page-tables/src/descriptor.rs",
      "originalSha256": "20a7d2157495a368824b5a5f3676f1643dfa07b05e1e83d0fdec52243fd7a622",
      "href": "/os-evidence/20a7d2157495a368824b5a5f3676f1643dfa07b05e1e83d0fdec52243fd7a622.txt",
      "sha256": "20a7d2157495a368824b5a5f3676f1643dfa07b05e1e83d0fdec52243fd7a622",
      "bytes": 7531,
      "redacted": false
    },
    {
      "name": "mutant-unknown-mair.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-unknown-mair.log",
      "originalSha256": "888e12afb729e002516f2ef2488e981545b77e2a67472d32e8dd73c1c7989cf1",
      "href": "/os-evidence/888e12afb729e002516f2ef2488e981545b77e2a67472d32e8dd73c1c7989cf1.txt",
      "sha256": "888e12afb729e002516f2ef2488e981545b77e2a67472d32e8dd73c1c7989cf1",
      "bytes": 1325,
      "redacted": false
    },
    {
      "name": "descriptor.rs",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-unknown-mair/os-page-tables/src/descriptor.rs",
      "originalSha256": "3bb9c75ae6747eec34754dc8ac4d4afa344c927ad86ce42e4ed8873302c4d804",
      "href": "/os-evidence/3bb9c75ae6747eec34754dc8ac4d4afa344c927ad86ce42e4ed8873302c4d804.txt",
      "sha256": "3bb9c75ae6747eec34754dc8ac4d4afa344c927ad86ce42e4ed8873302c4d804",
      "bytes": 7493,
      "redacted": false
    },
    {
      "name": "mutant-rollback-leak.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-rollback-leak.log",
      "originalSha256": "90a9bcf7f1746f9d6bb338d93c6942024eb699255d262106f318b01c83f725fc",
      "href": "/os-evidence/90a9bcf7f1746f9d6bb338d93c6942024eb699255d262106f318b01c83f725fc.txt",
      "sha256": "90a9bcf7f1746f9d6bb338d93c6942024eb699255d262106f318b01c83f725fc",
      "bytes": 1679,
      "redacted": false
    },
    {
      "name": "tree.rs",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-rollback-leak/os-page-tables/src/tree.rs",
      "originalSha256": "37e99e93302907b041df776812f608b9c60cbd9739988ef05cb10616e547224d",
      "href": "/os-evidence/37e99e93302907b041df776812f608b9c60cbd9739988ef05cb10616e547224d.txt",
      "sha256": "37e99e93302907b041df776812f608b9c60cbd9739988ef05cb10616e547224d",
      "bytes": 35504,
      "redacted": false
    },
    {
      "name": "mutant-active-root-free.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-active-root-free.log",
      "originalSha256": "c8388e9a7a659622ea0eb5ceb11f7013c1c658d634169675cdc8690884b1df43",
      "href": "/os-evidence/c8388e9a7a659622ea0eb5ceb11f7013c1c658d634169675cdc8690884b1df43.txt",
      "sha256": "c8388e9a7a659622ea0eb5ceb11f7013c1c658d634169675cdc8690884b1df43",
      "bytes": 1218,
      "redacted": false
    },
    {
      "name": "tree.rs",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-active-root-free/os-page-tables/src/tree.rs",
      "originalSha256": "b2ce2eb27a88d696f1b1e70c17b79f696757b97925bcf421e02aad0fafac476e",
      "href": "/os-evidence/b2ce2eb27a88d696f1b1e70c17b79f696757b97925bcf421e02aad0fafac476e.txt",
      "sha256": "b2ce2eb27a88d696f1b1e70c17b79f696757b97925bcf421e02aad0fafac476e",
      "bytes": 35505,
      "redacted": false
    },
    {
      "name": "mutant-stale-page.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-stale-page.log",
      "originalSha256": "70c500a31fa11741860d63ecbc430b452068c9c95c514dac546e27811cbb65fd",
      "href": "/os-evidence/70c500a31fa11741860d63ecbc430b452068c9c95c514dac546e27811cbb65fd.txt",
      "sha256": "70c500a31fa11741860d63ecbc430b452068c9c95c514dac546e27811cbb65fd",
      "bytes": 1628,
      "redacted": false
    },
    {
      "name": "tree.rs",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-stale-page/os-page-tables/src/tree.rs",
      "originalSha256": "0b1b8cb3843602229912c49b075db74231194026ae4d8d85e57b00d383e2f7bf",
      "href": "/os-evidence/0b1b8cb3843602229912c49b075db74231194026ae4d8d85e57b00d383e2f7bf.txt",
      "sha256": "0b1b8cb3843602229912c49b075db74231194026ae4d8d85e57b00d383e2f7bf",
      "bytes": 35521,
      "redacted": false
    },
    {
      "name": "mutant-mapped-page-free.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-mapped-page-free.log",
      "originalSha256": "18b5bde0229715c3c2929999259f3e177072d765d8937b52622221199459e6f2",
      "href": "/os-evidence/18b5bde0229715c3c2929999259f3e177072d765d8937b52622221199459e6f2.txt",
      "sha256": "18b5bde0229715c3c2929999259f3e177072d765d8937b52622221199459e6f2",
      "bytes": 1239,
      "redacted": false
    },
    {
      "name": "tree.rs",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-mapped-page-free/os-page-tables/src/tree.rs",
      "originalSha256": "47cee38b8c63d8907cfc5804cb6f4bc1c8b2807e2f77f8fe9af0bc60c7b4903e",
      "href": "/os-evidence/47cee38b8c63d8907cfc5804cb6f4bc1c8b2807e2f77f8fe9af0bc60c7b4903e.txt",
      "sha256": "47cee38b8c63d8907cfc5804cb6f4bc1c8b2807e2f77f8fe9af0bc60c7b4903e",
      "bytes": 35532,
      "redacted": false
    },
    {
      "name": "mutant-omit-tlbi.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-omit-tlbi.log",
      "originalSha256": "8eb944956a536b2ed91190fbb8fd73495b0b0120f8cb1426c71ecd85f2576292",
      "href": "/os-evidence/8eb944956a536b2ed91190fbb8fd73495b0b0120f8cb1426c71ecd85f2576292.txt",
      "sha256": "8eb944956a536b2ed91190fbb8fd73495b0b0120f8cb1426c71ecd85f2576292",
      "bytes": 1284,
      "redacted": false
    },
    {
      "name": "tree.rs",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-omit-tlbi/os-page-tables/src/tree.rs",
      "originalSha256": "1e68dd4f0a061f36f676279795d3ba7f9f5658ef8abe6866ab0fa4013cb01d57",
      "href": "/os-evidence/1e68dd4f0a061f36f676279795d3ba7f9f5658ef8abe6866ab0fa4013cb01d57.txt",
      "sha256": "1e68dd4f0a061f36f676279795d3ba7f9f5658ef8abe6866ab0fa4013cb01d57",
      "bytes": 35538,
      "redacted": false
    },
    {
      "name": "mutant-forget-retained.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-forget-retained.log",
      "originalSha256": "19ae5ac51387d676db6b64fb950d1dac2739bb71c463a8417bb7285855363576",
      "href": "/os-evidence/19ae5ac51387d676db6b64fb950d1dac2739bb71c463a8417bb7285855363576.txt",
      "sha256": "19ae5ac51387d676db6b64fb950d1dac2739bb71c463a8417bb7285855363576",
      "bytes": 1220,
      "redacted": false
    },
    {
      "name": "tree.rs",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-forget-retained/os-page-tables/src/tree.rs",
      "originalSha256": "37f64649fa7837d26071d8eb9a6f281bd9f0c56cb93c43911deafb64204955ce",
      "href": "/os-evidence/37f64649fa7837d26071d8eb9a6f281bd9f0c56cb93c43911deafb64204955ce.txt",
      "sha256": "37f64649fa7837d26071d8eb9a6f281bd9f0c56cb93c43911deafb64204955ce",
      "bytes": 35446,
      "redacted": false
    },
    {
      "name": "mutant-user-alias-wx.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-user-alias-wx.log",
      "originalSha256": "6d59077d3f20bc2f07447fd56535466ee9cb1038913b23081502dfe89ef91c18",
      "href": "/os-evidence/6d59077d3f20bc2f07447fd56535466ee9cb1038913b23081502dfe89ef91c18.txt",
      "sha256": "6d59077d3f20bc2f07447fd56535466ee9cb1038913b23081502dfe89ef91c18",
      "bytes": 1253,
      "redacted": false
    },
    {
      "name": "tree.rs",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-user-alias-wx/os-page-tables/src/tree.rs",
      "originalSha256": "3a7a5f9291bea207a652d15ccb3c0f865f4247096d8de82e7cabfea78e516025",
      "href": "/os-evidence/3a7a5f9291bea207a652d15ccb3c0f865f4247096d8de82e7cabfea78e516025.txt",
      "sha256": "3a7a5f9291bea207a652d15ccb3c0f865f4247096d8de82e7cabfea78e516025",
      "bytes": 35538,
      "redacted": false
    },
    {
      "name": "mutant-activate-draft.log",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-activate-draft.log",
      "originalSha256": "67a5e80f21bb76643cd352931aa5d7dc832ae6e4458d9b2dfb4e70ca725c6f50",
      "href": "/os-evidence/67a5e80f21bb76643cd352931aa5d7dc832ae6e4458d9b2dfb4e70ca725c6f50.txt",
      "sha256": "67a5e80f21bb76643cd352931aa5d7dc832ae6e4458d9b2dfb4e70ca725c6f50",
      "bytes": 1221,
      "redacted": false
    },
    {
      "name": "tree.rs",
      "source": "reports/os-implementation/K801-K819-bFalcS/mutant-activate-draft/os-page-tables/src/tree.rs",
      "originalSha256": "ad42e12b7d8734dc5aedb196a220c3f03df4052d396bf97f5c5da53b215c8de9",
      "href": "/os-evidence/ad42e12b7d8734dc5aedb196a220c3f03df4052d396bf97f5c5da53b215c8de9.txt",
      "sha256": "ad42e12b7d8734dc5aedb196a220c3f03df4052d396bf97f5c5da53b215c8de9",
      "bytes": 35518,
      "redacted": false
    }
  ],
  "moves": [
    "K801",
    "K802",
    "K803",
    "K804",
    "K806",
    "K807",
    "K808",
    "K809",
    "K811",
    "K812",
    "K813",
    "K814",
    "K816",
    "K817",
    "K818",
    "K819"
  ]
}