{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1130-el0-acceptance-XNP2iU/report.json",
    "sha256": "5b32b4aa8cff1d0a2b457e48e174f6d184ab167ed54104c8e59bc99fe7fc1fbe",
    "bytes": 2985
  },
  "status": "K1130_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 the trusted ELF through a retained ProcessTable root. Four real SVC entries per guest include canonical six-register arguments, explicit EINVAL for noncanonical U32 upper bits, and healthy recovery; three ERET returns per guest continue EL0. 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": "9046fdb4cb55035487727a86db856b2039655418629faea888f46d97b7239207",
  "files": [
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1130-el0-candidate-1YuoqF/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220",
      "href": "/os-evidence/119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220.txt",
      "sha256": "119d8f3f9302dcc80b41c7215105b1bf4f17eb19a63f10410493817fdf099220",
      "bytes": 19734,
      "redacted": false
    },
    {
      "name": "k1130-el0-guest.rs",
      "source": "reports/os-implementation/K1130-el0-candidate-1YuoqF/k1130-el0-guest.rs",
      "originalSha256": "1e5964c592e4fb46fbe5d9891dc7562fda0cbaf9c1fdd5c6944476c89652641d",
      "href": "/os-evidence/1e5964c592e4fb46fbe5d9891dc7562fda0cbaf9c1fdd5c6944476c89652641d.txt",
      "sha256": "1e5964c592e4fb46fbe5d9891dc7562fda0cbaf9c1fdd5c6944476c89652641d",
      "bytes": 13552,
      "redacted": false
    },
    {
      "name": "os_k1130_vectors.S",
      "source": "reports/os-implementation/K1130-el0-candidate-1YuoqF/sources/kernel/src/os_k1130_vectors.S",
      "originalSha256": "35d391f3a23cabf70269140d19ae55f06a40ac7ce27a5f7c38a30ec305381933",
      "href": "/os-evidence/35d391f3a23cabf70269140d19ae55f06a40ac7ce27a5f7c38a30ec305381933.txt",
      "sha256": "35d391f3a23cabf70269140d19ae55f06a40ac7ce27a5f7c38a30ec305381933",
      "bytes": 5987,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1130-el0-candidate-1YuoqF/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "064f1506e3d0e0350bb132a9c3d162ec5aa04b9832980bcdb6d9d3f84f1605be",
      "href": "/os-evidence/064f1506e3d0e0350bb132a9c3d162ec5aa04b9832980bcdb6d9d3f84f1605be.txt",
      "sha256": "064f1506e3d0e0350bb132a9c3d162ec5aa04b9832980bcdb6d9d3f84f1605be",
      "bytes": 17260,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1130-el0-candidate-1YuoqF/kernel-product.log",
      "originalSha256": "df5c69c6fba37041fa54c134e31cb6899a19b53cb45af46646ec5e2966a10cf7",
      "href": "/os-evidence/312a1e9d4730d789f20d674de62ef8ef5efad833f776df8010b89805c317053c.txt",
      "sha256": "312a1e9d4730d789f20d674de62ef8ef5efad833f776df8010b89805c317053c",
      "bytes": 20822,
      "redacted": true
    }
  ],
  "moves": [
    "K1130"
  ]
}