# b4a1d094 — 신규 세션 UUID 자동 확보·고정 구현 계획서 **Rev.2** **Job**: b4a1d094 · **Role**: Planner · **Supersedes**: b107cf34 (Rev.1) **응답 대상**: 챌린지 `7e6aa90d` (`agy`, `[CHALLENGE]`) — F8 경로 정규화 / F8 격리 루트 / F5 배치 순서 **Base**: `9df0fc3` (working tree 는 `LOG.md` 만 수정 — 본 작업으로 저장소를 건드리지 않았다) --- ## 1. 판정 요약 **세 건 모두 채택한다.** 그중 둘은 agy 가 말한 것보다 **더 크다**. | # | 챌린지 | 판정 | 근거 | |---|---|---|---| | C-1 | F8 의 `$WORKSPACE` 미정규화 | **채택 + 강화** | 6가지 경로 형태 중 Rev.1 은 **1/6** 만 맞다. agy 의 제안(`cd && pwd`)은 5/6 — **심볼릭 링크에서 여전히 틀린다.** `cd -P`/`pwd -P` 라야 6/6 | | C-2 | F8 의 isolation root 누락 | **채택 — 그리고 더 깊다** | `--isolate` 는 `f0a2103` 이후 **no-op**이라 새 격리 세션은 생기지 않는다. 그러나 legacy 행은 여전히 읽히고, 확인해 보니 `verify_session_uuid` 자체가 isolation 을 모른다 → `find_workspace_uuid` 의 격리 분기는 **이미 죽은 코드**였다 | | C-3 | F5 가 워크스페이스 검사보다 앞설 위험 | **채택 (문서 결함)** | 프로토타입은 이미 검사 **뒤**에 있었다. 틀린 것은 코드가 아니라 Rev.1 §5 의 `"lib.sh:1145 뒤"` 라는 모호한 표현이다. 불변식으로 승격하고 순서를 뒤집으면 깨지는 테스트를 붙였다 | 측정 결과: **HEAD 6/17 · Rev.1 11/17 · Rev.2 17/17.** 신규 변이 5건 전부 의도한 테스트가 잡았다. 그중 N-1 은 **agy 의 제안 그대로를 적용한 변이**이고, 실제로 깨진다. 정정 하나. Rev.1 §5 F8 은 내가 `find_workspace_uuid` 가 이미 하고 있던 정규화를 확인하지 않고 경로 문자열을 그대로 쓴 것이다. agy 가 정확히 짚었다. --- ## 2. C-1 — 경로 정규화: 채택하되 제안보다 한 단계 더 ### 2.1 실측 `$SB/wsprobe/real` 을 만들고 `$SB/wsprobe/link → real` 심링크를 건 뒤, 실제 `claude --session-id ... -p ok` 을 **두 경로에서** 돌려 ground truth 를 잡았다. ``` cd real → ~/.claude/projects/…-scratchpad-wsprobe-real cd link → ~/.claude/projects/…-scratchpad-wsprobe-real ← 링크로 들어가도 real 키 ``` 즉 **claude 는 물리 경로(realpath)로 키를 만든다.** 이 기준으로 세 가지 키 계산을 비교했다: | `--workspace` 입력 | Rev.1 (raw `tr`) | agy 제안 (`cd && pwd`) | Rev.2 (`cd -P && pwd -P`) | |---|---|---|---| | `.` | MISS | OK | OK | | `./` | MISS | OK | OK | | `/…/wsprobe/real` | OK | OK | OK | | `/…/wsprobe/real/` | MISS | OK | OK | | `/…/wsprobe/link` | MISS | **MISS** | OK | | `/…/wsprobe/../wsprobe/real` | MISS | OK | OK | | **합계** | **1/6** | **5/6** | **6/6** | agy 의 실패 모드 서술은 맞다. 다만 `cd && pwd` 는 **논리 경로**를 돌려준다 — `pwd` 는 `$PWD` 를, `pwd -P` 는 해석된 경로를 준다. 심링크 워크스페이스에서는 링크 이름이 그대로 남아 존재하지 않는 디렉터리를 가리킨다. ### 2.2 이 결함이 실제로 무엇을 하는가 키가 틀리면 `-f` 검사가 실패하고 → `CLAUDE_ID_FLAG="--session-id"` 로 떨어진다. **이미 대화가 있는 세션에 대해 새 대화를 시작한다.** 조용히. 사용자는 재개했다고 믿는다. `null` 보다 나쁜 종류의 실패다. ### 2.3 같은 결함이 F8 밖에도 있다 `find_workspace_uuid`(lib.sh:1303, 1357)도 `cd "$workspace" && pwd` 를 쓴다 — 논리 경로다. 그래서 심링크 워크스페이스에서는 F8 에 도달하기도 전에 깨진다. 실측: **HEAD 에서 T-10[symlink] 이 `ERROR: No saved session` 으로 실패한다.** F8 이 없는 HEAD 에서도. 정규화를 한 곳으로 모아야 하는 이유가 이것이다. 두 군데가 서로 다른 규칙을 쓰면 한쪽을 고쳐도 다른 쪽이 되돌린다. --- ## 3. C-2 — 격리 루트: 메커니즘은 죽었지만, 파고들자 더 큰 게 나왔다 ### 3.1 `--isolate` 는 더 이상 아무것도 만들지 않는다 ``` $ grep -rn "\['isolation'\] =" .agents/skills/ → (없음) $ grep -c isolation .mam/agent-sessions.yaml → 0 $ git log --oneline -S"entry['isolation']" f0a2103 refactor(isolation): simplify agent session isolation and remove legacy home-isolation helpers ``` `create_session.sh:71-72` 도 `--isolate/--no-isolate` 를 NOTE 만 찍는 no-op 으로 선언한다. 따라서 **앞으로 격리 세션은 생기지 않는다.** agy 가 상정한 "`--isolate` 로 만들어 정상 대화한 세션"은 현재 코드로는 만들 수 없다. ### 3.2 그런데 읽는 쪽은 살아 있다 — 그리고 고장 나 있다 `find_workspace_uuid`(lib.sh:1327, 1363-1397)는 여전히 `isolation.root` 를 읽고 `{iso}/projects/{key}/*.jsonl` 을 glob 한다. 그런데 각 후보를 `verify_session_uuid` 로 검증하는데, `verify_session_uuid` 는 `c_dir`(= `CLAUDE_PROJECT_DIR`) 만 본다. **isolation 을 모른다.** 결과: glob 이 찾아낸 모든 후보가 검증에서 떨어진다. **격리 분기 전체가 inert 다.** Rev.2 의 T-11 을 HEAD 에 돌리면 그대로 재현된다 — 격리 루트에만 transcript 가 있는 행은 `No saved session` 이 난다. agy 는 F8 하나만 지적했지만, F8 만 고치면 resume 의 `-f` 검사는 통과하고 `resolve_session_id.sh` 는 여전히 빈 값을 뱉는다. 그래서 **양쪽 다** 고친다(G3 + G5). ### 3.3 agy 가 제안한 헬퍼는 존재하지 않는다 ``` $ grep -c get_session_isolation_root .agents/skills/lib.sh 0 ``` 개선안 1 의 `get_session_isolation_root` 는 코드베이스에 없는 함수다. Rev.2 는 이름이 같은 헬퍼를 **새로 정의**해서 쓴다(G1 의 `mam_session_iso_root`). 없는 함수를 호출하는 명세를 그대로 넘기면 구현자가 `command not found` 를 만난다. --- ## 4. C-3 — F5 배치 순서: 코드는 이미 옳았고, 명세가 모호했다 Rev.1 프로토타입의 실제 배치: ```python cwd = row.get("pane", {}).get("cwd", "") or ws if workspace_key(cwd) != workspace_key(ws): return False if (mode == "revalidate" and row.get("session_id_source") == "assigned" and not row.get("session_id_verified")): return True ``` 검사 **뒤**다. 그러니 "우회가 일어난다"는 실패는 발생하지 않았다 — T-12 는 HEAD·Rev.1·Rev.2 **세 트리 모두에서 PASS** 한다. 그렇다고 챌린지가 공허하지는 않다. 틀린 것은 코드가 아니라 **Rev.1 §5 의 `"lib.sh:1145 뒤"`** 라는 표현이다. 1145 는 `if workspace_key(...)` 그 줄이고, "뒤"는 `if` 뒤인지 `return False` 뒤인지 읽는 사람에 따라 갈린다. 구현자가 앞에 붙였다면 격리 보장이 깨졌을 것이다. **명세 결함은 코드 결함과 같은 값으로 취급한다.** 그래서 두 가지를 한다. 1. 코드에 **ORDERING INVARIANT** 주석을 박아 이유와 함께 순서를 고정한다. 2. 순서를 뒤집으면 깨지는 테스트(T-12)를 붙인다. 변이 N-3 으로 검증했다 — F5 를 검사 위로 옮기면 T-12 **만** FAIL 한다. 세 트리에서 모두 PASS 라는 사실이 이 테스트를 무용하게 만들지 않는다. **불변식 보호 장치**이고, 그게 정확히 이 챌린지가 요구한 것이다. (T-7 과 같은 성격이다. Rev.1 §7.2 에서도 같은 구분을 해 뒀다.) --- ## 5. 변경 명세 — Rev.1 대비 델타 Rev.1 의 **F0–F4, F6, F7, F9 는 그대로**다. 아래 G1–G5 가 추가·교체분이다. (Rev.1 전문은 `.mam/jobs/b107cf34/claude-reports/report-final.md`) ### G1 · `lib.sh` — 정규화·키·격리루트 헬퍼 3종 (신규, `mam_gen_uuid` 앞) ```bash mam_abs_workspace() { local p="${1:-}" ( cd -P "$p" 2>/dev/null && pwd -P ) || printf '%s' "$p" } mam_workspace_key() { printf '%s' "$(mam_abs_workspace "$1")" | tr '/_' '--' } mam_session_iso_root() { MAM_STATE_JSON="$(load_state_json)" MAM_ISO_SESSION="$1" env_python "$AGENT_SESSIONS_YAML" <<'PYEOF' import json, os name = os.environ.get('MAM_ISO_SESSION', '') try: d = json.loads(os.environ.get('MAM_STATE_JSON', '{}')) except Exception: d = {} for s in (d.get('herdr_sessions') or []): if s.get('name') == name: iso = s.get('isolation') if isinstance(iso, dict) and iso.get('root'): print(iso['root']) break PYEOF } ``` > `env_python` 은 `atomic_dump_yaml` 과 달리 **`d` 를 미리 정의해 주지 않는다.** > 프로토타입 1차에서 이걸 빠뜨려 `NameError` 가 났다. `load_state_json` 으로 직접 실어야 한다. > `mam_workspace_key` 는 `VERIFY_SESSION_PYTHON` 의 `workspace_key()` 와 **같은 값을 내야 한다** — T-13 이 지킨다. ### G2 · `lib.sh:1303, 1357` — `find_workspace_uuid` 도 같은 정규화를 쓴다 ```bash - local abs; abs="$(cd "$workspace" 2>/dev/null && pwd)" || abs="$workspace" + local abs; abs="$(mam_abs_workspace "$workspace")" ``` 두 군데 모두. §2.3 의 심링크 결함이 여기서 온다. ### G3 · `resume_session.sh` — **F8 교체** (Rev.1 F8 은 폐기) ```bash CLAUDE_ID_FLAG="-r" if [ "$AGENT" = "claude" ]; then _ws_key="$(mam_workspace_key "$WORKSPACE")" _iso_root="$(mam_session_iso_root "$SESSION_NAME" 2>/dev/null || true)" if [ -n "$_iso_root" ]; then _proj_dir="$_iso_root/projects" else _proj_dir="${CLAUDE_PROJECT_DIR:-$HOME/.claude/projects}" fi if [ ! -f "${_proj_dir}/${_ws_key}/${UUID}.jsonl" ]; then CLAUDE_ID_FLAG="--session-id" fi fi case "$AGENT" in claude) CMD_FULL="${RESOLVED_BIN} --dangerously-skip-permissions $CLAUDE_ID_FLAG $UUID" ;; ``` ### G4 · `lib.sh` — F5 순서를 불변식으로 명문화 ```python # ORDERING INVARIANT: the workspace check below MUST run before the # assigned-id shortcut. Moving the shortcut above it would return True for a # row belonging to a different workspace purely because it is assigned and # unverified, breaking the one guarantee find_workspace_uuid exists to give # -- never hand back an id that belongs to a different workspace. (T-12) if workspace_key(cwd) != workspace_key(ws): return False if (mode == "revalidate" and row.get("session_id_source") == "assigned" and not row.get("session_id_verified")): return True ``` > 주석에 아포스트로피를 쓰지 말 것. `VERIFY_SESSION_PYTHON` 은 **작은따옴표로 감싼 bash 문자열**이라 > `workspace's` 하나가 문자열을 끊고 `syntax error near unexpected token` 을 낸다. > 프로토타입에서 실제로 났다. ### G5 · `lib.sh` — `verify_session_uuid` 가 isolation 을 안다 ```python row = row or {} _iso = row.get("isolation") iso_root = _iso.get("root") if isinstance(_iso, dict) and _iso.get("root") else None … if agent == "claude": base = (iso_root + "/projects") if iso_root else c_dir elif agent == "agy": base = f"{iso_root or home}/.gemini/antigravity-cli/conversations" elif agent == "hermes": hdb = f"{iso_root or home}/.hermes/state.db" elif agent == "cline": base = (iso_root + "/sessions") if iso_root else f"{home}/.cline/data/sessions" ``` 경로 레이아웃은 `find_workspace_uuid` 의 격리 분기(lib.sh:1370-1397)와 `stop_session.sh` 의 `clin_base` 오버라이드에서 그대로 가져왔다. 새로 정하지 않았다. --- ## 6. 문서 변경 (Rev.1 §6 에 추가) | 파일 | 추가 | |---|---| | `.agents/skills/multi-agent-mux-resume/SKILL.md` | 워크스페이스 인자는 **물리 절대경로로 정규화된 뒤** 키가 계산된다. 상대경로·끝슬래시·심링크 모두 같은 세션으로 해석된다 | | `.agents/MULTI_AGENT_RULES.md` / `.ko.md` | 워크스페이스 키의 단일 정의: `mam_workspace_key` (shell) ≡ `workspace_key` (python), 둘 다 물리 경로 기준. 새 코드가 `cd && pwd` 를 다시 쓰지 않도록 명시 | | `.agents/skills/multi-agent-mux-monitor/SKILL.md` | `verify_session_uuid` 의 **순서 불변식**(워크스페이스 검사 → assigned 지름길)을 규칙으로 기재 | | `IMPROVEMENTS.md` | 격리 분기가 inert 였다는 사실을 별도 항목으로. 지금은 legacy 행에만 영향이지만 조용히 죽어 있던 코드다 | --- ## 7. 테스트 ### 7.1 신규 (Rev.2) | ID | 무엇을 | HEAD | Rev.1 | Rev.2 | |---|---|---|---|---| | T-10[absolute] | 절대경로 재개 → `-r` | PASS | PASS | PASS | | T-10[trailing_slash] | 끝 슬래시 | PASS¹ | **FAIL** | PASS | | T-10[dotdot] | `../` 포함 | PASS¹ | **FAIL** | PASS | | T-10[relative] | `--workspace .` | PASS¹ | **FAIL** | PASS | | T-10[symlink] | 심링크 워크스페이스 | **FAIL** | **FAIL** | PASS | | T-11 | legacy 격리 행 → `isolation.root` 아래에서 찾는다 | **FAIL** | **FAIL** | PASS | | T-12 | 타 워크스페이스 assigned 행은 revalidate 통과 못 한다 | PASS | PASS | PASS | | T-13 | `mam_workspace_key` ≡ python `workspace_key` (4형태) | **FAIL** | **FAIL** | PASS | ¹ HEAD 에는 F8 자체가 없어 항상 `-r` 이다. 통과하지만 **아무것도 증명하지 않는다** — Rev.1 이 도입한 회귀를 잡는 테스트이지 HEAD 결함을 잡는 테스트가 아니다. 표를 그렇게 읽어야 한다. ### 7.2 전체 **HEAD 6/17 · Rev.1 11/17 · Rev.2 17/17.** Rev.1 이 떨어뜨리는 6건이 정확히 C-1(4) + C-2(2) 이다. 챌린지가 실제로 무엇을 잡았는지가 이 숫자다. ### 7.3 변이 — 신규 5건 | 변이 | 되돌린 것 | 잡은 테스트 | |---|---|---| | N-1 | `pwd -P` → `pwd` (**agy 제안 그대로**) | T-10[symlink], T-13 | | N-2 | `mam_workspace_key` → raw `tr` (**Rev.1 F8 그대로**) | T-10[trailing_slash, dotdot, relative, symlink] | | N-3 | F5 를 워크스페이스 검사 **위로** | T-12 | | N-4 | resume 이 `isolation.root` 무시 | T-11 | | N-5 | `verify_session_uuid` 가 `isolation.root` 무시 | T-11 | 5/5 검출. Rev.1 의 변이 6건(M-1…M-6)도 그대로 유효하다 → **누적 11건**. N-1 과 N-3 은 특별히 짚어 둔다. N-1 은 **제안된 수정안을 변이로 삼은 것**이고 실제로 깨진다 — 그래서 agy 의 remedy 를 그대로 채택하지 않았다. N-3 은 T-12 가 공허하지 않음을 보인다. ### 7.4 회귀 세 트리 모두 동일 조건(`pytest tests/ -q`, 신규 스위트 2개 제외)으로 전체 실행: ``` base (HEAD) 149 passed in 419.60s fix (Rev.1) 149 passed in 420.02s rev2 (Rev.2) 149 passed in 431.81s ``` **회귀 0.** G2 가 `find_workspace_uuid` 의 정규화를 논리→물리로 바꾸므로 여기가 제일 위험했는데, 심링크가 없는 경로에서는 두 값이 같아 기존 테스트에 영향이 없다(§8.8 에 남은 조건을 적었다). ### 7.5 변경 규모 ``` .agents/skills/lib.sh 180 lines .agents/skills/multi-agent-mux-monitor/…/reconcile.sh 68 .agents/skills/multi-agent-mux-resume/…/resume_session.sh 26 .agents/skills/multi-agent-mux-create/…/create_session.sh 23 tests/conftest.py 13 ``` 프로토타입 트리: `scratchpad/base`(HEAD) · `scratchpad/fix`(Rev.1) · `scratchpad/rev2`(Rev.2) · `scratchpad/n1…n5`(신규 변이). 패치 스크립트 `patch_b107.py` → `patch_rev2.py` 순서로 적용된다. 저장소에는 반영하지 않았다. --- ## 8. 남는 위험 (Rev.1 §8 갱신) Rev.1 의 8.1(agy/cline 발견 정확도), 8.3(hermes 미설치), 8.4(trust 다이얼로그 문구), 8.5(`stop --capture-id` 덮어쓰기), 8.6(shellcheck 로컬 부재)는 **그대로 유효**하다. 아래는 변경분. **8.2 (갱신) F1b wrapper 경로** — 여전히 미재현. Rev.1 의 (a) 권고 유지. **8.7 (신규) 격리 지원의 처분을 정해야 한다.** §3 에서 드러난 것은 "격리 분기에 버그가 있다"가 아니라 **"격리 분기가 처음부터 동작한 적이 없을 가능성이 높다"** 이다. G5 는 그것을 되살린다. 두 갈래 중 하나를 골라야 한다 — (a) **되살린다**(G5 채택, 지금 계획): legacy 행이 정상 재개된다. 단 아무도 안 쓰는 경로를 유지한다. (b) **걷어낸다**: `find_workspace_uuid` 의 격리 분기와 `stop_session.sh` 의 purge 분기를 함께 제거. **(a) 를 권한다** — 제거는 legacy YAML 을 가진 사용자에게 파괴적이고, 이 브리프의 범위도 아니다. 다만 (b) 를 별도 티켓으로 남기는 편이 정직하다. **8.8 (신규) 물리 경로 정규화의 파급.** `mam_abs_workspace` 는 `find_workspace_uuid` 의 동작을 바꾼다(논리→물리). 심링크가 없는 환경에서는 값이 동일하고, 전체 스위트에 회귀가 없음을 확인했다(§7.4). 그러나 **심링크 워크스페이스를 쓰는 기존 YAML 행이 있다면** `pane.cwd` 는 herdr 가 기록한 값이라 물리/논리 중 무엇인지 이 머신에서 확정하지 못했다. `workspace_key(cwd) != workspace_key(ws)` 비교의 양변이 어긋날 여지가 남는다. 구현자는 실제 심링크 워크스페이스로 세션 1개를 띄워 `pane.cwd` 를 확인할 것. --- ## 9. 구현 순서 (Rev.1 §9 교체) G1 이 모든 것의 선행 조건이다. G2/G3 은 G1 없이는 컴파일도 안 된다. 1. **F0** `mam_gen_uuid` · **G1** `mam_abs_workspace` / `mam_workspace_key` / `mam_session_iso_root` 2. **G4** F5 + ORDERING INVARIANT 주석 (F1 의 선행 조건) 3. **G5** `verify_session_uuid` 격리 인식 4. **G2** `find_workspace_uuid` 정규화 통일 5. **F1 (+F1b 결정)** 생성 시 지정 6. **F2** drift C0 + `row_agent` 7. **G3** 재개 분기 (Rev.1 F8 대체) 8. **F4** cwd 스캔 · **F6** pane 디코드 · **F7** 뷰포트 semantics (상호 독립) 9. **F3** C-ambiguous 보고 10. **F9** mock 충실도 — F1 과 **같은 커밋**에 11. 문서 (Rev.1 §6 + §6 위) **수용 기준** - `tests/test_uuid_target.py` **17/17** - 기존 스위트 149 passed, 회귀 0 - 변이 **11건**(M-1…M-6, N-1…N-5) 전부 검출 - `bash -n` 4파일 + CI shellcheck 통과 - 실 세션 1개: 생성 직후 `session_id_verified: false`, 첫 응답 뒤 모니터 1사이클에 `true` - 심링크 워크스페이스 1개로 `pane.cwd` 실측 (§8.8) --- ## 10. 결론 챌린지 세 건 중 둘은 실제 결함이었고, 하나는 명세의 모호함이었다. 셋 다 고쳤다. 그리고 C-2 를 따라 들어가다 **격리 분기가 이미 inert 였다**는, 양쪽 다 보지 못했던 것이 나왔다. 한 가지는 그대로 채택하지 않았다. agy 의 `cd && pwd` 는 6가지 경로 형태 중 5개만 맞는다. 그 제안을 변이(N-1)로 만들어 돌려 보면 심링크 케이스가 깨진다. `cd -P`/`pwd -P` 를 쓴다. `.mam/` 산출물 외에 저장소는 건드리지 않았다. **[AGREEMENT: REACHED]**