Mar 25, 2021

Notably these states are contextual. It depends on which chain you are considering. A header or tx can be valid in one or more chains but not another. An input can be spent in one or more headers, but not another.