Tagged contract-compliance