StateFuse: 다중 에이전트 시스템을 위한 결정론적 충돌 보존 메모리

StateFuse: Deterministic Conflict-Preserving Memory for Multi-Agent Systems

에이전트 시스템은 분기, 재시도 및 복제 과정에서 상충되는 관찰 결과를 축적하지만, 많은 기존 메모리 기술은 검사하거나 수정하기 어려운 덮어쓰기 규칙으로 이러한 의견 불일치를 무시합니다. 본 논문에서는 표준 OpSet/CRDT 병합을 기반으로 구축된 충돌 인지 복제 메모리 계약인 StateFuse를 제안합니다. StateFuse는 새로운 조인 대수(join algebra)를 도입하지 않으며, 대신 에이전트가 사용할 수 있는 의미론적 계층을 정의하여 변경 불가능한 기록, 명시적인 충돌 객체, 정확하고 의미론적인 수정 핸들(claim_id / claim_ref), 결정론적 예측 조건 계약 및 복제된 상태를 재작성할 수 없는 프로젝션 시간 해상도를 제공합니다. StateFuse는 동일한 해결 및 검증 정책 하에서 평탄 다중 값, 원시 로그, 출처 기반 및 축소된 기본 모델과 비교되었습니다. 282개의 공식적인 충돌이 포함된 MemoryAgentBench 데이터셋에 대한 평가 결과, 비교 대상 방법들은 답변 정확도 측면에서 동등한 성능을 보였지만, 충돌을 보존하는 방식은 모순을 명확하게 보여주는 반면, 축소된 방식은 그렇지 않습니다. 통제된 에이전트 루프 환경에서 균일한 검증 하에, 불확실성을 유지하면 조기 축소보다 더 안전한 회피 및 수정이 가능합니다. 또한, 수정 핸들 제거 실험을 통해 정확한 이전 식별자가 없을 때 의미론적 핸들이 중요하다는 것을 확인했습니다. 결론적으로, StateFuse는 모순 표출, 회피 및 감사 가능한 수정 기능을 제공하는 더 안전한 공개 메모리 계약으로 가장 적합하며, 보편적인 정확도 향상을 목표로 하는 기술은 아닙니다.

Agent systems accumulate conflicting observations across branches, retries, and replicas, yet many practical memory layers still collapse disagreement behind overwrite rules that are difficult to inspect or correct. We present StateFuse, a conflict-aware replicated memory contract built on standard OpSet/CRDT merge. StateFuse does not introduce a new join algebra; it defines an agent-facing semantics layer with immutable history, explicit conflict objects, exact and semantic correction handles (claim_id / claim_ref), deterministic predicate contracts, and projection-time resolution that cannot rewrite replicated state. We evaluate StateFuse against flat multi-value, raw-log, provenance-style, and collapsed baselines under matched resolver and verification policies. On a 282-question official conflict-bearing MemoryAgentBench slice, the compared methods tie on answer accuracy, but conflict-preserving surfaces keep contradictions visible while collapsed surfaces do not. In a controlled agent loop with uniform verification, preserving ambiguity enables safer abstention and correction than early collapse. A correction-handle ablation further shows that semantic handles matter when exact prior identifiers are unavailable. The resulting claim is narrow: StateFuse is best supported as a safer public memory contract for contradiction surfacing, abstention, and auditable correction, not as a universal accuracy gain.