(I just edited my post, and also linked to a 2019 law that guarantees back-pay for both essential and non-essential federal workers.)