基于 LLM 的代码翻译如何正确实现类型映射

Code Metal 针对基于 LLM 的跨语言代码翻译，提出了保证类型映射正确性的判定标准与解决方法。针对生成代码虽能成功编译却破坏源程序行为的缺陷，正确的类型映射需满足转换可靠性（conversion soundness）与往返保持（round-trip preservation），确保支持的值在双向转换后能够完全复原。