{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1310-handles-generation-local-preflight-AKLmvQ/report.json",
    "sha256": "7eea6d28834e71c553ad6e119566d87d1c51e16120db9d9706e1b53ac1eaab06",
    "bytes": 2842
  },
  "status": "K1306_K1309_LOCAL_VALIDATED",
  "scope": "Local generation-tagged kernel handle model: three reuse cycles in one slot, stale and foreign owner EBADF, overflow rejection without mutation, healthy independent table, AArch64 no_std metadata build and a red wrapping mutant. Native EL0 six-profile integration remains K1310.",
  "productAccepted": false,
  "tests": {
    "greenCount": 2,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "CONTRACT.md",
      "source": "os-handles/generation/CONTRACT.md",
      "originalSha256": "e25e3c1cce4a99fea950432c63d6d69f9710edf02fa360404aa0134b2c70cf03",
      "href": "/os-evidence/e25e3c1cce4a99fea950432c63d6d69f9710edf02fa360404aa0134b2c70cf03.txt",
      "sha256": "e25e3c1cce4a99fea950432c63d6d69f9710edf02fa360404aa0134b2c70cf03",
      "bytes": 1866,
      "redacted": false
    },
    {
      "name": "handles.rs",
      "source": "os-handles/generation/handles.rs",
      "originalSha256": "75080ef5ef376c341f42aa4918c9316b93b01d59bdef3be799bf6cf24dcafca2",
      "href": "/os-evidence/75080ef5ef376c341f42aa4918c9316b93b01d59bdef3be799bf6cf24dcafca2.txt",
      "sha256": "75080ef5ef376c341f42aa4918c9316b93b01d59bdef3be799bf6cf24dcafca2",
      "bytes": 5116,
      "redacted": false
    },
    {
      "name": "handles_generation.rs",
      "source": "kernel/tests/os/handles_generation.rs",
      "originalSha256": "47fe70cf3e9180aa81726360007aab9c64d8270fe8a93f0cb2666c2c2d1fa47a",
      "href": "/os-evidence/47fe70cf3e9180aa81726360007aab9c64d8270fe8a93f0cb2666c2c2d1fa47a.txt",
      "sha256": "47fe70cf3e9180aa81726360007aab9c64d8270fe8a93f0cb2666c2c2d1fa47a",
      "bytes": 2653,
      "redacted": false
    },
    {
      "name": "handles-generation.mjs",
      "source": "scripts/os-acceptance/handles-generation.mjs",
      "originalSha256": "2ba1d224a42f4c587a0b96f6bdb41f72fadde1e27e7b4a5452393d305d211f6d",
      "href": "/os-evidence/2ba1d224a42f4c587a0b96f6bdb41f72fadde1e27e7b4a5452393d305d211f6d.txt",
      "sha256": "2ba1d224a42f4c587a0b96f6bdb41f72fadde1e27e7b4a5452393d305d211f6d",
      "bytes": 5058,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1310-handles-generation-local-preflight-AKLmvQ/host-compile.log",
      "originalSha256": "71cd6ab881d2c7934bcb997f7d5c850fb56427b5f272db018a4655f5d5320338",
      "href": "/os-evidence/eaadac225c826d5633b839e8103204c1047f082118d5fa568276233f1d9d4481.txt",
      "sha256": "eaadac225c826d5633b839e8103204c1047f082118d5fa568276233f1d9d4481",
      "bytes": 1381,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1310-handles-generation-local-preflight-AKLmvQ/host-tests.log",
      "originalSha256": "42105463198172c90c2a970c3cdae1680e2ad1371520f016de8896ee81bb1702",
      "href": "/os-evidence/42105463198172c90c2a970c3cdae1680e2ad1371520f016de8896ee81bb1702.txt",
      "sha256": "42105463198172c90c2a970c3cdae1680e2ad1371520f016de8896ee81bb1702",
      "bytes": 199,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1310-handles-generation-local-preflight-AKLmvQ/aarch64-no-std-check.log",
      "originalSha256": "6ee489875972f07832d6cb39af488edbaa9ebcd1052b0d1694df25227c77a7ed",
      "href": "/os-evidence/8b318d17ec6c93314f3197303c2815d203a46bcf25d9dee4a539dd2cbe1843ff.txt",
      "sha256": "8b318d17ec6c93314f3197303c2815d203a46bcf25d9dee4a539dd2cbe1843ff",
      "bytes": 4378,
      "redacted": true
    },
    {
      "name": "generation-wrap-mutant-compile.log",
      "source": "reports/os-implementation/K1310-handles-generation-local-preflight-AKLmvQ/generation-wrap-mutant-compile.log",
      "originalSha256": "561539065c5c6d6b6af73f2e59fc0b1c23742e9eabd3db9e379039f5afb782f1",
      "href": "/os-evidence/064ba852ac56e700b2811fdde80817bb123777d21f4d7dc73137ec3d97653f27.txt",
      "sha256": "064ba852ac56e700b2811fdde80817bb123777d21f4d7dc73137ec3d97653f27",
      "bytes": 1381,
      "redacted": true
    },
    {
      "name": "generation-wrap-mutant.log",
      "source": "reports/os-implementation/K1310-handles-generation-local-preflight-AKLmvQ/generation-wrap-mutant.log",
      "originalSha256": "d3c9bcf829b968dae5958d48858dcc7d685bb4ba30ed1fcd02419f44da142684",
      "href": "/os-evidence/3c4039925411de6a608d4078e4336905106a0b9ca1447ac357903176d1106894.txt",
      "sha256": "3c4039925411de6a608d4078e4336905106a0b9ca1447ac357903176d1106894",
      "bytes": 580,
      "redacted": true
    }
  ],
  "moves": [
    "K1306",
    "K1307",
    "K1308",
    "K1309"
  ]
}