{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/report.json",
    "sha256": "b281bb52c0683a59556941dbfd56d7c9ec9b9680c6c58df25dd8bc7c2d2797b6",
    "bytes": 260865
  },
  "status": "HOST_PREPARED",
  "scope": "Host-only K1101–K1119 bounded process table. Twenty-five integration and four private tests execute real frozen Threads Table/ThreadId, Spaces/Handle, Registry/Handle and nonclone Pin APIs. CPU/IRQ, RAM backing, ASID operations and publication callbacks are explicit host model values; no CPU, assembly, EL0, physical page, one-hour or guest acceptance is claimed. Hidden nonclone reservations bind checked episodes, PID generations change only at real callback publication, partial bags roll back or retain in quarantine, actual current-parent authority binds full identities, child results deliver once after retirement, and complete typed owner graphs reject aliasing. Host-fixture mutable access is compiled out for target_os=none. Actual K1105/K1110/K1115/K1120 remain pending canonical K1100 and source/ELF/QMP integration; physical M1, SMP and product release are not accepted.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "config.toml",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/sources/.cargo/config.toml",
      "originalSha256": "a994930d446b472ece3af3d4f8cb189fb3e44bac6d6bd1bd0ad25e0b75f0eed8",
      "href": "/os-evidence/a994930d446b472ece3af3d4f8cb189fb3e44bac6d6bd1bd0ad25e0b75f0eed8.txt",
      "sha256": "a994930d446b472ece3af3d4f8cb189fb3e44bac6d6bd1bd0ad25e0b75f0eed8",
      "bytes": 149,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/sources/os-address-spaces/Cargo.toml",
      "originalSha256": "cb12b305fbcbbc5e0208f3b0f0d9970d2a806a40f7238eb114a4e15145ca12ff",
      "href": "/os-evidence/cb12b305fbcbbc5e0208f3b0f0d9970d2a806a40f7238eb114a4e15145ca12ff.txt",
      "sha256": "cb12b305fbcbbc5e0208f3b0f0d9970d2a806a40f7238eb114a4e15145ca12ff",
      "bytes": 106,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/sources/os-address-spaces/src/lib.rs",
      "originalSha256": "f338747cd880e7a37b4ff6d6b153b95ab57331f57ea39dea7e8745c31a9f570e",
      "href": "/os-evidence/f338747cd880e7a37b4ff6d6b153b95ab57331f57ea39dea7e8745c31a9f570e.txt",
      "sha256": "f338747cd880e7a37b4ff6d6b153b95ab57331f57ea39dea7e8745c31a9f570e",
      "bytes": 263,
      "redacted": false
    },
    {
      "name": "spaces.rs",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/sources/os-address-spaces/src/spaces.rs",
      "originalSha256": "aa944d76367199981dbaaaec1cd1be73265d9bc0a2d1201d4fa772cddb06f7a7",
      "href": "/os-evidence/aa944d76367199981dbaaaec1cd1be73265d9bc0a2d1201d4fa772cddb06f7a7.txt",
      "sha256": "aa944d76367199981dbaaaec1cd1be73265d9bc0a2d1201d4fa772cddb06f7a7",
      "bytes": 16787,
      "redacted": false
    },
    {
      "name": "spaces.rs",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/sources/os-address-spaces/tests/spaces.rs",
      "originalSha256": "7e695fa2916535fda799e1696f8711b6edc13d36647773f1c7253433d6b9f680",
      "href": "/os-evidence/7e695fa2916535fda799e1696f8711b6edc13d36647773f1c7253433d6b9f680.txt",
      "sha256": "7e695fa2916535fda799e1696f8711b6edc13d36647773f1c7253433d6b9f680",
      "bytes": 13771,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/sources/os-frame-metadata/Cargo.toml",
      "originalSha256": "dc426704053a1a55e67a712002771d6476385d64af82b594437f488f467f075f",
      "href": "/os-evidence/dc426704053a1a55e67a712002771d6476385d64af82b594437f488f467f075f.txt",
      "sha256": "dc426704053a1a55e67a712002771d6476385d64af82b594437f488f467f075f",
      "bytes": 106,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/sources/os-frame-metadata/src/lib.rs",
      "originalSha256": "7059e48d55f1f0c40c0ec033bbf7ef9fd323af125abc0006b3fe8dff37174346",
      "href": "/os-evidence/7059e48d55f1f0c40c0ec033bbf7ef9fd323af125abc0006b3fe8dff37174346.txt",
      "sha256": "7059e48d55f1f0c40c0ec033bbf7ef9fd323af125abc0006b3fe8dff37174346",
      "bytes": 262,
      "redacted": false
    },
    {
      "name": "metadata.rs",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/sources/os-frame-metadata/src/metadata.rs",
      "originalSha256": "9333745df57c3f6b270523a1c6a372cf285b9ad47934c981df347fe3716e697d",
      "href": "/os-evidence/9333745df57c3f6b270523a1c6a372cf285b9ad47934c981df347fe3716e697d.txt",
      "sha256": "9333745df57c3f6b270523a1c6a372cf285b9ad47934c981df347fe3716e697d",
      "bytes": 10126,
      "redacted": false
    },
    {
      "name": "metadata.rs",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/sources/os-frame-metadata/tests/metadata.rs",
      "originalSha256": "fb50cb64dea33c1adde32bfaffdaf3b7266b5ca0ebdddc6525ce883389db83ae",
      "href": "/os-evidence/fb50cb64dea33c1adde32bfaffdaf3b7266b5ca0ebdddc6525ce883389db83ae.txt",
      "sha256": "fb50cb64dea33c1adde32bfaffdaf3b7266b5ca0ebdddc6525ce883389db83ae",
      "bytes": 10439,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/sources/os-process-table/CONTRACT.md",
      "originalSha256": "a714b3c107d4741a20c59184e0be96cb6ef993b656b8b3b0cb6f41169c3e8bde",
      "href": "/os-evidence/a714b3c107d4741a20c59184e0be96cb6ef993b656b8b3b0cb6f41169c3e8bde.txt",
      "sha256": "a714b3c107d4741a20c59184e0be96cb6ef993b656b8b3b0cb6f41169c3e8bde",
      "bytes": 3004,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/sources/os-process-table/Cargo.toml",
      "originalSha256": "7fd714455ce66141a087c90d50d93a675393e0566cf6367475f5f69576b855e0",
      "href": "/os-evidence/7fd714455ce66141a087c90d50d93a675393e0566cf6367475f5f69576b855e0.txt",
      "sha256": "7fd714455ce66141a087c90d50d93a675393e0566cf6367475f5f69576b855e0",
      "bytes": 320,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/sources/os-process-table/src/lib.rs",
      "originalSha256": "a02461c90962b66009228734faaef6dde077322c221b97cc379859a112c2bccb",
      "href": "/os-evidence/a02461c90962b66009228734faaef6dde077322c221b97cc379859a112c2bccb.txt",
      "sha256": "a02461c90962b66009228734faaef6dde077322c221b97cc379859a112c2bccb",
      "bytes": 35,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/sources/os-process-table/src/process_table.rs",
      "originalSha256": "2b3f4818507513d1f773f8a6d310e878ab95fb97fe3519f1d1e68a092bbd513e",
      "href": "/os-evidence/2b3f4818507513d1f773f8a6d310e878ab95fb97fe3519f1d1e68a092bbd513e.txt",
      "sha256": "2b3f4818507513d1f773f8a6d310e878ab95fb97fe3519f1d1e68a092bbd513e",
      "bytes": 27424,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/sources/os-process-table/tests/process_table.rs",
      "originalSha256": "2ed72b658ccd91364104e010052a0b1f64a8f41d3a6bfc88d8b4d1eb067a3b1d",
      "href": "/os-evidence/2ed72b658ccd91364104e010052a0b1f64a8f41d3a6bfc88d8b4d1eb067a3b1d.txt",
      "sha256": "2ed72b658ccd91364104e010052a0b1f64a8f41d3a6bfc88d8b4d1eb067a3b1d",
      "bytes": 28023,
      "redacted": false
    },
    {
      "name": "threads-owner-wrapper.rs",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/sources/os-process-table/tests/support/threads-owner-wrapper.rs",
      "originalSha256": "dfee8a6a85cf87c94333421acf64daf19c6c0e813d09b4393af379a22ccbe5dd",
      "href": "/os-evidence/dfee8a6a85cf87c94333421acf64daf19c6c0e813d09b4393af379a22ccbe5dd.txt",
      "sha256": "dfee8a6a85cf87c94333421acf64daf19c6c0e813d09b4393af379a22ccbe5dd",
      "bytes": 1367,
      "redacted": false
    },
    {
      "name": "threads_fixture.rs",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/sources/os-process-table/tests/support/threads_fixture.rs",
      "originalSha256": "c5b2dab3f4c356773d7c5a30ffccd4cf06c28a7784fb2f305ef1394d0b50d860",
      "href": "/os-evidence/c5b2dab3f4c356773d7c5a30ffccd4cf06c28a7784fb2f305ef1394d0b50d860.txt",
      "sha256": "c5b2dab3f4c356773d7c5a30ffccd4cf06c28a7784fb2f305ef1394d0b50d860",
      "bytes": 5241,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/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/K1101-K1119-preparation-gmSnfB/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/K1101-K1119-preparation-gmSnfB/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/K1101-K1119-preparation-gmSnfB/sources/os-threads/tests/threads.rs",
      "originalSha256": "3efff5982afe7395073ad0c651c133c63c69745600dd5fef9913a09b485b50dc",
      "href": "/os-evidence/3efff5982afe7395073ad0c651c133c63c69745600dd5fef9913a09b485b50dc.txt",
      "sha256": "3efff5982afe7395073ad0c651c133c63c69745600dd5fef9913a09b485b50dc",
      "bytes": 19517,
      "redacted": false
    },
    {
      "name": "integration.log",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/integration.log",
      "originalSha256": "2135b202e9177eda19fc8167a7c98fdbfd8e96b445a8aa8016bb42de844ffc7f",
      "href": "/os-evidence/2135b202e9177eda19fc8167a7c98fdbfd8e96b445a8aa8016bb42de844ffc7f.txt",
      "sha256": "2135b202e9177eda19fc8167a7c98fdbfd8e96b445a8aa8016bb42de844ffc7f",
      "bytes": 2998,
      "redacted": false
    },
    {
      "name": "private.log",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/private.log",
      "originalSha256": "e703b4fbf7b8bfad6babfcf2b9dc22a29d413628d1e116bf43c245539b0e6009",
      "href": "/os-evidence/e703b4fbf7b8bfad6babfcf2b9dc22a29d413628d1e116bf43c245539b0e6009.txt",
      "sha256": "e703b4fbf7b8bfad6babfcf2b9dc22a29d413628d1e116bf43c245539b0e6009",
      "bytes": 953,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/arm64.log",
      "originalSha256": "059f31d37450a607cebaf374181e9777f8576ac240a29bb030d60aa47ed88173",
      "href": "/os-evidence/059f31d37450a607cebaf374181e9777f8576ac240a29bb030d60aa47ed88173.txt",
      "sha256": "059f31d37450a607cebaf374181e9777f8576ac240a29bb030d60aa47ed88173",
      "bytes": 616,
      "redacted": false
    },
    {
      "name": "format.log",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/format.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K1101-K1119-preparation-gmSnfB/clippy.log",
      "originalSha256": "e71baebe0c9dfda02cd6913f82e60957a2b291c6a6950388569730aaf3e0e066",
      "href": "/os-evidence/e71baebe0c9dfda02cd6913f82e60957a2b291c6a6950388569730aaf3e0e066.txt",
      "sha256": "e71baebe0c9dfda02cd6913f82e60957a2b291c6a6950388569730aaf3e0e066",
      "bytes": 616,
      "redacted": false
    }
  ],
  "moves": [
    "K1101",
    "K1102",
    "K1103",
    "K1104",
    "K1106",
    "K1107",
    "K1108",
    "K1109",
    "K1111",
    "K1112",
    "K1113",
    "K1114",
    "K1116",
    "K1117",
    "K1118",
    "K1119"
  ]
}