{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1170-el0-acceptance-N3MjlQ/report.json",
    "sha256": "c0cf721c894c2e4e671133663aaf055982bef8b9e60b9412a4e15c0f04d982cb",
    "bytes": 4234
  },
  "status": "K1170_DEVELOPMENT_GUEST_ACCEPTED",
  "scope": "Isolated development Image acceptance: direct and UEFI one-bank guests at 256/512/1024 MiB create a real ProcessTable child while the parent runs in EL0. Explicit inheritance grants the child a read-only file capability; an EL0 request for the parent kernel-device handle returns EACCES without changing child control. Each guest executes six SVC entries and five ERET continuations, then reaps child and parent and restores physical inventory. Physical owner/release and full predecessor inspectors pass. Four named host tests and four ABI regressions pass. The file capability is scoped to this probe; VFS integration, published release, and external hardware remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": "c701fd99abaae3337a090c76d8f0d89944cd07323f72b6341ec5afdd1d1d8037",
  "files": [
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1170-el0-candidate-9oDYaM/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "48e14ebc6f457132ee16fae1bb347902fecd01aa2b62cc86d448e2f5809a887d",
      "href": "/os-evidence/48e14ebc6f457132ee16fae1bb347902fecd01aa2b62cc86d448e2f5809a887d.txt",
      "sha256": "48e14ebc6f457132ee16fae1bb347902fecd01aa2b62cc86d448e2f5809a887d",
      "bytes": 20164,
      "redacted": false
    },
    {
      "name": "k1170-el0-guest.rs",
      "source": "reports/os-implementation/K1170-el0-candidate-9oDYaM/k1170-el0-guest.rs",
      "originalSha256": "88fbdea47d9c3c7667a91ed4b9fa0c32a335c7d25d0926e5fb5f7d33f58ec1f3",
      "href": "/os-evidence/88fbdea47d9c3c7667a91ed4b9fa0c32a335c7d25d0926e5fb5f7d33f58ec1f3.txt",
      "sha256": "88fbdea47d9c3c7667a91ed4b9fa0c32a335c7d25d0926e5fb5f7d33f58ec1f3",
      "bytes": 26484,
      "redacted": false
    },
    {
      "name": "process_rights.rs",
      "source": "reports/os-implementation/K1170-el0-candidate-9oDYaM/sources/kernel/src/runtime/process_rights.rs",
      "originalSha256": "42352c397f8de2ce7735c35b9c88a28ab6ed565adc5237a612e8b16997e40bda",
      "href": "/os-evidence/42352c397f8de2ce7735c35b9c88a28ab6ed565adc5237a612e8b16997e40bda.txt",
      "sha256": "42352c397f8de2ce7735c35b9c88a28ab6ed565adc5237a612e8b16997e40bda",
      "bytes": 5667,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1170-el0-candidate-9oDYaM/sources/kernel/src/runtime/process_table.rs",
      "originalSha256": "299b2fb8843407fff1828c3e2826460703aac97e079c1130910776bdb97bc9c0",
      "href": "/os-evidence/299b2fb8843407fff1828c3e2826460703aac97e079c1130910776bdb97bc9c0.txt",
      "sha256": "299b2fb8843407fff1828c3e2826460703aac97e079c1130910776bdb97bc9c0",
      "bytes": 35008,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1170-el0-candidate-9oDYaM/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "c46b2510786477b50ea5f01851f56e597a232137c072eb0e1f7dbbb3a6823fda",
      "href": "/os-evidence/c46b2510786477b50ea5f01851f56e597a232137c072eb0e1f7dbbb3a6823fda.txt",
      "sha256": "c46b2510786477b50ea5f01851f56e597a232137c072eb0e1f7dbbb3a6823fda",
      "bytes": 71150,
      "redacted": false
    },
    {
      "name": "process_image_recipe.rs",
      "source": "reports/os-implementation/K1170-el0-candidate-9oDYaM/sources/kernel/src/runtime/process_image_recipe.rs",
      "originalSha256": "0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071",
      "href": "/os-evidence/0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071.txt",
      "sha256": "0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071",
      "bytes": 27688,
      "redacted": false
    },
    {
      "name": "os_k1170_vectors.S",
      "source": "reports/os-implementation/K1170-el0-candidate-9oDYaM/sources/kernel/src/os_k1170_vectors.S",
      "originalSha256": "39e8b1c0d5ab64444a8531bd22ae24fca020f07086ed4003940161d0bb98c603",
      "href": "/os-evidence/39e8b1c0d5ab64444a8531bd22ae24fca020f07086ed4003940161d0bb98c603.txt",
      "sha256": "39e8b1c0d5ab64444a8531bd22ae24fca020f07086ed4003940161d0bb98c603",
      "bytes": 5987,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1170-el0-candidate-9oDYaM/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "9b16cc038476e8daa2cad6c498fe411b4c52b51ce9d81e6dee630e29ca30700a",
      "href": "/os-evidence/9b16cc038476e8daa2cad6c498fe411b4c52b51ce9d81e6dee630e29ca30700a.txt",
      "sha256": "9b16cc038476e8daa2cad6c498fe411b4c52b51ce9d81e6dee630e29ca30700a",
      "bytes": 29652,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1170-el0-candidate-9oDYaM/kernel-product.log",
      "originalSha256": "a1b35693f0355b0b11f01b7ebd94ebc6c1c1735542dc9daf6e1f3ac48f1265d4",
      "href": "/os-evidence/53e6493896f6070546740eff8d9db3fbe83cf110053f4a31942b6ccd08720048.txt",
      "sha256": "53e6493896f6070546740eff8d9db3fbe83cf110053f4a31942b6ccd08720048",
      "bytes": 21066,
      "redacted": true
    }
  ],
  "moves": [
    "K1170"
  ]
}