- Edited
Thought about this some more and revised.
Coordinating the pedal is a tricky thing to learn. I think the difference between #1 and #2 in how you stated it, ends up being about what helps you get the correct effect (whether you have a tendency to release too early or too late). What you are trying to do is to create a legato effect. So you shouldnβt raise the pedal before you play the next note, but you also donβt want to hold it too long, as things will get blurry. So whether you think of this as raising the pedal immediately after you play the next note and then lowering it again, or just as you play the next note, you could get the same result.
For me, I tend to think of this as #1. I think a lot of beginners tend to clear the pedal too early (they raise the pedal as they release/llift OFF the note, not as they play the next note), so thinking of the change as immediately after playing can help with this.
Perhaps it is helpful to remember the purpose, which is to get a legato effect.
There is a pretty good explanation of legato pedaling here:
https://crosseyedpianist.com/2012/09/16/mysteries-of-the-sustain-pedal/
The author uses the βat the same timeβ (#2) framing, but again, I think that how you choose to think about this should depend a little on whether you have a tendency to change the pedal too early or too late.
I hope this helps!