const READ_SET_CAP: usize = 200;
The predecessor’s read set the successor is measured against is bounded: a record is not a transcript, and the count only needs the files the two sessions plausibly meet in.