Unconditional full linear convergence and optimal complexity of adaptive iteratively linearized FEM for nonlinear PDEs | Synapse