{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1325-handles-queue-local-preflight-b1QWVr/report.json",
    "sha256": "b3e2aa8a3ce4fe8bac419221fefb7ff213be036058bc9c436b8402dd173a1ab9",
    "bytes": 2828
  },
  "status": "K1321_K1324_LOCAL_VALIDATED",
  "scope": "Local fixed-size channel queue model: kernel-owned FIFO payloads, exact maximum size, full-queue EAGAIN, oversized-message EMSGSIZE, rights/owner denials, last-close cleanup and partial-copy rollback. AArch64 no_std metadata build and a partial-copy mutant are checked. Native EL0 six-profile integration remains K1325.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "CONTRACT.md",
      "source": "os-handles/queue/CONTRACT.md",
      "originalSha256": "4f5f9e3ac5230bbb3cd5986daf9a36c070bd9871c0134f9b0283e5fddb6f85ef",
      "href": "/os-evidence/4f5f9e3ac5230bbb3cd5986daf9a36c070bd9871c0134f9b0283e5fddb6f85ef.txt",
      "sha256": "4f5f9e3ac5230bbb3cd5986daf9a36c070bd9871c0134f9b0283e5fddb6f85ef",
      "bytes": 2090,
      "redacted": false
    },
    {
      "name": "handles.rs",
      "source": "os-handles/queue/handles.rs",
      "originalSha256": "e642c0ea1842733f43ad5dea8279f866e73fb710f6d3d0060906091fd3d552b2",
      "href": "/os-evidence/e642c0ea1842733f43ad5dea8279f866e73fb710f6d3d0060906091fd3d552b2.txt",
      "sha256": "e642c0ea1842733f43ad5dea8279f866e73fb710f6d3d0060906091fd3d552b2",
      "bytes": 21244,
      "redacted": false
    },
    {
      "name": "handles_queue.rs",
      "source": "kernel/tests/os/handles_queue.rs",
      "originalSha256": "e57cd96341a2a29ac6d9e331490503dc2075e3994d6707c51afe8524948371b7",
      "href": "/os-evidence/e57cd96341a2a29ac6d9e331490503dc2075e3994d6707c51afe8524948371b7.txt",
      "sha256": "e57cd96341a2a29ac6d9e331490503dc2075e3994d6707c51afe8524948371b7",
      "bytes": 3479,
      "redacted": false
    },
    {
      "name": "handles-queue.mjs",
      "source": "scripts/os-acceptance/handles-queue.mjs",
      "originalSha256": "712029b53d074367fc98e4c63cc64898f862c8a5f96bbb3378b949f6ecf393c3",
      "href": "/os-evidence/712029b53d074367fc98e4c63cc64898f862c8a5f96bbb3378b949f6ecf393c3.txt",
      "sha256": "712029b53d074367fc98e4c63cc64898f862c8a5f96bbb3378b949f6ecf393c3",
      "bytes": 4991,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1325-handles-queue-local-preflight-b1QWVr/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1325-handles-queue-local-preflight-b1QWVr/host-tests.log",
      "originalSha256": "34d07c70c1a998316297a2ada1ec9bd1d10eeb042c9d536e554e04d5ed4d1670",
      "href": "/os-evidence/34d07c70c1a998316297a2ada1ec9bd1d10eeb042c9d536e554e04d5ed4d1670.txt",
      "sha256": "34d07c70c1a998316297a2ada1ec9bd1d10eeb042c9d536e554e04d5ed4d1670",
      "bytes": 262,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1325-handles-queue-local-preflight-b1QWVr/aarch64-no-std-check.log",
      "originalSha256": "e71d3eb38e770aef0de2aaae26f28b41d297fb161dbbd76c0bf3944dafd8878e",
      "href": "/os-evidence/28c631586084fc6bef2b1322fb72e84a13629614e6ee40d2bbf45768285822c2.txt",
      "sha256": "28c631586084fc6bef2b1322fb72e84a13629614e6ee40d2bbf45768285822c2",
      "bytes": 12766,
      "redacted": true
    },
    {
      "name": "partial-copy-mutant-compile.log",
      "source": "reports/os-implementation/K1325-handles-queue-local-preflight-b1QWVr/partial-copy-mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "partial-copy-mutant.log",
      "source": "reports/os-implementation/K1325-handles-queue-local-preflight-b1QWVr/partial-copy-mutant.log",
      "originalSha256": "432994d72ef722871788ec83d0beed3f21eaaa58547a78bff106dabcfa51881f",
      "href": "/os-evidence/3c50efc4013be00a854c9eae7fbd4a0d098f60497d3c62ef16dd3b1568277136.txt",
      "sha256": "3c50efc4013be00a854c9eae7fbd4a0d098f60497d3c62ef16dd3b1568277136",
      "bytes": 548,
      "redacted": true
    }
  ],
  "moves": [
    "K1321",
    "K1322",
    "K1323",
    "K1324"
  ]
}