subtype: don't trust bounds that don't determine a sparam
an env entry is only exact, or taken from the upper bound, when an invariant match actually pins the var, and a bound still mentioning an unresolved method var is never reported as defined
Assisted-by: Claude Code (Opus 5.5)
