{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/report.json",
    "sha256": "3ee943fdaf2755de3e0005a815b7e3fdb3335a2011567bf91803509e1f3f3b35",
    "bytes": 445494
  },
  "status": "HOST_PREPARED",
  "scope": "Frozen actual WaitSet/Table/three-member Queue/CompletionBank and NEW main-only endpoints execute under independently modeled CPU/SP/root/frame/counter. No VM, physical stack, hardware IRQ, numeric acceptance or frozen-source changes.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "config.toml",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/.cargo/config.toml",
      "originalSha256": "a994930d446b472ece3af3d4f8cb189fb3e44bac6d6bd1bd0ad25e0b75f0eed8",
      "href": "/os-evidence/a994930d446b472ece3af3d4f8cb189fb3e44bac6d6bd1bd0ad25e0b75f0eed8.txt",
      "sha256": "a994930d446b472ece3af3d4f8cb189fb3e44bac6d6bd1bd0ad25e0b75f0eed8",
      "bytes": 149,
      "redacted": false
    },
    {
      "name": "config.toml",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/.cargo/config.toml",
      "originalSha256": "a994930d446b472ece3af3d4f8cb189fb3e44bac6d6bd1bd0ad25e0b75f0eed8",
      "href": "/os-evidence/a994930d446b472ece3af3d4f8cb189fb3e44bac6d6bd1bd0ad25e0b75f0eed8.txt",
      "sha256": "a994930d446b472ece3af3d4f8cb189fb3e44bac6d6bd1bd0ad25e0b75f0eed8",
      "bytes": 149,
      "redacted": false
    },
    {
      "name": "build.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-context-handoff/build.rs",
      "originalSha256": "bb312f784cd51434a900112f26c27e71ed6ac1b934a2bbe091a328b269fde613",
      "href": "/os-evidence/bb312f784cd51434a900112f26c27e71ed6ac1b934a2bbe091a328b269fde613.txt",
      "sha256": "bb312f784cd51434a900112f26c27e71ed6ac1b934a2bbe091a328b269fde613",
      "bytes": 912,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-context-handoff/Cargo.toml",
      "originalSha256": "1badf4da0313549b81a978ddc0776ebe69a2db7a43e7dd26d2c2b6ac65c55141",
      "href": "/os-evidence/1badf4da0313549b81a978ddc0776ebe69a2db7a43e7dd26d2c2b6ac65c55141.txt",
      "sha256": "1badf4da0313549b81a978ddc0776ebe69a2db7a43e7dd26d2c2b6ac65c55141",
      "bytes": 350,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-context-handoff/src/lib.rs",
      "originalSha256": "905bedf724ba5919cf4d3b92f5d054b5d15d1a18eabcb696203ec0b472914b84",
      "href": "/os-evidence/905bedf724ba5919cf4d3b92f5d054b5d15d1a18eabcb696203ec0b472914b84.txt",
      "sha256": "905bedf724ba5919cf4d3b92f5d054b5d15d1a18eabcb696203ec0b472914b84",
      "bytes": 240,
      "redacted": false
    },
    {
      "name": "handoff.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-context-handoff/tests/handoff.rs",
      "originalSha256": "03b800492ecace1820137c70bef8eb43482441c6707c72bc295521ae92b10894",
      "href": "/os-evidence/03b800492ecace1820137c70bef8eb43482441c6707c72bc295521ae92b10894.txt",
      "sha256": "03b800492ecace1820137c70bef8eb43482441c6707c72bc295521ae92b10894",
      "bytes": 17146,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-context-switch/Cargo.toml",
      "originalSha256": "76daf993b460b82aff12da87d5fbaa8cea18cc17b0a10a05f491f6d982d05175",
      "href": "/os-evidence/76daf993b460b82aff12da87d5fbaa8cea18cc17b0a10a05f491f6d982d05175.txt",
      "sha256": "76daf993b460b82aff12da87d5fbaa8cea18cc17b0a10a05f491f6d982d05175",
      "bytes": 222,
      "redacted": false
    },
    {
      "name": "context.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-context-switch/src/context.rs",
      "originalSha256": "7525d5841eb1484132fca369e1597de6feb9df492e236cdfe41db3642f080673",
      "href": "/os-evidence/7525d5841eb1484132fca369e1597de6feb9df492e236cdfe41db3642f080673.txt",
      "sha256": "7525d5841eb1484132fca369e1597de6feb9df492e236cdfe41db3642f080673",
      "bytes": 44490,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-context-switch/src/lib.rs",
      "originalSha256": "ff7e22b1a5845c8b7fe89855371a774b19d4fb226562cec40f154915cd7eac72",
      "href": "/os-evidence/ff7e22b1a5845c8b7fe89855371a774b19d4fb226562cec40f154915cd7eac72.txt",
      "sha256": "ff7e22b1a5845c8b7fe89855371a774b19d4fb226562cec40f154915cd7eac72",
      "bytes": 187,
      "redacted": false
    },
    {
      "name": "context.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-context-switch/tests/context.rs",
      "originalSha256": "6e668449cf13df1a00d0263d8e6f100805bcd2f3e9109aa0d8dd7ae85c035c83",
      "href": "/os-evidence/6e668449cf13df1a00d0263d8e6f100805bcd2f3e9109aa0d8dd7ae85c035c83.txt",
      "sha256": "6e668449cf13df1a00d0263d8e6f100805bcd2f3e9109aa0d8dd7ae85c035c83",
      "bytes": 22875,
      "redacted": false
    },
    {
      "name": "mod.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-context-switch/tests/support/mod.rs",
      "originalSha256": "b5f082e16541d8e9a6f446876459f6bb7510772b9aa9534125fc04ae1dc8b405",
      "href": "/os-evidence/b5f082e16541d8e9a6f446876459f6bb7510772b9aa9534125fc04ae1dc8b405.txt",
      "sha256": "b5f082e16541d8e9a6f446876459f6bb7510772b9aa9534125fc04ae1dc8b405",
      "bytes": 20891,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-exceptions/Cargo.toml",
      "originalSha256": "128e557b7ff257361595faa6521e4861fe686897e66b6e4dc11ff68978da710e",
      "href": "/os-evidence/128e557b7ff257361595faa6521e4861fe686897e66b6e4dc11ff68978da710e.txt",
      "sha256": "128e557b7ff257361595faa6521e4861fe686897e66b6e4dc11ff68978da710e",
      "bytes": 102,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-exceptions/src/exceptions.rs",
      "originalSha256": "fe454c0bc146b5cdc2379b11e9598c5b804c7b017ab53b121e3b9181b5fe3e4e",
      "href": "/os-evidence/fe454c0bc146b5cdc2379b11e9598c5b804c7b017ab53b121e3b9181b5fe3e4e.txt",
      "sha256": "fe454c0bc146b5cdc2379b11e9598c5b804c7b017ab53b121e3b9181b5fe3e4e",
      "bytes": 18630,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-exceptions/src/lib.rs",
      "originalSha256": "60633af24e11f106ada3a3cca620c2b8e0d280f2cd854ecabe0dc31f269944df",
      "href": "/os-evidence/60633af24e11f106ada3a3cca620c2b8e0d280f2cd854ecabe0dc31f269944df.txt",
      "sha256": "60633af24e11f106ada3a3cca620c2b8e0d280f2cd854ecabe0dc31f269944df",
      "bytes": 262,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-exceptions/tests/exceptions.rs",
      "originalSha256": "c1cfedf8b4bc45abfb0650479a91886e94347455bf8b7284720bac7e53a48d58",
      "href": "/os-evidence/c1cfedf8b4bc45abfb0650479a91886e94347455bf8b7284720bac7e53a48d58.txt",
      "sha256": "c1cfedf8b4bc45abfb0650479a91886e94347455bf8b7284720bac7e53a48d58",
      "bytes": 18863,
      "redacted": false
    },
    {
      "name": "context-model.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-runqueue-return/tests/context-model.rs",
      "originalSha256": "8f1ef0ca6a50a93d98293806759f46db95a4c01f9c83ad3e8f87553e9c42a77e",
      "href": "/os-evidence/8f1ef0ca6a50a93d98293806759f46db95a4c01f9c83ad3e8f87553e9c42a77e.txt",
      "sha256": "8f1ef0ca6a50a93d98293806759f46db95a4c01f9c83ad3e8f87553e9c42a77e",
      "bytes": 12759,
      "redacted": false
    },
    {
      "name": "runqueue.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-runqueue/src/runqueue.rs",
      "originalSha256": "3c5ad2ede38c4e45b67a676ebe7ce6238f3ca96a7f34949f57d645ff456c1faa",
      "href": "/os-evidence/3c5ad2ede38c4e45b67a676ebe7ce6238f3ca96a7f34949f57d645ff456c1faa.txt",
      "sha256": "3c5ad2ede38c4e45b67a676ebe7ce6238f3ca96a7f34949f57d645ff456c1faa",
      "bytes": 29940,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-thread-wait/Cargo.toml",
      "originalSha256": "8cb1729c405bf18954ced18831f4f0905666c0426fa2c2e2a04b68f53ed8401a",
      "href": "/os-evidence/8cb1729c405bf18954ced18831f4f0905666c0426fa2c2e2a04b68f53ed8401a.txt",
      "sha256": "8cb1729c405bf18954ced18831f4f0905666c0426fa2c2e2a04b68f53ed8401a",
      "bytes": 405,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-thread-wait/CONTRACT.md",
      "originalSha256": "075b830954b8318128cff145c6707fc44709b3bd2477d22fe9cbe7ffdccf4894",
      "href": "/os-evidence/075b830954b8318128cff145c6707fc44709b3bd2477d22fe9cbe7ffdccf4894.txt",
      "sha256": "075b830954b8318128cff145c6707fc44709b3bd2477d22fe9cbe7ffdccf4894",
      "bytes": 4654,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-thread-wait/src/lib.rs",
      "originalSha256": "91955cd074a21ccb298b855e46a6faced0e3f3dd1c20a0d7d7e7f5b4b8c69080",
      "href": "/os-evidence/91955cd074a21ccb298b855e46a6faced0e3f3dd1c20a0d7d7e7f5b4b8c69080.txt",
      "sha256": "91955cd074a21ccb298b855e46a6faced0e3f3dd1c20a0d7d7e7f5b4b8c69080",
      "bytes": 120,
      "redacted": false
    },
    {
      "name": "thread_wait.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-thread-wait/src/thread_wait.rs",
      "originalSha256": "0686e903bca179ae44be7a28b646a3fd575b9f48097aa60077e57f8d21cc3676",
      "href": "/os-evidence/0686e903bca179ae44be7a28b646a3fd575b9f48097aa60077e57f8d21cc3676.txt",
      "sha256": "0686e903bca179ae44be7a28b646a3fd575b9f48097aa60077e57f8d21cc3676",
      "bytes": 25334,
      "redacted": false
    },
    {
      "name": "private_tests.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-thread-wait/src/thread_wait/private_tests.rs",
      "originalSha256": "3817362e9ec298add40c70c808d43ac698916592a40446ab70c671b3710afe13",
      "href": "/os-evidence/3817362e9ec298add40c70c808d43ac698916592a40446ab70c671b3710afe13.txt",
      "sha256": "3817362e9ec298add40c70c808d43ac698916592a40446ab70c671b3710afe13",
      "bytes": 3867,
      "redacted": false
    },
    {
      "name": "handoff_fixture.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-thread-wait/tests/handoff_fixture.rs",
      "originalSha256": "f206dde6968359bf8522c28db6e35a0966d7ece7254f5ca420c1af70e231a9e3",
      "href": "/os-evidence/f206dde6968359bf8522c28db6e35a0966d7ece7254f5ca420c1af70e231a9e3.txt",
      "sha256": "f206dde6968359bf8522c28db6e35a0966d7ece7254f5ca420c1af70e231a9e3",
      "bytes": 9466,
      "redacted": false
    },
    {
      "name": "wait_model.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-thread-wait/tests/wait_model.rs",
      "originalSha256": "3106f3edfa64b393eb397b2f712bfd858de96ed515f863a6c7222bc4fdaaf3da",
      "href": "/os-evidence/3106f3edfa64b393eb397b2f712bfd858de96ed515f863a6c7222bc4fdaaf3da.txt",
      "sha256": "3106f3edfa64b393eb397b2f712bfd858de96ed515f863a6c7222bc4fdaaf3da",
      "bytes": 12497,
      "redacted": false
    },
    {
      "name": "wait.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-thread-wait/tests/wait.rs",
      "originalSha256": "00396b8b1c32f3a26b78b1ad826a4f8f41401eb1927384bb06fea1efae305c9d",
      "href": "/os-evidence/00396b8b1c32f3a26b78b1ad826a4f8f41401eb1927384bb06fea1efae305c9d.txt",
      "sha256": "00396b8b1c32f3a26b78b1ad826a4f8f41401eb1927384bb06fea1efae305c9d",
      "bytes": 19966,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-threads/Cargo.toml",
      "originalSha256": "4848eb9ac64232503f5e48a62d888dc42215f1efa0b06970896a549d30f8f21f",
      "href": "/os-evidence/4848eb9ac64232503f5e48a62d888dc42215f1efa0b06970896a549d30f8f21f.txt",
      "sha256": "4848eb9ac64232503f5e48a62d888dc42215f1efa0b06970896a549d30f8f21f",
      "bytes": 99,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-threads/src/lib.rs",
      "originalSha256": "2aaa2149a43290067ff61c7cb17eaaf0278ca0bbc37ec27601907dc8101240e8",
      "href": "/os-evidence/2aaa2149a43290067ff61c7cb17eaaf0278ca0bbc37ec27601907dc8101240e8.txt",
      "sha256": "2aaa2149a43290067ff61c7cb17eaaf0278ca0bbc37ec27601907dc8101240e8",
      "bytes": 29,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-threads/src/threads.rs",
      "originalSha256": "89415fd42aaf33233d537357aee28924b07f2e23da75100ca110345261e3a7f6",
      "href": "/os-evidence/89415fd42aaf33233d537357aee28924b07f2e23da75100ca110345261e3a7f6.txt",
      "sha256": "89415fd42aaf33233d537357aee28924b07f2e23da75100ca110345261e3a7f6",
      "bytes": 20436,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/os-threads/tests/threads.rs",
      "originalSha256": "3efff5982afe7395073ad0c651c133c63c69745600dd5fef9913a09b485b50dc",
      "href": "/os-evidence/3efff5982afe7395073ad0c651c133c63c69745600dd5fef9913a09b485b50dc.txt",
      "sha256": "3efff5982afe7395073ad0c651c133c63c69745600dd5fef9913a09b485b50dc",
      "bytes": 19517,
      "redacted": false
    },
    {
      "name": "k1040-context-completion.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1040-context-completion.rs",
      "originalSha256": "80879b666dcfdcf40f7a6e10a925d2b1e1a870eb1cd67282b5067e708727e459",
      "href": "/os-evidence/80879b666dcfdcf40f7a6e10a925d2b1e1a870eb1cd67282b5067e708727e459.txt",
      "sha256": "80879b666dcfdcf40f7a6e10a925d2b1e1a870eb1cd67282b5067e708727e459",
      "bytes": 30614,
      "redacted": false
    },
    {
      "name": "k1040-context-handoff.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1040-context-handoff.rs",
      "originalSha256": "ed0ecda988dc474fd594f67889bae3559a5bd65d21739ae629c6319e0668555c",
      "href": "/os-evidence/ed0ecda988dc474fd594f67889bae3559a5bd65d21739ae629c6319e0668555c.txt",
      "sha256": "ed0ecda988dc474fd594f67889bae3559a5bd65d21739ae629c6319e0668555c",
      "bytes": 15828,
      "redacted": false
    },
    {
      "name": "k1040-context-retirement.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1040-context-retirement.rs",
      "originalSha256": "c5c9a9cbc413b638ba0e1845c928066249a1e3226f83b3cc409603e5c392c952",
      "href": "/os-evidence/c5c9a9cbc413b638ba0e1845c928066249a1e3226f83b3cc409603e5c392c952.txt",
      "sha256": "c5c9a9cbc413b638ba0e1845c928066249a1e3226f83b3cc409603e5c392c952",
      "bytes": 17660,
      "redacted": false
    },
    {
      "name": "k1060-context-return-observation.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1060-context-return-observation.rs",
      "originalSha256": "e0d939a272270d601410ba484138e27ddd55e0c852d06a231fef64fe81b68a96",
      "href": "/os-evidence/e0d939a272270d601410ba484138e27ddd55e0c852d06a231fef64fe81b68a96.txt",
      "sha256": "e0d939a272270d601410ba484138e27ddd55e0c852d06a231fef64fe81b68a96",
      "bytes": 1502,
      "redacted": false
    },
    {
      "name": "k1060-runqueue-backend.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1060-runqueue-backend.rs",
      "originalSha256": "0f95458d6ed80110c234b4b7814dfcd76ca500ade06cadc50c2c26ff3f602acd",
      "href": "/os-evidence/0f95458d6ed80110c234b4b7814dfcd76ca500ade06cadc50c2c26ff3f602acd.txt",
      "sha256": "0f95458d6ed80110c234b4b7814dfcd76ca500ade06cadc50c2c26ff3f602acd",
      "bytes": 19629,
      "redacted": false
    },
    {
      "name": "k1060-runqueue-context-services.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1060-runqueue-context-services.rs",
      "originalSha256": "0b061b9bfc34d878d706d7f277b7ce011fe19a864c49f4ec514ff4bfe93dff47",
      "href": "/os-evidence/0b061b9bfc34d878d706d7f277b7ce011fe19a864c49f4ec514ff4bfe93dff47.txt",
      "sha256": "0b061b9bfc34d878d706d7f277b7ce011fe19a864c49f4ec514ff4bfe93dff47",
      "bytes": 2799,
      "redacted": false
    },
    {
      "name": "k1060-runqueue-handoff.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1060-runqueue-handoff.rs",
      "originalSha256": "6c8cd7e8c65a9f0bf9a3e2dce8a66ed3302abadcd5b4388015c22acd1c1a640e",
      "href": "/os-evidence/6c8cd7e8c65a9f0bf9a3e2dce8a66ed3302abadcd5b4388015c22acd1c1a640e.txt",
      "sha256": "6c8cd7e8c65a9f0bf9a3e2dce8a66ed3302abadcd5b4388015c22acd1c1a640e",
      "bytes": 13569,
      "redacted": false
    },
    {
      "name": "k1060-runqueue-observation.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1060-runqueue-observation.rs",
      "originalSha256": "d82bd24ffd7d79c2f9da4296f89804debbcbc473dad866f6c3ecf325f64bfdfd",
      "href": "/os-evidence/d82bd24ffd7d79c2f9da4296f89804debbcbc473dad866f6c3ecf325f64bfdfd.txt",
      "sha256": "d82bd24ffd7d79c2f9da4296f89804debbcbc473dad866f6c3ecf325f64bfdfd",
      "bytes": 4478,
      "redacted": false
    },
    {
      "name": "k1060-runqueue-retirement.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1060-runqueue-retirement.rs",
      "originalSha256": "513609844c64d80b64d555a9aee5e35b074324eb3fbe29e864db288ac9e0b38e",
      "href": "/os-evidence/513609844c64d80b64d555a9aee5e35b074324eb3fbe29e864db288ac9e0b38e.txt",
      "sha256": "513609844c64d80b64d555a9aee5e35b074324eb3fbe29e864db288ac9e0b38e",
      "bytes": 2185,
      "redacted": false
    },
    {
      "name": "k1060-runqueue-return.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1060-runqueue-return.rs",
      "originalSha256": "7969a66fc985c12f2dca077dcdff4ad023e2b58d2eaecdcff06b7be7541a8cdb",
      "href": "/os-evidence/7969a66fc985c12f2dca077dcdff4ad023e2b58d2eaecdcff06b7be7541a8cdb.txt",
      "sha256": "7969a66fc985c12f2dca077dcdff4ad023e2b58d2eaecdcff06b7be7541a8cdb",
      "bytes": 18156,
      "redacted": false
    },
    {
      "name": "k1080-wait-bridge-main.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1080-wait-bridge-main.rs",
      "originalSha256": "9c0ff51e2b89a874d52ef36d68bdb985728fc839eb727f11f7da080db6fb1c6a",
      "href": "/os-evidence/9c0ff51e2b89a874d52ef36d68bdb985728fc839eb727f11f7da080db6fb1c6a.txt",
      "sha256": "9c0ff51e2b89a874d52ef36d68bdb985728fc839eb727f11f7da080db6fb1c6a",
      "bytes": 12301,
      "redacted": false
    },
    {
      "name": "k1080-wait-core-main.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1080-wait-core-main.rs",
      "originalSha256": "a7db4a2fce6cf8db5a558575aab65aaccc2597e56591575f7731b628559fe6fa",
      "href": "/os-evidence/a7db4a2fce6cf8db5a558575aab65aaccc2597e56591575f7731b628559fe6fa.txt",
      "sha256": "a7db4a2fce6cf8db5a558575aab65aaccc2597e56591575f7731b628559fe6fa",
      "bytes": 6711,
      "redacted": false
    },
    {
      "name": "k1080-wait-main-fixture.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1080-wait-main-fixture.mjs",
      "originalSha256": "1895f5bc3f108af0d20d422aabd90fc6ca7cb07cf716839d12d6061c5d7fdf67",
      "href": "/os-evidence/1895f5bc3f108af0d20d422aabd90fc6ca7cb07cf716839d12d6061c5d7fdf67.txt",
      "sha256": "1895f5bc3f108af0d20d422aabd90fc6ca7cb07cf716839d12d6061c5d7fdf67",
      "bytes": 3756,
      "redacted": false
    },
    {
      "name": "k1080-wait-main-host-report.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1080-wait-main-host-report.mjs",
      "originalSha256": "4a3e67e4a44cbb573a05095fc0d6b1d6e520cd8cd89aceae7ba422fb08ce124a",
      "href": "/os-evidence/4a3e67e4a44cbb573a05095fc0d6b1d6e520cd8cd89aceae7ba422fb08ce124a.txt",
      "sha256": "4a3e67e4a44cbb573a05095fc0d6b1d6e520cd8cd89aceae7ba422fb08ce124a",
      "bytes": 5230,
      "redacted": false
    },
    {
      "name": "k1080-wait-main-host.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1080-wait-main-host.mjs",
      "originalSha256": "9a88609b1b4edfcd5d0f0ad179737cbb2a1556c7cf30fd4db95a17db65a215aa",
      "href": "/os-evidence/9a88609b1b4edfcd5d0f0ad179737cbb2a1556c7cf30fd4db95a17db65a215aa.txt",
      "sha256": "9a88609b1b4edfcd5d0f0ad179737cbb2a1556c7cf30fd4db95a17db65a215aa",
      "bytes": 3957,
      "redacted": false
    },
    {
      "name": "k1080-wait-main-mutants.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1080-wait-main-mutants.mjs",
      "originalSha256": "744c01fddb90f4c0537da207f993375e1d6f384ecc4217bbd592e8c5af1dcf7a",
      "href": "/os-evidence/744c01fddb90f4c0537da207f993375e1d6f384ecc4217bbd592e8c5af1dcf7a.txt",
      "sha256": "744c01fddb90f4c0537da207f993375e1d6f384ecc4217bbd592e8c5af1dcf7a",
      "bytes": 3085,
      "redacted": false
    },
    {
      "name": "k1080-wait-main-test-report.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1080-wait-main-test-report.mjs",
      "originalSha256": "3812b233a1c88b8be45e61964c786677e8c6b34b74af7685fffa3d53a6ec7a53",
      "href": "/os-evidence/3812b233a1c88b8be45e61964c786677e8c6b34b74af7685fffa3d53a6ec7a53.txt",
      "sha256": "3812b233a1c88b8be45e61964c786677e8c6b34b74af7685fffa3d53a6ec7a53",
      "bytes": 3838,
      "redacted": false
    },
    {
      "name": "k1080-wait-main-tests.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/k1080-wait-main-tests.rs",
      "originalSha256": "79c8161e782c8ac74fe7075b580c9bbf4ddcfd64a86e3480090608be0e91efeb",
      "href": "/os-evidence/79c8161e782c8ac74fe7075b580c9bbf4ddcfd64a86e3480090608be0e91efeb.txt",
      "sha256": "79c8161e782c8ac74fe7075b580c9bbf4ddcfd64a86e3480090608be0e91efeb",
      "bytes": 15411,
      "redacted": false
    },
    {
      "name": "runqueue-guest-services-fixture.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/runqueue-guest-services-fixture.mjs",
      "originalSha256": "259abd61af8d498b39378f4292e06d564d3fa615e76b009b4011e81cc0de514c",
      "href": "/os-evidence/259abd61af8d498b39378f4292e06d564d3fa615e76b009b4011e81cc0de514c.txt",
      "sha256": "259abd61af8d498b39378f4292e06d564d3fa615e76b009b4011e81cc0de514c",
      "bytes": 2402,
      "redacted": false
    },
    {
      "name": "runqueue-guest-services-host-report.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/runqueue-guest-services-host-report.mjs",
      "originalSha256": "98e1acd03af3abb651f71ea92b7f5343231063c59b8d415ae171f9f3531fec5c",
      "href": "/os-evidence/98e1acd03af3abb651f71ea92b7f5343231063c59b8d415ae171f9f3531fec5c.txt",
      "sha256": "98e1acd03af3abb651f71ea92b7f5343231063c59b8d415ae171f9f3531fec5c",
      "bytes": 11786,
      "redacted": false
    },
    {
      "name": "runqueue-guest-services-host.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/runqueue-guest-services-host.mjs",
      "originalSha256": "f786cd2c38a098dc3d373917d870f5ea31b3f5e3b23ae082de5b99a2b491ebef",
      "href": "/os-evidence/f786cd2c38a098dc3d373917d870f5ea31b3f5e3b23ae082de5b99a2b491ebef.txt",
      "sha256": "f786cd2c38a098dc3d373917d870f5ea31b3f5e3b23ae082de5b99a2b491ebef",
      "bytes": 3698,
      "redacted": false
    },
    {
      "name": "runqueue-guest-services-release.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/runqueue-guest-services-release.rs",
      "originalSha256": "96251acb40a2964cc252c9582034746aa0552584b6fad49156549ecae4b99a73",
      "href": "/os-evidence/96251acb40a2964cc252c9582034746aa0552584b6fad49156549ecae4b99a73.txt",
      "sha256": "96251acb40a2964cc252c9582034746aa0552584b6fad49156549ecae4b99a73",
      "bytes": 1246,
      "redacted": false
    },
    {
      "name": "runqueue-guest-services-smoke.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/runqueue-guest-services-smoke.mjs",
      "originalSha256": "9134d32cad2d0e32f929cbbfa9abc477640799858226c6caef571923b69c2e28",
      "href": "/os-evidence/9134d32cad2d0e32f929cbbfa9abc477640799858226c6caef571923b69c2e28.txt",
      "sha256": "9134d32cad2d0e32f929cbbfa9abc477640799858226c6caef571923b69c2e28",
      "bytes": 3559,
      "redacted": false
    },
    {
      "name": "runqueue-guest-services-sources.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/runqueue-guest-services-sources.mjs",
      "originalSha256": "6a466aad851f5072f748a6257ac9e1d6bfc05d9cae43ca193e11df74eabdcdef",
      "href": "/os-evidence/6a466aad851f5072f748a6257ac9e1d6bfc05d9cae43ca193e11df74eabdcdef.txt",
      "sha256": "6a466aad851f5072f748a6257ac9e1d6bfc05d9cae43ca193e11df74eabdcdef",
      "bytes": 2539,
      "redacted": false
    },
    {
      "name": "runqueue-guest-services-test-host-report.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/runqueue-guest-services-test-host-report.mjs",
      "originalSha256": "2f3d6cac060b294a97270d3834d88cd8c0e8a3982e8b5a167a6b8322540ff204",
      "href": "/os-evidence/2f3d6cac060b294a97270d3834d88cd8c0e8a3982e8b5a167a6b8322540ff204.txt",
      "sha256": "2f3d6cac060b294a97270d3834d88cd8c0e8a3982e8b5a167a6b8322540ff204",
      "bytes": 2179,
      "redacted": false
    },
    {
      "name": "runqueue-guest-services-tests.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/runqueue-guest-services-tests.rs",
      "originalSha256": "66c5185cba0d161494cc779a783b89579da3d2ceaf1e33f2339061f62af3f494",
      "href": "/os-evidence/66c5185cba0d161494cc779a783b89579da3d2ceaf1e33f2339061f62af3f494.txt",
      "sha256": "66c5185cba0d161494cc779a783b89579da3d2ceaf1e33f2339061f62af3f494",
      "bytes": 20639,
      "redacted": false
    },
    {
      "name": "thread-wait-host-report.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/thread-wait-host-report.mjs",
      "originalSha256": "c366897ceadfc47b20e27726e813f52792ed04648a2a95fcd89436bc2d2193a4",
      "href": "/os-evidence/c366897ceadfc47b20e27726e813f52792ed04648a2a95fcd89436bc2d2193a4.txt",
      "sha256": "c366897ceadfc47b20e27726e813f52792ed04648a2a95fcd89436bc2d2193a4",
      "bytes": 14592,
      "redacted": false
    },
    {
      "name": "thread-wait-host.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/thread-wait-host.mjs",
      "originalSha256": "100375323b7362a535208fb0bedb5532da3a1a71868b1479c2fb90e1970d525a",
      "href": "/os-evidence/100375323b7362a535208fb0bedb5532da3a1a71868b1479c2fb90e1970d525a.txt",
      "sha256": "100375323b7362a535208fb0bedb5532da3a1a71868b1479c2fb90e1970d525a",
      "bytes": 4117,
      "redacted": false
    },
    {
      "name": "thread-wait-test-host-report.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/thread-wait-test-host-report.mjs",
      "originalSha256": "4eba174d3fcd8e33be9dfe3186ba8c9291bf8dcb67983e6ce8cd6d1b81640f30",
      "href": "/os-evidence/4eba174d3fcd8e33be9dfe3186ba8c9291bf8dcb67983e6ce8cd6d1b81640f30.txt",
      "sha256": "4eba174d3fcd8e33be9dfe3186ba8c9291bf8dcb67983e6ce8cd6d1b81640f30",
      "bytes": 2601,
      "redacted": false
    },
    {
      "name": "wait-guest-services-backend.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/wait-guest-services-backend.rs",
      "originalSha256": "3266a47e7525baaa11664ab481193feb9ed0dd014f20a449fd1725b24bd9a544",
      "href": "/os-evidence/3266a47e7525baaa11664ab481193feb9ed0dd014f20a449fd1725b24bd9a544.txt",
      "sha256": "3266a47e7525baaa11664ab481193feb9ed0dd014f20a449fd1725b24bd9a544",
      "bytes": 1779,
      "redacted": false
    },
    {
      "name": "wait-guest-services-bridge.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/wait-guest-services-bridge.rs",
      "originalSha256": "e38b177f532079f25fea179892a3e6d02abce2f5077099d62c2bb533e5c08af6",
      "href": "/os-evidence/e38b177f532079f25fea179892a3e6d02abce2f5077099d62c2bb533e5c08af6.txt",
      "sha256": "e38b177f532079f25fea179892a3e6d02abce2f5077099d62c2bb533e5c08af6",
      "bytes": 14289,
      "redacted": false
    },
    {
      "name": "wait-guest-services-context.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/wait-guest-services-context.rs",
      "originalSha256": "337c8354230d8dcac03941e010bd7ba25acf41dece22ee3e431badeaafd0f277",
      "href": "/os-evidence/337c8354230d8dcac03941e010bd7ba25acf41dece22ee3e431badeaafd0f277.txt",
      "sha256": "337c8354230d8dcac03941e010bd7ba25acf41dece22ee3e431badeaafd0f277",
      "bytes": 5367,
      "redacted": false
    },
    {
      "name": "wait-guest-services-contract.md",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/wait-guest-services-contract.md",
      "originalSha256": "3bd385eb4aa3c4fbaad281146742c3be2bf2671b9c8ae293089bcd32527a744b",
      "href": "/os-evidence/3bd385eb4aa3c4fbaad281146742c3be2bf2671b9c8ae293089bcd32527a744b.txt",
      "sha256": "3bd385eb4aa3c4fbaad281146742c3be2bf2671b9c8ae293089bcd32527a744b",
      "bytes": 4145,
      "redacted": false
    },
    {
      "name": "wait-guest-services-fixture.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/wait-guest-services-fixture.mjs",
      "originalSha256": "7f8acd9b0f58efbd678c47f1eb8876e81ee5e8f62d39496289d80b3af504e6eb",
      "href": "/os-evidence/7f8acd9b0f58efbd678c47f1eb8876e81ee5e8f62d39496289d80b3af504e6eb.txt",
      "sha256": "7f8acd9b0f58efbd678c47f1eb8876e81ee5e8f62d39496289d80b3af504e6eb",
      "bytes": 2543,
      "redacted": false
    },
    {
      "name": "wait-guest-services-host-report.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/wait-guest-services-host-report.mjs",
      "originalSha256": "ebfcafeb47bb0da14685b117e9deb4ade5bd8b40936a5e10fec9895c181157f3",
      "href": "/os-evidence/ebfcafeb47bb0da14685b117e9deb4ade5bd8b40936a5e10fec9895c181157f3.txt",
      "sha256": "ebfcafeb47bb0da14685b117e9deb4ade5bd8b40936a5e10fec9895c181157f3",
      "bytes": 12434,
      "redacted": false
    },
    {
      "name": "wait-guest-services-host.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/wait-guest-services-host.mjs",
      "originalSha256": "1e1a6afa8cd6b809afb66b573d1a17c420804469a1cd800ccf566dbbe0e2d27c",
      "href": "/os-evidence/1e1a6afa8cd6b809afb66b573d1a17c420804469a1cd800ccf566dbbe0e2d27c.txt",
      "sha256": "1e1a6afa8cd6b809afb66b573d1a17c420804469a1cd800ccf566dbbe0e2d27c",
      "bytes": 3675,
      "redacted": false
    },
    {
      "name": "wait-guest-services-ingress.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/wait-guest-services-ingress.rs",
      "originalSha256": "b4a42188794db33207fec6da095cd8ad551b23041a4d30cc77bf77b92d40c03f",
      "href": "/os-evidence/b4a42188794db33207fec6da095cd8ad551b23041a4d30cc77bf77b92d40c03f.txt",
      "sha256": "b4a42188794db33207fec6da095cd8ad551b23041a4d30cc77bf77b92d40c03f",
      "bytes": 741,
      "redacted": false
    },
    {
      "name": "wait-guest-services-queue.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/wait-guest-services-queue.rs",
      "originalSha256": "c718b14b497b1389688a17d1a765a8023950e8d565a8a9fa3e0244f2a77bd693",
      "href": "/os-evidence/c718b14b497b1389688a17d1a765a8023950e8d565a8a9fa3e0244f2a77bd693.txt",
      "sha256": "c718b14b497b1389688a17d1a765a8023950e8d565a8a9fa3e0244f2a77bd693",
      "bytes": 4361,
      "redacted": false
    },
    {
      "name": "wait-guest-services-smoke.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/wait-guest-services-smoke.mjs",
      "originalSha256": "dbac128d0a81978b55cba6e1329837728d0af9905afbfee37875116cee5695fe",
      "href": "/os-evidence/dbac128d0a81978b55cba6e1329837728d0af9905afbfee37875116cee5695fe.txt",
      "sha256": "dbac128d0a81978b55cba6e1329837728d0af9905afbfee37875116cee5695fe",
      "bytes": 1336,
      "redacted": false
    },
    {
      "name": "wait-guest-services-sources.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/wait-guest-services-sources.mjs",
      "originalSha256": "8f0bba7c4e6f765fb73513415780ffea85e82826ecf1a20b5ca4fa5039df7e4c",
      "href": "/os-evidence/8f0bba7c4e6f765fb73513415780ffea85e82826ecf1a20b5ca4fa5039df7e4c.txt",
      "sha256": "8f0bba7c4e6f765fb73513415780ffea85e82826ecf1a20b5ca4fa5039df7e4c",
      "bytes": 1242,
      "redacted": false
    },
    {
      "name": "wait-guest-services-test-host-report.mjs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/wait-guest-services-test-host-report.mjs",
      "originalSha256": "1158ed9002a673e30904cf68622230fb764e0ebf5d712d0aa407ba1106cc2249",
      "href": "/os-evidence/1158ed9002a673e30904cf68622230fb764e0ebf5d712d0aa407ba1106cc2249.txt",
      "sha256": "1158ed9002a673e30904cf68622230fb764e0ebf5d712d0aa407ba1106cc2249",
      "bytes": 5747,
      "redacted": false
    },
    {
      "name": "wait-guest-services-tests.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/bound-inputs/scripts/os-acceptance/wait-guest-services-tests.rs",
      "originalSha256": "897a41a92b732b9bfe3e7e129356914d3dafd3c375c9531cec4079f30a677471",
      "href": "/os-evidence/897a41a92b732b9bfe3e7e129356914d3dafd3c375c9531cec4079f30a677471.txt",
      "sha256": "897a41a92b732b9bfe3e7e129356914d3dafd3c375c9531cec4079f30a677471",
      "bytes": 31766,
      "redacted": false
    },
    {
      "name": "build.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-context-handoff/build.rs",
      "originalSha256": "bb312f784cd51434a900112f26c27e71ed6ac1b934a2bbe091a328b269fde613",
      "href": "/os-evidence/bb312f784cd51434a900112f26c27e71ed6ac1b934a2bbe091a328b269fde613.txt",
      "sha256": "bb312f784cd51434a900112f26c27e71ed6ac1b934a2bbe091a328b269fde613",
      "bytes": 912,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-context-handoff/Cargo.toml",
      "originalSha256": "1badf4da0313549b81a978ddc0776ebe69a2db7a43e7dd26d2c2b6ac65c55141",
      "href": "/os-evidence/1badf4da0313549b81a978ddc0776ebe69a2db7a43e7dd26d2c2b6ac65c55141.txt",
      "sha256": "1badf4da0313549b81a978ddc0776ebe69a2db7a43e7dd26d2c2b6ac65c55141",
      "bytes": 350,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-context-handoff/src/lib.rs",
      "originalSha256": "905bedf724ba5919cf4d3b92f5d054b5d15d1a18eabcb696203ec0b472914b84",
      "href": "/os-evidence/905bedf724ba5919cf4d3b92f5d054b5d15d1a18eabcb696203ec0b472914b84.txt",
      "sha256": "905bedf724ba5919cf4d3b92f5d054b5d15d1a18eabcb696203ec0b472914b84",
      "bytes": 240,
      "redacted": false
    },
    {
      "name": "handoff.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-context-handoff/tests/handoff.rs",
      "originalSha256": "03b800492ecace1820137c70bef8eb43482441c6707c72bc295521ae92b10894",
      "href": "/os-evidence/03b800492ecace1820137c70bef8eb43482441c6707c72bc295521ae92b10894.txt",
      "sha256": "03b800492ecace1820137c70bef8eb43482441c6707c72bc295521ae92b10894",
      "bytes": 17146,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-context-switch/Cargo.toml",
      "originalSha256": "76daf993b460b82aff12da87d5fbaa8cea18cc17b0a10a05f491f6d982d05175",
      "href": "/os-evidence/76daf993b460b82aff12da87d5fbaa8cea18cc17b0a10a05f491f6d982d05175.txt",
      "sha256": "76daf993b460b82aff12da87d5fbaa8cea18cc17b0a10a05f491f6d982d05175",
      "bytes": 222,
      "redacted": false
    },
    {
      "name": "context.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-context-switch/src/context.rs",
      "originalSha256": "7525d5841eb1484132fca369e1597de6feb9df492e236cdfe41db3642f080673",
      "href": "/os-evidence/7525d5841eb1484132fca369e1597de6feb9df492e236cdfe41db3642f080673.txt",
      "sha256": "7525d5841eb1484132fca369e1597de6feb9df492e236cdfe41db3642f080673",
      "bytes": 44490,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-context-switch/src/lib.rs",
      "originalSha256": "ff7e22b1a5845c8b7fe89855371a774b19d4fb226562cec40f154915cd7eac72",
      "href": "/os-evidence/ff7e22b1a5845c8b7fe89855371a774b19d4fb226562cec40f154915cd7eac72.txt",
      "sha256": "ff7e22b1a5845c8b7fe89855371a774b19d4fb226562cec40f154915cd7eac72",
      "bytes": 187,
      "redacted": false
    },
    {
      "name": "context.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-context-switch/tests/context.rs",
      "originalSha256": "6e668449cf13df1a00d0263d8e6f100805bcd2f3e9109aa0d8dd7ae85c035c83",
      "href": "/os-evidence/6e668449cf13df1a00d0263d8e6f100805bcd2f3e9109aa0d8dd7ae85c035c83.txt",
      "sha256": "6e668449cf13df1a00d0263d8e6f100805bcd2f3e9109aa0d8dd7ae85c035c83",
      "bytes": 22875,
      "redacted": false
    },
    {
      "name": "mod.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-context-switch/tests/support/mod.rs",
      "originalSha256": "b5f082e16541d8e9a6f446876459f6bb7510772b9aa9534125fc04ae1dc8b405",
      "href": "/os-evidence/b5f082e16541d8e9a6f446876459f6bb7510772b9aa9534125fc04ae1dc8b405.txt",
      "sha256": "b5f082e16541d8e9a6f446876459f6bb7510772b9aa9534125fc04ae1dc8b405",
      "bytes": 20891,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-exceptions/Cargo.toml",
      "originalSha256": "128e557b7ff257361595faa6521e4861fe686897e66b6e4dc11ff68978da710e",
      "href": "/os-evidence/128e557b7ff257361595faa6521e4861fe686897e66b6e4dc11ff68978da710e.txt",
      "sha256": "128e557b7ff257361595faa6521e4861fe686897e66b6e4dc11ff68978da710e",
      "bytes": 102,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-exceptions/src/exceptions.rs",
      "originalSha256": "fe454c0bc146b5cdc2379b11e9598c5b804c7b017ab53b121e3b9181b5fe3e4e",
      "href": "/os-evidence/fe454c0bc146b5cdc2379b11e9598c5b804c7b017ab53b121e3b9181b5fe3e4e.txt",
      "sha256": "fe454c0bc146b5cdc2379b11e9598c5b804c7b017ab53b121e3b9181b5fe3e4e",
      "bytes": 18630,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-exceptions/src/lib.rs",
      "originalSha256": "60633af24e11f106ada3a3cca620c2b8e0d280f2cd854ecabe0dc31f269944df",
      "href": "/os-evidence/60633af24e11f106ada3a3cca620c2b8e0d280f2cd854ecabe0dc31f269944df.txt",
      "sha256": "60633af24e11f106ada3a3cca620c2b8e0d280f2cd854ecabe0dc31f269944df",
      "bytes": 262,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-exceptions/tests/exceptions.rs",
      "originalSha256": "c1cfedf8b4bc45abfb0650479a91886e94347455bf8b7284720bac7e53a48d58",
      "href": "/os-evidence/c1cfedf8b4bc45abfb0650479a91886e94347455bf8b7284720bac7e53a48d58.txt",
      "sha256": "c1cfedf8b4bc45abfb0650479a91886e94347455bf8b7284720bac7e53a48d58",
      "bytes": 18863,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-k1080-wait-main/Cargo.toml",
      "originalSha256": "c621d0d47eb561ff3d4022db41e7c219d43cd594cbbee4d7d182f23ce24acc2c",
      "href": "/os-evidence/c621d0d47eb561ff3d4022db41e7c219d43cd594cbbee4d7d182f23ce24acc2c.txt",
      "sha256": "c621d0d47eb561ff3d4022db41e7c219d43cd594cbbee4d7d182f23ce24acc2c",
      "bytes": 294,
      "redacted": false
    },
    {
      "name": "backend.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-k1080-wait-main/src/backend.rs",
      "originalSha256": "519606b9969a9586c215c520f262d57a4e67cbd6f194a67ad9b8333f14b6c108",
      "href": "/os-evidence/519606b9969a9586c215c520f262d57a4e67cbd6f194a67ad9b8333f14b6c108.txt",
      "sha256": "519606b9969a9586c215c520f262d57a4e67cbd6f194a67ad9b8333f14b6c108",
      "bytes": 21460,
      "redacted": false
    },
    {
      "name": "bridge.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-k1080-wait-main/src/bridge.rs",
      "originalSha256": "671b66a8d0e613ca5adae2cc0017f1f666b35bc8e176791e1c5f12df4a0bd1d8",
      "href": "/os-evidence/671b66a8d0e613ca5adae2cc0017f1f666b35bc8e176791e1c5f12df4a0bd1d8.txt",
      "sha256": "671b66a8d0e613ca5adae2cc0017f1f666b35bc8e176791e1c5f12df4a0bd1d8",
      "bytes": 26573,
      "redacted": false
    },
    {
      "name": "context.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-k1080-wait-main/src/context.rs",
      "originalSha256": "108c89f65f77448283ff7cd8b3cd8e665f355da763f9e7d92f79ff365e6273a2",
      "href": "/os-evidence/108c89f65f77448283ff7cd8b3cd8e665f355da763f9e7d92f79ff365e6273a2.txt",
      "sha256": "108c89f65f77448283ff7cd8b3cd8e665f355da763f9e7d92f79ff365e6273a2",
      "bytes": 118149,
      "redacted": false
    },
    {
      "name": "ingress.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-k1080-wait-main/src/ingress.rs",
      "originalSha256": "4144b574b396c835913db9c15b5779e7859253354ae18f8a8f24b193ee8a5421",
      "href": "/os-evidence/4144b574b396c835913db9c15b5779e7859253354ae18f8a8f24b193ee8a5421.txt",
      "sha256": "4144b574b396c835913db9c15b5779e7859253354ae18f8a8f24b193ee8a5421",
      "bytes": 723,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-k1080-wait-main/src/lib.rs",
      "originalSha256": "c0f4a214e6327bda35d7c97c73afeeb6c3eee5a67e8d0657df61b0dff795a058",
      "href": "/os-evidence/c0f4a214e6327bda35d7c97c73afeeb6c3eee5a67e8d0657df61b0dff795a058.txt",
      "sha256": "c0f4a214e6327bda35d7c97c73afeeb6c3eee5a67e8d0657df61b0dff795a058",
      "bytes": 293,
      "redacted": false
    },
    {
      "name": "runqueue.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-k1080-wait-main/src/runqueue.rs",
      "originalSha256": "f12f0bef6e4deec49dffc7ed3a3305abc5c962646c51d20bb1e7b5f7ea46e170",
      "href": "/os-evidence/f12f0bef6e4deec49dffc7ed3a3305abc5c962646c51d20bb1e7b5f7ea46e170.txt",
      "sha256": "f12f0bef6e4deec49dffc7ed3a3305abc5c962646c51d20bb1e7b5f7ea46e170",
      "bytes": 72639,
      "redacted": false
    },
    {
      "name": "wait_core.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-k1080-wait-main/src/wait_core.rs",
      "originalSha256": "0744f726ba5c072543206d40bf9cafcc83254c771b564eca35b6aecb4333285e",
      "href": "/os-evidence/0744f726ba5c072543206d40bf9cafcc83254c771b564eca35b6aecb4333285e.txt",
      "sha256": "0744f726ba5c072543206d40bf9cafcc83254c771b564eca35b6aecb4333285e",
      "bytes": 32046,
      "redacted": false
    },
    {
      "name": "backend-under-test.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-k1080-wait-main/tests/backend-under-test.rs",
      "originalSha256": "fd39872d485ee45272d42894f03e891c84fec1793650a93137dff487d639435e",
      "href": "/os-evidence/fd39872d485ee45272d42894f03e891c84fec1793650a93137dff487d639435e.txt",
      "sha256": "fd39872d485ee45272d42894f03e891c84fec1793650a93137dff487d639435e",
      "bytes": 21316,
      "redacted": false
    },
    {
      "name": "context-model.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-k1080-wait-main/tests/context-model.rs",
      "originalSha256": "5d57ee2a0ad8159864ce7cebe2c6e0d1aa30489f5b5d01e10d69fe046c33b865",
      "href": "/os-evidence/5d57ee2a0ad8159864ce7cebe2c6e0d1aa30489f5b5d01e10d69fe046c33b865.txt",
      "sha256": "5d57ee2a0ad8159864ce7cebe2c6e0d1aa30489f5b5d01e10d69fe046c33b865",
      "bytes": 14413,
      "redacted": false
    },
    {
      "name": "saved.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-k1080-wait-main/tests/saved.rs",
      "originalSha256": "a806ef6e1a239e9c05cca77c0a60e99caf192c6932c3c395ad3e92c280e8e657",
      "href": "/os-evidence/a806ef6e1a239e9c05cca77c0a60e99caf192c6932c3c395ad3e92c280e8e657.txt",
      "sha256": "a806ef6e1a239e9c05cca77c0a60e99caf192c6932c3c395ad3e92c280e8e657",
      "bytes": 20893,
      "redacted": false
    },
    {
      "name": "services-prefix.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-k1080-wait-main/tests/services-prefix.rs",
      "originalSha256": "392cb77c020bbf4e0ebbf3063b2cb1df85cd4c35739376f9c4a471d88e982bc6",
      "href": "/os-evidence/392cb77c020bbf4e0ebbf3063b2cb1df85cd4c35739376f9c4a471d88e982bc6.txt",
      "sha256": "392cb77c020bbf4e0ebbf3063b2cb1df85cd4c35739376f9c4a471d88e982bc6",
      "bytes": 5562,
      "redacted": false
    },
    {
      "name": "services.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-k1080-wait-main/tests/services.rs",
      "originalSha256": "744fd165a4896b8f543c3d9115ab4c3a0fab581d14f64479227a348a1df3176b",
      "href": "/os-evidence/744fd165a4896b8f543c3d9115ab4c3a0fab581d14f64479227a348a1df3176b.txt",
      "sha256": "744fd165a4896b8f543c3d9115ab4c3a0fab581d14f64479227a348a1df3176b",
      "bytes": 47164,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-thread-wait/Cargo.toml",
      "originalSha256": "8cb1729c405bf18954ced18831f4f0905666c0426fa2c2e2a04b68f53ed8401a",
      "href": "/os-evidence/8cb1729c405bf18954ced18831f4f0905666c0426fa2c2e2a04b68f53ed8401a.txt",
      "sha256": "8cb1729c405bf18954ced18831f4f0905666c0426fa2c2e2a04b68f53ed8401a",
      "bytes": 405,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-thread-wait/CONTRACT.md",
      "originalSha256": "075b830954b8318128cff145c6707fc44709b3bd2477d22fe9cbe7ffdccf4894",
      "href": "/os-evidence/075b830954b8318128cff145c6707fc44709b3bd2477d22fe9cbe7ffdccf4894.txt",
      "sha256": "075b830954b8318128cff145c6707fc44709b3bd2477d22fe9cbe7ffdccf4894",
      "bytes": 4654,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-thread-wait/src/lib.rs",
      "originalSha256": "91955cd074a21ccb298b855e46a6faced0e3f3dd1c20a0d7d7e7f5b4b8c69080",
      "href": "/os-evidence/91955cd074a21ccb298b855e46a6faced0e3f3dd1c20a0d7d7e7f5b4b8c69080.txt",
      "sha256": "91955cd074a21ccb298b855e46a6faced0e3f3dd1c20a0d7d7e7f5b4b8c69080",
      "bytes": 120,
      "redacted": false
    },
    {
      "name": "thread_wait.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-thread-wait/src/thread_wait.rs",
      "originalSha256": "0686e903bca179ae44be7a28b646a3fd575b9f48097aa60077e57f8d21cc3676",
      "href": "/os-evidence/0686e903bca179ae44be7a28b646a3fd575b9f48097aa60077e57f8d21cc3676.txt",
      "sha256": "0686e903bca179ae44be7a28b646a3fd575b9f48097aa60077e57f8d21cc3676",
      "bytes": 25334,
      "redacted": false
    },
    {
      "name": "private_tests.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-thread-wait/src/thread_wait/private_tests.rs",
      "originalSha256": "3817362e9ec298add40c70c808d43ac698916592a40446ab70c671b3710afe13",
      "href": "/os-evidence/3817362e9ec298add40c70c808d43ac698916592a40446ab70c671b3710afe13.txt",
      "sha256": "3817362e9ec298add40c70c808d43ac698916592a40446ab70c671b3710afe13",
      "bytes": 3867,
      "redacted": false
    },
    {
      "name": "handoff_fixture.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-thread-wait/tests/handoff_fixture.rs",
      "originalSha256": "f206dde6968359bf8522c28db6e35a0966d7ece7254f5ca420c1af70e231a9e3",
      "href": "/os-evidence/f206dde6968359bf8522c28db6e35a0966d7ece7254f5ca420c1af70e231a9e3.txt",
      "sha256": "f206dde6968359bf8522c28db6e35a0966d7ece7254f5ca420c1af70e231a9e3",
      "bytes": 9466,
      "redacted": false
    },
    {
      "name": "wait_model.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-thread-wait/tests/wait_model.rs",
      "originalSha256": "3106f3edfa64b393eb397b2f712bfd858de96ed515f863a6c7222bc4fdaaf3da",
      "href": "/os-evidence/3106f3edfa64b393eb397b2f712bfd858de96ed515f863a6c7222bc4fdaaf3da.txt",
      "sha256": "3106f3edfa64b393eb397b2f712bfd858de96ed515f863a6c7222bc4fdaaf3da",
      "bytes": 12497,
      "redacted": false
    },
    {
      "name": "wait.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-thread-wait/tests/wait.rs",
      "originalSha256": "00396b8b1c32f3a26b78b1ad826a4f8f41401eb1927384bb06fea1efae305c9d",
      "href": "/os-evidence/00396b8b1c32f3a26b78b1ad826a4f8f41401eb1927384bb06fea1efae305c9d.txt",
      "sha256": "00396b8b1c32f3a26b78b1ad826a4f8f41401eb1927384bb06fea1efae305c9d",
      "bytes": 19966,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-threads/Cargo.toml",
      "originalSha256": "4848eb9ac64232503f5e48a62d888dc42215f1efa0b06970896a549d30f8f21f",
      "href": "/os-evidence/4848eb9ac64232503f5e48a62d888dc42215f1efa0b06970896a549d30f8f21f.txt",
      "sha256": "4848eb9ac64232503f5e48a62d888dc42215f1efa0b06970896a549d30f8f21f",
      "bytes": 99,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-threads/src/lib.rs",
      "originalSha256": "2aaa2149a43290067ff61c7cb17eaaf0278ca0bbc37ec27601907dc8101240e8",
      "href": "/os-evidence/2aaa2149a43290067ff61c7cb17eaaf0278ca0bbc37ec27601907dc8101240e8.txt",
      "sha256": "2aaa2149a43290067ff61c7cb17eaaf0278ca0bbc37ec27601907dc8101240e8",
      "bytes": 29,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-threads/src/threads.rs",
      "originalSha256": "89415fd42aaf33233d537357aee28924b07f2e23da75100ca110345261e3a7f6",
      "href": "/os-evidence/89415fd42aaf33233d537357aee28924b07f2e23da75100ca110345261e3a7f6.txt",
      "sha256": "89415fd42aaf33233d537357aee28924b07f2e23da75100ca110345261e3a7f6",
      "bytes": 20436,
      "redacted": false
    },
    {
      "name": "threads.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/os-threads/tests/threads.rs",
      "originalSha256": "3efff5982afe7395073ad0c651c133c63c69745600dd5fef9913a09b485b50dc",
      "href": "/os-evidence/3efff5982afe7395073ad0c651c133c63c69745600dd5fef9913a09b485b50dc.txt",
      "sha256": "3efff5982afe7395073ad0c651c133c63c69745600dd5fef9913a09b485b50dc",
      "bytes": 19517,
      "redacted": false
    },
    {
      "name": "k1040-context-handoff.rs",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/sources/scripts/os-acceptance/k1040-context-handoff.rs",
      "originalSha256": "ed0ecda988dc474fd594f67889bae3559a5bd65d21739ae629c6319e0668555c",
      "href": "/os-evidence/ed0ecda988dc474fd594f67889bae3559a5bd65d21739ae629c6319e0668555c.txt",
      "sha256": "ed0ecda988dc474fd594f67889bae3559a5bd65d21739ae629c6319e0668555c",
      "bytes": 15828,
      "redacted": false
    },
    {
      "name": "tests.log",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/tests.log",
      "originalSha256": "9c178250a4f640fcd920b6d4c9eb704b8d6bbd90129472b60c62876874b39e40",
      "href": "/os-evidence/9c178250a4f640fcd920b6d4c9eb704b8d6bbd90129472b60c62876874b39e40.txt",
      "sha256": "9c178250a4f640fcd920b6d4c9eb704b8d6bbd90129472b60c62876874b39e40",
      "bytes": 3825,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/arm64.log",
      "originalSha256": "31f3ac4a11c172d12fc676c182f5dae883d600129f3dced9dcd7e030203c4ad7",
      "href": "/os-evidence/31f3ac4a11c172d12fc676c182f5dae883d600129f3dced9dcd7e030203c4ad7.txt",
      "sha256": "31f3ac4a11c172d12fc676c182f5dae883d600129f3dced9dcd7e030203c4ad7",
      "bytes": 622,
      "redacted": false
    },
    {
      "name": "format.log",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/format.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K1080-wait-main-preparation-s9igmw/clippy.log",
      "originalSha256": "813d43a6d513aeb8840f5fcd0e1e491fdad9fa9b13f10ebfe081e0f6067cdb3c",
      "href": "/os-evidence/813d43a6d513aeb8840f5fcd0e1e491fdad9fa9b13f10ebfe081e0f6067cdb3c.txt",
      "sha256": "813d43a6d513aeb8840f5fcd0e1e491fdad9fa9b13f10ebfe081e0f6067cdb3c",
      "bytes": 622,
      "redacted": false
    }
  ],
  "moves": [
    "K1061",
    "K1062",
    "K1063",
    "K1064",
    "K1066",
    "K1067",
    "K1068",
    "K1069",
    "K1071",
    "K1072",
    "K1073",
    "K1074",
    "K1076",
    "K1077",
    "K1078",
    "K1079"
  ]
}