Second-run transcripts, K11–K20 and the voided K12 — byte-identical to their session-day anchors; digests in ../VERIFICATION.md.