{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1240-compat-el0-matrix-hE7T8j/report.json",
    "sha256": "be2b66ae6f6e09ac808b3c8d7530422d77c23dea4f022dec1414728ea9387287",
    "bytes": 8953
  },
  "status": "K1240_COMPAT_EL0_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image in six QEMU profiles makes two read-only EL0 V1 version probes before child heap acquisition. Required V1 proceeds, required V2 against V1 rejects, then typed allocation and owner cleanup succeed. Native MachO rejection and healthy shell continuation also pass. Product release remains open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "a01ec2d65ab13ed404d8916ed168dd9bb64ca9eb5fcf9f9a1986421cdaf00da7",
  "files": [
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1240-compat-el0-candidate-iSYNI7/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "2496a49b1501a96536dea3ed8e3bee7c95063f8d796f31562ec402a2ef1876e2",
      "href": "/os-evidence/2496a49b1501a96536dea3ed8e3bee7c95063f8d796f31562ec402a2ef1876e2.txt",
      "sha256": "2496a49b1501a96536dea3ed8e3bee7c95063f8d796f31562ec402a2ef1876e2",
      "bytes": 33070,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1240-compat-el0-candidate-iSYNI7/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/K1240-compat-el0-candidate-iSYNI7/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/K1240-compat-el0-candidate-iSYNI7/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/K1240-compat-el0-candidate-iSYNI7/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/K1240-compat-el0-candidate-iSYNI7/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/K1240-compat-el0-candidate-iSYNI7/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/K1240-compat-el0-candidate-iSYNI7/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/K1240-compat-el0-candidate-iSYNI7/kernel-product.log",
      "originalSha256": "9f30a10d04ba7d815c333fdc04bbb5fb4219024489ba709f168b495ec3152a36",
      "href": "/os-evidence/cbc995f832aefe619fecd00765d8920d6405a14eefc51083fb7d0d88928723a2.txt",
      "sha256": "cbc995f832aefe619fecd00765d8920d6405a14eefc51083fb7d0d88928723a2",
      "bytes": 21444,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-s8rO4O/product-one-bank-direct-256-mode-39/serial.log",
      "originalSha256": "094acedf2708f84bde3865415b41557f1a1c4d66e0308e888883f152b7c1e1cf",
      "href": "/os-evidence/094acedf2708f84bde3865415b41557f1a1c4d66e0308e888883f152b7c1e1cf.txt",
      "sha256": "094acedf2708f84bde3865415b41557f1a1c4d66e0308e888883f152b7c1e1cf",
      "bytes": 47128,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-s8rO4O/product-one-bank-direct-512-mode-39/serial.log",
      "originalSha256": "2bb8c18e91ef3b456606e3e5c45ce895363b2ceefed0bba15fb8929a241da518",
      "href": "/os-evidence/2bb8c18e91ef3b456606e3e5c45ce895363b2ceefed0bba15fb8929a241da518.txt",
      "sha256": "2bb8c18e91ef3b456606e3e5c45ce895363b2ceefed0bba15fb8929a241da518",
      "bytes": 47128,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-s8rO4O/product-one-bank-direct-1024-mode-39/serial.log",
      "originalSha256": "85ef93056cb9f2187b52e139c5e11d6db077cb634a91119b728b26aeea541c4a",
      "href": "/os-evidence/85ef93056cb9f2187b52e139c5e11d6db077cb634a91119b728b26aeea541c4a.txt",
      "sha256": "85ef93056cb9f2187b52e139c5e11d6db077cb634a91119b728b26aeea541c4a",
      "bytes": 47128,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-s8rO4O/product-one-bank-uefi-256-mode-39/serial.log",
      "originalSha256": "03b65000700e6d13134f6188096544c65efe045c2de1e8b0ebabc44b3702d666",
      "href": "/os-evidence/03b65000700e6d13134f6188096544c65efe045c2de1e8b0ebabc44b3702d666.txt",
      "sha256": "03b65000700e6d13134f6188096544c65efe045c2de1e8b0ebabc44b3702d666",
      "bytes": 53368,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-s8rO4O/product-one-bank-uefi-512-mode-39/serial.log",
      "originalSha256": "0fbc04f54af47b8a48a2b706ca9a258b6df82f15593fcecd6a677b483a8375f0",
      "href": "/os-evidence/0fbc04f54af47b8a48a2b706ca9a258b6df82f15593fcecd6a677b483a8375f0.txt",
      "sha256": "0fbc04f54af47b8a48a2b706ca9a258b6df82f15593fcecd6a677b483a8375f0",
      "bytes": 53368,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-s8rO4O/product-one-bank-uefi-1024-mode-39/serial.log",
      "originalSha256": "efd5d1a875857145413ae66727acebcaf4a01b6fbe9cfe6f0c47e81eb43b6b48",
      "href": "/os-evidence/efd5d1a875857145413ae66727acebcaf4a01b6fbe9cfe6f0c47e81eb43b6b48.txt",
      "sha256": "efd5d1a875857145413ae66727acebcaf4a01b6fbe9cfe6f0c47e81eb43b6b48",
      "bytes": 53368,
      "redacted": false
    }
  ],
  "moves": [
    "K1240"
  ]
}