yep, it's bootstrapped and the above works fine with the regular AWS CDK. I even copied the

cdk.context.json

that it generated to the Pulumi project and it still didn't work