covers property
The catalog regions this digest was computed over.
Holds only the entries this reader could name; when the wire carried one it could not, coversFullyRead is false and this list is a subset of what the host actually claimed. Never treat it as the full coverage without checking that flag — and note toJson re-serialises this narrowed list, so a digest that came off the wire malformed is not a faithful thing to forward.
Implementation
final List<String> covers;