{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1230-bounded-io-el0-matrix-0oShQs/report.json",
    "sha256": "866bee22c4e6c55ec1ed889c466787b7a2712b538be713f03c9441028531ff5d",
    "bytes": 9052
  },
  "status": "K1230_BOUNDED_IO_EL0_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image in six QEMU profiles copies owned EL0 data and emits three actual short serial chunks AB/CD/EF. A fourth write returns zero; the bounded userspace loop reports budget exceeded after one attempt. The typed allocator, native MachO rejection and owner cleanup also pass. General I/O and product release remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "8296a553707a8136e872c6d877fc0a06b7419fc849690402b87351a1acfe1cf9",
  "files": [
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1230-bounded-io-el0-candidate-NReS2N/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "17daa4e04da25ef79f2b9ad913929e043561d234c8789d1dddf21be786cd0c67",
      "href": "/os-evidence/17daa4e04da25ef79f2b9ad913929e043561d234c8789d1dddf21be786cd0c67.txt",
      "sha256": "17daa4e04da25ef79f2b9ad913929e043561d234c8789d1dddf21be786cd0c67",
      "bytes": 29339,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1230-bounded-io-el0-candidate-NReS2N/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/K1230-bounded-io-el0-candidate-NReS2N/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/K1230-bounded-io-el0-candidate-NReS2N/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/K1230-bounded-io-el0-candidate-NReS2N/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/K1230-bounded-io-el0-candidate-NReS2N/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/K1230-bounded-io-el0-candidate-NReS2N/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/K1230-bounded-io-el0-candidate-NReS2N/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/K1230-bounded-io-el0-candidate-NReS2N/kernel-product.log",
      "originalSha256": "664df3999cf8cb3ea93e8d347dcf096c42015db60c23b6beac48580d24d4ef6d",
      "href": "/os-evidence/a0c2577d24e0672237f8e662ad74355976891fc76b7d2bb09e4e6e8f03295190.txt",
      "sha256": "a0c2577d24e0672237f8e662ad74355976891fc76b7d2bb09e4e6e8f03295190",
      "bytes": 21464,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-2vLvkd/product-one-bank-direct-256-mode-37/serial.log",
      "originalSha256": "b1c336bd6b3815f9afe67d6ab623dc20d5d3777c4fc944c4a065aa1ed0c67bd7",
      "href": "/os-evidence/b1c336bd6b3815f9afe67d6ab623dc20d5d3777c4fc944c4a065aa1ed0c67bd7.txt",
      "sha256": "b1c336bd6b3815f9afe67d6ab623dc20d5d3777c4fc944c4a065aa1ed0c67bd7",
      "bytes": 47420,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-2vLvkd/product-one-bank-direct-512-mode-37/serial.log",
      "originalSha256": "3fdbc971864a59a0b8a09b9280c7a84ba4e49003598dd2f7af360e9cfcb83c09",
      "href": "/os-evidence/3fdbc971864a59a0b8a09b9280c7a84ba4e49003598dd2f7af360e9cfcb83c09.txt",
      "sha256": "3fdbc971864a59a0b8a09b9280c7a84ba4e49003598dd2f7af360e9cfcb83c09",
      "bytes": 47420,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-2vLvkd/product-one-bank-direct-1024-mode-37/serial.log",
      "originalSha256": "b20fc9cf560fa03538604e987f2dda86b5645f5f0fad434211c86c68f4377880",
      "href": "/os-evidence/b20fc9cf560fa03538604e987f2dda86b5645f5f0fad434211c86c68f4377880.txt",
      "sha256": "b20fc9cf560fa03538604e987f2dda86b5645f5f0fad434211c86c68f4377880",
      "bytes": 47420,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-2vLvkd/product-one-bank-uefi-256-mode-37/serial.log",
      "originalSha256": "4bf9f0b852e954141635bdd2e9c5bb9fde3dcefd6de04079fbb7bf939fd85347",
      "href": "/os-evidence/4bf9f0b852e954141635bdd2e9c5bb9fde3dcefd6de04079fbb7bf939fd85347.txt",
      "sha256": "4bf9f0b852e954141635bdd2e9c5bb9fde3dcefd6de04079fbb7bf939fd85347",
      "bytes": 53660,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-2vLvkd/product-one-bank-uefi-512-mode-37/serial.log",
      "originalSha256": "58deb989e03ab0f5b86efdacd72b8ce4dbe07a58edc293d550352eb64e6c73e6",
      "href": "/os-evidence/58deb989e03ab0f5b86efdacd72b8ce4dbe07a58edc293d550352eb64e6c73e6.txt",
      "sha256": "58deb989e03ab0f5b86efdacd72b8ce4dbe07a58edc293d550352eb64e6c73e6",
      "bytes": 53660,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-2vLvkd/product-one-bank-uefi-1024-mode-37/serial.log",
      "originalSha256": "f9b6df63fdf09fdc0331500856661e9c6cdd64e33731b4b3e3f389551a45d0b1",
      "href": "/os-evidence/f9b6df63fdf09fdc0331500856661e9c6cdd64e33731b4b3e3f389551a45d0b1.txt",
      "sha256": "f9b6df63fdf09fdc0331500856661e9c6cdd64e33731b4b3e3f389551a45d0b1",
      "bytes": 53660,
      "redacted": false
    }
  ],
  "moves": [
    "K1230"
  ]
}