{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1260-reaper-el0-matrix-j0HrB5/report.json",
    "sha256": "e5dc34a7ad08bb17d233383c10f548f164c68e2c2aadb04a2e87bd5a6f6f151a",
    "bytes": 9276
  },
  "status": "K1260_REAPER_EL0_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image in six QEMU profiles runs an EL0 shell and child, tracks the shell under INIT, retains the record after an injected wait error, then reaps it through the actual kernel process table. Bounded bookkeeping, native MachO rejection, typed allocation and owner cleanup also pass. General service child adoption, drivers and product release remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "aba36ae30a644b46213f37d8022396e047b15b6527a07eb9b6b95f298859a468",
  "files": [
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1260-reaper-el0-candidate-yDJ42D/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "ad10d61c7a5bfc6f839812f10974ad0ef19d544e8c184bcbbd29d56842aaf8ca",
      "href": "/os-evidence/ad10d61c7a5bfc6f839812f10974ad0ef19d544e8c184bcbbd29d56842aaf8ca.txt",
      "sha256": "ad10d61c7a5bfc6f839812f10974ad0ef19d544e8c184bcbbd29d56842aaf8ca",
      "bytes": 39980,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1260-reaper-el0-candidate-yDJ42D/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/K1260-reaper-el0-candidate-yDJ42D/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/K1260-reaper-el0-candidate-yDJ42D/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/K1260-reaper-el0-candidate-yDJ42D/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/K1260-reaper-el0-candidate-yDJ42D/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/K1260-reaper-el0-candidate-yDJ42D/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/K1260-reaper-el0-candidate-yDJ42D/sources/kernel/Cargo.toml",
      "originalSha256": "653a7585d59abe90ce96f07ca0607b2c88b65c1847c488105fe6b22c73f50db3",
      "href": "/os-evidence/653a7585d59abe90ce96f07ca0607b2c88b65c1847c488105fe6b22c73f50db3.txt",
      "sha256": "653a7585d59abe90ce96f07ca0607b2c88b65c1847c488105fe6b22c73f50db3",
      "bytes": 6827,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1260-reaper-el0-candidate-yDJ42D/sources/os-init-reaper/src/lib.rs",
      "originalSha256": "639988ad91ba3eb539d15cda805c091838f8f299e0f45eb6cc92469ef7f1a499",
      "href": "/os-evidence/639988ad91ba3eb539d15cda805c091838f8f299e0f45eb6cc92469ef7f1a499.txt",
      "sha256": "639988ad91ba3eb539d15cda805c091838f8f299e0f45eb6cc92469ef7f1a499",
      "bytes": 2539,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "reports/os-implementation/K1260-reaper-el0-candidate-yDJ42D/sources/os-init-reaper/CONTRACT.md",
      "originalSha256": "719d7b81d8e839fe2c53fd2362940db5791670baa19aa1b681ce2bfd476f7e22",
      "href": "/os-evidence/719d7b81d8e839fe2c53fd2362940db5791670baa19aa1b681ce2bfd476f7e22.txt",
      "sha256": "719d7b81d8e839fe2c53fd2362940db5791670baa19aa1b681ce2bfd476f7e22",
      "bytes": 647,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1260-reaper-el0-candidate-yDJ42D/kernel-product.log",
      "originalSha256": "e12504a12f354af8c111f9dd5aef44737bcc12247f3c2b26690f73136b6f9eb5",
      "href": "/os-evidence/4995ba720464ffe59b00d748591e21bb1563b05f3468047724bbb5e56990b915.txt",
      "sha256": "4995ba720464ffe59b00d748591e21bb1563b05f3468047724bbb5e56990b915",
      "bytes": 21581,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-Fvoe6Y/product-one-bank-direct-256-mode-43/serial.log",
      "originalSha256": "99f290232b47f39ef80112fc87f724f0527187a0238c867da5fc95108ceeaf43",
      "href": "/os-evidence/99f290232b47f39ef80112fc87f724f0527187a0238c867da5fc95108ceeaf43.txt",
      "sha256": "99f290232b47f39ef80112fc87f724f0527187a0238c867da5fc95108ceeaf43",
      "bytes": 47242,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-Fvoe6Y/product-one-bank-direct-512-mode-43/serial.log",
      "originalSha256": "93eed60c04d899e4b54abc24865ee253f886680f63b19955fd4980a7e1653274",
      "href": "/os-evidence/93eed60c04d899e4b54abc24865ee253f886680f63b19955fd4980a7e1653274.txt",
      "sha256": "93eed60c04d899e4b54abc24865ee253f886680f63b19955fd4980a7e1653274",
      "bytes": 47242,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-Fvoe6Y/product-one-bank-direct-1024-mode-43/serial.log",
      "originalSha256": "29632cd2a88fed68afcb021ce809c911cfe71e72fc9cdde8b0c98856e2027609",
      "href": "/os-evidence/29632cd2a88fed68afcb021ce809c911cfe71e72fc9cdde8b0c98856e2027609.txt",
      "sha256": "29632cd2a88fed68afcb021ce809c911cfe71e72fc9cdde8b0c98856e2027609",
      "bytes": 47242,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-Fvoe6Y/product-one-bank-uefi-256-mode-43/serial.log",
      "originalSha256": "b2d81b689ebdbc2b232e0ba8c555d85945dd1ffea0fb3292036389e69fa6c0b1",
      "href": "/os-evidence/b2d81b689ebdbc2b232e0ba8c555d85945dd1ffea0fb3292036389e69fa6c0b1.txt",
      "sha256": "b2d81b689ebdbc2b232e0ba8c555d85945dd1ffea0fb3292036389e69fa6c0b1",
      "bytes": 53482,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-Fvoe6Y/product-one-bank-uefi-512-mode-43/serial.log",
      "originalSha256": "b5a8b0c9ffd1d960a7c6c4f2c30b18a5554291f1930282262f6b4759e2346a17",
      "href": "/os-evidence/b5a8b0c9ffd1d960a7c6c4f2c30b18a5554291f1930282262f6b4759e2346a17.txt",
      "sha256": "b5a8b0c9ffd1d960a7c6c4f2c30b18a5554291f1930282262f6b4759e2346a17",
      "bytes": 53482,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-Fvoe6Y/product-one-bank-uefi-1024-mode-43/serial.log",
      "originalSha256": "3cc2f0759e54763dcbcde0a1e5e3b8150271bfe0d7de07712c9afd7353a6a998",
      "href": "/os-evidence/3cc2f0759e54763dcbcde0a1e5e3b8150271bfe0d7de07712c9afd7353a6a998.txt",
      "sha256": "3cc2f0759e54763dcbcde0a1e5e3b8150271bfe0d7de07712c9afd7353a6a998",
      "bytes": 53482,
      "redacted": false
    }
  ],
  "moves": [
    "K1260"
  ]
}