Code Metal has published a technical post defining correctness criteria for type mappings in LLM-based code translation, arguing that systems can produce compiling code that fails to preserve source behavior. The post specifies two requirements—conversion soundness and round-trip preservation—and explains how program context, such as how a C char * value is used, must guide target type selection. Code Metal says it uses schema-based interface generators to build verified, behavior-preserving type mappings.
No score is assigned. Sources and their independence are shown in the citation chain below.