That's wrong.
That's the same mindset as saying .*? prioritizes shortest. But we all know that mindset is flawed, since that's the issue at hand.
For example, your explanation doesn't work for \G(?s:.)*?\K,(.+?)$, which is the OP's pattern with the implicit bits made explicit.
In reply to Re^4: Non-greedy substitution
by ikegami
in thread Non-greedy substitution
by Bod
| For: | Use: | ||
| & | & | ||
| < | < | ||
| > | > | ||
| [ | [ | ||
| ] | ] |