{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1215-alloc-el0-matrix-YNoinO/report.json",
    "sha256": "6c950873a95df3ba450e23ee47f06b8711187e2ab54130017170d7dde9b78004",
    "bytes": 8933
  },
  "status": "K1215_EL0_ALLOC_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image in six QEMU profiles maps three separate user RW heap pages into the child address space. A fourth request returns ENOMEM before Registry acquisition. The child checks bytes, frees three pages, exits42; its live shell then allocates and frees its own page, receives V1 Version and exits0. Both process bags retire and physical inventory returns to baseline. The bounded three-page allocator and proprietary Role/RunChild calls do not establish a general published user allocator or product release.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "bc76aebfd38ec61b9f4fb397e7684bb793e6709279971cf17982adb744686f14",
  "files": [
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1215-alloc-el0-candidate-BOg1E6/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "d80947bdeb0389abd9288b03dd309f5b2aa5bd7fbbd633cb94b18aca60f251d7",
      "href": "/os-evidence/d80947bdeb0389abd9288b03dd309f5b2aa5bd7fbbd633cb94b18aca60f251d7.txt",
      "sha256": "d80947bdeb0389abd9288b03dd309f5b2aa5bd7fbbd633cb94b18aca60f251d7",
      "bytes": 25346,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1215-alloc-el0-candidate-BOg1E6/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/K1215-alloc-el0-candidate-BOg1E6/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/K1215-alloc-el0-candidate-BOg1E6/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/K1215-alloc-el0-candidate-BOg1E6/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/K1215-alloc-el0-candidate-BOg1E6/sources/os-user-runtime-abi/src/lib.rs",
      "originalSha256": "c7fc214ce093b21a3a2fadff04b582cc14dd5dd86a0231c098e67ea887dbb91c",
      "href": "/os-evidence/c7fc214ce093b21a3a2fadff04b582cc14dd5dd86a0231c098e67ea887dbb91c.txt",
      "sha256": "c7fc214ce093b21a3a2fadff04b582cc14dd5dd86a0231c098e67ea887dbb91c",
      "bytes": 1658,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1215-alloc-el0-candidate-BOg1E6/kernel-product.log",
      "originalSha256": "4a32946baaca263122cd9c4151462bfd45f0fa304e614d2309c0d6bdcfb040be",
      "href": "/os-evidence/87599c53921d702fd8845b62758ac2cf0e945f8d7152e2bba3ff7f58abe9c33c.txt",
      "sha256": "87599c53921d702fd8845b62758ac2cf0e945f8d7152e2bba3ff7f58abe9c33c",
      "bytes": 21439,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-tjykS1/product-one-bank-direct-256-mode-34/serial.log",
      "originalSha256": "eb2c74cf9ca7122e2b4c7edd9e5e2fbd03d9acae96fb77349576056e7f7ee226",
      "href": "/os-evidence/eb2c74cf9ca7122e2b4c7edd9e5e2fbd03d9acae96fb77349576056e7f7ee226.txt",
      "sha256": "eb2c74cf9ca7122e2b4c7edd9e5e2fbd03d9acae96fb77349576056e7f7ee226",
      "bytes": 46395,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-tjykS1/product-one-bank-direct-512-mode-34/serial.log",
      "originalSha256": "266b934d4ef3c94d06d287c3d3ea5346d5106b6a0cfa46e36e679382362220ea",
      "href": "/os-evidence/266b934d4ef3c94d06d287c3d3ea5346d5106b6a0cfa46e36e679382362220ea.txt",
      "sha256": "266b934d4ef3c94d06d287c3d3ea5346d5106b6a0cfa46e36e679382362220ea",
      "bytes": 46395,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-tjykS1/product-one-bank-direct-1024-mode-34/serial.log",
      "originalSha256": "c59380e1e92ff5177191946524aea4448d4dd3ceeea6b0a7cc47a07575e62808",
      "href": "/os-evidence/c59380e1e92ff5177191946524aea4448d4dd3ceeea6b0a7cc47a07575e62808.txt",
      "sha256": "c59380e1e92ff5177191946524aea4448d4dd3ceeea6b0a7cc47a07575e62808",
      "bytes": 46395,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-tjykS1/product-one-bank-uefi-256-mode-34/serial.log",
      "originalSha256": "dc28fea04aa15361d15e0d4e4d8e5676af76918f86b9bed66fb242b2a2576ab2",
      "href": "/os-evidence/dc28fea04aa15361d15e0d4e4d8e5676af76918f86b9bed66fb242b2a2576ab2.txt",
      "sha256": "dc28fea04aa15361d15e0d4e4d8e5676af76918f86b9bed66fb242b2a2576ab2",
      "bytes": 52635,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-tjykS1/product-one-bank-uefi-512-mode-34/serial.log",
      "originalSha256": "15fb5dcc241e3e8b56b426745a2d4f7b6b5297207c72433b6e57ece3c4cc40d5",
      "href": "/os-evidence/15fb5dcc241e3e8b56b426745a2d4f7b6b5297207c72433b6e57ece3c4cc40d5.txt",
      "sha256": "15fb5dcc241e3e8b56b426745a2d4f7b6b5297207c72433b6e57ece3c4cc40d5",
      "bytes": 52635,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-tjykS1/product-one-bank-uefi-1024-mode-34/serial.log",
      "originalSha256": "8251e1d54984b80e14865ab24025442bd535ed928e23780cb06988e40c5d516b",
      "href": "/os-evidence/8251e1d54984b80e14865ab24025442bd535ed928e23780cb06988e40c5d516b.txt",
      "sha256": "8251e1d54984b80e14865ab24025442bd535ed928e23780cb06988e40c5d516b",
      "bytes": 52635,
      "redacted": false
    }
  ],
  "moves": [
    "K1215"
  ]
}