Language Ports, Verified

Translate one already-migrated module into a second language, then ship it with the same proof that showed the original worked.

Part of: Legacy Code with AI: Understand, Modernize, Migrate