{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1140-el0-acceptance-3KOm5g/report.json",
    "sha256": "97e0bea328463af821e68897629d2eaaf4c2f6d2ec1a2fcda8257e929312db1f",
    "bytes": 3564
  },
  "status": "K1140_DEVELOPMENT_GUEST_ACCEPTED",
  "scope": "Isolated development Image acceptance: direct and UEFI one-bank guests at 256/512/1024 MiB each execute three real write SVC entries and one completion SVC through a retained ProcessTable root. Owned data is fully copied under FrameStore ownership before two eight-byte UART outputs. Foreign pointer returns EFAULT before pin, copy or output; user result witnesses, exact serial bytes and postfailure healthy write prove no partial output. Every guest passes physical owner/release and full predecessor checks. The host ABI Dispatcher independently passes named write and foreign-pointer tests. Published release, external hardware and general VFS remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": "06fcc43f134dc6df820c7bc396256302dd1ba000635f6ab13404612267c049ea",
  "files": [
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1140-el0-candidate-yFDOT3/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220",
      "href": "/os-evidence/119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220.txt",
      "sha256": "119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220",
      "bytes": 19734,
      "redacted": false
    },
    {
      "name": "k1140-el0-guest.rs",
      "source": "reports/os-implementation/K1140-el0-candidate-yFDOT3/k1140-el0-guest.rs",
      "originalSha256": "8dd5d0db1295bb4229f302e64d51f46a0c9a64347cc143a6d9a380eef260989f",
      "href": "/os-evidence/8dd5d0db1295bb4229f302e64d51f46a0c9a64347cc143a6d9a380eef260989f.txt",
      "sha256": "8dd5d0db1295bb4229f302e64d51f46a0c9a64347cc143a6d9a380eef260989f",
      "bytes": 14491,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1140-el0-candidate-yFDOT3/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/K1140-el0-candidate-yFDOT3/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "c79ea9de7dbabb599fd45902d495827c19eeaab5748a86ecffc44c6e8843ec26",
      "href": "/os-evidence/c79ea9de7dbabb599fd45902d495827c19eeaab5748a86ecffc44c6e8843ec26.txt",
      "sha256": "c79ea9de7dbabb599fd45902d495827c19eeaab5748a86ecffc44c6e8843ec26",
      "bytes": 70022,
      "redacted": false
    },
    {
      "name": "k1140-process-table-extension.rs",
      "source": "scripts/os-acceptance/k1140-process-table-extension.rs",
      "originalSha256": "872b50b088a5da39a0c33ea890696915cf7c9c8a815f4f02bce97503441b8163",
      "href": "/os-evidence/872b50b088a5da39a0c33ea890696915cf7c9c8a815f4f02bce97503441b8163.txt",
      "sha256": "872b50b088a5da39a0c33ea890696915cf7c9c8a815f4f02bce97503441b8163",
      "bytes": 1491,
      "redacted": false
    },
    {
      "name": "k1140-process-guest-extension.rs",
      "source": "scripts/os-acceptance/k1140-process-guest-extension.rs",
      "originalSha256": "2605ca3bc54e0b6d4b43b986f1903e84809dbf24fc717d763f49edf99f854edd",
      "href": "/os-evidence/2605ca3bc54e0b6d4b43b986f1903e84809dbf24fc717d763f49edf99f854edd.txt",
      "sha256": "2605ca3bc54e0b6d4b43b986f1903e84809dbf24fc717d763f49edf99f854edd",
      "bytes": 1671,
      "redacted": false
    },
    {
      "name": "os_k1140_vectors.S",
      "source": "reports/os-implementation/K1140-el0-candidate-yFDOT3/sources/kernel/src/os_k1140_vectors.S",
      "originalSha256": "06e1541ec14ecd840206be79ba7af9b97e8e5c5d27b840819b44a0fe826a67e3",
      "href": "/os-evidence/06e1541ec14ecd840206be79ba7af9b97e8e5c5d27b840819b44a0fe826a67e3.txt",
      "sha256": "06e1541ec14ecd840206be79ba7af9b97e8e5c5d27b840819b44a0fe826a67e3",
      "bytes": 5987,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1140-el0-candidate-yFDOT3/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "786b23a2b3fe924c7f304db86f56f4bc685d34aec656223ccedd949e881c153b",
      "href": "/os-evidence/786b23a2b3fe924c7f304db86f56f4bc685d34aec656223ccedd949e881c153b.txt",
      "sha256": "786b23a2b3fe924c7f304db86f56f4bc685d34aec656223ccedd949e881c153b",
      "bytes": 20358,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1140-el0-candidate-yFDOT3/kernel-product.log",
      "originalSha256": "ec9de4845b4e9ab6db46116f0ad6977c50f4796ac3f81d50c90eefd2e1116895",
      "href": "/os-evidence/1894b1424154ac1a00a336a37017aa91fc7218540e1f44659d7edc2fcd4c3d86.txt",
      "sha256": "1894b1424154ac1a00a336a37017aa91fc7218540e1f44659d7edc2fcd4c3d86",
      "bytes": 21066,
      "redacted": true
    }
  ],
  "moves": [
    "K1140"
  ]
}