Comportamiento acotado
Los perfiles implementados definen límites y rechazos concretos. Esos límites pueden inspeccionarse, pero no cubren todos los riesgos.
Seguridad
Límites que se pueden inspeccionar, no promesas.
Trabajamos hacia la Superinteligencia Artificial, por lo que queremos que la seguridad de nuestras herramientas se base en lo que puede comprobarse. Este es nuestro enfoque y lo que no está resuelto.
Cómo se diseñan los lenguajes
Resultados reproducibles
Las ejecuciones están pensadas para reproducirse e inspeccionarse, de modo que los resultados puedan compararse y cuestionarse.
Autoridad separada
PEGS genera pruebas pero no puede puntuarlas. VECS no puede cambiar sus propios criterios. IDNL revisa opciones pero no puede ejecutarlas. CXAU audita solo en modo lectura.
Cuentas honestas
MEMC registra qué contexto se descartó, APLD registra el linaje e informa de lo que no pudo verificar, y FVLR limita sus afirmaciones a los supuestos declarados.
Lo que no está resuelto
- Los lenguajes tienen distintos niveles de madurez y muchas capacidades siguen siendo prototipos limitados. Superar pruebas internas no demuestra conformidad independiente, seguridad ni preparación para producción.
- La aplicación real depende de los sistemas que rodean a un lenguaje. Los anfitriones conceden capacidades, y controladores independientes deben imponer la seguridad física.
- KCSL cuenta con un prototipo sin conexión para revisar políticas, pero no aplica seguridad en vivo ni accede a claves o hardware.
- Nuestras herramientas aún dependen de lenguajes de terceros.
- Ningún lenguaje puede hacer segura la Inteligencia Artificial por sí solo. No afirmamos haber resuelto la seguridad de la IA avanzada ni de la ASI.