{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1205-rust-start-el0-matrix-pqctvz/report.json",
    "sha256": "a79c25ad3cd1864b95cf165a0f10f655d29dd5f6a53d5e4c1b438fa49078218c",
    "bytes": 8140
  },
  "status": "K1205_RUST_START_EL0_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image runs an actual compiler-produced Rust main in EL0. The same ELF first receives an unaligned SP and exits126 before loading the stack, then checks the two argv byte strings on an aligned SP and exits42. The kernel returns with all AArch64 callee-saved registers restored; both bags are reaped and physical inventory returns to baseline. Six one-bank QEMU profiles pass. A general userspace CRT and published product release remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "3fc45ed736625c69160fcb989b7df30aee313046b6a649aca320248f0c28d40a",
  "files": [
    {
      "name": "k1205-rust-start-el0-guest.rs",
      "source": "reports/os-implementation/K1205-rust-start-el0-candidate-slROyh/k1205-rust-start-el0-guest.rs",
      "originalSha256": "95aae55a748b8bacf9834fe70041f07df8a0c184e0bdd669b912f616c3db1cf5",
      "href": "/os-evidence/95aae55a748b8bacf9834fe70041f07df8a0c184e0bdd669b912f616c3db1cf5.txt",
      "sha256": "95aae55a748b8bacf9834fe70041f07df8a0c184e0bdd669b912f616c3db1cf5",
      "bytes": 14606,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1205-rust-start-el0-candidate-slROyh/sources/kernel/src/runtime/process_table.rs",
      "originalSha256": "b4e946957d0d4b9e34f02476513ff173290d0792f6fcded28a1d5e94bd46a5f9",
      "href": "/os-evidence/b4e946957d0d4b9e34f02476513ff173290d0792f6fcded28a1d5e94bd46a5f9.txt",
      "sha256": "b4e946957d0d4b9e34f02476513ff173290d0792f6fcded28a1d5e94bd46a5f9",
      "bytes": 42372,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1205-rust-start-el0-candidate-slROyh/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "f27bfcb820c05850066620ecc667eb6de6ebfd3b6d4cb5942d0d40455e970dfa",
      "href": "/os-evidence/f27bfcb820c05850066620ecc667eb6de6ebfd3b6d4cb5942d0d40455e970dfa.txt",
      "sha256": "f27bfcb820c05850066620ecc667eb6de6ebfd3b6d4cb5942d0d40455e970dfa",
      "bytes": 75150,
      "redacted": false
    },
    {
      "name": "os_k1205_vectors.S",
      "source": "reports/os-implementation/K1205-rust-start-el0-candidate-slROyh/sources/kernel/src/os_k1205_vectors.S",
      "originalSha256": "5f3e905e65bd29684530adf6aedeff76fcd03549ccbe0ec36bb93d1b8753acaa",
      "href": "/os-evidence/5f3e905e65bd29684530adf6aedeff76fcd03549ccbe0ec36bb93d1b8753acaa.txt",
      "sha256": "5f3e905e65bd29684530adf6aedeff76fcd03549ccbe0ec36bb93d1b8753acaa",
      "bytes": 6127,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1205-rust-start-el0-candidate-slROyh/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "3c5747d58381c190424bb08dbb0dfced9d132954cfd4272a558b12ca8e6a94fa",
      "href": "/os-evidence/3c5747d58381c190424bb08dbb0dfced9d132954cfd4272a558b12ca8e6a94fa.txt",
      "sha256": "3c5747d58381c190424bb08dbb0dfced9d132954cfd4272a558b12ca8e6a94fa",
      "bytes": 40711,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1205-rust-start-el0-candidate-slROyh/kernel-product.log",
      "originalSha256": "0b0c62d7c9e4bb5ea10f2e2544194e0434a1a963f1ea4991e05eff7fb29efb07",
      "href": "/os-evidence/e32230cd56951b43396fef226a814959f46538e260779d1ce699bc37a121cbfe.txt",
      "sha256": "e32230cd56951b43396fef226a814959f46538e260779d1ce699bc37a121cbfe",
      "bytes": 21110,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-GBT4o8/product-one-bank-direct-256-mode-31/serial.log",
      "originalSha256": "5f3667c4770e6ae58b0cac4733f121bb1b930e99773279073d0351cb14b246ba",
      "href": "/os-evidence/5f3667c4770e6ae58b0cac4733f121bb1b930e99773279073d0351cb14b246ba.txt",
      "sha256": "5f3667c4770e6ae58b0cac4733f121bb1b930e99773279073d0351cb14b246ba",
      "bytes": 42984,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-GBT4o8/product-one-bank-direct-512-mode-31/serial.log",
      "originalSha256": "af02475a1aa3a4c22aa3e8ef4f2f063899c16419df2347d7f6b93a0badb41cb2",
      "href": "/os-evidence/af02475a1aa3a4c22aa3e8ef4f2f063899c16419df2347d7f6b93a0badb41cb2.txt",
      "sha256": "af02475a1aa3a4c22aa3e8ef4f2f063899c16419df2347d7f6b93a0badb41cb2",
      "bytes": 42984,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-GBT4o8/product-one-bank-direct-1024-mode-31/serial.log",
      "originalSha256": "78b85d0b8ab302429a8041346bd10d68367fc2909e6025489ceb8a85452e69e3",
      "href": "/os-evidence/78b85d0b8ab302429a8041346bd10d68367fc2909e6025489ceb8a85452e69e3.txt",
      "sha256": "78b85d0b8ab302429a8041346bd10d68367fc2909e6025489ceb8a85452e69e3",
      "bytes": 42984,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-GBT4o8/product-one-bank-uefi-256-mode-31/serial.log",
      "originalSha256": "cfbc024bfa41da2178d164bb154e2c5f9f21b84712bdaa0d503fcbc13ea69945",
      "href": "/os-evidence/cfbc024bfa41da2178d164bb154e2c5f9f21b84712bdaa0d503fcbc13ea69945.txt",
      "sha256": "cfbc024bfa41da2178d164bb154e2c5f9f21b84712bdaa0d503fcbc13ea69945",
      "bytes": 49224,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-GBT4o8/product-one-bank-uefi-512-mode-31/serial.log",
      "originalSha256": "1f050f8a0da6b2b15949669a07f303a6ff7354af1ef99271efa05a7d82b7930b",
      "href": "/os-evidence/1f050f8a0da6b2b15949669a07f303a6ff7354af1ef99271efa05a7d82b7930b.txt",
      "sha256": "1f050f8a0da6b2b15949669a07f303a6ff7354af1ef99271efa05a7d82b7930b",
      "bytes": 49224,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-GBT4o8/product-one-bank-uefi-1024-mode-31/serial.log",
      "originalSha256": "e6c2536a3a8164e30a9d4a912ac4c556ffec4df1b6ee23b47a0e58ae2eda5f5e",
      "href": "/os-evidence/e6c2536a3a8164e30a9d4a912ac4c556ffec4df1b6ee23b47a0e58ae2eda5f5e.txt",
      "sha256": "e6c2536a3a8164e30a9d4a912ac4c556ffec4df1b6ee23b47a0e58ae2eda5f5e",
      "bytes": 49224,
      "redacted": false
    }
  ],
  "moves": [
    "K1205"
  ]
}