{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1355-waitset-deadlines-local-preflight-7dhwdB/report.json",
    "sha256": "2003fc89996b97b6c60363a58ae9aa47b068a8bb21479341c58433ff03777052",
    "bytes": 2892
  },
  "status": "K1351_K1354_LOCAL_VALIDATED",
  "scope": "Local waitset deadline cancellation race model: an event at the deadline tick wins in either callback order, timeout-only completion is singular, an old timer cannot wake a reused slot, denials preserve ownership and resource state, and an AArch64 no_std build plus a stale-token mutant are checked. Native EL0 six-profile integration remains K1355.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "CONTRACT.md",
      "source": "os-waitset/deadlines/CONTRACT.md",
      "originalSha256": "b66775ff05e3cdee4e1690ab35376bb1c8c63f61cb9832d300300b7ad9ef58df",
      "href": "/os-evidence/b66775ff05e3cdee4e1690ab35376bb1c8c63f61cb9832d300300b7ad9ef58df.txt",
      "sha256": "b66775ff05e3cdee4e1690ab35376bb1c8c63f61cb9832d300300b7ad9ef58df",
      "bytes": 1537,
      "redacted": false
    },
    {
      "name": "wait.rs",
      "source": "os-waitset/deadlines/wait.rs",
      "originalSha256": "1ff0ce69f2883430c6d1613ecaa011798243410e20c2ad36835a1904c1bc3602",
      "href": "/os-evidence/1ff0ce69f2883430c6d1613ecaa011798243410e20c2ad36835a1904c1bc3602.txt",
      "sha256": "1ff0ce69f2883430c6d1613ecaa011798243410e20c2ad36835a1904c1bc3602",
      "bytes": 4184,
      "redacted": false
    },
    {
      "name": "waitset_deadlines.rs",
      "source": "kernel/tests/os/waitset_deadlines.rs",
      "originalSha256": "0468eb3abeb925506ba5403aa004a1559b1b93a8382e647d3229f73b0abd32ca",
      "href": "/os-evidence/0468eb3abeb925506ba5403aa004a1559b1b93a8382e647d3229f73b0abd32ca.txt",
      "sha256": "0468eb3abeb925506ba5403aa004a1559b1b93a8382e647d3229f73b0abd32ca",
      "bytes": 2954,
      "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/K1355-waitset-deadlines-local-preflight-7dhwdB/host-compile.log",
      "originalSha256": "0e1ad3b1cdd85e1ddbb68c9f807d1acafeab1879545ebae445c99758b796ee6f",
      "href": "/os-evidence/8eba78982ec13f00494edfaade260f7e6ecffb12a471b5c5487e1f9bcfa2bd22.txt",
      "sha256": "8eba78982ec13f00494edfaade260f7e6ecffb12a471b5c5487e1f9bcfa2bd22",
      "bytes": 439,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1355-waitset-deadlines-local-preflight-7dhwdB/host-tests.log",
      "originalSha256": "afb1325ef008d7802af4daef1e1317963ef714010e4cfbcd28b72480f2ba9f40",
      "href": "/os-evidence/afb1325ef008d7802af4daef1e1317963ef714010e4cfbcd28b72480f2ba9f40.txt",
      "sha256": "afb1325ef008d7802af4daef1e1317963ef714010e4cfbcd28b72480f2ba9f40",
      "bytes": 258,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1355-waitset-deadlines-local-preflight-7dhwdB/aarch64-no-std-check.log",
      "originalSha256": "a36926aaf5fc96ac6a795b6e70470e31aa8387399653982d121bfd714fbc0d34",
      "href": "/os-evidence/2671b8f42de0c71f94fee2be2628faf8bb51ad5a0c490ff1a4197d600d895549.txt",
      "sha256": "2671b8f42de0c71f94fee2be2628faf8bb51ad5a0c490ff1a4197d600d895549",
      "bytes": 3638,
      "redacted": true
    },
    {
      "name": "stale-timer-mutant-compile.log",
      "source": "reports/os-implementation/K1355-waitset-deadlines-local-preflight-7dhwdB/stale-timer-mutant-compile.log",
      "originalSha256": "dfddcf384de8df81643021f9c008245bf42d8b3755cd3fb651fa2a7f70e9b8a0",
      "href": "/os-evidence/a8d78ef26e0d9b44cb6ad3b976659c21bea0061507bbff8bcfd1c0965a849c17.txt",
      "sha256": "a8d78ef26e0d9b44cb6ad3b976659c21bea0061507bbff8bcfd1c0965a849c17",
      "bytes": 894,
      "redacted": true
    },
    {
      "name": "stale-timer-mutant.log",
      "source": "reports/os-implementation/K1355-waitset-deadlines-local-preflight-7dhwdB/stale-timer-mutant.log",
      "originalSha256": "2cbc0f4be7619143c95da7b6b09e431800e36c44dcc7e7b1d0497eaac8b891c4",
      "href": "/os-evidence/3a31992d58a56b1a4aa0ba6e14087a29539570011661e065dbecbc7df2a38b2f.txt",
      "sha256": "3a31992d58a56b1a4aa0ba6e14087a29539570011661e065dbecbc7df2a38b2f",
      "bytes": 565,
      "redacted": true
    }
  ],
  "moves": [
    "K1351",
    "K1352",
    "K1353",
    "K1354"
  ]
}