{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K680-eCohcJ/report.json",
    "sha256": "da9e43d24da6f2318afe9eb1a22210f8beb56ad2773e19d47d13eff8ee044891",
    "bytes": 333733
  },
  "status": "DEVELOPMENT_GUEST_ACCEPTED",
  "scope": "Single CPU isolated development runtime, same acceptance Image across fresh hashed direct/UEFI DTB fixtures and all RAM profiles. Actual EL0 fault, fixed Heap exhaustion, held serial lock and synchronous recursive BRK. BSS runtimeBaseline copies the actual nine-word K660 service state before diagnostics; baselineIrqCount independently snapshots real IRQ count4. QMP captures both checkpoint symbols and final live IRQ count8 after process-fault recovery (4 for terminal probes/product). Counters are never reset or synthesized; no release or external review acceptance.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 31,
  "caseSerialsSelected": 31,
  "imageSha256": "108eecbefeb817e410a2b40fcffc8ef4440e1528702d218d842cc2e75dae67c4",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/normal-direct-256/serial.log",
      "originalSha256": "66d9da6585da9c8ba651061d2e18962a21064ca3f54d99726e95f9d9b97fe5b9",
      "href": "/os-evidence/66d9da6585da9c8ba651061d2e18962a21064ca3f54d99726e95f9d9b97fe5b9.txt",
      "sha256": "66d9da6585da9c8ba651061d2e18962a21064ca3f54d99726e95f9d9b97fe5b9",
      "bytes": 6039,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/normal-direct-512/serial.log",
      "originalSha256": "b47894d41518f3f38bf7265cc76f132ab3c880180558b735393ba459097825ac",
      "href": "/os-evidence/b47894d41518f3f38bf7265cc76f132ab3c880180558b735393ba459097825ac.txt",
      "sha256": "b47894d41518f3f38bf7265cc76f132ab3c880180558b735393ba459097825ac",
      "bytes": 6039,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/normal-direct-1024/serial.log",
      "originalSha256": "e9b3b7f87f130c976794251f24a8fc325e9c5b32b4478e57a35cd473051a9cf7",
      "href": "/os-evidence/e9b3b7f87f130c976794251f24a8fc325e9c5b32b4478e57a35cd473051a9cf7.txt",
      "sha256": "e9b3b7f87f130c976794251f24a8fc325e9c5b32b4478e57a35cd473051a9cf7",
      "bytes": 6039,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/normal-uefi-256/serial.log",
      "originalSha256": "9f5421a6cdd11c4ab050d2c167e20d99780880a230832b7f4b9800d3edb64206",
      "href": "/os-evidence/9f5421a6cdd11c4ab050d2c167e20d99780880a230832b7f4b9800d3edb64206.txt",
      "sha256": "9f5421a6cdd11c4ab050d2c167e20d99780880a230832b7f4b9800d3edb64206",
      "bytes": 12279,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/normal-uefi-512/serial.log",
      "originalSha256": "7f77c4a4c51ce13f8712189a0b0e6b1af1d82379f9e0422d7d3ce9c7a5e2a1ae",
      "href": "/os-evidence/7f77c4a4c51ce13f8712189a0b0e6b1af1d82379f9e0422d7d3ce9c7a5e2a1ae.txt",
      "sha256": "7f77c4a4c51ce13f8712189a0b0e6b1af1d82379f9e0422d7d3ce9c7a5e2a1ae",
      "bytes": 12279,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/normal-uefi-1024/serial.log",
      "originalSha256": "c56673d680438ddd797099fc783ce5b7a8994250ebd02b1eea20de5d775c23b7",
      "href": "/os-evidence/c56673d680438ddd797099fc783ce5b7a8994250ebd02b1eea20de5d775c23b7.txt",
      "sha256": "c56673d680438ddd797099fc783ce5b7a8994250ebd02b1eea20de5d775c23b7",
      "bytes": 12279,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/panic-lock-direct-256/serial.log",
      "originalSha256": "09167200297f1277c8da8b22d397a770f64dd9466f4f0afe8120bdf7d5b94777",
      "href": "/os-evidence/09167200297f1277c8da8b22d397a770f64dd9466f4f0afe8120bdf7d5b94777.txt",
      "sha256": "09167200297f1277c8da8b22d397a770f64dd9466f4f0afe8120bdf7d5b94777",
      "bytes": 5322,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/panic-lock-direct-512/serial.log",
      "originalSha256": "7af03accba8898476dc67ebfc483a88e900985763dae38514b1d4366d8912837",
      "href": "/os-evidence/7af03accba8898476dc67ebfc483a88e900985763dae38514b1d4366d8912837.txt",
      "sha256": "7af03accba8898476dc67ebfc483a88e900985763dae38514b1d4366d8912837",
      "bytes": 5322,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/panic-lock-direct-1024/serial.log",
      "originalSha256": "81d49a8fde8c8604799f04597ab24c2c5a70b51ff99b456a616d4ac76301ff3b",
      "href": "/os-evidence/81d49a8fde8c8604799f04597ab24c2c5a70b51ff99b456a616d4ac76301ff3b.txt",
      "sha256": "81d49a8fde8c8604799f04597ab24c2c5a70b51ff99b456a616d4ac76301ff3b",
      "bytes": 5322,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/panic-lock-uefi-256/serial.log",
      "originalSha256": "79afc8ef007f9c6decb7a9d72b35559008ab1b4b04dcf62ce4f1fdd3da7b2adb",
      "href": "/os-evidence/79afc8ef007f9c6decb7a9d72b35559008ab1b4b04dcf62ce4f1fdd3da7b2adb.txt",
      "sha256": "79afc8ef007f9c6decb7a9d72b35559008ab1b4b04dcf62ce4f1fdd3da7b2adb",
      "bytes": 11562,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/panic-lock-uefi-512/serial.log",
      "originalSha256": "2ea601ba657cfa2c9d202e4e02c6065121c627cd25427744bebec213fc7bac7f",
      "href": "/os-evidence/2ea601ba657cfa2c9d202e4e02c6065121c627cd25427744bebec213fc7bac7f.txt",
      "sha256": "2ea601ba657cfa2c9d202e4e02c6065121c627cd25427744bebec213fc7bac7f",
      "bytes": 11562,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/panic-lock-uefi-1024/serial.log",
      "originalSha256": "15933d8b6060ceafd3449061bac02915d549f94b63d2e898dcdc0b798fd00c65",
      "href": "/os-evidence/15933d8b6060ceafd3449061bac02915d549f94b63d2e898dcdc0b798fd00c65.txt",
      "sha256": "15933d8b6060ceafd3449061bac02915d549f94b63d2e898dcdc0b798fd00c65",
      "bytes": 11562,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/brk-far-direct-256/serial.log",
      "originalSha256": "ef1f376cc17ebf06cc75432fef9e05a9199825da5f525a77c8b0d32df7b93cd2",
      "href": "/os-evidence/ef1f376cc17ebf06cc75432fef9e05a9199825da5f525a77c8b0d32df7b93cd2.txt",
      "sha256": "ef1f376cc17ebf06cc75432fef9e05a9199825da5f525a77c8b0d32df7b93cd2",
      "bytes": 5446,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/brk-far-direct-512/serial.log",
      "originalSha256": "e96596ef45d9cc914a703f61ecee68572a2cb1ccc0c7adcf5bdab9f48650229c",
      "href": "/os-evidence/e96596ef45d9cc914a703f61ecee68572a2cb1ccc0c7adcf5bdab9f48650229c.txt",
      "sha256": "e96596ef45d9cc914a703f61ecee68572a2cb1ccc0c7adcf5bdab9f48650229c",
      "bytes": 5446,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/brk-far-direct-1024/serial.log",
      "originalSha256": "19bc8d944edf3a18a8b3ce14663f2799ef7941e8845269d893cb671dc07609f7",
      "href": "/os-evidence/19bc8d944edf3a18a8b3ce14663f2799ef7941e8845269d893cb671dc07609f7.txt",
      "sha256": "19bc8d944edf3a18a8b3ce14663f2799ef7941e8845269d893cb671dc07609f7",
      "bytes": 5446,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/brk-far-uefi-256/serial.log",
      "originalSha256": "3afb6353d05ece021dcb349bd49f20a1ba80ed26e9c83e78bbcff02c3b08afb3",
      "href": "/os-evidence/3afb6353d05ece021dcb349bd49f20a1ba80ed26e9c83e78bbcff02c3b08afb3.txt",
      "sha256": "3afb6353d05ece021dcb349bd49f20a1ba80ed26e9c83e78bbcff02c3b08afb3",
      "bytes": 11686,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/brk-far-uefi-512/serial.log",
      "originalSha256": "24a256935152b1a06b4827e0dfd21b00ee8312555bdece67e8caf7e822cf75d6",
      "href": "/os-evidence/24a256935152b1a06b4827e0dfd21b00ee8312555bdece67e8caf7e822cf75d6.txt",
      "sha256": "24a256935152b1a06b4827e0dfd21b00ee8312555bdece67e8caf7e822cf75d6",
      "bytes": 11686,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/brk-far-uefi-1024/serial.log",
      "originalSha256": "91c1772902d029ec4b199a21df0ecb011569492687a98525cf62256b55c4dcab",
      "href": "/os-evidence/91c1772902d029ec4b199a21df0ecb011569492687a98525cf62256b55c4dcab.txt",
      "sha256": "91c1772902d029ec4b199a21df0ecb011569492687a98525cf62256b55c4dcab",
      "bytes": 11686,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/recursive-brk-direct-256/serial.log",
      "originalSha256": "2035f60175e2dc90c2b8fd0bcad8e58e0b64af81e22e072f171089852cadf9c0",
      "href": "/os-evidence/2035f60175e2dc90c2b8fd0bcad8e58e0b64af81e22e072f171089852cadf9c0.txt",
      "sha256": "2035f60175e2dc90c2b8fd0bcad8e58e0b64af81e22e072f171089852cadf9c0",
      "bytes": 5217,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/recursive-brk-direct-512/serial.log",
      "originalSha256": "c649a6207935622bfd54c41ddcd348ae1110e4357c3710734c48ec5ce379ca86",
      "href": "/os-evidence/c649a6207935622bfd54c41ddcd348ae1110e4357c3710734c48ec5ce379ca86.txt",
      "sha256": "c649a6207935622bfd54c41ddcd348ae1110e4357c3710734c48ec5ce379ca86",
      "bytes": 5217,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/recursive-brk-direct-1024/serial.log",
      "originalSha256": "372caa2993dbd1538afb5ca678ee13cdfb923b38f4ad6b4241b62eb795f523f7",
      "href": "/os-evidence/372caa2993dbd1538afb5ca678ee13cdfb923b38f4ad6b4241b62eb795f523f7.txt",
      "sha256": "372caa2993dbd1538afb5ca678ee13cdfb923b38f4ad6b4241b62eb795f523f7",
      "bytes": 5217,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/recursive-brk-uefi-256/serial.log",
      "originalSha256": "6791301b7d7f6f280ece53c0a4d74f94bc2041472b21d472eb61155b0ecc8161",
      "href": "/os-evidence/6791301b7d7f6f280ece53c0a4d74f94bc2041472b21d472eb61155b0ecc8161.txt",
      "sha256": "6791301b7d7f6f280ece53c0a4d74f94bc2041472b21d472eb61155b0ecc8161",
      "bytes": 11457,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/recursive-brk-uefi-512/serial.log",
      "originalSha256": "2dc6cc242a7c19204bb684da9216fecb50e649d36008a063a77056e3bd79a4dc",
      "href": "/os-evidence/2dc6cc242a7c19204bb684da9216fecb50e649d36008a063a77056e3bd79a4dc.txt",
      "sha256": "2dc6cc242a7c19204bb684da9216fecb50e649d36008a063a77056e3bd79a4dc",
      "bytes": 11457,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/recursive-brk-uefi-1024/serial.log",
      "originalSha256": "ebc86661398ff0bfd1897e68bcda7f0aeb4ab4b2cca6ab1cb338d1dba15f9108",
      "href": "/os-evidence/ebc86661398ff0bfd1897e68bcda7f0aeb4ab4b2cca6ab1cb338d1dba15f9108.txt",
      "sha256": "ebc86661398ff0bfd1897e68bcda7f0aeb4ab4b2cca6ab1cb338d1dba15f9108",
      "bytes": 11457,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/product-direct-512/serial.log",
      "originalSha256": "ab1f2a56f3b94c20f9b62993b9a2868600da32ca9d58200935fd590259f78f34",
      "href": "/os-evidence/ab1f2a56f3b94c20f9b62993b9a2868600da32ca9d58200935fd590259f78f34.txt",
      "sha256": "ab1f2a56f3b94c20f9b62993b9a2868600da32ca9d58200935fd590259f78f34",
      "bytes": 4827,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/product-probe-direct-512/serial.log",
      "originalSha256": "a972fa2a55cedc1327a675cc6c8c2bc1f6e3d2014e601591158546839935a641",
      "href": "/os-evidence/a972fa2a55cedc1327a675cc6c8c2bc1f6e3d2014e601591158546839935a641.txt",
      "sha256": "a972fa2a55cedc1327a675cc6c8c2bc1f6e3d2014e601591158546839935a641",
      "bytes": 1670,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/malformed-fixture-direct-512/serial.log",
      "originalSha256": "ea92fc4984a4aae9a51bedf63cb4c07823c8ec7594b4a05b96fc63def8b33423",
      "href": "/os-evidence/ea92fc4984a4aae9a51bedf63cb4c07823c8ec7594b4a05b96fc63def8b33423.txt",
      "sha256": "ea92fc4984a4aae9a51bedf63cb4c07823c8ec7594b4a05b96fc63def8b33423",
      "bytes": 1669,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/product-uefi-512/serial.log",
      "originalSha256": "4155894d81ebe4343f505f818bb8606c882b2cee5807726d3c0f6649a62700ff",
      "href": "/os-evidence/4155894d81ebe4343f505f818bb8606c882b2cee5807726d3c0f6649a62700ff.txt",
      "sha256": "4155894d81ebe4343f505f818bb8606c882b2cee5807726d3c0f6649a62700ff",
      "bytes": 11067,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/product-probe-uefi-512/serial.log",
      "originalSha256": "4bc049de9854d6d70b2442c3c37364ca6d094b212b343626467851078d532d24",
      "href": "/os-evidence/4bc049de9854d6d70b2442c3c37364ca6d094b212b343626467851078d532d24.txt",
      "sha256": "4bc049de9854d6d70b2442c3c37364ca6d094b212b343626467851078d532d24",
      "bytes": 3631,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/malformed-fixture-uefi-512/serial.log",
      "originalSha256": "92e97232073a03aa2cb9c6441b7b4946cda4a27f90d5aa5f14ee3858f2acd9d3",
      "href": "/os-evidence/92e97232073a03aa2cb9c6441b7b4946cda4a27f90d5aa5f14ee3858f2acd9d3.txt",
      "sha256": "92e97232073a03aa2cb9c6441b7b4946cda4a27f90d5aa5f14ee3858f2acd9d3",
      "bytes": 3630,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K680-eCohcJ/blind-control-direct-512/serial.log",
      "originalSha256": "91b01ace612ff7b39b903bc9363d7834f83f119069e87f0b6b91945139c04ed5",
      "href": "/os-evidence/91b01ace612ff7b39b903bc9363d7834f83f119069e87f0b6b91945139c04ed5.txt",
      "sha256": "91b01ace612ff7b39b903bc9363d7834f83f119069e87f0b6b91945139c04ed5",
      "bytes": 4900,
      "redacted": false
    }
  ],
  "moves": [
    "K665",
    "K670",
    "K675",
    "K680"
  ]
}