El tipo que creó Scala acaba de publicar una forma de hacer que los agentes de IA sean probablemente más seguros usando el sistema de tipos. Las capacidades rastreadas significan que el código literalmente no puede llamar a una herramienta que nunca le fue entregada. No es una protección a la que puedas rodear con prompts: es una regla del compilador.