{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1280-input-el0-matrix-wtm6Ic/report.json",
    "sha256": "7eba9e031342f0884f9fe6849f1ce08427bd457d4a63acf450242afdf93c0ce2",
    "bytes": 8757
  },
  "status": "K1280_INPUT_EL0_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image in six QEMU profiles has its EL0 shell cancel a synthetic input line, reject its stale commit, commit a new line and call Version before spawning a child. Native MachO rejection and owner cleanup also pass. Physical input interrupt, interactive shell and product release remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "b2d3d6a61d28c019b12e247f9cd91ad8526980ed262073fa52452610b3ddc9ac",
  "files": [
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1280-input-el0-candidate-Wlly9a/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "7139e329f798194414821db20be261c795c6e754fa928a704328243e37e5d4fa",
      "href": "/os-evidence/7139e329f798194414821db20be261c795c6e754fa928a704328243e37e5d4fa.txt",
      "sha256": "7139e329f798194414821db20be261c795c6e754fa928a704328243e37e5d4fa",
      "bytes": 50478,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1280-input-el0-candidate-Wlly9a/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/K1280-input-el0-candidate-Wlly9a/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/K1280-input-el0-candidate-Wlly9a/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/K1280-input-el0-candidate-Wlly9a/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/K1280-input-el0-candidate-Wlly9a/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/K1280-input-el0-candidate-Wlly9a/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/K1280-input-el0-candidate-Wlly9a/sources/kernel/Cargo.toml",
      "originalSha256": "a7b8329a39c4c06c4bcb0d7d7ac95318aa34cf36f317a5ed3402a83a7b5bf36b",
      "href": "/os-evidence/a7b8329a39c4c06c4bcb0d7d7ac95318aa34cf36f317a5ed3402a83a7b5bf36b.txt",
      "sha256": "a7b8329a39c4c06c4bcb0d7d7ac95318aa34cf36f317a5ed3402a83a7b5bf36b",
      "bytes": 6947,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1280-input-el0-candidate-Wlly9a/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/K1280-input-el0-candidate-Wlly9a/sources/os-shell-input/CONTRACT.md",
      "originalSha256": "7c109b141a334597db21df8c650b69abe0e84ec2490750ace66e5cd828e83376",
      "href": "/os-evidence/7c109b141a334597db21df8c650b69abe0e84ec2490750ace66e5cd828e83376.txt",
      "sha256": "7c109b141a334597db21df8c650b69abe0e84ec2490750ace66e5cd828e83376",
      "bytes": 576,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1280-input-el0-candidate-Wlly9a/kernel-product.log",
      "originalSha256": "e7fcc116ac765ae0bba50bc69deb251af8d50ac8a4218ba75a8c3074f3df9c4c",
      "href": "/os-evidence/33b7d772d2f9c25aefb99ddcbefc2360aa69654d55dcf72c12594a2bcccae929.txt",
      "sha256": "33b7d772d2f9c25aefb99ddcbefc2360aa69654d55dcf72c12594a2bcccae929",
      "bytes": 21857,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-tvOmkm/product-one-bank-direct-256-mode-47/serial.log",
      "originalSha256": "f90594ddbc51d1456dd9a3b82c1b96bfccbe1e093e906fc5a630e89baabe5951",
      "href": "/os-evidence/f90594ddbc51d1456dd9a3b82c1b96bfccbe1e093e906fc5a630e89baabe5951.txt",
      "sha256": "f90594ddbc51d1456dd9a3b82c1b96bfccbe1e093e906fc5a630e89baabe5951",
      "bytes": 45693,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-tvOmkm/product-one-bank-direct-512-mode-47/serial.log",
      "originalSha256": "03e093c8e78d4a6dc0a2846455402fb6cb77c31fb9a403085cd745fcc8988129",
      "href": "/os-evidence/03e093c8e78d4a6dc0a2846455402fb6cb77c31fb9a403085cd745fcc8988129.txt",
      "sha256": "03e093c8e78d4a6dc0a2846455402fb6cb77c31fb9a403085cd745fcc8988129",
      "bytes": 45693,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-tvOmkm/product-one-bank-direct-1024-mode-47/serial.log",
      "originalSha256": "e524127f308fb41e65c8c149bb55da907b2ef45f39bcf09ed3c073b85abaf668",
      "href": "/os-evidence/e524127f308fb41e65c8c149bb55da907b2ef45f39bcf09ed3c073b85abaf668.txt",
      "sha256": "e524127f308fb41e65c8c149bb55da907b2ef45f39bcf09ed3c073b85abaf668",
      "bytes": 45693,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-tvOmkm/product-one-bank-uefi-256-mode-47/serial.log",
      "originalSha256": "682f4aec7c418c1b9af00a06417fe8d961e8e9a589c8da04f291077fbf3b33ad",
      "href": "/os-evidence/682f4aec7c418c1b9af00a06417fe8d961e8e9a589c8da04f291077fbf3b33ad.txt",
      "sha256": "682f4aec7c418c1b9af00a06417fe8d961e8e9a589c8da04f291077fbf3b33ad",
      "bytes": 51933,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-tvOmkm/product-one-bank-uefi-512-mode-47/serial.log",
      "originalSha256": "d3347768b59f94078595a467c53e5d4d12aa0e8a7dfeeb82666d876586a372ae",
      "href": "/os-evidence/d3347768b59f94078595a467c53e5d4d12aa0e8a7dfeeb82666d876586a372ae.txt",
      "sha256": "d3347768b59f94078595a467c53e5d4d12aa0e8a7dfeeb82666d876586a372ae",
      "bytes": 51933,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-tvOmkm/product-one-bank-uefi-1024-mode-47/serial.log",
      "originalSha256": "df19c65e9716bd31ab39aa142894cb122466dd491641ea8d9ee31b4500103b7d",
      "href": "/os-evidence/df19c65e9716bd31ab39aa142894cb122466dd491641ea8d9ee31b4500103b7d.txt",
      "sha256": "df19c65e9716bd31ab39aa142894cb122466dd491641ea8d9ee31b4500103b7d",
      "bytes": 51933,
      "redacted": false
    }
  ],
  "moves": [
    "K1280"
  ]
}