Near-Optimal Nonconvex-Strongly-Convex Bilevel Optimization with Fully First-Order Oracles (Journal of Machine Learning Research, 2026)