Think for example how you would robustly check that resources of certain types are labeled in a way conforming to a given schema, or that would rewrite the labe

Think for example how you would robustly check that resources of certain types are labeled in a way conforming to a given schema, or that would rewrite the label values in your stacks to a newer format. Linting CDK code can't get you this. It's possible of course that I don't know enough about CDK and these examples have CDK solutions. Imperative and declarative are not hard requirements for this but they make the domain easier to reason about and they are a good fit to the CF model of configuration-as-data instead (vs CDK's configuration-as-imperative-code).