{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1255-restart-el0-matrix-Gp0j5G/report.json",
    "sha256": "430aff71952be3ab862af56800538ce15b65099b8d94a17607f3d7c43641aa57",
    "bytes": 8993
  },
  "status": "K1255_RESTART_EL0_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image in six QEMU profiles runs a bounded EL0 restart controller with one in-memory adapter token, injected stop and start errors, owner retention, exponential backoff and exhaustion 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": "5cfc1440494485c5b7e45cc4bc7bd11e39ad3e31eb10190902ada0c25590d43a",
  "files": [
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1255-restart-el0-candidate-tGNPa3/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "9b51a6930254ae69af54075e708d33196a983358cfe826f1482d5b32b9b9e496",
      "href": "/os-evidence/9b51a6930254ae69af54075e708d33196a983358cfe826f1482d5b32b9b9e496.txt",
      "sha256": "9b51a6930254ae69af54075e708d33196a983358cfe826f1482d5b32b9b9e496",
      "bytes": 37261,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1255-restart-el0-candidate-tGNPa3/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/K1255-restart-el0-candidate-tGNPa3/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/K1255-restart-el0-candidate-tGNPa3/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/K1255-restart-el0-candidate-tGNPa3/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/K1255-restart-el0-candidate-tGNPa3/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/K1255-restart-el0-candidate-tGNPa3/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/K1255-restart-el0-candidate-tGNPa3/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/K1255-restart-el0-candidate-tGNPa3/kernel-product.log",
      "originalSha256": "7b69996c630fd5803f38d60bff6cf002ab8d236dbc629e0981128330abd850ea",
      "href": "/os-evidence/27f930856feabd02c43b14871bce9dedcc82e931329605c77bfcc69c4c2f1adf.txt",
      "sha256": "27f930856feabd02c43b14871bce9dedcc82e931329605c77bfcc69c4c2f1adf",
      "bytes": 21449,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-rqSsTQ/product-one-bank-direct-256-mode-42/serial.log",
      "originalSha256": "07954aa0c7f9f1e9bdcda7ecf44fe6bf1cc21f7b4c1c3ee69c624c47b00624cd",
      "href": "/os-evidence/07954aa0c7f9f1e9bdcda7ecf44fe6bf1cc21f7b4c1c3ee69c624c47b00624cd.txt",
      "sha256": "07954aa0c7f9f1e9bdcda7ecf44fe6bf1cc21f7b4c1c3ee69c624c47b00624cd",
      "bytes": 46988,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-rqSsTQ/product-one-bank-direct-512-mode-42/serial.log",
      "originalSha256": "06d2be737658344e15cb123b04bafa40b2e17172c9be7abef5a63e24a1dde2d3",
      "href": "/os-evidence/06d2be737658344e15cb123b04bafa40b2e17172c9be7abef5a63e24a1dde2d3.txt",
      "sha256": "06d2be737658344e15cb123b04bafa40b2e17172c9be7abef5a63e24a1dde2d3",
      "bytes": 46988,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-rqSsTQ/product-one-bank-direct-1024-mode-42/serial.log",
      "originalSha256": "584094b1f1ca766788d9e8fce7dd1a5964118ef41cbf434a3a405daf63ec2285",
      "href": "/os-evidence/584094b1f1ca766788d9e8fce7dd1a5964118ef41cbf434a3a405daf63ec2285.txt",
      "sha256": "584094b1f1ca766788d9e8fce7dd1a5964118ef41cbf434a3a405daf63ec2285",
      "bytes": 46988,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-rqSsTQ/product-one-bank-uefi-256-mode-42/serial.log",
      "originalSha256": "41589afc4612b85c094a6176c5c592ffbbd4157789d1e66717eaa09ab2360409",
      "href": "/os-evidence/41589afc4612b85c094a6176c5c592ffbbd4157789d1e66717eaa09ab2360409.txt",
      "sha256": "41589afc4612b85c094a6176c5c592ffbbd4157789d1e66717eaa09ab2360409",
      "bytes": 53228,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-rqSsTQ/product-one-bank-uefi-512-mode-42/serial.log",
      "originalSha256": "c5ed9c005b37544c586083ed137bc9d36975751ddccb5c7663f5a7af392b9f62",
      "href": "/os-evidence/c5ed9c005b37544c586083ed137bc9d36975751ddccb5c7663f5a7af392b9f62.txt",
      "sha256": "c5ed9c005b37544c586083ed137bc9d36975751ddccb5c7663f5a7af392b9f62",
      "bytes": 53228,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-rqSsTQ/product-one-bank-uefi-1024-mode-42/serial.log",
      "originalSha256": "61d0b9f3594cafda4c1a35ae84f6fa7300029e92d4adf5571baf47bd516a63d5",
      "href": "/os-evidence/61d0b9f3594cafda4c1a35ae84f6fa7300029e92d4adf5571baf47bd516a63d5.txt",
      "sha256": "61d0b9f3594cafda4c1a35ae84f6fa7300029e92d4adf5571baf47bd516a63d5",
      "bytes": 53228,
      "redacted": false
    }
  ],
  "moves": [
    "K1255"
  ]
}