{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1360-waitset-teardown-local-preflight-6GPDSi/report.json",
    "sha256": "1b5474d117d5af148cd9f8ff0501a7220cc64a61765e71c0338393b0d4042ccc",
    "bytes": 2912
  },
  "status": "K1356_K1359_LOCAL_VALIDATED",
  "scope": "Local waitset teardown model: closing a three-object waitset releases every subscription, a peer-death callback racing with close cannot restore a resource, event-first close also releases all subscriptions, denials preserve ownership and resource state, and an AArch64 no_std build plus a partial-close mutant are checked. Native EL0 six-profile integration remains K1360.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "CONTRACT.md",
      "source": "os-waitset/teardown/CONTRACT.md",
      "originalSha256": "76324179a9befd2b5369931b2bad3a349e54118c5d474f32826183dc4e7b414c",
      "href": "/os-evidence/76324179a9befd2b5369931b2bad3a349e54118c5d474f32826183dc4e7b414c.txt",
      "sha256": "76324179a9befd2b5369931b2bad3a349e54118c5d474f32826183dc4e7b414c",
      "bytes": 1059,
      "redacted": false
    },
    {
      "name": "close.rs",
      "source": "os-waitset/teardown/close.rs",
      "originalSha256": "12570dbdb279ce451f632db6f4b73ca997a89fd75198c8400bb05d7dbb377ad0",
      "href": "/os-evidence/12570dbdb279ce451f632db6f4b73ca997a89fd75198c8400bb05d7dbb377ad0.txt",
      "sha256": "12570dbdb279ce451f632db6f4b73ca997a89fd75198c8400bb05d7dbb377ad0",
      "bytes": 3756,
      "redacted": false
    },
    {
      "name": "waitset_teardown.rs",
      "source": "kernel/tests/os/waitset_teardown.rs",
      "originalSha256": "b04a90b471a6c4c882c17a788c0a5547c77dd323921d588af0b6d4b035427a86",
      "href": "/os-evidence/b04a90b471a6c4c882c17a788c0a5547c77dd323921d588af0b6d4b035427a86.txt",
      "sha256": "b04a90b471a6c4c882c17a788c0a5547c77dd323921d588af0b6d4b035427a86",
      "bytes": 3049,
      "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/K1360-waitset-teardown-local-preflight-6GPDSi/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1360-waitset-teardown-local-preflight-6GPDSi/host-tests.log",
      "originalSha256": "e835466fd430ca69d1640e24634e6c49eee46f558d548eb1b549ef37497ddcd9",
      "href": "/os-evidence/e835466fd430ca69d1640e24634e6c49eee46f558d548eb1b549ef37497ddcd9.txt",
      "sha256": "e835466fd430ca69d1640e24634e6c49eee46f558d548eb1b549ef37497ddcd9",
      "bytes": 262,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1360-waitset-teardown-local-preflight-6GPDSi/aarch64-no-std-check.log",
      "originalSha256": "9fb27214c15f9739c3dd90e41b6a4058e50540f55885fcd2cc35a159bfebc546",
      "href": "/os-evidence/45d3f78b1e712f1de9d1b04bb1c23c4ec1b4f2e4be0863f9ff6bb9e9c7c8e3f2.txt",
      "sha256": "45d3f78b1e712f1de9d1b04bb1c23c4ec1b4f2e4be0863f9ff6bb9e9c7c8e3f2",
      "bytes": 3713,
      "redacted": true
    },
    {
      "name": "partial-close-mutant-compile.log",
      "source": "reports/os-implementation/K1360-waitset-teardown-local-preflight-6GPDSi/partial-close-mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "partial-close-mutant.log",
      "source": "reports/os-implementation/K1360-waitset-teardown-local-preflight-6GPDSi/partial-close-mutant.log",
      "originalSha256": "38c8dc017a55a98f9eb7a3e2511d83c4cd4af0da06265b469717e21b7c444ada",
      "href": "/os-evidence/d0629956c6e7f8d2a2e40a01171ad04d51e28f6bb9f56d0f89b436071a19876a.txt",
      "sha256": "d0629956c6e7f8d2a2e40a01171ad04d51e28f6bb9f56d0f89b436071a19876a",
      "bytes": 781,
      "redacted": true
    }
  ],
  "moves": [
    "K1356",
    "K1357",
    "K1358",
    "K1359"
  ]
}