{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1135-el0-acceptance-lRaIck/report.json",
    "sha256": "9cf637a70f16f367af7f53290a61a90cdc109607d2785f328d0db152280b81ae",
    "bytes": 3092
  },
  "status": "K1135_DEVELOPMENT_GUEST_ACCEPTED",
  "scope": "Development guest acceptance in one isolated product Image: direct and UEFI one-bank guests at 256/512/1024 MiB each execute five real SVC entries and four ERET returns through a retained ProcessTable root. The EL0 wrapper distinguishes EBADF, EFAULT and ENOMEM, rejects an unknown negative word before length use, and recovers with a healthy call. ENOMEM is a deliberate exhausted diagnostic budget before copy or output; this milestone does not claim general write dispatch. Every guest passes physical owner/release and full predecessor checks with source-bound serial/QMP. Published release and external hardware evidence remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": "8d45066e76aa520773adb8e7aa92e41d7fdc73252d5842ae4daa30f5aa920933",
  "files": [
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1135-el0-candidate-bIuVKA/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220",
      "href": "/os-evidence/119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220.txt",
      "sha256": "119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220",
      "bytes": 19734,
      "redacted": false
    },
    {
      "name": "k1135-el0-guest.rs",
      "source": "reports/os-implementation/K1135-el0-candidate-bIuVKA/k1135-el0-guest.rs",
      "originalSha256": "18efc3c77bb3ae2dc670116470cdcbccdb358b43d81d70076fd307c8cc677720",
      "href": "/os-evidence/18efc3c77bb3ae2dc670116470cdcbccdb358b43d81d70076fd307c8cc677720.txt",
      "sha256": "18efc3c77bb3ae2dc670116470cdcbccdb358b43d81d70076fd307c8cc677720",
      "bytes": 14543,
      "redacted": false
    },
    {
      "name": "os_k1135_vectors.S",
      "source": "reports/os-implementation/K1135-el0-candidate-bIuVKA/sources/kernel/src/os_k1135_vectors.S",
      "originalSha256": "3f662e39f1089c236a8148caa17708168d765f8213e824a05c8f0b653dc06977",
      "href": "/os-evidence/3f662e39f1089c236a8148caa17708168d765f8213e824a05c8f0b653dc06977.txt",
      "sha256": "3f662e39f1089c236a8148caa17708168d765f8213e824a05c8f0b653dc06977",
      "bytes": 5987,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1135-el0-candidate-bIuVKA/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "1076ff2f6a61aea09778c7913d6c98f328acac53f41206f8936aca2ce4f0be87",
      "href": "/os-evidence/1076ff2f6a61aea09778c7913d6c98f328acac53f41206f8936aca2ce4f0be87.txt",
      "sha256": "1076ff2f6a61aea09778c7913d6c98f328acac53f41206f8936aca2ce4f0be87",
      "bytes": 18809,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1135-el0-candidate-bIuVKA/kernel-product.log",
      "originalSha256": "c9bf439fe0e1eed37f3c6dc35894f8f79d17114722be3098017cd1dd774de1af",
      "href": "/os-evidence/ad3663ec350618cb16612e74bcf423883b220da6910e3cc69f4671465fc35122.txt",
      "sha256": "ad3663ec350618cb16612e74bcf423883b220da6910e3cc69f4671465fc35122",
      "bytes": 21066,
      "redacted": true
    }
  ],
  "moves": [
    "K1135"
  ]
}