{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1150-el0-acceptance-qrCl7Y/report.json",
    "sha256": "06a5fb48a930451d85878e8ab547f3591332dd44f2f8332ec1d7824dd3ffd890",
    "bytes": 3685
  },
  "status": "K1150_DEVELOPMENT_GUEST_ACCEPTED",
  "scope": "Isolated development Image acceptance: direct and UEFI one-bank guests at 256/512/1024 MiB each accept exactly 256 total argv/env text bytes and reject 257 bytes before PID reservation or frame acquisition with unchanged actual metadata and physical inventory. The known small ELF is then prepared and published with two arguments and two environment strings. Real EL0 code checks the private stack pointer, vector counts and locations, four string pointers, bytes and terminators; its witness is checked after four SVC entries and three ERET returns. 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": "18ce60d793b5b9c59b4125ec60cd8a76fc89981166f4d5621891f781e35d6060",
  "files": [
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1150-el0-candidate-iVFMhn/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220",
      "href": "/os-evidence/119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220.txt",
      "sha256": "119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220",
      "bytes": 19734,
      "redacted": false
    },
    {
      "name": "k1150-el0-guest.rs",
      "source": "reports/os-implementation/K1150-el0-candidate-iVFMhn/k1150-el0-guest.rs",
      "originalSha256": "73cb3ef1242feab7748a0d82892983b8e336535e94e5bbf8da3c17373cf1e428",
      "href": "/os-evidence/73cb3ef1242feab7748a0d82892983b8e336535e94e5bbf8da3c17373cf1e428.txt",
      "sha256": "73cb3ef1242feab7748a0d82892983b8e336535e94e5bbf8da3c17373cf1e428",
      "bytes": 17081,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1150-el0-candidate-iVFMhn/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/K1150-el0-candidate-iVFMhn/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/K1150-el0-candidate-iVFMhn/sources/kernel/src/runtime/process_image_recipe.rs",
      "originalSha256": "0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071",
      "href": "/os-evidence/0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071.txt",
      "sha256": "0adaf78bf90f57c53a6fb69d15fe6426ade4580a4ed2434afc829a0799c1c071",
      "bytes": 27688,
      "redacted": false
    },
    {
      "name": "os_k1150_vectors.S",
      "source": "reports/os-implementation/K1150-el0-candidate-iVFMhn/sources/kernel/src/os_k1150_vectors.S",
      "originalSha256": "a56bb0fb9c2a5f7c9b1384fbfe71dbd741b6eb24b9dd7013f5906083338163a3",
      "href": "/os-evidence/a56bb0fb9c2a5f7c9b1384fbfe71dbd741b6eb24b9dd7013f5906083338163a3.txt",
      "sha256": "a56bb0fb9c2a5f7c9b1384fbfe71dbd741b6eb24b9dd7013f5906083338163a3",
      "bytes": 5987,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1150-el0-candidate-iVFMhn/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "1831c292be7d77969c39ef3362b924b09823b076899fd542ad9686e70ca65be9",
      "href": "/os-evidence/1831c292be7d77969c39ef3362b924b09823b076899fd542ad9686e70ca65be9.txt",
      "sha256": "1831c292be7d77969c39ef3362b924b09823b076899fd542ad9686e70ca65be9",
      "bytes": 23456,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1150-el0-candidate-iVFMhn/kernel-product.log",
      "originalSha256": "9df9c5f34cdb6049de926e7d57ae2edc0795fb285b10e8db38a12a64d51e4d94",
      "href": "/os-evidence/eb6de89a75e22edf7d4844543479456d58ced0b78756265f837044b07f9bb5f5.txt",
      "sha256": "eb6de89a75e22edf7d4844543479456d58ced0b78756265f837044b07f9bb5f5",
      "bytes": 21066,
      "redacted": true
    }
  ],
  "moves": [
    "K1150"
  ]
}