범주론적 아키텍처로서의 하네스 엔지니어링 (Harness Engineering)

모델을 둘러싸고 프롬프트(prompts), 도구(tools), 메모리(memory), 오케스트레이션 로직(orchestration logic)으로 구성된 시스템 계층인 에이전트 하네스(agent harness)는 LLM 기반 에이전트를 위한 핵심 엔지니어링 추상화로 부상했습니다. 그러나 하네스 설계는 구성(composition), 컴파일 시 속성 보존(preservation of properties under compilation), 또는 프레임워크 간의 체계적인 비교를 규정하는 공식적인 이론 없이 임시방편적(ad hoc)으로 남아 있습니다. 본 논문에서는 ArchAgents 프레임워크의 범주론적 아키텍처(categorical Architecture) 트리플 (G, Know, Phi)이 바로 이러한 공식화를 제공함을 보여줍니다. 에이전트 외부화의 네 가지 기둥(Memory, Skills, Protocols, Harness Engineering)은 트리플의 구성 요소에 매핑됩니다: 메모리(Memory)는 공분산적 상태(coalgebraic state)로, 기술(Skills)은 오페라드(operad)로 구성된 객체로, 프로토콜(Protocols)은 구문적 배선(syntactic wiring) G로, 그리고 전체 하네스(Harness)는 아키텍처(Architecture) 그 자체로 매핑됩니다. 무결성 게이트(integrity gates), 품질 기반 에스컬레이션(quality-based escalation), 지원되는 수렴 확인(convergence checks)과 같은 구조적 보장(structural guarantees)은 Know 레벨의 인증서(certificates)이며, 이들의 보존은 구조적 리플레이(structural replay)입니다. 우리의 컴파일러는 출력 계층의 정확성이나 모델의 동작이 아니라, 항등성(identity)과 검증기 리플레이(verifier replay)를 확인합니다. 우리는 Swarms, DeerFlow, Ralph, Scion, 그리고 LangGraph를 대상으로 하는 컴파일러 펑터(compiler functors)를 특징으로 하는 참조 구현을 통해 이 대응 관계를 검증합니다. 네 가지 구성 컴파일러는 항등성 또는 리플레이를 통해 세 가지 명명된 인증서 유형을 보존하며, LangGraph는 공유된 단계별 실행 경로(per-stage execution path)를 통해 동일한 인증서를 보존합니다. LangGraph 컴파일러는 네이티브 런타임(native runtime)과 동일한 단계별 메서드를 사용하여 단계당 하나의 노드를 생성함으로써, 하네스 로직을 재구현하지 않고도 LangGraph 네이티브 관찰성(observability)을 제공합니다. 실제 LLM 에이전트를 사용한 엔드투엔드(end-to-end) 에스컬레이션 실험을 통해, 품질 기반 에스컬레이션 제어 경로가 이 두 모델, 한 가지 작업 실험에서 모델 매개변수적(model-parametric)임을 확인했습니다. 이 결과는 범주론적 아키텍처를 하네스 엔지니어링의 배후에 있는 공식 이론으로 자리매김합니다.