Els agents reclamen. Les proves decideixen.

Els agents LLM al·lucinen, sobrevaloren i marquen treballs fets que no ho són. És estructural, no és un error que puguis evitar amb un prompt. Decision Gate és el límit extern on cada reclamació ha de produir evidència abans de poder continuar: determinista, tancat en fallades, preparat per a auditories.

Veure una reclamació arribar a la seva porta:

Agent de recerca

Agent

L'agent afirma:

Citat: Varghese v. China Southern Airlines, 925 F.3d 1339 (11th Cir. 2019).

Decision Gate Defineix

Una citació al costat d'una resposta continua formant part de l'afirmació, no n'és la prova. Decision Gate comprova que el cas existeixi, que la citació del repertori hi remeti i que les autoritats citades siguin reals.

Requerit case_records.count('Varghese v. China Southern') != 0

Observat 0 registres
FALTA
Requerit citation.resolve('925 F.3d 1339')

Observat cas diferent
FALTA
Requerit cited_authorities.resolve()

Observat 0 de 3 resolt
FALTA

Decision Gate Resultat

Totes les comprovacions contradiuen la citació, de manera que l'afirmació queda bloquejada. Un format jurídic versemblant no pot convertir una font inventada en un fet acceptat.

BLOQUEJAT 3 de 3 comprovacions fallades fail-closed: les afirmacions no provades no procedeixen Evidència preservada per a l'auditoria.

Agent de codificació

Agent

L'agent afirma:

Fet. He afegit 5 proves i totes passen.

Decision Gate Defineix

Aquí, «fet» conté tres promeses separades: cinc proves noves, totes les proves requerides aprovades i una cobertura mínima del 90%. Decision Gate avalua cadascuna respecte de l'evidència de les proves.

Requerit test_results.count == 5

Observat 3 proves
FALTA
Requerit test_results.all(status == 'PASSED')

Observat 1 fallant
FALTA
Requerit coverage.line >= 90

Observat 94.2
PASS

Decision Gate Resultat

La cobertura passa, però el recompte de proves i l'estat d'aprovació afirmats no. Una afirmació de finalització parcialment certa encara no està provada, de manera que el flux de treball continua bloquejat.

BLOQUEJAT 2 de 3 comprovacions fallades fail-closed: les afirmacions no provades no procedeixen Evidència preservada per a l'auditoria.

Agent de lliberament

Agent

L'agent afirma:

v2.1 està llest per enviar.

Decision Gate Defineix

«A punt per publicar» es defineix abans que l'agent ho digui: totes les proves passen, la cobertura supera el 90% i l'aprovació de seguretat està registrada.

Requerit tests.passed == tests.total

Observat 512/512
PASS
Requerit coverage.line >= 90

Observat 94.2
PASS
Requerit approvals.security == 'granted'

Observat concedit
PASS

Decision Gate Resultat

Totes les condicions declarades estan sustentades, de manera que la versió pot avançar. «A punt» esdevé una decisió auditable en lloc d'una frase que l'agent pugui definir.

PROCEDEIX 3 de 3 comprovacions superades provat: la reclamació avança Evidència preservada per a l'auditoria.

Per a qualsevol reclam X, requereix prova Y. Si no es pot produir la prova, la reclamació no pot continuar.

En aquesta pàgina Com funciona

Com funciona

Declara la porta. Els requisits són dades, no prosa: quina evidència ha d’existir, de quines fonts, abans que una reclamació pugui procedir.
L’agent fa la seva feina i presenta la seva reclamació. Proves afegides, cita trobada, tasca completa. Les reclamacions són barates; els agents són estocàstics.
L’evidència decideix. La porta resol cada requisit contra les dades observades. Les reclamacions provades procedeixen. Les reclamacions no provades són bloquejades, fallant tancades, amb l’evidència preservada per a l’auditoria.

On es realitza

Verificació de tasques d’agent: les reclamacions de completament es comproven contra les portes abans que el flux de treball avanci.
Portes de qualitat CI/CD: les versions es mantenen fins que es demostrin les proves, la cobertura i les aprovacions, no només s’afirmi.
Fluxos d’aprovació: la signatura humana és una prova com qualsevol altra, i l’absència de signatura bloqueja l’accés.

Continua

Comença amb Fonaments per traçar una reclamació des de l’assertiva fins al registre acceptat. Aplicacions mostra on pertany aquesta mateixa frontera en fluxos de treball reals. La Documentació conté la referència completa.