[mmmphyun]

개요

CloudShield 프로젝트 블로그 시리즈의 4편 포스트 정제 및 5편 포스트 작성을 완료했습니다.
기존 4편에 선반영되었던 '3-버킷 타임스탬프 슬라이딩 로그' 및 '순서 역전' 상세 내용을 5편으로 온전히 이관하고, 4편을 초기 '단일 키 OCC + 쿼럼 일관성($R + W > N$)' 아키텍처로 롤백·정제하여 두 포스트 간의 서사 인과성을 완성했습니다.

---

주요 변경 사항

1. 4편 포스트 정제 (docs/posts/proj-aleph-project-04-dynamodb-quorum-sliding-window.md)

• 서사 롤백 및 집중: 단일 키(BF#<ip>#<user>)에 대한 ConditionExpression 기반 원자적 갱신과 정족수 쿼럼($R+W>N, W=2, R=2$) 일관성 읽기, 176ms SSH 세션 실측에 따른 사후 L4 격리 아키텍처로 서사를 정돈했습니다.
• 5편 연계 복선 배치: 10초 관통 SLA 예산 하에서 지터 백오프의 한계와, CI 멀티스레드 환경에서 발생하기 시작한 갱신 유실(assert 4 == 5) 결함을 5편의 문제 제기로 연결했습니다.
• 윤문 반영: 수단·경로를 나타내는 영한 번역투(~을 통해) 및 수동태 구문을 능동적 엔지니어링 표현으로 교정했습니다.

2. 5편 포스트 작성 (docs/posts/proj-aleph-project-05-auth-window-concurrency-benchmark.md)

• CI 레이스 컨디션 사고 규명: 5개 스레드 동시 인입 시 CAS 재시도 루프 소진으로 인한 AssertionError: assert 4 == 5 결함을 명시했습니다.
• 통계적 근사의 붕괴 실측: Cloudflare 식 가중 2-버킷 모델(선형 감쇠)이 소규모 보안 공격($N=5, 2$) 및 비균등 버스트 환경에서 대수의 법칙이 깨지며 발생시킨 오탐 2건, 미탐 2건의 수학적 메커니즘을 증명했습니다.
• 락 프리 파티셔닝과 관심사 분리: 시간 버킷 파티셔닝(epoch // 300)을 적용해 조건식을 제거함으로써 충돌률 0%의 원자적 list_append(쓰기 1 RTT)를 달성하고, 윈도우 판정 책임을 조회 시점(check_threat)으로 분리했습니다.
• 양방향 닫힌 구간 필터링: 분산 큐 순서 역전($t=450 \rightarrow t=299$)을 3-버킷 스캔으로 포괄하고, 598초 분산 트래픽 합산 오탐을 방지하기 위해 $[ref - 300, ref]$ 닫힌 구간을 강제했습니다.
• 벤치마크 실측 데이터 반영: 15스레드 동시 인입 유실율 0.0%, P50 지연시간 36.47ms, 8대 전 시나리오 탐지 정확도 100%를 구조화 표로 완결했습니다.

---

검증 내역

• uv run python pipeline/harness.py docs/posts/proj-aleph-project-04-dynamodb-quorum-sliding-window.md 통과
• uv run python pipeline/harness.py docs/posts/proj-aleph-project-05-auth-window-concurrency-benchmark.md 통과
• /detect 진단 및 윤문 완료