{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1185-init-el0-acceptance-RCxp8g/report.json",
    "sha256": "928284c5cedcdaa6178325a8a982e1bea3dc63576f120945e90ae553d7add30d",
    "bytes": 3497
  },
  "status": "K1185_DEVELOPMENT_GUEST_ACCEPTED",
  "scope": "One isolated development Image runs a real EL0 INIT parent and three retained children per direct/UEFI one-bank 256/512/1024 MiB guest. The parent sees Exited(0), a distinct FAR 0x90000000 fault, then Exited(42), records all three privately and exits. The legacy wait refuses the fault without changing ownership; the typed wait reaps it. Physical owner/release and full predecessor checks pass. Published product release and external hardware remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": "9f993a8d81890f57327120a62913c281737fbfe00c0d5d1462bf7d31cd59ae86",
  "files": [
    {
      "name": "k1185-init-el0-guest-v5.rs",
      "source": "scripts/os-acceptance/k1185-init-el0-guest-v5.rs",
      "originalSha256": "9fe86c840f6a232fa011175125647f0aadce9d5ae56295792104b6221c51f36e",
      "href": "/os-evidence/9fe86c840f6a232fa011175125647f0aadce9d5ae56295792104b6221c51f36e.txt",
      "sha256": "9fe86c840f6a232fa011175125647f0aadce9d5ae56295792104b6221c51f36e",
      "bytes": 22456,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1185-init-el0-candidate-GUqRo3/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/K1185-init-el0-candidate-GUqRo3/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/K1185-init-el0-candidate-GUqRo3/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/K1185-init-el0-candidate-GUqRo3/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "7fd905ee095334ab55b02851ee750e83b107ae2badb22f84e9181e265cc688e7",
      "href": "/os-evidence/7fd905ee095334ab55b02851ee750e83b107ae2badb22f84e9181e265cc688e7.txt",
      "sha256": "7fd905ee095334ab55b02851ee750e83b107ae2badb22f84e9181e265cc688e7",
      "bytes": 21093,
      "redacted": false
    },
    {
      "name": "os_k1185i_vectors.S",
      "source": "reports/os-implementation/K1185-init-el0-candidate-GUqRo3/sources/kernel/src/os_k1185i_vectors.S",
      "originalSha256": "c0836865f15b48ea44b6120bb98d71f242d8c9d2b31aaab90cca4453f82a1941",
      "href": "/os-evidence/c0836865f15b48ea44b6120bb98d71f242d8c9d2b31aaab90cca4453f82a1941.txt",
      "sha256": "c0836865f15b48ea44b6120bb98d71f242d8c9d2b31aaab90cca4453f82a1941",
      "bytes": 6108,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1185-init-el0-candidate-GUqRo3/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "f2773a420dad8f87fbd2fd7abbbbbe11e189299c289b82eddfe744432e6a6dec",
      "href": "/os-evidence/f2773a420dad8f87fbd2fd7abbbbbe11e189299c289b82eddfe744432e6a6dec.txt",
      "sha256": "f2773a420dad8f87fbd2fd7abbbbbe11e189299c289b82eddfe744432e6a6dec",
      "bytes": 35870,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1185-init-el0-candidate-GUqRo3/kernel-product.log",
      "originalSha256": "e28361f04ee31b5271362ffdae1d04ef951006dbdd99336632671c21e2252a7a",
      "href": "/os-evidence/7b6d37b137271141d3b940b7118230ca21d74d1964db7135b11f8b058d16cd8d.txt",
      "sha256": "7b6d37b137271141d3b940b7118230ca21d74d1964db7135b11f8b058d16cd8d",
      "bytes": 21086,
      "redacted": true
    }
  ],
  "moves": [
    "K1185"
  ]
}