Byzantine-Resilient LLM-Agent 협업을 위한 계층적 인증 의미론적 커밋 (Hierarchical Certified

대규모 언어 모델 (LLM) 에이전트 간의 비잔틴 협업 (Byzantine collaboration)에는 최종성 제어 프리미티브 (finality-control primitive)가 필요합니다. 즉, 전달된 확률적이고 구조화된 자연어 제안 (proposals)이 주어졌을 때, 프로토콜은 해당 라운드가 커밋 (commit)을 지원할지, 어떤 종류의 커밋을 수행할지, 아니면 유형화된 안전한 중단 (typed safe abort)을 수행할지를 결정해야 합니다. 단순한 집계 (Naive aggregation) 방식은 이러한 선택을 단일 판결 뒤에 숨겨버리며, 고전적인 비잔틴 결함 허용 (Byzantine fault tolerance, BFT) 방식은 LLM 제안이 충족하지 못하는 바이트 동일성 (byte-identity) 뒤에 이를 숨깁니다. 본 논문에서는 판결 조건부 제안 그룹 (verdict-conditioned proposal groups)에 대해 임베딩 유도 최종성 신호 (embedding-derived finality signals)를 세 가지 유형의 결과 중 하나로 변환하는 BFT 기반 프로토콜인 계층적 인증 의미론적 커밋 (Hierarchical Certified Semantic Commitment, H-CSC)을 소개합니다. 세 가지 결과는 다음과 같습니다: semantic_commit (판결 내의 2f+1 의미론적 핵심이 판결을 뒷받침하며, 양자화된 집계에 대해 파라미터 제한 다이제스트 (parameter-bound digest)를 방출), verdict_commit (강력한 판결 마진을 가지나 의미론적 근거는 분산되어 있으며, 의미론적 집계를 주장하지 않고 판결 수준의 인증서를 방출), 또는 유형화된 이유를 포함한 명시적 중단 (explicit abort)입니다. 본 연구의 기여는 가공되지 않은 커밋 정확도가 아닌 유형화된 최종성 (typed finality)입니다. 통제된 의미론적 오염 진단 (semantic-poisoning diagnostic, BCS_v1, 120 에피소드)에서 H-CSC는 BFT 실행 가능 버킷 (BFT-feasible buckets) 내에서 낮은 각도 편차(0.31~2.04도)로 커밋하며, 의도한 대로 BFT 범위를 벗어난 라운드(n<3f+1)는 100% 중단합니다. 정적 및 러싱 비잔틴 공격 (static and rushing Byzantine attacks)이 쌍으로 적용된 실제 LLM 에이전트 주장 검증 벤치마크 (MVR-50, 50개 작업)에서 H-CSC는 정직한 참조 무효화율 (honest-reference-invalid rates) 0.02/0.00으로 0.90/0.92의 커밋율을 기록하며, 통계적으로 강력한 인증서 방출 판결 전용 베이스라인 (strong certificate-emitting verdict-only baseline)과 일치합니다. 해당 베이스라인과 달리 H-CSC는 라운드의 74%/72%에서 임베딩 기반의 semantic_commit 다이제스트를 방출하여 유형화된 출처 (typed provenance)를 제공합니다. 엄격한 의미론적 제거 실험 (strict-semantic ablation)에서는 0.54/0.48만 커밋하였는데, 이는 동일한 <=0.04 안전 하한선에서 커버리지를 높이기 위해 (+0.36/+0.44) 판결 수준의 폴백 (fallback)이 필수적임을 보여줍니다. 4개의 LLM에 걸친 100개 작업의 교차 모델 점검 결과, invalid_hmaj를 0.00에서 0.03 이내로 유지하였습니다.