{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K865-K880-sdSn5Y/report.json",
    "sha256": "85f86358e949fc4e12a693cbe5d27e12be17fdc4745928b2215790fa31d7025b",
    "bytes": 6644232
  },
  "status": "DEVELOPMENT_GUEST_PARTIAL",
  "scope": "Actual retained Normal RAM user-copy with complete private Mapping pins: 8193-byte read at offset4095, missing-last refusal before kernel changes, RX-last refusal before user changes, bounded cross-page NUL/65536-byte ENAMETOOLONG, separately stacked scheduler-selected EL0 taskB SVC attempting unmap/protect/backing release while pinned, four actual timer IRQs, completed copy and exact authority restoration. Actual baseline12/current16 is independently captured before the historical predecessor projection; raw evidence is retained. Product contains no user-copy probe. Exact one-byte debugger checkpoint gates are source/ELF/QMP bound. One CPU bootstrap scope; general syscall dispatcher, physical M1 and noncoherent physical DMA cache maintenance remain pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 24,
  "caseSerialsSelected": 24,
  "imageSha256": "a660b06ae7343aca6f6c482f0f7ecaddd85c6e3ec0abd6bb5d8814067a2cfcfb",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/acceptance-one-bank-direct-256/serial.log",
      "originalSha256": "34e0cf5120eee2ca7d40e379a79b15d218adb2dbe672d4e607ff1566810ac014",
      "href": "/os-evidence/34e0cf5120eee2ca7d40e379a79b15d218adb2dbe672d4e607ff1566810ac014.txt",
      "sha256": "34e0cf5120eee2ca7d40e379a79b15d218adb2dbe672d4e607ff1566810ac014",
      "bytes": 15394,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/acceptance-one-bank-direct-512/serial.log",
      "originalSha256": "721c25447f80ff6e404f28685dc452b2fbfb3baac63709182dd254f18be6ed9f",
      "href": "/os-evidence/721c25447f80ff6e404f28685dc452b2fbfb3baac63709182dd254f18be6ed9f.txt",
      "sha256": "721c25447f80ff6e404f28685dc452b2fbfb3baac63709182dd254f18be6ed9f",
      "bytes": 15394,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/acceptance-one-bank-direct-1024/serial.log",
      "originalSha256": "71316506be596851f069037b4928fbe584d2b937aa0e1bbe13408858fe280452",
      "href": "/os-evidence/71316506be596851f069037b4928fbe584d2b937aa0e1bbe13408858fe280452.txt",
      "sha256": "71316506be596851f069037b4928fbe584d2b937aa0e1bbe13408858fe280452",
      "bytes": 15394,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/acceptance-one-bank-uefi-256/serial.log",
      "originalSha256": "aac7924d7372681720bcaa4e27ac918d4685abca886f893244158398811409c4",
      "href": "/os-evidence/aac7924d7372681720bcaa4e27ac918d4685abca886f893244158398811409c4.txt",
      "sha256": "aac7924d7372681720bcaa4e27ac918d4685abca886f893244158398811409c4",
      "bytes": 21349,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/acceptance-one-bank-uefi-512/serial.log",
      "originalSha256": "c9ffec19097ccf0e081bd4c4a18f8fc37efee0b9b0e0d4bc548f2403f7083ef5",
      "href": "/os-evidence/c9ffec19097ccf0e081bd4c4a18f8fc37efee0b9b0e0d4bc548f2403f7083ef5.txt",
      "sha256": "c9ffec19097ccf0e081bd4c4a18f8fc37efee0b9b0e0d4bc548f2403f7083ef5",
      "bytes": 21349,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/acceptance-one-bank-uefi-1024/serial.log",
      "originalSha256": "cae8f52f38f72ad07edad9a3f2384c82c41dac7ecc13828172669e310d0609bc",
      "href": "/os-evidence/cae8f52f38f72ad07edad9a3f2384c82c41dac7ecc13828172669e310d0609bc.txt",
      "sha256": "cae8f52f38f72ad07edad9a3f2384c82c41dac7ecc13828172669e310d0609bc",
      "bytes": 21349,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/acceptance-two-banks-direct-256/serial.log",
      "originalSha256": "96f6900c77680488c1d03bf10649d4ec05d4e4decbb4d19b0f01f59dd1df9db2",
      "href": "/os-evidence/96f6900c77680488c1d03bf10649d4ec05d4e4decbb4d19b0f01f59dd1df9db2.txt",
      "sha256": "96f6900c77680488c1d03bf10649d4ec05d4e4decbb4d19b0f01f59dd1df9db2",
      "bytes": 16278,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/acceptance-two-banks-direct-512/serial.log",
      "originalSha256": "3a9fd90a77f71b52b12c8285c3335a130bbf15f453bb549fa75828f3bad7ab63",
      "href": "/os-evidence/3a9fd90a77f71b52b12c8285c3335a130bbf15f453bb549fa75828f3bad7ab63.txt",
      "sha256": "3a9fd90a77f71b52b12c8285c3335a130bbf15f453bb549fa75828f3bad7ab63",
      "bytes": 16278,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/acceptance-two-banks-direct-1024/serial.log",
      "originalSha256": "c351312693fdbad9358cffef1b4b8b621d46ca80b4d18fda1ae2627c857cb7f7",
      "href": "/os-evidence/c351312693fdbad9358cffef1b4b8b621d46ca80b4d18fda1ae2627c857cb7f7.txt",
      "sha256": "c351312693fdbad9358cffef1b4b8b621d46ca80b4d18fda1ae2627c857cb7f7",
      "bytes": 16278,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/acceptance-two-banks-uefi-256/serial.log",
      "originalSha256": "f1e468497119d0eb30430b9ed55345087383bbeecaeefe199c56ebc06fa14180",
      "href": "/os-evidence/f1e468497119d0eb30430b9ed55345087383bbeecaeefe199c56ebc06fa14180.txt",
      "sha256": "f1e468497119d0eb30430b9ed55345087383bbeecaeefe199c56ebc06fa14180",
      "bytes": 22143,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/acceptance-two-banks-uefi-512/serial.log",
      "originalSha256": "ee9d141c8365ddc44453d722b1a77470cffc8e824f4f5db85971fe3d5bd60978",
      "href": "/os-evidence/ee9d141c8365ddc44453d722b1a77470cffc8e824f4f5db85971fe3d5bd60978.txt",
      "sha256": "ee9d141c8365ddc44453d722b1a77470cffc8e824f4f5db85971fe3d5bd60978",
      "bytes": 22143,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/acceptance-two-banks-uefi-1024/serial.log",
      "originalSha256": "aad5b6b4e46af3c8b67fa0a149d7d09bd4bc6a2a0955528a78d31d7d81d6f51a",
      "href": "/os-evidence/aad5b6b4e46af3c8b67fa0a149d7d09bd4bc6a2a0955528a78d31d7d81d6f51a.txt",
      "sha256": "aad5b6b4e46af3c8b67fa0a149d7d09bd4bc6a2a0955528a78d31d7d81d6f51a",
      "bytes": 22143,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/product-one-bank-direct-256/serial.log",
      "originalSha256": "d3d05bedb096d171f8c4ae81c910051d6c4753b25d7aea13dd747ed5fbd9e42a",
      "href": "/os-evidence/d3d05bedb096d171f8c4ae81c910051d6c4753b25d7aea13dd747ed5fbd9e42a.txt",
      "sha256": "d3d05bedb096d171f8c4ae81c910051d6c4753b25d7aea13dd747ed5fbd9e42a",
      "bytes": 11266,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/product-one-bank-direct-512/serial.log",
      "originalSha256": "1c4aeba86c90cda915938786d833b45a24c1680373ac2404a219d490543420ea",
      "href": "/os-evidence/1c4aeba86c90cda915938786d833b45a24c1680373ac2404a219d490543420ea.txt",
      "sha256": "1c4aeba86c90cda915938786d833b45a24c1680373ac2404a219d490543420ea",
      "bytes": 11266,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/product-one-bank-direct-1024/serial.log",
      "originalSha256": "65038d174d0b9b19dc16b4143f5f119b9aec25792bde87d6eba60073f3a918d0",
      "href": "/os-evidence/65038d174d0b9b19dc16b4143f5f119b9aec25792bde87d6eba60073f3a918d0.txt",
      "sha256": "65038d174d0b9b19dc16b4143f5f119b9aec25792bde87d6eba60073f3a918d0",
      "bytes": 11266,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/product-one-bank-uefi-256/serial.log",
      "originalSha256": "ddb5b4ccf7fd5e60274610e3adaeebc935741cb7d7a0a746efecd3b97bdef143",
      "href": "/os-evidence/ddb5b4ccf7fd5e60274610e3adaeebc935741cb7d7a0a746efecd3b97bdef143.txt",
      "sha256": "ddb5b4ccf7fd5e60274610e3adaeebc935741cb7d7a0a746efecd3b97bdef143",
      "bytes": 17221,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/product-one-bank-uefi-512/serial.log",
      "originalSha256": "7663e8be1efc305e2a2ed530ee6c4ddaf757cd71cce78aca3b8f29f2ff9d558f",
      "href": "/os-evidence/7663e8be1efc305e2a2ed530ee6c4ddaf757cd71cce78aca3b8f29f2ff9d558f.txt",
      "sha256": "7663e8be1efc305e2a2ed530ee6c4ddaf757cd71cce78aca3b8f29f2ff9d558f",
      "bytes": 17221,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/product-one-bank-uefi-1024/serial.log",
      "originalSha256": "86894cd5d600abfbeb6f64b16a3b2941ac93e3743e3643cfdafa2b25a7e6678a",
      "href": "/os-evidence/86894cd5d600abfbeb6f64b16a3b2941ac93e3743e3643cfdafa2b25a7e6678a.txt",
      "sha256": "86894cd5d600abfbeb6f64b16a3b2941ac93e3743e3643cfdafa2b25a7e6678a",
      "bytes": 17221,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/product-two-banks-direct-256/serial.log",
      "originalSha256": "bf35ee2175841bfebc3fa80bb0e2b3a3789a23fb16370d3db508b2ff4e902ec1",
      "href": "/os-evidence/bf35ee2175841bfebc3fa80bb0e2b3a3789a23fb16370d3db508b2ff4e902ec1.txt",
      "sha256": "bf35ee2175841bfebc3fa80bb0e2b3a3789a23fb16370d3db508b2ff4e902ec1",
      "bytes": 12150,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/product-two-banks-direct-512/serial.log",
      "originalSha256": "5b6cb0b97bc4d55704958aa204ef03834a97525504ddeab1fc34ff36ac4512f3",
      "href": "/os-evidence/5b6cb0b97bc4d55704958aa204ef03834a97525504ddeab1fc34ff36ac4512f3.txt",
      "sha256": "5b6cb0b97bc4d55704958aa204ef03834a97525504ddeab1fc34ff36ac4512f3",
      "bytes": 12150,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/product-two-banks-direct-1024/serial.log",
      "originalSha256": "2287a64f5d0978d76cbea550c772ed97b834e225f3035bf3e88b3a49a749dc0e",
      "href": "/os-evidence/2287a64f5d0978d76cbea550c772ed97b834e225f3035bf3e88b3a49a749dc0e.txt",
      "sha256": "2287a64f5d0978d76cbea550c772ed97b834e225f3035bf3e88b3a49a749dc0e",
      "bytes": 12150,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/product-two-banks-uefi-256/serial.log",
      "originalSha256": "46805e460f71f7293377ae9eb3e6386baea85a8b4c41d9bdedcb64f14695fe21",
      "href": "/os-evidence/46805e460f71f7293377ae9eb3e6386baea85a8b4c41d9bdedcb64f14695fe21.txt",
      "sha256": "46805e460f71f7293377ae9eb3e6386baea85a8b4c41d9bdedcb64f14695fe21",
      "bytes": 18015,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/product-two-banks-uefi-512/serial.log",
      "originalSha256": "29ca52515533c362f1e6f28c0fe61b772c53fcb42fcd10c02f2a8b2c402ccc44",
      "href": "/os-evidence/29ca52515533c362f1e6f28c0fe61b772c53fcb42fcd10c02f2a8b2c402ccc44.txt",
      "sha256": "29ca52515533c362f1e6f28c0fe61b772c53fcb42fcd10c02f2a8b2c402ccc44",
      "bytes": 18015,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K865-K880-sdSn5Y/product-two-banks-uefi-1024/serial.log",
      "originalSha256": "3432c5abbce59ce340318d759383c151957116f0b008666522699714f823f9c7",
      "href": "/os-evidence/3432c5abbce59ce340318d759383c151957116f0b008666522699714f823f9c7.txt",
      "sha256": "3432c5abbce59ce340318d759383c151957116f0b008666522699714f823f9c7",
      "bytes": 18015,
      "redacted": false
    }
  ],
  "moves": [
    "K865",
    "K870",
    "K875",
    "K880"
  ]
}