const NEVER_STRETCHED: u64 = _; // 4_611_686_018_427_387_903u64
A budget no run exceeds: the source keeps its interval whatever a run costs.