{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1175-el0-acceptance-sUJbPf/report.json",
    "sha256": "7add0660e111c277d9c1d833793601a29131a66536636bff30755bf96ffed1eb",
    "bytes": 4233
  },
  "status": "K1175_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. A kernel-issued permit exposes sanitized child map metadata, while the parent EL0 request for raw foreign memory returns EACCES. The kernel hashes all three owned target pages before and after denial and verifies an unchanged ProcessTable, rights and permit snapshot. Each guest executes seven SVC entries and six ERET continuations, reaps both processes, and restores physical inventory. Physical owner/release and 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": "874304c356a775741e6655735e5bc94d82f54dc182f1759ded74004e5a55f817",
  "files": [
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1175-el0-candidate-G2rezx/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "b15ebc37242ea0bad092032948c8d767e3258e1e82f5fb949c4c626bff1d5444",
      "href": "/os-evidence/b15ebc37242ea0bad092032948c8d767e3258e1e82f5fb949c4c626bff1d5444.txt",
      "sha256": "b15ebc37242ea0bad092032948c8d767e3258e1e82f5fb949c4c626bff1d5444",
      "bytes": 20374,
      "redacted": false
    },
    {
      "name": "k1175-el0-guest.rs",
      "source": "scripts/os-acceptance/k1175-el0-guest.rs",
      "originalSha256": "a174a6569bac211167bf3e1df0e18a239590f7daebce1ed7e96a4774b08340da",
      "href": "/os-evidence/a174a6569bac211167bf3e1df0e18a239590f7daebce1ed7e96a4774b08340da.txt",
      "sha256": "a174a6569bac211167bf3e1df0e18a239590f7daebce1ed7e96a4774b08340da",
      "bytes": 30063,
      "redacted": false
    },
    {
      "name": "process_rights.rs",
      "source": "reports/os-implementation/K1175-el0-candidate-G2rezx/sources/kernel/src/runtime/process_rights.rs",
      "originalSha256": "16dc94717f6d51caf48bc48028b705f26a280f984f4919cb77fcec00f737dddf",
      "href": "/os-evidence/16dc94717f6d51caf48bc48028b705f26a280f984f4919cb77fcec00f737dddf.txt",
      "sha256": "16dc94717f6d51caf48bc48028b705f26a280f984f4919cb77fcec00f737dddf",
      "bytes": 8905,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1175-el0-candidate-G2rezx/sources/kernel/src/runtime/process_table.rs",
      "originalSha256": "beec964a4bc041283f5f06111c4a83e3ec7ce26e53dcd9c961eb64aabb40dc70",
      "href": "/os-evidence/beec964a4bc041283f5f06111c4a83e3ec7ce26e53dcd9c961eb64aabb40dc70.txt",
      "sha256": "beec964a4bc041283f5f06111c4a83e3ec7ce26e53dcd9c961eb64aabb40dc70",
      "bytes": 35957,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1175-el0-candidate-G2rezx/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "b90b6cdf3b4fe405f1ca8dd090c59bcacbe0a102a53f62872316b891c687d042",
      "href": "/os-evidence/b90b6cdf3b4fe405f1ca8dd090c59bcacbe0a102a53f62872316b891c687d042.txt",
      "sha256": "b90b6cdf3b4fe405f1ca8dd090c59bcacbe0a102a53f62872316b891c687d042",
      "bytes": 72172,
      "redacted": false
    },
    {
      "name": "process_image_recipe.rs",
      "source": "reports/os-implementation/K1175-el0-candidate-G2rezx/sources/kernel/src/runtime/process_image_recipe.rs",
      "originalSha256": "0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071",
      "href": "/os-evidence/0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071.txt",
      "sha256": "0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071",
      "bytes": 27688,
      "redacted": false
    },
    {
      "name": "os_k1175_vectors.S",
      "source": "reports/os-implementation/K1175-el0-candidate-G2rezx/sources/kernel/src/os_k1175_vectors.S",
      "originalSha256": "629313db6861cafcfb091a331454435c2deb43d6dd42d84b9cec92b9a6e4584f",
      "href": "/os-evidence/629313db6861cafcfb091a331454435c2deb43d6dd42d84b9cec92b9a6e4584f.txt",
      "sha256": "629313db6861cafcfb091a331454435c2deb43d6dd42d84b9cec92b9a6e4584f",
      "bytes": 5987,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1175-el0-candidate-G2rezx/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "af9673cb558d97e893f81e1209cb68ea42a6447be732456a1857e69675e43a10",
      "href": "/os-evidence/af9673cb558d97e893f81e1209cb68ea42a6447be732456a1857e69675e43a10.txt",
      "sha256": "af9673cb558d97e893f81e1209cb68ea42a6447be732456a1857e69675e43a10",
      "bytes": 31201,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1175-el0-candidate-G2rezx/kernel-product.log",
      "originalSha256": "6ba35a531f28cd7ea37cb39ff67c0933f5d4c64fadd0372ca7564e97e8dbe7ef",
      "href": "/os-evidence/40d42b863f6c6350efbd9d4d073e1a388222da860cbbd7ce779d838b14c77b30.txt",
      "sha256": "40d42b863f6c6350efbd9d4d073e1a388222da860cbbd7ce779d838b14c77b30",
      "bytes": 21066,
      "redacted": true
    }
  ],
  "moves": [
    "K1175"
  ]
}