{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K725-K740-dYnvnf/report.json",
    "sha256": "90353f54f8c7f96ee96f885e5df85127175d499430c4ffdd084c15ed4a1a584c",
    "bytes": 803682
  },
  "status": "DEVELOPMENT_GUEST_PARTIAL",
  "scope": "Disposable development product and acceptance Images. Two scheduler-selected EL0 consumers have distinct private TTBR0 roots and reuse one actual physical page in the next metadata generation. The first writes 4096 bytes and traps, then retires; the second reads all 4096 zero bytes and traps. The bounded acceptance runs on an isolated Image-owned64KiB kernel stack with an unmapped4KiB guard, two physical canaries, checked SP bounds and original16KiB boot stack restoration. Nonclone borrowed mapping tokens keep all six original owned frames and pin metadata until exact descriptor restoration after kernel TTBR/TLBI. Exact free/live/reserved authority inventories and retained private Lease tokens are checked across negative operations. Six separate failed rollback fixtures quarantine backing and park without reclaim acceptance. Fresh M1 proof for this Image remains pending; release and external review remain pending.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 30,
  "caseSerialsSelected": 30,
  "imageSha256": "3b39e9d2b00853dc97fa9e643b2a65bb1ea64f13891e5a7512ddb3b250da965c",
  "files": [
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/product-one-bank-direct-256/serial.log",
      "originalSha256": "8e33f31c2cb3069c78427c3fd1343dbc8700cc82f9cac783c39c9538e7048cb7",
      "href": "/os-evidence/8e33f31c2cb3069c78427c3fd1343dbc8700cc82f9cac783c39c9538e7048cb7.txt",
      "sha256": "8e33f31c2cb3069c78427c3fd1343dbc8700cc82f9cac783c39c9538e7048cb7",
      "bytes": 7713,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/product-one-bank-direct-512/serial.log",
      "originalSha256": "4fef64fc6c4bccc578d1dd8299e72f5459c0013b394220468e8d3370cb1e2d77",
      "href": "/os-evidence/4fef64fc6c4bccc578d1dd8299e72f5459c0013b394220468e8d3370cb1e2d77.txt",
      "sha256": "4fef64fc6c4bccc578d1dd8299e72f5459c0013b394220468e8d3370cb1e2d77",
      "bytes": 7713,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/product-one-bank-direct-1024/serial.log",
      "originalSha256": "4d48126d5cd2409578ed996036f634ba8c956526c53dbe80511fa375a7cb78db",
      "href": "/os-evidence/4d48126d5cd2409578ed996036f634ba8c956526c53dbe80511fa375a7cb78db.txt",
      "sha256": "4d48126d5cd2409578ed996036f634ba8c956526c53dbe80511fa375a7cb78db",
      "bytes": 7713,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/product-one-bank-uefi-256/serial.log",
      "originalSha256": "35188e0deba4ba01026bd494016dcef3632d1446827a943cbd2898af7df1915b",
      "href": "/os-evidence/35188e0deba4ba01026bd494016dcef3632d1446827a943cbd2898af7df1915b.txt",
      "sha256": "35188e0deba4ba01026bd494016dcef3632d1446827a943cbd2898af7df1915b",
      "bytes": 13953,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/product-one-bank-uefi-512/serial.log",
      "originalSha256": "c145ad2ca1d71cdda250e01524d5ee4dd0f7eb70cf6dda329bd108ce178fda80",
      "href": "/os-evidence/c145ad2ca1d71cdda250e01524d5ee4dd0f7eb70cf6dda329bd108ce178fda80.txt",
      "sha256": "c145ad2ca1d71cdda250e01524d5ee4dd0f7eb70cf6dda329bd108ce178fda80",
      "bytes": 13953,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/product-one-bank-uefi-1024/serial.log",
      "originalSha256": "34333143d3b525cd2693c95c59bd5d146aea56229e31f224ff2e48f152f1162d",
      "href": "/os-evidence/34333143d3b525cd2693c95c59bd5d146aea56229e31f224ff2e48f152f1162d.txt",
      "sha256": "34333143d3b525cd2693c95c59bd5d146aea56229e31f224ff2e48f152f1162d",
      "bytes": 13953,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/product-two-banks-direct-256/serial.log",
      "originalSha256": "672b5b241ffac2696e395164ad9323f70ebbce3b39f953e175090aff9ada090b",
      "href": "/os-evidence/672b5b241ffac2696e395164ad9323f70ebbce3b39f953e175090aff9ada090b.txt",
      "sha256": "672b5b241ffac2696e395164ad9323f70ebbce3b39f953e175090aff9ada090b",
      "bytes": 8597,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/product-two-banks-direct-512/serial.log",
      "originalSha256": "c651b5752dbed151acbeb2a8dc95314dd5f932dd63a5035231ab0bb1703a5cb0",
      "href": "/os-evidence/c651b5752dbed151acbeb2a8dc95314dd5f932dd63a5035231ab0bb1703a5cb0.txt",
      "sha256": "c651b5752dbed151acbeb2a8dc95314dd5f932dd63a5035231ab0bb1703a5cb0",
      "bytes": 8597,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/product-two-banks-direct-1024/serial.log",
      "originalSha256": "28f944a5df6452ccbcd7049a6aa26c00a9cad3611d7b6e0b6c39dc413bf6a834",
      "href": "/os-evidence/28f944a5df6452ccbcd7049a6aa26c00a9cad3611d7b6e0b6c39dc413bf6a834.txt",
      "sha256": "28f944a5df6452ccbcd7049a6aa26c00a9cad3611d7b6e0b6c39dc413bf6a834",
      "bytes": 8597,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/product-two-banks-uefi-256/serial.log",
      "originalSha256": "5579996409221f3a98679d7b180f772c7ea4214c30d4334defbb71cd986510b6",
      "href": "/os-evidence/5579996409221f3a98679d7b180f772c7ea4214c30d4334defbb71cd986510b6.txt",
      "sha256": "5579996409221f3a98679d7b180f772c7ea4214c30d4334defbb71cd986510b6",
      "bytes": 14747,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/product-two-banks-uefi-512/serial.log",
      "originalSha256": "a2c17b0fd43a073b91a8690d81d9de5e7ea18e3bf05dc26db3755a06d4461fff",
      "href": "/os-evidence/a2c17b0fd43a073b91a8690d81d9de5e7ea18e3bf05dc26db3755a06d4461fff.txt",
      "sha256": "a2c17b0fd43a073b91a8690d81d9de5e7ea18e3bf05dc26db3755a06d4461fff",
      "bytes": 14747,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/product-two-banks-uefi-1024/serial.log",
      "originalSha256": "8f7fb9b3bf609067032cdb3c1612b1fbd8efbf1b95a46071e8f55c7fc26be655",
      "href": "/os-evidence/8f7fb9b3bf609067032cdb3c1612b1fbd8efbf1b95a46071e8f55c7fc26be655.txt",
      "sha256": "8f7fb9b3bf609067032cdb3c1612b1fbd8efbf1b95a46071e8f55c7fc26be655",
      "bytes": 14747,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/acceptance-one-bank-direct-256/serial.log",
      "originalSha256": "1fcbaad0589d36dadc1d5edc62a98478c1672c70f6dd6f18fb74bba62ca075a3",
      "href": "/os-evidence/1fcbaad0589d36dadc1d5edc62a98478c1672c70f6dd6f18fb74bba62ca075a3.txt",
      "sha256": "1fcbaad0589d36dadc1d5edc62a98478c1672c70f6dd6f18fb74bba62ca075a3",
      "bytes": 9411,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/acceptance-one-bank-direct-512/serial.log",
      "originalSha256": "82d93956631a7d4eb867b833164121edfae48e46b013aa5c1a374c1f21b32dba",
      "href": "/os-evidence/82d93956631a7d4eb867b833164121edfae48e46b013aa5c1a374c1f21b32dba.txt",
      "sha256": "82d93956631a7d4eb867b833164121edfae48e46b013aa5c1a374c1f21b32dba",
      "bytes": 9411,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/acceptance-one-bank-direct-1024/serial.log",
      "originalSha256": "c30922eb8f332e2952b21476d153efc1cab495695d3121ef893e734e44f45253",
      "href": "/os-evidence/c30922eb8f332e2952b21476d153efc1cab495695d3121ef893e734e44f45253.txt",
      "sha256": "c30922eb8f332e2952b21476d153efc1cab495695d3121ef893e734e44f45253",
      "bytes": 9411,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/acceptance-one-bank-uefi-256/serial.log",
      "originalSha256": "4af050b71a2fedfed9a067c11eb38b22325ddd50c049e260ba1287b42cf99a8c",
      "href": "/os-evidence/4af050b71a2fedfed9a067c11eb38b22325ddd50c049e260ba1287b42cf99a8c.txt",
      "sha256": "4af050b71a2fedfed9a067c11eb38b22325ddd50c049e260ba1287b42cf99a8c",
      "bytes": 15651,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/acceptance-one-bank-uefi-512/serial.log",
      "originalSha256": "c568eec6f7b46d268307fbd2d5d2417f2d7681370e71fb6cf9ae7f9596d7e633",
      "href": "/os-evidence/c568eec6f7b46d268307fbd2d5d2417f2d7681370e71fb6cf9ae7f9596d7e633.txt",
      "sha256": "c568eec6f7b46d268307fbd2d5d2417f2d7681370e71fb6cf9ae7f9596d7e633",
      "bytes": 15651,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/acceptance-one-bank-uefi-1024/serial.log",
      "originalSha256": "4279e687b040b7d5845005286abb9360be4493fe35a910a0d520eda4a10c1c82",
      "href": "/os-evidence/4279e687b040b7d5845005286abb9360be4493fe35a910a0d520eda4a10c1c82.txt",
      "sha256": "4279e687b040b7d5845005286abb9360be4493fe35a910a0d520eda4a10c1c82",
      "bytes": 15651,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/acceptance-two-banks-direct-256/serial.log",
      "originalSha256": "0a642e620a6c2ec461b3d733754968b1ebb6356b7e3137a66057d08ca027b787",
      "href": "/os-evidence/0a642e620a6c2ec461b3d733754968b1ebb6356b7e3137a66057d08ca027b787.txt",
      "sha256": "0a642e620a6c2ec461b3d733754968b1ebb6356b7e3137a66057d08ca027b787",
      "bytes": 10295,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/acceptance-two-banks-direct-512/serial.log",
      "originalSha256": "d4cc631013002500eb906f574da3b479f0de246c2be204febf07deb5d3e7785c",
      "href": "/os-evidence/d4cc631013002500eb906f574da3b479f0de246c2be204febf07deb5d3e7785c.txt",
      "sha256": "d4cc631013002500eb906f574da3b479f0de246c2be204febf07deb5d3e7785c",
      "bytes": 10295,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/acceptance-two-banks-direct-1024/serial.log",
      "originalSha256": "f30c656cb7e3b3a7986550e06b375602db15f6d219b96092ba39f15f444faaa4",
      "href": "/os-evidence/f30c656cb7e3b3a7986550e06b375602db15f6d219b96092ba39f15f444faaa4.txt",
      "sha256": "f30c656cb7e3b3a7986550e06b375602db15f6d219b96092ba39f15f444faaa4",
      "bytes": 10295,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/acceptance-two-banks-uefi-256/serial.log",
      "originalSha256": "c90d03cbd3e5d1c932d9da68c096bfa8c8f000b63b94016ed83d49a799d1d291",
      "href": "/os-evidence/c90d03cbd3e5d1c932d9da68c096bfa8c8f000b63b94016ed83d49a799d1d291.txt",
      "sha256": "c90d03cbd3e5d1c932d9da68c096bfa8c8f000b63b94016ed83d49a799d1d291",
      "bytes": 16445,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/acceptance-two-banks-uefi-512/serial.log",
      "originalSha256": "757730710995a7797eb4116a553dfcdd014251020d5203196c4d37c78baf9183",
      "href": "/os-evidence/757730710995a7797eb4116a553dfcdd014251020d5203196c4d37c78baf9183.txt",
      "sha256": "757730710995a7797eb4116a553dfcdd014251020d5203196c4d37c78baf9183",
      "bytes": 16445,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/acceptance-two-banks-uefi-1024/serial.log",
      "originalSha256": "395193a6c30acd7994b70bb2509aaaeaab7b8ed13cefec6850f39765e2d45083",
      "href": "/os-evidence/395193a6c30acd7994b70bb2509aaaeaab7b8ed13cefec6850f39765e2d45083.txt",
      "sha256": "395193a6c30acd7994b70bb2509aaaeaab7b8ed13cefec6850f39765e2d45083",
      "bytes": 16445,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/rollback-quarantine-direct-256/serial.log",
      "originalSha256": "bd97befab0178e139b4e883be79a81804a0b62244177482fb581e204af579584",
      "href": "/os-evidence/bd97befab0178e139b4e883be79a81804a0b62244177482fb581e204af579584.txt",
      "sha256": "bd97befab0178e139b4e883be79a81804a0b62244177482fb581e204af579584",
      "bytes": 8104,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/rollback-quarantine-direct-512/serial.log",
      "originalSha256": "63f21e0c422ddab3f864b1229892a564f8433bdc06b7198a9b6c2172c79ac82d",
      "href": "/os-evidence/63f21e0c422ddab3f864b1229892a564f8433bdc06b7198a9b6c2172c79ac82d.txt",
      "sha256": "63f21e0c422ddab3f864b1229892a564f8433bdc06b7198a9b6c2172c79ac82d",
      "bytes": 8104,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/rollback-quarantine-direct-1024/serial.log",
      "originalSha256": "d21dee886a4c899956ba2ac49275c8abcc996f4fd72bc15e2004d9173e199692",
      "href": "/os-evidence/d21dee886a4c899956ba2ac49275c8abcc996f4fd72bc15e2004d9173e199692.txt",
      "sha256": "d21dee886a4c899956ba2ac49275c8abcc996f4fd72bc15e2004d9173e199692",
      "bytes": 8104,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/rollback-quarantine-uefi-256/serial.log",
      "originalSha256": "cb60f0167bce709b79096370161a552788a13c06474a05c423a8c3f5ab2ad0d2",
      "href": "/os-evidence/cb60f0167bce709b79096370161a552788a13c06474a05c423a8c3f5ab2ad0d2.txt",
      "sha256": "cb60f0167bce709b79096370161a552788a13c06474a05c423a8c3f5ab2ad0d2",
      "bytes": 14344,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/rollback-quarantine-uefi-512/serial.log",
      "originalSha256": "4adf892207f51f58d2258b9943d743fba66228f3bd37b2602b726ea69d5ebc75",
      "href": "/os-evidence/4adf892207f51f58d2258b9943d743fba66228f3bd37b2602b726ea69d5ebc75.txt",
      "sha256": "4adf892207f51f58d2258b9943d743fba66228f3bd37b2602b726ea69d5ebc75",
      "bytes": 14344,
      "redacted": false
    },
    {
      "name": "serial.log",
      "source": "reports/os-implementation/K725-K740-dYnvnf/rollback-quarantine-uefi-1024/serial.log",
      "originalSha256": "709cc10bbb1976b828a84052a251c82363d004613fc25d62793fde7a69a8fc7c",
      "href": "/os-evidence/709cc10bbb1976b828a84052a251c82363d004613fc25d62793fde7a69a8fc7c.txt",
      "sha256": "709cc10bbb1976b828a84052a251c82363d004613fc25d62793fde7a69a8fc7c",
      "bytes": 14344,
      "redacted": false
    }
  ],
  "moves": [
    "K725",
    "K730",
    "K735",
    "K740"
  ]
}