{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1190-wait-el0-acceptance-SBl6EQ/report.json",
    "sha256": "b1338ee03f286da0345b00266860954c9e7d58f9fa1348fc8920aa454196f318",
    "bytes": 3655
  },
  "status": "K1190_DEVELOPMENT_GUEST_ACCEPTED",
  "scope": "One isolated development Image runs real EL0 INIT and three retained children in direct/UEFI one-bank 256/512/1024 MiB guests. Before each exit, a wait returns Busy without changing ownership. INIT receives each typed result once and its second EL0 wait returns ECHILD; the FAR fault remains distinct. A foreign host waiter cannot consume the result, and a duplicate-delivery mutation fails. Physical owner/release and full predecessor checks pass. Published product release and external hardware remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": "d1e8bc34a7c3bd7ff36fd8b6dcf66837bdbffa2298edd6e19953102ecba99d8a",
  "files": [
    {
      "name": "k1190-wait-el0-guest-v1.rs",
      "source": "scripts/os-acceptance/k1190-wait-el0-guest-v1.rs",
      "originalSha256": "bb38c30197f630ca87b7a729bcb20e521f21e8a6c9c50d82338e6e1cd8a10b3a",
      "href": "/os-evidence/bb38c30197f630ca87b7a729bcb20e521f21e8a6c9c50d82338e6e1cd8a10b3a.txt",
      "sha256": "bb38c30197f630ca87b7a729bcb20e521f21e8a6c9c50d82338e6e1cd8a10b3a",
      "bytes": 24047,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1190-wait-el0-candidate-l62mvX/sources/kernel/src/runtime/process_table.rs",
      "originalSha256": "e651cbb4a296798a6c37401db17f6e689399b5b730a7022bb04280c98965c42e",
      "href": "/os-evidence/e651cbb4a296798a6c37401db17f6e689399b5b730a7022bb04280c98965c42e.txt",
      "sha256": "e651cbb4a296798a6c37401db17f6e689399b5b730a7022bb04280c98965c42e",
      "bytes": 38437,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1190-wait-el0-candidate-l62mvX/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "554bab72e82968a798c716d92ba82ad3df54c7f543ca56c4913e92090619450d",
      "href": "/os-evidence/554bab72e82968a798c716d92ba82ad3df54c7f543ca56c4913e92090619450d.txt",
      "sha256": "554bab72e82968a798c716d92ba82ad3df54c7f543ca56c4913e92090619450d",
      "bytes": 73650,
      "redacted": false
    },
    {
      "name": "process_exit.rs",
      "source": "reports/os-implementation/K1190-wait-el0-candidate-l62mvX/sources/kernel/src/runtime/process_exit.rs",
      "originalSha256": "b85db1c7f62f045be4261a763b28541e7501586071feda7c0127c602f19a9d39",
      "href": "/os-evidence/b85db1c7f62f045be4261a763b28541e7501586071feda7c0127c602f19a9d39.txt",
      "sha256": "b85db1c7f62f045be4261a763b28541e7501586071feda7c0127c602f19a9d39",
      "bytes": 1974,
      "redacted": false
    },
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1190-wait-el0-candidate-l62mvX/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "bbd86e9468f59db0096a0de7f271fa7266837534ac95ab1edfeed4a61c8bb4cd",
      "href": "/os-evidence/bbd86e9468f59db0096a0de7f271fa7266837534ac95ab1edfeed4a61c8bb4cd.txt",
      "sha256": "bbd86e9468f59db0096a0de7f271fa7266837534ac95ab1edfeed4a61c8bb4cd",
      "bytes": 21325,
      "redacted": false
    },
    {
      "name": "os_k1190w_vectors.S",
      "source": "reports/os-implementation/K1190-wait-el0-candidate-l62mvX/sources/kernel/src/os_k1190w_vectors.S",
      "originalSha256": "cb9b435430f57b89b4e4e27abe0833eb81f6c75dfb3c0ad3af9572fafb46994e",
      "href": "/os-evidence/cb9b435430f57b89b4e4e27abe0833eb81f6c75dfb3c0ad3af9572fafb46994e.txt",
      "sha256": "cb9b435430f57b89b4e4e27abe0833eb81f6c75dfb3c0ad3af9572fafb46994e",
      "bytes": 6108,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1190-wait-el0-candidate-l62mvX/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "ee74a2c70f7b0c0ef629721951a319f5adf2dc9a2b91aae633284916cdf5dfb7",
      "href": "/os-evidence/ee74a2c70f7b0c0ef629721951a319f5adf2dc9a2b91aae633284916cdf5dfb7.txt",
      "sha256": "ee74a2c70f7b0c0ef629721951a319f5adf2dc9a2b91aae633284916cdf5dfb7",
      "bytes": 37441,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1190-wait-el0-candidate-l62mvX/kernel-product.log",
      "originalSha256": "2239a602fd3212c38d8fd178e303ce54e4f9c6099ce7f97ed7caba063b9c0892",
      "href": "/os-evidence/c9550cb6093800af8595ac00c988f24df9d11b2fb5e1add197fdf8f8a0be8a64.txt",
      "sha256": "c9550cb6093800af8595ac00c988f24df9d11b2fb5e1add197fdf8f8a0be8a64",
      "bytes": 21086,
      "redacted": true
    }
  ],
  "moves": [
    "K1190"
  ]
}