DeepSeek, Cordis 동적 조합 이론 공개

동적 조합의 이론적 공백 메우기

기존 소프트웨어는 컴파일 타임에 고정되는 정적 조합에 대한 형식 이론이 풍부하지만, 실행 중 컴포넌트를 로드/언로드하는 동적 조합에 대한 이론적 기반은 부족하다. 베이징대와 DeepSeek-AI 연구진은 이 공백을 메우기 위해 동적 조합의 요구사항을 시간적 조합성(안전한 상태 복원)과 공간적 조합성(구조적 의존성 관리)으로 나누고, 이를 형식화한 메타 프레임워크 Cordis를 제안했다.

기존 플러그인 시스템의 한계

논문은 VSCode 확장 시스템을 예시로 기존 시스템의 문제를 지적한다.

• 시간적 한계: 상위 100개 확장 중 87개가 실행 코드를 포함해 제거 시 호스트 재시작이 필수적이다. 재시작 시 캐시와 연결 상태가 초기화되어 가용성 손실이 발생한다.
• 공간적 한계: 상위 100개 중 비내장 확장끼리 의존성을 명시적으로 선언하는 경우는 7개에 불과하다. 타입이 없는 any 반환값으로 인해 검증 가능한 인터페이스 기반 의존성 관리가 불가능하다.

이론적 기반: 효과와 코이펙트 시스템

Cordis는 두 가지 형식 이론을 결합한다.

• 효과 시스템(Effect System): 프로그램이 세계에 미치는 부작용을 타입 레벨에서 추적한다. 모나드 효과와 대수적 효과를 통해 연산과 역연산(undo)을 구조적으로 짝지워 안전한 상태 복원을 보장한다.
• 코이펙트 시스템(Coeffect System): 프로그램이 환경에서 필요로 하는 자원이나 권한을 컨텍스트로 추적한다. 컴포넌트 간 의존성을 정적으로 분석하고 검증 가능하게 해소하는 데 사용된다.

DeepSeek Harness와의 연계

Cordis는 DeepSeek Harness의 공식 문서에 벤더 방식으로 포함된 플러그인 프레임워크로 소개된다. 에이전트 프리셋 구성 파일명인 agent.cordis.yml은 이 관계를 반영한다. 이 연구는 커뮤니티에서 이미 활용되고 있는 DSH 플러그인 생태계가 어떤 형식 이론 위에 구축되었는지를 설명하는 문서이기도 하다.