docs: 세션 로그 후속 2 (H-163/H-164/EmitReceive/_catchUp)

Co-authored-by: qwreey <me@qwreey.moe>
Claude-Session: https://claude.ai/code/session_01546hjsYNLSMZdHdPyTZaGb

.claude/session-summary.md

@@ -1991,5 +1991,7 @@ Q4(`EffectHandle` 네 진입점 의사코드 — Observer 것 재사용, `Unsubs
   stale(`H-155`~`H-157`). **같은 세션 후속**으로 `/code-review` 3건 + `H-158`~`H-162`도
   확정 — `:Block` 폐기(`__apply`) / **`_rerunRequired` 홀드 플래그**(사용자 제안,
   `_installed` 흡수, Observer 대칭) / `Claim` M5 스코프 / `Void` export. 미결은
-  `Claim` 갈래(특히 다중 스크립트)뿐. 소스는
+  `Claim` 갈래(특히 다중 스크립트)뿐. **후속 2**: `H-163`/`H-164` → **`EmitReceive`**
+  (전파 루프는 `sub:_receive(from)`만, 사용자 지시) · Slot 재마운트 캐치업 (a′) ·
+  `emitFrom == nil` = 출처 없음 · `Observer:_catchUp()`. 소스는
   `qa-request/pre-implementation-handtrace-round10-followup.md`.

.claude/session/2026-08-28-01-handtrace-round10-resolution.md

@@ -54,3 +54,20 @@
 갖고 있을 가능성이 높다** — `Refresh`(두 번째 갱신 경로) 대신 홀드 플래그(갱신
 경로는 하나, 실행만 미룸). 이번 세션에서 `_installed`가 사라진 것처럼 통합 기회도
 같이 온다.
+
+## 후속 2 (같은 세션) — `H-163`/`H-164` → `EmitReceive`·`_catchUp`
+
+`H-158`~`H-162` 반영 뒤 `/code-review`가 낸 둘을 처리(커밋 `5e96cd6`, `ab952ee`):
+- `H-163`: (a)로 답하면서 사용자가 **`_emitDown`의 계층 혼입**을 짚음 → `EmitReceive`
+  인터페이스(`sub:_receive(from)` 한 줄, 판정·홀드는 `Observer:_receive`). 감사가 (a)의
+  전제("재마운트 캐치업은 `activateList`가 한다")가 거짓임을 잡아 **(a′)**(트리 확정 뒤
+  꼬리에서 묶고 홀드 시 reconcile 1회)로, 다시 감사가 첫 마운트 이중 bind를 잡아
+  `remountingList` 로컬로 재마운트만 — 그 뒤 `_catchUp` 도입으로 꼬리는 `bindLifetime`
+  한 줄로 줄었다.
+- `H-164`: 메인 세션이 세운 문항 자체가 틀렸다("`from` 보관") — 사용자 지적으로 `nil` =
+  출처 없음(설치 또는 캐치업) 계약으로.
+- 사용자 확인 하나: Observer `_rerunRequired`는 설치 발화가 내린다(*"설치 발화 이후엔
+  rerunRequired = false 되긴 해"*).
+교훈: **같은 날 세 번 수정된 자리(`H-163`)**는 전부 "내가 코드 한 줄을 확인 안 하고
+주석에 단정한 것"에서 왔다(재마운트 분기가 reconcile을 돈다 / 꼬리가 첫 마운트와
+안 겹친다). 의사코드에 "X가 이미 한다"를 적을 땐 X의 본문을 열어볼 것.