💻 computer science

ATM: CID-Brokered Pre-Write Admission for Multi-Agent Code Co-Synthesis

본 논문은 공유된 변이(mutation)를 적용하기 전, 의미론적 원자화(semantic atomization)와 중립적 관리(neutral stewardship)를 통해 쓰기 허용을 중재함으로써 안전하고, 감사 가능하며, 복구 가능한 다중 에이전트 코드 공동 합성을 보장하는 CID 중개 거버넌스 시스템인 AI-Atomic-Framework(ATM)를 소개한다.

원저자: Eagl Huang

게시일 2026-07-02

📖 4 분 읽기☕ 가벼운 읽기

CC BY 4.0

원저자: Eagl Huang

원본 논문은 CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/) 라이선스로 제공됩니다. ✨ 이것은 아래 논문에 대한 AI 생성 설명입니다. 저자가 작성하거나 승인한 것이 아닙니다. 기술적 정확성을 위해서는 원본 논문을 참조하세요. 전체 면책 조항 읽기

고도로 발달한 기술이 집약된, 수십 대의 로봇 건설업자(AI 에이전트)들이 하나의 거대한 마천루(소프트웨어 프로젝트)를 함께 짓고 있는 분주한 건설 현장을 상상해 보십시오.

과거에는 두 대의 로봇이 같은 벽을 칠하거나 같은 위치에 창문을 설치하려고 하면, 서로 충돌하거나 작업을 덮어쓰거나, 혹은 엉망이 된 부서진 건물을 남기곤 했습니다. 그들은 페인트가 마르거나 창문이 깨진 후에야 비로소 실수를 깨닫게 되었습니다.

이 논문은 이 로봇 건설업자들을 위한 새로운 "교통 제어 시스템"인 ATM(AI-Atomic-Framework)을 소개합니다. 이 시스템은 로봇들에게 무엇을 지을지 또는 어떻게 지을지를 알려주는 것이 아닙니다. 대신, 물리적인 작업이 시작되기 전에 누가 건물의 어느 부분을 만질 수 있는지를 결정하는 엄격한 문지기 역할을 합니다.

작동 방식은 다음과 같이 간단한 개념으로 나누어 설명할 수 있습니다.

1. 문제점: "너무 많은 요리사" 시나리오

여러 AI 에이전트가 동일한 컴퓨터 파일을 편집하려고 할 때, 그들은 서로 무엇을 하고 있는지 모르는 경우가 많습니다.

과거의 방식: 에이전트 A가 파일에 코드를 쓰기 시작합니다. 에이전트 B도 같은 파일에 쓰기 시작합니다. 둘 다 자신의 작업을 저장합니다. 결과는 충돌하는 코드의 엉망진창(머지 충돌, merge conflict)이 되며, 이를 해결하기 위해 인간이 개입해야 합니다.
ATM의 방식: 에이전트 A나 B가 파일에 손을 대기 전에, 반드시 CID 브로커(교통 경찰)에게 손을 들어 허락을 구해야 합니다.

2. 교통 경찰: CID 브로커

CID 브로커는 중앙 의사결정자입니다. 이 시스템은 추측하지 않고 엄격한 규칙 책을 확인합니다.

ID 카드 (CID): 모든 코드 조각이나 데이터에는 고유한 ID 카드가 있습니다.
지도 (Atom Map): 시스템은 건물을 **"아톰(Atom)"**이라 불리는 작고 관리 가능한 방 단위로 세분화한 지도를 가지고 있습니다. 아톰은 단일 함수, 특정 설정, 또는 한 줄의 텍스트가 될 수 있습니다.
결정: 두 에이전트가 작업을 원할 때, 브로커는 그들의 지도를 확인합니다.
- 초록불 (병렬 작업 가능): "당신은 주방을 칠하고 있고, 상대방은 차고를 칠하고 있군요. 동시에 작업해도 좋습니다!"
- 노란불 (직렬 작업): "두 분 모두 앞문을 고치려 하지만, 방식이 다릅니다. 한 명이 끝날 때까지 다른 한 명은 기다려야 합니다."
- 빨간불 (실패 폐쇄 - Fail-Closed): "당신들은 동일한 엔진의 동일한 볼트를 변경하려 하고 있으며, 우리는 당신들의 아이디어를 어떻게 안전하게 결합할지 판단할 수 없습니다. 즉시 중단하십시오. 엔진에 손대지 마세요."

