La pila de seguridad para AI: types, contracts, property tests y mutation gates
Si quieres que el código generado con AI sobreviva en producción, code review no basta. Necesitas una pila por capas desde type constraints hasta mutation testing y runtime containment.
Lo peligroso del código generado con AI no es que siempre esté mal. Lo peligroso es que a menudo parece lo bastante correcto como para hacer merge. Ahí está el…