Does not do stuff like validating the form of contracts, since this seems like more of an application thing. Does not even distinguish a "nonce", just assumes the contract has whatever uniqueness is needed baked in.
Andrew Poelstra