{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1270-dispatch-el0-matrix-ShtTcq/report.json",
    "sha256": "f1d252eaaa4dc34cf042ff357f573b8f7de1ae12d0ffa1bd6b5582823a12e263",
    "bytes": 8713
  },
  "status": "K1270_DISPATCH_EL0_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image in six QEMU profiles has its EL0 shell parse runtime input, route an external name and builtin help, then call Version before spawning a child that exits. Native MachO rejection and owner cleanup also pass. External command execution and product release remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "c0691387d550c08a4ff0311b793bce3dd42d0586c811c5f1ad1f3c6cfc4c092b",
  "files": [
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1270-dispatch-el0-candidate-7KMCTW/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "9ba80a02ad2f26321f8f72af05f9514ce809676704e53e2794417e95b036c72d",
      "href": "/os-evidence/9ba80a02ad2f26321f8f72af05f9514ce809676704e53e2794417e95b036c72d.txt",
      "sha256": "9ba80a02ad2f26321f8f72af05f9514ce809676704e53e2794417e95b036c72d",
      "bytes": 45101,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1270-dispatch-el0-candidate-7KMCTW/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "6dc2fba864fec80d16431a0781b3c8c8225d5e553ea04ab67bb42173dc93b1cf",
      "href": "/os-evidence/6dc2fba864fec80d16431a0781b3c8c8225d5e553ea04ab67bb42173dc93b1cf.txt",
      "sha256": "6dc2fba864fec80d16431a0781b3c8c8225d5e553ea04ab67bb42173dc93b1cf",
      "bytes": 81614,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1270-dispatch-el0-candidate-7KMCTW/sources/kernel/src/runtime/process_table.rs",
      "originalSha256": "06695fdc5f8554adefd2f720572e54534cf22c746642a0518765b6f964da0fd8",
      "href": "/os-evidence/06695fdc5f8554adefd2f720572e54534cf22c746642a0518765b6f964da0fd8.txt",
      "sha256": "06695fdc5f8554adefd2f720572e54534cf22c746642a0518765b6f964da0fd8",
      "bytes": 44159,
      "redacted": false
    },
    {
      "name": "os_k1215a_vectors.S",
      "source": "reports/os-implementation/K1270-dispatch-el0-candidate-7KMCTW/sources/kernel/src/os_k1215a_vectors.S",
      "originalSha256": "62d6f1089c9265c7a625201954cfa2c37923452d306f0dfbbdd535b0a3a0fda5",
      "href": "/os-evidence/62d6f1089c9265c7a625201954cfa2c37923452d306f0dfbbdd535b0a3a0fda5.txt",
      "sha256": "62d6f1089c9265c7a625201954cfa2c37923452d306f0dfbbdd535b0a3a0fda5",
      "bytes": 6248,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1270-dispatch-el0-candidate-7KMCTW/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "d0192cf98585ca2b9059c08dfb1939d904baf21515540dce1e2ed447f9533111",
      "href": "/os-evidence/d0192cf98585ca2b9059c08dfb1939d904baf21515540dce1e2ed447f9533111.txt",
      "sha256": "d0192cf98585ca2b9059c08dfb1939d904baf21515540dce1e2ed447f9533111",
      "bytes": 45852,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1270-dispatch-el0-candidate-7KMCTW/sources/os-user-runtime-abi/src/lib.rs",
      "originalSha256": "c7fc214ce093b21a3a2fadff04b582cc14dd5dd86a0231c098e67ea887dbb91c",
      "href": "/os-evidence/c7fc214ce093b21a3a2fadff04b582cc14dd5dd86a0231c098e67ea887dbb91c.txt",
      "sha256": "c7fc214ce093b21a3a2fadff04b582cc14dd5dd86a0231c098e67ea887dbb91c",
      "bytes": 1658,
      "redacted": false
    },
    {
      "name": "mmu.rs",
      "source": "reports/os-implementation/K1270-dispatch-el0-candidate-7KMCTW/sources/kernel/src/mmu.rs",
      "originalSha256": "bfdc38c0a63dda267646d9c250a1bf74ffeae87ca842089fefce6a3464a8b61d",
      "href": "/os-evidence/bfdc38c0a63dda267646d9c250a1bf74ffeae87ca842089fefce6a3464a8b61d.txt",
      "sha256": "bfdc38c0a63dda267646d9c250a1bf74ffeae87ca842089fefce6a3464a8b61d",
      "bytes": 113779,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1270-dispatch-el0-candidate-7KMCTW/sources/kernel/Cargo.toml",
      "originalSha256": "653a7585d59abe90ce96f07ca0607b2c88b65c1847c488105fe6b22c73f50db3",
      "href": "/os-evidence/653a7585d59abe90ce96f07ca0607b2c88b65c1847c488105fe6b22c73f50db3.txt",
      "sha256": "653a7585d59abe90ce96f07ca0607b2c88b65c1847c488105fe6b22c73f50db3",
      "bytes": 6827,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1270-dispatch-el0-candidate-7KMCTW/sources/os-shell-words/src/lib.rs",
      "originalSha256": "2e0547a589368f1fc86438e557299c8ae4ce6bb092faac9563e01c2d0519759e",
      "href": "/os-evidence/2e0547a589368f1fc86438e557299c8ae4ce6bb092faac9563e01c2d0519759e.txt",
      "sha256": "2e0547a589368f1fc86438e557299c8ae4ce6bb092faac9563e01c2d0519759e",
      "bytes": 3468,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1270-dispatch-el0-candidate-7KMCTW/sources/os-shell-dispatch/src/lib.rs",
      "originalSha256": "2f8e48dc73e02daeda8795dd75b635488808e745dd2675a253584ca0f32cca0f",
      "href": "/os-evidence/2f8e48dc73e02daeda8795dd75b635488808e745dd2675a253584ca0f32cca0f.txt",
      "sha256": "2f8e48dc73e02daeda8795dd75b635488808e745dd2675a253584ca0f32cca0f",
      "bytes": 1318,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1270-dispatch-el0-candidate-7KMCTW/kernel-product.log",
      "originalSha256": "37c325c5a59b3e65c906c17a907777602eef3693f8ef9683a3751e4da2b6cd6c",
      "href": "/os-evidence/e9ad573bdc51b048dd3ebab4e24b7d05c61fe142e342d50739d0ff3fed56213c.txt",
      "sha256": "e9ad573bdc51b048dd3ebab4e24b7d05c61fe142e342d50739d0ff3fed56213c",
      "bytes": 21593,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-gf4C2g/product-one-bank-direct-256-mode-45/serial.log",
      "originalSha256": "23595eef247093dc931fe6adbe627a4e6e822830c4582c06af56e37d8e260edf",
      "href": "/os-evidence/23595eef247093dc931fe6adbe627a4e6e822830c4582c06af56e37d8e260edf.txt",
      "sha256": "23595eef247093dc931fe6adbe627a4e6e822830c4582c06af56e37d8e260edf",
      "bytes": 45653,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-gf4C2g/product-one-bank-direct-512-mode-45/serial.log",
      "originalSha256": "ca7e73431d6e7e28f3555985cf301e792fa621dae93ea91fc682b5e9dd2a4f93",
      "href": "/os-evidence/ca7e73431d6e7e28f3555985cf301e792fa621dae93ea91fc682b5e9dd2a4f93.txt",
      "sha256": "ca7e73431d6e7e28f3555985cf301e792fa621dae93ea91fc682b5e9dd2a4f93",
      "bytes": 45653,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-gf4C2g/product-one-bank-direct-1024-mode-45/serial.log",
      "originalSha256": "f66d36a9e634b0209e982474727fe9baaf993878f6e369ff15125df383706c5c",
      "href": "/os-evidence/f66d36a9e634b0209e982474727fe9baaf993878f6e369ff15125df383706c5c.txt",
      "sha256": "f66d36a9e634b0209e982474727fe9baaf993878f6e369ff15125df383706c5c",
      "bytes": 45653,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-gf4C2g/product-one-bank-uefi-256-mode-45/serial.log",
      "originalSha256": "63833bfbc7caed78c94cae351687b64168fcbeb90a1568a636299f8bdf00af60",
      "href": "/os-evidence/63833bfbc7caed78c94cae351687b64168fcbeb90a1568a636299f8bdf00af60.txt",
      "sha256": "63833bfbc7caed78c94cae351687b64168fcbeb90a1568a636299f8bdf00af60",
      "bytes": 51893,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-gf4C2g/product-one-bank-uefi-512-mode-45/serial.log",
      "originalSha256": "bb4bc9e17651f1ee706677d6ddae80fd73d126a5c661029e72366ec615745e76",
      "href": "/os-evidence/bb4bc9e17651f1ee706677d6ddae80fd73d126a5c661029e72366ec615745e76.txt",
      "sha256": "bb4bc9e17651f1ee706677d6ddae80fd73d126a5c661029e72366ec615745e76",
      "bytes": 51893,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-gf4C2g/product-one-bank-uefi-1024-mode-45/serial.log",
      "originalSha256": "c54b6de89969249db60de49f35fe01e59ffc38385932cc1de1e07c81669c753b",
      "href": "/os-evidence/c54b6de89969249db60de49f35fe01e59ffc38385932cc1de1e07c81669c753b.txt",
      "sha256": "c54b6de89969249db60de49f35fe01e59ffc38385932cc1de1e07c81669c753b",
      "bytes": 51893,
      "redacted": false
    }
  ],
  "moves": [
    "K1270"
  ]
}