Glosario de FACET

Glosario de FACET Este glosario define la terminología normativa usada en el estándar, las especificaciones y los documentos del ecosistema FACET. Todos los términos aquí incluidos deben interpretarse de forma coherente entre implementaciones, adaptadores, documentación y discusiones técnicas.

FACET Una capa de contrato determinista y un lenguaje declarativo (NADL) para definir, validar y ejecutar el comportamiento de sistemas de inteligencia artificial. FACET entiende el comportamiento de la IA como software compilado y verificable, no como improvisación probabilística.

Determinismo Propiedad por la que entradas idénticas producen salidas idénticas. En FACET el determinismo se aplica a nivel de sistema y abarca orden de ejecución, diseño del contexto, semántica de llamadas a herramientas y salida JSON canónica.

Contrato Acuerdo formal, definido y aplicado que describe entradas válidas, salidas válidas, restricciones de ejecución y límites de recursos. Un contrato se aplica y se hace cumplir antes de la ejecución, a diferencia de un esquema que solo valida después de la generación.

Capa de contrato Límite arquitectónico donde se constriñe, valida y canoniza el comportamiento de la IA. Evita estados inválidos antes de la ejecución. FACET implementa esta capa mediante tipos (FTS), interfaces y fases de ejecución.

NADL Lenguaje declarativo para describir arquitectura, comportamiento y restricciones de sistemas de IA. FACET v2.0 actúa como un NADL normativo.

JSON canónico Representación intermedia determinista y normalizada producida por FACET. Es independiente del proveedor, estructuralmente estable, hasheable y reproducible. JSON canónico es la fuente única de verdad para ejecución, caché, pruebas y auditoría.

IR Representación intermedia normalizada usada entre etapas de compilación. El JSON canónico funciona como IR en FACET, análogo al IR de compiladores clásicos.

AST Árbol sintáctico abstracto que representa un documento FACET parseado. El AST es inmutable tras la comprobación de tipos y sirve como entrada para la construcción del grafo R-DAG.

FTS Sistema de tipos FACET, estricto y neutral al lenguaje. FTS gobierna tipos de variables, interfaces de herramientas, firmas de lenses y valores multimodales.

Interfaz Contrato tipado que define una herramienta invocable: nombre de función, parámetros y tipo de retorno. Las interfaces se compilan a esquemas específicos de proveedor.

Lens Función de transformación aplicada a valores dentro de FACET. Se clasifican por nivel de confianza: Nivel 0 puro y determinista, Nivel 1 externo acotado y determinista bajo restricciones, Nivel 2 volátil y no determinista.

R-DAG Grafo dirigido acíclico reactivo que representa dependencias entre variables. Garantiza ausencia de ciclos, orden de evaluación determinista y ejecución única por nodo.

Token Box Model Algoritmo determinista para asignación de contexto bajo presupuestos de tokens. Define secciones críticas y flexibles, reglas de compresión y orden de descarte.

Adaptador Capa de traducción pura que mapea JSON canónico a la carga útil específica de un proveedor. Los adaptadores deben ser deterministas, no añadir lógica y no mutar la semántica: son traductores, no colaboradores.

Carga útil del proveedor Formato final requerido por la API de un proveedor de IA. Las cargas útiles del proveedor son vistas derivadas del JSON canónico.

Modo Puro Modo de ejecución en el que todo comportamiento es totalmente determinista. Prohíbe aleatoriedad, E/S irrestricta y lenses volátiles. Las salidas en Modo Puro son canónicas.

Modo de Ejecución Modo permisivo que permite lenses volátiles y efectos secundarios externos. Las salidas en este modo no son canónicas.

Pruebas por snapshot Método de prueba donde la salida se compara con una instantánea conocida buena. FACET usa pruebas por snapshot para JSON canónico, salidas de adaptadores y detección de regresiones.

Vendor Lock-in Dependencia de comportamientos no documentados o inestables de un proveedor. FACET mitiga el vendor lock-in mediante JSON canónico agnóstico al proveedor y aislando la lógica del proveedor en adaptadores.

Reproducibilidad Capacidad de reproducir ejecuciones y obtener resultados idénticos. En FACET la reproducibilidad depende de los inputs del documento FACET, del modo de ejecución y del JSON canónico.

Estado inválido Cualquier estado que viole un contrato, tipo, restricción o regla de ejecución. FACET previene estados inválidos antes de la ejecución mediante la capa de contrato.

Resumen Este glosario establece el lenguaje compartido del ecosistema FACET. El uso correcto de estos términos es requisito para el cumplimiento de la especificación, la implementación de adaptadores y discusiones técnicas significativas. Estado Normativo: documento de referencia.

Sobre Q2BSTUDIO Q2BSTUDIO es una empresa de desarrollo de software y aplicaciones a medida especializada en inteligencia artificial aplicada a empresas, ciberseguridad y servicios cloud aws y azure. Ofrecemos soluciones de software a medida y aplicaciones a medida que integran agentes IA, pipelines de datos y análisis con Power BI para proyectos de inteligencia de negocio. Si busca desarrollar soluciones IA adaptadas a su organización, conozca nuestras capacidades en Inteligencia artificial para empresas y descubra cómo diseñamos productos escalables y seguros. Para proyectos de software a medida y aplicaciones multiplataforma visite nuestra página de desarrollo de aplicaciones y software a medida.

Palabras clave aplicaciones a medida, software a medida, inteligencia artificial, ciberseguridad, servicios cloud aws y azure, servicios inteligencia de negocio, ia para empresas, agentes IA, power bi.