correction: issue 2/23/2022 #726
Description
In the Q&A section I think one bit is wrong:
Third is that, for non-taproot inputs, the requirement of a single element on the stack after execution is only a policy rule, not a consensus rule.
I believe that segwit-v0 inputs have the clean stack rule implicit in their validation and would therefore be consensus.
Code in bitcoin core (I don't think the taproot pr changed this line): https://github.com/bitcoin/bitcoin/blob/077cfffebd1b12ec4e2efb949fd9a79fb5be3748/src/script/interpreter.cpp#L1847-L1848