{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1200-retirement-el0-matrix-AfoaBd/report.json",
    "sha256": "cf35f0fea7f320b6f14f2006e3582055d45b5d92c50842aec6e3bfe73ed42de3",
    "bytes": 8159
  },
  "status": "K1200_RETIREMENT_EL0_MATRIX_VALIDATED",
  "scope": "One byte-identical experimental development Image: one real EL0 child faults, INIT and the other child remain runnable, an early free of the running child's pinned page returns Pinned without changing inventory, and all resources return to baseline after typed reaping. Six one-bank QEMU profiles pass. These process bags own no DMA attachment; published release, process DMA lifecycle and external hardware remain open.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 6,
  "caseSerialsSelected": 6,
  "imageSha256": "5ae962f47590f4cd0846cc4702f5a9bb0048d8296b98361d4693d1718ad442f4",
  "files": [
    {
      "name": "process_guest.rs",
      "source": "reports/os-implementation/K1200-retirement-el0-candidate-8BjXOH/sources/kernel/src/runtime/process_guest.rs",
      "originalSha256": "f27bfcb820c05850066620ecc667eb6de6ebfd3b6d4cb5942d0d40455e970dfa",
      "href": "/os-evidence/f27bfcb820c05850066620ecc667eb6de6ebfd3b6d4cb5942d0d40455e970dfa.txt",
      "sha256": "f27bfcb820c05850066620ecc667eb6de6ebfd3b6d4cb5942d0d40455e970dfa",
      "bytes": 75150,
      "redacted": false
    },
    {
      "name": "process_table.rs",
      "source": "reports/os-implementation/K1200-retirement-el0-candidate-8BjXOH/sources/kernel/src/runtime/process_table.rs",
      "originalSha256": "b4e946957d0d4b9e34f02476513ff173290d0792f6fcded28a1d5e94bd46a5f9",
      "href": "/os-evidence/b4e946957d0d4b9e34f02476513ff173290d0792f6fcded28a1d5e94bd46a5f9.txt",
      "sha256": "b4e946957d0d4b9e34f02476513ff173290d0792f6fcded28a1d5e94bd46a5f9",
      "bytes": 42372,
      "redacted": false
    },
    {
      "name": "kernel-product.log",
      "source": "reports/os-implementation/K1200-retirement-el0-candidate-8BjXOH/kernel-product.log",
      "originalSha256": "ad26486d9a4099e3f855453075706e07e889009d2c1a4fdfdaba624917608001",
      "href": "/os-evidence/ce83b6dd3cb18053d147df7c1b80966a748646be030fb769d1d8372127ff38e2.txt",
      "sha256": "ce83b6dd3cb18053d147df7c1b80966a748646be030fb769d1d8372127ff38e2",
      "bytes": 21110,
      "redacted": true
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-54pLRW/product-one-bank-direct-256-mode-30/serial.log",
      "originalSha256": "e3bfcc268495fb86c80e40e99cfbd83c946bdfb232c67776c0ed672f8c83b91b",
      "href": "/os-evidence/e3bfcc268495fb86c80e40e99cfbd83c946bdfb232c67776c0ed672f8c83b91b.txt",
      "sha256": "e3bfcc268495fb86c80e40e99cfbd83c946bdfb232c67776c0ed672f8c83b91b",
      "bytes": 51976,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-54pLRW/product-one-bank-direct-512-mode-30/serial.log",
      "originalSha256": "f771b2b42d51b445e0dac2ad983402765dcd1d0cb6205aa09c7049785c30dd1f",
      "href": "/os-evidence/f771b2b42d51b445e0dac2ad983402765dcd1d0cb6205aa09c7049785c30dd1f.txt",
      "sha256": "f771b2b42d51b445e0dac2ad983402765dcd1d0cb6205aa09c7049785c30dd1f",
      "bytes": 51976,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-54pLRW/product-one-bank-direct-1024-mode-30/serial.log",
      "originalSha256": "18fa531f5495a9a5dead1e263ce5982cd814e84aade2e775332e157594dac694",
      "href": "/os-evidence/18fa531f5495a9a5dead1e263ce5982cd814e84aade2e775332e157594dac694.txt",
      "sha256": "18fa531f5495a9a5dead1e263ce5982cd814e84aade2e775332e157594dac694",
      "bytes": 51976,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-54pLRW/product-one-bank-uefi-256-mode-30/serial.log",
      "originalSha256": "aeba1c674fc0dd24bb7d92b22512fd3dd2039bc0b8f8abbaae112a650c7111aa",
      "href": "/os-evidence/aeba1c674fc0dd24bb7d92b22512fd3dd2039bc0b8f8abbaae112a650c7111aa.txt",
      "sha256": "aeba1c674fc0dd24bb7d92b22512fd3dd2039bc0b8f8abbaae112a650c7111aa",
      "bytes": 58216,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-54pLRW/product-one-bank-uefi-512-mode-30/serial.log",
      "originalSha256": "fec940c25eb539e0ccd84e249c76e874c0d90803ac6bf581f8c1ba3a106fcb2f",
      "href": "/os-evidence/fec940c25eb539e0ccd84e249c76e874c0d90803ac6bf581f8c1ba3a106fcb2f.txt",
      "sha256": "fec940c25eb539e0ccd84e249c76e874c0d90803ac6bf581f8c1ba3a106fcb2f",
      "bytes": 58216,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K1100-policy-product-physical-matrix-spike-diagnostic-54pLRW/product-one-bank-uefi-1024-mode-30/serial.log",
      "originalSha256": "1c3a99f255e6152a1b84aa07ec157482d99764352f243c3c8cc443ca9d0eeb7b",
      "href": "/os-evidence/1c3a99f255e6152a1b84aa07ec157482d99764352f243c3c8cc443ca9d0eeb7b.txt",
      "sha256": "1c3a99f255e6152a1b84aa07ec157482d99764352f243c3c8cc443ca9d0eeb7b",
      "bytes": 58216,
      "redacted": false
    }
  ],
  "moves": [
    "K1200"
  ]
}