프로젝티드 뷰와 검증된 구조적 업데이트를 통한 공유 상태 LLM 워크플로우용 PatchOptic
요약
본 논문은 공유 상태를 기반으로 작동하는 LLM 에이전트 워크플로우의 한계를 극복하기 위해 PatchOptic이라는 옵틱 기반 인터페이스를 제안합니다. PatchOptic은 프로젝티드 리드와 검증된 구조적 패치를 사용하여, 로컬 업데이트가 전체 공유 상태에 적용될 때의 전역적 유효성을 보장하는 계약을 제공합니다. 이를 통해 에이전트 워크플로우의 안정성과 신뢰도를 높입니다.
핵심 포인트
- PatchOptic은 옵틱 기반 인터페이스로, 구조화된 데이터 뷰와 업데이트를 관리합니다.
- 프로젝티드 리드는 읽기 상태를 정의하고, 검증된 패치는 안전한 쓰기를 보장합니다.
- 런타임 강제 집행을 통해 워크플로우 계약 위반 및 손상된 아티팩트를 차단합니다.
- PatchBench 벤치마크에서 누수 감소와 출력 품질 유지 효과가 입증되었습니다.
에이전트 기반(Agentic) 워크플로우는 종종 공유되고 구조화된 상태 위에서 작동합니다. LLM 컨텍스트 창은 제한적이기 때문에, 각 모델 호출에는 일반적으로 현재 워크플로우 단계에 필요한 상태 조각만 표시되며, 이는 점진적 공개(progressive disclosure)로 알려진 패턴입니다. 현대 시스템들은 grep과 같은 키워드 검색, 검색 증강 생성(RAG), 추상 구문 트리(AST) 쿼리, 그리고 작업별 에이전트 스킬을 사용하여 이러한 모델에 노출되는 뷰를 구성합니다. 이러한 방법들은 읽기 측면은 관리 가능하게 만들지만, 로컬에서 제안된 재작성이 전체 상태에 다시 적용된 후 언제 유효한지 정의하지는 못합니다. 부족한 부분이 바로 로컬 업데이트와 전역적 유효성 사이의 계약(contract)입니다. 우리는 공유 상태 LLM 워크플로우를 위한 옵틱(optic) 기반 인터페이스인 PatchOptic을 소개합니다. 옵틱은 구조화된 데이터의 뷰가 어떻게 읽히고 업데이트되는지를 설명하는 조합적인 양방향 접근자(bidirectional accessors)입니다. PatchOptic은 이러한 뷰/업데이트 직관을 차용하여 프로젝티드 리드(projected reads)와 검증된 구조적 패치(verified structured patches)를 통해 이를 구현합니다. 각 워크플로우 단계는 프로젝티드 리드 뷰, 승인된 쓰기 영역(authorized write region), 그리고 패치 소스 영역을 선언합니다. 런타임 강제 집행 외에도, 동일한 선언은 위임(delegation), 서브-워크플로우 구성(sub-workflow composition), 그리고 같은 단계 내에서 독립적인 단계를 재정렬하기 위한 정적 인증서(static certificates)를 지원하는 경로 수준의 흔적(path-level footprint)을 산출합니다. 우리는 46개의 사례가 여러 도메인에 걸친 벤치마크인 PatchBench로 이 설계를 평가했습니다. 그 결과는 프로젝티드 리드가 강한 액터(strong actor) 하에서 보고된 누수(leakage)와 토큰 비용을 줄이는 동시에 수락된 출력 품질을 유지함을 보여줍니다. 런타임 검증은 커밋 전에 선언된 워크플로우 계약 위반을 차단하며, 패치-리드 강제 집행은 숨겨진 소스를 사용하는 손상된 패치 아티팩트를 거부합니다.
AI 자동 생성 콘텐츠
본 콘텐츠는 arXiv cs.PL (Programming Languages)의 원문을 AI가 자동으로 요약·번역·분석한 것입니다. 원 저작권은 원저작자에게 있으며, 정확한 내용은 반드시 원문을 확인해 주세요.
원문 바로가기