S-Bus: HTTP 미들웨어로 LLM 에이전트 간 구조적 경쟁 조건 해결 — DeliveryLog 기반 ORI 일관성

S-Bus는 LLM 에이전트들이 공유 상태를 동시에 수정할 때 발생하는 구조적 경쟁 조건(SRC)을 해결하기 위한 HTTP 미들웨어입니다. 서버 측 DeliveryLog를 통해 각 에이전트의 읽기 집합을 자동 재구성하고, Observable-Read Isolation(ORI)이라는 부분적 인과 일관성을 제공하여 write-write 및 stale-read 충돌을 방지합니다. TLAPS, TLC, Dafny로 정형 검증했으며, PostgreSQL 17 SERIALIZABLE 및 Redis 7 WATCH/MULTI와의 비교 실험에서 427,308건의 HTTP 409 충돌 중 Type-I 오염이 0건임을 확인했습니다. 단, 단일 샤드 협업 쓰기에서는 ORI가 오히려 모순을 전파할 수 있어 주의가 필요합니다.

• #llm-agents
• #consistency
• #race-conditions
• #http-middleware
• #formal-verification