{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1235-handle-el0-matrix-LTa7cP/report.json",
    "sha256": "8f10a3b4c449eac99b034800dbd81cd62f221ee7a35c4efc8823bc9bb71e2980",
    "bytes": 9251
  },
  "status": "K1235_HANDLE_EL0_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image in six QEMU profiles grants one opaque EL0 handle, closes it once through Drop, rejects the second raw close with BadFd, and restores owner inventory. Bounded serial I/O, typed allocation and native MachO rejection also pass. General handle service and product release remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "974a85436ac2c8bcf2386dfe52fdc31eb40c255c4f3b01b32b866498b9d9e77b",
  "files": [
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1235-handle-el0-candidate-L4nJpv/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "3948ebe2ae5c15737cb0220d2156e39c97c493fb85496558c84eab1b2f6eb402",
      "href": "/os-evidence/3948ebe2ae5c15737cb0220d2156e39c97c493fb85496558c84eab1b2f6eb402.txt",
      "sha256": "3948ebe2ae5c15737cb0220d2156e39c97c493fb85496558c84eab1b2f6eb402",
      "bytes": 31485,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1235-handle-el0-candidate-L4nJpv/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/K1235-handle-el0-candidate-L4nJpv/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/K1235-handle-el0-candidate-L4nJpv/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/K1235-handle-el0-candidate-L4nJpv/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/K1235-handle-el0-candidate-L4nJpv/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/K1235-handle-el0-candidate-L4nJpv/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/K1235-handle-el0-candidate-L4nJpv/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/K1235-handle-el0-candidate-L4nJpv/kernel-product.log",
      "originalSha256": "8314db2be1d1b2fe0ed56ce7c3b7c5ede9c72d05509da0877bfe6b1ff7d03668",
      "href": "/os-evidence/dea83c9af880d5762d244f391a744d907a47a0928d54e36f5b9c89e8d5d5b92c.txt",
      "sha256": "dea83c9af880d5762d244f391a744d907a47a0928d54e36f5b9c89e8d5d5b92c",
      "bytes": 21444,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-kbbrDV/product-one-bank-direct-256-mode-38/serial.log",
      "originalSha256": "f95e945bc10335fe95937c3c296910299b3528e307431421a40353a7490d2a11",
      "href": "/os-evidence/f95e945bc10335fe95937c3c296910299b3528e307431421a40353a7490d2a11.txt",
      "sha256": "f95e945bc10335fe95937c3c296910299b3528e307431421a40353a7490d2a11",
      "bytes": 48030,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-kbbrDV/product-one-bank-direct-512-mode-38/serial.log",
      "originalSha256": "cdbdccf40186c18cd96c08905431c99ccddd4e0bd377cf1e02be10c7a4ef1ae8",
      "href": "/os-evidence/cdbdccf40186c18cd96c08905431c99ccddd4e0bd377cf1e02be10c7a4ef1ae8.txt",
      "sha256": "cdbdccf40186c18cd96c08905431c99ccddd4e0bd377cf1e02be10c7a4ef1ae8",
      "bytes": 48030,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-kbbrDV/product-one-bank-direct-1024-mode-38/serial.log",
      "originalSha256": "4eec26abef9400bb619dbe47dd071dd7740adc8b85709239338e4dbbdb239034",
      "href": "/os-evidence/4eec26abef9400bb619dbe47dd071dd7740adc8b85709239338e4dbbdb239034.txt",
      "sha256": "4eec26abef9400bb619dbe47dd071dd7740adc8b85709239338e4dbbdb239034",
      "bytes": 48030,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-kbbrDV/product-one-bank-uefi-256-mode-38/serial.log",
      "originalSha256": "8b272c1f3f34e856ea49beb61a70675bbdd5c0e191df7815cd7e2ae9da663897",
      "href": "/os-evidence/8b272c1f3f34e856ea49beb61a70675bbdd5c0e191df7815cd7e2ae9da663897.txt",
      "sha256": "8b272c1f3f34e856ea49beb61a70675bbdd5c0e191df7815cd7e2ae9da663897",
      "bytes": 54270,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-kbbrDV/product-one-bank-uefi-512-mode-38/serial.log",
      "originalSha256": "a272a372a43dc53e16b6f64194fefc6d1c31e20fdf1863dfce5d6213f7fc59cb",
      "href": "/os-evidence/a272a372a43dc53e16b6f64194fefc6d1c31e20fdf1863dfce5d6213f7fc59cb.txt",
      "sha256": "a272a372a43dc53e16b6f64194fefc6d1c31e20fdf1863dfce5d6213f7fc59cb",
      "bytes": 54270,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-kbbrDV/product-one-bank-uefi-1024-mode-38/serial.log",
      "originalSha256": "d03816d54c754f941169ec9b7a6e90e5fe28dbd8faf21cfb9a002f9e4e7fc04e",
      "href": "/os-evidence/d03816d54c754f941169ec9b7a6e90e5fe28dbd8faf21cfb9a002f9e4e7fc04e.txt",
      "sha256": "d03816d54c754f941169ec9b7a6e90e5fe28dbd8faf21cfb9a002f9e4e7fc04e",
      "bytes": 54270,
      "redacted": false
    }
  ],
  "moves": [
    "K1235"
  ]
}