Quick update for future reference: my return flight just posted as J with 200% of distance flown, so signing up for TAP's own FFP and getting their discount did not prevent me from earning miles in A3's program. For my flight in the other direction, I am hopeful that retro crediting will work.

Thanks again!