Aplicacions

Tres maneres en què Decision Gate s'integra dins d'un producte LLM: respostes verificades abans de ser mostrades, afirmacions provades a demanda i plans que porten les seves pròpies condicions de finalització.

La resposta arriba ja comprovada

Usuari

Quant vam gastar amb Acme al Q2?

Esborrany de resposta, retingut per a verificació

Vas gastar 12.480 $ amb Acme al Q2, a través de 3 factures.

Decision Gate Defineix

L'esborrany conté dues afirmacions factuals. Decision Gate reté la resposta mentre converteix el total i el recompte de factures indicats en condicions vinculades als registres de facturació.

billing.total('acme', 'Q2') == 12480 Observat 12480 PASS

billing.invoices('acme', 'Q2').count == 3 Observat 3 PASS

Decision Gate Avalua

Totes dues condicions es resolen com a True respecte dels registres admesos, de manera que aquesta resposta exacta ja es pot presentar.

Assistència

Vas gastar 12.480 $ amb Acme al Q2, a través de 3 factures.

Verificat 2 reclamacions verificades contra els registres de facturació

Decision Gate Resultat

El lector rep una resposta amb una cadena comprovable des de cada xifra fins a l'evidència que la sosté, no només una citació propera.

Proves: les xifres indicades coincidien amb els registres de facturació declarats en el moment de l'avaluació.

No prova: la prosa és completa, o els registres de facturació mateixos són sense errors.

El lector es resisteix

Assistència

Tots les dades dels clients es guarden a les regions de la UE.

Usuari

No et crec.

Decision Gate Defineix

Decision Gate no demana al model que reconsideri la redacció. Converteix «totes les dades dels clients s'emmagatzemen en regions de la UE» en les obligacions que han de ser totes certes.

L'emmagatzematge d'objectes viu a les regions de la UE
Les bases de dades viuen a les regions de la UE
Les còpies de seguretat viuen a les regions de la UE

Decision Gate Avalua

Per a les còpies de seguretat, l'afirmació àmplia esdevé exacta: cada magatzem ha d'estar en una regió permesa de la UE. La porta comprova aquest predicat respecte de l'inventari admès de còpies de seguretat.

Recuperar la inventari de còpia de seguretat
Construeix la porta vaults.all(region in ['eu-central-1', 'eu-west-1'])
Avaluar contra l'inventari observat

Observat vault 'archive-7': us-east-1 FALTA

FALTA

Una bóveda està fora de la UE. La reclamació és falsa tal com s'ha indicat, i ara hi ha un registre del perquè.

Decision Gate Resultat

Un sol magatzem als EUA basta perquè l'afirmació universal sigui False. La resposta es rebutja i es conserva la contraevidència, en lloc de convidar una altra resposta sense fonament.

Proves: l'inventari declarat mostrava un cofre no UE en el moment de l'avaluació.

No prova: l'inventari mateix és complet. Això és un fet d'abast d'evidència que la política ha de nomenar.

El pla porta les seves pròpies condicions de finalització

plan.md

Reproduir el bug reportat
Arregla-ho i afegeix cinc proves
Prepare el canvi provat per a la seva entrega

Condicions de finalització del Decision Gate

new_test_count == 5
required_tests.all(status == 'PASSED')
tested_commit == delivery_commit

Agent

Tot fet. Cinc proves afegides, tot passa.

Decision Gate Defineix

«Fet» es va definir abans de començar la feina: cinc proves noves, totes les proves requerides aprovades i el commit provat igual al commit de lliurament. Decision Gate avalua ara l'afirmació de l'agent respecte d'aquestes condicions.

new_test_count == 5 Observat 5 PASS

required_tests.all(status == 'PASSED') Observat tots APROVATS PASS

tested_commit == delivery_commit Observat desajust de digestió FALTA

Decision Gate Avalua

El recompte i els estats de les proves passen, però la vinculació de l'artefacte falla: l'evidència pertany a un commit diferent. Uns bons resultats per a un artefacte no en proven un altre.

MANTINGUT

Les proves s'han realitzat en un compromís diferent del que s'està lliurant. La finalització no és acceptada.

L'agent torna a executar la suite en el commit de lliurament i la torna a enviar.

tested_commit == delivery_commit Observat resums coincideixen PASS

ACCEPTAT

La finalització es registra amb la seva evidència. El bucle es tanca sobre la prova, no sobre la prosa.

Decision Gate Resultat

Després de tornar a executar el conjunt de proves sobre el commit de lliurament, totes les condicions de finalització passen i la finalització s'accepta. El pla es tanca amb evidència, no amb la confiança de l'agent.

Proves: les condicions declarades es van mantenir per al compromís de lliurament exacte.

No prova: les cinc proves són bones proves. La qualitat de la prova és una afirmació diferent que necessita proves diferents.

En aquesta pàgina La forma que comparteixen

En cada patró passa la mateixa cosa en un moment diferent. Un actor proposa alguna cosa: una resposta, un fet, una tasca acabada. La reclamació que importa es declara com a condicions escrites. Es permet l’evidència sota una política explícita, les condicions s’avaluen i el resultat es registra amb l’evidència que l’ha produït.

El que canvia és on se situa el límit. Pot executar-se abans que un lector vegi mai la sortida, de manera que la verificació és una infraestructura invisible. Pot executar-se a demanda, quan algú fa la pregunta que cada resposta fluida hauria de poder sobreviure. O pot estar escrit dins del treball mateix, de manera que “fet” és un conjunt de condicions que el flux de treball ha de satisfer en comptes d’una frase que el flux de treball pot dir.

Cap d’aquests patrons fa que el model sigui més caut. Fan que el producte deixi d’acceptar la paraula del model.

Continua

Com Funciona explica la maquinària de la qual depenen aquests storyboards: condicions tipades, assegurança d’evidència, resultats de tres valors i progressos acceptats. Documentació té la referència completa.