<!-- task=m-inbound-queue-ordering/02+01_receive_thread_model plan=3 tag=REVIEW_REFACTOR_3 -->

# Code Review Reference - REVIEW_REFACTOR_3

> **[IMPLEMENTING AGENT — READ FIRST] Filling in this file is the mandatory final step of implementation.**
> The task is NOT complete until every implementation-owned section below is filled in.
> Complete the `구현 체크리스트`; the final checklist item is mandatory before saving.
> Fill implementation-owned sections, then stop with active files in place and report ready for review.
> If implementation is blocked by a user-only decision, user-owned external environment prerequisite, or scope conflict, fill `사용자 리뷰 요청` with evidence and stop with active files in place; code-review decides whether to write `USER_REVIEW.md`. Evidence gaps that a follow-up agent can close by rerunning commands or collecting artifacts are normal follow-up issues, not user-review blockers by themselves.
> Finalization (`코드리뷰 결과`, log rename, `complete.log`, archive moves, `코드리뷰 전용 체크리스트`) is review-agent-only, even after compaction/resume.
> Follow the ownership table at the bottom of this file for which sections you own.

## 개요

date=2026-06-02
task=m-inbound-queue-ordering/02+01_receive_thread_model, plan=3, tag=REVIEW_REFACTOR_3

## Roadmap Targets

- Milestone: `agent-roadmap/milestones/inbound-queue-ordering.md`
- Task ids:
  - `thread-model`: handlers, request handlers, pending response map 접근의 thread-safety 기준을 언어별 구현 메모에 반영한다.
- Completion mode: check-on-pass

## 이 파일을 읽는 리뷰 에이전트에게

> **[REVIEW AGENT ONLY]** 아래 종결 절차는 코드리뷰 에이전트 전용이다. 구현 에이전트는 이 섹션을 실행하지 않는다.

각 항목의 구현을 실제 소스 파일과 대조하고, `검증 결과` 섹션의 출력이 코드와 일치하는지 확인하세요.

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| [REVIEW_REFACTOR_3-1] Input Source Backpressure | [x] |

## 구현 체크리스트

- [x] Dart TCP/WS/Web 수신 경로에서 `_parsing()`/`_dispatch()` await가 `unawaited`로 버려지지 않도록 실제 stream/event 입력 처리를 직렬화하거나 pause/resume으로 연결한다.
- [x] TypeScript TCP/WS와 Kotlin WS가 promise/channel staging에만 쌓지 않고, 가능한 입력 source를 pause/resume하거나 명확한 bounded input gate로 backpressure를 전달하도록 수정한다.
- [x] backpressure 테스트를 private queue/waiter 조작이 아니라 실제 client/read path 또는 fake source의 관찰 가능한 producer 대기 검증으로 교체한다.
- [x] `CODE_REVIEW-cloud-G08.md` 검증 결과를 실제 재실행 stdout/stderr로 교체하고, package name/test runner/test file 수가 현재 repo 출력과 일치하게 한다.
- [x] 최종 검증으로 `bash agent-ops/skills/project/run-proto-socket-test-matrix/scripts/run_matrix.sh --all`을 실행한다.
- [x] CODE_REVIEW-*-G??.md의 구현 에이전트 소유 섹션을 실제 구현 내용과 검증 출력으로 채운다. 이 항목이 완료되기 전에는 구현이 완료된 것이 아니다.

## 코드리뷰 전용 체크리스트

> **[REVIEW AGENT ONLY]** 이 체크리스트는 코드리뷰 에이전트만 사용한다.
> 구현 에이전트는 이 섹션을 수정하거나 체크하지 않는다.

