{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1235-handle-local-preflight-4ywjGv/report.json",
    "sha256": "50eb4623507720625a311e72a906e2915c4892ea38084db6475bdbcb0f400319",
    "bytes": 2273
  },
  "status": "K1231_K1234_LOCAL_VALIDATED",
  "scope": "Local fixed-capacity single-owner RAII model. Move and Drop close exactly once; duplicate live claim and second raw close are rejected; a double-close mutant fails. Native guest integration remains K1235.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "Cargo.toml",
      "source": "os-user-runtime-handle/Cargo.toml",
      "originalSha256": "56b18cf30d01c6565bf52683d9b4dd72e288b5458e98e1f0412e3e2381ad4025",
      "href": "/os-evidence/56b18cf30d01c6565bf52683d9b4dd72e288b5458e98e1f0412e3e2381ad4025.txt",
      "sha256": "56b18cf30d01c6565bf52683d9b4dd72e288b5458e98e1f0412e3e2381ad4025",
      "bytes": 155,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "os-user-runtime-handle/src/lib.rs",
      "originalSha256": "3ba4d8fbc40a3fc1abd6be2a848633d97b6b6e04c34d180d9f334f1b2a49c5f9",
      "href": "/os-evidence/3ba4d8fbc40a3fc1abd6be2a848633d97b6b6e04c34d180d9f334f1b2a49c5f9.txt",
      "sha256": "3ba4d8fbc40a3fc1abd6be2a848633d97b6b6e04c34d180d9f334f1b2a49c5f9",
      "bytes": 4476,
      "redacted": false
    },
    {
      "name": "ownership.rs",
      "source": "os-user-runtime-handle/tests/ownership.rs",
      "originalSha256": "5f58e0fd4e80b3074a7f6134e7342c58a9b4b6dc3b0b6871c37948b8697e0a82",
      "href": "/os-evidence/5f58e0fd4e80b3074a7f6134e7342c58a9b4b6dc3b0b6871c37948b8697e0a82.txt",
      "sha256": "5f58e0fd4e80b3074a7f6134e7342c58a9b4b6dc3b0b6871c37948b8697e0a82",
      "bytes": 1439,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "os-user-runtime-handle/CONTRACT.md",
      "originalSha256": "14d8220e386f5e1904a15273e2520948b0e2c78fd528fa741d69e2ed3010b05b",
      "href": "/os-evidence/14d8220e386f5e1904a15273e2520948b0e2c78fd528fa741d69e2ed3010b05b.txt",
      "sha256": "14d8220e386f5e1904a15273e2520948b0e2c78fd528fa741d69e2ed3010b05b",
      "bytes": 827,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1235-handle-local-preflight-4ywjGv/host-tests.log",
      "originalSha256": "238930197a7a599117f4308ed39570e88ccacd932c15fea1a709ecbab131a3b3",
      "href": "/os-evidence/6f22175c1ad1d7334871651bb3b14b42f7d5b6ee2c670f04f89ec057bd0b999d.txt",
      "sha256": "6f22175c1ad1d7334871651bb3b14b42f7d5b6ee2c670f04f89ec057bd0b999d",
      "bytes": 961,
      "redacted": true
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1235-handle-local-preflight-4ywjGv/aarch64-no-std-check.log",
      "originalSha256": "1eea8400288bc1985e7e8dd8131fa66bf8637feed5c6be14318357c1ad004b6c",
      "href": "/os-evidence/c9f066064c3ad104b96d7308ecff346086a88542437c17d898b344868bad66fe.txt",
      "sha256": "c9f066064c3ad104b96d7308ecff346086a88542437c17d898b344868bad66fe",
      "bytes": 509,
      "redacted": true
    },
    {
      "name": "double-close-mutant.log",
      "source": "reports/os-implementation/K1235-handle-local-preflight-4ywjGv/double-close-mutant.log",
      "originalSha256": "dc7893e83f6b23ace668f9fa9cb1d2bdf60a02e140f8d8713c4a72a2be89765b",
      "href": "/os-evidence/1eae55fb63f69716c801a4df5117ed07b4a5106ac0e0c7cdf706a2adb019e988.txt",
      "sha256": "1eae55fb63f69716c801a4df5117ed07b4a5106ac0e0c7cdf706a2adb019e988",
      "bytes": 1088,
      "redacted": true
    }
  ],
  "moves": [
    "K1231",
    "K1232",
    "K1233",
    "K1234"
  ]
}