Your CI checks your types. It doesn't check your translations.
Key-diffing catches the missing key. It doesn't catch the Spanish that says the opposite of the English. A QA gate that reads your translations — with the numbers, and the false positives.