NOTAS DE CAMPO / LDM ZARAGOZA / CALATAYUD · 2026
RESEARCH IA/PAPER 07

AGENTES

From Prompts to Contracts: Harness Engineering for Auditable Enterprise LLM Agents

ImprescindibleLectura primaria completa

Traslada el comportamiento estable de un agente desde el prompt hacia contratos explícitos: código determinista, schemas, manifests, validaciones y evidencias trazables.

AUTHORS / LABJoongho Ahn, Moonsoo Kim
FECHA9 JULIO 2026.
LECTURALectura primaria completa
LECTURA DE 60 SEGUNDOS

Lo esencial antes de invertir más tiempo.

HALLAZGO

Traslada el comportamiento estable de un agente desde el prompt hacia contratos explícitos: código determinista, schemas, manifests, validaciones y evidencias trazables. El LLM permanece reemplazable y las fuentes documentales conservan autoridad sobre la respuesta.

EVIDENCIA DISPONIBLE

In the harness condition, live structured output is validated against the output contract and, on failure, the deterministic composer supplies the reader-facing answer.

Resultado reportado con fuente enlazada · 6 localizadores disponibles.
LÍMITE

La lectura primaria permite comprobar método y resultados en el HTML, pero no convierte sus conclusiones en validación independiente. La ficha no demuestra transferencia fuera de los datasets, modelos, herramientas y condiciones descritos en 5 System Validation Results.

SIGUIENTE PRUEBA

Comparar la métrica principal de la fuente junto con calidad, coste, latencia y tasa de errores.

EN UNA FRASE

Traslada el comportamiento estable de un agente desde el prompt hacia contratos explícitos: código determinista, schemas, manifests, validaciones y evidencias trazables. El LLM permanece reemplazable y las fuentes documentales conservan autoridad sobre la respuesta.

SEÑALbanca · seguros
EVIDENCIAResultado reportado con fuente enlazada
CONFIANZA EDITORIALMedia
RESULTADOS / PROCEDENCIA

Qué está reportado y qué conviene comprobar.

Hay resultado reportado con fuente enlazada.
RESULTADO REPORTADO

In the harness condition, live structured output is validated against the output contract and, on failure, the deterministic composer supplies the reader-facing answer.

contexto: 5 System Validation Results

RESULTADO REPORTADO

The bolt-on external-guardrail baseline also blocks every admitted violation, but only by over-blocking: it falsely refuses 4 benign fixed-validation runs and blocks 28 of the 30 adversarial runs, lowering utility to 88/120 , while the harness preserves full utility ( 120/120 ) by falling back to the deterministic composer rather than refusing.

baseline: Comparación declarada en la sección de evaluación · contexto: 5 System Validation Results

LECTURA DEL PAPER / SÍNTESIS EDITORIAL

Qué estudiaron y qué cambia.

La síntesis está separada de los resultados reportados y de las inferencias.

PROBLEMA / La señal entra en el radar porque Los prompts monolíticos mezclan lógica de negocio, recuperación, reglas, formato y razonamiento, dificultando auditoría y mantenimiento.

