{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1275-foreground-el0-matrix-K4lUe7/report.json",
    "sha256": "a0bbd2b5bc3668e4139b0d6f3355639613bbb99ee85d6f1edab360b81f7ec194",
    "bytes": 9052
  },
  "status": "K1275_FOREGROUND_EL0_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image in six QEMU profiles binds an already published EL0 child to one foreground owner, retains it after an injected wait error, then reaps it through the actual kernel process table. Shell dispatch, native MachO rejection and owner cleanup also pass. External command execution and product release remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "551454352ec318330773ac37ee06fff9561a815eed8a8a6394e614b43ee57365",
  "files": [
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1275-foreground-el0-candidate-1AINDs/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "79516f9a292befa8158973332dcddc131369bb45b75115805e5b6cd96c333cec",
      "href": "/os-evidence/79516f9a292befa8158973332dcddc131369bb45b75115805e5b6cd96c333cec.txt",
      "sha256": "79516f9a292befa8158973332dcddc131369bb45b75115805e5b6cd96c333cec",
      "bytes": 48438,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1275-foreground-el0-candidate-1AINDs/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/K1275-foreground-el0-candidate-1AINDs/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/K1275-foreground-el0-candidate-1AINDs/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/K1275-foreground-el0-candidate-1AINDs/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/K1275-foreground-el0-candidate-1AINDs/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/K1275-foreground-el0-candidate-1AINDs/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/K1275-foreground-el0-candidate-1AINDs/sources/kernel/Cargo.toml",
      "originalSha256": "6ecce1ee4f385efbb61d8474cf208b3f47e11e5ed19ecaade8f83d0c9e9bb188",
      "href": "/os-evidence/6ecce1ee4f385efbb61d8474cf208b3f47e11e5ed19ecaade8f83d0c9e9bb188.txt",
      "sha256": "6ecce1ee4f385efbb61d8474cf208b3f47e11e5ed19ecaade8f83d0c9e9bb188",
      "bytes": 6892,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1275-foreground-el0-candidate-1AINDs/sources/os-shell-foreground/src/lib.rs",
      "originalSha256": "dadbe64bac0427be913a4de8c77a891c823e0eb9942b1ceaf08c3a59a36d5fe9",
      "href": "/os-evidence/dadbe64bac0427be913a4de8c77a891c823e0eb9942b1ceaf08c3a59a36d5fe9.txt",
      "sha256": "dadbe64bac0427be913a4de8c77a891c823e0eb9942b1ceaf08c3a59a36d5fe9",
      "bytes": 1577,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "reports/os-implementation/K1275-foreground-el0-candidate-1AINDs/sources/os-shell-foreground/CONTRACT.md",
      "originalSha256": "bf3d795f7dcce0d4b765858e397bf10738844bcd7bab23fab4c02a9bb85cdc20",
      "href": "/os-evidence/bf3d795f7dcce0d4b765858e397bf10738844bcd7bab23fab4c02a9bb85cdc20.txt",
      "sha256": "bf3d795f7dcce0d4b765858e397bf10738844bcd7bab23fab4c02a9bb85cdc20",
      "bytes": 614,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1275-foreground-el0-candidate-1AINDs/kernel-product.log",
      "originalSha256": "42ad2fbb377e994879556eaa798a05885d9505646d6874e5eb14f0af3abe090c",
      "href": "/os-evidence/72884860ca7489b29f418738b73b829c5eb5f6dd449db035254a1f3afde31844.txt",
      "sha256": "72884860ca7489b29f418738b73b829c5eb5f6dd449db035254a1f3afde31844",
      "bytes": 21756,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-RZuA36/product-one-bank-direct-256-mode-46/serial.log",
      "originalSha256": "8359f39f86e11752fddd3346a49e51c63088d3fc5bfaa6c9015bad281796ae94",
      "href": "/os-evidence/8359f39f86e11752fddd3346a49e51c63088d3fc5bfaa6c9015bad281796ae94.txt",
      "sha256": "8359f39f86e11752fddd3346a49e51c63088d3fc5bfaa6c9015bad281796ae94",
      "bytes": 45909,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-RZuA36/product-one-bank-direct-512-mode-46/serial.log",
      "originalSha256": "ead93bcbb15d2a7bc23efe11fa4ab7292adebc1882b54748e9831838e4ee6bee",
      "href": "/os-evidence/ead93bcbb15d2a7bc23efe11fa4ab7292adebc1882b54748e9831838e4ee6bee.txt",
      "sha256": "ead93bcbb15d2a7bc23efe11fa4ab7292adebc1882b54748e9831838e4ee6bee",
      "bytes": 45909,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-RZuA36/product-one-bank-direct-1024-mode-46/serial.log",
      "originalSha256": "22e4bcc0db81f6dc681ec76210428d738f06ba13d681d404fddb98b0be0f55ab",
      "href": "/os-evidence/22e4bcc0db81f6dc681ec76210428d738f06ba13d681d404fddb98b0be0f55ab.txt",
      "sha256": "22e4bcc0db81f6dc681ec76210428d738f06ba13d681d404fddb98b0be0f55ab",
      "bytes": 45909,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-RZuA36/product-one-bank-uefi-256-mode-46/serial.log",
      "originalSha256": "8a64e4e1b94225d666ceb62aa76ea5f864f6bd3ae9a15533f15a4b53297e5854",
      "href": "/os-evidence/8a64e4e1b94225d666ceb62aa76ea5f864f6bd3ae9a15533f15a4b53297e5854.txt",
      "sha256": "8a64e4e1b94225d666ceb62aa76ea5f864f6bd3ae9a15533f15a4b53297e5854",
      "bytes": 52149,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-RZuA36/product-one-bank-uefi-512-mode-46/serial.log",
      "originalSha256": "273357aa60c2d50d5fdc694ef4fc3173b7c5eb3fc7cc7ceeb73818776dbc8171",
      "href": "/os-evidence/273357aa60c2d50d5fdc694ef4fc3173b7c5eb3fc7cc7ceeb73818776dbc8171.txt",
      "sha256": "273357aa60c2d50d5fdc694ef4fc3173b7c5eb3fc7cc7ceeb73818776dbc8171",
      "bytes": 52149,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-RZuA36/product-one-bank-uefi-1024-mode-46/serial.log",
      "originalSha256": "9e73a20cead1be807c677261a89e37e2e910d0737f98ae1d058c59226307da11",
      "href": "/os-evidence/9e73a20cead1be807c677261a89e37e2e910d0737f98ae1d058c59226307da11.txt",
      "sha256": "9e73a20cead1be807c677261a89e37e2e910d0737f98ae1d058c59226307da11",
      "bytes": 52149,
      "redacted": false
    }
  ],
  "moves": [
    "K1275"
  ]
}