{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1320-handles-lifetime-local-preflight-jfT5st/report.json",
    "sha256": "c1d6799c9adb3cefaabc3ef9313fdfc30a6dbc282bb9b6dda5088ea6de5c7250",
    "bytes": 2951
  },
  "status": "K1316_K1319_LOCAL_VALIDATED",
  "scope": "Local shared-object lifetime model: two process generations hold two references to one object; the first close leaves one healthy reference and the last ends the resource. A nonowning wait returns Pending then Closed exactly once after last close, with no leak or stale ownership. AArch64 no_std metadata build and a lost-notification mutant are checked. Native EL0 six-profile integration remains K1320.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "CONTRACT.md",
      "source": "os-handles/lifetime/CONTRACT.md",
      "originalSha256": "cb298c3c0c84bb273dba7ba9b28feb5d46b630167ba20c35df47a8e1fb80bc0b",
      "href": "/os-evidence/cb298c3c0c84bb273dba7ba9b28feb5d46b630167ba20c35df47a8e1fb80bc0b.txt",
      "sha256": "cb298c3c0c84bb273dba7ba9b28feb5d46b630167ba20c35df47a8e1fb80bc0b",
      "bytes": 2092,
      "redacted": false
    },
    {
      "name": "handles.rs",
      "source": "os-handles/lifetime/handles.rs",
      "originalSha256": "9f7294180856fa742978f5a1986147e545569ad38e73a78d338d387815244b8c",
      "href": "/os-evidence/9f7294180856fa742978f5a1986147e545569ad38e73a78d338d387815244b8c.txt",
      "sha256": "9f7294180856fa742978f5a1986147e545569ad38e73a78d338d387815244b8c",
      "bytes": 16569,
      "redacted": false
    },
    {
      "name": "handles_lifetime.rs",
      "source": "kernel/tests/os/handles_lifetime.rs",
      "originalSha256": "5ecdc557639fd5a972adc1674504de9e263a43f62b3b1ef6317ffe8d2aaa191a",
      "href": "/os-evidence/5ecdc557639fd5a972adc1674504de9e263a43f62b3b1ef6317ffe8d2aaa191a.txt",
      "sha256": "5ecdc557639fd5a972adc1674504de9e263a43f62b3b1ef6317ffe8d2aaa191a",
      "bytes": 3952,
      "redacted": false
    },
    {
      "name": "handles-lifetime.mjs",
      "source": "scripts/os-acceptance/handles-lifetime.mjs",
      "originalSha256": "07930f0e9a0c00f1df322413aa64f972fa3607235fb4d666927649e58e5fd1d0",
      "href": "/os-evidence/07930f0e9a0c00f1df322413aa64f972fa3607235fb4d666927649e58e5fd1d0.txt",
      "sha256": "07930f0e9a0c00f1df322413aa64f972fa3607235fb4d666927649e58e5fd1d0",
      "bytes": 5100,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1320-handles-lifetime-local-preflight-jfT5st/host-compile.log",
      "originalSha256": "6bf313536d1d76653db78f5f34f0f80fce3a4cc9f575a7f1c7f3a3cdbfaa376e",
      "href": "/os-evidence/8402019b7a9283cc517fb4e61ab265c5bc2e81049a420daf42ac5862f3bf4ed1.txt",
      "sha256": "8402019b7a9283cc517fb4e61ab265c5bc2e81049a420daf42ac5862f3bf4ed1",
      "bytes": 4984,
      "redacted": true
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1320-handles-lifetime-local-preflight-jfT5st/host-tests.log",
      "originalSha256": "4001d1ef5884bf00f24c84c6243ea57125c20aa0f6297b259730ba85782565ec",
      "href": "/os-evidence/4001d1ef5884bf00f24c84c6243ea57125c20aa0f6297b259730ba85782565ec.txt",
      "sha256": "4001d1ef5884bf00f24c84c6243ea57125c20aa0f6297b259730ba85782565ec",
      "bytes": 239,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1320-handles-lifetime-local-preflight-jfT5st/aarch64-no-std-check.log",
      "originalSha256": "9ccaaad9211cfcc46fc6b50ba56f03cfa258bcf9e32d3bbf2ced6b567cb5107c",
      "href": "/os-evidence/abfc4595fb8846ae4692e2da6ceb297dfaaa20c90aa603578e230e628d29684f.txt",
      "sha256": "abfc4595fb8846ae4692e2da6ceb297dfaaa20c90aa603578e230e628d29684f",
      "bytes": 9890,
      "redacted": true
    },
    {
      "name": "lost-close-notice-mutant-compile.log",
      "source": "reports/os-implementation/K1320-handles-lifetime-local-preflight-jfT5st/lost-close-notice-mutant-compile.log",
      "originalSha256": "6bf313536d1d76653db78f5f34f0f80fce3a4cc9f575a7f1c7f3a3cdbfaa376e",
      "href": "/os-evidence/8402019b7a9283cc517fb4e61ab265c5bc2e81049a420daf42ac5862f3bf4ed1.txt",
      "sha256": "8402019b7a9283cc517fb4e61ab265c5bc2e81049a420daf42ac5862f3bf4ed1",
      "bytes": 4984,
      "redacted": true
    },
    {
      "name": "lost-close-notice-mutant.log",
      "source": "reports/os-implementation/K1320-handles-lifetime-local-preflight-jfT5st/lost-close-notice-mutant.log",
      "originalSha256": "35c05b2a3f4998dbc1f07229b29f51d9da356023acbd7386dc501fce1e0b656c",
      "href": "/os-evidence/df81bc88250c642fed0abfee07e42847df3ceb7348b18893745132d7108c36cf.txt",
      "sha256": "df81bc88250c642fed0abfee07e42847df3ceb7348b18893745132d7108c36cf",
      "bytes": 589,
      "redacted": true
    }
  ],
  "moves": [
    "K1316",
    "K1317",
    "K1318",
    "K1319"
  ]
}