inputs: RQC_CLAIMS.md 4b1e22a4 lines 335-362; ch08_c15.tex a21f5bc9 (corrected); RQB_MAIN_RESULT.md b47f2945 lines 805-818; ch10_supp_verifier.tex bb3c1cd2
PASS C15: source 311 numerals, transcription 311, RQ-A states 311 and 311; differing hunks 0
PASS first supplement (md 13.4): source 26 numerals, transcription 26, RQ-A states 26 and 26; differing hunks 0
A41I_PASS
