CRITICAL SUCCESS REQUIREMENTS The migration output MUST meet all of the following: 1. Complete Resource Coverage - Every CloudFormation resource synthesized by CDK MUST: - Be represented in the Pulumi program OR - Be explicitly justified in the final report. 2. Successful Deployment - The produced Pulumi program must be structurally valid and capable of a successful (assuming proper config). 3. Final Migration Report - Always output a formal migration report suitable for a Pull Request. - Include: - CDK → Pulumi resource mapping - Provider decisions (aws-native vs aws) - Behavioral difference…