{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1345-waitset-register-local-preflight-zrCT0M/report.json",
    "sha256": "d83fa93b67925268945c92850e56607d4ad86bb9600fb77a5322b64c0d8fb000",
    "bytes": 2822
  },
  "status": "K1341_K1344_LOCAL_VALIDATED",
  "scope": "Local waitset registration model: typed object keys, interest masks, generation-tagged IDs, duplicate and stale rejection, owner and capacity denials, generation overflow, AArch64 no_std compilation and a duplicate-bypass mutant are checked. Native EL0 six-profile integration remains K1345.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "CONTRACT.md",
      "source": "os-waitset/CONTRACT.md",
      "originalSha256": "8e4aa69bd980a66f3f019cd719e9099e3c7b376929df6ebe70322fc6e128755f",
      "href": "/os-evidence/8e4aa69bd980a66f3f019cd719e9099e3c7b376929df6ebe70322fc6e128755f.txt",
      "sha256": "8e4aa69bd980a66f3f019cd719e9099e3c7b376929df6ebe70322fc6e128755f",
      "bytes": 1339,
      "redacted": false
    },
    {
      "name": "waitset.rs",
      "source": "os-waitset/src/waitset.rs",
      "originalSha256": "3b880022f0bf31a180bcec29ddd8062b5b88ae4b130b02f0564e4ae98d753586",
      "href": "/os-evidence/3b880022f0bf31a180bcec29ddd8062b5b88ae4b130b02f0564e4ae98d753586.txt",
      "sha256": "3b880022f0bf31a180bcec29ddd8062b5b88ae4b130b02f0564e4ae98d753586",
      "bytes": 4270,
      "redacted": false
    },
    {
      "name": "waitset_register.rs",
      "source": "kernel/tests/os/waitset_register.rs",
      "originalSha256": "243f590cf9e0aeec6147bae3d1831070b0171c5d719974dd803d5c4ebcf14ba7",
      "href": "/os-evidence/243f590cf9e0aeec6147bae3d1831070b0171c5d719974dd803d5c4ebcf14ba7.txt",
      "sha256": "243f590cf9e0aeec6147bae3d1831070b0171c5d719974dd803d5c4ebcf14ba7",
      "bytes": 2727,
      "redacted": false
    },
    {
      "name": "waitset-register.mjs",
      "source": "scripts/os-acceptance/waitset-register.mjs",
      "originalSha256": "8f8d31b1016a7278576df58e8089839cd66740f94849a1371984c5183ca2361b",
      "href": "/os-evidence/8f8d31b1016a7278576df58e8089839cd66740f94849a1371984c5183ca2361b.txt",
      "sha256": "8f8d31b1016a7278576df58e8089839cd66740f94849a1371984c5183ca2361b",
      "bytes": 5103,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1345-waitset-register-local-preflight-zrCT0M/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1345-waitset-register-local-preflight-zrCT0M/host-tests.log",
      "originalSha256": "8c58ea354fbdebefc10de83c1489c265178cd08772b1e7a91ec9b7d93ff326b0",
      "href": "/os-evidence/8c58ea354fbdebefc10de83c1489c265178cd08772b1e7a91ec9b7d93ff326b0.txt",
      "sha256": "8c58ea354fbdebefc10de83c1489c265178cd08772b1e7a91ec9b7d93ff326b0",
      "bytes": 273,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1345-waitset-register-local-preflight-zrCT0M/aarch64-no-std-check.log",
      "originalSha256": "55ab4002a3653dfffad1e8d0b6c423cecffb4e2aef2630a244749d893da1ae23",
      "href": "/os-evidence/615fe858961452caa7b31c113e3b6f4ad2180bad42ec9ae1c2dcfd31a1894727.txt",
      "sha256": "615fe858961452caa7b31c113e3b6f4ad2180bad42ec9ae1c2dcfd31a1894727",
      "bytes": 4965,
      "redacted": true
    },
    {
      "name": "duplicate-register-mutant-compile.log",
      "source": "reports/os-implementation/K1345-waitset-register-local-preflight-zrCT0M/duplicate-register-mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "duplicate-register-mutant.log",
      "source": "reports/os-implementation/K1345-waitset-register-local-preflight-zrCT0M/duplicate-register-mutant.log",
      "originalSha256": "b7e73d7fbdcb53f5849613c8b7a954660c2f0f67e9ddc42e03e87e467591fc5b",
      "href": "/os-evidence/210544f4cede6bc4cc3f02c98bc52ed94873f4c891d8ff472ae457f7e6b7833b.txt",
      "sha256": "210544f4cede6bc4cc3f02c98bc52ed94873f4c891d8ff472ae457f7e6b7833b",
      "bytes": 618,
      "redacted": true
    }
  ],
  "moves": [
    "K1341",
    "K1342",
    "K1343",
    "K1344"
  ]
}