{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1210-rust-panic-local-preflight-nDEvCf/report.json",
    "sha256": "0ff98b9e3e5d86bfce0756627549c130b62dde36073839a5e4eb555ecdf58467",
    "bytes": 4370
  },
  "status": "K1206_K1209_LOCAL_VALIDATED",
  "scope": "Host runtime owner model and compiled Rust panic ELF. The local test does not establish a surviving EL0 shell or guest acceptance.",
  "productAccepted": false,
  "tests": {
    "greenCount": 34,
    "v1Count": 2,
    "mutationRejected": true,
    "loopMutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "k1210-rust-panic-host-tests.rs",
      "source": "scripts/os-acceptance/k1210-rust-panic-host-tests.rs",
      "originalSha256": "6cb59cd7d529fea13bbc4ee11d0c129ebda8f7f02f68db4ac92d4499fe9a3b29",
      "href": "/os-evidence/6cb59cd7d529fea13bbc4ee11d0c129ebda8f7f02f68db4ac92d4499fe9a3b29.txt",
      "sha256": "6cb59cd7d529fea13bbc4ee11d0c129ebda8f7f02f68db4ac92d4499fe9a3b29",
      "bytes": 1907,
      "redacted": false
    },
    {
      "name": "runtime.rs",
      "source": "reports/os-implementation/K1210-rust-panic-local-preflight-nDEvCf/green-workspace/os-user-runtime/tests/runtime.rs",
      "originalSha256": "99d6ff6b81ff85d6c7ebb8728b4b631fae9f670f11de7846cc57e2eaba973678",
      "href": "/os-evidence/99d6ff6b81ff85d6c7ebb8728b4b631fae9f670f11de7846cc57e2eaba973678.txt",
      "sha256": "99d6ff6b81ff85d6c7ebb8728b4b631fae9f670f11de7846cc57e2eaba973678",
      "bytes": 24699,
      "redacted": false
    },
    {
      "name": "runtime.rs",
      "source": "reports/os-implementation/K1210-rust-panic-local-preflight-nDEvCf/green-workspace/os-user-runtime/src/runtime.rs",
      "originalSha256": "7db4fba691b58c507bb9ff080355e99b512545f922af8fbea70e7f006084790c",
      "href": "/os-evidence/7db4fba691b58c507bb9ff080355e99b512545f922af8fbea70e7f006084790c.txt",
      "sha256": "7db4fba691b58c507bb9ff080355e99b512545f922af8fbea70e7f006084790c",
      "bytes": 18058,
      "redacted": false
    },
    {
      "name": "runtime.rs",
      "source": "reports/os-implementation/K1210-rust-panic-local-preflight-nDEvCf/mutant-workspace/os-user-runtime/src/runtime.rs",
      "originalSha256": "574b10722f502bb1f0e61c200bab1a33e945c03038b56bbcf49897d32142564c",
      "href": "/os-evidence/574b10722f502bb1f0e61c200bab1a33e945c03038b56bbcf49897d32142564c.txt",
      "sha256": "574b10722f502bb1f0e61c200bab1a33e945c03038b56bbcf49897d32142564c",
      "bytes": 18021,
      "redacted": false
    },
    {
      "name": "runtime.rs",
      "source": "reports/os-implementation/K1210-rust-panic-local-preflight-nDEvCf/loop-mutant-workspace/os-user-runtime/src/runtime.rs",
      "originalSha256": "2542e6150712e8cc2f90fdec20556bf550e299718af5e119c2108c7ddf2d7f2a",
      "href": "/os-evidence/2542e6150712e8cc2f90fdec20556bf550e299718af5e119c2108c7ddf2d7f2a.txt",
      "sha256": "2542e6150712e8cc2f90fdec20556bf550e299718af5e119c2108c7ddf2d7f2a",
      "bytes": 18149,
      "redacted": false
    },
    {
      "name": "green-abi2-foundation.log",
      "source": "reports/os-implementation/K1210-rust-panic-local-preflight-nDEvCf/green-abi2-foundation.log",
      "originalSha256": "e927de1456c8bc17eb564043db63c60679bd9eb4713e86be108c878855ca6e08",
      "href": "/os-evidence/28d7733ecd2cdf86567327be72d558d9f30878f343a6d3c1faf79505af39774d.txt",
      "sha256": "28d7733ecd2cdf86567327be72d558d9f30878f343a6d3c1faf79505af39774d",
      "bytes": 4381,
      "redacted": true
    },
    {
      "name": "green-v1-panic.log",
      "source": "reports/os-implementation/K1210-rust-panic-local-preflight-nDEvCf/green-v1-panic.log",
      "originalSha256": "650b1e4646b299b47c9b9fc1d776a492a1d366fbb6e6d0c78e7184b5f689921a",
      "href": "/os-evidence/b7e0b31b1deb500cb7480e706b1d08655b95b41427ae6abd945898a2e5527a2c.txt",
      "sha256": "b7e0b31b1deb500cb7480e706b1d08655b95b41427ae6abd945898a2e5527a2c",
      "bytes": 612,
      "redacted": true
    },
    {
      "name": "red-wrong-panic-exit.log",
      "source": "reports/os-implementation/K1210-rust-panic-local-preflight-nDEvCf/red-wrong-panic-exit.log",
      "originalSha256": "6a53210daf732de90aff33020217bb2befa17daa2681b57e379eb8c801f3c8e5",
      "href": "/os-evidence/9ab4f9524d745970d790a2a8913effb6136741e85f7a2f80742603f80166a6f7.txt",
      "sha256": "9ab4f9524d745970d790a2a8913effb6136741e85f7a2f80742603f80166a6f7",
      "bytes": 2234,
      "redacted": true
    },
    {
      "name": "red-repeat-accepted.log",
      "source": "reports/os-implementation/K1210-rust-panic-local-preflight-nDEvCf/red-repeat-accepted.log",
      "originalSha256": "7e61b78020b6ffb6f30237ad6e295adb02e5491ecc71d010fe4c796e8114104a",
      "href": "/os-evidence/f5ecf5bae200ac352d716ed5a52022cecc28e42da5e8b7099c37e5dd4b81aa43.txt",
      "sha256": "f5ecf5bae200ac352d716ed5a52022cecc28e42da5e8b7099c37e5dd4b81aa43",
      "bytes": 2281,
      "redacted": true
    }
  ],
  "moves": [
    "K1206",
    "K1207",
    "K1208",
    "K1209"
  ]
}