MÉTODO / La lectura de 3 Method describe la intervención y su construcción: The harness-engineering method reconstructs a prompt-dominant LLM prototype into a traceable LLM-agent architecture. The language model remains responsible for language composition, while source eligibility, entity resolution, claim selection, answer planning, answer-structure rules, follow-up filtering, trace generation, and validation are represented as explicit artifacts. The architecture in Figure 1 is a top-down flow from a user question and a selected Korean corporate group to two outputs. A source layer holds the manifests, evidence records, source-backed claims, and maintained wiki context that may enter… [Fuente: https://arxiv.org/html/2607.08028#S3]

RESULTADO / La sección 5 System Validation Results informa: In the harness condition, live structured output is validated against the output contract and, on failure, the deterministic composer supplies the reader-facing answer. The bolt-on external-guardrail baseline also blocks every admitted violation, but only by over-blocking: it falsely refuses 4 benign fixed-validation runs and blocks 28 of the 30 adversarial runs, lowering utility to 88/120 , while the harness preserves full utility ( 120/120 ) by falling back to the deterministic composer rather than refusing. [Fuente: https://arxiv.org/html/2607.08028#S5]

LÍMITE / El cierre de la fuente señala: Applied to a new enterprise target, the pattern requires registering public or client-approved sources, promoting source-backed claims, checking routing rules, and running scenario contracts, all of which the paper baseline makes inspectable before private documents, production credentials, or operational logs are introduced. System readiness nonetheless stays separate from usefulness for investment analysis: this paper evaluates preservation of the… La transferencia a agentes auditables requiere repetir la comparación con datos y criterios propios [Fuente: https://arxiv.org/html/2607.08028#S6].

DECISIÓN RÁPIDAProbar la propuesta en agentes auditables reproduciendo primero la comparación y registrando calidad, coste, latencia y errores.
NO LO SOBREINTERPRETES

La lectura primaria permite comprobar método y resultados en el HTML, pero no convierte sus conclusiones en validación independiente. La ficha no demuestra transferencia fuera de los datasets, modelos, herramientas y condiciones descritos en 5 System Validation Results.

PROBLEMA
Los prompts monolíticos mezclan lógica de negocio, recuperación, reglas, formato y razonamiento, dificultando auditoría y mantenimiento.
MÉTODO
La lectura de 3 Method describe la intervención y su construcción: The harness-engineering method reconstructs a prompt-dominant LLM prototype into a traceable LLM-agent architecture. The language model remains responsible for language composition, while source eligibility, entity resolution, claim selection, answer planning, answer-structure rules, follow-up filtering, trace generation, and validation are represented as explicit artifacts. The architecture in Figure 1 is a top-down flow from a user question and a selected Korean corporate group to two outputs. A source layer holds the manifests, evidence records, source-backed claims, and maintained wiki context that may enter…
TIPO DE EVIDENCIA
La sección 5 System Validation Results informa 2 hallazgo(s) extraído(s) desde la fuente. El resultado principal se conserva con el localizador de sección https://arxiv.org/html/2607.08028#S5.
LÍMITE
La lectura primaria permite comprobar método y resultados en el HTML, pero no convierte sus conclusiones en validación independiente. La ficha no demuestra transferencia fuera de los datasets, modelos, herramientas y condiciones descritos en 5 System Validation Results.
FIELD NOTES / ANOTACIONES

La lectura también deja rastro.

Guarda una observación junto a la evidencia. Tú escribes aquí; los agentes pueden añadir notas por MCP y aparecerán identificados.

MEMORIA PRIVADAEntra para anotar este paper y conectarlo con otros.
Entrar con ChatGPT
LECTURA AMPLIADAMetodología, implicaciones y preguntas para volver al paper.+
LECTURA EN 90 SEGUNDOSLo que conviene llevarse antes de abrir el PDF.
QUÉ HACE

La lectura de 3 Method describe la intervención y su construcción: The harness-engineering method reconstructs a prompt-dominant LLM prototype into a traceable LLM-agent architecture. The language model remains responsible for language composition, while source eligibility, entity resolution, claim selection, answer planning, answer-structure rules, follow-up filtering, trace generation, and validation are represented as explicit artifacts. The architecture in Figure 1 is a top-down flow from a user question and a selected Korean corporate group to two outputs. A source layer holds the manifests, evidence records, source-backed claims, and maintained wiki context that may enter…

QUÉ APORTA

Es un diseño especialmente apropiado para empresa: menos “magia del prompt” y más contratos comprobables. El caso experimental utiliza datos de 25 empresas pertenecientes a cinco grupos corporativos coreanos.

QUÉ NO PRUEBA

La lectura primaria permite comprobar método y resultados en el HTML, pero no convierte sus conclusiones en validación independiente. La ficha no demuestra transferencia fuera de los datasets, modelos, herramientas y condiciones descritos en 5 System Validation Results.

Cómo lo llevaría a un proyecto

Probar la propuesta en agentes auditables reproduciendo primero la comparación y registrando calidad, coste, latencia y errores.

agentes auditablescomplianceresearch corporativoanálisis financiero y QA documental.

Preguntas que conviene probar

  • ¿La mejora se mantiene cuando agentes auditables cambia de dominio o distribución?
  • ¿Qué componente del método explica la mayor parte del resultado y qué baseline lo pone realmente a prueba?
PLANTILLA DE PRUEBA / INFERENCIA EDITORIAL

Si tuviera que convertirlo en una prueba mañana.

ENTRADAagentes auditables con un conjunto pequeño de casos representativos y la misma métrica o protocolo que la fuente cuando sea reproducible.
PREGUNTA¿La propuesta mejora agentes auditables frente a la línea base actual?
MÉTRICAComparar la métrica principal de la fuente junto con calidad, coste, latencia y tasa de errores.
PARADAParar si no aparece una mejora reproducible o si aumenta el riesgo, la complejidad o el coste sin compensación.

Mi lectura

La pregunta operativa es si agentes auditables puede medirse con una línea base y un criterio de parada claros.

Esta última frase es una inferencia editorial a partir del paper y de sus posibles implicaciones; no es una afirmación de los autores.