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.
