{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1320-lifetime-el0-matrix-check-2Io3ll/report.json",
    "sha256": "37a168413021072a7331a957de63530db03d122c50d398cf1357b6e81589d07d",
    "bytes": 8104
  },
  "status": "K1320_LIFETIME_EL0_DEVELOPMENT_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image exercised two real EL0 process identities sharing a kernel-minted Channel name in six direct/UEFI QEMU profiles at 256, 512 and 1024 MiB with one CPU. A nonowning poll token returned Pending while references remained, Closed once after the last close, then EBADF on repeated polling; a new object remained healthy and both process owners were released. This gate checks a polled last-close result, not a scheduler blocking wake or channel transport. Source/Image/fixture, serial, QMP and prior policy archive evidence are bound. Canonical product release acceptance remains open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "8f46654297263f51bac7c8baa5996f7aa7f0e6f4ff46f81c6117309c221c2dee",
  "files": [
    {
      "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": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1320-lifetime-el0-candidate-jvoZKc/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "b5a5333258bd600c578c2cc8568fa486a644e4e41a389814f77b1144ef19b179",
      "href": "/os-evidence/b5a5333258bd600c578c2cc8568fa486a644e4e41a389814f77b1144ef19b179.txt",
      "sha256": "b5a5333258bd600c578c2cc8568fa486a644e4e41a389814f77b1144ef19b179",
      "bytes": 64303,
      "redacted": false
    },
    {
      "name": "k1290-cat-disk.rs",
      "source": "reports/os-implementation/K1320-lifetime-el0-candidate-jvoZKc/sources/kernel/src/k1290-cat-disk.rs",
      "originalSha256": "44cc555335c2c09bf24616adf2f5f68f523d94a7297649ac514ae554218c479a",
      "href": "/os-evidence/44cc555335c2c09bf24616adf2f5f68f523d94a7297649ac514ae554218c479a.txt",
      "sha256": "44cc555335c2c09bf24616adf2f5f68f523d94a7297649ac514ae554218c479a",
      "bytes": 6012,
      "redacted": false
    },
    {
      "name": "k1295-ls-disk.rs",
      "source": "reports/os-implementation/K1320-lifetime-el0-candidate-jvoZKc/sources/kernel/src/k1295-ls-disk.rs",
      "originalSha256": "4809156361fcb9f43a689323f7ac4f516f37da6b006a6ac822159aa0017568d5",
      "href": "/os-evidence/4809156361fcb9f43a689323f7ac4f516f37da6b006a6ac822159aa0017568d5.txt",
      "sha256": "4809156361fcb9f43a689323f7ac4f516f37da6b006a6ac822159aa0017568d5",
      "bytes": 5376,
      "redacted": false
    },
    {
      "name": "k1295-ls-dispatch.rs",
      "source": "reports/os-implementation/K1320-lifetime-el0-candidate-jvoZKc/sources/kernel/src/k1295-ls-dispatch.rs",
      "originalSha256": "67e001bc452fad829b7a68ba25d9935e8fcef9d08c695e027b954944a3194182",
      "href": "/os-evidence/67e001bc452fad829b7a68ba25d9935e8fcef9d08c695e027b954944a3194182.txt",
      "sha256": "67e001bc452fad829b7a68ba25d9935e8fcef9d08c695e027b954944a3194182",
      "bytes": 7342,
      "redacted": false
    },
    {
      "name": "k1300-process-dispatch.rs",
      "source": "reports/os-implementation/K1320-lifetime-el0-candidate-jvoZKc/sources/kernel/src/k1300-process-dispatch.rs",
      "originalSha256": "2c4ef7197ac37d0824ddce58d2fddf502f7bfaa781a51bec87d5491a3c32bc95",
      "href": "/os-evidence/2c4ef7197ac37d0824ddce58d2fddf502f7bfaa781a51bec87d5491a3c32bc95.txt",
      "sha256": "2c4ef7197ac37d0824ddce58d2fddf502f7bfaa781a51bec87d5491a3c32bc95",
      "bytes": 10390,
      "redacted": false
    },
    {
      "name": "k1305-handles-dispatch.rs",
      "source": "reports/os-implementation/K1320-lifetime-el0-candidate-jvoZKc/sources/kernel/src/k1305-handles-dispatch.rs",
      "originalSha256": "f8a9697e926c8fe8f81328c86bba806eda3f9721fef1ed4e173160692c91030f",
      "href": "/os-evidence/f8a9697e926c8fe8f81328c86bba806eda3f9721fef1ed4e173160692c91030f.txt",
      "sha256": "f8a9697e926c8fe8f81328c86bba806eda3f9721fef1ed4e173160692c91030f",
      "bytes": 7976,
      "redacted": false
    },
    {
      "name": "k1310-generation-dispatch.rs",
      "source": "reports/os-implementation/K1320-lifetime-el0-candidate-jvoZKc/sources/kernel/src/k1310-generation-dispatch.rs",
      "originalSha256": "a1449dc6776711a5c5a2f41df77462046594f30f2462f9638d807172896b38ef",
      "href": "/os-evidence/a1449dc6776711a5c5a2f41df77462046594f30f2462f9638d807172896b38ef.txt",
      "sha256": "a1449dc6776711a5c5a2f41df77462046594f30f2462f9638d807172896b38ef",
      "bytes": 7865,
      "redacted": false
    },
    {
      "name": "k1315-rights-dispatch.rs",
      "source": "reports/os-implementation/K1320-lifetime-el0-candidate-jvoZKc/sources/kernel/src/k1315-rights-dispatch.rs",
      "originalSha256": "b0d12f5e58b51d2d7dde43c7f63fdd7d9838101d87e2ea90dd82c7de41d75882",
      "href": "/os-evidence/b0d12f5e58b51d2d7dde43c7f63fdd7d9838101d87e2ea90dd82c7de41d75882.txt",
      "sha256": "b0d12f5e58b51d2d7dde43c7f63fdd7d9838101d87e2ea90dd82c7de41d75882",
      "bytes": 8427,
      "redacted": false
    },
    {
      "name": "k1320-lifetime-dispatch.rs",
      "source": "reports/os-implementation/K1320-lifetime-el0-candidate-jvoZKc/sources/kernel/src/k1320-lifetime-dispatch.rs",
      "originalSha256": "8e2b62eba4752eecb63907af3df53f43d33d4e2d1f61f6dd7bd5bff4c85f09fb",
      "href": "/os-evidence/8e2b62eba4752eecb63907af3df53f43d33d4e2d1f61f6dd7bd5bff4c85f09fb.txt",
      "sha256": "8e2b62eba4752eecb63907af3df53f43d33d4e2d1f61f6dd7bd5bff4c85f09fb",
      "bytes": 11017,
      "redacted": false
    },
    {
      "name": "handles.rs",
      "source": "reports/os-implementation/K1320-lifetime-el0-candidate-jvoZKc/sources/kernel/src/runtime/handles.rs",
      "originalSha256": "9f7294180856fa742978f5a1986147e545569ad38e73a78d338d387815244b8c",
      "href": "/os-evidence/9f7294180856fa742978f5a1986147e545569ad38e73a78d338d387815244b8c.txt",
      "sha256": "9f7294180856fa742978f5a1986147e545569ad38e73a78d338d387815244b8c",
      "bytes": 16569,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1320-lifetime-el0-candidate-jvoZKc/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "74a30b580f16aa0d8f562bfe3452afb213bae4aca8928f3890f794130877224b",
      "href": "/os-evidence/74a30b580f16aa0d8f562bfe3452afb213bae4aca8928f3890f794130877224b.txt",
      "sha256": "74a30b580f16aa0d8f562bfe3452afb213bae4aca8928f3890f794130877224b",
      "bytes": 83408,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1320-lifetime-el0-candidate-jvoZKc/sources/kernel/src/runtime/process_table.rs",
      "originalSha256": "9fcfe9f1c7313a235f23da0a20b52e0ee7d2739163e2151c9db3b8b68d8207c8",
      "href": "/os-evidence/9fcfe9f1c7313a235f23da0a20b52e0ee7d2739163e2151c9db3b8b68d8207c8.txt",
      "sha256": "9fcfe9f1c7313a235f23da0a20b52e0ee7d2739163e2151c9db3b8b68d8207c8",
      "bytes": 45271,
      "redacted": false
    },
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1320-lifetime-el0-candidate-jvoZKc/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "a3ef32a5363238927ba5ebcae03af8a6bf7ed9dd3bd38cebe5b6dc9375fef00c",
      "href": "/os-evidence/a3ef32a5363238927ba5ebcae03af8a6bf7ed9dd3bd38cebe5b6dc9375fef00c.txt",
      "sha256": "a3ef32a5363238927ba5ebcae03af8a6bf7ed9dd3bd38cebe5b6dc9375fef00c",
      "bytes": 21370,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1320-lifetime-el0-candidate-jvoZKc/kernel-product.log",
      "originalSha256": "6bf30d15592b434f787ae71785424ef4079310baf100328e3d422828a28f7759",
      "href": "/os-evidence/f20df7e5fc47319790a777916c4c459614e692aa210f0de889ebb5271e886224.txt",
      "sha256": "f20df7e5fc47319790a777916c4c459614e692aa210f0de889ebb5271e886224",
      "bytes": 1693,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1320-lifetime-el0-matrix-rSUpio/product-one-bank-direct-256-mode-55/serial.log",
      "originalSha256": "8597cf327dc191a2749ef486319bdba294d29e0d22fd590fad2dfcac392dfb55",
      "href": "/os-evidence/8597cf327dc191a2749ef486319bdba294d29e0d22fd590fad2dfcac392dfb55.txt",
      "sha256": "8597cf327dc191a2749ef486319bdba294d29e0d22fd590fad2dfcac392dfb55",
      "bytes": 45982,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1320-lifetime-el0-matrix-rSUpio/product-one-bank-direct-512-mode-55/serial.log",
      "originalSha256": "c3bf313ac0fec9e565872f38fbe70cb396e3463331646fbbf8c233780047b0ff",
      "href": "/os-evidence/c3bf313ac0fec9e565872f38fbe70cb396e3463331646fbbf8c233780047b0ff.txt",
      "sha256": "c3bf313ac0fec9e565872f38fbe70cb396e3463331646fbbf8c233780047b0ff",
      "bytes": 45982,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1320-lifetime-el0-matrix-rSUpio/product-one-bank-direct-1024-mode-55/serial.log",
      "originalSha256": "ad9cd669eeb21cb58462d4c218db35de90bc4303ad886d4df3d190ccca8de11d",
      "href": "/os-evidence/ad9cd669eeb21cb58462d4c218db35de90bc4303ad886d4df3d190ccca8de11d.txt",
      "sha256": "ad9cd669eeb21cb58462d4c218db35de90bc4303ad886d4df3d190ccca8de11d",
      "bytes": 45982,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1320-lifetime-el0-matrix-rSUpio/product-one-bank-uefi-256-mode-55/serial.log",
      "originalSha256": "4f4647f1e33b6a63749ee6019d809bec660592853e2c33fb46adee814eef03fc",
      "href": "/os-evidence/4f4647f1e33b6a63749ee6019d809bec660592853e2c33fb46adee814eef03fc.txt",
      "sha256": "4f4647f1e33b6a63749ee6019d809bec660592853e2c33fb46adee814eef03fc",
      "bytes": 52222,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1320-lifetime-el0-matrix-rSUpio/product-one-bank-uefi-512-mode-55/serial.log",
      "originalSha256": "99a50e5a56050b2cc81e208957e90939893aad06ec0d82527bcc11c7e4d69c3e",
      "href": "/os-evidence/99a50e5a56050b2cc81e208957e90939893aad06ec0d82527bcc11c7e4d69c3e.txt",
      "sha256": "99a50e5a56050b2cc81e208957e90939893aad06ec0d82527bcc11c7e4d69c3e",
      "bytes": 52222,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1320-lifetime-el0-matrix-rSUpio/product-one-bank-uefi-1024-mode-55/serial.log",
      "originalSha256": "4d943ab85c6ba2c87de3e62e0c7057b820314f5cd89a617767925206ad637e95",
      "href": "/os-evidence/4d943ab85c6ba2c87de3e62e0c7057b820314f5cd89a617767925206ad637e95.txt",
      "sha256": "4d943ab85c6ba2c87de3e62e0c7057b820314f5cd89a617767925206ad637e95",
      "bytes": 52222,
      "redacted": false
    }
  ],
  "moves": [
    "K1320"
  ]
}