Propagation estimates and Fredholm analysis for the time-dependent Schr\”odinger equation