Grimm's law
Until recently it was assumed that Verner's law was productive after Grimm's Law, and this remains the standard account: R. D. Fulk's 2018 "Comparative Grammar of the Early Germanic Languages", for example, finds that 'Grimm's law should be assumed to antecede Verner's law'.