As far as I understand it, when using the ADC on a pin its digital input is supposed to be disabled therefore the bug doesn't affect ADC operation. Right at the end of the part you quoted :
As normal, if ADC channels are being used on a pin, clear the relevant GPIO input enable as stated in Section 12.4.3.
Thanks, I didn't notice that bit.
The thing is, having this weird (latched) fault state, with (what appears to me as) this extremely long winded, complicated technical details on how and when to avoid it.
Is just asking for trouble and possible weaknesses in peoples designs.
The RP2350 manual, seems to be 1,349 pages long, currently.
I think it is asking too much, to expect all users, to realize/remember and technically handle this overly-complicated possible fault situation. Also, how do users, extensively check their designs for this possible short-coming.
Some (perhaps many) users, just want to use an Arduino library function (or similar methodology), connect some standard (pre-assembled), hardware to it, and then have fun with their project.
Not have to read all of a datasheets 1,349 pages, understand complicated technical issues, then consider if each of their hardware inputs, will meet all of E9's, errata specifications.
Some sources, seem to state, that the majority of Pico2 units, will be used in educational and (by implication, beginner/hobbyist) environments, such as Schools and Universities. Some of whom, shouldn't really have to deal with such technical difficulties.
So in summary, since this product (at least the Pico2 development boards), seem to be aimed, at beginners, early-education, and other non-expert (yet), users. It seems to me, to be unfair for them to have to deal with this problem, themselves.
I.e. I consider these (current version) of Pico2 boards, to be (technically) faulty, and unsuited to their task.
The fact that hardened/experienced, electronics engineers (and similar), should be able to handle this shortcoming of the Pico2's inputs, via the errata (E9), shouldn't stop them from properly creating and releasing a 'fixed' later version of these chips (RP2350), assuming the costs and other practicalities, allow them to do so.