기술 요약: 포스트-결정론적 분산 시스템 (Post-Deterministic Distributed Systems)

1. 문제 정의

고전적인 분산 시스템 이론은 고정된 가정을 기반으로 한다: 참여자들은 결정론적 상태 머신(deterministic state machines)이며, 프로토콜에 명시된 동작을 실행하고 안정적이며 외부적으로 정의된 의미론(semantics)을 가진다는 것이다. 상태 머신 복제(State Machine Replication, SMR) 모델 하에서 정당성은 **전이 동등성(transition equivalence)**에 의해 정의된다. 즉, 동일한 입력 시퀀스가 주어지면, 모든 올바른 복제본은 반드시 동일한 상태 시퀀스를 거쳐 동일한 출력을 생성해야 한다.

이러한 가정은 클라우드 제어 평면, 사고 대응 시스템, 금융 플랫폼과 같은 핵심 인프라에 자율 추론 엔진(autonomous reasoning engines), 확률적 모델 기반 에이전트(예: 거대 언어 모델), **정책 기반 액터(policy-driven actors)**가 통합됨에 따라 점점 더 도전받고 있다. 전통적인 소프트웨어와 달리, 이러한 에이전트형 참여자들은 다음과 같은 특성을 갖는다:

• 하드코딩된 명령의 정적 시퀀스를 실행하지 않는다.
• 로컬 컨텍스트를 동적으로 평가하고, 외부 지식을 참조하며, 추론 단계를 생성한다.
• **발산하는 추론 경로(divergent reasoning paths)**와 구별되는 운영 트레이스(operational traces)를 생성하지만, 잠재적으로 의미론적으로 동등하고 올바른 결과를 달성할 수 있다.

고전적인 합의 메커니즘(예: Paxos, Raft)은 이러한 동작을 검증하거나 조정할 수 없는데, 그 이유는 이들이 비동일한 실행 트레이스를 비록 안전하고 허용 가능한 결과일지라도 '발산' 또는 '실패'로 취급하기 때문이다. 이는 설계자로 하여, 에이전트를 경직된 결정론적 스크립트에 강제로 가두어 유용성을 제한하거나, 혹은 분산 안전 메커니즘 자체를 우회하게 만드는 간극을 형성한다.

2. 방법론: 참여자 일반 모델 (The Participant-General Model)

본 논문은 결정론적 코드, 확률적 모델, 자율 에이전트가 공존하는 이기종 환경을 조정하기 위한 연구 및 엔지니어링 모델로서 **포스트-결정론적 분산 시스템(PDDS)**을 소개한다.

형식적 정의

PDDS는 참여자가 단순히 결정론적 전이 함수 $f(s, i) = s'$에 국한되지 않는 참여자 일반 모델을 정의한다. 참여자의 동작은 다음과 같은 **허용 가능한 동작 함수(admissible behavior function)**로 정의된다:
$$Adm: S \times I \times C \times P \times E \rightarrow 2^{U \times R}$$
여기서:

• $S$: 시스템 상태 (System states)
• $I$: 선언된 의도/입력 (Declared intents/inputs)
• $C$: 관찰된 컨텍스트 및 텔레메트리 (Observed contexts and telemetry)
• $P$: 활성 정책 및 불변량 (Active policies and invariants)
• $E$: 인식적 상태 (Epistemic state) (보유된 관찰, 증거, 요약, 가정, 신념 계보)
• $U$: 액션 공간 (Action space, 시스템 변이)
• $R$: 추론 트레이스/설명 (Reasoning traces/explanations)

참여자는 $(a, r)$이라는 액션-추론 쌍을 제안하며, 이 쌍이 $(a, r) \in Adm(s, i, C, P, E)$를 만족할 때 올바른 것으로 간주된다.

두 가지 체제 (Two Regimes)

1. 고전적 특수 사례 (Classical Special Case): $|Adm| = 1$. 단 하나의 허용 가능한 액션과 트레이스가 존재한다. 이는 인식적 상태가 비어 있거나 고정된, 고전적인 결정론적 시스템을 회복한다.
2. 포스트-결정론적 사례 (Post-Deterministic Case): $|Adm| > 1$. 구문론적으로는 서로 다르지만 의미론적으로 허용 가능한 여러 액션-추론 쌍이 존재한다. 조정 프로토콜은 선택된 쌍이 단순한 값의 일치가 아니라, 허용된 집합의 유효한 구성원임을 인증한다.

3. 주요 기여

A. 이론적 토대

