{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1290-cat-el0-matrix-check-s9WssX/report.json",
    "sha256": "462cc6fa0fdd018212f8cee0f430779a218b68e36d2f8a01d5e1cc0668bc86f5",
    "bytes": 7750
  },
  "status": "K1290_CAT_EL0_DEVELOPMENT_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image exercised real Rust EL0 cat on a read-only TurkFS disk in direct and UEFI QEMU at 256, 512, and 1024 MiB with one CPU. Raw serial bytes exactly match the 1- and 513-byte logical files; 0-byte EOF, missing path, stale handle, DMA release, process owner cleanup, QMP and source/fixture/Image hashes are bound. Canonical product release acceptance remains open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "c09d3d1f4522875d1116237fdac064ad124b64fcb7b8f178a0847b8536cb56cc",
  "files": [
    {
      "name": "k1215-alloc-guest.rs",
      "source": "reports/os-implementation/K1290-cat-el0-candidate-UFVHNr/sources/kernel/src/k1215-alloc-guest.rs",
      "originalSha256": "1f505a4baa451a4ddf91973cafec2c6ab6b663a7baedda2ec6f8293d14983410",
      "href": "/os-evidence/1f505a4baa451a4ddf91973cafec2c6ab6b663a7baedda2ec6f8293d14983410.txt",
      "sha256": "1f505a4baa451a4ddf91973cafec2c6ab6b663a7baedda2ec6f8293d14983410",
      "bytes": 59987,
      "redacted": false
    },
    {
      "name": "k1290-cat-disk.rs",
      "source": "reports/os-implementation/K1290-cat-el0-candidate-UFVHNr/sources/kernel/src/k1290-cat-disk.rs",
      "originalSha256": "44cc555335c2c09bf24616adf2f5f68f523d94a7297649ac514ae554218c479a",
      "href": "/os-evidence/44cc555335c2c09bf24616adf2f5f68f523d94a7297649ac514ae554218c479a.txt",
      "sha256": "44cc555335c2c09bf24616adf2f5f68f523d94a7297649ac514ae554218c479a",
      "bytes": 6012,
      "redacted": false
    },
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1290-cat-el0-candidate-UFVHNr/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/K1290-cat-el0-candidate-UFVHNr/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/K1290-cat-el0-candidate-UFVHNr/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/K1290-cat-el0-candidate-UFVHNr/kernel-product.log",
      "originalSha256": "c061aba4b06a5539d1a9de8485787ae115363b0bbf33c3f2c9ad89bd6acc7aac",
      "href": "/os-evidence/2713aa2e1ad4be369a04f7175437af8239e783fab531ea7813d918d93ed57be3.txt",
      "sha256": "2713aa2e1ad4be369a04f7175437af8239e783fab531ea7813d918d93ed57be3",
      "bytes": 1643,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1290-cat-el0-matrix-3Ae4MT/product-one-bank-direct-256-mode-49/serial.log",
      "originalSha256": "705fc35722796028132d949786ab279ee8063c07bedaa98d1f2a650fb994fcee",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1290-cat-el0-matrix-3Ae4MT/product-one-bank-direct-512-mode-49/serial.log",
      "originalSha256": "771989a8c3c22055e91ceafb974cb71fc6525ce01f2f6d775e072fede7f8109e",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1290-cat-el0-matrix-3Ae4MT/product-one-bank-direct-1024-mode-49/serial.log",
      "originalSha256": "e80bffcba3d75f56938246e62c92a59673e63964e3f0cbb627178c03e8380804",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1290-cat-el0-matrix-3Ae4MT/product-one-bank-uefi-256-mode-49/serial.log",
      "originalSha256": "b5c49732db85a360f7102d176e588e733575d784f96219a8b9e84b85a741c549",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1290-cat-el0-matrix-3Ae4MT/product-one-bank-uefi-512-mode-49/serial.log",
      "originalSha256": "cf42e80190bbb1cd0607c4c33e05890e5d670fbb00d6e16c0bcfef88426f3a6f",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1290-cat-el0-matrix-3Ae4MT/product-one-bank-uefi-1024-mode-49/serial.log",
      "originalSha256": "cfe70dd25446bd17db9bf5f515c2d5c3bd807144640b5cbb6cf8275377e38a3b",
      "href": null,
      "unavailable": "Kayıttaki hash ile eşleşen, izin verilen boyutta bir metin dosyası bulunamadı."
    }
  ],
  "moves": [
    "K1290"
  ]
}