{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1245-manifest-el0-matrix-Lx6pZm/report.json",
    "sha256": "edf8f1e8cdfe0acdfd9c16cc2c41d03593fcb190a008b92ceb4f3473e1a3ab0f",
    "bytes": 9186
  },
  "status": "K1245_MANIFEST_EL0_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image in six QEMU profiles validates a bounded EL0 INIT service declaration and rejects duplicate and over-budget variants before child heap acquisition. ABI queries, typed allocation, native MachO rejection and owner cleanup also pass. Service launch order, image authentication and product release remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "f6451707f579a828f17928059f0342e1e225864dc790ea1d5c2855f470177432",
  "files": [
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1245-manifest-el0-candidate-emeXLP/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "42a4e6d7a599dd2f17c80fab8366957341678e9d706fe04a22d0a2b4d07360b7",
      "href": "/os-evidence/42a4e6d7a599dd2f17c80fab8366957341678e9d706fe04a22d0a2b4d07360b7.txt",
      "sha256": "42a4e6d7a599dd2f17c80fab8366957341678e9d706fe04a22d0a2b4d07360b7",
      "bytes": 34290,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1245-manifest-el0-candidate-emeXLP/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/K1245-manifest-el0-candidate-emeXLP/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/K1245-manifest-el0-candidate-emeXLP/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/K1245-manifest-el0-candidate-emeXLP/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/K1245-manifest-el0-candidate-emeXLP/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/K1245-manifest-el0-candidate-emeXLP/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/K1245-manifest-el0-candidate-emeXLP/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/K1245-manifest-el0-candidate-emeXLP/kernel-product.log",
      "originalSha256": "df15f3f9b325c29d425e29fb25025aecb6d8a37ef14441b3882f2e31f95f1287",
      "href": "/os-evidence/3d52b3125d6157499d1691f008271a9e20d2e0810380278d07f16c54bb1a553c.txt",
      "sha256": "3d52b3125d6157499d1691f008271a9e20d2e0810380278d07f16c54bb1a553c",
      "bytes": 21454,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-FtWwMH/product-one-bank-direct-256-mode-40/serial.log",
      "originalSha256": "d3100e4112981b075745ffa095186b21f0e0aef245e5c79fef08ea6c6210a058",
      "href": "/os-evidence/d3100e4112981b075745ffa095186b21f0e0aef245e5c79fef08ea6c6210a058.txt",
      "sha256": "d3100e4112981b075745ffa095186b21f0e0aef245e5c79fef08ea6c6210a058",
      "bytes": 47444,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-FtWwMH/product-one-bank-direct-512-mode-40/serial.log",
      "originalSha256": "695a7bb0a8bf407bd04f917728748dd63935b96dca05a3782fe9699131eacfb4",
      "href": "/os-evidence/695a7bb0a8bf407bd04f917728748dd63935b96dca05a3782fe9699131eacfb4.txt",
      "sha256": "695a7bb0a8bf407bd04f917728748dd63935b96dca05a3782fe9699131eacfb4",
      "bytes": 47444,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-FtWwMH/product-one-bank-direct-1024-mode-40/serial.log",
      "originalSha256": "2995dc768f66f7eedb7d385300398eeedb60d2bd339e8a57b71ea09478f94941",
      "href": "/os-evidence/2995dc768f66f7eedb7d385300398eeedb60d2bd339e8a57b71ea09478f94941.txt",
      "sha256": "2995dc768f66f7eedb7d385300398eeedb60d2bd339e8a57b71ea09478f94941",
      "bytes": 47444,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-FtWwMH/product-one-bank-uefi-256-mode-40/serial.log",
      "originalSha256": "98c67066401a2fcc1b346ba48fcb21e44613163ab9a21b3f6cc12a34253dc8a1",
      "href": "/os-evidence/98c67066401a2fcc1b346ba48fcb21e44613163ab9a21b3f6cc12a34253dc8a1.txt",
      "sha256": "98c67066401a2fcc1b346ba48fcb21e44613163ab9a21b3f6cc12a34253dc8a1",
      "bytes": 53684,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-FtWwMH/product-one-bank-uefi-512-mode-40/serial.log",
      "originalSha256": "1da8d88c599c92780471e7ecbd73b18ca683f538f9066438b3ab130722fd8962",
      "href": "/os-evidence/1da8d88c599c92780471e7ecbd73b18ca683f538f9066438b3ab130722fd8962.txt",
      "sha256": "1da8d88c599c92780471e7ecbd73b18ca683f538f9066438b3ab130722fd8962",
      "bytes": 53684,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-FtWwMH/product-one-bank-uefi-1024-mode-40/serial.log",
      "originalSha256": "16651439018f5ff14d4cfd540a33429759580305a26661c26d2d5049efd2f3e7",
      "href": "/os-evidence/16651439018f5ff14d4cfd540a33429759580305a26661c26d2d5049efd2f3e7.txt",
      "sha256": "16651439018f5ff14d4cfd540a33429759580305a26661c26d2d5049efd2f3e7",
      "bytes": 53684,
      "redacted": false
    }
  ],
  "moves": [
    "K1245"
  ]
}