On the asymptotically compatible energies of L1 and L1-SAV schemes for time-fractional Allen-Cahn model | Synapse