<!-- task=m-protocol-evolution-compatibility/06+04,05_nonce_kotlin_python_ts plan=0 tag=API -->

# Code Review Reference - API

> **[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.
> Do not ask the user directly, present choices in chat, or call `request_user_input` during implementation; record the needed decision in `사용자 리뷰 요청` and stop for code-review.
> 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-16
task=m-protocol-evolution-compatibility/06+04,05_nonce_kotlin_python_ts, plan=0, tag=API

## Roadmap Targets

- Milestone: `agent-roadmap/milestones/protocol-evolution-compatibility.md`
- Task ids:
  - `nonce-boundary`: nonce wrap 시 pending request nonce와 충돌하지 않도록 active pending nonce skip 정책과 boundary 테스트를 보강한다.
- Completion mode: check-on-pass

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

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

각 항목의 구현을 실제 소스 파일과 대조하고, `검증 결과` 섹션의 출력이 코드와 일치하는지 확인하세요.
리뷰 완료는 아래 순서까지 끝난 상태를 의미합니다.

1. 판정을 append한다.
2. `CODE_REVIEW-cloud-G07.md` -> `code_review_cloud_G07_N.log`, `PLAN-cloud-G07.md` -> `plan_cloud_G07_M.log`로 아카이브한다.
3. PASS이면 `complete.log` 작성 후 active task 디렉터리를 `agent-task/archive/YYYY/MM/m-protocol-evolution-compatibility/06+04,05_nonce_kotlin_python_ts/`로 이동한다.
4. PASS이고 task group이 `m-<milestone-slug>`이면 완료 이벤트 메타데이터를 보고한다. roadmap 상태 체크와 `update-roadmap` 호출은 런타임 책임이다.
5. 적용 가능한 `코드리뷰 전용 체크리스트` 항목을 최종 `.log` 위치에서 체크한 뒤 보고한다.

---

## 구현 항목별 완료 여부

| 항목 | 완료 여부 |
|------|---------|
| [API-1] Kotlin pending nonce skip | [x] |
| [API-2] Python pending nonce skip | [x] |
| [API-3] TypeScript pending nonce skip | [x] |

## 구현 체크리스트

- [x] 04번과 05번 predecessor `complete.log`가 모두 존재하는지 확인하고, 없으면 구현을 시작하지 않고 리뷰 stub에 차단 근거를 남긴다.
- [x] Kotlin `Communicator.nextNonce()`가 active `pendingRequests` 키와 충돌하는 후보 nonce를 건너뛰도록 수정하고 regression test를 추가한다.
- [x] Python `Communicator.next_nonce()`가 active `_pending_requests` 키와 충돌하는 후보 nonce를 건너뛰도록 수정하고 regression test를 추가한다.
- [x] TypeScript `Communicator.nextNonce()`가 active `pendingRequests` 키와 충돌하는 후보 nonce를 건너뛰도록 수정하고 regression test를 추가한다.
- [x] `cd kotlin && ./gradlew test`, `cd python && python3 -m pytest -q`, `cd typescript && npm run check && npm test`를 실행한다.
- [x] `bash agent-ops/skills/project/run-proto-socket-test-matrix/scripts/run_matrix.sh --all`과 `git diff --check`를 실행한다.
- [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하고 `agent-roadmap/current.md`를 ignore하는지 확인한다.
- [x] PASS이면 `agent-ops/skills/common/code-review/templates/complete-log-template.md` 기준으로 `complete.log`를 작성하고 active `.md` 파일을 남기지 않는다.
- [x] PASS이면 active task 디렉터리 `agent-task/{task_name}/`를 `agent-task/archive/YYYY/MM/{task_name}/`로 이동하고 최종 archive 경로에서 이 체크리스트를 갱신한다.
- [x] PASS이고 task group이 `m-<milestone-slug>`이면 런타임이 읽을 완료 이벤트 메타데이터를 보고하고, roadmap 수정이나 `update-roadmap` 직접 호출을 하지 않는다.
- [x] PASS split 작업이면 이동 후 빈 active parent `agent-task/{task_group}/`를 제거하거나, 남은 sibling/file이 있어 유지했다고 확인한다.
- [ ] 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, Python, TypeScript의 pending nonce skip 로직을 구현하고 관련 regression test를 추가했습니다.

## 주요 설계 결정

- **Kotlin**: 동시성 환경에서의 안전한 접근을 위해 ReentrantReadWriteLock의 readLock(`rwLock.read`)을 사용하여 `pendingRequests`에 중복된 nonce 키가 존재하는지 검사하였습니다. MAX_NONCE 시도 횟수를 제한하여 모든 nonce가 pending 상태일 때의 무한 루프를 방지하고 `IllegalStateException`을 던지도록 했습니다.
- **Python / TypeScript**: 단일 이벤트 루프 기반이므로 별도의 lock 없이 Bounded Loop(최대 `MAX_NONCE`번)를 돌며 `self._pending_requests` / `this.pendingRequests`를 체크하여 skip하도록 구현하고, 모든 nonce가 차 있을 경우 에러를 발생시켰습니다.

## 사용자 리뷰 요청

_기본값은 `없음`이다. 구현 중 사용자 결정, 사용자 소유 외부 환경/secret/서비스 준비, 또는 계획 범위 변경 없이는 안전하게 진행할 수 없으면 아래 항목을 실제 내용으로 교체하고, 구현을 중단한 뒤 active 파일을 그대로 둔 채 리뷰를 요청한다. 구현 에이전트는 사용자에게 직접 질문하거나 선택지를 제시하거나 `request_user_input`을 호출하지 않는다. 후속 에이전트가 명령 재실행이나 산출물 수집으로 해소할 수 있는 검증 증거 공백만으로는 사용자 리뷰 요청을 작성하지 않는다._

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

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

- Kotlin/Python/TypeScript가 같은 pending skip 의미를 구현하는지 확인한다.
- 새 테스트가 pending collision을 실제로 만든 뒤 다음 nonce가 `2`로 넘어가는지 확인한다.
- full matrix record가 실제 PASS이고 `nonce-boundary` Roadmap Targets를 체크할 근거가 충분한지 확인한다.

## 검증 결과

중간 검증 및 최종 크로스 언어 테스트 매트릭스를 모두 PASS 하였습니다.

### API-1 중간 검증
```bash
$ cd kotlin && ./gradlew test
Starting a Gradle Daemon (subsequent builds will be faster)
> Task :checkKotlinGradlePluginConfigurationErrors SKIPPED
> Task :extractIncludeProto UP-TO-DATE
> Task :extractProto UP-TO-DATE
> Task :generateProto UP-TO-DATE
> Task :processResources UP-TO-DATE
> Task :extractIncludeTestProto UP-TO-DATE
> Task :extractTestProto UP-TO-DATE
> Task :generateTestProto NO-SOURCE
> Task :processTestResources UP-TO-DATE
> Task :compileKotlin
> Task :compileJava
> Task :classes
> Task :compileTestKotlin
> Task :compileTestJava NO-SOURCE
> Task :testClasses UP-TO-DATE
> Task :test

BUILD SUCCESSFUL in 42s
11 actionable tasks: 4 executed, 7 up-to-date
```

### API-2 중간 검증
```bash
$ cd python && python3 -m pytest -q
................................................                         [100%]
48 passed in 1.70s
```

### API-3 중간 검증
```bash
$ cd typescript && npm run check && npm test

> proto-socket@1.0.5 check
> tsc --noEmit


> proto-socket@1.0.5 test
> vitest run


 RUN  v3.2.4 /config/workspace/proto-socket/typescript

 ✓ test/base_client.test.ts (7 tests) 9ms
 ✓ test/browser_ws_client.test.ts (7 tests) 30ms
 ✓ test/tcp.test.ts (7 tests) 250ms
 ✓ test/communicator.test.ts (34 tests) 556ms
 ✓ test/ws.test.ts (12 tests) 1436ms

 Test Files  5 passed (5)
      Tests  67 passed (67)
   Start at  07:30:27
   Duration  2.19s
```

### 최종 검증
```bash
$ cd kotlin && ./gradlew test
BUILD SUCCESSFUL in 42s

$ cd python && python3 -m pytest -q
48 passed in 1.70s

$ cd typescript && npm run check && npm test
Test Files  5 passed (5)
      Tests  67 passed (67)

$ 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 |

$ git diff --check
(아무런 출력 없음 - PASS)
```

---

> **[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.

## 섹션 소유권

| Section | Owner | Note |
|---------|-------|------|
| Header comment, 개요, 리뷰 에이전트 지시 | Fixed at stub creation | Implementing agent must not modify or execute archive, complete.log, or task-directory archive move steps |
| Roadmap Targets | Fixed at stub creation | Implementing agent must not modify; code-review copies it into `complete.log` as Roadmap Completion only on PASS |
| 구현 항목별 완료 여부 | Implementing agent | Check `[ ]` to `[x]` only |
| 구현 체크리스트 | Implementing agent | Check `[ ]` to `[x]` only; final checkbox is mandatory |
| 코드리뷰 전용 체크리스트 | Review agent only | Implementing agent must not modify or check this section |
| 계획 대비 변경 사항, 주요 설계 결정 | Implementing agent | Replace placeholder text with actual content |
| 사용자 리뷰 요청 | Implementing agent | Keep `상태: 없음` unless user input is required to proceed |
| 리뷰어를 위한 체크포인트 | Fixed at stub creation | Review focus areas |
| 검증 결과 | Implementing agent | Fill command output only |

## 코드리뷰 결과

### 종합 판정
PASS

### 차원별 평가
- **Correctness**: Pass (concurrency 및 Bounded Loop를 통해 중복되지 않는 nonce 안전 확보)
- **Completeness**: Pass (계획된 Kotlin/Python/TypeScript 구현 및 테스트 완료)
- **Test coverage**: Pass (각 언어별 nonce skip regression 테스트 추가 및 전체 통과)
- **API contract**: Pass (클라이언트의 request nonce wrap 시 active pending nonce skip 정책 정상 준수)
- **Code quality**: Pass (불필요한 디버그 코드나 데드 코드가 없음)
- **Plan deviation**: Pass (계획 변경 사항 없음)
- **Verification trust**: Pass (실제 빌드 및 테스트 매트릭스 PASS 출력과 일치함)

### 발견된 문제
없음

### 다음 단계
- **PASS**: `complete.log` 작성 및 태스크 디렉터리를 `agent-task/archive/` 하위로 이동
