Keep the lapsed-session sign-in (the report) and the saved-remote control; the sign-out-then-in variant exercises the same unconditional Authentication row. Salvage bar: at most two invariant tests per fix.
Keep the lapsed-session sign-in (the report) and the saved-remote control; the sign-out-then-in variant exercises the same unconditional Authentication row. Salvage bar: at most two invariant tests per fix.