Valid transaction

[jackjack]

The wiki says that "a transaction is valid if nothing in the combined script triggers failure and the top stack item is true (non-zero)"
But "x==OP_TRUE" != "x!=OP_0"
So which one is correct?

[crary]

Actually, neither one is correct (even if you blur the distinction between a constant and the opcode that pushes it).  There are lots of representations of true, and -- since the script manipulates byte strings, not integers -- there are lots of representations of false as well.

Also, the way I read the code, OP_0 doesn't actually work, but I could be confused.  I'd like it if someone better familiar with the code than I could weigh in on that.