{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1315-handles-rights-local-preflight-Rp3G5H/report.json",
    "sha256": "78b25abeec33d2530943a7ee4ce1be5aca7fd7cae7cf7c4643ae8ca230e38a4b",
    "bytes": 2826
  },
  "status": "K1311_K1314_LOCAL_VALIDATED",
  "scope": "Local rights-attenuating kernel handle model: RW File to RO copy, RO write EACCES, RO-to-RW duplicate denial without mutation, preserved original and copy ownership, typed and generation separation, AArch64 no_std metadata build and a red widening mutant. Native EL0 six-profile integration remains K1315.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "CONTRACT.md",
      "source": "os-handles/rights/CONTRACT.md",
      "originalSha256": "ac3d0585d01bd8e69fad1f3d34f8cb9a651bea3cc7097f4d735cb7aacd76370b",
      "href": "/os-evidence/ac3d0585d01bd8e69fad1f3d34f8cb9a651bea3cc7097f4d735cb7aacd76370b.txt",
      "sha256": "ac3d0585d01bd8e69fad1f3d34f8cb9a651bea3cc7097f4d735cb7aacd76370b",
      "bytes": 1805,
      "redacted": false
    },
    {
      "name": "handles.rs",
      "source": "os-handles/rights/handles.rs",
      "originalSha256": "7933f2abb4dae40e2a86b9c19b99d75b5d37de83b86a1312009e1fb0fdcb8b88",
      "href": "/os-evidence/7933f2abb4dae40e2a86b9c19b99d75b5d37de83b86a1312009e1fb0fdcb8b88.txt",
      "sha256": "7933f2abb4dae40e2a86b9c19b99d75b5d37de83b86a1312009e1fb0fdcb8b88",
      "bytes": 7921,
      "redacted": false
    },
    {
      "name": "handles_rights.rs",
      "source": "kernel/tests/os/handles_rights.rs",
      "originalSha256": "5eed95c2da25187129fa3a131c9ab205128681b6a8602ca85dcf84b6151d1de1",
      "href": "/os-evidence/5eed95c2da25187129fa3a131c9ab205128681b6a8602ca85dcf84b6151d1de1.txt",
      "sha256": "5eed95c2da25187129fa3a131c9ab205128681b6a8602ca85dcf84b6151d1de1",
      "bytes": 3528,
      "redacted": false
    },
    {
      "name": "handles-rights.mjs",
      "source": "scripts/os-acceptance/handles-rights.mjs",
      "originalSha256": "1131b3a484512e0d842cd573437dfc7fcb450ac5122d0dad77153042e81b6c82",
      "href": "/os-evidence/1131b3a484512e0d842cd573437dfc7fcb450ac5122d0dad77153042e81b6c82.txt",
      "sha256": "1131b3a484512e0d842cd573437dfc7fcb450ac5122d0dad77153042e81b6c82",
      "bytes": 4975,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1315-handles-rights-local-preflight-Rp3G5H/host-compile.log",
      "originalSha256": "3a5df69810a98e125c14b15ef359b3984a71d14322e61294d0bf1f634478528f",
      "href": "/os-evidence/b8cc2eb231b533feaf8f1e0e3ed8f43fe3e5745140566678753fbf5b955c5336.txt",
      "sha256": "b8cc2eb231b533feaf8f1e0e3ed8f43fe3e5745140566678753fbf5b955c5336",
      "bytes": 988,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1315-handles-rights-local-preflight-Rp3G5H/host-tests.log",
      "originalSha256": "2d9a002aeae413755df789ac793837dd60e6db31ec808912c5b194ec7bb217af",
      "href": "/os-evidence/2d9a002aeae413755df789ac793837dd60e6db31ec808912c5b194ec7bb217af.txt",
      "sha256": "2d9a002aeae413755df789ac793837dd60e6db31ec808912c5b194ec7bb217af",
      "bytes": 246,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1315-handles-rights-local-preflight-Rp3G5H/aarch64-no-std-check.log",
      "originalSha256": "1950e291fdaa3be5c06eb79b7cb09d29df67e60374b3388f5ec94f384d03daef",
      "href": "/os-evidence/f27796ab05c0ba9129b752c7ab87015016e3e3b57cb9c4c318fffb643d1a4660.txt",
      "sha256": "f27796ab05c0ba9129b752c7ab87015016e3e3b57cb9c4c318fffb643d1a4660",
      "bytes": 5610,
      "redacted": true
    },
    {
      "name": "rights-widen-mutant-compile.log",
      "source": "reports/os-implementation/K1315-handles-rights-local-preflight-Rp3G5H/rights-widen-mutant-compile.log",
      "originalSha256": "3a5df69810a98e125c14b15ef359b3984a71d14322e61294d0bf1f634478528f",
      "href": "/os-evidence/b8cc2eb231b533feaf8f1e0e3ed8f43fe3e5745140566678753fbf5b955c5336.txt",
      "sha256": "b8cc2eb231b533feaf8f1e0e3ed8f43fe3e5745140566678753fbf5b955c5336",
      "bytes": 988,
      "redacted": true
    },
    {
      "name": "rights-widen-mutant.log",
      "source": "reports/os-implementation/K1315-handles-rights-local-preflight-Rp3G5H/rights-widen-mutant.log",
      "originalSha256": "644a48fcc8f820e1915aba2db33a8e37ebb8786652460acd3df27d02cc6afeeb",
      "href": "/os-evidence/a8d59596e68972431e54ad44eacce39d85eb1be80ebcb7a647fd2ed55ce3dfee.txt",
      "sha256": "a8d59596e68972431e54ad44eacce39d85eb1be80ebcb7a647fd2ed55ce3dfee",
      "bytes": 551,
      "redacted": true
    }
  ],
  "moves": [
    "K1311",
    "K1312",
    "K1313",
    "K1314"
  ]
}