{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1310-generation-el0-matrix-check-WOQ4AK/report.json",
    "sha256": "084016bf51c441ab87009b9e41bcfd1959b5b7d9e822b2559e97d34cb6024bc9",
    "bytes": 8099
  },
  "status": "K1310_GENERATION_EL0_DEVELOPMENT_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image exercised native Rust EL0 generation-tagged handle calls in six direct/UEFI QEMU profiles at 256, 512 and 1024 MiB with one CPU. The actual child process reused the same slot for generations 1 through 3, observed three stale EBADF denials without inventory mutation, rejected a kernel-seeded u32 generation overflow without publication, and progressed through a healthy fourth generation. 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": "2b7d29a46044b1d88040fe864689782af35666fa6d8b93454d5e2ffa3062eb1d",
  "files": [
    {
      "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": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1310-generation-el0-candidate-U718ub/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "f44f055c467d40f70fc848e9ad3c72f2d30927696b5a9577cd76121d69c9fb49",
      "href": "/os-evidence/f44f055c467d40f70fc848e9ad3c72f2d30927696b5a9577cd76121d69c9fb49.txt",
      "sha256": "f44f055c467d40f70fc848e9ad3c72f2d30927696b5a9577cd76121d69c9fb49",
      "bytes": 63729,
      "redacted": false
    },
    {
      "name": "k1290-cat-disk.rs",
      "source": "reports/os-implementation/K1310-generation-el0-candidate-U718ub/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/K1310-generation-el0-candidate-U718ub/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/K1310-generation-el0-candidate-U718ub/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/K1310-generation-el0-candidate-U718ub/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/K1310-generation-el0-candidate-U718ub/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/K1310-generation-el0-candidate-U718ub/sources/kernel/src/k1310-generation-dispatch.rs",
      "originalSha256": "a1449dc6776711a5c5a2f41df77462046594f30f2462f9638d807172896b38ef",
      "href": "/os-evidence/a1449dc6776711a5c5a2f41df77462046594f30f2462f9638d807172896b38ef.txt",
      "sha256": "a1449dc6776711a5c5a2f41df77462046594f30f2462f9638d807172896b38ef",
      "bytes": 7865,
      "redacted": false
    },
    {
      "name": "handles.rs",
      "source": "reports/os-implementation/K1310-generation-el0-candidate-U718ub/sources/kernel/src/runtime/handles.rs",
      "originalSha256": "75080ef5ef376c341f42aa4918c9316b93b01d59bdef3be799bf6cf24dcafca2",
      "href": "/os-evidence/75080ef5ef376c341f42aa4918c9316b93b01d59bdef3be799bf6cf24dcafca2.txt",
      "sha256": "75080ef5ef376c341f42aa4918c9316b93b01d59bdef3be799bf6cf24dcafca2",
      "bytes": 5116,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1310-generation-el0-candidate-U718ub/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/K1310-generation-el0-candidate-U718ub/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/K1310-generation-el0-candidate-U718ub/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/K1310-generation-el0-candidate-U718ub/kernel-product.log",
      "originalSha256": "5125eed7698dbaf54b5b591d92c677405a71f37ea92712480e8531964f14377a",
      "href": "/os-evidence/0cb4aea72fc2125971cc9645a23d3cb1306c043726a54d62e8f41eb24abae42f.txt",
      "sha256": "0cb4aea72fc2125971cc9645a23d3cb1306c043726a54d62e8f41eb24abae42f",
      "bytes": 1713,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1310-generation-el0-matrix-Si4laN/product-one-bank-direct-256-mode-53/serial.log",
      "originalSha256": "dde8e5624f7d66641d510eeb3bffb8a71de93feeb5b08e19c36655d67249c805",
      "href": "/os-evidence/dde8e5624f7d66641d510eeb3bffb8a71de93feeb5b08e19c36655d67249c805.txt",
      "sha256": "dde8e5624f7d66641d510eeb3bffb8a71de93feeb5b08e19c36655d67249c805",
      "bytes": 46568,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1310-generation-el0-matrix-Si4laN/product-one-bank-direct-512-mode-53/serial.log",
      "originalSha256": "0fa27a8169682cf752d9e6740680e2ed3701179b3989492200fe41d770cdb9fe",
      "href": "/os-evidence/0fa27a8169682cf752d9e6740680e2ed3701179b3989492200fe41d770cdb9fe.txt",
      "sha256": "0fa27a8169682cf752d9e6740680e2ed3701179b3989492200fe41d770cdb9fe",
      "bytes": 46568,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1310-generation-el0-matrix-Si4laN/product-one-bank-direct-1024-mode-53/serial.log",
      "originalSha256": "2c47a7c5063738ee71698eb2a3ef618a5eba8627b849574e639cf1b42664bfdd",
      "href": "/os-evidence/2c47a7c5063738ee71698eb2a3ef618a5eba8627b849574e639cf1b42664bfdd.txt",
      "sha256": "2c47a7c5063738ee71698eb2a3ef618a5eba8627b849574e639cf1b42664bfdd",
      "bytes": 46568,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1310-generation-el0-matrix-Si4laN/product-one-bank-uefi-256-mode-53/serial.log",
      "originalSha256": "06441e76085d2fc42cc8751bac400836d25e8470308ea9912f422cf841573a99",
      "href": "/os-evidence/06441e76085d2fc42cc8751bac400836d25e8470308ea9912f422cf841573a99.txt",
      "sha256": "06441e76085d2fc42cc8751bac400836d25e8470308ea9912f422cf841573a99",
      "bytes": 52808,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1310-generation-el0-matrix-Si4laN/product-one-bank-uefi-512-mode-53/serial.log",
      "originalSha256": "969feab880e5bd4f11dc407cb5743c49cb35c36db32f1126d8e94c581a347d9d",
      "href": "/os-evidence/969feab880e5bd4f11dc407cb5743c49cb35c36db32f1126d8e94c581a347d9d.txt",
      "sha256": "969feab880e5bd4f11dc407cb5743c49cb35c36db32f1126d8e94c581a347d9d",
      "bytes": 52808,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1310-generation-el0-matrix-Si4laN/product-one-bank-uefi-1024-mode-53/serial.log",
      "originalSha256": "afcf9d29b035a815c18d281a8b9a1ac015f6a165470ff690c2033fc89726f081",
      "href": "/os-evidence/afcf9d29b035a815c18d281a8b9a1ac015f6a165470ff690c2033fc89726f081.txt",
      "sha256": "afcf9d29b035a815c18d281a8b9a1ac015f6a165470ff690c2033fc89726f081",
      "bytes": 52808,
      "redacted": false
    }
  ],
  "moves": [
    "K1310"
  ]
}