{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1155-el0-acceptance-AQk8lq/report.json",
    "sha256": "55d98bb4d1b294c9ec2286a9224d60b59b50b055592442a83b216b91e3d52d1c",
    "bytes": 3777
  },
  "status": "K1155_DEVELOPMENT_GUEST_ACCEPTED",
  "scope": "Isolated development Image acceptance: direct and UEFI one-bank guests at 256/512/1024 MiB each reject an ELF entry at kernel VA before PID reservation or frame acquisition with unchanged actual metadata and physical inventory. The valid ELF then publishes with code RX, stack RW, guard unmapped, expected start PC/SP, and EL0 SPSR checked in actual descriptors before ERET. Four SVC entries and three ERET continuations complete per guest. Every guest passes physical owner/release and full predecessor checks. The isolated host spawn transaction model passes two named tests and 34 regressions. Published release and external hardware remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": "b9f6c437a54955c967c277272bf1332d4e080745a79368499e1e49c5c71844a1",
  "files": [
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1155-el0-candidate-hyuTFB/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220",
      "href": "/os-evidence/119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220.txt",
      "sha256": "119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220",
      "bytes": 19734,
      "redacted": false
    },
    {
      "name": "k1155-el0-guest.rs",
      "source": "reports/os-implementation/K1155-el0-candidate-hyuTFB/k1155-el0-guest.rs",
      "originalSha256": "598ecc9dbfc25c18087b4f0115064a634615afed42f2dff9738b65ac0617ea4b",
      "href": "/os-evidence/598ecc9dbfc25c18087b4f0115064a634615afed42f2dff9738b65ac0617ea4b.txt",
      "sha256": "598ecc9dbfc25c18087b4f0115064a634615afed42f2dff9738b65ac0617ea4b",
      "bytes": 19050,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1155-el0-candidate-hyuTFB/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/K1155-el0-candidate-hyuTFB/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "c79ea9de7dbabb599fd45902d495827c19eeaab5748a86ecffc44c6e8843ec26",
      "href": "/os-evidence/c79ea9de7dbabb599fd45902d495827c19eeaab5748a86ecffc44c6e8843ec26.txt",
      "sha256": "c79ea9de7dbabb599fd45902d495827c19eeaab5748a86ecffc44c6e8843ec26",
      "bytes": 70022,
      "redacted": false
    },
    {
      "name": "process_image_recipe.rs",
      "source": "reports/os-implementation/K1155-el0-candidate-hyuTFB/sources/kernel/src/runtime/process_image_recipe.rs",
      "originalSha256": "0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071",
      "href": "/os-evidence/0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071.txt",
      "sha256": "0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071",
      "bytes": 27688,
      "redacted": false
    },
    {
      "name": "os_k1155_vectors.S",
      "source": "reports/os-implementation/K1155-el0-candidate-hyuTFB/sources/kernel/src/os_k1155_vectors.S",
      "originalSha256": "ca6d1255be2762ff19eff64276113bbce1c5dca19cb21968c406b83bd51c6d11",
      "href": "/os-evidence/ca6d1255be2762ff19eff64276113bbce1c5dca19cb21968c406b83bd51c6d11.txt",
      "sha256": "ca6d1255be2762ff19eff64276113bbce1c5dca19cb21968c406b83bd51c6d11",
      "bytes": 5987,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1155-el0-candidate-hyuTFB/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "6842bb6cf446ac662e7eaff1aa525484a57fd3aca36d9bbe44dc574d2e15d74a",
      "href": "/os-evidence/6842bb6cf446ac662e7eaff1aa525484a57fd3aca36d9bbe44dc574d2e15d74a.txt",
      "sha256": "6842bb6cf446ac662e7eaff1aa525484a57fd3aca36d9bbe44dc574d2e15d74a",
      "bytes": 25005,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1155-el0-candidate-hyuTFB/kernel-product.log",
      "originalSha256": "fc018b8554ea6f27e22c02fe46e12c03bc86995166e18b522b0625444cda763a",
      "href": "/os-evidence/0a774549afbfbb8ea8a12e985d271c2001778c14976167a9432d6cf89ebe5d83.txt",
      "sha256": "0a774549afbfbb8ea8a12e985d271c2001778c14976167a9432d6cf89ebe5d83",
      "bytes": 21066,
      "redacted": true
    }
  ],
  "moves": [
    "K1155"
  ]
}