{
  "schema": "turkos-public-development-evidence/v1",
  "originalReport": {
    "path": "reports/os-implementation/K1121-K1139-preparation-6CZq11/report.json",
    "sha256": "af5d962dbf7b1846ab3ee3e639da6d6b0318ebc338b3efa48e98e01a65a257e1",
    "bytes": 307917
  },
  "status": "HOST_PREPARED",
  "scope": "Host-only K1121–K1139 ABI V1 preparation. Twenty-one integration and four private tests execute real frozen exception Controller/EntryToken/UserReturn and Mapping/PinnedRange/UserCopy APIs. CPU, actual SVC sequence/frame, current process/root, descriptor authority and output are explicit host model values; owned host RAM supplies the real frozen copy implementation. No CPU instruction, SVC, ERET, physical page, general process scheduler, guest or product acceptance is claimed. Full unknown numbers/versions return ENOSYS; six arguments have explicit U64/U32/I32 widths; tagged errors cannot become unsigned lengths. Whole-range and return authority precede output. Before errors publish typed errno only after valid return; context drift, failed actual Prepared release or inconsistent result retain actual entry/available resources in quarantine with no user result. Host mutable fixture access is absent on target_os=none. Actual K1125/K1130/K1135/K1140 remain pending canonical K1120 and source/ELF/QMP integration.",
  "productAccepted": false,
  "tests": {},
  "caseCount": 0,
  "caseSerialsSelected": 0,
  "imageSha256": null,
  "files": [
    {
      "name": "config.toml",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/.cargo/config.toml",
      "originalSha256": "a994930d446b472ece3af3d4f8cb189fb3e44bac6d6bd1bd0ad25e0b75f0eed8",
      "href": "/os-evidence/a994930d446b472ece3af3d4f8cb189fb3e44bac6d6bd1bd0ad25e0b75f0eed8.txt",
      "sha256": "a994930d446b472ece3af3d4f8cb189fb3e44bac6d6bd1bd0ad25e0b75f0eed8",
      "bytes": 149,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-exceptions/Cargo.toml",
      "originalSha256": "128e557b7ff257361595faa6521e4861fe686897e66b6e4dc11ff68978da710e",
      "href": "/os-evidence/128e557b7ff257361595faa6521e4861fe686897e66b6e4dc11ff68978da710e.txt",
      "sha256": "128e557b7ff257361595faa6521e4861fe686897e66b6e4dc11ff68978da710e",
      "bytes": 102,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-exceptions/src/exceptions.rs",
      "originalSha256": "fe454c0bc146b5cdc2379b11e9598c5b804c7b017ab53b121e3b9181b5fe3e4e",
      "href": "/os-evidence/fe454c0bc146b5cdc2379b11e9598c5b804c7b017ab53b121e3b9181b5fe3e4e.txt",
      "sha256": "fe454c0bc146b5cdc2379b11e9598c5b804c7b017ab53b121e3b9181b5fe3e4e",
      "bytes": 18630,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-exceptions/src/lib.rs",
      "originalSha256": "60633af24e11f106ada3a3cca620c2b8e0d280f2cd854ecabe0dc31f269944df",
      "href": "/os-evidence/60633af24e11f106ada3a3cca620c2b8e0d280f2cd854ecabe0dc31f269944df.txt",
      "sha256": "60633af24e11f106ada3a3cca620c2b8e0d280f2cd854ecabe0dc31f269944df",
      "bytes": 262,
      "redacted": false
    },
    {
      "name": "exceptions.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-exceptions/tests/exceptions.rs",
      "originalSha256": "c1cfedf8b4bc45abfb0650479a91886e94347455bf8b7284720bac7e53a48d58",
      "href": "/os-evidence/c1cfedf8b4bc45abfb0650479a91886e94347455bf8b7284720bac7e53a48d58.txt",
      "sha256": "c1cfedf8b4bc45abfb0650479a91886e94347455bf8b7284720bac7e53a48d58",
      "bytes": 18863,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-mapping/Cargo.toml",
      "originalSha256": "214a9cdfc36efeb28eaedd6725d0d0525035c9731416f3f56f1b94252a76ffaa",
      "href": "/os-evidence/214a9cdfc36efeb28eaedd6725d0d0525035c9731416f3f56f1b94252a76ffaa.txt",
      "sha256": "214a9cdfc36efeb28eaedd6725d0d0525035c9731416f3f56f1b94252a76ffaa",
      "bytes": 170,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-mapping/src/lib.rs",
      "originalSha256": "25b1ec298eaa558473cbb7008017c1d11fb6b70d9e1adcc479cc389efa237bab",
      "href": "/os-evidence/25b1ec298eaa558473cbb7008017c1d11fb6b70d9e1adcc479cc389efa237bab.txt",
      "sha256": "25b1ec298eaa558473cbb7008017c1d11fb6b70d9e1adcc479cc389efa237bab",
      "bytes": 29,
      "redacted": false
    },
    {
      "name": "mapping.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-mapping/src/mapping.rs",
      "originalSha256": "aa4ef31472d153bdad6cb75bbb7f9ea2de229c9958251b601207896a88d509d1",
      "href": "/os-evidence/aa4ef31472d153bdad6cb75bbb7f9ea2de229c9958251b601207896a88d509d1.txt",
      "sha256": "aa4ef31472d153bdad6cb75bbb7f9ea2de229c9958251b601207896a88d509d1",
      "bytes": 19748,
      "redacted": false
    },
    {
      "name": "mapping.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-mapping/tests/mapping.rs",
      "originalSha256": "45d891bae003e47009362ab0648ffd5a0f1d031bc6b5ce9718dd8c29fea1ad15",
      "href": "/os-evidence/45d891bae003e47009362ab0648ffd5a0f1d031bc6b5ce9718dd8c29fea1ad15.txt",
      "sha256": "45d891bae003e47009362ab0648ffd5a0f1d031bc6b5ce9718dd8c29fea1ad15",
      "bytes": 10418,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-page-tables/Cargo.toml",
      "originalSha256": "027f1742dc0e091aba9683638ffdbff38ae90a767a72f06137918230ba8bf57f",
      "href": "/os-evidence/027f1742dc0e091aba9683638ffdbff38ae90a767a72f06137918230ba8bf57f.txt",
      "sha256": "027f1742dc0e091aba9683638ffdbff38ae90a767a72f06137918230ba8bf57f",
      "bytes": 312,
      "redacted": false
    },
    {
      "name": "descriptor.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-page-tables/src/descriptor.rs",
      "originalSha256": "5cef40f74682b4d3b679c34079e13b49a9303563eb681c7faad3ddb0e66f11d5",
      "href": "/os-evidence/5cef40f74682b4d3b679c34079e13b49a9303563eb681c7faad3ddb0e66f11d5.txt",
      "sha256": "5cef40f74682b4d3b679c34079e13b49a9303563eb681c7faad3ddb0e66f11d5",
      "bytes": 7531,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-page-tables/src/lib.rs",
      "originalSha256": "0061d043be5feff6390301e9347306633ac6dc4364848a64adc622a6b3de90c4",
      "href": "/os-evidence/0061d043be5feff6390301e9347306633ac6dc4364848a64adc622a6b3de90c4.txt",
      "sha256": "0061d043be5feff6390301e9347306633ac6dc4364848a64adc622a6b3de90c4",
      "bytes": 425,
      "redacted": false
    },
    {
      "name": "tree.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-page-tables/src/tree.rs",
      "originalSha256": "2176fd5d668e6b0555c1bbb1640218a0789806fe042212e8d01a538d36ed41ef",
      "href": "/os-evidence/2176fd5d668e6b0555c1bbb1640218a0789806fe042212e8d01a538d36ed41ef.txt",
      "sha256": "2176fd5d668e6b0555c1bbb1640218a0789806fe042212e8d01a538d36ed41ef",
      "bytes": 35542,
      "redacted": false
    },
    {
      "name": "descriptor.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-page-tables/tests/descriptor.rs",
      "originalSha256": "624829a887f9619a3bf8e1de3d4e7751405919df802ec17b1c7da7db015b6b3d",
      "href": "/os-evidence/624829a887f9619a3bf8e1de3d4e7751405919df802ec17b1c7da7db015b6b3d.txt",
      "sha256": "624829a887f9619a3bf8e1de3d4e7751405919df802ec17b1c7da7db015b6b3d",
      "bytes": 8115,
      "redacted": false
    },
    {
      "name": "tree.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-page-tables/tests/tree.rs",
      "originalSha256": "08133932c21725d190c7c5569b56c860249e3725ee9d62d718d5e83f47019cad",
      "href": "/os-evidence/08133932c21725d190c7c5569b56c860249e3725ee9d62d718d5e83f47019cad.txt",
      "sha256": "08133932c21725d190c7c5569b56c860249e3725ee9d62d718d5e83f47019cad",
      "bytes": 19806,
      "redacted": false
    },
    {
      "name": "CONTRACT.md",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-syscall-abi/CONTRACT.md",
      "originalSha256": "dc77c06d00478d6229ddd2098c572184ca408dce566f2f37a7e76b4f0df7688d",
      "href": "/os-evidence/dc77c06d00478d6229ddd2098c572184ca408dce566f2f37a7e76b4f0df7688d.txt",
      "sha256": "dc77c06d00478d6229ddd2098c572184ca408dce566f2f37a7e76b4f0df7688d",
      "bytes": 2731,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-syscall-abi/Cargo.toml",
      "originalSha256": "0fb43ad5163e04b72d472e31612f0f03bc16e45c67717d74bdbe947892911237",
      "href": "/os-evidence/0fb43ad5163e04b72d472e31612f0f03bc16e45c67717d74bdbe947892911237.txt",
      "sha256": "0fb43ad5163e04b72d472e31612f0f03bc16e45c67717d74bdbe947892911237",
      "bytes": 348,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-syscall-abi/src/lib.rs",
      "originalSha256": "763ac2cc9b6d50b2b4970b0901e3c5f0c2090cc0f48c571336accf305fb6b0d0",
      "href": "/os-evidence/763ac2cc9b6d50b2b4970b0901e3c5f0c2090cc0f48c571336accf305fb6b0d0.txt",
      "sha256": "763ac2cc9b6d50b2b4970b0901e3c5f0c2090cc0f48c571336accf305fb6b0d0",
      "bytes": 32,
      "redacted": false
    },
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-syscall-abi/src/syscall_abi.rs",
      "originalSha256": "1a61965afcf56826330d77488d2b2c12db7c2a6beea0e494531df821b3b36742",
      "href": "/os-evidence/1a61965afcf56826330d77488d2b2c12db7c2a6beea0e494531df821b3b36742.txt",
      "sha256": "1a61965afcf56826330d77488d2b2c12db7c2a6beea0e494531df821b3b36742",
      "bytes": 19576,
      "redacted": false
    },
    {
      "name": "user_copy_fixture.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-syscall-abi/tests/support/user_copy_fixture.rs",
      "originalSha256": "f271c09481677f44e7dba9c4fe79c7a641167132bc87eff67c428e432326caf9",
      "href": "/os-evidence/f271c09481677f44e7dba9c4fe79c7a641167132bc87eff67c428e432326caf9.txt",
      "sha256": "f271c09481677f44e7dba9c4fe79c7a641167132bc87eff67c428e432326caf9",
      "bytes": 12934,
      "redacted": false
    },
    {
      "name": "user_copy_wrapper.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-syscall-abi/tests/support/user_copy_wrapper.rs",
      "originalSha256": "afdd2cad95b44831e1b01627ece74679944f906e5c53c10ece56db176ac7c314",
      "href": "/os-evidence/afdd2cad95b44831e1b01627ece74679944f906e5c53c10ece56db176ac7c314.txt",
      "sha256": "afdd2cad95b44831e1b01627ece74679944f906e5c53c10ece56db176ac7c314",
      "bytes": 8481,
      "redacted": false
    },
    {
      "name": "syscall_abi.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-syscall-abi/tests/syscall_abi.rs",
      "originalSha256": "2c62ef3c834a4596bc8e1d33ac182deba3927e270681e0d1405f581d9e48435c",
      "href": "/os-evidence/2c62ef3c834a4596bc8e1d33ac182deba3927e270681e0d1405f581d9e48435c.txt",
      "sha256": "2c62ef3c834a4596bc8e1d33ac182deba3927e270681e0d1405f581d9e48435c",
      "bytes": 17050,
      "redacted": false
    },
    {
      "name": "Cargo.toml",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-user-copy/Cargo.toml",
      "originalSha256": "6c055f8ce178cfea0d6ebe8268b6093dcf6af022fdbe1e62e1baa7eba3d4abcc",
      "href": "/os-evidence/6c055f8ce178cfea0d6ebe8268b6093dcf6af022fdbe1e62e1baa7eba3d4abcc.txt",
      "sha256": "6c055f8ce178cfea0d6ebe8268b6093dcf6af022fdbe1e62e1baa7eba3d4abcc",
      "bytes": 219,
      "redacted": false
    },
    {
      "name": "lib.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-user-copy/src/lib.rs",
      "originalSha256": "6431d2ad4f4a178c8ad04693c7cfa038d4c21b48cdc505cfa716dda9e47a3c92",
      "href": "/os-evidence/6431d2ad4f4a178c8ad04693c7cfa038d4c21b48cdc505cfa716dda9e47a3c92.txt",
      "sha256": "6431d2ad4f4a178c8ad04693c7cfa038d4c21b48cdc505cfa716dda9e47a3c92",
      "bytes": 31,
      "redacted": false
    },
    {
      "name": "user_copy.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-user-copy/src/user_copy.rs",
      "originalSha256": "5d23862196ed1934a5012b593b33cbdba4b9a05c6a7955ab9b9903c0b6abe391",
      "href": "/os-evidence/5d23862196ed1934a5012b593b33cbdba4b9a05c6a7955ab9b9903c0b6abe391.txt",
      "sha256": "5d23862196ed1934a5012b593b33cbdba4b9a05c6a7955ab9b9903c0b6abe391",
      "bytes": 10297,
      "redacted": false
    },
    {
      "name": "user_copy.rs",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/sources/os-user-copy/tests/user_copy.rs",
      "originalSha256": "87bcedcac89f4d9edfecfa17a85324d37dee113864dc84c0d8828149da209d7a",
      "href": "/os-evidence/87bcedcac89f4d9edfecfa17a85324d37dee113864dc84c0d8828149da209d7a.txt",
      "sha256": "87bcedcac89f4d9edfecfa17a85324d37dee113864dc84c0d8828149da209d7a",
      "bytes": 15973,
      "redacted": false
    },
    {
      "name": "integration.log",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/integration.log",
      "originalSha256": "59e05b0163f59a30dc9124716eff8b52c4db7bfd3a8948a52f11efd86c3105e6",
      "href": "/os-evidence/59e05b0163f59a30dc9124716eff8b52c4db7bfd3a8948a52f11efd86c3105e6.txt",
      "sha256": "59e05b0163f59a30dc9124716eff8b52c4db7bfd3a8948a52f11efd86c3105e6",
      "bytes": 2972,
      "redacted": false
    },
    {
      "name": "private.log",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/private.log",
      "originalSha256": "6512cfb34ad723872bb7dbc9ed2288ae72f1b60db40636ea04654979b3d36490",
      "href": "/os-evidence/6512cfb34ad723872bb7dbc9ed2288ae72f1b60db40636ea04654979b3d36490.txt",
      "sha256": "6512cfb34ad723872bb7dbc9ed2288ae72f1b60db40636ea04654979b3d36490",
      "bytes": 973,
      "redacted": false
    },
    {
      "name": "arm64.log",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/arm64.log",
      "originalSha256": "fd7665479bae4b52c19fb9b8f4e88cbed96732075c5b8e19b3d065d30cc24bdb",
      "href": "/os-evidence/fd7665479bae4b52c19fb9b8f4e88cbed96732075c5b8e19b3d065d30cc24bdb.txt",
      "sha256": "fd7665479bae4b52c19fb9b8f4e88cbed96732075c5b8e19b3d065d30cc24bdb",
      "bytes": 338,
      "redacted": false
    },
    {
      "name": "format.log",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/format.log",
      "originalSha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "href": "/os-evidence/e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855.txt",
      "sha256": "e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855",
      "bytes": 0,
      "redacted": false
    },
    {
      "name": "clippy.log",
      "source": "reports/os-implementation/K1121-K1139-preparation-6CZq11/clippy.log",
      "originalSha256": "2f570a787f3fb2a05c3fdfd4662fac38aa91279f787c16bfff9e6ad3b65a1987",
      "href": "/os-evidence/2f570a787f3fb2a05c3fdfd4662fac38aa91279f787c16bfff9e6ad3b65a1987.txt",
      "sha256": "2f570a787f3fb2a05c3fdfd4662fac38aa91279f787c16bfff9e6ad3b65a1987",
      "bytes": 728,
      "redacted": false
    }
  ],
  "moves": [
    "K1121",
    "K1122",
    "K1123",
    "K1124",
    "K1126",
    "K1127",
    "K1128",
    "K1129",
    "K1131",
    "K1132",
    "K1133",
    "K1134",
    "K1136",
    "K1137",
    "K1138",
    "K1139"
  ]
}