{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K925-K940-HMI6Nu/report.json",
    "sha256": "c8ddd843aea7b33194c9c0df3522dc011f8eb9b366c97012b51d3db7f6188ea5",
    "bytes": 11578433
  },
  "status": "DEVELOPMENT_GUEST_PARTIAL",
  "scope": "One bootstrap CPU owns actual PPI30 and the DTB-derived edge SPI through an exclusive backend and nonclone registration, dispatch and returned-retirement handoff. Nine real IRQ entries measure one timer, forty actual RX completions, explicit edge continuation, a continuously asserted timer and two unregistered source refusals. The actual 32-entry DMA rings and sixty-four fresh host packets, full848-byte IRQ and EL0 frames, bounded callbacks, five scheduler-selected EL0 entries, mask readbacks, EOI/DIR/barriers and active-close retained pages are captured. Device reset status0 and QueueReady0 precede unpin and zero/free in main. All five GIC and six user pages erase before reuse, exact central inventories and actual predecessor IRQ service ownership restore. Genuine predecessor IRQ18 remains recorded and current27 is checked before historical parent projection; original artifacts and event histories are retained. Product performs no GIC probe. General preemptive scheduling, fresh matching physical M1 and production release remain pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 24,
  "caseSerialsSelected": 24,
  "imageSha256": "bc66f1d35dc0b95f191b0ec495dbe74d7aecae68f71b33f23ae67225bd188029",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/acceptance-one-bank-direct-256/serial.log",
      "originalSha256": "5b3302b22bd1e5d768e9937b9513642badebfe33faf111077327ed5ec0815393",
      "href": "/os-evidence/5b3302b22bd1e5d768e9937b9513642badebfe33faf111077327ed5ec0815393.txt",
      "sha256": "5b3302b22bd1e5d768e9937b9513642badebfe33faf111077327ed5ec0815393",
      "bytes": 18387,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/acceptance-one-bank-direct-512/serial.log",
      "originalSha256": "52bfa5569bd88e64f2b215745319bb4bc4d631dd2b4d8b036666f87ac75cec0c",
      "href": "/os-evidence/52bfa5569bd88e64f2b215745319bb4bc4d631dd2b4d8b036666f87ac75cec0c.txt",
      "sha256": "52bfa5569bd88e64f2b215745319bb4bc4d631dd2b4d8b036666f87ac75cec0c",
      "bytes": 18387,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/acceptance-one-bank-direct-1024/serial.log",
      "originalSha256": "410f74107498c9567169ea6089d69c517ed0539ced3a82473152668c2a882430",
      "href": "/os-evidence/410f74107498c9567169ea6089d69c517ed0539ced3a82473152668c2a882430.txt",
      "sha256": "410f74107498c9567169ea6089d69c517ed0539ced3a82473152668c2a882430",
      "bytes": 18387,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/acceptance-one-bank-uefi-256/serial.log",
      "originalSha256": "9d309d33061fe02cf339d6b0634ea06b8d7ee2fe94800f72856bd6e876024528",
      "href": "/os-evidence/9d309d33061fe02cf339d6b0634ea06b8d7ee2fe94800f72856bd6e876024528.txt",
      "sha256": "9d309d33061fe02cf339d6b0634ea06b8d7ee2fe94800f72856bd6e876024528",
      "bytes": 24342,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/acceptance-one-bank-uefi-512/serial.log",
      "originalSha256": "53cd3c2764155424b2cf43608f74b8cd095acd40f9500fdc55c67daeec8e0b65",
      "href": "/os-evidence/53cd3c2764155424b2cf43608f74b8cd095acd40f9500fdc55c67daeec8e0b65.txt",
      "sha256": "53cd3c2764155424b2cf43608f74b8cd095acd40f9500fdc55c67daeec8e0b65",
      "bytes": 24342,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/acceptance-one-bank-uefi-1024/serial.log",
      "originalSha256": "4aa6e3308b522c035cf8e25d947bb7b55ba9e8d6ab016db6586cf624942f025e",
      "href": "/os-evidence/4aa6e3308b522c035cf8e25d947bb7b55ba9e8d6ab016db6586cf624942f025e.txt",
      "sha256": "4aa6e3308b522c035cf8e25d947bb7b55ba9e8d6ab016db6586cf624942f025e",
      "bytes": 24342,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/acceptance-two-banks-direct-256/serial.log",
      "originalSha256": "de312e6b8fac74f14c3dd6d431e906706a3d1fcd0a0614fbfefae07acd6800a3",
      "href": "/os-evidence/de312e6b8fac74f14c3dd6d431e906706a3d1fcd0a0614fbfefae07acd6800a3.txt",
      "sha256": "de312e6b8fac74f14c3dd6d431e906706a3d1fcd0a0614fbfefae07acd6800a3",
      "bytes": 19271,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/acceptance-two-banks-direct-512/serial.log",
      "originalSha256": "aa94ef7bfe0bed78a5a648073de3a47fd3586628bd49f4ae96d71b7053c86b14",
      "href": "/os-evidence/aa94ef7bfe0bed78a5a648073de3a47fd3586628bd49f4ae96d71b7053c86b14.txt",
      "sha256": "aa94ef7bfe0bed78a5a648073de3a47fd3586628bd49f4ae96d71b7053c86b14",
      "bytes": 19271,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/acceptance-two-banks-direct-1024/serial.log",
      "originalSha256": "d434497e51e5426f1ad88305e2309e44299d90a106266b38ffca90b7da45edd7",
      "href": "/os-evidence/d434497e51e5426f1ad88305e2309e44299d90a106266b38ffca90b7da45edd7.txt",
      "sha256": "d434497e51e5426f1ad88305e2309e44299d90a106266b38ffca90b7da45edd7",
      "bytes": 19271,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/acceptance-two-banks-uefi-256/serial.log",
      "originalSha256": "4cc301c22fde47cba22fe796269c89dd6eb347f6a6de55beea286d0efa6f518c",
      "href": "/os-evidence/4cc301c22fde47cba22fe796269c89dd6eb347f6a6de55beea286d0efa6f518c.txt",
      "sha256": "4cc301c22fde47cba22fe796269c89dd6eb347f6a6de55beea286d0efa6f518c",
      "bytes": 25136,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/acceptance-two-banks-uefi-512/serial.log",
      "originalSha256": "10346fba8217ec75faf720ee85c7e940d3ea18268791fcd7303b1063d5b36c78",
      "href": "/os-evidence/10346fba8217ec75faf720ee85c7e940d3ea18268791fcd7303b1063d5b36c78.txt",
      "sha256": "10346fba8217ec75faf720ee85c7e940d3ea18268791fcd7303b1063d5b36c78",
      "bytes": 25136,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/acceptance-two-banks-uefi-1024/serial.log",
      "originalSha256": "e7da7a5acd97fe96b50dde0573d124a64414f1f1a73a6cb6529b6161ac668af1",
      "href": "/os-evidence/e7da7a5acd97fe96b50dde0573d124a64414f1f1a73a6cb6529b6161ac668af1.txt",
      "sha256": "e7da7a5acd97fe96b50dde0573d124a64414f1f1a73a6cb6529b6161ac668af1",
      "bytes": 25136,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/product-one-bank-direct-256/serial.log",
      "originalSha256": "b203072b6c16a0b485308d1db0e3c2785133c73acb6246e9e11c69183883d791",
      "href": "/os-evidence/b203072b6c16a0b485308d1db0e3c2785133c73acb6246e9e11c69183883d791.txt",
      "sha256": "b203072b6c16a0b485308d1db0e3c2785133c73acb6246e9e11c69183883d791",
      "bytes": 11512,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/product-one-bank-direct-512/serial.log",
      "originalSha256": "0b263dba720dd3db9419565e96c34b3233e5a5f766b1061772d7d90a460de090",
      "href": "/os-evidence/0b263dba720dd3db9419565e96c34b3233e5a5f766b1061772d7d90a460de090.txt",
      "sha256": "0b263dba720dd3db9419565e96c34b3233e5a5f766b1061772d7d90a460de090",
      "bytes": 11512,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/product-one-bank-direct-1024/serial.log",
      "originalSha256": "7f74b3154d34c5090dabcb33a5a482e603c73d3d06b198398ebd2004153beaf9",
      "href": "/os-evidence/7f74b3154d34c5090dabcb33a5a482e603c73d3d06b198398ebd2004153beaf9.txt",
      "sha256": "7f74b3154d34c5090dabcb33a5a482e603c73d3d06b198398ebd2004153beaf9",
      "bytes": 11512,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/product-one-bank-uefi-256/serial.log",
      "originalSha256": "d0ddf31d673152cd1693bf69bcdc0ca33c2e515260f823137b89041c409081a8",
      "href": "/os-evidence/d0ddf31d673152cd1693bf69bcdc0ca33c2e515260f823137b89041c409081a8.txt",
      "sha256": "d0ddf31d673152cd1693bf69bcdc0ca33c2e515260f823137b89041c409081a8",
      "bytes": 17467,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/product-one-bank-uefi-512/serial.log",
      "originalSha256": "dd1a9fd733b9ec349ac25fc20d3fd22f7e03a2313669b79153989bb0d535de0c",
      "href": "/os-evidence/dd1a9fd733b9ec349ac25fc20d3fd22f7e03a2313669b79153989bb0d535de0c.txt",
      "sha256": "dd1a9fd733b9ec349ac25fc20d3fd22f7e03a2313669b79153989bb0d535de0c",
      "bytes": 17467,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/product-one-bank-uefi-1024/serial.log",
      "originalSha256": "232c6a735f921d2e3c5dcef38a5d72a75184edd05d384ac9e5b0e79e3a5fcdcf",
      "href": "/os-evidence/232c6a735f921d2e3c5dcef38a5d72a75184edd05d384ac9e5b0e79e3a5fcdcf.txt",
      "sha256": "232c6a735f921d2e3c5dcef38a5d72a75184edd05d384ac9e5b0e79e3a5fcdcf",
      "bytes": 17467,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/product-two-banks-direct-256/serial.log",
      "originalSha256": "01fd0f7634fabccd4981bcaee49868d1f9b0bdeccf7ef1b08fd1e6facb6e3db5",
      "href": "/os-evidence/01fd0f7634fabccd4981bcaee49868d1f9b0bdeccf7ef1b08fd1e6facb6e3db5.txt",
      "sha256": "01fd0f7634fabccd4981bcaee49868d1f9b0bdeccf7ef1b08fd1e6facb6e3db5",
      "bytes": 12396,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/product-two-banks-direct-512/serial.log",
      "originalSha256": "cfcf9ec4e470d31c56df07f91d0c7f7a0c82ecee59d8de79397b76aba5cd56f0",
      "href": "/os-evidence/cfcf9ec4e470d31c56df07f91d0c7f7a0c82ecee59d8de79397b76aba5cd56f0.txt",
      "sha256": "cfcf9ec4e470d31c56df07f91d0c7f7a0c82ecee59d8de79397b76aba5cd56f0",
      "bytes": 12396,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/product-two-banks-direct-1024/serial.log",
      "originalSha256": "53692322b2516de30ec742b2c010a9f9660d39b9d71ff972f0aaf40a3ca951f3",
      "href": "/os-evidence/53692322b2516de30ec742b2c010a9f9660d39b9d71ff972f0aaf40a3ca951f3.txt",
      "sha256": "53692322b2516de30ec742b2c010a9f9660d39b9d71ff972f0aaf40a3ca951f3",
      "bytes": 12396,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/product-two-banks-uefi-256/serial.log",
      "originalSha256": "de89f3a5f9a8cd53d221fb059cdf0820c5150cd7c37b327fbac529212b5adc7d",
      "href": "/os-evidence/de89f3a5f9a8cd53d221fb059cdf0820c5150cd7c37b327fbac529212b5adc7d.txt",
      "sha256": "de89f3a5f9a8cd53d221fb059cdf0820c5150cd7c37b327fbac529212b5adc7d",
      "bytes": 18261,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/product-two-banks-uefi-512/serial.log",
      "originalSha256": "f54a9f8b8a432c9b5aeccc1017bdf65ccfc7c655babbb13e31493fd09e281139",
      "href": "/os-evidence/f54a9f8b8a432c9b5aeccc1017bdf65ccfc7c655babbb13e31493fd09e281139.txt",
      "sha256": "f54a9f8b8a432c9b5aeccc1017bdf65ccfc7c655babbb13e31493fd09e281139",
      "bytes": 18261,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K925-K940-HMI6Nu/product-two-banks-uefi-1024/serial.log",
      "originalSha256": "a252cede514457651600231d73116b3cd87185508e5a63649a4adb2e9f29ef10",
      "href": "/os-evidence/a252cede514457651600231d73116b3cd87185508e5a63649a4adb2e9f29ef10.txt",
      "sha256": "a252cede514457651600231d73116b3cd87185508e5a63649a4adb2e9f29ef10",
      "bytes": 18261,
      "redacted": false
    }
  ],
  "moves": [
    "K925",
    "K930",
    "K935",
    "K940"
  ]
}