{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1305-handles-local-preflight-aRcWoZ/report.json",
    "sha256": "87fd29e09e3914492447e426cc8a43c20a705e9fed5797bf08b4bcfd11be91eb",
    "bytes": 2808
  },
  "status": "K1301_K1304_LOCAL_VALIDATED",
  "scope": "Local kernel handle model: three typed owned entries, wrong-kind EBADF and unchanged full snapshot, healthy channel after denial, foreign/stale cleanup, AArch64 no_std metadata build and a red wrong-kind mutant. The source stays outside the frozen root kernel/src tree and is copied into the isolated native guest runtime. Six-profile acceptance remains K1305.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "CONTRACT.md",
      "source": "os-handles/CONTRACT.md",
      "originalSha256": "802d3d1e8fef1d9843d4ea2f6981f289546e1b5e647481cb89d76c4f2516b627",
      "href": "/os-evidence/802d3d1e8fef1d9843d4ea2f6981f289546e1b5e647481cb89d76c4f2516b627.txt",
      "sha256": "802d3d1e8fef1d9843d4ea2f6981f289546e1b5e647481cb89d76c4f2516b627",
      "bytes": 2671,
      "redacted": false
    },
    {
      "name": "handles.rs",
      "source": "os-handles/src/handles.rs",
      "originalSha256": "a2125dfb05805189b6d4b498e62f03f05095927ec4e9c7c664a503112b27d205",
      "href": "/os-evidence/a2125dfb05805189b6d4b498e62f03f05095927ec4e9c7c664a503112b27d205.txt",
      "sha256": "a2125dfb05805189b6d4b498e62f03f05095927ec4e9c7c664a503112b27d205",
      "bytes": 4354,
      "redacted": false
    },
    {
      "name": "handles.rs",
      "source": "kernel/tests/os/handles.rs",
      "originalSha256": "d41308bbd5e1fe773a411c41f3068e9448b250041aaa6eea0b0b2f91ef1a41f6",
      "href": "/os-evidence/d41308bbd5e1fe773a411c41f3068e9448b250041aaa6eea0b0b2f91ef1a41f6.txt",
      "sha256": "d41308bbd5e1fe773a411c41f3068e9448b250041aaa6eea0b0b2f91ef1a41f6",
      "bytes": 3393,
      "redacted": false
    },
    {
      "name": "handles.mjs",
      "source": "scripts/os-acceptance/handles.mjs",
      "originalSha256": "77f742c97f87a5dc0967a1faa14453cd9910afada0f464b14a8c79f4f0683a30",
      "href": "/os-evidence/77f742c97f87a5dc0967a1faa14453cd9910afada0f464b14a8c79f4f0683a30.txt",
      "sha256": "77f742c97f87a5dc0967a1faa14453cd9910afada0f464b14a8c79f4f0683a30",
      "bytes": 5056,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1305-handles-local-preflight-aRcWoZ/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1305-handles-local-preflight-aRcWoZ/host-tests.log",
      "originalSha256": "b2385a8637feff7b3ee16519dc9f3e92e2d29916afc10fb618f9aba4c2b5cd4e",
      "href": "/os-evidence/b2385a8637feff7b3ee16519dc9f3e92e2d29916afc10fb618f9aba4c2b5cd4e.txt",
      "sha256": "b2385a8637feff7b3ee16519dc9f3e92e2d29916afc10fb618f9aba4c2b5cd4e",
      "bytes": 261,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1305-handles-local-preflight-aRcWoZ/aarch64-no-std-check.log",
      "originalSha256": "b6db8f26835c2c06d3626614077428f28854c13fe5ce98d6fdb0830193a91615",
      "href": "/os-evidence/42b901c3773f45fc00f18119475b92790cbc3f5a008d1a29b3ab0f24d433db3b.txt",
      "sha256": "42b901c3773f45fc00f18119475b92790cbc3f5a008d1a29b3ab0f24d433db3b",
      "bytes": 3860,
      "redacted": true
    },
    {
      "name": "wrong-kind-mutant-compile.log",
      "source": "reports/os-implementation/K1305-handles-local-preflight-aRcWoZ/wrong-kind-mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "wrong-kind-mutant.log",
      "source": "reports/os-implementation/K1305-handles-local-preflight-aRcWoZ/wrong-kind-mutant.log",
      "originalSha256": "34e63f6b07895e8fe2b052bc96ee6b48f9e1ad2cce5bff3682bdf98646e40570",
      "href": "/os-evidence/404b7adcf5bdf3008185a5a1b0b9e92671c48c5ac80b0eef04404e127ebbe6d7.txt",
      "sha256": "404b7adcf5bdf3008185a5a1b0b9e92671c48c5ac80b0eef04404e127ebbe6d7",
      "bytes": 529,
      "redacted": true
    }
  ],
  "moves": [
    "K1301",
    "K1302",
    "K1303",
    "K1304"
  ]
}