StateContractValidationEnforcementRule

Rule which determines whether ContractStates must declare the Contract to which they belong (e.g. via the BelongsToContract annotation), and must be bundled together with that contract in any TransactionState.

This rule is consulted during validation by LedgerTransaction.