{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1145-el0-acceptance-uS39jn/report.json",
    "sha256": "1a3a1fdbebc5ddfcb4d31e15f5bbe629170d798b9a52ee2b369b5d1da794e647",
    "bytes": 3583
  },
  "status": "K1145_DEVELOPMENT_GUEST_ACCEPTED",
  "scope": "Isolated development Image acceptance: direct and UEFI one-bank guests at 256/512/1024 MiB each reject empty input, four truncated ELF header prefixes and an overlong trusted extent before PID reservation and frame acquisition. Actual metadata and physical inventories remain equal after negatives. A known small static ELF then prepares, publishes, executes four real EL0 SVC entries with three ERET returns, and is reaped with all pages returned. 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, external hardware and general VFS remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": "cd566fbad32970f2b7fe9c28362c2f78d71dc976ea670f4f91e97d4d477c18b5",
  "files": [
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1145-el0-candidate-FIffDs/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220",
      "href": "/os-evidence/119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220.txt",
      "sha256": "119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220",
      "bytes": 19734,
      "redacted": false
    },
    {
      "name": "k1145-el0-guest.rs",
      "source": "reports/os-implementation/K1145-el0-candidate-FIffDs/k1145-el0-guest.rs",
      "originalSha256": "6c9f8881e937bdfdfad26f83e4612eb65546ed5103d8dededf256d64ffaa785d",
      "href": "/os-evidence/6c9f8881e937bdfdfad26f83e4612eb65546ed5103d8dededf256d64ffaa785d.txt",
      "sha256": "6c9f8881e937bdfdfad26f83e4612eb65546ed5103d8dededf256d64ffaa785d",
      "bytes": 15636,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1145-el0-candidate-FIffDs/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/K1145-el0-candidate-FIffDs/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/K1145-el0-candidate-FIffDs/sources/kernel/src/runtime/process_image_recipe.rs",
      "originalSha256": "0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071",
      "href": "/os-evidence/0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071.txt",
      "sha256": "0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071",
      "bytes": 27688,
      "redacted": false
    },
    {
      "name": "os_k1145_vectors.S",
      "source": "reports/os-implementation/K1145-el0-candidate-FIffDs/sources/kernel/src/os_k1145_vectors.S",
      "originalSha256": "444a56a98f0cb17da335b573a3084de24d997cbe875b92d815590b3dcfe27b33",
      "href": "/os-evidence/444a56a98f0cb17da335b573a3084de24d997cbe875b92d815590b3dcfe27b33.txt",
      "sha256": "444a56a98f0cb17da335b573a3084de24d997cbe875b92d815590b3dcfe27b33",
      "bytes": 5987,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1145-el0-candidate-FIffDs/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "32b103b6f3813d7292a5f5a8cff61bdcdbd9fbcb4f73fa8d5a2f143fa3e8b762",
      "href": "/os-evidence/32b103b6f3813d7292a5f5a8cff61bdcdbd9fbcb4f73fa8d5a2f143fa3e8b762.txt",
      "sha256": "32b103b6f3813d7292a5f5a8cff61bdcdbd9fbcb4f73fa8d5a2f143fa3e8b762",
      "bytes": 21907,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1145-el0-candidate-FIffDs/kernel-product.log",
      "originalSha256": "b3256d9a757113721f92691560817915e07bd9df2f8ed9821259ef71973102a0",
      "href": "/os-evidence/610a5fde71a8b7ea665f964b132318513100c62dd231e811779d708c1ed0192f.txt",
      "sha256": "610a5fde71a8b7ea665f964b132318513100c62dd231e811779d708c1ed0192f",
      "bytes": 21066,
      "redacted": true
    }
  ],
  "moves": [
    "K1145"
  ]
}