Navier-Stokes/Allen-Cahn system with moving contact line | Synapse