{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1335-handles-transfer-local-preflight-gGoIFC/report.json",
    "sha256": "d0af990107cd658517572e4e2257cc43dfd40996887a463f02d7a1962542ea07",
    "bytes": 2957
  },
  "status": "K1331_K1334_LOCAL_VALIDATED",
  "scope": "Local message handle-transfer model: sender loses a typed generation-tagged handle only after private user-data copy, an escrow retains object and attenuated rights, and a designated recipient receives a fresh handle and FIFO bytes. Denials, ticket and generation overflow, capacity rollback, AArch64 no_std compilation and a failed-copy mutant are checked. Native EL0 six-profile integration remains K1335.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "CONTRACT.md",
      "source": "os-handles/transfer/CONTRACT.md",
      "originalSha256": "27d10105ec7dacd886a12a557b1e40fbc183b4d188ba5fe9959b99b412b96142",
      "href": "/os-evidence/27d10105ec7dacd886a12a557b1e40fbc183b4d188ba5fe9959b99b412b96142.txt",
      "sha256": "27d10105ec7dacd886a12a557b1e40fbc183b4d188ba5fe9959b99b412b96142",
      "bytes": 1986,
      "redacted": false
    },
    {
      "name": "handles.rs",
      "source": "os-handles/transfer/handles.rs",
      "originalSha256": "d71baa189a08d3101e1fdb4c6bb5c381c270e5e93539c9909be3c997de431383",
      "href": "/os-evidence/d71baa189a08d3101e1fdb4c6bb5c381c270e5e93539c9909be3c997de431383.txt",
      "sha256": "d71baa189a08d3101e1fdb4c6bb5c381c270e5e93539c9909be3c997de431383",
      "bytes": 32219,
      "redacted": false
    },
    {
      "name": "handles_transfer.rs",
      "source": "kernel/tests/os/handles_transfer.rs",
      "originalSha256": "56ed42f5c38126d5cb0837f115c19d61f875729221f62ccfcac2fa547e262f4b",
      "href": "/os-evidence/56ed42f5c38126d5cb0837f115c19d61f875729221f62ccfcac2fa547e262f4b.txt",
      "sha256": "56ed42f5c38126d5cb0837f115c19d61f875729221f62ccfcac2fa547e262f4b",
      "bytes": 4086,
      "redacted": false
    },
    {
      "name": "handles-transfer.mjs",
      "source": "scripts/os-acceptance/handles-transfer.mjs",
      "originalSha256": "2cc35b80680eee8052a22fe6a85a8b3434649ee5248511a8aae51c70d9b558e5",
      "href": "/os-evidence/2cc35b80680eee8052a22fe6a85a8b3434649ee5248511a8aae51c70d9b558e5.txt",
      "sha256": "2cc35b80680eee8052a22fe6a85a8b3434649ee5248511a8aae51c70d9b558e5",
      "bytes": 5348,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1335-handles-transfer-local-preflight-gGoIFC/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1335-handles-transfer-local-preflight-gGoIFC/host-tests.log",
      "originalSha256": "2e6cf144bef575c6d0b2343eaee2ba50a0c60ebd71151ff68934558f0ac9e8c5",
      "href": "/os-evidence/2e6cf144bef575c6d0b2343eaee2ba50a0c60ebd71151ff68934558f0ac9e8c5.txt",
      "sha256": "2e6cf144bef575c6d0b2343eaee2ba50a0c60ebd71151ff68934558f0ac9e8c5",
      "bytes": 288,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1335-handles-transfer-local-preflight-gGoIFC/aarch64-no-std-check.log",
      "originalSha256": "761c78171d5d67812ef98e2f12627c5173e29e18f39974da891f48372b85ea8e",
      "href": "/os-evidence/cb301db678335e106267a43d94994e93e2887b5c4980f0075e0618ef22c6e5a4.txt",
      "sha256": "cb301db678335e106267a43d94994e93e2887b5c4980f0075e0618ef22c6e5a4",
      "bytes": 18755,
      "redacted": true
    },
    {
      "name": "failed-copy-ignored-mutant-compile.log",
      "source": "reports/os-implementation/K1335-handles-transfer-local-preflight-gGoIFC/failed-copy-ignored-mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "failed-copy-ignored-mutant.log",
      "source": "reports/os-implementation/K1335-handles-transfer-local-preflight-gGoIFC/failed-copy-ignored-mutant.log",
      "originalSha256": "1ca803f22da29b973ae3062d6b24ba9a8212d51bc5df0e8f7282ac1a988484ad",
      "href": "/os-evidence/04c7bac8a2df1e3f7345f5b4cbc02d015bb0e154db34677cbe0ffede28d17c77.txt",
      "sha256": "04c7bac8a2df1e3f7345f5b4cbc02d015bb0e154db34677cbe0ffede28d17c77",
      "bytes": 616,
      "redacted": true
    }
  ],
  "moves": [
    "K1331",
    "K1332",
    "K1333",
    "K1334"
  ]
}