CloudFormation does quite a bit of work to manage and calculate state differences. It's not CDK itself managing it (to my knowledge).

This is noteworthy because many times CDK's constraints match CloudFormation's constraints. I've noticed a few issues in the CDK github repo that a feature is incomplete because they are waiting for a change or feature to land in CloudFormation first.