{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K745-K760-f0Qh3T/report.json",
    "sha256": "5cc0584dd4ba723f22bdad1effa7ecaaafaacd04e1133be8c51030caef94df1a",
    "bytes": 852025
  },
  "status": "DEVELOPMENT_GUEST_PARTIAL",
  "scope": "Disposable product and acceptance Images. Actual central typed page leases back aligned1/2/4/8page blocks; all15 pages are disjoint, physically canaried and restored before release. Split children exactly partition8pages; only free same-order buddies merge. Fragmented8page pool returns contiguous ENOSPC with four free scattered pages and exact free/live/reserved central inventory unchanged. Buddy executes on inherited guarded64KiB stack before final frame checkpoint and preserves metadata reused page bytes. Fresh M1 matching Image evidence, release and external review remain pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 24,
  "caseSerialsSelected": 24,
  "imageSha256": "5d6fe82242a7230cf2c76b2c8a911f294d9589811a029d9c48cf58519a3d5769",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/product-one-bank-direct-256/serial.log",
      "originalSha256": "3c73b80c4deec283f16b3fa2d8c5424dbafefab38de07ce84e205bf2d5c10ad2",
      "href": "/os-evidence/3c73b80c4deec283f16b3fa2d8c5424dbafefab38de07ce84e205bf2d5c10ad2.txt",
      "sha256": "3c73b80c4deec283f16b3fa2d8c5424dbafefab38de07ce84e205bf2d5c10ad2",
      "bytes": 8627,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/product-one-bank-direct-512/serial.log",
      "originalSha256": "c056cabb92568407b5fdcd215cf6302cc88fd31a4df2e35602324abafc341d69",
      "href": "/os-evidence/c056cabb92568407b5fdcd215cf6302cc88fd31a4df2e35602324abafc341d69.txt",
      "sha256": "c056cabb92568407b5fdcd215cf6302cc88fd31a4df2e35602324abafc341d69",
      "bytes": 8627,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/product-one-bank-direct-1024/serial.log",
      "originalSha256": "a105718d86bd8016dae0743883f905e707e748fd6288748ef269bdcccfebbf50",
      "href": "/os-evidence/a105718d86bd8016dae0743883f905e707e748fd6288748ef269bdcccfebbf50.txt",
      "sha256": "a105718d86bd8016dae0743883f905e707e748fd6288748ef269bdcccfebbf50",
      "bytes": 8627,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/product-one-bank-uefi-256/serial.log",
      "originalSha256": "735a2ab73e754a7753b4b2c4bc9156ed7b41060d6d48c710457752baf26b3315",
      "href": "/os-evidence/735a2ab73e754a7753b4b2c4bc9156ed7b41060d6d48c710457752baf26b3315.txt",
      "sha256": "735a2ab73e754a7753b4b2c4bc9156ed7b41060d6d48c710457752baf26b3315",
      "bytes": 14867,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/product-one-bank-uefi-512/serial.log",
      "originalSha256": "04c5c427b205145145238a9713ae0c5a66055a34a13b65f9455b1d3033b70fda",
      "href": "/os-evidence/04c5c427b205145145238a9713ae0c5a66055a34a13b65f9455b1d3033b70fda.txt",
      "sha256": "04c5c427b205145145238a9713ae0c5a66055a34a13b65f9455b1d3033b70fda",
      "bytes": 14867,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/product-one-bank-uefi-1024/serial.log",
      "originalSha256": "a05a8f7bd55bc51960309bba7213a8269893c9c380064d3a5efd056349a42ba9",
      "href": "/os-evidence/a05a8f7bd55bc51960309bba7213a8269893c9c380064d3a5efd056349a42ba9.txt",
      "sha256": "a05a8f7bd55bc51960309bba7213a8269893c9c380064d3a5efd056349a42ba9",
      "bytes": 14867,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/product-two-banks-direct-256/serial.log",
      "originalSha256": "25d3b39a22363cd003393abbb70109fbec164b9917ae2d75c177f1e00f57556c",
      "href": "/os-evidence/25d3b39a22363cd003393abbb70109fbec164b9917ae2d75c177f1e00f57556c.txt",
      "sha256": "25d3b39a22363cd003393abbb70109fbec164b9917ae2d75c177f1e00f57556c",
      "bytes": 9511,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/product-two-banks-direct-512/serial.log",
      "originalSha256": "ca2833b0ad598b6ed4056170a7cf79d020f8dff31b7abedd2d49204936c35001",
      "href": "/os-evidence/ca2833b0ad598b6ed4056170a7cf79d020f8dff31b7abedd2d49204936c35001.txt",
      "sha256": "ca2833b0ad598b6ed4056170a7cf79d020f8dff31b7abedd2d49204936c35001",
      "bytes": 9511,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/product-two-banks-direct-1024/serial.log",
      "originalSha256": "1037f1965665800b13d735ad70866702e521020e4d3dba0040e687ad7399db37",
      "href": "/os-evidence/1037f1965665800b13d735ad70866702e521020e4d3dba0040e687ad7399db37.txt",
      "sha256": "1037f1965665800b13d735ad70866702e521020e4d3dba0040e687ad7399db37",
      "bytes": 9511,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/product-two-banks-uefi-256/serial.log",
      "originalSha256": "dc137d31cfe3c87f889834a25f5cb9fa0a4ba58905c5b12aec2d8b88763a2787",
      "href": "/os-evidence/dc137d31cfe3c87f889834a25f5cb9fa0a4ba58905c5b12aec2d8b88763a2787.txt",
      "sha256": "dc137d31cfe3c87f889834a25f5cb9fa0a4ba58905c5b12aec2d8b88763a2787",
      "bytes": 15661,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/product-two-banks-uefi-512/serial.log",
      "originalSha256": "049b46253c412c2e61c0e918c94fb23e7cf406e85294552211dda36bf9a453ef",
      "href": "/os-evidence/049b46253c412c2e61c0e918c94fb23e7cf406e85294552211dda36bf9a453ef.txt",
      "sha256": "049b46253c412c2e61c0e918c94fb23e7cf406e85294552211dda36bf9a453ef",
      "bytes": 15661,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/product-two-banks-uefi-1024/serial.log",
      "originalSha256": "2ef01fa7bf63ea2f843ba7c6c83aaa44c6692ea2dac5969a9d54191d6338a486",
      "href": "/os-evidence/2ef01fa7bf63ea2f843ba7c6c83aaa44c6692ea2dac5969a9d54191d6338a486.txt",
      "sha256": "2ef01fa7bf63ea2f843ba7c6c83aaa44c6692ea2dac5969a9d54191d6338a486",
      "bytes": 15661,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/acceptance-one-bank-direct-256/serial.log",
      "originalSha256": "55f8d70e61fff06426b8ed594e55306c0aa53c2ed8fbd9e8e99649a4a61504c3",
      "href": "/os-evidence/55f8d70e61fff06426b8ed594e55306c0aa53c2ed8fbd9e8e99649a4a61504c3.txt",
      "sha256": "55f8d70e61fff06426b8ed594e55306c0aa53c2ed8fbd9e8e99649a4a61504c3",
      "bytes": 10325,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/acceptance-one-bank-direct-512/serial.log",
      "originalSha256": "b72ae43a1db787a77f20cec93b2114e70a0fa2ba2b3a7da3f9fd5ccf9a20529f",
      "href": "/os-evidence/b72ae43a1db787a77f20cec93b2114e70a0fa2ba2b3a7da3f9fd5ccf9a20529f.txt",
      "sha256": "b72ae43a1db787a77f20cec93b2114e70a0fa2ba2b3a7da3f9fd5ccf9a20529f",
      "bytes": 10325,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/acceptance-one-bank-direct-1024/serial.log",
      "originalSha256": "a906042baab361205af8c152d80d6ade89f586dbff734bfe042abdcd4dda2024",
      "href": "/os-evidence/a906042baab361205af8c152d80d6ade89f586dbff734bfe042abdcd4dda2024.txt",
      "sha256": "a906042baab361205af8c152d80d6ade89f586dbff734bfe042abdcd4dda2024",
      "bytes": 10325,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/acceptance-one-bank-uefi-256/serial.log",
      "originalSha256": "77bae3db9acdc820fd6469fd9ba5b9cd4a5bb30c639dcbc50932c33ac0c1a000",
      "href": "/os-evidence/77bae3db9acdc820fd6469fd9ba5b9cd4a5bb30c639dcbc50932c33ac0c1a000.txt",
      "sha256": "77bae3db9acdc820fd6469fd9ba5b9cd4a5bb30c639dcbc50932c33ac0c1a000",
      "bytes": 16565,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/acceptance-one-bank-uefi-512/serial.log",
      "originalSha256": "5a7c3da8009aa25ebcf78a0971d0c387212f4721ceea91a84b65a01749459ea1",
      "href": "/os-evidence/5a7c3da8009aa25ebcf78a0971d0c387212f4721ceea91a84b65a01749459ea1.txt",
      "sha256": "5a7c3da8009aa25ebcf78a0971d0c387212f4721ceea91a84b65a01749459ea1",
      "bytes": 16565,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/acceptance-one-bank-uefi-1024/serial.log",
      "originalSha256": "6ab2dadc7918ed40d3e75bbc5f47e265ca00fbc964e98ee70c5a1626a3b982e6",
      "href": "/os-evidence/6ab2dadc7918ed40d3e75bbc5f47e265ca00fbc964e98ee70c5a1626a3b982e6.txt",
      "sha256": "6ab2dadc7918ed40d3e75bbc5f47e265ca00fbc964e98ee70c5a1626a3b982e6",
      "bytes": 16565,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/acceptance-two-banks-direct-256/serial.log",
      "originalSha256": "55df99c34886dd22cb3f016e24c590ff722e5ccf102bc3ed39a7f6f7de55eed7",
      "href": "/os-evidence/55df99c34886dd22cb3f016e24c590ff722e5ccf102bc3ed39a7f6f7de55eed7.txt",
      "sha256": "55df99c34886dd22cb3f016e24c590ff722e5ccf102bc3ed39a7f6f7de55eed7",
      "bytes": 11209,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/acceptance-two-banks-direct-512/serial.log",
      "originalSha256": "b72c0cd6299118acdadc689facc992d5d2090825375a0c1991c1cf10298832e6",
      "href": "/os-evidence/b72c0cd6299118acdadc689facc992d5d2090825375a0c1991c1cf10298832e6.txt",
      "sha256": "b72c0cd6299118acdadc689facc992d5d2090825375a0c1991c1cf10298832e6",
      "bytes": 11209,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/acceptance-two-banks-direct-1024/serial.log",
      "originalSha256": "e01555721859efa4578d1a89e3e59a0dd4f3e1fdd2b94b30696196338a4d07e8",
      "href": "/os-evidence/e01555721859efa4578d1a89e3e59a0dd4f3e1fdd2b94b30696196338a4d07e8.txt",
      "sha256": "e01555721859efa4578d1a89e3e59a0dd4f3e1fdd2b94b30696196338a4d07e8",
      "bytes": 11209,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/acceptance-two-banks-uefi-256/serial.log",
      "originalSha256": "3232bc901592f7c10ca0826ec5247d8a30c38bad330a9c596776cd9ced4168f1",
      "href": "/os-evidence/3232bc901592f7c10ca0826ec5247d8a30c38bad330a9c596776cd9ced4168f1.txt",
      "sha256": "3232bc901592f7c10ca0826ec5247d8a30c38bad330a9c596776cd9ced4168f1",
      "bytes": 17359,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/acceptance-two-banks-uefi-512/serial.log",
      "originalSha256": "015e4780d4889c67797bddff99342a7e4538e12d99f90c2053ddf716278996c0",
      "href": "/os-evidence/015e4780d4889c67797bddff99342a7e4538e12d99f90c2053ddf716278996c0.txt",
      "sha256": "015e4780d4889c67797bddff99342a7e4538e12d99f90c2053ddf716278996c0",
      "bytes": 17359,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K745-K760-f0Qh3T/acceptance-two-banks-uefi-1024/serial.log",
      "originalSha256": "51f230fba7df4b79e8b7ce156cb5d926cb9ce117a6df74a253eca8c1e6206fdc",
      "href": "/os-evidence/51f230fba7df4b79e8b7ce156cb5d926cb9ce117a6df74a253eca8c1e6206fdc.txt",
      "sha256": "51f230fba7df4b79e8b7ce156cb5d926cb9ce117a6df74a253eca8c1e6206fdc",
      "bytes": 17359,
      "redacted": false
    }
  ],
  "moves": [
    "K745",
    "K750",
    "K755",
    "K760"
  ]
}