{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1330-handles-owned-local-preflight-0l9ooL/report.json",
    "sha256": "5f8064cc882006bab5998aafb6d785a2ec9cf8d53f0c85d747fd4218330cf0b2",
    "bytes": 2842
  },
  "status": "K1326_K1329_LOCAL_VALIDATED",
  "scope": "Local owned-message model: copied bytes survive source mutation and sender handle close, sender process generation travels with the payload, and last-close clears payload and provenance. AArch64 no_std metadata build and an early-metadata-publication mutant are checked. Native EL0 six-profile integration remains K1330.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "CONTRACT.md",
      "source": "os-handles/owned/CONTRACT.md",
      "originalSha256": "ff07a5e579eef7b24673afcd1e5fe48a08255a2b9f82dbd2e6a2c215f0b3d1d6",
      "href": "/os-evidence/ff07a5e579eef7b24673afcd1e5fe48a08255a2b9f82dbd2e6a2c215f0b3d1d6.txt",
      "sha256": "ff07a5e579eef7b24673afcd1e5fe48a08255a2b9f82dbd2e6a2c215f0b3d1d6",
      "bytes": 1584,
      "redacted": false
    },
    {
      "name": "handles.rs",
      "source": "os-handles/owned/handles.rs",
      "originalSha256": "a081f41a917dcdf00673eff2312fa4c9af669a1eaf6137fcaf2152146cb74248",
      "href": "/os-evidence/a081f41a917dcdf00673eff2312fa4c9af669a1eaf6137fcaf2152146cb74248.txt",
      "sha256": "a081f41a917dcdf00673eff2312fa4c9af669a1eaf6137fcaf2152146cb74248",
      "bytes": 24430,
      "redacted": false
    },
    {
      "name": "handles_owned.rs",
      "source": "kernel/tests/os/handles_owned.rs",
      "originalSha256": "daa7df026c798b4d81c447adc13792cf84327546f072b502a2c02a70c4c6ced0",
      "href": "/os-evidence/daa7df026c798b4d81c447adc13792cf84327546f072b502a2c02a70c4c6ced0.txt",
      "sha256": "daa7df026c798b4d81c447adc13792cf84327546f072b502a2c02a70c4c6ced0",
      "bytes": 3199,
      "redacted": false
    },
    {
      "name": "handles-owned.mjs",
      "source": "scripts/os-acceptance/handles-owned.mjs",
      "originalSha256": "5ec16e8f8d10be10ae17e9cb0c29619a87a0d53fe0ee3be807e393bc83a73afd",
      "href": "/os-evidence/5ec16e8f8d10be10ae17e9cb0c29619a87a0d53fe0ee3be807e393bc83a73afd.txt",
      "sha256": "5ec16e8f8d10be10ae17e9cb0c29619a87a0d53fe0ee3be807e393bc83a73afd",
      "bytes": 5165,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1330-handles-owned-local-preflight-0l9ooL/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1330-handles-owned-local-preflight-0l9ooL/host-tests.log",
      "originalSha256": "f87392aeeba6d2bb1fe55ca908e9d1c0bf796b747491837fe629df4fd020c991",
      "href": "/os-evidence/f87392aeeba6d2bb1fe55ca908e9d1c0bf796b747491837fe629df4fd020c991.txt",
      "sha256": "f87392aeeba6d2bb1fe55ca908e9d1c0bf796b747491837fe629df4fd020c991",
      "bytes": 288,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1330-handles-owned-local-preflight-0l9ooL/aarch64-no-std-check.log",
      "originalSha256": "e9c0f3e635aa766a37b3cef71df6cbd637f059ce4d196e3eb538e990123a3ec2",
      "href": "/os-evidence/6349fc996aa0b9a869dd1d0b1742d290a0d6506b9d8dde9d8c71ad5d5177c6d0.txt",
      "sha256": "6349fc996aa0b9a869dd1d0b1742d290a0d6506b9d8dde9d8c71ad5d5177c6d0",
      "bytes": 15036,
      "redacted": true
    },
    {
      "name": "early-sender-publish-mutant-compile.log",
      "source": "reports/os-implementation/K1330-handles-owned-local-preflight-0l9ooL/early-sender-publish-mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "early-sender-publish-mutant.log",
      "source": "reports/os-implementation/K1330-handles-owned-local-preflight-0l9ooL/early-sender-publish-mutant.log",
      "originalSha256": "88f1872ea3a70f275a59c46d4d08f9d362cc61cc2591b2c11a9211150c0b9e70",
      "href": "/os-evidence/079912717f46b0740e05df1a7cb39a71a834eb5bf11b2b69cbb683a74347bd83.txt",
      "sha256": "079912717f46b0740e05df1a7cb39a71a834eb5bf11b2b69cbb683a74347bd83",
      "bytes": 1145,
      "redacted": true
    }
  ],
  "moves": [
    "K1326",
    "K1327",
    "K1328",
    "K1329"
  ]
}