Constant SESSION_END_BUDGET 

pub const SESSION_END_BUDGET: Duration;

session::budgets::SESSION_END_TIMEOUT_SECS: the worst case of one session’s finish (cancelled-turn drain, save, hooks, observability flush); sessions end concurrently, so it is shared, not ×N.