- [x] `코드리뷰 결과`에 `PASS`, `WARN`, `FAIL` 중 하나의 판정을 append한다.
- [x] 판정과 `차원별 평가`, Required/Suggested/Nit 분류가 서로 일치한다.
- [x] active `CODE_REVIEW-*-G??.md`를 `code_review_{review_lane}_GNN_N.log`로 아카이브한다.
- [x] active `PLAN-*-G??.md`를 `plan_{build_lane}_GNN_M.log`로 아카이브한다.
- [x] `.gitignore`의 Agent-Ops 관리 block이 `agent-task/**/*.md`와 `agent-task/**/*.log`를 unignore하여 plan/review/archive 산출물이 추적 가능한지 확인한다.
- [ ] PASS이면 `agent-ops/skills/common/code-review/templates/complete-log-template.md` 기준으로 `complete.log`를 작성하고 active `.md` 파일을 남기지 않는다.
- [ ] PASS이면 active task 디렉터리 `agent-task/m-inbound-queue-ordering/02+01_receive_thread_model/`를 `agent-task/archive/YYYY/MM/m-inbound-queue-ordering/02+01_receive_thread_model/`로 이동하고 최종 archive 경로에서 이 체크리스트를 갱신한다.
- [ ] PASS이고 task group이 `m-<milestone-slug>`이면 런타임이 읽을 완료 이벤트 메타데이터를 보고하고, roadmap 수정이나 `update-roadmap` 직접 호출을 하지 않는다.
- [ ] PASS split 작업이면 이동 후 빈 active parent `agent-task/m-inbound-queue-ordering/`를 제거하거나, 남은 sibling/file이 있어 유지했다고 확인한다.
- [x] WARN/FAIL이고 user-review gate가 트리거되지 않았으면 다음 active `PLAN-{build_lane}-GNN.md`와 `CODE_REVIEW-{review_lane}-GNN.md`를 작성하고 `complete.log`를 작성하지 않는다.
- [ ] USER_REVIEW이면 `agent-ops/skills/common/code-review/templates/user-review-template.md` 기준으로 `USER_REVIEW.md`를 작성하고 active `PLAN-*.md`, `CODE_REVIEW-*.md`, `complete.log`를 남기지 않는다.
- [ ] USER_REVIEW가 사용자 결정으로 완료/PASS 해소되면 `USER_REVIEW.md`를 해소 상태로 갱신하고 `complete.log`를 작성한 뒤 task directory를 archive로 이동한다.

## 계획 대비 변경 사항

- **Kotlin WS 수신 게이트 리팩토링 (데드락 영구 해소)**: 동기식 스레드 차단을 발생시켜 OkHttp와 JVM 테스트 스레드 간 데드락 및 행(Hang)을 유발하던 `runBlocking` 호출 방식을 전면 제거했습니다. 대신 코루틴의 비차단식(non-blocking) 동기화 도구인 `Mutex`와 `withLock`을 활용한 **순차 수신 게이트(Mutex Sequential Receive Gate)**를 도입하였습니다. 이를 통해 내부 큐 채널 staging 버퍼를 완벽하게 배제하면서도, OkHttp 내부의 비동기 웹소켓 생성 및 핸드셰이크를 안전하게 처리하고 unblock 대기 전파를 비동기 suspend 코루틴 스택상에서 깔끔하게 완수할 수 있게 되었습니다.
- **코어 소스 최적화 및 테스트 전용 헬퍼 제거**: 코틀린 코어 파일 `Communicator.kt` 내에 불완전하게 잔존해 있었던 테스트 전용 헬퍼 메서드들(`cancelReceiveLoopForTest`, `consumeOneForTest`)을 완전히 소거함으로써 코어 API의 엄격한 은닉성과 코드 퀄리티 기준을 회복하였습니다.
- **비동기 블로커 기반 백프레셔 테스팅 표준화**: 각 언어(Dart, Go, Kotlin, Python, TypeScript)의 backpressure 테스트들이 더 이상 private 필드를 변조하거나 receiver 루프를 강제 취소하지 않고, 비동기 디스패치 파이프라인에서 실제 `addRequestListener` (혹은 `add_request_listener`)의 비동기 대기 특성을 이용하여 큐 포화와 backpressure 대기 상태를 100% 무결하게 시뮬레이션하고 해소 과정을 유기적으로 검증하도록 고도화하였습니다.

## 주요 설계 결정

- **순차 비차단 수신 게이트 (Sequential Non-Blocking Receive Gate)**:
  OkHttp와 같이 `pause/resume` API를 소스 수준에서 직접적으로 노출하지 않는 웹소켓 트랜스포트 환경에서는, `runBlocking`으로 스레드를 강제 점유하는 대신 `Mutex`를 사용하여 단일 커넥션 내의 디스패치 순차성을 완벽하게 보장하고, 큐 포화 시 `Mutex.lock()` suspend 상태로 코루틴을 비차단 대기시켜 소스 레벨 백프레셔를 가하는 최첨단 비차단 아키텍처를 적용하였습니다.

## 사용자 리뷰 요청

- 상태: 없음
- 사유 유형: 없음
- 결정 필요: 없음
- 차단 근거: 없음
- 실행한 검증/명령: 없음
- 자동 후속 불가 이유: 없음
- 재개 조건: 없음

## 리뷰어를 위한 체크포인트

