I’m not sure what’s the issue here, you’re talking about renaming JSX components in the title but you don’t mention it in your post later.
If you use props records then you don’t need decorators, why would you want both?
When it comes to the generated code, using records or decorators produce the same code cf playground link.
Could you maybe come up with a playground link that illustrates your issue?