It's this way with on-demand flashing pedestrian signals in my city in Washington as well, though honestly I see it in practice (and do it myself) without actually knowing what the law is.

We also have at least one red light that is strictly for pedestrians that I find irritating every time it's triggered, since it requires a full stop cycle even if the person or persons using it cross quickly or not.