{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1345-waitset-el0-matrix-check-pRqrmK/report.json",
    "sha256": "9d4f5bd8195246260f9a407a503c1bae5575c7b3c738464e7cd19d1a02d21426",
    "bytes": 8111
  },
  "status": "K1345_WAITSET_EL0_DEVELOPMENT_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image exercised typed waitset object registration under a real child EL0 process identity in six direct/UEFI QEMU profiles at 256, 512 and 1024 MiB with one CPU. The child registered Channel and Task names with distinct interest masks, received EEXIST on duplicate and EACCES for a foreign owner without mutation, queried typed records, rejected a stale ID with EBADF and reused its slot at generation two before releasing all registrations. This gate checks registration only; readiness, blocking waits and product acceptance remain open. Source/Image/fixture, serial, QMP and prior policy archive evidence are bound.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "e5621b6dc0e799fb486c86a73d38d5f02ec08d72968499f3d70bd7d98dd913a0",
  "files": [
    {
      "name": "waitset_register.rs",
      "source": "kernel/tests/os/waitset_register.rs",
      "originalSha256": "243f590cf9e0aeec6147bae3d1831070b0171c5d719974dd803d5c4ebcf14ba7",
      "href": "/os-evidence/243f590cf9e0aeec6147bae3d1831070b0171c5d719974dd803d5c4ebcf14ba7.txt",
      "sha256": "243f590cf9e0aeec6147bae3d1831070b0171c5d719974dd803d5c4ebcf14ba7",
      "bytes": 2727,
      "redacted": false
    },
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1345-waitset-el0-candidate-pkjPAM/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "aea4214b624addcbeef55b096024a210dd529d869354d0874592988a186c3d36",
      "href": "/os-evidence/aea4214b624addcbeef55b096024a210dd529d869354d0874592988a186c3d36.txt",
      "sha256": "aea4214b624addcbeef55b096024a210dd529d869354d0874592988a186c3d36",
      "bytes": 66133,
      "redacted": false
    },
    {
      "name": "k1290-cat-disk.rs",
      "source": "reports/os-implementation/K1345-waitset-el0-candidate-pkjPAM/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/K1345-waitset-el0-candidate-pkjPAM/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/K1345-waitset-el0-candidate-pkjPAM/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/K1345-waitset-el0-candidate-pkjPAM/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/K1345-waitset-el0-candidate-pkjPAM/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/K1345-waitset-el0-candidate-pkjPAM/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/K1345-waitset-el0-candidate-pkjPAM/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/K1345-waitset-el0-candidate-pkjPAM/sources/kernel/src/k1320-lifetime-dispatch.rs",
      "originalSha256": "8e2b62eba4752eecb63907af3df53f43d33d4e2d1f61f6dd7bd5bff4c85f09fb",
      "href": "/os-evidence/8e2b62eba4752eecb63907af3df53f43d33d4e2d1f61f6dd7bd5bff4c85f09fb.txt",
      "sha256": "8e2b62eba4752eecb63907af3df53f43d33d4e2d1f61f6dd7bd5bff4c85f09fb",
      "bytes": 11017,
      "redacted": false
    },
    {
      "name": "k1325-queue-dispatch.rs",
      "source": "reports/os-implementation/K1345-waitset-el0-candidate-pkjPAM/sources/kernel/src/k1325-queue-dispatch.rs",
      "originalSha256": "ff139d2d548a848bf9e5debcf268b574017a5a5ffb83abe80e2afa67949b5f4a",
      "href": "/os-evidence/ff139d2d548a848bf9e5debcf268b574017a5a5ffb83abe80e2afa67949b5f4a.txt",
      "sha256": "ff139d2d548a848bf9e5debcf268b574017a5a5ffb83abe80e2afa67949b5f4a",
      "bytes": 11583,
      "redacted": false
    },
    {
      "name": "k1330-owned-dispatch.rs",
      "source": "reports/os-implementation/K1345-waitset-el0-candidate-pkjPAM/sources/kernel/src/k1330-owned-dispatch.rs",
      "originalSha256": "d9b469fb8bb86a86d345ac94bed6265b1e946dcebfee1169845e4612d9d5369d",
      "href": "/os-evidence/d9b469fb8bb86a86d345ac94bed6265b1e946dcebfee1169845e4612d9d5369d.txt",
      "sha256": "d9b469fb8bb86a86d345ac94bed6265b1e946dcebfee1169845e4612d9d5369d",
      "bytes": 9799,
      "redacted": false
    },
    {
      "name": "k1335-transfer-dispatch.rs",
      "source": "reports/os-implementation/K1345-waitset-el0-candidate-pkjPAM/sources/kernel/src/k1335-transfer-dispatch.rs",
      "originalSha256": "800bb2c06621208ba95d0ebf036193aaaf0cb9afe0a1fabef6aa4f8028f27a45",
      "href": "/os-evidence/800bb2c06621208ba95d0ebf036193aaaf0cb9afe0a1fabef6aa4f8028f27a45.txt",
      "sha256": "800bb2c06621208ba95d0ebf036193aaaf0cb9afe0a1fabef6aa4f8028f27a45",
      "bytes": 9718,
      "redacted": false
    },
    {
      "name": "k1340-peer-dispatch.rs",
      "source": "reports/os-implementation/K1345-waitset-el0-candidate-pkjPAM/sources/kernel/src/k1340-peer-dispatch.rs",
      "originalSha256": "df175f44c5b7172f0981a8e370ee3a8c1bedbc042dd5f69086494695aa94c2b4",
      "href": "/os-evidence/df175f44c5b7172f0981a8e370ee3a8c1bedbc042dd5f69086494695aa94c2b4.txt",
      "sha256": "df175f44c5b7172f0981a8e370ee3a8c1bedbc042dd5f69086494695aa94c2b4",
      "bytes": 9158,
      "redacted": false
    },
    {
      "name": "k1345-waitset-model.rs",
      "source": "reports/os-implementation/K1345-waitset-el0-candidate-pkjPAM/sources/kernel/src/k1345-waitset-model.rs",
      "originalSha256": "3b880022f0bf31a180bcec29ddd8062b5b88ae4b130b02f0564e4ae98d753586",
      "href": "/os-evidence/3b880022f0bf31a180bcec29ddd8062b5b88ae4b130b02f0564e4ae98d753586.txt",
      "sha256": "3b880022f0bf31a180bcec29ddd8062b5b88ae4b130b02f0564e4ae98d753586",
      "bytes": 4270,
      "redacted": false
    },
    {
      "name": "k1345-waitset-dispatch.rs",
      "source": "reports/os-implementation/K1345-waitset-el0-candidate-pkjPAM/sources/kernel/src/k1345-waitset-dispatch.rs",
      "originalSha256": "7da772a18b27a6912f9234b82c11830f36993e8903d79ae883c9f3458c02cf5a",
      "href": "/os-evidence/7da772a18b27a6912f9234b82c11830f36993e8903d79ae883c9f3458c02cf5a.txt",
      "sha256": "7da772a18b27a6912f9234b82c11830f36993e8903d79ae883c9f3458c02cf5a",
      "bytes": 9826,
      "redacted": false
    },
    {
      "name": "handles.rs",
      "source": "reports/os-implementation/K1345-waitset-el0-candidate-pkjPAM/sources/kernel/src/runtime/handles.rs",
      "originalSha256": "dbc1442748e5ba0a935e8adee14e0b104c6258daf4ed45ef3231fa888925680c",
      "href": "/os-evidence/dbc1442748e5ba0a935e8adee14e0b104c6258daf4ed45ef3231fa888925680c.txt",
      "sha256": "dbc1442748e5ba0a935e8adee14e0b104c6258daf4ed45ef3231fa888925680c",
      "bytes": 36105,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1345-waitset-el0-candidate-pkjPAM/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/K1345-waitset-el0-candidate-pkjPAM/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/K1345-waitset-el0-candidate-pkjPAM/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "a4cd65db72950dcbaa085d0c58283bc6ca3dadcea798392e78b8e6815a7ed0dd",
      "href": "/os-evidence/a4cd65db72950dcbaa085d0c58283bc6ca3dadcea798392e78b8e6815a7ed0dd.txt",
      "sha256": "a4cd65db72950dcbaa085d0c58283bc6ca3dadcea798392e78b8e6815a7ed0dd",
      "bytes": 21513,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1345-waitset-el0-candidate-pkjPAM/kernel-product.log",
      "originalSha256": "b981bd2ad4aa9d01f493fd788e10a08ee91e4120f75f9d683bb3de24a327b8b3",
      "href": "/os-evidence/06aa74038c8b71b72c0fcf8e0aa4abaa110b4ca4c948c52c0c909658aae43d2b.txt",
      "sha256": "06aa74038c8b71b72c0fcf8e0aa4abaa110b4ca4c948c52c0c909658aae43d2b",
      "bytes": 1683,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1345-waitset-el0-matrix-34s6Pe/product-one-bank-direct-256-mode-60/serial.log",
      "originalSha256": "a0defd8eaf57578ba6571ef779b9fcd6d20f87b84e415d1bfc2265f34a36cd1f",
      "href": "/os-evidence/a0defd8eaf57578ba6571ef779b9fcd6d20f87b84e415d1bfc2265f34a36cd1f.txt",
      "sha256": "a0defd8eaf57578ba6571ef779b9fcd6d20f87b84e415d1bfc2265f34a36cd1f",
      "bytes": 45985,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1345-waitset-el0-matrix-34s6Pe/product-one-bank-direct-512-mode-60/serial.log",
      "originalSha256": "4d51e114ecbd89a65745f4e12d5bc213eac454c3280b23a3fb86876bf48f1b7a",
      "href": "/os-evidence/4d51e114ecbd89a65745f4e12d5bc213eac454c3280b23a3fb86876bf48f1b7a.txt",
      "sha256": "4d51e114ecbd89a65745f4e12d5bc213eac454c3280b23a3fb86876bf48f1b7a",
      "bytes": 45985,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1345-waitset-el0-matrix-34s6Pe/product-one-bank-direct-1024-mode-60/serial.log",
      "originalSha256": "2116f85a4c5f6a2e27f9dce470f774e0549403302418d49130a8fdf8231eb3e0",
      "href": "/os-evidence/2116f85a4c5f6a2e27f9dce470f774e0549403302418d49130a8fdf8231eb3e0.txt",
      "sha256": "2116f85a4c5f6a2e27f9dce470f774e0549403302418d49130a8fdf8231eb3e0",
      "bytes": 45985,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1345-waitset-el0-matrix-34s6Pe/product-one-bank-uefi-256-mode-60/serial.log",
      "originalSha256": "eeca668199fb418c0912834263b77d49c8e2b9f9268324ae7fb4ee4c1025a45d",
      "href": "/os-evidence/eeca668199fb418c0912834263b77d49c8e2b9f9268324ae7fb4ee4c1025a45d.txt",
      "sha256": "eeca668199fb418c0912834263b77d49c8e2b9f9268324ae7fb4ee4c1025a45d",
      "bytes": 52225,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1345-waitset-el0-matrix-34s6Pe/product-one-bank-uefi-512-mode-60/serial.log",
      "originalSha256": "0ac1da00b88961159f0ec8352a68c1c05b1057858bb025730fd8823272da6c26",
      "href": "/os-evidence/0ac1da00b88961159f0ec8352a68c1c05b1057858bb025730fd8823272da6c26.txt",
      "sha256": "0ac1da00b88961159f0ec8352a68c1c05b1057858bb025730fd8823272da6c26",
      "bytes": 52225,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1345-waitset-el0-matrix-34s6Pe/product-one-bank-uefi-1024-mode-60/serial.log",
      "originalSha256": "578c649777aa76c32266136f6df8c8e7dcb749db24539cbf95572dd586586147",
      "href": "/os-evidence/578c649777aa76c32266136f6df8c8e7dcb749db24539cbf95572dd586586147.txt",
      "sha256": "578c649777aa76c32266136f6df8c8e7dcb749db24539cbf95572dd586586147",
      "bytes": 52225,
      "redacted": false
    }
  ],
  "moves": [
    "K1345"
  ]
}