Fundamentos de Decision Gate
Los programas son fiables porque los requisitos son explícitos, las entradas son conocidas y los resultados pueden ser verificados. Los agentes son poderosos, pero sus flujos de trabajo son probabilísticos y sus resultados son difíciles de probar.
Decision Gate recrea esas garantías del programa para los flujos de trabajo de los agentes sin convertir a los agentes de nuevo en programas. Lo hace a través de tres conceptos que se construyen unos sobre otros: la Lógica define lo que significa “hecho”, la Evidencia prueba lo que sucedió y las Puertas toman la decisión.
Tres Conceptos Clave
Lógica (Cómo se Expresan los Requisitos)
Los programas codifican los requisitos dentro de los caminos del código. Los agentes necesitan que los requisitos se expresen de manera explícita, en una forma que tanto los humanos como los sistemas puedan inspeccionar. La lógica transforma “¿funcionó?” en condiciones claras y comprobables y las combina en una puerta.
{
"requirement": {
"And": [
{ "Condition": "tests_ok" },
{ "Condition": "coverage_ok" }
]
}
}
Un requisito de puerta simple: ambas condiciones deben ser verdaderas para que la puerta pase.
Por qué esto es importante: dejas de debatir sobre los resultados y comienzas a evaluarlos. La lógica hace que los criterios de éxito sean visibles, estables y auditables.
Evidencia (De dónde proviene la prueba)
Los programas conocen sus entradas; los agentes generan resultados a través de herramientas, APIs y sistemas externos. La evidencia es cómo Decision Gate ancla las afirmaciones del agente a datos reales.
- Verificado: extraído por el proveedor, confiable, más lento (usar para ejecuciones auditadas)
- Afirmado: proporcionado por el cliente, iteración rápida, menor confianza
- Auditoría: metadatos registrados que no afectan los resultados de la puerta
{
"evidence": {
"tests_ok": { "lane": "verified", "value": 0 },
"coverage_ok": { "lane": "verified", "value": 92 }
}
}
Payloads de evidencia y carriles de confianza: los datos que la puerta evaluará, además de cuán confiables son.
Por qué esto es importante: la evidencia convierte “el agente lo dijo” en “los datos lo probaron”. Te permite avanzar rápidamente en la iteración y aún obtener prueba formal cuando es necesario.
Puertas (Puntos de Control Formales)
Los gates son los puntos de decisión que convierten la lógica + evidencia en resultados. Evalúan la evidencia de manera determinista: la misma evidencia produce el mismo resultado. La evidencia faltante o no confiable se convierte en unknown, por lo que el gate se detiene en lugar de pasar.
{
"gate_id": "quality",
"result": "pass"
}
El resultado más simple posible: la puerta evaluó la evidencia y aprobó.
Por qué esto es importante: obtienes garantías de nivel de programa: decisiones deterministas, comportamiento de cierre en caso de fallo y trazas de auditoría reproducibles, dentro de los flujos de trabajo del agente. Cada ejecución en vivo produce un runpack para que las decisiones puedan ser verificadas más tarde sin necesidad de volver a ejecutar las herramientas.
Aprender más
- Guía de Lógica RET — Operadores, evaluación de tres estados
- Flujo de Evidencia y Modelo de Ejecución — Cómo se obtiene y evalúa la evidencia
- Concepto de Runpacks — Estructura del paquete de auditoría y reproducción
- Autorización de Escenarios — Formato Completo de ScenarioSpec
- Inicio rápido — Primer escenario de extremo a extremo