{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1225-typed-client-el0-matrix-QW8d1U/report.json",
    "sha256": "ac3dd68094aa7d8052b004d542c8f127ddf1e4552e138a16c638a742a89ff8e4",
    "bytes": 8764
  },
  "status": "K1225_TYPED_CLIENT_EL0_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image in six QEMU profiles runs a compiled AArch64 EL0 child using typed Native SVC allocation/free calls, observes ENOMEM without a false buffer, and returns ownership. Native MachO rejection and healthy shell continuation also pass. General user API and product release remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "b96c52044ce1469cb855fa7796d3cc37ba3f0d1e76e12f81fc85c26a1287bbf0",
  "files": [
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1225-typed-client-el0-candidate-c4Lorz/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "b670dd570482b1bce77458b9b0e6a73cdaf862d180de10670af24dffff67fd6a",
      "href": "/os-evidence/b670dd570482b1bce77458b9b0e6a73cdaf862d180de10670af24dffff67fd6a.txt",
      "sha256": "b670dd570482b1bce77458b9b0e6a73cdaf862d180de10670af24dffff67fd6a",
      "bytes": 27487,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1225-typed-client-el0-candidate-c4Lorz/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/K1225-typed-client-el0-candidate-c4Lorz/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/K1225-typed-client-el0-candidate-c4Lorz/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/K1225-typed-client-el0-candidate-c4Lorz/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/K1225-typed-client-el0-candidate-c4Lorz/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/K1225-typed-client-el0-candidate-c4Lorz/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/K1225-typed-client-el0-candidate-c4Lorz/sources/kernel/Cargo.toml",
      "originalSha256": "182d1ae33431807d4e85dbb4a198197b80a0200662be5c729f8676357a1fb021",
      "href": "/os-evidence/182d1ae33431807d4e85dbb4a198197b80a0200662be5c729f8676357a1fb021.txt",
      "sha256": "182d1ae33431807d4e85dbb4a198197b80a0200662be5c729f8676357a1fb021",
      "bytes": 6772,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1225-typed-client-el0-candidate-c4Lorz/kernel-product.log",
      "originalSha256": "67a7b775f72fc2c3102bb4336ff118c8fa70948678e86eb1c76b83671c750e26",
      "href": "/os-evidence/501c476e2dd7252a7677fa09c1b34d4dc9d691f268a959f9f07d28f66620de62.txt",
      "sha256": "501c476e2dd7252a7677fa09c1b34d4dc9d691f268a959f9f07d28f66620de62",
      "bytes": 21474,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-1m63j6/product-one-bank-direct-256-mode-36/serial.log",
      "originalSha256": "c49c7935756e6cf3ae5c99b5f49d426f958c4b6f1ef8409237524bac5552de4e",
      "href": "/os-evidence/c49c7935756e6cf3ae5c99b5f49d426f958c4b6f1ef8409237524bac5552de4e.txt",
      "sha256": "c49c7935756e6cf3ae5c99b5f49d426f958c4b6f1ef8409237524bac5552de4e",
      "bytes": 46677,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-1m63j6/product-one-bank-direct-512-mode-36/serial.log",
      "originalSha256": "cbd438c98dd06ffbfcdef88464c7fd8600aacffa57e91df28f94e3f8e40b4a01",
      "href": "/os-evidence/cbd438c98dd06ffbfcdef88464c7fd8600aacffa57e91df28f94e3f8e40b4a01.txt",
      "sha256": "cbd438c98dd06ffbfcdef88464c7fd8600aacffa57e91df28f94e3f8e40b4a01",
      "bytes": 46677,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-1m63j6/product-one-bank-direct-1024-mode-36/serial.log",
      "originalSha256": "bf9ce06b6e573ad88a4425f075fdc246518e3355541869f8450993a654383ae0",
      "href": "/os-evidence/bf9ce06b6e573ad88a4425f075fdc246518e3355541869f8450993a654383ae0.txt",
      "sha256": "bf9ce06b6e573ad88a4425f075fdc246518e3355541869f8450993a654383ae0",
      "bytes": 46677,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-1m63j6/product-one-bank-uefi-256-mode-36/serial.log",
      "originalSha256": "9004bd11f72f123d5b55bc5c0e067f503f3ccb8b51ce24f5cd64348601b162c5",
      "href": "/os-evidence/9004bd11f72f123d5b55bc5c0e067f503f3ccb8b51ce24f5cd64348601b162c5.txt",
      "sha256": "9004bd11f72f123d5b55bc5c0e067f503f3ccb8b51ce24f5cd64348601b162c5",
      "bytes": 52917,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-1m63j6/product-one-bank-uefi-512-mode-36/serial.log",
      "originalSha256": "92212d1e67e4f45f7b0fd722d4f99ffcbfeac19aeeecf6cd56c580fdef015e66",
      "href": "/os-evidence/92212d1e67e4f45f7b0fd722d4f99ffcbfeac19aeeecf6cd56c580fdef015e66.txt",
      "sha256": "92212d1e67e4f45f7b0fd722d4f99ffcbfeac19aeeecf6cd56c580fdef015e66",
      "bytes": 52917,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-1m63j6/product-one-bank-uefi-1024-mode-36/serial.log",
      "originalSha256": "f7c63ec91eb1770eddd1cb3cd33ca59ea54f31e2289a53f6eb390207827c8586",
      "href": "/os-evidence/f7c63ec91eb1770eddd1cb3cd33ca59ea54f31e2289a53f6eb390207827c8586.txt",
      "sha256": "f7c63ec91eb1770eddd1cb3cd33ca59ea54f31e2289a53f6eb390207827c8586",
      "bytes": 52917,
      "redacted": false
    }
  ],
  "moves": [
    "K1225"
  ]
}