Why should it move on if the match fails?

Is "(?(condition)yes-pattern)" an abbreviation for "(?(condition)yes-pattern|)" (i.e. with an explicitly empty no-pattern)? This seems most reasonable to me, but I find nothing in the documentation to suggest whether this or any other possibile behaviour should be expected.

The most fundamental "bug" seems to be lack of documentation of intended behaviour.