{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1160-el0-acceptance-Cv8w4Q/report.json",
    "sha256": "10f14c1c67634cef12e44b2a8d7d0ad5ec00f4894d5ff5a3a222f14730025bd8",
    "bytes": 3747
  },
  "status": "K1160_DEVELOPMENT_GUEST_ACCEPTED",
  "scope": "Isolated development Image acceptance: direct and UEFI one-bank guests at 256/512/1024 MiB each induce eleven Before failures at real process preparation boundaries. Every failed reservation is aborted, with process, thread, root, frame metadata and physical inventories restored to the same baseline before a healthy process is published. Real EL0 then completes four SVC entries and three ERET continuations per guest. Physical owner/release and full predecessor inspectors pass in every profile. The isolated host model passes two named tests and 34 regressions. Published release and external hardware remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": "6d358d105014137e8c216dcd57a2fad843688f32eb5cad43b33caaa51d1fdb7e",
  "files": [
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1160-el0-candidate-Cckb1q/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220",
      "href": "/os-evidence/119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220.txt",
      "sha256": "119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220",
      "bytes": 19734,
      "redacted": false
    },
    {
      "name": "k1160-el0-guest.rs",
      "source": "reports/os-implementation/K1160-el0-candidate-Cckb1q/k1160-el0-guest.rs",
      "originalSha256": "2d16769dd89bc08ae51c49f8fd95f70b6bcb189361259e5fa0bfc832c1e7d8aa",
      "href": "/os-evidence/2d16769dd89bc08ae51c49f8fd95f70b6bcb189361259e5fa0bfc832c1e7d8aa.txt",
      "sha256": "2d16769dd89bc08ae51c49f8fd95f70b6bcb189361259e5fa0bfc832c1e7d8aa",
      "bytes": 20530,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1160-el0-candidate-Cckb1q/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/K1160-el0-candidate-Cckb1q/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/K1160-el0-candidate-Cckb1q/sources/kernel/src/runtime/process_image_recipe.rs",
      "originalSha256": "0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071",
      "href": "/os-evidence/0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071.txt",
      "sha256": "0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071",
      "bytes": 27688,
      "redacted": false
    },
    {
      "name": "os_k1160_vectors.S",
      "source": "reports/os-implementation/K1160-el0-candidate-Cckb1q/sources/kernel/src/os_k1160_vectors.S",
      "originalSha256": "9ea30b2f2018a3cbef8caf9678789b3794f125734019a1b14d578753a3d19432",
      "href": "/os-evidence/9ea30b2f2018a3cbef8caf9678789b3794f125734019a1b14d578753a3d19432.txt",
      "sha256": "9ea30b2f2018a3cbef8caf9678789b3794f125734019a1b14d578753a3d19432",
      "bytes": 5987,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1160-el0-candidate-Cckb1q/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "300214d8797e9c5a7750cf0ca32415b522c9bc4ecb56fd82d6c591e39585cc13",
      "href": "/os-evidence/300214d8797e9c5a7750cf0ca32415b522c9bc4ecb56fd82d6c591e39585cc13.txt",
      "sha256": "300214d8797e9c5a7750cf0ca32415b522c9bc4ecb56fd82d6c591e39585cc13",
      "bytes": 26554,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1160-el0-candidate-Cckb1q/kernel-product.log",
      "originalSha256": "451a641a0f1805c1a39ee86043f7293f0356e8f06415f2f012bdb6f41837e326",
      "href": "/os-evidence/2f55972b4b874d56428ed435a9823875b772eda1271810d08618efd1a73c743b.txt",
      "sha256": "2f55972b4b874d56428ed435a9823875b772eda1271810d08618efd1a73c743b",
      "bytes": 21066,
      "redacted": true
    }
  ],
  "moves": [
    "K1160"
  ]
}