{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1220-native-format-el0-matrix-JNiirl/report.json",
    "sha256": "5251c8e00ca455f3576f287837a3dda3b14e2d6a3a26ea9e55414bbde4f7f6a7",
    "bytes": 8614
  },
  "status": "K1220_NATIVE_FORMAT_EL0_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image in six QEMU profiles rejects an actual compiler-produced macOS ARM64 MachO before PID publication or page acquisition, with table, frame and physical inventory unchanged. A healthy AArch64 ELF child and shell then run and release their owners. General executable loader and product release remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "c614f361024adc0e7cb4af5a5bb98d81310878b47a86c0754914af2f432148a5",
  "files": [
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1220-native-format-el0-candidate-tLYDiO/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "b43ca38445a9281eb9fbbf249e39b857407c029a87a83778516585bc60b9fb2d",
      "href": "/os-evidence/b43ca38445a9281eb9fbbf249e39b857407c029a87a83778516585bc60b9fb2d.txt",
      "sha256": "b43ca38445a9281eb9fbbf249e39b857407c029a87a83778516585bc60b9fb2d",
      "bytes": 26849,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1220-native-format-el0-candidate-tLYDiO/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/K1220-native-format-el0-candidate-tLYDiO/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/K1220-native-format-el0-candidate-tLYDiO/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/K1220-native-format-el0-candidate-tLYDiO/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/K1220-native-format-el0-candidate-tLYDiO/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/K1220-native-format-el0-candidate-tLYDiO/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/K1220-native-format-el0-candidate-tLYDiO/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/K1220-native-format-el0-candidate-tLYDiO/kernel-product.log",
      "originalSha256": "6b855c0d869e37c314a447d125633e0d635c8be67aae0ada09cf865797d10aba",
      "href": "/os-evidence/e21a5b0228aeae4e357242166a767fc0aa604ff09ee6a6bd8d3f7de00d55d229.txt",
      "sha256": "e21a5b0228aeae4e357242166a767fc0aa604ff09ee6a6bd8d3f7de00d55d229",
      "bytes": 21479,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-EHTBnk/product-one-bank-direct-256-mode-35/serial.log",
      "originalSha256": "a22dc35566d3e8a46acaa625b0c537755e3ff4a629b204aecc1fa74c47b1accc",
      "href": "/os-evidence/a22dc35566d3e8a46acaa625b0c537755e3ff4a629b204aecc1fa74c47b1accc.txt",
      "sha256": "a22dc35566d3e8a46acaa625b0c537755e3ff4a629b204aecc1fa74c47b1accc",
      "bytes": 46569,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-EHTBnk/product-one-bank-direct-512-mode-35/serial.log",
      "originalSha256": "bb9e8d466965ae39156acc7c401982b9c16fc966caf064c8f0e2f00685938070",
      "href": "/os-evidence/bb9e8d466965ae39156acc7c401982b9c16fc966caf064c8f0e2f00685938070.txt",
      "sha256": "bb9e8d466965ae39156acc7c401982b9c16fc966caf064c8f0e2f00685938070",
      "bytes": 46569,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-EHTBnk/product-one-bank-direct-1024-mode-35/serial.log",
      "originalSha256": "7454fe93cf4de1fd2f120f0eec49cbc0a74dbfaa93db86c1fd4dc4569d61a7dd",
      "href": "/os-evidence/7454fe93cf4de1fd2f120f0eec49cbc0a74dbfaa93db86c1fd4dc4569d61a7dd.txt",
      "sha256": "7454fe93cf4de1fd2f120f0eec49cbc0a74dbfaa93db86c1fd4dc4569d61a7dd",
      "bytes": 46569,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-EHTBnk/product-one-bank-uefi-256-mode-35/serial.log",
      "originalSha256": "61cbfe30204aed742bf24d1f2e1f6d1b7c94f905563814016ce5c6c6d2cfcf16",
      "href": "/os-evidence/61cbfe30204aed742bf24d1f2e1f6d1b7c94f905563814016ce5c6c6d2cfcf16.txt",
      "sha256": "61cbfe30204aed742bf24d1f2e1f6d1b7c94f905563814016ce5c6c6d2cfcf16",
      "bytes": 52809,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-EHTBnk/product-one-bank-uefi-512-mode-35/serial.log",
      "originalSha256": "07d18ac3cf252693aa7afc643e5b82e81158f73bf12a184fd67f3eca3e785918",
      "href": "/os-evidence/07d18ac3cf252693aa7afc643e5b82e81158f73bf12a184fd67f3eca3e785918.txt",
      "sha256": "07d18ac3cf252693aa7afc643e5b82e81158f73bf12a184fd67f3eca3e785918",
      "bytes": 52809,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-EHTBnk/product-one-bank-uefi-1024-mode-35/serial.log",
      "originalSha256": "c14b07dd742b72cc0dcee00e68d9e27157c62b07aec89cd0541f52a21c239467",
      "href": "/os-evidence/c14b07dd742b72cc0dcee00e68d9e27157c62b07aec89cd0541f52a21c239467.txt",
      "sha256": "c14b07dd742b72cc0dcee00e68d9e27157c62b07aec89cd0541f52a21c239467",
      "bytes": 52809,
      "redacted": false
    }
  ],
  "moves": [
    "K1220"
  ]
}