Using colors to further emphasize state or semantics is pretty great. Traffic lights is a good model of how that can work.
Exactly. That's why your traffic lights example is puzzling to me? They're a notorious example of a case of something that can very easily be (and often is) ambiguous.
It's not obvious that "STOP" means to stop either, or a "walking" character means to walk if you don't speak the language or are unfamiliar with cartoons. When you learned the language, you connected the meaning to the word, because you heard it in connection to someone stopping, so now the word stop is a metaphor for that time someone stopped.
This is exactly the same way you assign meaning to any sign, including a stoplight. That's just how semiotics works, all language is metaphorical, no sign can carry meaning without a context.
The rule "Top means stop, bottom means go" is specific to traffic light context. The meaning of the word "Stop" is much broader as it is used in more contexts. (Of course, some people can't read, which creates a bunch of other problems).
Maybe a better way to illustrate my point: I think traffic light are better at highlighting the problem of how to properly do semantic redundancy than at actually solving that problem (and that this is in part because colors are not accessible).
FYI, I'm not some kind of accessibility zealot, I think it's just an interesting design problem.