I think we should allow voting over at least what are currently the two constants in the formula: min path length and base hashing work requirement. Other things we could consider including are:
...
Bots will vote for parameters to make bot-mining easier.
For these two parameters we would only allow a vote to be additive. In other words, the min path length could never be voted lower than what it is now and the base work requirement could never be voted lower than the min work set by target. The network could vote to make the required path longer (cutting out more maps as valid) or make the base hashing work larger (basically enforcing more anti-warp work be done even when the network is not under more debt warp) but could never require the path length to cut less than 50% of maps as it does now and could only add to anti-warp work set by target, not reduce it.
(EDIT: In other words (for these 2 parameters at least) bots could only vote not to increase their difficulty, they could not vote to decrease it beyond what the base requirements already are.)