{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1340-handles-peer-local-preflight-VrU4hC/report.json",
    "sha256": "e869a9c1088259cba7825f1731414c760cb08da8306f3f1d7977ccacc88e2150",
    "bytes": 2878
  },
  "status": "K1336_K1339_LOCAL_VALIDATED",
  "scope": "Local peer-close channel model: death discards inbound messages for the dead endpoint, leaves outbound messages to drain, then reports Closed repeatedly; sends toward the dead peer return EPIPE without mutation. Owner, size, capacity and copy-fault denials, AArch64 no_std compilation and a dead-peer-send mutant are checked. Native EL0 six-profile integration remains K1340.",
  "productAccepted": false,
  "tests": {
    "greenCount": 3,
    "mutationRejected": true
  },
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "CONTRACT.md",
      "source": "os-handles/peer/CONTRACT.md",
      "originalSha256": "3b008ab07010aa9356c6d4ad74c585833ac0c51243f09636906fb88b12be5c51",
      "href": "/os-evidence/3b008ab07010aa9356c6d4ad74c585833ac0c51243f09636906fb88b12be5c51.txt",
      "sha256": "3b008ab07010aa9356c6d4ad74c585833ac0c51243f09636906fb88b12be5c51",
      "bytes": 1511,
      "redacted": false
    },
    {
      "name": "handles.rs",
      "source": "os-handles/peer/handles.rs",
      "originalSha256": "dbc1442748e5ba0a935e8adee14e0b104c6258daf4ed45ef3231fa888925680c",
      "href": "/os-evidence/dbc1442748e5ba0a935e8adee14e0b104c6258daf4ed45ef3231fa888925680c.txt",
      "sha256": "dbc1442748e5ba0a935e8adee14e0b104c6258daf4ed45ef3231fa888925680c",
      "bytes": 36105,
      "redacted": false
    },
    {
      "name": "handles_peer.rs",
      "source": "kernel/tests/os/handles_peer.rs",
      "originalSha256": "334337ba569319e974b7937fe1f4108e014de68e94d395a7f4203cb66302956f",
      "href": "/os-evidence/334337ba569319e974b7937fe1f4108e014de68e94d395a7f4203cb66302956f.txt",
      "sha256": "334337ba569319e974b7937fe1f4108e014de68e94d395a7f4203cb66302956f",
      "bytes": 3358,
      "redacted": false
    },
    {
      "name": "handles-peer.mjs",
      "source": "scripts/os-acceptance/handles-peer.mjs",
      "originalSha256": "aa75293a9120f44e1ff39913273cd40e0edfb94b4dc8d46a33645e203dbdf238",
      "href": "/os-evidence/aa75293a9120f44e1ff39913273cd40e0edfb94b4dc8d46a33645e203dbdf238.txt",
      "sha256": "aa75293a9120f44e1ff39913273cd40e0edfb94b4dc8d46a33645e203dbdf238",
      "bytes": 5099,
      "redacted": false
    },
    {
      "name": "host-compile.log",
      "source": "reports/os-implementation/K1340-handles-peer-local-preflight-VrU4hC/host-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "host-tests.log",
      "source": "reports/os-implementation/K1340-handles-peer-local-preflight-VrU4hC/host-tests.log",
      "originalSha256": "9b91623df4b447c9839cb366d154ff7ccbe80f5444de55508e78a2b2ba6bdc96",
      "href": "/os-evidence/9b91623df4b447c9839cb366d154ff7ccbe80f5444de55508e78a2b2ba6bdc96.txt",
      "sha256": "9b91623df4b447c9839cb366d154ff7ccbe80f5444de55508e78a2b2ba6bdc96",
      "bytes": 261,
      "redacted": false
    },
    {
      "name": "aarch64-no-std-check.log",
      "source": "reports/os-implementation/K1340-handles-peer-local-preflight-VrU4hC/aarch64-no-std-check.log",
      "originalSha256": "ba26118a11cb469ab1b98c3180b944ecf63cd3d59f2af4ff1efd04a80269f816",
      "href": "/os-evidence/71d82a9edab7f82e0e1cda49b4a61b52adc3c484e47923032a3e8151ed673270.txt",
      "sha256": "71d82a9edab7f82e0e1cda49b4a61b52adc3c484e47923032a3e8151ed673270",
      "bytes": 20463,
      "redacted": true
    },
    {
      "name": "dead-peer-send-mutant-compile.log",
      "source": "reports/os-implementation/K1340-handles-peer-local-preflight-VrU4hC/dead-peer-send-mutant-compile.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "dead-peer-send-mutant.log",
      "source": "reports/os-implementation/K1340-handles-peer-local-preflight-VrU4hC/dead-peer-send-mutant.log",
      "originalSha256": "8ed25ba5fd612674d4be283c23d3c1ddcb6ced0efc38d24f6ec9544b07b7754f",
      "href": "/os-evidence/1c26280e4ceb7b910cff53e235441b0b0149c23c0e1b2b074c81945afdc12a21.txt",
      "sha256": "1c26280e4ceb7b910cff53e235441b0b0149c23c0e1b2b074c81945afdc12a21",
      "bytes": 557,
      "redacted": true
    }
  ],
  "moves": [
    "K1336",
    "K1337",
    "K1338",
    "K1339"
  ]
}