The check signature: pure function of the audited facts.
typedef SkinContractCheck = bool Function(TreeFacts facts);