3. "가상 아톰(Virtual Atom)" 기법

때로는 지도가 완벽하지 않을 수 있습니다. 브로커는 두 에이전트가 작업 중인 것은 알지만, 그들이 정확히 어떤 아주 작은 "방"(아톰) 안에 있는지 아직 파악하지 못할 수도 있습니다.

비유: 에이전트들이 어두운 방 안에서 작업하고 있다고 상상해 보십시오. 브로커는 가구의 형태를 명확히 볼 수 없습니다.
해결책: 브로커는 **"가상 아톰"**을 생성합니다. 이는 마치 지저분한 구역 주변에 임시로 빛나는 상자를 두어, "좋습니다, 이 구역이 작업 중이라는 것을 알고 있습니다. 세부 사항을 파악할 때까지 이 상자를 하나의 단위로 취급하겠습니다"라고 말하는 것과 같습니다. 이는 시스템이 세부 사항을 파악하는 동안 에이전트들이 서로의 발을 밟는 사고를 방지합니다.

4. 중립적인 관리자 (Neutral Steward)

이것은 이 논문의 핵심적인 안전 규칙입니다.

규칙: AI 에이전트(건설업자)들은 공유된 건물에 직접 자신의 변경 사항을 저장할 수 없습니다.
과정: 에이전트가 변경을 제안함 -> 브로커가 승인함 -> 중립적인 관리자(별도의 공정한 로봇)가 실제로 변경 사항을 적용함.
이유: 이를 통해 에이전트가 혼란에 빠지거나 속임수를 쓰려고 해도 건물을 망가뜨릴 수 없도록 보장합니다. 관리자는 브로커가 권한을 부여한 시점 이후에 건물이 변하지 않았는지 다시 한번 확인합니다(마치 누군가 그 사이에 문을 잠갔는지 확인하는 것과 같습니다).

5. ATM이 하는 일 (그리고 하지 않는 일)

이 논문은 자신들의 한계를 매우 명확히 규정하고 있습니다. ATM은 우주의 모든 문제를 해결하는 마법 지팡이가 아닙니다.

✅ 수행하는 것:
- 에이전트들이 엉망을 만들기 전에 서로 충돌하는 것을 방지합니다.
- 에이전트들이 동일한 파일의 서로 다른 부분을 작업할 때 안전한 병렬 작업을 허용합니다.
- 누가 무엇을 하려고 했고, 왜 그것이 허용되었는지에 대한 명확하고 감사 가능한 기록(audit trail)을 생성합니다.
- 단일 "도메인"(예: 특정 컴퓨터 서버 또는 특정 프로젝트 폴더) 내에서 작동합니다.
❌ 수행하지 않는 것:
- 완전히 다른 컴퓨터 사이나 프로젝트의 다른 브랜치 간에 발생하는 충돌을 해결하지 않습니다 (그것은 여전히 Git과 같은 표준 도구의 역할입니다).
- 코드의 정확성을 보장하지 않습니다 (에이전트 간의 싸움은 막을 수 있지만, 컴파일은 되지만 제대로 작동하지 않는 나쁜 코드를 쓰는 것까지 막을 수는 없습니다).
- 인간의 검토나 테스트의 필요성을 대체하지 않습니다.

요약 비유

ATM을 번잡한 교차로의 신호등 시스템이라고 생각하십시오.

에이전트는 자동차입니다.
코드는 도로입니다.
브로커는 신호등입니다.
관리자는 도로 차단기를 실제로 움직이는 건설 팀입니다.