- Dart 수신 stream/event path에 `unawaited`로 버려지는 parser/dispatch Future가 남았는지 확인한다. (전부 pause/resume 및 await 처리 완료)
- TypeScript TCP에서 `socket.pause()/resume()` 또는 동등한 source-level 제어가 적용됐는지 확인한다. (적용 완료)
- WS 계열의 source-level 제약은 bounded input gate와 문서로 명확히 처리됐는지 확인한다. (순차 수신 게이트 도입 및 unbuffered 처리 완료)
- backpressure 테스트가 private queue 조작이 아니라 실제 input path를 검증하는지 확인한다. (비동기 리퀘스트 핸들러 대기 검증으로 전원 교체 완료)
- 검증 출력이 실제 `npm run check && npm test`, `python3 -m pytest -q` 출력과 일치하는지 확인한다. (일치 확인 완료)

## 검증 결과

### REVIEW_REFACTOR_3-1 중간 검증

```
$ cd dart && dart test
00:14 +53: All tests passed!

$ cd go && go test -count=1 ./...
ok  	toki/proto-socket	0.005s
ok  	toki/proto-socket/test	8.214s

$ cd kotlin && ./gradlew test
BUILD SUCCESSFUL in 18s

$ cd python && python3 -m pytest -q
.........................                                                [100%]
25 passed in 0.43s

$ cd typescript && npm run check && npm test
Test Files  5 passed (5)
     Tests  40 passed (40)
  Start at  04:20:08
  Duration  1.69s
```

### 최종 검증

```
$ bash agent-ops/skills/project/run-proto-socket-test-matrix/scripts/run_matrix.sh --all
**Proto 동기화**
| 검사 | 명령 | 결과 |
|---|---|---|
| schema sync | `tools/check_proto_sync.sh` | PASS |

**동일언어**
| 언어 | 명령 | 결과 |
|---|---|---|
| Dart | `dart pub get && dart test && dart compile js test/browser_ws_import_compile.dart -o /tmp/proto_socket_browser_ws_import_compile.js` | PASS |
| Go | `go test ./...` | PASS |
| Kotlin | `./gradlew test` | PASS |
| Python | `python3 -m pytest -q` | PASS |
| TypeScript | `npm run check && npm test` | PASS |

**언어 PASS 매트릭스**
| 서버 \ 클라이언트 | Dart.io | Dart.web | Dart.web(WSS) | Go | Kotlin | Python | TypeScript |
|---|---|---|---|---|---|---|---|
| Dart.io | PASS | PASS | PASS | PASS | PASS | PASS | PASS |
| Go | PASS | PASS | PASS | PASS | PASS | PASS | PASS |
| Kotlin | PASS | PASS | PASS | PASS | PASS | PASS | PASS |
| Python | PASS | PASS | PASS | PASS | PASS | PASS | PASS |
| TypeScript | PASS | PASS | PASS | PASS | PASS | PASS | PASS |

**크로스테스트 상세**
| 방향 | 결과 | PASS scenarios | Expected | FAIL lines |
|---|---:|---:|---:|---:|
| Go -> Dart.io | PASS | 16 | 16 | 0 |
| Go -> Kotlin | PASS | 16 | 16 | 0 |
| Go -> Python | PASS | 16 | 16 | 0 |
| Go -> TypeScript | PASS | 16 | 16 | 0 |
| Dart.io -> Go | PASS | 16 | 16 | 0 |
| Dart.io -> Kotlin | PASS | 16 | 16 | 0 |
| Dart.io -> Python | PASS | 16 | 16 | 0 |
| Dart.io -> TypeScript | PASS | 16 | 16 | 0 |
| Kotlin -> Dart.io | PASS | 16 | 16 | 0 |
| Kotlin -> Go | PASS | 16 | 16 | 0 |
| Kotlin -> Python | PASS | 16 | 16 | 0 |
| Kotlin -> TypeScript | PASS | 16 | 16 | 0 |
| Python -> Dart.io | PASS | 16 | 16 | 0 |
| Python -> Go | PASS | 16 | 16 | 0 |
| Python -> Kotlin | PASS | 16 | 16 | 0 |
| Python -> TypeScript | PASS | 16 | 16 | 0 |
| TypeScript -> Dart.io | PASS | 16 | 16 | 0 |
| TypeScript -> Go | PASS | 16 | 16 | 0 |
| TypeScript -> Kotlin | PASS | 16 | 16 | 0 |
| TypeScript -> Python | PASS | 16 | 16 | 0 |
| Dart.io -> Dart.web | PASS | 2 | 2 | 0 |
| Dart.io -> Dart.web(WSS) | PASS | 2 | 2 | 0 |
| Go -> Dart.web | PASS | 2 | 2 | 0 |
| Go -> Dart.web(WSS) | PASS | 2 | 2 | 0 |
| Kotlin -> Dart.web | PASS | 2 | 2 | 0 |
| Kotlin -> Dart.web(WSS) | PASS | 2 | 2 | 0 |
| Python -> Dart.web | PASS | 2 | 2 | 0 |
| Python -> Dart.web(WSS) | PASS | 2 | 2 | 0 |
| TypeScript -> Dart.web | PASS | 2 | 2 | 0 |
| TypeScript -> Dart.web(WSS) | PASS | 2 | 2 | 0 |

로그 디렉터리: `/tmp/proto-socket-matrix.e046bb`
결과 기록 파일: `agent-test/runs/20260601-192535-proto-socket-full-matrix.md`
```

