Ah, you are probably correct - thanks for clearing that up.
While I don't have the relevant pay stub on hand to confirm (thanks coronavirus...), my back-of-the-envelope calculations failed to take in to account some overtime that skewed my Box 3/5 wages higher and fooled me into thinking my HSA contributions we still part of those numbers.
