{
  "step": "C468",
  "files": [
    {
      "path": "490d_C468_Alternate_Method_Source_Arithmetic_and_Closure_Verification_20260925.md",
      "sha256": "56304c7686b3ece15219b32a62805318fa01d7f6f73c27f14d400a97f4ef3f56",
      "bytes": 3726
    },
    {
      "path": "490d_Mirror_Checkpoint_After_C468_20260925.md",
      "sha256": "5fb983a2f8f38c8456bbd70eb16d3db7957cdf834bc3c9717f3d6016e4d227dd",
      "bytes": 10110
    },
    {
      "path": "CERTIFICATE.json",
      "sha256": "fc82980de2e98d35a7636ba07352f3777833e69beefe4208d721c44235ed830f",
      "bytes": 2890
    },
    {
      "path": "CONTROL_INTEGRITY.json",
      "sha256": "24e687bf3e03c7f16c3ca2aafe4c72e9aab25f03d55fa644c44a178e698ff3df",
      "bytes": 1158
    },
    {
      "path": "NEXT_STEP_DECISION.json",
      "sha256": "9869894fb9d92e5e5a35c4216b621393a029161b3eb42d21248f2abffeff9547",
      "bytes": 1429
    },
    {
      "path": "README.md",
      "sha256": "7f77f14a2371f1da6ebeb9633c8f34a4f0274a82792741dbb6375a587184af4e",
      "bytes": 409
    },
    {
      "path": "REPLAY.json",
      "sha256": "d064fe15126f9e42d3ade951c261dfec77cb55a346c7f037d8b89ad1f3838ae6",
      "bytes": 411
    },
    {
      "path": "SOURCE_MANIFEST.json",
      "sha256": "22e07856b9c9f28764d0302fdc7982e170584886d2c1809d0ef1f525d7909947",
      "bytes": 11804
    },
    {
      "path": "STEP.json",
      "sha256": "523148cea55418da507fb6f515bc4b5fa057c49c8565c27366a01268cf31b5fc",
      "bytes": 1297
    },
    {
      "path": "evidence/CALCULATION.py",
      "sha256": "db3d0efbe0fee58d083a482069f466189159139851e77380478ace68235f81f3",
      "bytes": 7535
    },
    {
      "path": "evidence/DATA.json",
      "sha256": "06255714e847bfd28b0c90935aa14accc09b1acb8fe18fff835e965f30546562",
      "bytes": 1168
    },
    {
      "path": "evidence/RESULTS.json",
      "sha256": "d57a13812d474ae2e150f74338ee343036b010e3683bd207ef39d840fcc58d97",
      "bytes": 3160
    },
    {
      "path": "evidence/check.py",
      "sha256": "46964ade0128d97b589fb678853daf7b81ffff1d90eb1a99221031ba734b093f",
      "bytes": 1769
    },
    {
      "path": "sources/C286_DATA.json",
      "sha256": "71867add8e2b0000e7d11270e2ee28969ef41d788b5a1ec74add0b6237cc9905",
      "bytes": 151723
    },
    {
      "path": "sources/C287_DATA.json",
      "sha256": "1f3fe8798fb89b1559247a1b209aabfa854d0ae5399b45623f4c398a36fa8ce0",
      "bytes": 2763
    },
    {
      "path": "sources/C365_DATA.json",
      "sha256": "d31d0461b5ea38d518df31db9a7a9c904cfdc0e1d23f1eec79178f0a9fe09765",
      "bytes": 35668
    },
    {
      "path": "sources/C438_DATA.json",
      "sha256": "d8220b9646fce372130ac56ea75fba9d42c09fb4a95ac10492306c194c9eb260",
      "bytes": 349882
    },
    {
      "path": "sources/C444_CERTIFICATE.json",
      "sha256": "78da0ec0a095b344f6f8e1b1ae45b5d2c7a398fac6e497ffdf22f9f36862b344",
      "bytes": 3718
    },
    {
      "path": "sources/C444_CHECKPOINT.md",
      "sha256": "24bdb9e6798afebacef17f546b46e4768365c662e3d23d13ce3dfed319b73dad",
      "bytes": 7357
    },
    {
      "path": "sources/C444_DATA.json",
      "sha256": "c66b1ff55109e7427b31520979ec2b0a07723cfe635180e3af9aaedf10f09eef",
      "bytes": 20735
    },
    {
      "path": "sources/C445_CERTIFICATE.json",
      "sha256": "f2b13ccfa5933a70191a451f039a7b991ccee7dff8644c6a1c32da680797603f",
      "bytes": 2708
    },
    {
      "path": "sources/C445_DATA.json",
      "sha256": "9a365086420d3094d72d495a91a677c702d4aaea4f894d06ef0ddbdbdfc1f435",
      "bytes": 2012547
    },
    {
      "path": "sources/C446_CERTIFICATE.json",
      "sha256": "052e7933e2a75f85f1db67b8a3431cc388c99f812bf3a7a25eaeb81470f3dde3",
      "bytes": 2735
    },
    {
      "path": "sources/C446_DATA.json",
      "sha256": "e177bbe8e124275d44be12e2ecca53e09c2646d1def4493919c4e90eca548ad1",
      "bytes": 112928
    },
    {
      "path": "sources/C448_CERTIFICATE.json",
      "sha256": "76526abb2043d21fe8496a19606d42652739e834517975132689d52a83e5a022",
      "bytes": 2653
    },
    {
      "path": "sources/C448_DATA.json",
      "sha256": "3ce97a16f07bb5080c8392a9f5782901a04e8008dfa4bc35931015dcc0b1bdf8",
      "bytes": 1042
    },
    {
      "path": "sources/C449_CERTIFICATE.json",
      "sha256": "bf2fbc7b32ed60ec92a4eed4792fc9d806d1ce7f55f1846cdac2619411e97c83",
      "bytes": 2720
    },
    {
      "path": "sources/C449_DATA.json",
      "sha256": "23403ce3843d59b3e3a77e36d6bb66e5076b988dbe3a65b0232f7ca344865fea",
      "bytes": 12033
    },
    {
      "path": "sources/C450_CERTIFICATE.json",
      "sha256": "80536e596842a6893f141db3c147f829238272212defd52dd8ab6748f2501784",
      "bytes": 2643
    },
    {
      "path": "sources/C450_DATA.json",
      "sha256": "2a9ddb9fff8cfd605963a4832d78463740595f11534c2d87801c428a106f3a7c",
      "bytes": 457304
    },
    {
      "path": "sources/C451_CERTIFICATE.json",
      "sha256": "e18cf0ba61af64a23e335ed83828c3c49a9d0ed7a832a1a58280bb5a4317f0e8",
      "bytes": 2750
    },
    {
      "path": "sources/C451_DATA.json",
      "sha256": "fdfba61c9b21b70ce8e09534478c6113da9890fc6469d743faa02aa692fdb3da",
      "bytes": 285946
    },
    {
      "path": "sources/C452_CERTIFICATE.json",
      "sha256": "f4cf2898fbc0bd61e4a4d32cd7de63300de0ceeb6b700cb8bc06102ffacfbdcf",
      "bytes": 2786
    },
    {
      "path": "sources/C452_DATA.json",
      "sha256": "5338e274b45636c21a78f7f7b9646a5463ce379ff9d72c55a09711ccdfbd9bb5",
      "bytes": 6284
    },
    {
      "path": "sources/C454_CERTIFICATE.json",
      "sha256": "8e4f4a5c0262640c80416346e927829a5ba445e8b254e712ca1f081c3176f275",
      "bytes": 2742
    },
    {
      "path": "sources/C454_DATA.json",
      "sha256": "3267938f5afccd157c8912dd1810e7d407267ee40a8e411d8b54dc57545b45f8",
      "bytes": 40927
    },
    {
      "path": "sources/C455_CERTIFICATE.json",
      "sha256": "11f6c293b48855c1b79c51bd2467d011e9e253375099c38a8090c0f6bc49e379",
      "bytes": 2772
    },
    {
      "path": "sources/C455_DATA.json",
      "sha256": "d6cf5d73f3d58aa3b7cdb8331c8acb1b2ea6131b9e42f8619087d1009c1666b4",
      "bytes": 19420
    },
    {
      "path": "sources/C457_CERTIFICATE.json",
      "sha256": "220138e5ba92b0d9e4f488e7800a5e849edeed855082fc83551e7c02b234dade",
      "bytes": 2729
    },
    {
      "path": "sources/C457_DATA.json",
      "sha256": "08e282851688f93f90479d87ed037d40ae1e31cf3a7b26933a949284e00a61e1",
      "bytes": 168063
    },
    {
      "path": "sources/C459_CERTIFICATE.json",
      "sha256": "fe7dc5db8930f3969f9976cb448be2f6dc9984ca5ad4e22ffa1e10058addb558",
      "bytes": 2703
    },
    {
      "path": "sources/C459_DATA.json",
      "sha256": "bc5a066ccb3500fcff6bcdb51b631e792dc682494084ed4e20702028f1ee8f40",
      "bytes": 5371
    },
    {
      "path": "sources/C461_CERTIFICATE.json",
      "sha256": "2ada12c37046fb981cafcb3db76007570611cad24631e73fbc5058cdba96963d",
      "bytes": 2762
    },
    {
      "path": "sources/C461_DATA.json",
      "sha256": "68ecc909105dc23bd743f92f2d89b8181b8c1a822d344553fee2e710d5455f11",
      "bytes": 68734
    },
    {
      "path": "sources/C463_CERTIFICATE.json",
      "sha256": "e0de852ff561faab26d22e4132e5e585b88e2ed354ac65f36167c4804361da80",
      "bytes": 2841
    },
    {
      "path": "sources/C463_DATA.json",
      "sha256": "b113a1ea91508e5e4e081a01b3c944150decd19602a870b85284d99dcf87f287",
      "bytes": 223253
    },
    {
      "path": "sources/C464_CERTIFICATE.json",
      "sha256": "b8c1213751185cabc888875992d5ee877c68b3708a6ddb46c107f2418210b892",
      "bytes": 2804
    },
    {
      "path": "sources/C464_DATA.json",
      "sha256": "9cde8e3acbdef71f2472ae451a3faccd0061eecf00930ef5434ef9fc5d84ac0d",
      "bytes": 2772
    },
    {
      "path": "sources/C465_CERTIFICATE.json",
      "sha256": "a0a1e8c81673cf50e4544d7d38e98e6bc2d3a0a9b8d72c0f418515f7bd7e1d01",
      "bytes": 2815
    },
    {
      "path": "sources/C465_DATA.json",
      "sha256": "ebed3bdce46fc5f2d6adc7f6684d2b4a8ec940857a94286203278eea7db92535",
      "bytes": 3273
    },
    {
      "path": "sources/C466_CERTIFICATE.json",
      "sha256": "89bc52d0ca69945ded217a0c826f0f84d6a5cfb3d548aa1717b47b06460fdf34",
      "bytes": 2787
    },
    {
      "path": "sources/C466_DATA.json",
      "sha256": "f67aeb1d464aabda135a36ec80cb259762509b15b915855ed6488c1046699593",
      "bytes": 12027
    },
    {
      "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/File_46.md",
      "sha256": "18e8c54ff1663fb11f91529984c88679828fc2d1acc9d4368818d6647245dd9b",
      "bytes": 26144
    },
    {
      "path": "sources/PREVIOUS_CERTIFICATE.json",
      "sha256": "4bda7d49ca904151c9a7ea478a5673918d41454917c7f58a7c2b211f28f92a73",
      "bytes": 2865
    },
    {
      "path": "sources/PREVIOUS_CHECKPOINT.md",
      "sha256": "67ffa4fce98e4effcd98d81130b26caf5b2bdb986e950ae30edc8965e7f42994",
      "bytes": 9708
    },
    {
      "path": "sources/PREVIOUS_DATA.json",
      "sha256": "547ee630cf45d692c089af53e3997823219c9677e91c1fc1e36f6e7871e03e82",
      "bytes": 13557
    },
    {
      "path": "sources/PREVIOUS_NEXT_STEP.json",
      "sha256": "541e34d691cef3c9262ce9b3e93cea0fde28151498c4b225471d7ef6b62e0a0e",
      "bytes": 1423
    },
    {
      "path": "sources/PREVIOUS_RESULTS.json",
      "sha256": "b7ac7c911e85bc1a7bac5ef5b2833a5649497c09ae45598c89345e6fcbfcb7a9",
      "bytes": 1183
    },
    {
      "path": "sources/PRE_C468_SEALED_AUDIT.json",
      "sha256": "a2e559d90a1b29aee74b206141ed8381887b87e5580fb60342c1273f10682f97",
      "bytes": 36891
    }
  ]
}