신호등은 자동차를 운전하지 않으며, 도로를 고치지도 않습니다. 그저 두 대의 자동차가 정확히 같은 시간에 교차로를 통과하려고 하여 사고가 나는 것을 방지할 뿐입니다. 신호가 빨간불이면 자동차는 기다려야 합니다. 신호가 초록불이면 자동차는 출발하지만, 도로가 안전한지 확인하기 위해 중립적인 팀원이 최종적으로 차단기를 배치합니다.

기술 요약: ATM – 다중 에이전트 코드 공동 합성을 위한 CID 기반 사전 쓰기 승인 (CID-Brokered Pre-Write Admission)

1. 문제 정의

본 논문은 다중 에이전트 대규모 언어 모델(LLM) 시스템의 특정 공백, 즉 공유된 파일 시스템, 워크트리(worktree) 또는 서비스 도메인 내에서 공유된 변형(mutation)이 적용되기 전에 **쓰기 의도(write intents)**를 심사할 수 있는 거버넌스 메커니즘의 부재를 다룹다.

RepoBench, Commit0와 같은 기존 벤치마크가 에이전트가 여러 파일에 걸쳐 코드를 생성할 수 있음을 보여주고, CodeTeam이나 CoAgent와 같은 시스템이 계획 및 도구 수준의 동시성을 관리하는 것과 달리, 결정적인 병목 현상이 여전히 존재한다. 여러 에이전트가 동일한 공유 리소스(예: 동일한 파일, 레지스트리 또는 아티팩트)를 대상으로 쓰기 의도를 형성할 때, 시스템은 어떤 의도가 병렬로 진행될 수 있는지, 어떤 의도가 결정론적 구성(composition) 또는 직렬화(serialization)를 필요로 하는지, 그리고 어떤 의도가 차단되어야 하는지를 실행 전에 결정해야 한다. 이러한 사전 쓰기 승인 계층(pre-write admission layer)이 없다면, 에이전트는 다운스트림의 Git 또는 풀 리퀘스트(Pull Request) 워크플로에서 레이스 컨디션(race conditions), 조용한 덮어쓰기(silent overwrites), 제어 불가능한 병합 충돌을 초래할 위험이 있다.

본 논문은 다음과 같은 범위를 명확히 구분한다:

문자 단위 CRDT: 텍스트 수렴은 처리하지만 잔여적인 의미론적 충돌(semantic conflicts)은 남겨둠.
Cross-clone/Git Merge: 변경 사항이 반영된 후에 작동함.
글로벌 시맨틱 그래프(Global Semantic Graphs): 모든 아티팩트를 보편적인 AST로 격상(lifting)할 것을 요구함.

ATM은 단일 도메인, 사전 쓰기 승인 경계에 초점을 맞추며, 거버넌스된 공유 상태 변형 이전에 수행되는 감사 가능한 결정에 집중한다.

2. 방법론: ATM 프레임워크

ATM(AI-Atomic-Framework)은 작업 의도, 저장소 범위, 쓰기 승인, 검증 및 증거 의무를 단일 거버넌스 체인으로 결합하는 사양 기반의 거버넌스 기질(substrate)이다. 그 핵심 아키텍처는 세 가지 평면(plane)과 중개된 승인 흐름으로 구성된다.

2.1 3-평면 거버넌스 기질

프레임워크는 작업 계약(Task Contract, $\mathcal{T} = \langle g, A, F, S, D, V, E, \epsilon \rangle$ )에 의해 정의된 세 가지 별도의 평면에서 작동한다:

