pub const DEFAULT_PROMOTE_WHOLE_BATCH: bool = false;
Default promotion granularity: promote only the run(s) covering a demanded block, not the whole prefetch batch.