Theory of ionization-induced trapping in laser-plasma accelerators | Synapse