{
  "step": "C391",
  "files": [
    {
      "path": "490d_C391_E_J_Motif_and_529_P_J_Conditional_Equivalence_20260924.md",
      "sha256": "e7537c32ab1631a9324bd1b6eb713556d0a0e7a5cd80d0df4df669ff967779a4",
      "bytes": 3944
    },
    {
      "path": "490d_Mirror_Checkpoint_After_C391_20260924.md",
      "sha256": "e534f8de43a1602b21b64658cb5c58c1246be047f70527b55f1b4170450f8a2c",
      "bytes": 5863
    },
    {
      "path": "CERTIFICATE.json",
      "sha256": "23a444aa88c843b3fb552c09715b3ee0cb8076c09f87000f33151c575468d3cc",
      "bytes": 2960
    },
    {
      "path": "CONTROL_INTEGRITY.json",
      "sha256": "9810807cb07b02f43f568f68bb82cb41a6eeff6799902254b4932e5c350ac838",
      "bytes": 1054
    },
    {
      "path": "NEXT_STEP_DECISION.json",
      "sha256": "d48a8f14c8cff90634d8990703c59abacbe002c6c64d6fca4e6ce23eb45277b9",
      "bytes": 757
    },
    {
      "path": "README.md",
      "sha256": "5d2d0c1b302e54656fa3d1b014f9290a2d2f1b25f7a3b26649171041d45cc7cc",
      "bytes": 611
    },
    {
      "path": "REPLAY.json",
      "sha256": "3875d3672188c3edeb9230fed5f611dd69c74c82e240258e67e576afdc6d1471",
      "bytes": 417
    },
    {
      "path": "SOURCE_MANIFEST.json",
      "sha256": "e626d24ba4683f57a8523f35920c16876ef22c3a45fe7ab96ac4366709e630ea",
      "bytes": 2946
    },
    {
      "path": "STEP.json",
      "sha256": "8fe2fa6a3debb1f573ff176a5f4a05a8f8b676fc42d2449c654aad1e2ab2a3fb",
      "bytes": 541
    },
    {
      "path": "evidence/CALCULATION.py",
      "sha256": "0c8b6928c8c512edee3185364ac383dc3c0122d5ba8ff6de84b921fbca0eb515",
      "bytes": 3072
    },
    {
      "path": "evidence/DATA.json",
      "sha256": "886adb417f29f94e39ffa45a7ecc6f6ec42b0963f6a8327e87390dccf687c6c2",
      "bytes": 10112
    },
    {
      "path": "evidence/RESULTS.json",
      "sha256": "3bf925a759923b4b4cad8feb0a6e1617cc61dea5ae13d8465a69b2caaa9d72ad",
      "bytes": 2261
    },
    {
      "path": "evidence/check.py",
      "sha256": "9f175670abb70f7819dd7f6d997ff0bef2e58df8dffd763b433f6c6cd62e332d",
      "bytes": 1676
    },
    {
      "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/C379_DATA.json",
      "sha256": "684f61de89ab241f2af5fb5b40eab5f3b01667bd5cf0af258f47f1abc32807e6",
      "bytes": 23513
    },
    {
      "path": "sources/C385_DATA.json",
      "sha256": "af60b3a40d7367c2c5d0e659cb387eb340016b34a45a3988ac8604d0d1694bd6",
      "bytes": 12331
    },
    {
      "path": "sources/File_09.md",
      "sha256": "45851004c5864229ebf6a896f9099819a08d8926715d3e97e4bc3985c4a3876e",
      "bytes": 144189
    },
    {
      "path": "sources/File_18.md",
      "sha256": "68301ab760bfbe2e874aedc5c8d943ced7a6219d34bc2859332a70713f9630d5",
      "bytes": 221777
    },
    {
      "path": "sources/PREVIOUS_CERTIFICATE.json",
      "sha256": "39d4d8455fe9e396c9000b949f7662473d059d353aae870e9215fc1b91b7487d",
      "bytes": 3080
    },
    {
      "path": "sources/PREVIOUS_CHECKPOINT.md",
      "sha256": "016701f94b1dc44dbfb00aacc043aed7901f066e8202accec91dd31a49a89eb9",
      "bytes": 5913
    },
    {
      "path": "sources/PREVIOUS_DATA.json",
      "sha256": "7a5045861ddcb2975376bf9088628bb8569a13a0bb1c9979d0c4fb02390891db",
      "bytes": 1031308
    },
    {
      "path": "sources/PREVIOUS_NEXT_STEP.json",
      "sha256": "d0e893f3a69d73b3fa229921e82d15d5e052936db11abe8edd6d8c31b64bfa5e",
      "bytes": 777
    },
    {
      "path": "sources/PREVIOUS_RESULTS.json",
      "sha256": "8b0a7a46039c16d5afee19f511fcef619e54c7d2540c24d2aaa0e2bd6e80abc6",
      "bytes": 3661
    }
  ]
}