pub const QUERY_CEILING: Duration;
The longest a query may run whatever the push deadline is: queries read local repository state and finish in milliseconds.