Near-Optimal Nonconvex-Strongly-Convex Bilevel Optimization with Fully First-Order Oracles (JMLR, 2026)