Modelo Central
Decision Gate es un plano de control determinista. No ejecuta conversaciones ni agentes. Ingiere disparadores, evalúa predicados respaldados por evidencia y emite decisiones auditables.
EscenarioEspecificación
Un escenario es la unidad de ejecución. El ScenarioSpec captura:
- scenario_id: identificador estable utilizado a lo largo de las ejecuciones
- spec_version: versión del contrato
- etapas: fases ordenadas con puertas y políticas de avance
- predicados: verificaciones de evidencia nombradas utilizadas por las puertas
- políticas + esquemas: restricciones opcionales de gobernanza y carga útil
StageSpec
El control de progresión de etapas. Cada etapa define:
- puertas: una o más especificaciones de puerta para evaluar
- advance_to: lineal, fijo, ramificado o terminal
- entry_packets: divulgaciones opcionales emitidas al entrar
- timeout + on_timeout: política de fallo determinista
GateSpec
Las puertas contienen un árbol de requisitos. Una puerta se activa solo cuando el requisito se evalúa como verdadero.
Los Árboles de Evaluación de Requisitos (RET) son el álgebra de predicados. Soportan AND / OR / NOT / grupos y son deterministas por construcción. Consulta RET logic para operadores y evaluación de tres estados.
PredicateSpec y Evidencia
Los predicados vinculan una hoja de requisito a una consulta de evidencia y un comparador.
- EvidenceQuery: provider_id, predicate, params
- EvidenceResult: valor, hash, ancla, metadatos de firma
RET define cómo se componen los predicados. Los proveedores definen qué significa un predicado y qué parámetros acepta.
Por qué esto es importante
- Cada decisión es reproducible a partir de la especificación + entradas de evidencia.
- Las puertas pueden ser auditadas y verificadas sin conexión.
- Los proveedores son intercambiables sin cambiar la semántica del escenario.