DongHyeonkaandClaude Opus 5
ab59130196
이번 파이프라인 작업과 무관하게 작업 트리에 남아 있던 것을 그대로 올린다. 사용자가 「전부 커밋」으로 정했고, 이번 작업과 섞이지 않게 커밋만 나눴다. 대부분은 clean-architecture-backend-template 의 그림 정본 재배치다 — final/assets/diagrams/<이름>/ 에 있던 것이 CLAUDE.md 가 적은 배치인 final/assets/<이름>/ 로 옮겨졌고 .techviz/<이름>/ 이 함께 들어왔다. 삽입 줄의 대부분(3.15M)이 그 .techviz context.json 이다. 그 밖에 ca-tmpl·document-haness 의 정리, .claude/agents/ 열한 개, writing-practitioner-guides 스킬, .playwright-mcp 세션 산출물, scripts/check-ssot-facts.py 와 그 시험이 들어 있다. 이 커밋의 내용은 내가 만든 것이 아니라 이전 세션이 남긴 것이고 검증하지 않았다. Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
23 lines
976 B
Markdown
23 lines
976 B
Markdown
# 계수기 쌍의 비대칭
|
||
|
||
## Alternative text
|
||
|
||
tryAdmit 이 두 계수기를 올리고 release 가 진행 계수기만 내리며 큐 계수기를 되돌리는 호출이 없는 순서.
|
||
|
||
## Long description
|
||
|
||
SSOT §17.4 는 승인 제어기의 세 메서드가 원자적이지 않고 큐 계수기를 되돌리는 경로가 없다고 적는다.
|
||
|
||
## Elements and evidence
|
||
|
||
- **호출자** (service): No additional description. Evidence: L45814–L45850.
|
||
- **진행 계수기** (service): No additional description. Evidence: L45814–L45850.
|
||
- **큐 계수기** (service): No additional description. Evidence: L45814–L45854.
|
||
|
||
## Relationships
|
||
|
||
- **호출자 → 진행 계수기:** tryAdmit 증가. Evidence: L45814–L45850.
|
||
- **호출자 → 큐 계수기:** tryAdmit 증가. Evidence: L45814–L45850.
|
||
- **호출자 → 진행 계수기:** release 감소. Evidence: L45814–L45850.
|
||
- **호출자 → 큐 계수기:** 반납 메서드 없음. Evidence: L45814–L45854.
|