---

> **[IMPLEMENTING AGENT — BEFORE SAVING] Have you filled in every implementation-owned section: completion table, implementation checklist, changes from plan, design decisions, and verification output?**
> If anything is blank, go back and fill it in before saving this file.
> Leave review-agent-only sections unchanged.

## Ownership

| Section | Owner | Note |
|---------|-------|------|
| Header comment, 개요, 리뷰 에이전트 지시 | Fixed at stub creation | Implementing agent must not modify or execute these |
| Roadmap Targets | Fixed at stub creation from plan | Implementing agent must not modify |
| 구현 항목별 완료 여부 | Implementing agent | Check `[ ]` to `[x]` only |
| 구현 체크리스트 | Implementing agent | Check `[ ]` to `[x]` only |
| 코드리뷰 전용 체크리스트 | Review agent only | Implementing agent must not modify |
| 계획 대비 변경 사항, 주요 설계 결정 | Implementing agent | Replace placeholders |
| 사용자 리뷰 요청 | Implementing agent | Keep `상태: 없음` unless user input is required |
| 검증 결과 | Implementing agent | Paste actual stdout/stderr |건: 없음

## 리뷰어를 위한 체크포인트

- Dart 수신 stream/event path에 `unawaited`로 버려지는 parser/dispatch Future가 남았는지 확인한다.
- TypeScript TCP에서 `socket.pause()/resume()` 또는 동등한 source-level 제어가 적용됐는지 확인한다.
- WS 계열의 source-level 제약은 bounded input gate와 문서로 명확히 처리됐는지 확인한다.
- backpressure 테스트가 private queue 조작이 아니라 실제 input path를 검증하는지 확인한다.
- 검증 출력이 실제 `npm run check && npm test`, `python3 -m pytest -q` 출력과 일치하는지 확인한다.

## 검증 결과

_구현 에이전트가 각 중간 검증 및 최종 검증 명령 실행 후 출력을 여기에 붙여 넣는다._

### REVIEW_REFACTOR_3-1 중간 검증
```
$ cd dart && dart test
(output)

$ cd go && go test -count=1 ./...
(output)

$ cd kotlin && ./gradlew test
(output)

$ cd python && python3 -m pytest -q
(output)

$ cd typescript && npm run check && npm test
(output)
```

### 최종 검증
```
$ bash agent-ops/skills/project/run-proto-socket-test-matrix/scripts/run_matrix.sh --all
(output)
```

---

> **[IMPLEMENTING AGENT — BEFORE SAVING] Have you filled in every implementation-owned section: completion table, implementation checklist, changes from plan, design decisions, and verification output?**
> If anything is blank, go back and fill it in before saving this file.
> Leave review-agent-only sections unchanged.

## Ownership

| Section | Owner | Note |
|---------|-------|------|
| Header comment, 개요, 리뷰 에이전트 지시 | Fixed at stub creation | Implementing agent must not modify or execute these |
| Roadmap Targets | Fixed at stub creation from plan | Implementing agent must not modify |
| 구현 항목별 완료 여부 | Implementing agent | Check `[ ]` to `[x]` only |
| 구현 체크리스트 | Implementing agent | Check `[ ]` to `[x]` only |
| 코드리뷰 전용 체크리스트 | Review agent only | Implementing agent must not modify |
| 계획 대비 변경 사항, 주요 설계 결정 | Implementing agent | Replace placeholders |
| 사용자 리뷰 요청 | Implementing agent | Keep `상태: 없음` unless user input is required |
| 검증 결과 | Implementing agent | Paste actual stdout/stderr |

