Proof Marshal is a crazy idea by Peter Todd about a nuanced protocol to validate data. The verifier not only checks if the data itself is valid as a whole, but also if it is valid against an external context. For example a Bitcoin block can be valid for all Bitcoin consensus rules, but if it is not in the most heavy proof of work blockchain, then it is not a truly valid Bitcoin block.