{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K620-R84u2w/report.json",
    "sha256": "67c15883c09f6b09caa5bd14a656cc0b2918c400d41a156c47a3b7883dd25f4c",
    "bytes": 75737
  },
  "status": "DEVELOPMENT_GUEST_ACCEPTED",
  "scope": "Normal default development Image; trusted QEMU/UEFI identity-mapped RAM. The parser reads a validated loader map once during bootstrap; subsequent planning uses the kernel BSS copy. A test-only source-byte mutation proves copy stability. The service gate models post-exit rejection; no actual EFI service pointer is invoked after ExitBootServices. Not published product acceptance.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 10,
  "caseSerialsSelected": 10,
  "imageSha256": "e5bab1b86128020dc02b7050e838cd692db062d0059c8d83654c551114443ee5",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K620-R84u2w/positive-direct-256/serial.log",
      "originalSha256": "5283ae8b770260824771824891db2a289de95c0eb478ff15bcc99fec6faf134a",
      "href": "/os-evidence/5283ae8b770260824771824891db2a289de95c0eb478ff15bcc99fec6faf134a.txt",
      "sha256": "5283ae8b770260824771824891db2a289de95c0eb478ff15bcc99fec6faf134a",
      "bytes": 2553,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K620-R84u2w/positive-direct-512/serial.log",
      "originalSha256": "207c690695f1ed8894a401a5fb5e8b7dc215aa170ed4a6054ee0caac8bdac4e6",
      "href": "/os-evidence/207c690695f1ed8894a401a5fb5e8b7dc215aa170ed4a6054ee0caac8bdac4e6.txt",
      "sha256": "207c690695f1ed8894a401a5fb5e8b7dc215aa170ed4a6054ee0caac8bdac4e6",
      "bytes": 2553,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K620-R84u2w/positive-direct-1024/serial.log",
      "originalSha256": "7ae7dbe7def80fd6ea1bef521a8cd694d57e61fe6f0873a52d0807930b39f368",
      "href": "/os-evidence/7ae7dbe7def80fd6ea1bef521a8cd694d57e61fe6f0873a52d0807930b39f368.txt",
      "sha256": "7ae7dbe7def80fd6ea1bef521a8cd694d57e61fe6f0873a52d0807930b39f368",
      "bytes": 2553,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K620-R84u2w/positive-uefi-256/serial.log",
      "originalSha256": "5fa64b534f34adcd9e1daf84adb6b2bf1176c90fa2894d87746b1b91e80f90a7",
      "href": "/os-evidence/5fa64b534f34adcd9e1daf84adb6b2bf1176c90fa2894d87746b1b91e80f90a7.txt",
      "sha256": "5fa64b534f34adcd9e1daf84adb6b2bf1176c90fa2894d87746b1b91e80f90a7",
      "bytes": 8795,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K620-R84u2w/positive-uefi-512/serial.log",
      "originalSha256": "93dc49523941371ec9337e2beb0dca18bf5543eddfb0928b7dae67d38c01cca4",
      "href": "/os-evidence/93dc49523941371ec9337e2beb0dca18bf5543eddfb0928b7dae67d38c01cca4.txt",
      "sha256": "93dc49523941371ec9337e2beb0dca18bf5543eddfb0928b7dae67d38c01cca4",
      "bytes": 8795,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K620-R84u2w/positive-uefi-1024/serial.log",
      "originalSha256": "d93e93b3094c803c0b1b43b16b247fa0c57610d9ad951860176235e85571b915",
      "href": "/os-evidence/d93e93b3094c803c0b1b43b16b247fa0c57610d9ad951860176235e85571b915.txt",
      "sha256": "d93e93b3094c803c0b1b43b16b247fa0c57610d9ad951860176235e85571b915",
      "bytes": 8795,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K620-R84u2w/negative-bad-map-length-256/serial.log",
      "originalSha256": "eb68a9c5e286fb70cf5a4171e2c32b02c1772197ee0583eac6f740038008dbf1",
      "href": "/os-evidence/eb68a9c5e286fb70cf5a4171e2c32b02c1772197ee0583eac6f740038008dbf1.txt",
      "sha256": "eb68a9c5e286fb70cf5a4171e2c32b02c1772197ee0583eac6f740038008dbf1",
      "bytes": 2554,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K620-R84u2w/negative-bad-map-length-512/serial.log",
      "originalSha256": "b0a395f7a1f6c413501d11a96d395d7190202c8a4de593a4cdf57f915d0854d5",
      "href": "/os-evidence/b0a395f7a1f6c413501d11a96d395d7190202c8a4de593a4cdf57f915d0854d5.txt",
      "sha256": "b0a395f7a1f6c413501d11a96d395d7190202c8a4de593a4cdf57f915d0854d5",
      "bytes": 2554,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K620-R84u2w/negative-bad-map-length-1024/serial.log",
      "originalSha256": "aa003acd88f9386c44818a6d772a66de662aebffeda50507caa1d4e2fb6922dc",
      "href": "/os-evidence/aa003acd88f9386c44818a6d772a66de662aebffeda50507caa1d4e2fb6922dc.txt",
      "sha256": "aa003acd88f9386c44818a6d772a66de662aebffeda50507caa1d4e2fb6922dc",
      "bytes": 2554,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K620-R84u2w/blind-control-direct-512/serial.log",
      "originalSha256": "8858947e1eb4fafa1b53cb6b69b3f884f411979a9e8b5deafda088d501e4f687",
      "href": "/os-evidence/8858947e1eb4fafa1b53cb6b69b3f884f411979a9e8b5deafda088d501e4f687.txt",
      "sha256": "8858947e1eb4fafa1b53cb6b69b3f884f411979a9e8b5deafda088d501e4f687",
      "bytes": 2482,
      "redacted": false
    }
  ],
  "moves": [
    "K620"
  ]
}