pub fn effective(explicit: Option<f64>) -> Option<f64>Expand description
Resolves the effective aggressiveness from (in priority order) an explicit
per-call value, the LEAN_CTX_AGGRESSIVENESS env var, and the config field.
Returns None when nothing is set so callers keep their current defaults.