{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1210-shell-el0-matrix-cXiDfv/report.json",
    "sha256": "a87d44e0863d941be6510074c6749fcc4c9defe7a9cc332a3f5aa65626e591d0",
    "bytes": 8611
  },
  "status": "K1210_EL0_SHELL_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image in six QEMU profiles runs a live EL0 shell and compiler-produced Rust panic child from one immutable ELF. The child exits127; the same shell receives the typed result, rejects a repeated wait with ECHILD, services Version afterward and exits0. Both bags are reaped and inventory returns to baseline. The proprietary V1 Role/RunChild/WaitAgain calls and short command loop do not establish an interactive general shell or a published product release.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "1b023bfc8a2b938cae0eded4c11f31c7c0f5557f98b3c0fb329b6fa6c0ad2f0c",
  "files": [
    {
      "name": "k1210-shell-el0-guest.rs",
      "source": "scripts/os-acceptance/k1210-shell-el0-guest.rs",
      "originalSha256": "afc34f763bd69046403fcdfe5533d81a2688ee59672e6ab99fbb2bc77b7a27a0",
      "href": "/os-evidence/afc34f763bd69046403fcdfe5533d81a2688ee59672e6ab99fbb2bc77b7a27a0.txt",
      "sha256": "afc34f763bd69046403fcdfe5533d81a2688ee59672e6ab99fbb2bc77b7a27a0",
      "bytes": 22134,
      "redacted": false
    },
    {
      "name": "os_k1210s_vectors.S",
      "source": "reports/os-implementation/K1210-shell-el0-candidate-nIUpVv/sources/kernel/src/os_k1210s_vectors.S",
      "originalSha256": "1ad235bcb421b04a2bafcb060005802546db13436d68092dc61f979c1ff33346",
      "href": "/os-evidence/1ad235bcb421b04a2bafcb060005802546db13436d68092dc61f979c1ff33346.txt",
      "sha256": "1ad235bcb421b04a2bafcb060005802546db13436d68092dc61f979c1ff33346",
      "bytes": 6248,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1210-shell-el0-candidate-nIUpVv/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "38960d2537ac76e8a1882133697e9758cb9d1e7ce249cfb7713ee9ddac02a317",
      "href": "/os-evidence/38960d2537ac76e8a1882133697e9758cb9d1e7ce249cfb7713ee9ddac02a317.txt",
      "sha256": "38960d2537ac76e8a1882133697e9758cb9d1e7ce249cfb7713ee9ddac02a317",
      "bytes": 44131,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1210-shell-el0-candidate-nIUpVv/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/K1210-shell-el0-candidate-nIUpVv/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "f27bfcb820c05850066620ecc667eb6de6ebfd3b6d4cb5942d0d40455e970dfa",
      "href": "/os-evidence/f27bfcb820c05850066620ecc667eb6de6ebfd3b6d4cb5942d0d40455e970dfa.txt",
      "sha256": "f27bfcb820c05850066620ecc667eb6de6ebfd3b6d4cb5942d0d40455e970dfa",
      "bytes": 75150,
      "redacted": false
    },
    {
      "name": "kernel_file.rs",
      "source": "reports/os-implementation/K1210-shell-el0-candidate-nIUpVv/sources/bootloader/src/kernel_file.rs",
      "originalSha256": "955748607f55b720c7a3902a39ede844d533dc9b1cac2c42e5c96fd9caeae022",
      "href": "/os-evidence/955748607f55b720c7a3902a39ede844d533dc9b1cac2c42e5c96fd9caeae022.txt",
      "sha256": "955748607f55b720c7a3902a39ede844d533dc9b1cac2c42e5c96fd9caeae022",
      "bytes": 6598,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1210-shell-el0-candidate-nIUpVv/kernel-product.log",
      "originalSha256": "5024742e1ede24ccbfab068597b6eda2d1ca63709510c214e1347d7b8c3defb5",
      "href": "/os-evidence/92f9c3fa85db4612a80c3f0460de5d4cf9f63c1a6efb3ff41a1432d9faaa4f6b.txt",
      "sha256": "92f9c3fa85db4612a80c3f0460de5d4cf9f63c1a6efb3ff41a1432d9faaa4f6b",
      "bytes": 21090,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-nrLwRE/product-one-bank-direct-256-mode-33/serial.log",
      "originalSha256": "950a14247d8309f8c06913eafa558f2349576910eb89715fbc955c9c613fc38c",
      "href": "/os-evidence/950a14247d8309f8c06913eafa558f2349576910eb89715fbc955c9c613fc38c.txt",
      "sha256": "950a14247d8309f8c06913eafa558f2349576910eb89715fbc955c9c613fc38c",
      "bytes": 44818,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-nrLwRE/product-one-bank-direct-512-mode-33/serial.log",
      "originalSha256": "4028df18369cd9b60eb86088e4a08280e9dcb6947e1e932ee0bf4bc933062eb4",
      "href": "/os-evidence/4028df18369cd9b60eb86088e4a08280e9dcb6947e1e932ee0bf4bc933062eb4.txt",
      "sha256": "4028df18369cd9b60eb86088e4a08280e9dcb6947e1e932ee0bf4bc933062eb4",
      "bytes": 44818,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-nrLwRE/product-one-bank-direct-1024-mode-33/serial.log",
      "originalSha256": "ca796ad3d8f26ec00cd179bc3352743874b51c73f111b3dd7e3433332192fe4b",
      "href": "/os-evidence/ca796ad3d8f26ec00cd179bc3352743874b51c73f111b3dd7e3433332192fe4b.txt",
      "sha256": "ca796ad3d8f26ec00cd179bc3352743874b51c73f111b3dd7e3433332192fe4b",
      "bytes": 44818,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-nrLwRE/product-one-bank-uefi-256-mode-33/serial.log",
      "originalSha256": "043f0f1c3984ec9ce59116f297f17366422a06e936f2c0e375b6142002815a92",
      "href": "/os-evidence/043f0f1c3984ec9ce59116f297f17366422a06e936f2c0e375b6142002815a92.txt",
      "sha256": "043f0f1c3984ec9ce59116f297f17366422a06e936f2c0e375b6142002815a92",
      "bytes": 51058,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-nrLwRE/product-one-bank-uefi-512-mode-33/serial.log",
      "originalSha256": "afd8b8ae7f60b9d283a448a0c4b439b25077478d5aa5e19dffa56a4ecdc97582",
      "href": "/os-evidence/afd8b8ae7f60b9d283a448a0c4b439b25077478d5aa5e19dffa56a4ecdc97582.txt",
      "sha256": "afd8b8ae7f60b9d283a448a0c4b439b25077478d5aa5e19dffa56a4ecdc97582",
      "bytes": 51058,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-nrLwRE/product-one-bank-uefi-1024-mode-33/serial.log",
      "originalSha256": "ac0e02a675e610422cd7074ebc082604135a39c6cf64467cb496ef37b62aa365",
      "href": "/os-evidence/ac0e02a675e610422cd7074ebc082604135a39c6cf64467cb496ef37b62aa365.txt",
      "sha256": "ac0e02a675e610422cd7074ebc082604135a39c6cf64467cb496ef37b62aa365",
      "bytes": 51058,
      "redacted": false
    }
  ],
  "moves": [
    "K1210"
  ]
}