{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/report.json",
    "sha256": "76f54db5db46a0ba3510ac6e74b7fb76f7cdca9a788c66cc93d4d2f068755332",
    "bytes": 793039
  },
  "status": "HOST_PREPARED",
  "scope": "Host-only observed scheduler policy. Thirty-five integration and fourteen private tests execute the source-bound frozen Threads Table, AsyncBank and AsyncQueue APIs with three retained host stack byte owners, including 10,000 FIFO selections and duplicate requeue refusals. CPU/DAIF, registers, timer deliveries, body progress, mutex-source epochs and observer faults are MODELED_ONLY; no assembly, physical pin acquisition, actual CPU elapsed hour or acceleration is claimed. An immutable Queue observer gates owning CPU/I1/nonIRQ before backend observation and returns no mutable loan or membership token. Checked private policy identities/generations, exact error-token and constructor-backend custody, live owner chains, actual Table Sleep/Wait and cancellation, no Dead callback, bounded fairness, independent CPU and per-thread ledgers, guard/canary/page-owner preservation and full long-run identity/progress/inventory baselines are covered. Controlled workload episodes reject actual Dead baseline/final transitions, latch any stopped-work or changed-cohort proof, require sixty distinct charged useful-progress advances for every member and at most sixty counter seconds between them, and reject unsampled late progress. Ordinary time accounting continues while a workload proof has failed. No long-term sleeping job is counted as continued workload. The maximum sample gap conservatively includes the whole policy history. K1085/K1090/K1095/K1100 require canonical K1080 and later source/ELF/raw CPU/QMP proof; actual one-hour stability, fresh M1, SMP and general preemption remain pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "config.toml",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/.cargo/config.toml",
      "originalSha256": "a994930d446b472ece3af3d4f8cb189fb3e44bac6d6bd1bd0ad25e0b75f0eed8",
      "href": "/os-evidence/a994930d446b472ece3af3d4f8cb189fb3e44bac6d6bd1bd0ad25e0b75f0eed8.txt",
      "sha256": "a994930d446b472ece3af3d4f8cb189fb3e44bac6d6bd1bd0ad25e0b75f0eed8",
      "bytes": 149,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-context-completion/Cargo.toml",
      "originalSha256": "b8e38041b56a39d0d4eec8d72f16d5e15ea76dfdc90d65b52a640ebfd6c82c16",
      "href": "/os-evidence/b8e38041b56a39d0d4eec8d72f16d5e15ea76dfdc90d65b52a640ebfd6c82c16.txt",
      "sha256": "b8e38041b56a39d0d4eec8d72f16d5e15ea76dfdc90d65b52a640ebfd6c82c16",
      "bytes": 428,
      "redacted": false
    },
    {
      "name": "build.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-context-completion/build.rs",
      "originalSha256": "0122ca9cc555ba2518a1cda8fa463e8eec7a41d8d397d5480d94944c3ababdbe",
      "href": "/os-evidence/0122ca9cc555ba2518a1cda8fa463e8eec7a41d8d397d5480d94944c3ababdbe.txt",
      "sha256": "0122ca9cc555ba2518a1cda8fa463e8eec7a41d8d397d5480d94944c3ababdbe",
      "bytes": 1005,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-context-completion/src/lib.rs",
      "originalSha256": "905bedf724ba5919cf4d3b92f5d054b5d15d1a18eabcb696203ec0b472914b84",
      "href": "/os-evidence/905bedf724ba5919cf4d3b92f5d054b5d15d1a18eabcb696203ec0b472914b84.txt",
      "sha256": "905bedf724ba5919cf4d3b92f5d054b5d15d1a18eabcb696203ec0b472914b84",
      "bytes": 240,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/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/K1081-K1099-preparation-LxQVvv/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/K1081-K1099-preparation-LxQVvv/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/K1081-K1099-preparation-LxQVvv/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/K1081-K1099-preparation-LxQVvv/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/K1081-K1099-preparation-LxQVvv/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/K1081-K1099-preparation-LxQVvv/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/K1081-K1099-preparation-LxQVvv/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/K1081-K1099-preparation-LxQVvv/sources/os-exceptions/tests/exceptions.rs",
      "originalSha256": "c1cfedf8b4bc45abfb0650479a91886e94347455bf8b7284720bac7e53a48d58",
      "href": "/os-evidence/c1cfedf8b4bc45abfb0650479a91886e94347455bf8b7284720bac7e53a48d58.txt",
      "sha256": "c1cfedf8b4bc45abfb0650479a91886e94347455bf8b7284720bac7e53a48d58",
      "bytes": 18863,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-policy-runqueue-observation/CONTRACT.md",
      "originalSha256": "cc7f8d88fb9800a3d6a2a1ed7169553f0077d59ee42a85a78c00b54240062522",
      "href": "/os-evidence/cc7f8d88fb9800a3d6a2a1ed7169553f0077d59ee42a85a78c00b54240062522.txt",
      "sha256": "cc7f8d88fb9800a3d6a2a1ed7169553f0077d59ee42a85a78c00b54240062522",
      "bytes": 487,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-policy-runqueue-observation/Cargo.toml",
      "originalSha256": "24ba246cd5ab1df3e62602809a9b3a32e1dfe55253eab7b0166f4209cfa02d16",
      "href": "/os-evidence/24ba246cd5ab1df3e62602809a9b3a32e1dfe55253eab7b0166f4209cfa02d16.txt",
      "sha256": "24ba246cd5ab1df3e62602809a9b3a32e1dfe55253eab7b0166f4209cfa02d16",
      "bytes": 354,
      "redacted": false
    },
    {
      "name": "build.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-policy-runqueue-observation/build.rs",
      "originalSha256": "55a36cb9480671aabcb088bb4c7e9f70af17659184d593a287d7a1d0f74e6016",
      "href": "/os-evidence/55a36cb9480671aabcb088bb4c7e9f70af17659184d593a287d7a1d0f74e6016.txt",
      "sha256": "55a36cb9480671aabcb088bb4c7e9f70af17659184d593a287d7a1d0f74e6016",
      "bytes": 1167,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-policy-runqueue-observation/src/lib.rs",
      "originalSha256": "a34a64fa30e778d333a8bfd9eb08fa6e873dcc472af11efb603efe752d4a2728",
      "href": "/os-evidence/a34a64fa30e778d333a8bfd9eb08fa6e873dcc472af11efb603efe752d4a2728.txt",
      "sha256": "a34a64fa30e778d333a8bfd9eb08fa6e873dcc472af11efb603efe752d4a2728",
      "bytes": 61,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-runqueue-handoff/Cargo.toml",
      "originalSha256": "03fdb107c21a7010820b7d8b3e1456a5e65bc1277e371521e61e585871e8f8a0",
      "href": "/os-evidence/03fdb107c21a7010820b7d8b3e1456a5e65bc1277e371521e61e585871e8f8a0.txt",
      "sha256": "03fdb107c21a7010820b7d8b3e1456a5e65bc1277e371521e61e585871e8f8a0",
      "bytes": 539,
      "redacted": false
    },
    {
      "name": "build.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-runqueue-handoff/build.rs",
      "originalSha256": "64a3c29978f3e2501008e0210a38ecc9f62056abf0889c58c07b1402155434a1",
      "href": "/os-evidence/64a3c29978f3e2501008e0210a38ecc9f62056abf0889c58c07b1402155434a1.txt",
      "sha256": "64a3c29978f3e2501008e0210a38ecc9f62056abf0889c58c07b1402155434a1",
      "bytes": 907,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-runqueue-handoff/src/lib.rs",
      "originalSha256": "d04b8a688401f638ace6adc3d0dd6a069b36aab60778bbda1f66f5d450a7be6d",
      "href": "/os-evidence/d04b8a688401f638ace6adc3d0dd6a069b36aab60778bbda1f66f5d450a7be6d.txt",
      "sha256": "d04b8a688401f638ace6adc3d0dd6a069b36aab60778bbda1f66f5d450a7be6d",
      "bytes": 228,
      "redacted": false
    },
    {
      "name": "context-model.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-runqueue-handoff/tests/context-model.rs",
      "originalSha256": "bce61bc24a5ecee9eedf65de8a283fc8d8b3a2f30264724bc7ed4205bdfbec3f",
      "href": "/os-evidence/bce61bc24a5ecee9eedf65de8a283fc8d8b3a2f30264724bc7ed4205bdfbec3f.txt",
      "sha256": "bce61bc24a5ecee9eedf65de8a283fc8d8b3a2f30264724bc7ed4205bdfbec3f",
      "bytes": 9417,
      "redacted": false
    },
    {
      "name": "handoff.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-runqueue-handoff/tests/handoff.rs",
      "originalSha256": "5d520e2225eef88a95dbca4fdd054ef4d8e07360b63e0aac3375a4cafd7e747a",
      "href": "/os-evidence/5d520e2225eef88a95dbca4fdd054ef4d8e07360b63e0aac3375a4cafd7e747a.txt",
      "sha256": "5d520e2225eef88a95dbca4fdd054ef4d8e07360b63e0aac3375a4cafd7e747a",
      "bytes": 21430,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-runqueue/Cargo.toml",
      "originalSha256": "a281b5d5842a66e49c567e23087430dd687148790c1c003afdd3a58bfc20bd21",
      "href": "/os-evidence/a281b5d5842a66e49c567e23087430dd687148790c1c003afdd3a58bfc20bd21.txt",
      "sha256": "a281b5d5842a66e49c567e23087430dd687148790c1c003afdd3a58bfc20bd21",
      "bytes": 297,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-runqueue/src/lib.rs",
      "originalSha256": "6e401f9d38606226256c9b9395cf0b665a8f1895469dd45d697be30e320f7ca0",
      "href": "/os-evidence/6e401f9d38606226256c9b9395cf0b665a8f1895469dd45d697be30e320f7ca0.txt",
      "sha256": "6e401f9d38606226256c9b9395cf0b665a8f1895469dd45d697be30e320f7ca0",
      "bytes": 182,
      "redacted": false
    },
    {
      "name": "runqueue.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-runqueue/src/runqueue.rs",
      "originalSha256": "3c5ad2ede38c4e45b67a676ebe7ce6238f3ca96a7f34949f57d645ff456c1faa",
      "href": "/os-evidence/3c5ad2ede38c4e45b67a676ebe7ce6238f3ca96a7f34949f57d645ff456c1faa.txt",
      "sha256": "3c5ad2ede38c4e45b67a676ebe7ce6238f3ca96a7f34949f57d645ff456c1faa",
      "bytes": 29940,
      "redacted": false
    },
    {
      "name": "runqueue.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-runqueue/tests/runqueue.rs",
      "originalSha256": "5b58f27202f4fcdf40acc79b8ff379b85cb198902b655f70a42172b4e75f6de6",
      "href": "/os-evidence/5b58f27202f4fcdf40acc79b8ff379b85cb198902b655f70a42172b4e75f6de6.txt",
      "sha256": "5b58f27202f4fcdf40acc79b8ff379b85cb198902b655f70a42172b4e75f6de6",
      "bytes": 15883,
      "redacted": false
    },
    {
      "name": "context-fixture.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-runqueue/tests/support/context-fixture.rs",
      "originalSha256": "81381dc8276741ccf6a0dfaf638255c5cd12b5a5a07cb99a0d879165e4b90eca",
      "href": "/os-evidence/81381dc8276741ccf6a0dfaf638255c5cd12b5a5a07cb99a0d879165e4b90eca.txt",
      "sha256": "81381dc8276741ccf6a0dfaf638255c5cd12b5a5a07cb99a0d879165e4b90eca",
      "bytes": 21228,
      "redacted": false
    },
    {
      "name": "mod.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-runqueue/tests/support/mod.rs",
      "originalSha256": "f5c2333be47b097d8d260d526c3b6fd018e4a7f5cc597ad1d1885340fd12dd17",
      "href": "/os-evidence/f5c2333be47b097d8d260d526c3b6fd018e4a7f5cc597ad1d1885340fd12dd17.txt",
      "sha256": "f5c2333be47b097d8d260d526c3b6fd018e4a7f5cc597ad1d1885340fd12dd17",
      "bytes": 9989,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-scheduler-policy/CONTRACT.md",
      "originalSha256": "8001d50f56d0ebd8906c291860952d4d0e05cb8f3dc5c72268445b7d7c968445",
      "href": "/os-evidence/8001d50f56d0ebd8906c291860952d4d0e05cb8f3dc5c72268445b7d7c968445.txt",
      "sha256": "8001d50f56d0ebd8906c291860952d4d0e05cb8f3dc5c72268445b7d7c968445",
      "bytes": 3858,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-scheduler-policy/Cargo.toml",
      "originalSha256": "c5a414834d1bb3d7a8a6f1bdbb46ae6df0e5e26e335f023e4d09f1436840ae16",
      "href": "/os-evidence/c5a414834d1bb3d7a8a6f1bdbb46ae6df0e5e26e335f023e4d09f1436840ae16.txt",
      "sha256": "c5a414834d1bb3d7a8a6f1bdbb46ae6df0e5e26e335f023e4d09f1436840ae16",
      "bytes": 512,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-scheduler-policy/src/lib.rs",
      "originalSha256": "4cb95dfed36256f551de3905216e66aed46bef4d1f9a2ef96e14929495bb72c7",
      "href": "/os-evidence/4cb95dfed36256f551de3905216e66aed46bef4d1f9a2ef96e14929495bb72c7.txt",
      "sha256": "4cb95dfed36256f551de3905216e66aed46bef4d1f9a2ef96e14929495bb72c7",
      "bytes": 179,
      "redacted": false
    },
    {
      "name": "policy.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-scheduler-policy/src/policy.rs",
      "originalSha256": "d8b5e001110976c34c9280d0bdcedf239094e34d3e50d75701a7a46569ec00eb",
      "href": "/os-evidence/d8b5e001110976c34c9280d0bdcedf239094e34d3e50d75701a7a46569ec00eb.txt",
      "sha256": "d8b5e001110976c34c9280d0bdcedf239094e34d3e50d75701a7a46569ec00eb",
      "bytes": 36609,
      "redacted": false
    },
    {
      "name": "context-model.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-scheduler-policy/tests/context-model.rs",
      "originalSha256": "4fec3fa0f046bb4cc93da5c0bc07f2e0874bd3bd07458929c2af24e34c61798d",
      "href": "/os-evidence/4fec3fa0f046bb4cc93da5c0bc07f2e0874bd3bd07458929c2af24e34c61798d.txt",
      "sha256": "4fec3fa0f046bb4cc93da5c0bc07f2e0874bd3bd07458929c2af24e34c61798d",
      "bytes": 9599,
      "redacted": false
    },
    {
      "name": "model.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-scheduler-policy/tests/model.rs",
      "originalSha256": "9dee383d2acc94cea9a0c16e7f1e07bb5c4adbe72e3ac830581561fe34614ac8",
      "href": "/os-evidence/9dee383d2acc94cea9a0c16e7f1e07bb5c4adbe72e3ac830581561fe34614ac8.txt",
      "sha256": "9dee383d2acc94cea9a0c16e7f1e07bb5c4adbe72e3ac830581561fe34614ac8",
      "bytes": 11048,
      "redacted": false
    },
    {
      "name": "policy.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-scheduler-policy/tests/policy.rs",
      "originalSha256": "634d699bd85d316ffe49fe8534452a89b08ceae08cf3cf72544998855043a117",
      "href": "/os-evidence/634d699bd85d316ffe49fe8534452a89b08ceae08cf3cf72544998855043a117.txt",
      "sha256": "634d699bd85d316ffe49fe8534452a89b08ceae08cf3cf72544998855043a117",
      "bytes": 18850,
      "redacted": false
    },
    {
      "name": "queue-fixture.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/os-scheduler-policy/tests/queue-fixture.rs",
      "originalSha256": "37aa6e9e4373b5154fe462664aed5c7f75ceb45c814966cb3a901be5b7af2d0e",
      "href": "/os-evidence/37aa6e9e4373b5154fe462664aed5c7f75ceb45c814966cb3a901be5b7af2d0e.txt",
      "sha256": "37aa6e9e4373b5154fe462664aed5c7f75ceb45c814966cb3a901be5b7af2d0e",
      "bytes": 10494,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/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/K1081-K1099-preparation-LxQVvv/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/K1081-K1099-preparation-LxQVvv/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/K1081-K1099-preparation-LxQVvv/sources/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/K1081-K1099-preparation-LxQVvv/sources/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/K1081-K1099-preparation-LxQVvv/sources/scripts/os-acceptance/k1040-context-handoff.rs",
      "originalSha256": "ed0ecda988dc474fd594f67889bae3559a5bd65d21739ae629c6319e0668555c",
      "href": "/os-evidence/ed0ecda988dc474fd594f67889bae3559a5bd65d21739ae629c6319e0668555c.txt",
      "sha256": "ed0ecda988dc474fd594f67889bae3559a5bd65d21739ae629c6319e0668555c",
      "bytes": 15828,
      "redacted": false
    },
    {
      "name": "k1060-runqueue-handoff.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/scripts/os-acceptance/k1060-runqueue-handoff.rs",
      "originalSha256": "6c8cd7e8c65a9f0bf9a3e2dce8a66ed3302abadcd5b4388015c22acd1c1a640e",
      "href": "/os-evidence/6c8cd7e8c65a9f0bf9a3e2dce8a66ed3302abadcd5b4388015c22acd1c1a640e.txt",
      "sha256": "6c8cd7e8c65a9f0bf9a3e2dce8a66ed3302abadcd5b4388015c22acd1c1a640e",
      "bytes": 13569,
      "redacted": false
    },
    {
      "name": "k1100-policy-runqueue-observation.rs",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/sources/scripts/os-acceptance/k1100-policy-runqueue-observation.rs",
      "originalSha256": "1bf10a1ea2c037b24303d4cb203cef473ae8bb413e721c3cbeee1e7c3e25de66",
      "href": "/os-evidence/1bf10a1ea2c037b24303d4cb203cef473ae8bb413e721c3cbeee1e7c3e25de66.txt",
      "sha256": "1bf10a1ea2c037b24303d4cb203cef473ae8bb413e721c3cbeee1e7c3e25de66",
      "bytes": 565,
      "redacted": false
    },
    {
      "name": "integration.log",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/integration.log",
      "originalSha256": "e9478ee7c26e93f408334a634f25ddc403d0d1d08394ccfed9554dac39dfcece",
      "href": "/os-evidence/e9478ee7c26e93f408334a634f25ddc403d0d1d08394ccfed9554dac39dfcece.txt",
      "sha256": "e9478ee7c26e93f408334a634f25ddc403d0d1d08394ccfed9554dac39dfcece",
      "bytes": 3806,
      "redacted": false
    },
    {
      "name": "private.log",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/private.log",
      "originalSha256": "d5c2e9115084f8f5aff60a9dfa81855ffc0fe34221a961516544d82fc593b166",
      "href": "/os-evidence/d5c2e9115084f8f5aff60a9dfa81855ffc0fe34221a961516544d82fc593b166.txt",
      "sha256": "d5c2e9115084f8f5aff60a9dfa81855ffc0fe34221a961516544d82fc593b166",
      "bytes": 1944,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/arm64.log",
      "originalSha256": "44a8d804d0e4f0bd5a946a3c645190a33f7a9055e8767d419ecefd0e0254de14",
      "href": "/os-evidence/44a8d804d0e4f0bd5a946a3c645190a33f7a9055e8767d419ecefd0e0254de14.txt",
      "sha256": "44a8d804d0e4f0bd5a946a3c645190a33f7a9055e8767d419ecefd0e0254de14",
      "bytes": 788,
      "redacted": false
    },
    {
      "name": "format.log",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/format.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K1081-K1099-preparation-LxQVvv/clippy.log",
      "originalSha256": "f6861bdb43753f3929aaa5fb4ca13dae83b36247c17e71ebbc4392be9e667582",
      "href": "/os-evidence/f6861bdb43753f3929aaa5fb4ca13dae83b36247c17e71ebbc4392be9e667582.txt",
      "sha256": "f6861bdb43753f3929aaa5fb4ca13dae83b36247c17e71ebbc4392be9e667582",
      "bytes": 788,
      "redacted": false
    }
  ],
  "moves": [
    "K1081",
    "K1082",
    "K1083",
    "K1084",
    "K1086",
    "K1087",
    "K1088",
    "K1089",
    "K1091",
    "K1092",
    "K1093",
    "K1094",
    "K1096",
    "K1097",
    "K1098",
    "K1099"
  ]
}