My VW ID.4 does this correctly: the brake lights come on whenever the car slows down, which could be because I pressed the brake pedal or because I released the accelerator pedal in "B" mode.

The software on this car sucks really badly in too many ways to describe here, but this part they got right.