{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1285-echo-el0-matrix-mQ8Z6g/report.json",
    "sha256": "61bd681e6fe909e28a0e431d34cf2be0c6863ae87ae6512837a472070352cd0b",
    "bytes": 8947
  },
  "status": "K1285_ECHO_EL0_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image in six QEMU profiles has its EL0 child emit a 12-byte echo line across six short native serial writes with cursor retention after an initial call budget error. Synthetic shell input cancellation, native MachO rejection and owner cleanup also pass. Interactive shell and product release remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "008d7e13f6252c6714a42454541762c610dfab61c76c815c9ae970b2ef39f9b8",
  "files": [
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1285-echo-el0-candidate-NolS3W/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "a306a91d7a4872ed4977cc8b9c041e01cf5628d084e06008ba331d6e74325c7a",
      "href": "/os-evidence/a306a91d7a4872ed4977cc8b9c041e01cf5628d084e06008ba331d6e74325c7a.txt",
      "sha256": "a306a91d7a4872ed4977cc8b9c041e01cf5628d084e06008ba331d6e74325c7a",
      "bytes": 52116,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1285-echo-el0-candidate-NolS3W/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "880b2c6c246f18f20e06edb8494863da876425578e132387a671f1f9a9cb97ef",
      "href": "/os-evidence/880b2c6c246f18f20e06edb8494863da876425578e132387a671f1f9a9cb97ef.txt",
      "sha256": "880b2c6c246f18f20e06edb8494863da876425578e132387a671f1f9a9cb97ef",
      "bytes": 81814,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1285-echo-el0-candidate-NolS3W/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/K1285-echo-el0-candidate-NolS3W/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/K1285-echo-el0-candidate-NolS3W/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/K1285-echo-el0-candidate-NolS3W/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/K1285-echo-el0-candidate-NolS3W/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/K1285-echo-el0-candidate-NolS3W/sources/kernel/Cargo.toml",
      "originalSha256": "14bd50530a66ca0eb0a89b458a879b2d91293264f80330ea1fb59e01d4fdd590",
      "href": "/os-evidence/14bd50530a66ca0eb0a89b458a879b2d91293264f80330ea1fb59e01d4fdd590.txt",
      "sha256": "14bd50530a66ca0eb0a89b458a879b2d91293264f80330ea1fb59e01d4fdd590",
      "bytes": 7063,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1285-echo-el0-candidate-NolS3W/sources/os-shell-input/src/lib.rs",
      "originalSha256": "c446a03a8b9b8d29780fb9e659ae0a9f4215cf6c2864ada7a615c488318373c8",
      "href": "/os-evidence/c446a03a8b9b8d29780fb9e659ae0a9f4215cf6c2864ada7a615c488318373c8.txt",
      "sha256": "c446a03a8b9b8d29780fb9e659ae0a9f4215cf6c2864ada7a615c488318373c8",
      "bytes": 2094,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "reports/os-implementation/K1285-echo-el0-candidate-NolS3W/sources/os-shell-input/CONTRACT.md",
      "originalSha256": "7c109b141a334597db21df8c650b69abe0e84ec2490750ace66e5cd828e83376",
      "href": "/os-evidence/7c109b141a334597db21df8c650b69abe0e84ec2490750ace66e5cd828e83376.txt",
      "sha256": "7c109b141a334597db21df8c650b69abe0e84ec2490750ace66e5cd828e83376",
      "bytes": 576,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1285-echo-el0-candidate-NolS3W/sources/os-shell-echo/src/lib.rs",
      "originalSha256": "42451f56e8129d7f58b58d7922e1df6e069a1adf157b0a4573f3ed6f10148c93",
      "href": "/os-evidence/42451f56e8129d7f58b58d7922e1df6e069a1adf157b0a4573f3ed6f10148c93.txt",
      "sha256": "42451f56e8129d7f58b58d7922e1df6e069a1adf157b0a4573f3ed6f10148c93",
      "bytes": 1963,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "reports/os-implementation/K1285-echo-el0-candidate-NolS3W/sources/os-shell-echo/CONTRACT.md",
      "originalSha256": "7e61428e7874453df4c49b68baad8cafe02c4323e182687345a691a96d47cdac",
      "href": "/os-evidence/7e61428e7874453df4c49b68baad8cafe02c4323e182687345a691a96d47cdac.txt",
      "sha256": "7e61428e7874453df4c49b68baad8cafe02c4323e182687345a691a96d47cdac",
      "bytes": 697,
      "redacted": false
    },
    {
      "name": "io.rs",
      "source": "reports/os-implementation/K1285-echo-el0-candidate-NolS3W/sources/os-user-runtime-io/src/io.rs",
      "originalSha256": "42fc30ccb099d3b084c851b8a5a59ae1fb1b3a0454c59bb4efcfb1449018d0b4",
      "href": "/os-evidence/42fc30ccb099d3b084c851b8a5a59ae1fb1b3a0454c59bb4efcfb1449018d0b4.txt",
      "sha256": "42fc30ccb099d3b084c851b8a5a59ae1fb1b3a0454c59bb4efcfb1449018d0b4",
      "bytes": 3991,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1285-echo-el0-candidate-NolS3W/kernel-product.log",
      "originalSha256": "784f55c261b218edb4598a9fc0c15cbec50b50ddcd4616289f199ff3f11bb72b",
      "href": "/os-evidence/c55ffa83b604589f735731d1cc62128603ac2f7976850406093ab0f49dfb959e.txt",
      "sha256": "c55ffa83b604589f735731d1cc62128603ac2f7976850406093ab0f49dfb959e",
      "bytes": 22125,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-VAv2dJ/product-one-bank-direct-256-mode-48/serial.log",
      "originalSha256": "c6dcdcb06d0e809c5099d86783e1320d3a83b8c32f0193446897e645e701c46a",
      "href": "/os-evidence/c6dcdcb06d0e809c5099d86783e1320d3a83b8c32f0193446897e645e701c46a.txt",
      "sha256": "c6dcdcb06d0e809c5099d86783e1320d3a83b8c32f0193446897e645e701c46a",
      "bytes": 46740,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-VAv2dJ/product-one-bank-direct-512-mode-48/serial.log",
      "originalSha256": "baa114d9b78e0e45b5eca37bfdfb1a7fe81eb6b293d5a9ee32b866478dfb2c48",
      "href": "/os-evidence/baa114d9b78e0e45b5eca37bfdfb1a7fe81eb6b293d5a9ee32b866478dfb2c48.txt",
      "sha256": "baa114d9b78e0e45b5eca37bfdfb1a7fe81eb6b293d5a9ee32b866478dfb2c48",
      "bytes": 46740,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-VAv2dJ/product-one-bank-direct-1024-mode-48/serial.log",
      "originalSha256": "b21f43b291ab6ecab3db21144cec5b46ff8588104d74b9a3b767f1cc6cba12a5",
      "href": "/os-evidence/b21f43b291ab6ecab3db21144cec5b46ff8588104d74b9a3b767f1cc6cba12a5.txt",
      "sha256": "b21f43b291ab6ecab3db21144cec5b46ff8588104d74b9a3b767f1cc6cba12a5",
      "bytes": 46740,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-VAv2dJ/product-one-bank-uefi-256-mode-48/serial.log",
      "originalSha256": "fa9251954d12ef7e4af4ccf88681fdda6ab529ad3cf3f9777abe484645672f10",
      "href": "/os-evidence/fa9251954d12ef7e4af4ccf88681fdda6ab529ad3cf3f9777abe484645672f10.txt",
      "sha256": "fa9251954d12ef7e4af4ccf88681fdda6ab529ad3cf3f9777abe484645672f10",
      "bytes": 52980,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-VAv2dJ/product-one-bank-uefi-512-mode-48/serial.log",
      "originalSha256": "9f5ff79f69595a1bcf680cd5656b403561b3e52d899612bd081b6556a8fcf959",
      "href": "/os-evidence/9f5ff79f69595a1bcf680cd5656b403561b3e52d899612bd081b6556a8fcf959.txt",
      "sha256": "9f5ff79f69595a1bcf680cd5656b403561b3e52d899612bd081b6556a8fcf959",
      "bytes": 52980,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-VAv2dJ/product-one-bank-uefi-1024-mode-48/serial.log",
      "originalSha256": "896d7ffcc2b87cf9dad9039b9aa344d20e29099149c6f9f2b242db29391f82b8",
      "href": "/os-evidence/896d7ffcc2b87cf9dad9039b9aa344d20e29099149c6f9f2b242db29391f82b8.txt",
      "sha256": "896d7ffcc2b87cf9dad9039b9aa344d20e29099149c6f9f2b242db29391f82b8",
      "bytes": 52980,
      "redacted": false
    }
  ],
  "moves": [
    "K1285"
  ]
}