{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1195-orphan-el0-matrix-w1uEeD/report.json",
    "sha256": "dd3f1b122979be6154d2d6d45fae98c4ceba01a7176b7ebd6d019664fe719fd6",
    "bytes": 8041
  },
  "status": "K1195_ORPHAN_EL0_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image: real EL0 parent exit adopts two children; INIT reaps them in publication order; stale original parent PID rejects access after slot reuse; one child faults and one exits 42; physical inventory returns to baseline. Six one-bank QEMU profiles pass. Child creation is a trusted kernel trap, not a general EL0 spawn API. Published release and external hardware remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "acba8629c1641e427b35e6bea21b9f9d9197aed83ecfb877c9fdab9ea1d8ecb8",
  "files": [
    {
      "name": "k1195-orphan-el0-guest-v1.rs",
      "source": "scripts/os-acceptance/k1195-orphan-el0-guest-v1.rs",
      "originalSha256": "69f0b3f952b7cbbb7e2387b7a7d1ed5f0a01dce9232cf904d98c00bf32863669",
      "href": "/os-evidence/69f0b3f952b7cbbb7e2387b7a7d1ed5f0a01dce9232cf904d98c00bf32863669.txt",
      "sha256": "69f0b3f952b7cbbb7e2387b7a7d1ed5f0a01dce9232cf904d98c00bf32863669",
      "bytes": 30652,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1195-orphan-el0-candidate-CjaH9t/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/K1195-orphan-el0-candidate-CjaH9t/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "6121c7535cd098bd50d8a69fe7e73d6c7b1d494c4a7713a155eac80d709c5086",
      "href": "/os-evidence/6121c7535cd098bd50d8a69fe7e73d6c7b1d494c4a7713a155eac80d709c5086.txt",
      "sha256": "6121c7535cd098bd50d8a69fe7e73d6c7b1d494c4a7713a155eac80d709c5086",
      "bytes": 74619,
      "redacted": false
    },
    {
      "name": "frame_authority.rs",
      "source": "reports/os-implementation/K1195-orphan-el0-candidate-CjaH9t/sources/kernel/src/runtime/frame_authority.rs",
      "originalSha256": "851e04edea672e64f10f942c8d3583685f154a009dacf7149f2095ad0a59f0bc",
      "href": "/os-evidence/851e04edea672e64f10f942c8d3583685f154a009dacf7149f2095ad0a59f0bc.txt",
      "sha256": "851e04edea672e64f10f942c8d3583685f154a009dacf7149f2095ad0a59f0bc",
      "bytes": 36531,
      "redacted": false
    },
    {
      "name": "os_k1195o_vectors.S",
      "source": "reports/os-implementation/K1195-orphan-el0-candidate-CjaH9t/sources/kernel/src/os_k1195o_vectors.S",
      "originalSha256": "f692394939135a0a61dca2bcf453f4119a05f7ffe1f3c3c54fe788b5abf18f6d",
      "href": "/os-evidence/f692394939135a0a61dca2bcf453f4119a05f7ffe1f3c3c54fe788b5abf18f6d.txt",
      "sha256": "f692394939135a0a61dca2bcf453f4119a05f7ffe1f3c3c54fe788b5abf18f6d",
      "bytes": 6108,
      "redacted": false
    },
    {
      "name": "os_k1100_policy-tasks.S",
      "source": "reports/os-implementation/K1195-orphan-el0-candidate-CjaH9t/sources/kernel/src/os_k1100_policy-tasks.S",
      "originalSha256": "1710ebc15b6fd3ffa160e86a1091ba611c92a0fef722f3ca5ff999d9f3a7bf75",
      "href": "/os-evidence/1710ebc15b6fd3ffa160e86a1091ba611c92a0fef722f3ca5ff999d9f3a7bf75.txt",
      "sha256": "1710ebc15b6fd3ffa160e86a1091ba611c92a0fef722f3ca5ff999d9f3a7bf75",
      "bytes": 39012,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1195-orphan-el0-candidate-CjaH9t/kernel-product.log",
      "originalSha256": "0a06ee408bb795205c51d3d0bd20d4d135310404bde4d2f358a5a26b1e3a71db",
      "href": "/os-evidence/1bf56c0fa88c69dc9a32a2eee14a511a27e9cfef4d2aed843f9783998d9f7f7b.txt",
      "sha256": "1bf56c0fa88c69dc9a32a2eee14a511a27e9cfef4d2aed843f9783998d9f7f7b",
      "bytes": 21094,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-mrEXOa/product-one-bank-direct-256-mode-29/serial.log",
      "originalSha256": "6a3d494e880479ac37b9cebb473b1e3d30adac39fbaba3115df6fe8c0ad5d583",
      "href": "/os-evidence/6a3d494e880479ac37b9cebb473b1e3d30adac39fbaba3115df6fe8c0ad5d583.txt",
      "sha256": "6a3d494e880479ac37b9cebb473b1e3d30adac39fbaba3115df6fe8c0ad5d583",
      "bytes": 51894,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-mrEXOa/product-one-bank-direct-512-mode-29/serial.log",
      "originalSha256": "c5b9e809c7e113f560657c6c2664b9406b1b7eab7faa8ba1d00acf24746999eb",
      "href": "/os-evidence/c5b9e809c7e113f560657c6c2664b9406b1b7eab7faa8ba1d00acf24746999eb.txt",
      "sha256": "c5b9e809c7e113f560657c6c2664b9406b1b7eab7faa8ba1d00acf24746999eb",
      "bytes": 51894,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-mrEXOa/product-one-bank-direct-1024-mode-29/serial.log",
      "originalSha256": "4409ad535acb35be4a162a010c9a6796ebed55a44be878ffaeb73eaa44296b73",
      "href": "/os-evidence/4409ad535acb35be4a162a010c9a6796ebed55a44be878ffaeb73eaa44296b73.txt",
      "sha256": "4409ad535acb35be4a162a010c9a6796ebed55a44be878ffaeb73eaa44296b73",
      "bytes": 51894,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-mrEXOa/product-one-bank-uefi-256-mode-29/serial.log",
      "originalSha256": "0100cc8bacb3f07cc8a9bd8d2e8a9cd39660e8c5a0345d04ecca5cb5c3e83e16",
      "href": "/os-evidence/0100cc8bacb3f07cc8a9bd8d2e8a9cd39660e8c5a0345d04ecca5cb5c3e83e16.txt",
      "sha256": "0100cc8bacb3f07cc8a9bd8d2e8a9cd39660e8c5a0345d04ecca5cb5c3e83e16",
      "bytes": 58134,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-mrEXOa/product-one-bank-uefi-512-mode-29/serial.log",
      "originalSha256": "7c99fe07013ecc16b56d4dfb1b5d6a9f00c438265274420ebe38cb02bb285f62",
      "href": "/os-evidence/7c99fe07013ecc16b56d4dfb1b5d6a9f00c438265274420ebe38cb02bb285f62.txt",
      "sha256": "7c99fe07013ecc16b56d4dfb1b5d6a9f00c438265274420ebe38cb02bb285f62",
      "bytes": 58134,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-mrEXOa/product-one-bank-uefi-1024-mode-29/serial.log",
      "originalSha256": "504d4c6fbc5fd6ddcb7bd1038d77b1436477c5d8f8946f8675dcb4bb967e8248",
      "href": "/os-evidence/504d4c6fbc5fd6ddcb7bd1038d77b1436477c5d8f8946f8675dcb4bb967e8248.txt",
      "sha256": "504d4c6fbc5fd6ddcb7bd1038d77b1436477c5d8f8946f8675dcb4bb967e8248",
      "bytes": 58134,
      "redacted": false
    }
  ],
  "moves": [
    "K1195"
  ]
}