Fri Oct 23 02:10:25 AM UTC 2026
PASS A.6 (MAIN, Theorem 1): 9 files in RQ-A/outputs match audit/rqa/rqa_data/MD5SUMS
PASS A.11 (MAIN-2): list k2_MD5SUMS.txt md5 c6184a11… (recorded c6184a11…: equal); 117 entries, 0 mismatches, 0 missing
PASS A.14 (MAIN-3): list k3_MD5SUMS.txt md5 613f681e… (recorded 613f681e…: equal); 98 entries, 0 mismatches, 0 missing
PASS A.18 (MAIN-4): list k3b_MD5SUMS.txt md5 2074adcc… (recorded 2074adcc…: equal); 37 entries, 0 mismatches, 0 missing
PASS A.25 (MAIN-5): list k4_MD5SUMS.txt md5 3a8fd366… (recorded 3a8fd366…: equal); 81 entries, 0 mismatches, 0 missing
PASS A.37 (MAIN-6; not a chain link): list k5_MD5SUMS.txt md5 918eb069… (recorded 918eb069…: equal); 106 entries, 0 mismatches, 0 missing
  ok RQ-D/outputs/plus_cert/certs_v1_r0.jsonl e23d52dd… vs audit/rqd/heavy_2230/plus_cert/certs_v1_r0.jsonl e23d52dd…
  ok RQ-D/outputs/plus_cert/certs_v1_r1.jsonl ee9307ee… vs audit/rqd/heavy_2230/plus_cert/certs_v1_r1.jsonl ee9307ee…
  ok RQ-D/outputs/plus_cert/certs_v1_r2.jsonl f5fe9a23… vs audit/rqd/heavy_2230/plus_cert/certs_v1_r2.jsonl f5fe9a23…
  ok RQ-D/outputs/plus_cert/certs_v1_r3.jsonl 6d495261… vs audit/rqd/heavy_2230/plus_cert/certs_v1_r3.jsonl 6d495261…
  ok RQ-D/outputs/plus_cert/certs_v1_r4.jsonl 3033710b… vs audit/rqd/heavy_2230/plus_cert/certs_v1_r4.jsonl 3033710b…
PASS A.38 (RQ-D Theorem 16): 5 files byte-identical to the audited copies
  ok RQ-B/numerics/cover_final/nsplit_D14.jsonl.xz 0883b5d9… vs audit/rqb/nsplit_0005/nsplit_D14.jsonl.xz 0883b5d9…
  ok RQ-B/numerics/cover_final/chord_D14.jsonl.xz 3d7366f9… vs audit/rqb/light_2305/chord_D14.jsonl.xz 3d7366f9…
  ok RQ-B/numerics/cover_final/light_vl025_D18.jsonl.xz 2bbb7484… vs audit/rqb/light_2305/light_vl025_D18.jsonl.xz 2bbb7484…
PASS A.39 (RQ-B Theorem 13.1): 3 files byte-identical to the audited copies
A40D_INTEGRITY_PASS

real	0m1.910s
user	0m0.792s
sys	0m0.705s
DONE_EXIT=0
