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.