sorry, the previous message started as incomplete.

First, about the wrong examples: here is a godbolt link:
https://godbolt.org/z/vf5q6nTKq
where you can find all compilers set with C++20 (but C++23 or C++2c works
the same).


About the additional doubt, I cannot see where [over.match.class.deduct]
states that
the selected overloaded notional constructor for CTAD must lead to deduce
all
parameters of the class template, based on the arguments in the return type
of the selected constructor,
as well as that the final selected type is the template specialization with
those arguments .

Maybe, p4 is aimed to this goal, but the way is not clear to me, as it
seems a general statement,
not mentioned in p5. Hope you may provide any hint.
I am asking it as side point after having found the problems discussed
above for the examples.