작업-계약 평면 (Task-Contract Plane): 에이전트가 수행할 수 있는 권한(허용된 파일, 금지된 규칙, 범위 경로, 산출물 및 증거 의무)을 정의한다. 이는 범위 격리(Scope Containment, G1)와 방향 안정성(Direction Stability, G2)을 강제한다.
변형-승인 평면 (Mutation-Admission Plane): **CID 브로커(CID Broker)**가 거버넌스된 공유 변형이 발생할 수 있는지 평가하는 핵심 메커니즘이다. 브로커는 원자(atoms), 콘텐츠 식별자(CIDs), ConflictKey 및 읽기/쓰기 세트를 사용하여 결정론적인 승인 결정을 내린다.
증거-종결 평면 (Evidence-Closure Plane): 검증기가 통과하고, 산출물이 충족되며, 모든 쓰기가 거버넌스 경로를 통과했을 때만 작업이 완료된 것으로 간주한다(G3).

2.2 핵심 메커니즘

어댑터 가이드 원자화 (Adapter-Guided Atomization): 보편적인 AST를 요구하는 대신, ATM은 언어별 어댑터(예: TypeScript, Python, JSON용)를 사용하여 "원자"(함수, 클래스 또는 JSON 키와 같이 거버넌 가능한 최소 단위)를 선언한다.
원자 맵 (The Atom Map): 소유자, 검증기, 의존성 및 공유 표면을 원자와 연결하는 시맨틱 인덱스이다.
가상 원자 (Virtual Atoms): 영구적인 원자 맵이 불완전하거나 너무 거친 경우, 브로커는 가상 원자(구문적 인클로저 또는 라인 범위를 기반으로 한 과도적 단위)를 구체화하여 제한된 영역 비교 및 실패 폐쇄형(fail-closed) 격리를 허용한다.
CID 브로커 및 중립 스튜어드 (CID Broker & Neutral Steward):
- 브로커는 유일한 직렬화 노드이다. 구조화된 쓰기 의도를 수신하여 이를 원자/가상 원자에 매핑하고, 판결(Parallel-safe, Needs-physical-split, SERIAL, 또는 Blocked)을 내린다.
- 중립 스튜어드는 승인된 계획을 공유 워크트리에 적용할 수 있는 유일한 엔티티이다. 드리프트(drift)를 방지하기 위해 변경 사항을 적용하기 전 비교 후 교체(Compare-And-Swap, CAS) 베이스 해시 체크를 수행한다.

2.3 7단계 승인 게이트

브로커는 충돌 표면을 좁히기 위해 점진적인 7단계 게이트를 통해 의도를 평가한다:

CID 정체성 (CID Identity): 의도가 동일한 원자 또는 후보 CID를 대상으로 하는지 확인한다.
공유 표면 (Shared Surface): 레지스트리, 생성기 또는 활성 의도 표면의 중첩 여부를 확인한다.
읽기/쓰기 의존성 (Read/Write Dependencies): 읽기 후 쓰기(read-after-write) 또는 쓰기 후 읽기(write-after-read) 위험을 감지한다.
파일 범위 / 가상 원자 (File Range / Virtual Atom): 알려진 원자 또는 가상 원자 정밀화를 통해 동일 파일 내 변경 사항이 서로 분리되어 있는지 결정한다.
ConflictKey + canMerge: 구조화된 아티팩트 키와 병합 능력을 평가한다.
CAS Base-Hash: 대상 상태가 승인 시점 이후에 변경되지 않았는지 검증한다.
폴백 파일 잠금 (Fallback File Lock): 증거가 불충분할 경우 보수적인 전체 파일 잠금을 수행한다.

의도가 게이트를 통로하지 못하면, 실패 폐쇄형(fail-closed) 경로(의도는 보존하되 직접 적용은 차단), SERIAL 큐, 또는 결정론적 구성 경로로 라우팅된다.

3. 주요 기여

본 논문은 일반 목적의 오케스트레이터라기보다 문제를 재정의하는 관점에서 세 가지 주요 기여를 제시한다:

