{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K660-ihXmMS/report.json",
    "sha256": "f60a80ed65918bf6685800413ec054a8c531ca09b6414a688ca73f28d9636f94",
    "bytes": 194670
  },
  "status": "DEVELOPMENT_GUEST_ACCEPTED",
  "scope": "Product manifest means runtime profile only; inherited K625-K640 development assertions remain. One boot CPU, actual GIC timer IRQ and cooperative scheduler-selected frame work; synthetic DMA activity counterexample and real frame rollback, no live virtio DMA/preemption. This development copy is not a full release or an independent-host acceptance.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 13,
  "caseSerialsSelected": 13,
  "imageSha256": "0710bc304ca15460fcd57a338613fa1917fc26a2a215bb5a3996530f6b64b12f",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K660-ihXmMS/product-direct-256/serial.log",
      "originalSha256": "5497a353fc77cbc2c3e306fc7b9d58a33702abb2b058da2b180cff24d8790268",
      "href": "/os-evidence/5497a353fc77cbc2c3e306fc7b9d58a33702abb2b058da2b180cff24d8790268.txt",
      "sha256": "5497a353fc77cbc2c3e306fc7b9d58a33702abb2b058da2b180cff24d8790268",
      "bytes": 4542,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K660-ihXmMS/product-direct-512/serial.log",
      "originalSha256": "adb6c1c898e8ea6576dded8b590833576534fca3d2d7c170af7dc272febdf5f6",
      "href": "/os-evidence/adb6c1c898e8ea6576dded8b590833576534fca3d2d7c170af7dc272febdf5f6.txt",
      "sha256": "adb6c1c898e8ea6576dded8b590833576534fca3d2d7c170af7dc272febdf5f6",
      "bytes": 4542,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K660-ihXmMS/product-direct-1024/serial.log",
      "originalSha256": "64b03d4de7be8a7e9652a7ee36e01624ebe3d7d0b4b583807a146b3d961d1bca",
      "href": "/os-evidence/64b03d4de7be8a7e9652a7ee36e01624ebe3d7d0b4b583807a146b3d961d1bca.txt",
      "sha256": "64b03d4de7be8a7e9652a7ee36e01624ebe3d7d0b4b583807a146b3d961d1bca",
      "bytes": 4542,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K660-ihXmMS/product-uefi-256/serial.log",
      "originalSha256": "51f392cd54e7a79937dbac3b68369bd36d296a9eb82b7fcd5b9008266739e1ba",
      "href": "/os-evidence/51f392cd54e7a79937dbac3b68369bd36d296a9eb82b7fcd5b9008266739e1ba.txt",
      "sha256": "51f392cd54e7a79937dbac3b68369bd36d296a9eb82b7fcd5b9008266739e1ba",
      "bytes": 10782,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K660-ihXmMS/product-uefi-512/serial.log",
      "originalSha256": "6a2b363349be6ccd14b6723afb63e5b8622b568004f281cb990136bd075eeacf",
      "href": "/os-evidence/6a2b363349be6ccd14b6723afb63e5b8622b568004f281cb990136bd075eeacf.txt",
      "sha256": "6a2b363349be6ccd14b6723afb63e5b8622b568004f281cb990136bd075eeacf",
      "bytes": 10782,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K660-ihXmMS/product-uefi-1024/serial.log",
      "originalSha256": "4637f7da041453f18306060add7378a602cda7e24bfc97fb82130c4e2872d285",
      "href": "/os-evidence/4637f7da041453f18306060add7378a602cda7e24bfc97fb82130c4e2872d285.txt",
      "sha256": "4637f7da041453f18306060add7378a602cda7e24bfc97fb82130c4e2872d285",
      "bytes": 10782,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K660-ihXmMS/acceptance-direct-256/serial.log",
      "originalSha256": "ec775839c16d40799ad78398371d3968b769d9e85821a526a66232085f58d037",
      "href": "/os-evidence/ec775839c16d40799ad78398371d3968b769d9e85821a526a66232085f58d037.txt",
      "sha256": "ec775839c16d40799ad78398371d3968b769d9e85821a526a66232085f58d037",
      "bytes": 4900,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K660-ihXmMS/acceptance-direct-512/serial.log",
      "originalSha256": "742bbb9713c3cad7482182e6f6d6b594881cdc656ee2a3fd68d026a91f399805",
      "href": "/os-evidence/742bbb9713c3cad7482182e6f6d6b594881cdc656ee2a3fd68d026a91f399805.txt",
      "sha256": "742bbb9713c3cad7482182e6f6d6b594881cdc656ee2a3fd68d026a91f399805",
      "bytes": 4900,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K660-ihXmMS/acceptance-direct-1024/serial.log",
      "originalSha256": "aa5fe3111bf79265e2d9547dc9e9f79b3526cb2c7184cbfc8b49e2891075b42a",
      "href": "/os-evidence/aa5fe3111bf79265e2d9547dc9e9f79b3526cb2c7184cbfc8b49e2891075b42a.txt",
      "sha256": "aa5fe3111bf79265e2d9547dc9e9f79b3526cb2c7184cbfc8b49e2891075b42a",
      "bytes": 4900,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K660-ihXmMS/acceptance-uefi-256/serial.log",
      "originalSha256": "0ffaa6d38486f53cd30ea788ad53eebfc7cf6d3d408532fd5747b91126ee6a5b",
      "href": "/os-evidence/0ffaa6d38486f53cd30ea788ad53eebfc7cf6d3d408532fd5747b91126ee6a5b.txt",
      "sha256": "0ffaa6d38486f53cd30ea788ad53eebfc7cf6d3d408532fd5747b91126ee6a5b",
      "bytes": 11140,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K660-ihXmMS/acceptance-uefi-512/serial.log",
      "originalSha256": "a7d835088762695bf825c37bf6afa74b8c5dfdc1ac7f4437a70fd6788b30f41c",
      "href": "/os-evidence/a7d835088762695bf825c37bf6afa74b8c5dfdc1ac7f4437a70fd6788b30f41c.txt",
      "sha256": "a7d835088762695bf825c37bf6afa74b8c5dfdc1ac7f4437a70fd6788b30f41c",
      "bytes": 11140,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K660-ihXmMS/acceptance-uefi-1024/serial.log",
      "originalSha256": "ebce1c74b91c16a4bb62f3bec2fd17fc761c31ee7a3278360e9289a6f3a89199",
      "href": "/os-evidence/ebce1c74b91c16a4bb62f3bec2fd17fc761c31ee7a3278360e9289a6f3a89199.txt",
      "sha256": "ebce1c74b91c16a4bb62f3bec2fd17fc761c31ee7a3278360e9289a6f3a89199",
      "bytes": 11140,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K660-ihXmMS/blind-control-direct-512/serial.log",
      "originalSha256": "488ec5ff9d929aa4363b38700fcc5a425bf25a392c3a31d596bdfff30972c243",
      "href": "/os-evidence/488ec5ff9d929aa4363b38700fcc5a425bf25a392c3a31d596bdfff30972c243.txt",
      "sha256": "488ec5ff9d929aa4363b38700fcc5a425bf25a392c3a31d596bdfff30972c243",
      "bytes": 4129,
      "redacted": false
    }
  ],
  "moves": [
    "K645",
    "K650",
    "K655",
    "K660"
  ]
}