Provable modular-parameter selector for b^A ≡ r (fast, closed-form) | saasbrowser.ai