• 암묵적 경계의 식별: 본 논문은 고전적 분산 시스템 이론 내에 숨겨진 경계로서 "결정론적 참여자 가정"을 식별한다.
• 의미론적 일관성 (Semantic Coherence): 목표를 "결정론적 전이 동등성"에서 의도, 정책 및 실행 컨텍스트 하에서의 의미론적 일관성으로 재정의한다. 정당성은 값의 동일성이 아닌 의미론적 인증(semantic certification)(허용 가능성에 대한 구조화된 증명의 검증)을 통해 검증된다.
• 실패 분류 (Taxonomy of Failures): 포스트-결정론적 시스템에 특화된 새로운 실패 클래스를 정의한다:
  • 의미론적 표류 (Semantic Drift): 공유된 이해의 점진적 붕괴.
  • 상관된 추론 실패 (Correlated Reasoning Failure): 공유된 모델 편향으로 인해 여러 에이전트가 동일한 논리적 오류를 공유하는 현상.
  • 의도 상실 (Intent Loss): 장기적 관점에서 사용자 목표로부터의 누적된 발산.
  • 증거 조작 (Evidence Fabrication): 액션을 정당화하기 위해 텔레메트리를 날조함.
  • 안전하지 않은 위임 (Unsafe Delegation): 의도 제약 조건을 보존하지 못한 채 권한을 이전함.
  • 정책 위반 자율성 (Policy-Violating Autonomy): 로컬 제약 조건은 충족하면서 시스템 불변량을 위반함.
  • 인식적 발산 (Epistemic Divergence): 공유된 의도에도 불구하고 서로 호환되지 않는 지식 상태.
  • 컨텍스트 망각 (Context Amnesia): 메모리 리셋 중 역사적 컨텍스트의 손실.

B. 아키텍처 기둥 (Architectural Pillars)

논문은 PDDS를 운용하기 위한 다섯 가지 기둥을 제시한다:

1. 프로토콜 주도 개발 (Protocol-Driven Development, PDD): 안전성을 컴파일 타임 검증에서 런타임 정책 강제로 전환한다. 에디트 오토마타(edit automata)를 사용하여 제안된 상태 변이를 활성 불변량에 대해 가로채고 검증한다.
2. 검증 가능한 에이전트 인프라 (Verifiable Agentic Infrastructure, VAI): 정적 자격 증명을 의도-실행 증거 체인(권한, 컨텍스트, 추론 경로의 위임)으로 대체하여 의도에 의해 권한을 제한한다.
3. 자율 상태 제어 평면 (Autonomous State Control Planes, ASCP): 추론과 실행을 분리하고, 에이전트를 샌드박스에 격리하며, 의도를 지속시켜 드리프트를 방지함으로써 장기 워크플로우를 관리한다.
4. 의미론적 쿼럼 보증 (Semantic Quorum Assurance, SQA): 이기종 참여자들에게 요청을 전달하고, 제안을 집계하며, 독립적인 검증가 그룹이 의미론적 동등성을 확인하는지 검증함으로써 비결정론적 연산을 인증한다.
5. 인식적 상태 복제 (Epistemic State Replication, ESR): 데이터뿐만 아니라 지식, 증거, 신념 계보를 복제하는 지속 계층이다. 새로운 일관성 개념을 도입한다:
   • 의미론적 선형화 가능성 (Semantic Linearizability): 액션은 의도, 증거, 정책의 유효한 순서로 설명 가능해야 한다.
   • 결국적 일관성 (Eventual Coherence): 의미론적으로 호환 가능한 지식 상태로의 수렴.
   • 검증 가능한 의미론적 롤백 (Verifiable Semantic Rollback): 중요한 컨텍스트를 잃지 않으면서 신념 계보를 제거하며 액션을 되돌림.

4. 결과 및 주장

본 논문은 실험적 벤치마크나 배포된 시스템을 제시하지 않는다. 대신, 그 "결과"는 개념적이고 아키텍처적이다:

• 고전적 컴퓨팅이 더 넓은 참여자 일반 모델의 모호함이 없는 특수 사례임을 입증한다.
• 결정론적 실행이 더 이상 자율 인프라를 위한 보편적 참여자 가정이 될 수 없음을 확립한다.
• (의도, 증거, 정책을 통한 유효한 순서로 설명 가능한지를 통해) 구문론적 발산과 의미론적 정당성을 구분하기 위한 형식적 프레임워크($Adm$ 함수)를 제공한다.
• 확률적 추론을 처리하면서도 안전성을 유지할 수 있는 신뢰할 수 있는 자율 시스템을 구축하기 위한 필수 구성 요소(PDD, VAI, ASCP, SQA, ESR)를 정의한다.

5. 의의

본 논문은 자율 에이전트가 핵심 인프라에 통합됨에 따라 분산 시스템을 설계하고 검증하는 방식에 근본적인 변화가 필요하다고 주장한다. 상태/출력의 동등성 모델에서 의미론적 일관성과 허용 가능한 동작 모델로 이동함으로써, PDDS는 이기종 참여자들의 안전한 조정을 가능하게 한다.

그 의의는 다음과 같은 기술적 프레임워크를 제공하는 데 있다:

• 에이전트를 경직된 스크립트에 강제로 가두지 않고도 결정론적 서비스, 확률적 모델, 인간 행위자를 조정하는 것.
• 자율 인프라가 감사 가능하고, 정책에 의해 제한되며, 의미론적으로 인증 가능하도록 보장하는 것.
• 고전적 결함 모델(crash-stop, Byzantine)이 포착할 수 없는 실패 모드(상관된 추론 실패 및 인식적 발산 등)를 다루는 것.

저자들은 결정론적 시대가 신뢰할 수 있는 분산 계산을 제공했다면, 포스트-결데론적 시대에는 신뢰할 수 있는 자율 인프라를 달성하기 위해 이 새로운 토대가 필요하다고 결론짓는다.