https://martinalderson.com/posts/shopify-native-formal-verification/ No se si lo he entendido bien yo esto. Se refiere a tener una base de codigo y dejar que un agente de IA te haga un port para cada plataforma?