{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K825-K840-q8LVUT/report.json",
    "sha256": "4edf3edb26369dc6f950ef0aa7d7ee1600526a623469d1b0a4d5a727dfbd8073",
    "bytes": 2622442
  },
  "status": "DEVELOPMENT_GUEST_PARTIAL",
  "scope": "Actual atomic address-space IDs and roots, MMFR0/TCR measured ASID width with a distinct software quota, real A-B-A private-data isolation, synchronous targeted ASIDE1IS before recycled generation activation with the whole old root retained, real EL0 shared-kernel/MMIO permission faults and exact authority restoration. Named empty-history generation exhaustion control preserves authority, TTBR/TCR and TLBI records. Existing guarded K820 64 KiB stack is used and every predecessor counter/EventLog record remains intact. Isolated Registry-owned four-level page tables and genuine EL0 permission faults with physical table captures before retirement. Previous 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. All predecessor physical and counter evidence is independently checked. Hardware scope is QEMU VirtIO; physical noncoherent cache maintenance and fresh matching Image M1 evidence remain pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 24,
  "caseSerialsSelected": 24,
  "imageSha256": "692c2bc7dfff54fb20fb8a4ce9513e9f851ff7ae62eb1b0bc495d2bbdaacc145",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/product-one-bank-direct-256/serial.log",
      "originalSha256": "35e624cbc630a2b701572fea2c211ae069f17c6b5aaedf68a60b6c2db06aa7d3",
      "href": "/os-evidence/35e624cbc630a2b701572fea2c211ae069f17c6b5aaedf68a60b6c2db06aa7d3.txt",
      "sha256": "35e624cbc630a2b701572fea2c211ae069f17c6b5aaedf68a60b6c2db06aa7d3",
      "bytes": 10302,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/product-one-bank-direct-512/serial.log",
      "originalSha256": "bbfc47e21dad92b3100d5f8a8d1d5d153742eb94df6c1a4baacae8204de582a3",
      "href": "/os-evidence/bbfc47e21dad92b3100d5f8a8d1d5d153742eb94df6c1a4baacae8204de582a3.txt",
      "sha256": "bbfc47e21dad92b3100d5f8a8d1d5d153742eb94df6c1a4baacae8204de582a3",
      "bytes": 10302,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/product-one-bank-direct-1024/serial.log",
      "originalSha256": "03013d4c7ce9432468b2d6ef8096ea46023c2bb3fde5a8182e91551d87b76061",
      "href": "/os-evidence/03013d4c7ce9432468b2d6ef8096ea46023c2bb3fde5a8182e91551d87b76061.txt",
      "sha256": "03013d4c7ce9432468b2d6ef8096ea46023c2bb3fde5a8182e91551d87b76061",
      "bytes": 10302,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/product-one-bank-uefi-256/serial.log",
      "originalSha256": "7af40718e0f5764fd332138d0084f1b35a9c6f8600564d1e628f59f004465a68",
      "href": "/os-evidence/7af40718e0f5764fd332138d0084f1b35a9c6f8600564d1e628f59f004465a68.txt",
      "sha256": "7af40718e0f5764fd332138d0084f1b35a9c6f8600564d1e628f59f004465a68",
      "bytes": 16257,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/product-one-bank-uefi-512/serial.log",
      "originalSha256": "0c6c4e3b22d653ea8701addd7db64d4cf94a340f037f75e241a0eb89339ce98f",
      "href": "/os-evidence/0c6c4e3b22d653ea8701addd7db64d4cf94a340f037f75e241a0eb89339ce98f.txt",
      "sha256": "0c6c4e3b22d653ea8701addd7db64d4cf94a340f037f75e241a0eb89339ce98f",
      "bytes": 16257,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/product-one-bank-uefi-1024/serial.log",
      "originalSha256": "03f65b85bd4aca70d07effa3905286720621a67f9b273b2a604bc56138c552c6",
      "href": "/os-evidence/03f65b85bd4aca70d07effa3905286720621a67f9b273b2a604bc56138c552c6.txt",
      "sha256": "03f65b85bd4aca70d07effa3905286720621a67f9b273b2a604bc56138c552c6",
      "bytes": 16257,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/product-two-banks-direct-256/serial.log",
      "originalSha256": "53624ac1b759f6546efc0efb186a2956499d1102cbb0921bf0836a16d3e0465d",
      "href": "/os-evidence/53624ac1b759f6546efc0efb186a2956499d1102cbb0921bf0836a16d3e0465d.txt",
      "sha256": "53624ac1b759f6546efc0efb186a2956499d1102cbb0921bf0836a16d3e0465d",
      "bytes": 11186,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/product-two-banks-direct-512/serial.log",
      "originalSha256": "93ccf7d29ad8b7dcf11dd30a14f08b9faaa1cae165a19bdb495d0b65fd8d8cea",
      "href": "/os-evidence/93ccf7d29ad8b7dcf11dd30a14f08b9faaa1cae165a19bdb495d0b65fd8d8cea.txt",
      "sha256": "93ccf7d29ad8b7dcf11dd30a14f08b9faaa1cae165a19bdb495d0b65fd8d8cea",
      "bytes": 11186,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/product-two-banks-direct-1024/serial.log",
      "originalSha256": "7dec88ad1a0894b43069acf53a69fe388d020bef18880c1775e290f82fc53d28",
      "href": "/os-evidence/7dec88ad1a0894b43069acf53a69fe388d020bef18880c1775e290f82fc53d28.txt",
      "sha256": "7dec88ad1a0894b43069acf53a69fe388d020bef18880c1775e290f82fc53d28",
      "bytes": 11186,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/product-two-banks-uefi-256/serial.log",
      "originalSha256": "10ffe60a55ec9a63d0ae8aef773f6f6e8ae04d3badf9fa064533aceaa3a60126",
      "href": "/os-evidence/10ffe60a55ec9a63d0ae8aef773f6f6e8ae04d3badf9fa064533aceaa3a60126.txt",
      "sha256": "10ffe60a55ec9a63d0ae8aef773f6f6e8ae04d3badf9fa064533aceaa3a60126",
      "bytes": 17051,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/product-two-banks-uefi-512/serial.log",
      "originalSha256": "d77e18a37de45132737fa020dcd272b94ab9c289bfabeadf38b935b12784d9bc",
      "href": "/os-evidence/d77e18a37de45132737fa020dcd272b94ab9c289bfabeadf38b935b12784d9bc.txt",
      "sha256": "d77e18a37de45132737fa020dcd272b94ab9c289bfabeadf38b935b12784d9bc",
      "bytes": 17051,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/product-two-banks-uefi-1024/serial.log",
      "originalSha256": "80beeaefd4afd6f1afffb9709c66d9fccc21c21ec9fc97126d8ecd63b38a88b9",
      "href": "/os-evidence/80beeaefd4afd6f1afffb9709c66d9fccc21c21ec9fc97126d8ecd63b38a88b9.txt",
      "sha256": "80beeaefd4afd6f1afffb9709c66d9fccc21c21ec9fc97126d8ecd63b38a88b9",
      "bytes": 17051,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/acceptance-one-bank-direct-256/serial.log",
      "originalSha256": "aab74a6f51ad03ad246984f8e130771f3009a2981ddc0fb13795c1180123e5fe",
      "href": "/os-evidence/aab74a6f51ad03ad246984f8e130771f3009a2981ddc0fb13795c1180123e5fe.txt",
      "sha256": "aab74a6f51ad03ad246984f8e130771f3009a2981ddc0fb13795c1180123e5fe",
      "bytes": 13256,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/acceptance-one-bank-direct-512/serial.log",
      "originalSha256": "712ab63f3b18acfa9d306586c97d08c039c9321ed400a99dce0ca83df4ce65de",
      "href": "/os-evidence/712ab63f3b18acfa9d306586c97d08c039c9321ed400a99dce0ca83df4ce65de.txt",
      "sha256": "712ab63f3b18acfa9d306586c97d08c039c9321ed400a99dce0ca83df4ce65de",
      "bytes": 13256,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/acceptance-one-bank-direct-1024/serial.log",
      "originalSha256": "40e95ed8db117467ae9ef5e3a5cd3c5e0dd0157a54735b58b208ef59d5e7e03f",
      "href": "/os-evidence/40e95ed8db117467ae9ef5e3a5cd3c5e0dd0157a54735b58b208ef59d5e7e03f.txt",
      "sha256": "40e95ed8db117467ae9ef5e3a5cd3c5e0dd0157a54735b58b208ef59d5e7e03f",
      "bytes": 13256,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/acceptance-one-bank-uefi-256/serial.log",
      "originalSha256": "d470f56d842d7699a099d413bafb938ab0a4c546ccd66351a8d8c3f0cdbc71ad",
      "href": "/os-evidence/d470f56d842d7699a099d413bafb938ab0a4c546ccd66351a8d8c3f0cdbc71ad.txt",
      "sha256": "d470f56d842d7699a099d413bafb938ab0a4c546ccd66351a8d8c3f0cdbc71ad",
      "bytes": 19211,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/acceptance-one-bank-uefi-512/serial.log",
      "originalSha256": "724cc8a6c159b2023304d7df214a1c65a325345c8bfd124ba6f98626f48b07c7",
      "href": "/os-evidence/724cc8a6c159b2023304d7df214a1c65a325345c8bfd124ba6f98626f48b07c7.txt",
      "sha256": "724cc8a6c159b2023304d7df214a1c65a325345c8bfd124ba6f98626f48b07c7",
      "bytes": 19211,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/acceptance-one-bank-uefi-1024/serial.log",
      "originalSha256": "9f77cff2de3b46c7f32b2233e64f0f40dc56924cf546cd21a60df68974106b68",
      "href": "/os-evidence/9f77cff2de3b46c7f32b2233e64f0f40dc56924cf546cd21a60df68974106b68.txt",
      "sha256": "9f77cff2de3b46c7f32b2233e64f0f40dc56924cf546cd21a60df68974106b68",
      "bytes": 19211,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/acceptance-two-banks-direct-256/serial.log",
      "originalSha256": "c98ec1840cdbcb17a69041ccd0fabdbdfac06845af31ee35b7e1e2e6c01222ef",
      "href": "/os-evidence/c98ec1840cdbcb17a69041ccd0fabdbdfac06845af31ee35b7e1e2e6c01222ef.txt",
      "sha256": "c98ec1840cdbcb17a69041ccd0fabdbdfac06845af31ee35b7e1e2e6c01222ef",
      "bytes": 14140,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/acceptance-two-banks-direct-512/serial.log",
      "originalSha256": "08ef1d58b59d4a86e387cb88b3f28908e634d88b8d59e6fb9890dbc1c25ecb39",
      "href": "/os-evidence/08ef1d58b59d4a86e387cb88b3f28908e634d88b8d59e6fb9890dbc1c25ecb39.txt",
      "sha256": "08ef1d58b59d4a86e387cb88b3f28908e634d88b8d59e6fb9890dbc1c25ecb39",
      "bytes": 14140,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/acceptance-two-banks-direct-1024/serial.log",
      "originalSha256": "95d234849f2d58d9072c0d88484dc8c650a3d1f32aa88f888155360aee3f4944",
      "href": "/os-evidence/95d234849f2d58d9072c0d88484dc8c650a3d1f32aa88f888155360aee3f4944.txt",
      "sha256": "95d234849f2d58d9072c0d88484dc8c650a3d1f32aa88f888155360aee3f4944",
      "bytes": 14140,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/acceptance-two-banks-uefi-256/serial.log",
      "originalSha256": "72cfe59e65f727be93b112ef7b96bb1e09b305d278f2325e89f1000bd7e3b8dc",
      "href": "/os-evidence/72cfe59e65f727be93b112ef7b96bb1e09b305d278f2325e89f1000bd7e3b8dc.txt",
      "sha256": "72cfe59e65f727be93b112ef7b96bb1e09b305d278f2325e89f1000bd7e3b8dc",
      "bytes": 20005,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/acceptance-two-banks-uefi-512/serial.log",
      "originalSha256": "92f43604234a730a2564f3ba1356c70e93dacfed813cb5e875c2bc048c328df0",
      "href": "/os-evidence/92f43604234a730a2564f3ba1356c70e93dacfed813cb5e875c2bc048c328df0.txt",
      "sha256": "92f43604234a730a2564f3ba1356c70e93dacfed813cb5e875c2bc048c328df0",
      "bytes": 20005,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K825-K840-q8LVUT/acceptance-two-banks-uefi-1024/serial.log",
      "originalSha256": "b620c03325dba321d4a7fb96c9281993bac666cb0833ca0225d39627d8cc2be7",
      "href": "/os-evidence/b620c03325dba321d4a7fb96c9281993bac666cb0833ca0225d39627d8cc2be7.txt",
      "sha256": "b620c03325dba321d4a7fb96c9281993bac666cb0833ca0225d39627d8cc2be7",
      "bytes": 20005,
      "redacted": false
    }
  ],
  "moves": [
    "K825",
    "K830",
    "K835",
    "K840"
  ]
}