Contract

The Category Contract is a computationally checked program that could decide whether explicitly stated Inputs/Outputs conditions can be met, and what should be made responsible for each of the kind of outcome pairs.