{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K965-K980-q5qtic/report.json",
    "sha256": "ab8d70d00f2dfa3e74eb30dfcae5f24c92a3d5d4d4603bb5d967c645a13078bb",
    "bytes": 14928840
  },
  "status": "DEVELOPMENT_GUEST_PARTIAL",
  "scope": "One bootstrap CPU measures nested IRQ guards with exact full DAIF restoration before real timer delivery, private owned spin recursion/sleep refusal, a scheduler-backed fair task mutex with real IRQ refusal and two EL0 continuations, and Memory-to-Process learned ordering with cycle refusal before acquisition. Two real timer IRQs and four scheduler-selected EL0 executions use separately owned roots and whole physical page captures. Private mutex/task generations, active848-byte IRQ frame, exact central restoration and genuine IRQ32/current34 are checked before saved predecessor histories. K970 actual two CPU contention remains pending; the one CPU volatile guest OwnerWord does not prove SMP contention. Product performs no locking probe. Release, general preemption and matching physical M1 remain pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 24,
  "caseSerialsSelected": 24,
  "imageSha256": "9f38ee050be3dce9d2e4f821cd7b707a3ce55f64ed4de6bd84412fe5dff65b0b",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/acceptance-one-bank-direct-256/serial.log",
      "originalSha256": "a07e7adf297d0674be95088de56fe73996d2b520aa2fd92ed80374c9dcd37e4e",
      "href": "/os-evidence/a07e7adf297d0674be95088de56fe73996d2b520aa2fd92ed80374c9dcd37e4e.txt",
      "sha256": "a07e7adf297d0674be95088de56fe73996d2b520aa2fd92ed80374c9dcd37e4e",
      "bytes": 19920,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/acceptance-one-bank-direct-512/serial.log",
      "originalSha256": "2aaeeba9db566f1be25e907a43a4daf46304546eb89def766ed22d171c936edb",
      "href": "/os-evidence/2aaeeba9db566f1be25e907a43a4daf46304546eb89def766ed22d171c936edb.txt",
      "sha256": "2aaeeba9db566f1be25e907a43a4daf46304546eb89def766ed22d171c936edb",
      "bytes": 19920,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/acceptance-one-bank-direct-1024/serial.log",
      "originalSha256": "5bfa3f641f4becbbc5b7943b87c126e808213287482b8de9f3b86eb41a8991f1",
      "href": "/os-evidence/5bfa3f641f4becbbc5b7943b87c126e808213287482b8de9f3b86eb41a8991f1.txt",
      "sha256": "5bfa3f641f4becbbc5b7943b87c126e808213287482b8de9f3b86eb41a8991f1",
      "bytes": 19920,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/acceptance-one-bank-uefi-256/serial.log",
      "originalSha256": "b3d0ee2bd24d2fed73676c4cbdfe30f9a519ab1741a0d1ebeee624357260824f",
      "href": "/os-evidence/b3d0ee2bd24d2fed73676c4cbdfe30f9a519ab1741a0d1ebeee624357260824f.txt",
      "sha256": "b3d0ee2bd24d2fed73676c4cbdfe30f9a519ab1741a0d1ebeee624357260824f",
      "bytes": 25875,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/acceptance-one-bank-uefi-512/serial.log",
      "originalSha256": "cf5c64ca791b917ce4993e9a965577de60a0bcda214af631a3669be94d388f4c",
      "href": "/os-evidence/cf5c64ca791b917ce4993e9a965577de60a0bcda214af631a3669be94d388f4c.txt",
      "sha256": "cf5c64ca791b917ce4993e9a965577de60a0bcda214af631a3669be94d388f4c",
      "bytes": 25875,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/acceptance-one-bank-uefi-1024/serial.log",
      "originalSha256": "11d3d3bb652931fa4310a218e06f0087d06b893db9f611a5430893a87d581657",
      "href": "/os-evidence/11d3d3bb652931fa4310a218e06f0087d06b893db9f611a5430893a87d581657.txt",
      "sha256": "11d3d3bb652931fa4310a218e06f0087d06b893db9f611a5430893a87d581657",
      "bytes": 25875,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/acceptance-two-banks-direct-256/serial.log",
      "originalSha256": "ab80bac1e243421f0e6e05d9c661179361614ec02c8e0fbd5b6a2b0265b8c477",
      "href": "/os-evidence/ab80bac1e243421f0e6e05d9c661179361614ec02c8e0fbd5b6a2b0265b8c477.txt",
      "sha256": "ab80bac1e243421f0e6e05d9c661179361614ec02c8e0fbd5b6a2b0265b8c477",
      "bytes": 20804,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/acceptance-two-banks-direct-512/serial.log",
      "originalSha256": "cb52de2f6b390ba72dab774ffacd482fe1410f78a11c75847769a0461195eadb",
      "href": "/os-evidence/cb52de2f6b390ba72dab774ffacd482fe1410f78a11c75847769a0461195eadb.txt",
      "sha256": "cb52de2f6b390ba72dab774ffacd482fe1410f78a11c75847769a0461195eadb",
      "bytes": 20804,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/acceptance-two-banks-direct-1024/serial.log",
      "originalSha256": "e2af5918de88759d25c7c339983ce960dde4bd84b9432d5d545c68630817674d",
      "href": "/os-evidence/e2af5918de88759d25c7c339983ce960dde4bd84b9432d5d545c68630817674d.txt",
      "sha256": "e2af5918de88759d25c7c339983ce960dde4bd84b9432d5d545c68630817674d",
      "bytes": 20804,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/acceptance-two-banks-uefi-256/serial.log",
      "originalSha256": "3b0fd5e22ca280e4eaaa3cbfc2e69edfa139f287e8c268e0af434ec6ff8ea77d",
      "href": "/os-evidence/3b0fd5e22ca280e4eaaa3cbfc2e69edfa139f287e8c268e0af434ec6ff8ea77d.txt",
      "sha256": "3b0fd5e22ca280e4eaaa3cbfc2e69edfa139f287e8c268e0af434ec6ff8ea77d",
      "bytes": 26669,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/acceptance-two-banks-uefi-512/serial.log",
      "originalSha256": "0b7add763ec25ec55a49ffbad2f6099df64a4f58eb637e82246f009e53ec5e9b",
      "href": "/os-evidence/0b7add763ec25ec55a49ffbad2f6099df64a4f58eb637e82246f009e53ec5e9b.txt",
      "sha256": "0b7add763ec25ec55a49ffbad2f6099df64a4f58eb637e82246f009e53ec5e9b",
      "bytes": 26669,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/acceptance-two-banks-uefi-1024/serial.log",
      "originalSha256": "467700fd79619da73d36f6c37a1bad4089f68154c6bfcace8a5b6ed1f5355afb",
      "href": "/os-evidence/467700fd79619da73d36f6c37a1bad4089f68154c6bfcace8a5b6ed1f5355afb.txt",
      "sha256": "467700fd79619da73d36f6c37a1bad4089f68154c6bfcace8a5b6ed1f5355afb",
      "bytes": 26669,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/product-one-bank-direct-256/serial.log",
      "originalSha256": "e39b75f28889c67b422eb76666c1118f165f3947adde930950b7d4d182294659",
      "href": "/os-evidence/e39b75f28889c67b422eb76666c1118f165f3947adde930950b7d4d182294659.txt",
      "sha256": "e39b75f28889c67b422eb76666c1118f165f3947adde930950b7d4d182294659",
      "bytes": 11610,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/product-one-bank-direct-512/serial.log",
      "originalSha256": "bb079e84a130dfce54e0bcbeb9d3f9620a519142ac8557cc860049f87fb23491",
      "href": "/os-evidence/bb079e84a130dfce54e0bcbeb9d3f9620a519142ac8557cc860049f87fb23491.txt",
      "sha256": "bb079e84a130dfce54e0bcbeb9d3f9620a519142ac8557cc860049f87fb23491",
      "bytes": 11610,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/product-one-bank-direct-1024/serial.log",
      "originalSha256": "e8c7a94bcf978974f20945f856bb8f75ef085515212d4e20947c5e5482ac9748",
      "href": "/os-evidence/e8c7a94bcf978974f20945f856bb8f75ef085515212d4e20947c5e5482ac9748.txt",
      "sha256": "e8c7a94bcf978974f20945f856bb8f75ef085515212d4e20947c5e5482ac9748",
      "bytes": 11610,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/product-one-bank-uefi-256/serial.log",
      "originalSha256": "9650b09b3c31f7957f8984b423359ef0d8c2cd7f4e18523f43e0ddeca784e549",
      "href": "/os-evidence/9650b09b3c31f7957f8984b423359ef0d8c2cd7f4e18523f43e0ddeca784e549.txt",
      "sha256": "9650b09b3c31f7957f8984b423359ef0d8c2cd7f4e18523f43e0ddeca784e549",
      "bytes": 17565,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/product-one-bank-uefi-512/serial.log",
      "originalSha256": "50c5f4ee2a2f197cbd6790277f5fbffc77228b53934190ef21cdc75d6e23498d",
      "href": "/os-evidence/50c5f4ee2a2f197cbd6790277f5fbffc77228b53934190ef21cdc75d6e23498d.txt",
      "sha256": "50c5f4ee2a2f197cbd6790277f5fbffc77228b53934190ef21cdc75d6e23498d",
      "bytes": 17565,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/product-one-bank-uefi-1024/serial.log",
      "originalSha256": "cab85d27be7f8798f5099f362d7645ce4b674d1976eac052e8da81d44b3cb5be",
      "href": "/os-evidence/cab85d27be7f8798f5099f362d7645ce4b674d1976eac052e8da81d44b3cb5be.txt",
      "sha256": "cab85d27be7f8798f5099f362d7645ce4b674d1976eac052e8da81d44b3cb5be",
      "bytes": 17565,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/product-two-banks-direct-256/serial.log",
      "originalSha256": "6bca07a4970f32ebb622158e4c316b586d79b3f084cb18b371567c19a0542465",
      "href": "/os-evidence/6bca07a4970f32ebb622158e4c316b586d79b3f084cb18b371567c19a0542465.txt",
      "sha256": "6bca07a4970f32ebb622158e4c316b586d79b3f084cb18b371567c19a0542465",
      "bytes": 12494,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/product-two-banks-direct-512/serial.log",
      "originalSha256": "ba433c969d6f3e81ef71c31fdc87496bb73d2e1adaee6f055c598059539109df",
      "href": "/os-evidence/ba433c969d6f3e81ef71c31fdc87496bb73d2e1adaee6f055c598059539109df.txt",
      "sha256": "ba433c969d6f3e81ef71c31fdc87496bb73d2e1adaee6f055c598059539109df",
      "bytes": 12494,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/product-two-banks-direct-1024/serial.log",
      "originalSha256": "d6197c70aff4c2d317e489be7a38ec6ad62db19d0eff72bd419b3e54b7a83348",
      "href": "/os-evidence/d6197c70aff4c2d317e489be7a38ec6ad62db19d0eff72bd419b3e54b7a83348.txt",
      "sha256": "d6197c70aff4c2d317e489be7a38ec6ad62db19d0eff72bd419b3e54b7a83348",
      "bytes": 12494,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/product-two-banks-uefi-256/serial.log",
      "originalSha256": "a8a75edc50243205f49b4fddf5d720eb60dbe98cf2eb58b7d15f0d169f062bbe",
      "href": "/os-evidence/a8a75edc50243205f49b4fddf5d720eb60dbe98cf2eb58b7d15f0d169f062bbe.txt",
      "sha256": "a8a75edc50243205f49b4fddf5d720eb60dbe98cf2eb58b7d15f0d169f062bbe",
      "bytes": 18359,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/product-two-banks-uefi-512/serial.log",
      "originalSha256": "fd85e9f478db1d0726d493d5239e69f37e532b5278ec988c99eaf1dd8f1e20b7",
      "href": "/os-evidence/fd85e9f478db1d0726d493d5239e69f37e532b5278ec988c99eaf1dd8f1e20b7.txt",
      "sha256": "fd85e9f478db1d0726d493d5239e69f37e532b5278ec988c99eaf1dd8f1e20b7",
      "bytes": 18359,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K965-K980-q5qtic/product-two-banks-uefi-1024/serial.log",
      "originalSha256": "e0aff068fbf0232dd828fa26fd619716dd121d84261c754113c09f1b964fe9ca",
      "href": "/os-evidence/e0aff068fbf0232dd828fa26fd619716dd121d84261c754113c09f1b964fe9ca.txt",
      "sha256": "e0aff068fbf0232dd828fa26fd619716dd121d84261c754113c09f1b964fe9ca",
      "bytes": 18359,
      "redacted": false
    }
  ],
  "moves": [
    "K965",
    "K975",
    "K980"
  ]
}