I have a season pass that records a program on a cable channel, that has been working perfectly for years.
I added a ATSC3 tuner and set it as higher priority.
I expected the program to record from ATSC3 tuner.
It used the cable channel instead.
There was nothing in the log that indicated issues that I could see.
Is this expected behavior?