Active Learning for Nonlinear System Identification with Guarantees (Journal of Machine Learning Research, 2026)