Yes, I have also evaluated/tested/tried/observed the CDKTF in the previous months.

The tool does a great job of giving developers a better approach to IaC (I can use TypeScript instead of HCL!), but I felt that it still suffers from the "black box" problem of Terraform. Even if I can now see TS sources, they are still just a layer on top of HCL, with all its modules' sources not directly embedded in the code. A new layer of abstraction makes it difficult to debug issues.

I love that when using the AWS CDK, I have a direct reference to the pure CloudFormation CFN resources. Also, the TypeScript sources were written by humans and are not bloated by autogenerated code, which makes it easier to think about what could be going wrong, and I know directly where I can post an issue if I find one.