가상 원자 폴백을 포함한 7단계 사전 쓰기 승인: CID 정체성, 공유 표면, 의존성 및 가상 원자 정밀화를 통해 다중 에이전트 의도를 평가하는 엄격한 승인 게이트를 제공한다. 이는 처음부터 완전한 원자 맵을 가정하지 않고도 거친 파일 수준의 경합을 감사 가능한 승인 결정으로 변환한다.
사양-증거 거버넌스 기질 (Specification-to-Evidence Governance Substrate): 작업 의도, 범위 및 증거 의무를 구조화된 계약으로 공식적으로 결합한다. 이는 사양 드리프트, 범위 드리프트 및 상태 드리프트가 통제되지 않은 변형이 되는 것을 방지한다.
확장 가능한 원자화 추상화 (Extensible Atomization Abstraction): 다양한 언어/포맷이 보편적인 AST로 번역할 필요 없이 어댑터를 통해 후보 원자와 충돌 키를 노출할 수 있는 인터페이스를 제공한다.

4. 결과 및 평가

논문은 단일 비교 벤치마크 대신 계층화된 증거 스택을 제시한다.

결정론적 픽스처 (Deterministic Fixtures): 12개의 시나리오 설계 매트릭스가 결정론적 러너를 통해 결정론적 결정 표면을 검증한다. 세 가지 핵심 시나리오(B-02, B-08, B-13)가 결정론적 러너와 함께 실행되어 아카이브되었다.
현장 증거 (동일 파일 경계):
- POS2: 정밀화(refinement)가 동일 파일 편집에 대한 승인을 가능하게 한 긍정적 사례.
- B-12 & BLOCK: 증거 부족 또는 해결되지 않은 중첩으로 인해 브로커가 의도를 올바르게 차단하거나 직렬화했음을 보여주는 실패 모드 사례.
채택 연구 (npc-brain): 15명의 에이전트와 37개의 작업 카드가 참여한 3주간의 외부 연구(2026년 5월~6월).
- 결과: 복구되지 않은 승인 오류 0건. 시스템은 경합과 검증기 실패를 성공적으로 복구 가능한 경로로 유도했다.
- 워크로드: 연구 기간 동안 호스트 프로젝트인 3KLife에서 320개의 거버넌스된 커밋 수행.
자기 호스팅 포렌식 (Self-Hosting Forensics): 프레임워크가 자체 개발(약 1,372개 커밋)을 거버넌스하며, 원자화 커버리지의 격차(95/100 점수)를 드러내고 복구 메커니즘을 검증함.
AdmissionBench: 20개의 고유 시나리오와 42개의 모드 수준 비교를 포함하는 벤치마크 프로필(v0.2)로, 재현성을 보장하기 위해 기질을 고정함.

인정된 한계점:

ATM은 Git 머지를 대체하거나 크로스 클론/크로스 PR 거버넌스를 다루지 않는다.
교차 언어 시맨틱 정체성(예: TypeScript 클라이언트와 Python 백엔드 간)을 보장하지 않는다.
분산 합의 또는 활성(liveness) 보장을 제공하지 않는다 (기아 현상 발생 가능).
일반 목적의 다중 에이전트 오케스트레이터가 아니라 특정 사전 쓰기 승인 계층이다.

5. 의의 및 주장

본 논문은 관찰된 단일 도메인 환경 내에서 구현 가능하고, 감사 가능하며, 점진적으로 확장 가능한 사전 쓰기 승인 계층의 실현 가능성을 주장한다.

그 의의는 거버넌스 지점을 워크플로의 더 이른 단계로 이동시키는 데 있다. 변경 사항이 다운스트림 Git 또는 PR 통합에 들어가기 전에 동일한 제어된 워크트리 내의 병렬 쓰기 의도를 처리함으로써, ATM은 AgenticFlict에서 문서화된 "병합 충돌 압박"을 줄이는 것을 목표로 한다. 이는 모든 시맨틱 충돌을 제거하거나 기존 버전 제어를 대체하겠다는 주장이 아니라, 미지정된 쓰기 의도를 구조화되고 감사 가능한 승인 증거로 변환하여 공유 변형이 선언된 거버넌스 제약 조건을 충족할 때만 적용되도록 하는 결정론적 게이트를 제공하는 것이다.