{
  "step": "C353",
  "files": [
    {
      "path": "490d_C353_Source_600_Repairs_and_Partial_Operator_Synthesis_20260924.md",
      "sha256": "68004c9c165aa98bc0635f36d24ebce602c0a69f3273005c2bd816881af00ecf",
      "bytes": 9746
    },
    {
      "path": "490d_Mirror_Checkpoint_After_C353_20260924.md",
      "sha256": "b26e97e034a99fe262ceda2d2a06cc857c50c90ad621cb9f7b04d5c02ba5f53e",
      "bytes": 5269
    },
    {
      "path": "CERTIFICATE.json",
      "sha256": "14cc8d4050affb9faf0f72177b4b5264b390badb8a4e5583b6dfee3466afd1a9",
      "bytes": 3668
    },
    {
      "path": "CONTROL_INTEGRITY.json",
      "sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
      "bytes": 1054
    },
    {
      "path": "NEXT_STEP_DECISION.json",
      "sha256": "599b290fa7c2ae4a87d6414a282b7e198c7f63ebc7e1d993700e2e52bf862313",
      "bytes": 936
    },
    {
      "path": "README.md",
      "sha256": "e68e6dc76026ad4aa7323016fa5bec2361a49ce444563bed9a88718d5c02ad17",
      "bytes": 611
    },
    {
      "path": "REPLAY.json",
      "sha256": "b3466fd5401f2665160efae1e9ac10623719c39ae834edfcf8cfee7e8898a472",
      "bytes": 487
    },
    {
      "path": "SOURCE_MANIFEST.json",
      "sha256": "235ca4ed8f315758a5613fa3cdc9940e9caa9562d45b68e3c228ba27cdf18209",
      "bytes": 12813
    },
    {
      "path": "STEP.json",
      "sha256": "70bdf36731835eb8b6f51bc1c45b3bcf132926985aa2a446b72e1ea08ce55d8e",
      "bytes": 475
    },
    {
      "path": "evidence/CALCULATION.py",
      "sha256": "c5dcc6e18964b4bfa22ccbcbdc1d645b66b209c66129a9eb182ecee5ee830060",
      "bytes": 6184
    },
    {
      "path": "evidence/DATA.json",
      "sha256": "0692b73295ab74ed4b0cd0c40d3596082675a204c48956e6843c9a6e2854d0d2",
      "bytes": 6483
    },
    {
      "path": "evidence/RESULTS.json",
      "sha256": "711ceaa14ef724c333761c81756e8401dcfe57ee3479c2cfaf09218c09ddfd73",
      "bytes": 4075
    },
    {
      "path": "evidence/ROOT_SECOND_METHOD.py",
      "sha256": "2b163f2142488f75bbf3f9251468b2101c292e09a9601118300c61b4c5f9c1b4",
      "bytes": 4767
    },
    {
      "path": "evidence/ROOT_SECOND_METHOD_RESULTS.json",
      "sha256": "aba98079664e41150ff358bb3b0a0de683eb7399b7a3eac3e74e641e8c0392fd",
      "bytes": 3813
    },
    {
      "path": "evidence/check.py",
      "sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
      "bytes": 1676
    },
    {
      "path": "sources/C265_CERTIFICATE.json",
      "sha256": "112bdcdd23e7580512f6b6a1c4222f746e6552f71b92755932397dbd25dce2de",
      "bytes": 1634
    },
    {
      "path": "sources/C265_CHECKPOINT.md",
      "sha256": "63d5e75563ec419c6be3d9ed54c6e4663478095a7cfbe6eb0de1483368ae8c59",
      "bytes": 6027
    },
    {
      "path": "sources/C271_REGISTER.json",
      "sha256": "54c510fb3c5860340276f64f9b1b40fef4a24e323ac52b0830193895ee91ae6a",
      "bytes": 21004
    },
    {
      "path": "sources/C286_DATA.json",
      "sha256": "71867add8e2b0000e7d11270e2ee28969ef41d788b5a1ec74add0b6237cc9905",
      "bytes": 151723
    },
    {
      "path": "sources/C287_DATA.json",
      "sha256": "1f3fe8798fb89b1559247a1b209aabfa854d0ae5399b45623f4c398a36fa8ce0",
      "bytes": 2763
    },
    {
      "path": "sources/C319_DATA.json",
      "sha256": "83294e3d25612cb7ce710ee035a0e35c167818d57233043dbd8fbc1bbebe7877",
      "bytes": 15669
    },
    {
      "path": "sources/C331_DATA.json",
      "sha256": "54e9dce9c874366c84dabb3f1fe5797139d6bda30c4a1b44aab2797a72ee6550",
      "bytes": 27947
    },
    {
      "path": "sources/C344_CERTIFICATE.json",
      "sha256": "cb49122e6705486e3b200a4792be738ee612d53ac224b245d3337cb9dcf723b7",
      "bytes": 2743
    },
    {
      "path": "sources/C344_DATA.json",
      "sha256": "36991c1ffb0c3035e8e94dbc9c5dc6e5a5525be3f3134c893b3888d6cc2cc89b",
      "bytes": 4592
    },
    {
      "path": "sources/C344_NEXT_STEP.json",
      "sha256": "63ddea7ed6936b4534631bb66ff12c90d11605fb43ed25e84892e8785ce418ab",
      "bytes": 686
    },
    {
      "path": "sources/C344_RESULTS.json",
      "sha256": "eb539584f1301332bff5d3f17777f8ea8290ce46975af6957ac280c7e3665ea4",
      "bytes": 1370
    },
    {
      "path": "sources/C344_SOURCE_MANIFEST.json",
      "sha256": "3d8bf258f5b1ebfd67ff2a4f889eea5bd36fa28cf665bbf9e85fdc4a6b64ac32",
      "bytes": 3193
    },
    {
      "path": "sources/C345_CERTIFICATE.json",
      "sha256": "00b1b9997fb919f82c87511f44d1dc5521ab84147751982f055ede67c0660fdd",
      "bytes": 2679
    },
    {
      "path": "sources/C345_DATA.json",
      "sha256": "d67c0f152f1242453f84461109c595c909b97c4d20246071956a80d4741c5391",
      "bytes": 4432
    },
    {
      "path": "sources/C345_NEXT_STEP.json",
      "sha256": "5f7302212d39d8f72a73dd51c4d642906d425525efc9cf31508f2765a26b9421",
      "bytes": 707
    },
    {
      "path": "sources/C345_RESULTS.json",
      "sha256": "195fd51eb77e23c1ca12dcf57fa20dd3a074f038a9b985d8bb79f7dc1bf9e5d7",
      "bytes": 1559
    },
    {
      "path": "sources/C346_CERTIFICATE.json",
      "sha256": "e6147b731cfa8987fd3652c61e968ca795b155d7ffe60df813ec5501cf3baf99",
      "bytes": 2779
    },
    {
      "path": "sources/C346_DATA.json",
      "sha256": "8b5e0edfabfa4af8620e4dbfd7df527b5b264dfa3603464029de46d8e6c2bdd9",
      "bytes": 7086
    },
    {
      "path": "sources/C346_NEXT_STEP.json",
      "sha256": "d12e15045b53bf7a86e2f6c43d3778ce340db1c8fc232e908cee9105c450ab19",
      "bytes": 708
    },
    {
      "path": "sources/C346_RESULTS.json",
      "sha256": "ae0eaa0208efe753aed8c50ee33cc1051e621e8b2aa3ae5a313b7d00fb0c367b",
      "bytes": 1649
    },
    {
      "path": "sources/C347_CERTIFICATE.json",
      "sha256": "8405d8371b2effd9ce6c6590fccfd5cf7e358e4f753660d0d86936f3c5fb9520",
      "bytes": 2813
    },
    {
      "path": "sources/C347_DATA.json",
      "sha256": "4f7b292710b441c15d4f84e6f8399d1d8daf711a78075dd9f9bbd2302bcd44fb",
      "bytes": 3176
    },
    {
      "path": "sources/C347_NEXT_STEP.json",
      "sha256": "09239e69dd8ed9023a0cc14afeb4409bbd2a21ed97696d226fd32b0a985d362a",
      "bytes": 730
    },
    {
      "path": "sources/C347_RESULTS.json",
      "sha256": "3448e77009afd935c122b8219f7dcce47cd1f80474150163d16cb21a6e7ce403",
      "bytes": 1198
    },
    {
      "path": "sources/C348_CERTIFICATE.json",
      "sha256": "4af5a87c51440c77979dff907fdc4ed36dd0163e6e16d848560f48976d59e6f5",
      "bytes": 2772
    },
    {
      "path": "sources/C348_DATA.json",
      "sha256": "faf4fff6e3cbcaf2a27f340c84eed6709a02aede9eb9a6fe041e41f06b2261ec",
      "bytes": 18871
    },
    {
      "path": "sources/C348_NEXT_STEP.json",
      "sha256": "7c765f238df814c3cd437b2f152d5e7a1a2d3dbe1339859a27cff433ffcb0f09",
      "bytes": 727
    },
    {
      "path": "sources/C348_RESULTS.json",
      "sha256": "80ec3b03d8020cd2a2ad2144d028ba8e563c9a648f07debdb8ba621acfb356de",
      "bytes": 2939
    },
    {
      "path": "sources/C349_CERTIFICATE.json",
      "sha256": "aafbdff03d28daa8a707771f3f285b46f7fb88f0a8dcb02757180432ff8f481c",
      "bytes": 2826
    },
    {
      "path": "sources/C349_DATA.json",
      "sha256": "88bc23b263ba36018e491af2dd359e7da2c9873dc1a32562a1d395b75987317e",
      "bytes": 28546
    },
    {
      "path": "sources/C349_NEXT_STEP.json",
      "sha256": "ff79474d379fd58f8ded94fa986fa9cdcf5083401d18d671ec6089504928fb23",
      "bytes": 733
    },
    {
      "path": "sources/C349_RESULTS.json",
      "sha256": "c784ce1eee20c88d434225a83725932dd98beaa39dfd2033f21cb7fa0481ae1e",
      "bytes": 5255
    },
    {
      "path": "sources/C350_CERTIFICATE.json",
      "sha256": "7d959a8cb90f419fa8a361d50bcf3d3076f2943fe45c43a92a211675da6ff8dd",
      "bytes": 2800
    },
    {
      "path": "sources/C350_DATA.json",
      "sha256": "ccb9ed0dbe6ddcb5a3ca7325c660bac27c67b0a46ddf26e4b2b74403c76cab98",
      "bytes": 14191
    },
    {
      "path": "sources/C350_NEXT_STEP.json",
      "sha256": "a55ae9051cee7a161a28c7027048dd1307d4cc282a31c10f84626929362c589c",
      "bytes": 763
    },
    {
      "path": "sources/C350_RESULTS.json",
      "sha256": "1f395ec18f4ad1c3e1b730856f09c919d2c1964ba40eb90e50bb34edfbcfdbe1",
      "bytes": 4231
    },
    {
      "path": "sources/C351_CERTIFICATE.json",
      "sha256": "ec0ca80ca7462421dbb4c20d1f5c279cfcb4418d17f376d5ea65136f34c97399",
      "bytes": 2830
    },
    {
      "path": "sources/C351_DATA.json",
      "sha256": "601d7aaffb59a7c237559900569b3c0192646c8fba1efc660323db3645251b17",
      "bytes": 6215
    },
    {
      "path": "sources/C351_NEXT_STEP.json",
      "sha256": "c8ff4c46624b4b09b7f415199e4d1b3e403000d15c221dc9a69f145448323b6e",
      "bytes": 764
    },
    {
      "path": "sources/C351_RESULTS.json",
      "sha256": "bfc23d2ab96fd310e05cff70174657937e5c6fa3a4d1aa077a62c2f92635a456",
      "bytes": 1753
    },
    {
      "path": "sources/C352_CERTIFICATE.json",
      "sha256": "c7d717ef3e3671b17b3e4ec9c2376e12bc864ec377d6af01b9c36f0baefa2df6",
      "bytes": 2787
    },
    {
      "path": "sources/C352_DATA.json",
      "sha256": "397f30635a7006a6316140c78788ab58355b66a4cc2b47e909ff635620c794d5",
      "bytes": 8374
    },
    {
      "path": "sources/C352_NEXT_STEP.json",
      "sha256": "fc1b7f97525e2640e3665fb520c3467dc49f234ad5410564196eb2ffc9bf416f",
      "bytes": 742
    },
    {
      "path": "sources/C352_RESULTS.json",
      "sha256": "99f746c7528288c889283fbc5529aa5b7a731c43345e192a54a36ea977b990d1",
      "bytes": 3588
    },
    {
      "path": "sources/File_02.md",
      "sha256": "24203a4c3b282f9b92bcdeaf18a1841fdfc099f8aca1f6052f15760c5212afad",
      "bytes": 53712
    },
    {
      "path": "sources/File_09.md",
      "sha256": "45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e",
      "bytes": 144189
    },
    {
      "path": "sources/File_18.md",
      "sha256": "68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5",
      "bytes": 221777
    },
    {
      "path": "sources/PREVIOUS_CERTIFICATE.json",
      "sha256": "c7d717ef3e3671b17b3e4ec9c2376e12bc864ec377d6af01b9c36f0baefa2df6",
      "bytes": 2787
    },
    {
      "path": "sources/PREVIOUS_CHECKPOINT.md",
      "sha256": "6592e6e2ecc421f30d3e1093722dca74446c7bffb0d955518805dd63d4626577",
      "bytes": 3362
    },
    {
      "path": "sources/PREVIOUS_DATA.json",
      "sha256": "397f30635a7006a6316140c78788ab58355b66a4cc2b47e909ff635620c794d5",
      "bytes": 8374
    },
    {
      "path": "sources/PREVIOUS_NEXT_STEP.json",
      "sha256": "fc1b7f97525e2640e3665fb520c3467dc49f234ad5410564196eb2ffc9bf416f",
      "bytes": 742
    },
    {
      "path": "sources/PREVIOUS_RESULTS.json",
      "sha256": "99f746c7528288c889283fbc5529aa5b7a731c43345e192a54a36ea977b990d1",
      "bytes": 3588
    },
    {
      "path": "sources/PRE_C353_ARCHIVE_AUDIT.json",
      "sha256": "229fc8ee018d287bc0e29d3f969d90005f207304baab7ac2d72c9b273499ed5d",
      "bytes": 34335
    }
  ]
}