The signature of a check: a digest of the input's columns (name, type and nullability) and of the condition's lambda. A check is current while the signature is the same.