{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K785-K800-WG7RJR/report.json",
    "sha256": "edb03c313944521e579f4afa5026f3c18497b464c15d2891383e22134644c334",
    "bytes": 1681964
  },
  "status": "DEVELOPMENT_GUEST_PARTIAL",
  "scope": "Isolated QEMU VirtIO MMIO RX/TX with actual Registry pins and typed central authority backing, real split-ring and payload captures plus independently saved Unix socket frame bytes. Exact one-byte GDB gate interventions are recorded after QMP stop and physical captures, before QMP continue; no debugger result writes are permitted. ARM64 publish/consume/reset barriers and CPU volatile reset/QueueReady witnesses precede unpin. Six explicit withheld-reset-write controls retain four real pins and backing pages, with independent current-versus-predecessor physical inventories. Hardware scope is QEMU VirtIO; physical noncoherent cache maintenance and fresh matching Image M1 evidence remain pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 30,
  "caseSerialsSelected": 30,
  "imageSha256": "461905232a40a53341ebc2949c667490085179e63aee3ba2d5912d6bda038a99",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/product-one-bank-direct-256/serial.log",
      "originalSha256": "d7e01eef48d7c606eef0fb9b76eb500203f9220347d89536d3075af2cb8f1732",
      "href": "/os-evidence/d7e01eef48d7c606eef0fb9b76eb500203f9220347d89536d3075af2cb8f1732.txt",
      "sha256": "d7e01eef48d7c606eef0fb9b76eb500203f9220347d89536d3075af2cb8f1732",
      "bytes": 9696,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/product-one-bank-direct-512/serial.log",
      "originalSha256": "f17640e705a4d8342a2f0ff45a794a6e0be2dfc34d0591f265e2599576c4be48",
      "href": "/os-evidence/f17640e705a4d8342a2f0ff45a794a6e0be2dfc34d0591f265e2599576c4be48.txt",
      "sha256": "f17640e705a4d8342a2f0ff45a794a6e0be2dfc34d0591f265e2599576c4be48",
      "bytes": 9696,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/product-one-bank-direct-1024/serial.log",
      "originalSha256": "09a327c9315ded5998c9eb261d63e8b60abb13b6718d518f8a6095c4be20c820",
      "href": "/os-evidence/09a327c9315ded5998c9eb261d63e8b60abb13b6718d518f8a6095c4be20c820.txt",
      "sha256": "09a327c9315ded5998c9eb261d63e8b60abb13b6718d518f8a6095c4be20c820",
      "bytes": 9696,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/product-one-bank-uefi-256/serial.log",
      "originalSha256": "755975acf8d89024d583b4f567c02df697f4c0517b7d1d37ab3f22f2907dd947",
      "href": "/os-evidence/755975acf8d89024d583b4f567c02df697f4c0517b7d1d37ab3f22f2907dd947.txt",
      "sha256": "755975acf8d89024d583b4f567c02df697f4c0517b7d1d37ab3f22f2907dd947",
      "bytes": 15936,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/product-one-bank-uefi-512/serial.log",
      "originalSha256": "bbe6c0faef0fcaeb26e18c30ec486ca8e142ff782a788e25cd804f3d1ec7bc81",
      "href": "/os-evidence/bbe6c0faef0fcaeb26e18c30ec486ca8e142ff782a788e25cd804f3d1ec7bc81.txt",
      "sha256": "bbe6c0faef0fcaeb26e18c30ec486ca8e142ff782a788e25cd804f3d1ec7bc81",
      "bytes": 15936,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/product-one-bank-uefi-1024/serial.log",
      "originalSha256": "389465dc8c67e0af98f4fdefd90e0cc36a9cf285e16f7137b3429195bae4a44d",
      "href": "/os-evidence/389465dc8c67e0af98f4fdefd90e0cc36a9cf285e16f7137b3429195bae4a44d.txt",
      "sha256": "389465dc8c67e0af98f4fdefd90e0cc36a9cf285e16f7137b3429195bae4a44d",
      "bytes": 15936,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/product-two-banks-direct-256/serial.log",
      "originalSha256": "be2c257a6dffcf2722a6a0da46c00c6e7b464932808f485d53c55289d9ceba8e",
      "href": "/os-evidence/be2c257a6dffcf2722a6a0da46c00c6e7b464932808f485d53c55289d9ceba8e.txt",
      "sha256": "be2c257a6dffcf2722a6a0da46c00c6e7b464932808f485d53c55289d9ceba8e",
      "bytes": 10580,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/product-two-banks-direct-512/serial.log",
      "originalSha256": "93d7ab4c5db8249168d7ed17941867ab6db925fde0e3431172616b6ad6de8515",
      "href": "/os-evidence/93d7ab4c5db8249168d7ed17941867ab6db925fde0e3431172616b6ad6de8515.txt",
      "sha256": "93d7ab4c5db8249168d7ed17941867ab6db925fde0e3431172616b6ad6de8515",
      "bytes": 10580,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/product-two-banks-direct-1024/serial.log",
      "originalSha256": "764f034ceedcca9f0fd5b32cb82aefc781511fd685e3c81965210448d6931991",
      "href": "/os-evidence/764f034ceedcca9f0fd5b32cb82aefc781511fd685e3c81965210448d6931991.txt",
      "sha256": "764f034ceedcca9f0fd5b32cb82aefc781511fd685e3c81965210448d6931991",
      "bytes": 10580,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/product-two-banks-uefi-256/serial.log",
      "originalSha256": "91beacfb4a9ebd5f3335707350cecb385c60f1e36defbb5c0369551067a5cf18",
      "href": "/os-evidence/91beacfb4a9ebd5f3335707350cecb385c60f1e36defbb5c0369551067a5cf18.txt",
      "sha256": "91beacfb4a9ebd5f3335707350cecb385c60f1e36defbb5c0369551067a5cf18",
      "bytes": 16730,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/product-two-banks-uefi-512/serial.log",
      "originalSha256": "2b8fcc628b0a225b7e079704f5446508feaca39559e322fb2549cafb64fad6aa",
      "href": "/os-evidence/2b8fcc628b0a225b7e079704f5446508feaca39559e322fb2549cafb64fad6aa.txt",
      "sha256": "2b8fcc628b0a225b7e079704f5446508feaca39559e322fb2549cafb64fad6aa",
      "bytes": 16730,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/product-two-banks-uefi-1024/serial.log",
      "originalSha256": "1f4a8a30f1ea249087c56ee9693da3045671da3ef64f31aa437a3693cf3139aa",
      "href": "/os-evidence/1f4a8a30f1ea249087c56ee9693da3045671da3ef64f31aa437a3693cf3139aa.txt",
      "sha256": "1f4a8a30f1ea249087c56ee9693da3045671da3ef64f31aa437a3693cf3139aa",
      "bytes": 16730,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/acceptance-one-bank-direct-256/serial.log",
      "originalSha256": "436453698137f468bc53a7aff685d22e4d515a7cb0fd25f9a48812c9ddf9d46a",
      "href": "/os-evidence/436453698137f468bc53a7aff685d22e4d515a7cb0fd25f9a48812c9ddf9d46a.txt",
      "sha256": "436453698137f468bc53a7aff685d22e4d515a7cb0fd25f9a48812c9ddf9d46a",
      "bytes": 11873,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/acceptance-one-bank-direct-512/serial.log",
      "originalSha256": "7d303775976221f2c9092c74daff443f029093ae825037689ac579b00b4e1bcd",
      "href": "/os-evidence/7d303775976221f2c9092c74daff443f029093ae825037689ac579b00b4e1bcd.txt",
      "sha256": "7d303775976221f2c9092c74daff443f029093ae825037689ac579b00b4e1bcd",
      "bytes": 11873,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/acceptance-one-bank-direct-1024/serial.log",
      "originalSha256": "d32597ed2c97ad1bff01c5b82fdd5fc5cbc4fb0092234fffb31768299a72b6ef",
      "href": "/os-evidence/d32597ed2c97ad1bff01c5b82fdd5fc5cbc4fb0092234fffb31768299a72b6ef.txt",
      "sha256": "d32597ed2c97ad1bff01c5b82fdd5fc5cbc4fb0092234fffb31768299a72b6ef",
      "bytes": 11873,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/acceptance-one-bank-uefi-256/serial.log",
      "originalSha256": "8f0a2e1d3c30cd28b04ce889c19e5ac6c0472dce72df66cbc5f518eb9343d5d2",
      "href": "/os-evidence/8f0a2e1d3c30cd28b04ce889c19e5ac6c0472dce72df66cbc5f518eb9343d5d2.txt",
      "sha256": "8f0a2e1d3c30cd28b04ce889c19e5ac6c0472dce72df66cbc5f518eb9343d5d2",
      "bytes": 17828,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/acceptance-one-bank-uefi-512/serial.log",
      "originalSha256": "034ca1d6b65e7512c01d666776b179450f0d6605c2681c6d97389ea48a63528a",
      "href": "/os-evidence/034ca1d6b65e7512c01d666776b179450f0d6605c2681c6d97389ea48a63528a.txt",
      "sha256": "034ca1d6b65e7512c01d666776b179450f0d6605c2681c6d97389ea48a63528a",
      "bytes": 17828,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/acceptance-one-bank-uefi-1024/serial.log",
      "originalSha256": "d268ea8048631e2e35f8d9d7c933f82b2f5d13de2ba4c5958f10915b1d16ebaa",
      "href": "/os-evidence/d268ea8048631e2e35f8d9d7c933f82b2f5d13de2ba4c5958f10915b1d16ebaa.txt",
      "sha256": "d268ea8048631e2e35f8d9d7c933f82b2f5d13de2ba4c5958f10915b1d16ebaa",
      "bytes": 17828,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/acceptance-two-banks-direct-256/serial.log",
      "originalSha256": "82d24ec6e8747daa7e97496d40cded474fd139f961e8cf1df29fc88ab5fd443f",
      "href": "/os-evidence/82d24ec6e8747daa7e97496d40cded474fd139f961e8cf1df29fc88ab5fd443f.txt",
      "sha256": "82d24ec6e8747daa7e97496d40cded474fd139f961e8cf1df29fc88ab5fd443f",
      "bytes": 12757,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/acceptance-two-banks-direct-512/serial.log",
      "originalSha256": "4f14e98435a614b45960c3239359b76fed3d7ac21c1244f1f16dd1ca0150afff",
      "href": "/os-evidence/4f14e98435a614b45960c3239359b76fed3d7ac21c1244f1f16dd1ca0150afff.txt",
      "sha256": "4f14e98435a614b45960c3239359b76fed3d7ac21c1244f1f16dd1ca0150afff",
      "bytes": 12757,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/acceptance-two-banks-direct-1024/serial.log",
      "originalSha256": "e23f2dbaf502969631651eaacd4d22412d18e4015cb1fee7fdd1b063b60105b3",
      "href": "/os-evidence/e23f2dbaf502969631651eaacd4d22412d18e4015cb1fee7fdd1b063b60105b3.txt",
      "sha256": "e23f2dbaf502969631651eaacd4d22412d18e4015cb1fee7fdd1b063b60105b3",
      "bytes": 12757,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/acceptance-two-banks-uefi-256/serial.log",
      "originalSha256": "75d8cbcf215af24fc3a43f082b4ee7f60f3b939cf1747a53f651787f653fc83d",
      "href": "/os-evidence/75d8cbcf215af24fc3a43f082b4ee7f60f3b939cf1747a53f651787f653fc83d.txt",
      "sha256": "75d8cbcf215af24fc3a43f082b4ee7f60f3b939cf1747a53f651787f653fc83d",
      "bytes": 18622,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/acceptance-two-banks-uefi-512/serial.log",
      "originalSha256": "c49f04a2bae56ef857cbbfcb27b496623384f0d5dc9bc5ffb6789acba067c671",
      "href": "/os-evidence/c49f04a2bae56ef857cbbfcb27b496623384f0d5dc9bc5ffb6789acba067c671.txt",
      "sha256": "c49f04a2bae56ef857cbbfcb27b496623384f0d5dc9bc5ffb6789acba067c671",
      "bytes": 18622,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/acceptance-two-banks-uefi-1024/serial.log",
      "originalSha256": "d91bbc1adb6e899372e62f9f90d9ded2ebbf2360128c97aaa3c3c7cd0cf77ceb",
      "href": "/os-evidence/d91bbc1adb6e899372e62f9f90d9ded2ebbf2360128c97aaa3c3c7cd0cf77ceb.txt",
      "sha256": "d91bbc1adb6e899372e62f9f90d9ded2ebbf2360128c97aaa3c3c7cd0cf77ceb",
      "bytes": 18622,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/reset-quarantine-direct-256/serial.log",
      "originalSha256": "3837536102a210ab2851afbced35d353de2531074e3a717a9d37051ed784e3c3",
      "href": "/os-evidence/3837536102a210ab2851afbced35d353de2531074e3a717a9d37051ed784e3c3.txt",
      "sha256": "3837536102a210ab2851afbced35d353de2531074e3a717a9d37051ed784e3c3",
      "bytes": 11382,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/reset-quarantine-uefi-256/serial.log",
      "originalSha256": "da2c2d62dda41cccfbc04e91092a543ba46a3e1db0ae60219469e9c2409a88dd",
      "href": "/os-evidence/da2c2d62dda41cccfbc04e91092a543ba46a3e1db0ae60219469e9c2409a88dd.txt",
      "sha256": "da2c2d62dda41cccfbc04e91092a543ba46a3e1db0ae60219469e9c2409a88dd",
      "bytes": 17337,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/reset-quarantine-direct-512/serial.log",
      "originalSha256": "ac40d72bd1f1a74758caa762d5ff6be73bcca8c7363428fba8b9292e7a2d4237",
      "href": "/os-evidence/ac40d72bd1f1a74758caa762d5ff6be73bcca8c7363428fba8b9292e7a2d4237.txt",
      "sha256": "ac40d72bd1f1a74758caa762d5ff6be73bcca8c7363428fba8b9292e7a2d4237",
      "bytes": 11382,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/reset-quarantine-uefi-512/serial.log",
      "originalSha256": "6e852d08f3407dc7423ca449a4c56c42c4c9e1fb7441236e96c578864d95134f",
      "href": "/os-evidence/6e852d08f3407dc7423ca449a4c56c42c4c9e1fb7441236e96c578864d95134f.txt",
      "sha256": "6e852d08f3407dc7423ca449a4c56c42c4c9e1fb7441236e96c578864d95134f",
      "bytes": 17337,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/reset-quarantine-direct-1024/serial.log",
      "originalSha256": "f27910eefe5086c8ce67697d9ca666e0bfb43e1702995d6d685912141b5b9dd6",
      "href": "/os-evidence/f27910eefe5086c8ce67697d9ca666e0bfb43e1702995d6d685912141b5b9dd6.txt",
      "sha256": "f27910eefe5086c8ce67697d9ca666e0bfb43e1702995d6d685912141b5b9dd6",
      "bytes": 11382,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K785-K800-WG7RJR/reset-quarantine-uefi-1024/serial.log",
      "originalSha256": "3fe2685fc8c31b947db4bf740bb9668a58fb4a1a0eb5ae9d3b468e655b116550",
      "href": "/os-evidence/3fe2685fc8c31b947db4bf740bb9668a58fb4a1a0eb5ae9d3b468e655b116550.txt",
      "sha256": "3fe2685fc8c31b947db4bf740bb9668a58fb4a1a0eb5ae9d3b468e655b116550",
      "bytes": 17337,
      "redacted": false
    }
  ],
  "moves": [
    "K785",
    "K790",
    "K795",
    "K800"
  ]
}