What you describe as an, "antenna tuner" actually matches the
TX to the feeder.

===============================

A misleading statement.

The TX design impedance is fixed, usually at 50 ohms.

So the antenna tuner matches the variable feeder input impedance to the TX
design impedance.

But no doubt you will manage to squirm your way out of it. ;o)
----
Reg