{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1165-el0-acceptance-EMN8xx/report.json",
    "sha256": "b84ef7c48b15b2203b92e975971db3747d1cce6c21a21bc849e094108e5a092a",
    "bytes": 4161
  },
  "status": "K1165_DEVELOPMENT_GUEST_ACCEPTED",
  "scope": "Isolated development Image acceptance: direct and UEFI one-bank guests at 256/512/1024 MiB bind two distinct nonzero principals from real kernel ProcessIds. An EL0 request for principal zero returns EACCES, with rights registry and process table unchanged, and healthy writes complete before and after denial. Each guest executes five SVC entries and four ERET continuations, then reaps both processes and restores physical inventory. Physical owner/release and full predecessor inspectors pass. Four named host tests and four ABI regressions pass. Published release and external hardware remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": "ebf9bd76ebff6703e16ec34d35e3bd593f5b860119fa4ee69887ef671f18ed50",
  "files": [
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1165-el0-candidate-bgDCyi/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "cd709ba4b16034815a79f772d05d619a5d803ed80c71d2634a1f753e32f7cb35",
      "href": "/os-evidence/cd709ba4b16034815a79f772d05d619a5d803ed80c71d2634a1f753e32f7cb35.txt",
      "sha256": "cd709ba4b16034815a79f772d05d619a5d803ed80c71d2634a1f753e32f7cb35",
      "bytes": 19954,
      "redacted": false
    },
    {
      "name": "k1165-el0-guest.rs",
      "source": "reports/os-implementation/K1165-el0-candidate-bgDCyi/k1165-el0-guest.rs",
      "originalSha256": "f3d21f04fd0b0ceec984414d0bb75542ac7ab0e1745cab60867578439173ab4a",
      "href": "/os-evidence/f3d21f04fd0b0ceec984414d0bb75542ac7ab0e1745cab60867578439173ab4a.txt",
      "sha256": "f3d21f04fd0b0ceec984414d0bb75542ac7ab0e1745cab60867578439173ab4a",
      "bytes": 23338,
      "redacted": false
    },
    {
      "name": "process_rights.rs",
      "source": "reports/os-implementation/K1165-el0-candidate-bgDCyi/sources/kernel/src/runtime/process_rights.rs",
      "originalSha256": "3f04cc175263e966fe0360dbdbbf8e04032e4a904b447c6b85bbaefbb7d6eb04",
      "href": "/os-evidence/3f04cc175263e966fe0360dbdbbf8e04032e4a904b447c6b85bbaefbb7d6eb04.txt",
      "sha256": "3f04cc175263e966fe0360dbdbbf8e04032e4a904b447c6b85bbaefbb7d6eb04",
      "bytes": 2450,
      "redacted": false
    },
    {
      "name": "mod.rs",
      "source": "reports/os-implementation/K1165-el0-candidate-bgDCyi/sources/kernel/src/runtime/mod.rs",
      "originalSha256": "304e8762ebe8b8a75fabd68a684060038c2cd799d97b2302af6ea6d535daad34",
      "href": "/os-evidence/304e8762ebe8b8a75fabd68a684060038c2cd799d97b2302af6ea6d535daad34.txt",
      "sha256": "304e8762ebe8b8a75fabd68a684060038c2cd799d97b2302af6ea6d535daad34",
      "bytes": 1496,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1165-el0-candidate-bgDCyi/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/K1165-el0-candidate-bgDCyi/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/K1165-el0-candidate-bgDCyi/sources/kernel/src/runtime/process_image_recipe.rs",
      "originalSha256": "0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071",
      "href": "/os-evidence/0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071.txt",
      "sha256": "0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071",
      "bytes": 27688,
      "redacted": false
    },
    {
      "name": "os_k1165_vectors.S",
      "source": "reports/os-implementation/K1165-el0-candidate-bgDCyi/sources/kernel/src/os_k1165_vectors.S",
      "originalSha256": "349894573bd6b54f7386c7ae26b035482a41a0b30a18a86e977f9d1cdf9bb267",
      "href": "/os-evidence/349894573bd6b54f7386c7ae26b035482a41a0b30a18a86e977f9d1cdf9bb267.txt",
      "sha256": "349894573bd6b54f7386c7ae26b035482a41a0b30a18a86e977f9d1cdf9bb267",
      "bytes": 5987,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1165-el0-candidate-bgDCyi/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "e0fc7571df4ee97951fbe0510e113e0ebfda0c3301153135a1bbc15d4bdc3027",
      "href": "/os-evidence/e0fc7571df4ee97951fbe0510e113e0ebfda0c3301153135a1bbc15d4bdc3027.txt",
      "sha256": "e0fc7571df4ee97951fbe0510e113e0ebfda0c3301153135a1bbc15d4bdc3027",
      "bytes": 28103,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1165-el0-candidate-bgDCyi/kernel-product.log",
      "originalSha256": "8fb75c67bc88eebcba03e5b4f72faaa6dc809744f2f87be681661aa3fdcf1455",
      "href": "/os-evidence/2ac6d15ff39208b7af8114a3d078d3643e78559a29e3861f7ed37c1d4b30b456.txt",
      "sha256": "2ac6d15ff39208b7af8114a3d078d3643e78559a29e3861f7ed37c1d4b30b456",
      "bytes": 21066,
      "redacted": true
    }
  ],
  "moves": [
    "K1165"
  ]
}