{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1350-waitset-readiness-local-preflight-5IwtO3/report.json",
    "sha256": "ba7e18d59f80476f41dc50eae3800ce037f767a19d61c9877e42e98ef375eec3",
    "bytes": 2891
  },
  "status": "K1346_K1349_LOCAL_VALIDATED",
  "scope": "Local level-triggered waitset readiness model: repeated polls preserve a source level, clearing removes it, unrelated bits are filtered, reuse starts empty, owner and invalid-level denials leave snapshots unchanged, and AArch64 no_std compilation plus a consume-on-poll mutant are checked. Native EL0 six-profile integration remains K1350.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "CONTRACT.md",
      "source": "os-waitset/readiness/CONTRACT.md",
      "originalSha256": "d42d5c78e447c4c2239ffa32657a0af63b3343f05f3144d51bda9cf4da637133",
      "href": "/os-evidence/d42d5c78e447c4c2239ffa32657a0af63b3343f05f3144d51bda9cf4da637133.txt",
      "sha256": "d42d5c78e447c4c2239ffa32657a0af63b3343f05f3144d51bda9cf4da637133",
      "bytes": 1294,
      "redacted": false
    },
    {
      "name": "waitset.rs",
      "source": "os-waitset/readiness/waitset.rs",
      "originalSha256": "02d9cfde272e40a810e17b924296d008ff396d32c448a2c11b5bad7282b18636",
      "href": "/os-evidence/02d9cfde272e40a810e17b924296d008ff396d32c448a2c11b5bad7282b18636.txt",
      "sha256": "02d9cfde272e40a810e17b924296d008ff396d32c448a2c11b5bad7282b18636",
      "bytes": 6340,
      "redacted": false
    },
    {
      "name": "waitset_readiness.rs",
      "source": "kernel/tests/os/waitset_readiness.rs",
      "originalSha256": "6e6264cfac67bf5a4c1d1aaec8c2ebe933671f6122810576e1ff22f53fd238b2",
      "href": "/os-evidence/6e6264cfac67bf5a4c1d1aaec8c2ebe933671f6122810576e1ff22f53fd238b2.txt",
      "sha256": "6e6264cfac67bf5a4c1d1aaec8c2ebe933671f6122810576e1ff22f53fd238b2",
      "bytes": 2445,
      "redacted": false
    },
    {
      "name": "waitset-readiness.mjs",
      "source": "scripts/os-acceptance/waitset-readiness.mjs",
      "originalSha256": "473ad056b435b1969fb4875531498f0ce8dc1c75aa7c81d94b6faaf0c5dae924",
      "href": "/os-evidence/473ad056b435b1969fb4875531498f0ce8dc1c75aa7c81d94b6faaf0c5dae924.txt",
      "sha256": "473ad056b435b1969fb4875531498f0ce8dc1c75aa7c81d94b6faaf0c5dae924",
      "bytes": 5196,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1350-waitset-readiness-local-preflight-5IwtO3/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1350-waitset-readiness-local-preflight-5IwtO3/host-tests.log",
      "originalSha256": "13ca38b44b7cf14d0ff5e1ad1aeca54c6f14ac9976ddc8bd04b8138fd38b9ef8",
      "href": "/os-evidence/13ca38b44b7cf14d0ff5e1ad1aeca54c6f14ac9976ddc8bd04b8138fd38b9ef8.txt",
      "sha256": "13ca38b44b7cf14d0ff5e1ad1aeca54c6f14ac9976ddc8bd04b8138fd38b9ef8",
      "bytes": 297,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1350-waitset-readiness-local-preflight-5IwtO3/aarch64-no-std-check.log",
      "originalSha256": "ac83674537e09958328f773e9d7e934591e813addf10bb5c14b455cca8b8113c",
      "href": "/os-evidence/0ce3a389f62d269792c241cbd7476162af39a8691bee19ef9c5b604768083769.txt",
      "sha256": "0ce3a389f62d269792c241cbd7476162af39a8691bee19ef9c5b604768083769",
      "bytes": 6589,
      "redacted": true
    },
    {
      "name": "consume-on-poll-mutant-compile.log",
      "source": "reports/os-implementation/K1350-waitset-readiness-local-preflight-5IwtO3/consume-on-poll-mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "consume-on-poll-mutant.log",
      "source": "reports/os-implementation/K1350-waitset-readiness-local-preflight-5IwtO3/consume-on-poll-mutant.log",
      "originalSha256": "3f278e4e67ebe7beb2b972da39d1487b26449f840c2aa2cc58ad6e020e7816b9",
      "href": "/os-evidence/4aa7503bd755207fbaba0bd4a5065ced23fe03fbbfa01452be6072993cb37f7e.txt",
      "sha256": "4aa7503bd755207fbaba0bd4a5065ced23fe03fbbfa01452be6072993cb37f7e",
      "bytes": 632,
      "redacted": true
    }
  ],
  "moves": [
    "K1346",
    "K1347",
    "K1348",
    "K1349"
  ]
}