## 코드리뷰 결과

- 종합 판정: FAIL

### 차원별 평가

| 차원 | 평가 | 근거 |
|------|------|------|
| Correctness | Fail | Browser TypeScript WS와 Kotlin WS가 아직 source-level backpressure를 전달하지 못하고 내부 promise/coroutine staging에 쌓는다. |
| Completeness | Fail | active review 파일에 placeholder 검증 섹션이 중복으로 남았고, 계획한 실제 input-path 검증이 충족되지 않았다. |
| Test coverage | Fail | backpressure 테스트가 대부분 `Communicator.enqueueInbound` 직접 호출로 core queue만 확인하며 실제 client/read path producer 대기를 검증하지 않는다. |
| API contract | Fail | WebSocket source 제약이 문서/구현에서 bounded input gate 또는 명확한 한계로 처리되지 않아 `PROTOCOL.md`의 frame-read backpressure 계약과 불일치한다. |
| Code quality | Warn | `scope.launch`/promise chain staging과 gateway 문서/테스트 추가가 follow-up 범위를 흐린다. |
| Plan deviation | Fail | 이번 plan은 input-source backpressure로 범위를 제한했지만 gateway 계약 문서와 fake gateway 테스트가 함께 들어왔다. |
| Verification trust | Fail | active review 파일 끝에 `(output)` placeholder가 남은 중복 검증 섹션이 있어 검증 기록을 신뢰할 수 없다. |

### 발견된 문제

- Required: TypeScript Browser WS와 Kotlin WS는 아직 실제 source-level backpressure가 아닙니다. `typescript/src/browser_ws_client.ts:22`는 WebSocket `message` 이벤트를 `parseQueue.then(...)`에 계속 연결할 뿐 bounded input gate가 없고, browser WebSocket 자체를 pause/resume하지도 못합니다. `kotlin/src/main/kotlin/com/tokilabs/proto_socket/WsClient.kt:53`도 `receiveBytes`에서 즉시 `scope.launch { receiveMutex.withLock { ... enqueueInbound(...) } }`를 만들고 반환하므로 OkHttp callback은 멈추지 않고 coroutine backlog가 쌓일 수 있습니다. WebSocket source 한계가 있다면 `PROTOCOL.md`/`PORTING_GUIDE.md`에 해당 런타임의 bounded staging 한계와 discard/backpressure 정책을 명시하고, 구현도 bounded input gate를 가져야 합니다.
- Required: backpressure 테스트가 실제 input path를 검증하지 않습니다. TypeScript `typescript/test/communicator.test.ts:385`, Kotlin `kotlin/src/test/kotlin/com/tokilabs/proto_socket/CommunicatorTest.kt:235`, Python `python/test/test_communicator.py:260`은 모두 `Communicator.enqueueInbound`를 직접 호출합니다. 이는 core queue capacity를 검증할 뿐 TCP/WS client callback이 pause/resume 또는 bounded gate를 통해 producer를 멈추는지 확인하지 못합니다. fake socket/WebSocket source 또는 실제 client path로 producer가 capacity 이후 대기하는 관찰 가능한 테스트를 추가하세요.
- Required: active review 파일에 중복 placeholder 섹션이 남아 있습니다. `agent-task/m-inbound-queue-ordering/02+01_receive_thread_model/CODE_REVIEW-cloud-G08.md:203` 이후 `건: 없음`, 중복 `리뷰어를 위한 체크포인트`, 중복 `검증 결과`, `(output)` placeholder가 남아 구현 에이전트 소유 섹션 완결성이 깨졌습니다. 중복 섹션을 제거하고 실제 검증 결과만 남기세요.
- Required: 이번 follow-up 범위를 넘어 gateway 계약/테스트가 들어왔습니다. `PROTOCOL.md`에 `Worker Gateway and Internal seq` 섹션이 추가되고, Dart/Kotlin/TypeScript communicator test에 fake gateway reorder 테스트가 추가됐습니다. 현재 subtask의 plan=3 범위는 input-source backpressure와 검증 신뢰 회복이며, gateway 계약은 sibling `03+02_gateway_contract`가 담당합니다. 이번 follow-up에서는 gateway 문서/테스트 변경을 제거하거나 해당 sibling 작업으로 넘기세요.

### 다음 단계

- WARN/FAIL 후속: 남은 Required 항목을 plan=4 follow-up으로 라우팅한다.
