{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1250-startup-el0-matrix-IzDoiM/report.json",
    "sha256": "51e2fc8c9cd0220696ae613258e06d7550e935bf86a03a88d7af50f7b0e6f4ac",
    "bytes": 9087
  },
  "status": "K1250_STARTUP_EL0_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image in six QEMU profiles runs a fixed-capacity EL0 INIT supervisor with three in-memory adapter tokens in dependency order, injects start and stop failures, retains ownership on failed stop, retries reverse rollback, then completes ordered startup and reverse shutdown before child heap acquisition. Native MachO rejection, typed allocation and owner cleanup also pass. Real service processes, drivers and product release remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "a00ab86bd99857303361b855943aba2867f693d3358c6ce71fdfe8b3fe1a53a4",
  "files": [
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1250-startup-el0-candidate-zcBseY/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "34b16099da966ed4597c5e2879eaeefd82723b99930b1fecc5f458be4c0db15b",
      "href": "/os-evidence/34b16099da966ed4597c5e2879eaeefd82723b99930b1fecc5f458be4c0db15b.txt",
      "sha256": "34b16099da966ed4597c5e2879eaeefd82723b99930b1fecc5f458be4c0db15b",
      "bytes": 35778,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1250-startup-el0-candidate-zcBseY/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/K1250-startup-el0-candidate-zcBseY/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/K1250-startup-el0-candidate-zcBseY/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/K1250-startup-el0-candidate-zcBseY/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/K1250-startup-el0-candidate-zcBseY/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/K1250-startup-el0-candidate-zcBseY/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/K1250-startup-el0-candidate-zcBseY/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/K1250-startup-el0-candidate-zcBseY/kernel-product.log",
      "originalSha256": "6f393d1d781166f6933312925180a7140b89d961738f39fce1ae86f177deb71d",
      "href": "/os-evidence/4e692f73ff3582814d21db8eea487b4685131409daedbf02a646cfe0f6436111.txt",
      "sha256": "4e692f73ff3582814d21db8eea487b4685131409daedbf02a646cfe0f6436111",
      "bytes": 21449,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-Vg0Cie/product-one-bank-direct-256-mode-41/serial.log",
      "originalSha256": "26658d5bc8b8838df1cb0e7110b3b7efeefc33b7df2c4e5a08d1577c7cf3cd46",
      "href": "/os-evidence/26658d5bc8b8838df1cb0e7110b3b7efeefc33b7df2c4e5a08d1577c7cf3cd46.txt",
      "sha256": "26658d5bc8b8838df1cb0e7110b3b7efeefc33b7df2c4e5a08d1577c7cf3cd46",
      "bytes": 46993,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-Vg0Cie/product-one-bank-direct-512-mode-41/serial.log",
      "originalSha256": "7364d308718c1b157cbade174148cf9eb4325e750dbb643f79fb1ab1ed0d45af",
      "href": "/os-evidence/7364d308718c1b157cbade174148cf9eb4325e750dbb643f79fb1ab1ed0d45af.txt",
      "sha256": "7364d308718c1b157cbade174148cf9eb4325e750dbb643f79fb1ab1ed0d45af",
      "bytes": 46993,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-Vg0Cie/product-one-bank-direct-1024-mode-41/serial.log",
      "originalSha256": "29442612480c515722c66481b6430c09c18161ba905f13d737623d4222ea40e8",
      "href": "/os-evidence/29442612480c515722c66481b6430c09c18161ba905f13d737623d4222ea40e8.txt",
      "sha256": "29442612480c515722c66481b6430c09c18161ba905f13d737623d4222ea40e8",
      "bytes": 46993,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-Vg0Cie/product-one-bank-uefi-256-mode-41/serial.log",
      "originalSha256": "14681ea0e8313292493dc3b55cec2dbb7c88d4eb5587cbe7c8bf0cf8883d4617",
      "href": "/os-evidence/14681ea0e8313292493dc3b55cec2dbb7c88d4eb5587cbe7c8bf0cf8883d4617.txt",
      "sha256": "14681ea0e8313292493dc3b55cec2dbb7c88d4eb5587cbe7c8bf0cf8883d4617",
      "bytes": 53233,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-Vg0Cie/product-one-bank-uefi-512-mode-41/serial.log",
      "originalSha256": "66e6e31d7d1ce8f9484d55c450ec7d048b6aab63da5b234d6f6cc37a93dec795",
      "href": "/os-evidence/66e6e31d7d1ce8f9484d55c450ec7d048b6aab63da5b234d6f6cc37a93dec795.txt",
      "sha256": "66e6e31d7d1ce8f9484d55c450ec7d048b6aab63da5b234d6f6cc37a93dec795",
      "bytes": 53233,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-Vg0Cie/product-one-bank-uefi-1024-mode-41/serial.log",
      "originalSha256": "45756e1bbe3b6f2396cd41de351a3b0a63ba33084ea98fb36dbfe2588369b797",
      "href": "/os-evidence/45756e1bbe3b6f2396cd41de351a3b0a63ba33084ea98fb36dbfe2588369b797.txt",
      "sha256": "45756e1bbe3b6f2396cd41de351a3b0a63ba33084ea98fb36dbfe2588369b797",
      "bytes": 53233,
      "redacted": false
    }
  ],
  "moves": [
    "K1250"
  ]
}