{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1240-compat-local-preflight-OkZOu4/report.json",
    "sha256": "b124c07712c821ebedd040a394898be8c749b6e5459704cae6d24374665ab416",
    "bytes": 2367
  },
  "status": "K1236_K1239_LOCAL_VALIDATED",
  "scope": "A single V1 version probe permits a V1 startup, rejects a V2-required startup against V1 before image acquisition, and keeps acquisition at zero on malformed wire, invalid version and kernel error. A bypassed compatibility guard fails the negative test. Actual EL0 negotiation remains K1240.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "Cargo.toml",
      "source": "os-user-runtime-compat/Cargo.toml",
      "originalSha256": "69c3332ac6c27a482c87145fd0d25d14d0d749d9d9785bbfe084459f553faa18",
      "href": "/os-evidence/69c3332ac6c27a482c87145fd0d25d14d0d749d9d9785bbfe084459f553faa18.txt",
      "sha256": "69c3332ac6c27a482c87145fd0d25d14d0d749d9d9785bbfe084459f553faa18",
      "bytes": 220,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "os-user-runtime-compat/src/lib.rs",
      "originalSha256": "3955b1530ba365b6e13dae70a5d00f70eaedd8d70536023941c18e5c3c086b83",
      "href": "/os-evidence/3955b1530ba365b6e13dae70a5d00f70eaedd8d70536023941c18e5c3c086b83.txt",
      "sha256": "3955b1530ba365b6e13dae70a5d00f70eaedd8d70536023941c18e5c3c086b83",
      "bytes": 1908,
      "redacted": false
    },
    {
      "name": "compatibility.rs",
      "source": "os-user-runtime-compat/tests/compatibility.rs",
      "originalSha256": "57bf7abd7e37d0b357e8ec2c7b3c936e6acd45a297866e069afa08b46181c2ef",
      "href": "/os-evidence/57bf7abd7e37d0b357e8ec2c7b3c936e6acd45a297866e069afa08b46181c2ef.txt",
      "sha256": "57bf7abd7e37d0b357e8ec2c7b3c936e6acd45a297866e069afa08b46181c2ef",
      "bytes": 2178,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "os-user-runtime-compat/CONTRACT.md",
      "originalSha256": "ef26d2eb449c5a758e7c17a2196d3d0376c2c9c0e91e1ce38fd1d619edac9cf9",
      "href": "/os-evidence/ef26d2eb449c5a758e7c17a2196d3d0376c2c9c0e91e1ce38fd1d619edac9cf9.txt",
      "sha256": "ef26d2eb449c5a758e7c17a2196d3d0376c2c9c0e91e1ce38fd1d619edac9cf9",
      "bytes": 695,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1240-compat-local-preflight-OkZOu4/host-tests.log",
      "originalSha256": "3cf04882873722eb3fac19ac4cbd6059ade8830b2c9bb88c7a851f6b84d373c6",
      "href": "/os-evidence/5789ffd343fa4bdd2626200abcefee090e8f21ed5a006baeeb7764391019899b.txt",
      "sha256": "5789ffd343fa4bdd2626200abcefee090e8f21ed5a006baeeb7764391019899b",
      "bytes": 1134,
      "redacted": true
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1240-compat-local-preflight-OkZOu4/aarch64-no-std-check.log",
      "originalSha256": "d3dd73f7f8b1975bba1eb5ac8c6ab5f6b22be38869db1d7f5ebdacc451a1251f",
      "href": "/os-evidence/3c56b23edaf5a9f923c528eb79a4641cc7f9d8a13920a2b5a3a2063f44470359.txt",
      "sha256": "3c56b23edaf5a9f923c528eb79a4641cc7f9d8a13920a2b5a3a2063f44470359",
      "bytes": 660,
      "redacted": true
    },
    {
      "name": "unsupported-version-mutant.log",
      "source": "reports/os-implementation/K1240-compat-local-preflight-OkZOu4/unsupported-version-mutant.log",
      "originalSha256": "9737f60ec05b8fa26a1c130e501f1c70c2886c012039cfe4eb2bc4282b2939de",
      "href": "/os-evidence/1aed767bcc70ba6780c4bc19b279c6ac65fb86d7a4bdad801966ab1ec62e6706.txt",
      "sha256": "1aed767bcc70ba6780c4bc19b279c6ac65fb86d7a4bdad801966ab1ec62e6706",
      "bytes": 1048,
      "redacted": true
    }
  ],
  "moves": [
    "K1236",
    "K1237",
    "K1238",
    "K1239"
  ]
}