Arxi Decision Gate Asset Core
Docs

Decisions Gate Basics

Els programes són fiables perquè els requisits són explícits, les entrades són conegudes i els resultats es poden verificar. Els agents són potents, però els seus fluxos de treball són probabilístics i els seus resultats són difícils de demostrar.

Decision Gate recrea aquelles garanties del programa per als fluxos de treball dels agents sense convertir els agents de nou en programes. Ho fa a través de tres conceptes que es fonamenten uns en els altres: la Lògica defineix què significa “fet”, l’Evidència prova què ha passat, i les Gates prenen la decisió.

Tres conceptes clau

Lògica (Com s’expressen els requisits)

Els programes codifiquen requisits dins dels camins de codi. Els agents necessiten requisits expressats de manera explícita, en una forma que tant humans com sistemes poden inspeccionar. La lògica transforma “ha funcionat?” en condicions clares i provables i les combina en una porta.

{
  "requirement": {
    "And": [
      { "Condition": "tests_ok" },
      { "Condition": "coverage_ok" }
    ]
  }
}

Un requisit de porta simple: ambdues condicions han de ser certes perquè la porta pugui passar.

Per què és important: deixes de debatre els resultats i comences a avaluar-los. La lògica fa visibles, estables i auditable els criteris d’èxit.

Evidència (D’on Prové la Prova)

Els programes coneixen les seves entrades; els agents generen resultats mitjançant eines, APIs i sistemes externs. L’evidència és com Decision Gate ancla les afirmacions dels agents a dades reals.

  • Verificat: proporcionat pel proveïdor, de confiança, més lent (utilitzar per a execucions auditades)
  • Afirmat: proporcionat pel client, iteració ràpida, menor confiança
  • Auditoria: metadades enregistrades que no afecten els resultats de la porta d’entrada
{
  "evidence": {
    "tests_ok": { "lane": "verified", "value": 0 },
    "coverage_ok": { "lane": "verified", "value": 92 }
  }
}

Payloads d’evidència i canals de confiança: les dades que la porta avaluarà, més quina és la seva fiabilitat.

Per què és important: l’evidència transforma “l’agent ho va dir” en “les dades ho van demostrar”. Permet avançar ràpidament en la iteració i obtenir proves formals quan és necessari.

Gates (Punts de Control Formals)

Les portes són els punts de decisió que transformen la lògica + l’evidència en resultats. Avaluen l’evidència de manera determinista: la mateixa evidència produeix el mateix resultat. L’evidència que falta o que no és de confiança es converteix en unknown, així que la porta es manté en lloc de passar.

{
  "gate_id": "quality",
  "result": "pass"
}

El resultat més simple possible: la porta va avaluar les proves i va passar.

Per què és important: obtens garanties a nivell de programa: decisions deterministes, comportament de fallada tancada i pistes d’auditoria reproduïbles dins dels fluxos de treball de l’agent. Cada execució en viu produeix un runpack perquè les decisions es puguin verificar més tard sense tornar a executar les eines.

A continuació, vegeu com aquests conceptes apareixen en fluxos de treball reals en exemples de Decision Gate.

Aprendre més