So it does appear that ProConnect doesn't have the Form 1116 limitation that ProSeries has, HOWEVER, it (and Lacerte) have another problem that can be worked around.

Ideally we are looking for automation as much as possible.

The problem - A 1099DIV reports taxes paid to multiple countries.   Yes, you can go to a 1116 credit input sheet and list them all.   When you do this and you have high enough income and taxes paid, you have to MANUALLY make the adjustment to Foreign Income.     Well that's a lot of manual work.

What about the DIV worksheet?    YES, but you can only list one country AND even if one country and you put in the For Div and Qdiv, OK.   BUT when you also have CapGain DIsttributions, Lacerte and ProConnect automatically assume some of the capital gain DIstributions are Foreign and makes the adjustment.

Lacerte, you can put in a value of Zero Cap Gain DIstributions - works fine

ProConnect, if you leave blank it assumes, if you put in Zero, it ignores, If you put in a fraction - .00001, it will calculate an amount.   There is No Way in ProConnect to make it a zero and calculate Zero.

THE WORK-AROUND (for Lacerte and ProConnect)

First my goal is accuracy, second automation and efficiency (including ability to efile).   I have been using ProConnect for some returns that ProSeries can not accurately calculate - places where ProSeries does not support.   I look at Lacerte, as I like desktop software (it's faster), and I don't like ProFX (which I have but hate).   (I need to check out ATX to see if it has the limitations)

ProConnect - for each country with foreign taxes and income - on Form Div, LIst each separately - not in the main screen, but the secondary screen and there Only list the Dividends, Qdividends, taxes paid (and cap gains, but only if applicable).    ProConnect will then automatically adjust the income part if applicable.   So the design of ProConnect is that it looks to the Income Fields first for foreign tax info, and then to the secondary screen.    SO EXTRA work, but now I have the accuracy and ability to e-file.

LACERTE - I'm using the demo for 2022 - but found out yesterday that it has does not automatically fully calculate QBI losses (Ref 58044 - the same as ProConnect; so now I'm not sure Lacerte is the Answer over ProConnect - if a choice between I'd choose Lacerte).     Same situation with assumptions.  WORK-AROUND, separate line for each country and leave the Dividend Income section blank, make entries in the Foreign Tax Credit fields.       This automates the Adjustment and documents you entered the correct amount and adjustment was made.   So at least you're saving the time to make the adjustment to income.

INCIDENTALLY, ProSeries makes the adjustment automatically, but has other software limitations.   It does serve most of my clients well - except for those of extremely high income and losses, partnerships, and situations describe above.