chore(atp): work-session 산출물 기록 (sid 20260629-142115)

직전 needs_user_verification 4건 처리 세션. resumed_from 20260629-100849. Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com> Claude-Session: https://claude.ai/code/session_01K3FeMrbtxfTScjrwUukyHD
2026-06-29 15:01:27 +09:00 · 2026-06-29 15:01:27 +09:00 · 98fba1ec9b
parent 356a0d6a1d
commit 98fba1ec9b
5 changed files with 321 additions and 0 deletions
--- a/.atp/work-session/20260629-142115/documentation.md
+++ b/.atp/work-session/20260629-142115/documentation.md
@ -0,0 +1,36 @@
+---
+phase: documentation
+agent: documentation-advisor
+agent_version: 1
+generated_at: 2026-06-29T15:50:00+09:00
+concerns:
+  - "design-advisor skip 확인: 이번 세션은 design-advisor 를 스킵했으므로 architecture/ 갱신 없음 — changes/ + maintenance/ 중심 문서화 적용"
+  - "backport: N/A (소비 프로젝트 dogfooding 사례 아님)"
+concerns_checked: true
+---
+
+# 문서화 보고
+
+## 작성/수정된 문서
+
+| 경로 | 카테고리 | 유형 | 링크 추가한 index | 교차 링크 |
+|---|---|---|---|---|
+| `docs/changes/2026-06-29-w3-w4-features.md` | changes | 기존 문서 append (후속 세션 섹션 추가 + frontmatter 갱신) | `docs/changes/index.md` (기존 항목 설명 갱신) | `docs/maintenance/post-deploy-verification-checklist.md` (본문 내 링크) |
+| `docs/maintenance/post-deploy-verification-checklist.md` | maintenance | 신규 생성 | `docs/maintenance/index.md` (신규 항목 추가) | `docs/changes/2026-06-29-w3-w4-features.md` (frontmatter + 본문 내 링크) |
+| `docs/changes/index.md` | changes | 기존 항목 설명 갱신 | — (index 자체) | — |
+| `docs/maintenance/index.md` | maintenance | 신규 항목 추가 | — (index 자체) | — |
+
+## 의사결정 기록 위치
+
+- **배지 표시 배선 완료** (`3d10449`): `docs/changes/2026-06-29-w3-w4-features.md` §후속 세션(20260629-142115) §작업 2
+- **보안 하드닝 b1** (SsrfSafeFetcher @PostConstruct DNS ttl=30, best-effort): `docs/changes/2026-06-29-w3-w4-features.md` §후속 세션 §작업 4 b1
+- **보안 하드닝 b2** (업로드 저장루트 static 밖 이전, `app.upload.game-storage-path=${user.home}/.bibimbap/uploads`): `docs/changes/2026-06-29-w3-w4-features.md` §후속 세션 §작업 4 b2
+- **DB DDL 8종 사용자 직접 적용 완료** (no-op 기록): `docs/changes/2026-06-29-w3-w4-features.md` §후속 세션 §작업 1
+- **L3 스모크 배포 후 과제 이월 결정**: `docs/maintenance/post-deploy-verification-checklist.md` (체크리스트 전체) + `docs/changes/2026-06-29-w3-w4-features.md` §미적용/이월 항목 갱신
+- **b2 자산 수동 이전 운영 절차**: `docs/maintenance/post-deploy-verification-checklist.md` §자산 수동 이전
+
+## 추후 문서화가 필요한 항목
+
+- L3 스모크 실제 수행 후 결과를 `docs/maintenance/post-deploy-verification-checklist.md` 에 체크 및 `docs/changes/2026-06-29-w3-w4-features.md` 에 완료 기록 append.
+- b1 SSRF ttl 런타임 반영 여부 확인 후 미반영 시 JVM 레벨 java.security 설정 변경을 ADR 또는 changes 문서로 기록.
+- b2 자산 수동 이전 완료 후 체크리스트 항목 체크.
--- a/.atp/work-session/20260629-142115/implementation/ownership-hardening.md
+++ b/.atp/work-session/20260629-142115/implementation/ownership-hardening.md
@ -0,0 +1,40 @@
+---
+phase: implementation
+agent: implementation-advisor
+agent_version: 1
+generated_at: 2026-06-29T14:30:00+09:00
+session_id: 20260629-142115
+---
+
+# 파일 소유권 맵 — 보안 하드닝 b1/b2
+
+| 파일 | 담당 worker | worker id | 변경 유형 | 의존 |
+|---|---|---|---|---|
+| src/main/java/com/pandoli365/bibimbap/security/SsrfSafeFetcher.java | code-writer | w-h01 | modify | - |
+| src/test/java/com/pandoli365/bibimbap/security/SsrfSafeFetcherTest.java | code-writer | w-h01 | modify | SsrfSafeFetcher.java (동일 worker로 묶음) |
+| src/main/resources/application.properties | implementation-advisor (직접) | - | modify | - |
+
+## concern 기록
+
+### b1: DNS 캐시 TTL @PostConstruct 런타임 반영 한계
+- `sun.net.InetAddressCachePolicy` 는 최초 `InetAddress` 조회 시 Security property를 lazy 하게 읽는다.
+- @PostConstruct 가 첫 DNS 조회 전에 실행되면 정상 반영되나, 다른 빈이 먼저 조회했다면 **런타임 반영이 보장되지 않는다**.
+- 이것은 **best-effort 하드닝**이다. 결정적 보장이 필요하면 JVM 레벨(`$JAVA_HOME/conf/security/java.security` 의 `networkaddress.cache.ttl=30`)이 정본.
+- verification-advisor 는 L3 스모크(실제 앱 기동 후 ttl property 확인)로 반영 여부를 검증해야 한다.
+
+### b1: 테스트 전역상태(Security.setProperty) 복원 미적용 결정
+- `Security.setProperty("networkaddress.cache.ttl","30")` 은 JVM 전역 상태를 바꾼다. 동일 클래스의 다른 SSRF 테스트는 `resolve()` 를 stub 으로 주입(`TestableFetcher`)하거나 IP literal 차단을 검증하므로 차단 판정이 IP 기반이다. TTL 값 변경은 차단 결과를 바꾸지 않는다 → @AfterEach 복원 미적용(불필요한 복잡성 회피).
+- jakarta vs javax: pom.xml `spring-boot.version=3.5.14-SNAPSHOT` (Jakarta EE 10) 확인 → `@jakarta.annotation.PostConstruct` 정확. javax 교체 불필요.
+
+### env: Java 런타임 부재로 advisor 컴파일 검증 불가
+- 현재 셸 환경에 JDK 미설치(`/usr/libexec/java_home` 실패) → advisor 측 `mvnw compile`/LSP 컴파일 점검 불가.
+- 변경은 FQN(`java.security.Security`, `@jakarta.annotation.PostConstruct`)만 사용하여 import 무변경, 기존 클래스패스 의존만 사용 → 컴파일 가능성 높음. 실제 컴파일·테스트 게이트는 verification-advisor 영역.
+
+### b2: @Value 기본값 유지 결정
+- 기본값 `src/main/resources/static` 은 변경하지 않는다.
+- 근거: `GameUploadControllerSecurityTest` 가 `@TempDir + ReflectionTestUtils.setField` 로 경로를 격리하므로 기본값과 무관하지만, 기본값을 홈경로로 바꾸면 IDE 로컬 실행 시 명시 설정 없이 홈 디렉토리에 파일이 생성되는 부작용이 있다. application.properties 명시 설정으로만 오버라이드하는 것이 최소 변경·테스트 안전 기준에 부합한다.
+
+## worker 계획 주석
+
+- w-h01: SsrfSafeFetcher + 단위테스트 — 파일 간 강한 의존(테스트가 소스를 참조) → 동일 worker로 묶어 순차 처리
+- application.properties: 1줄 추가, 단순 — advisor 직접 처리(파일 수 1, 예상 줄수 <5)
--- a/.atp/work-session/20260629-142115/implementation/ownership-w4display.md
+++ b/.atp/work-session/20260629-142115/implementation/ownership-w4display.md
@ -0,0 +1,26 @@
+---
+phase: implementation
+agent: implementation-advisor
+agent_version: 1
+generated_at: 2026-06-29T14:21:15Z
+---
+
+# 파일 소유권 맵 — W4 배지 표시면 배선
+
+| 파일 | 담당 worker | worker id | 변경 유형 | 의존 |
+|---|---|---|---|---|
+| src/main/java/com/pandoli365/bibimbap/controller/WebMvcController.java | code-writer | w-001 | modify | - |
+| src/main/java/com/pandoli365/bibimbap/controller/SearchController.java | code-writer | w-002 | modify | - |
+| src/main/webapp/WEB-INF/views/index.jsp | code-writer | w-003 | modify | w-001,w-002 (model attr 추가 후 JSP 소비) |
+| src/test/java/com/pandoli365/bibimbap/controller/WebMvcControllerTest.java | code-writer | w-004 | modify | w-001 |
+| src/test/java/com/pandoli365/bibimbap/controller/SearchControllerTest.java | code-writer | w-005 | modify | w-002 |
+
+## 비고
+- w-003(index.jsp)은 w-001/w-002가 `creatorBadges` attr을 주입한 뒤 소비하므로 논리적 의존이 있으나, JSP는 런타임 렌더이므로 컴파일 의존 없음 — 병렬 spawn 허용.
+- w-004/w-005(테스트)는 생성자 시그니처 변경(w-001/w-002)에 의존하므로 병렬 spawn 시 각 worker가 신규 시그니처를 설계 문서 기준으로 작성.
+- BibimbapApplicationTests는 이미 UserBadgesQueryMapper @MockBean 보유 → 무변경.
+
+## 실행 결과 (planned 5 = actual 5, advisor 직접 실행 없음)
+- 5개 worker 전원 spawn·완료. 1파일=1worker 불변식 준수, 충돌 0.
+- worker 공통 우려(GameData.getUserId():Long / setUserId(Long) 존재 가정) → advisor 직접 확인: GameData.java L8/L32/L36 에 `private Long userId` + getter/setter 존재. UserBadgeKeyRow.setUserId(Long)/setBadgeKey(String) 도 존재 → 우려 해소.
+- 컴파일 게이트: `./mvnw -o clean test-compile -DskipTests` → BUILD SUCCESS, [ERROR] 0건. 비-deprecation WARNING 0건(잔존 WARNING 전량 기존 BibimbapApplicationTests 의 @MockBean deprecation, 본 변경 무관).
--- a/.atp/work-session/20260629-142115/report.md
+++ b/.atp/work-session/20260629-142115/report.md
@ -0,0 +1,163 @@
+---
+schema_version: 2
+sid: 20260629-142115
+resumed_from: 20260629-100849
+started_at: 2026-06-29T14:21:15+09:00
+ended_at: 2026-06-29T16:10:00+09:00
+branch: feat/v2
+user_request: "직전 세션 needs_user_verification 4건 처리 — (1)DB DDL: 사용자 직접 적용(no-op, 기록만) (2)W4 배지 표시 2면: 지금 구현 (3)L3 스모크: 배포 후 과제로 문서 표기 (4)하드닝(SSRF rebinding ttl + 업로드 저장루트 static 밖 이전+gameRoot 중첩 정합): 추가 구현."
+init_guard: "pass — docs/development/verification-strategies.md 존재"
+migrate_check: "skip — CLAUDE.md 에 atp:migrate 마커 없음 (이미 .atp/ 경로)"
+---
+
+# ATP Work Session — 20260629-142115
+
+## Summary
+직전 세션(20260629-100849) needs_user_verification 4건의 사용자 결정 수신 후 처리. 작업2(배지 표시 배선)·작업4(하드닝 2건)=구현, 작업3=문서, 작업1=기록.
+
+## Invocations
+- (orchestrator discovery) 직전 report 컨텍스트 회복 + 배선 지점/저장루트 config/SSRF fetcher 위치 직접 확인.
+- **작업2 배지표시**: implementation-advisor(5 worker, 5파일 — WebMvcController/SearchController 매퍼주입+모델attr, index.jsp 칩렌더, 테스트2) → verification-advisor(PASS: L1 352/352, AC 6/6, L2 skip no-new-schema) → **commit 3d10449**. 편차 0(GameReviewController authorBadges 정본 답습).
+- **작업4 하드닝**: implementation-advisor(b1 SsrfSafeFetcher @PostConstruct ttl + test, b2 application.properties 저장루트, @Value 기본값 유지) → verification-advisor(PASS: L1 353/353, AC 5/5, GameUploadControllerSecurityTest 경로격리 회귀0) → **commit 9041bb7**. concern 2건(b1 런타임 반영 best-effort, env 컴파일 미점검) verification 에서 해소/명시.
+- **documentation-advisor**: changes 2026-06-29-w3-w4 후속 섹션 + 신규 docs/maintenance/post-deploy-verification-checklist.md(L3 deferred + 자산이전 절차) + index 링크 2건.
+- **graph-refresh-checker**: partial-stale 판정 → orchestrator `/graphify src/` 재생성(AST 1836노드/4330엣지/89커뮤니티) + docs/graph/index.md 메타 갱신.
+
+## Advisor Invocation Decision Log
+# 각 advisor 호출/스킵 판단 즉시 1줄 append
+- advisor: requirements-advisor
+  decision: skip
+  rationale: '4건 모두 직전 세션 needs_user_verification 에 범위·근거 확정. 사용자 결정으로 스코프 닫힘 — 요구 분해 불필요.'
+  checked_at: 2026-06-29T14:22:00+09:00
+- advisor: graphify-lookup / research-advisor
+  decision: skip
+  rationale: '배선 지점(GameReviewController authorBadges 정본)·저장루트 config·UploadResourceConfig 를 orchestrator discovery 로 직접 확정. 외부 자료 불요.'
+  checked_at: 2026-06-29T14:22:00+09:00
+- advisor: design-advisor
+  decision: skip (작업2/b1) / 부분 (b2 = AskUserQuestion 결정축)
+  rationale: '작업2 = GameReviewController 패턴 답습(영향맵 확정). b1 = 설정 1점. b2 저장루트 = dev 구동 영향 결정축 → 사용자 위임(설계 대신).'
+  checked_at: 2026-06-29T14:22:00+09:00
+- advisor: implementation-advisor (작업2 배지표시)
+  decision: call
+  rationale: 'WebMvcController/SearchController/index.jsp 다파일 동시수정 → worker 소유권 충돌방지. 패턴=GameReviewController authorBadges 정본 답습.'
+  checked_at: 2026-06-29T14:35:00+09:00
+- advisor: verification-advisor (작업2)
+  decision: call
+  rationale: '코드 변경 → 스킵 불가(§C5). 신규 SQL 0(기존 매퍼 재사용) → L2 skip, L1 unit+regression 집중.'
+  checked_at: 2026-06-29T14:52:00+09:00
+- advisor: implementation-advisor (작업4 하드닝 b1+b2)
+  decision: call
+  rationale: 'b1 SsrfSafeFetcher ttl + b2 application.properties 저장루트 + @Value 정합 다파일. 보안 하드닝 — worker 분산.'
+  checked_at: 2026-06-29T15:05:00+09:00
+- advisor: verification-advisor (작업4)
+  decision: call
+  rationale: '코드 변경 → 스킵 불가(§C5). 신규 SQL 0 → L2 skip. b1 ttl 값 + b2 properties + 업로드 경로 회귀 0 L1 검증.'
+  checked_at: 2026-06-29T15:25:00+09:00
+- advisor: documentation-advisor
+  decision: call
+  rationale: '작업2+4 변경이력 + 작업3 L3 스모크 배포후 과제 표기 + 직전 carryover(DB DDL 사용자 적용·자산 이전) docs 반영.'
+  checked_at: 2026-06-29T15:35:00+09:00
+- advisor: graph-refresh-checker
+  decision: call
+  rationale: '코드 변경 1줄 이상(§C5 의무). src scope diff 비어있지 않음. → partial-stale 판정 → /graphify src/ 재생성.'
+  checked_at: 2026-06-29T15:50:00+09:00
+- advisor: retrospective-advisor
+  decision: call
+  rationale: '전 advisor 수렴 + verification 2건 PASS. Summary/Invocations/Decisions/user_signals 충족 — 회고 입력 준비됨.'
+  checked_at: 2026-06-29T16:00:00+09:00
+
+## Decisions
+- **b2 업로드 저장루트 = 홈 외부 고정경로** (AskUserQuestion). `${user.home}/.bibimbap/uploads` 류 — static 트리 완전 분리, 웹서버 직접 서빙 차단(컨트롤러 권한게이트 경유), dev/운영 일관. 기존 dev 자산 1회 수동 이전/재업로드 필요(needs_user_verification).
+- **b1 SSRF ttl = `networkaddress.cache.ttl` 양수 30s 고정** (orchestrator Recommended). 검증~connect 사이 동일 IP 캐시 유지로 rebinding TOCTOU 완화. option-b hostname-connect 유지(HTTPS SNI).
+- **트랙 분리**: 작업2(배지표시) vs 작업4(하드닝 b1+b2) 공유 자원 0 → 독립. impl-advisor 순차 2회(롤백 경계 분리).
+
+## verified_by_me
+- **L1 (unit+regression)**: 호스트 JDK(brew openjdk@21) `./mvnw -o test`. 작업2 352/352, 작업4 **353/353 GREEN**(누적 +6 신규: 배지표시 5 + ttl 1). 회귀 0.
+- **L2 (contract-db)**: skipped — no-new-schema(작업2 기존 매퍼 재사용, 작업4 DB 스키마 변경 0).
+- **AC**: 작업2 6/6 PASS(myBadges 주입·creatorBadges userId 그룹핑·빈맵·index.jsp HtmlUtils escape), 작업4 5/5 PASS(ttl=30 값·주석 best-effort 명시·properties 경로·업로드 회귀0·전체 GREEN).
+- **로그 스캔**: clean(WARN = Mockito/ByteBuddy agent·trailing-slash·의도적 [BADGE] resilience noise).
+
+## needs_user_verification
+- **작업3 L3 런타임 스모크 (배포 후 과제 — 사용자 이월 결정)**: WAR 기동 후 5기능 실동작. 체크리스트 정본 = `docs/maintenance/post-deploy-verification-checklist.md`. 핵심: ★게임카드 creator 배지 칩·프로필 myBadges 표시(신규) ★SSRF ttl 런타임 반영(`Security.getProperty("networkaddress.cache.ttl")=="30"` — 미반영 시 JVM 레벨 java.security 격상) ★업로드물 `~/.bibimbap/uploads/{game,profile}` 생성·서빙 ★실 HTTPS 외부 fetch.
+- **b2 자산 수동 이전**: 저장루트 이전으로 기존 `src/main/resources/static/profile/8/*`(user 8 프로필) → `~/.bibimbap/uploads/profile/8/` 수동 이전 필요. 미이전 시 user 8 프로필 404. static/game 은 비어있어 게임 자산 이전 불필요.
+
+## graph_refresh
+- 판정: **partial-stale**(graph-refresh-checker, 305cc73→9041bb7). no-defer 처리 완료: orchestrator `/graphify src/`(AST 1836노드/4330엣지/89커뮤니티 — UserBadgesQueryMapper→2컨트롤러 주입 엣지 + SsrfSafeFetcher.initDnsCachePolicy 노드 반영) 재생성. docs/graph/src/ 본체 갱신(gitignore), docs/graph/index.md frontmatter(source_commit→9041bb7·last_generated 14:54) + Scopes src 행 갱신. docs scope 는 우선순위 낮음 판정으로 차기 일괄(index 표에 명시).
+
+## 프로젝트 종료/배포 게이트
+- L3 런타임/배포후 동작 확인 = needs_user_verification 으로 이월(사용자 결정). 자동 실행 불가(WAR 기동 필요) → docs/maintenance 체크리스트 + needs_user_verification 명시. 코드 L1 검증과 별개.
+
+## 작업1 (DB DDL) — no-op
+- 신규 8종 DDL(tag/games-hub/board/game-upload/badge + W2 jam 3종) — **사용자가 직접 실 dev DB 에 적용 완료** 보고 수신. 직전 needs_user_verification "DDL 미적용" 해소. docs/changes 에 기록 반영.
+
+## open_items
+- (해소) 실 dev DB DDL — 사용자 직접 적용 → 작업1 no-op.
+- (선택·미해소) b2 저장루트 변경 후에도 `.gitignore:44` 가 static/ 통째 ignore 인데 `static/profile/8/*` 2파일은 과거 add 로 tracked 잔존 — 정합 정리는 사용자 영역(이번 작업 무관).
+
+## user_signals
+positive:
+  - "직전 세션 needs_user_verification 4건에 항목별 명확 결정(직접 구동/지금/배포후/추가) — 1라운드 수렴, 재질의 0. 사전 needs 구조화가 결정 마찰 0 으로 이어진 긍정 신호."
+negative: []
+
+## Retrospective
+```yaml
+Retrospective:
+  signals:
+    positive:
+      - quote_or_paraphrase: "직전 세션 needs_user_verification 4건에 항목별 명확 결정(직접 구동/지금/배포후/추가) — 1라운드 수렴, 재질의 0."
+        about: "세션 종료 시 needs_user_verification 을 결정 분기별로 명시적으로 구조화한 운영이 다음 세션 착수 마찰을 0으로 만든 것."
+    negative: []
+  what_went_well:
+    - "needs_user_verification 항목별 결정 분기 구조화 → 1라운드 수렴: 직전 세션이 4건을 '사용자 직접 적용 / 지금 구현 / 배포 후 / 추가 구현'으로 분기를 미리 명시해 이번 세션 착수 시 재질의 0, 모든 결정이 첫 라운드에 수렴. 비자명한 운영 판단 — needs 를 단순 '미완료 목록'이 아니라 '결정 분기' 단위로 구조화한 것이 핵심."
+    - "scope-fence-vs-display-wiring 후행 독립 트랙 패턴 실증: 직전 세션이 W4 배지 표시 배선을 fence 예외 선언 대신 deferral(이월)로 분리했고, 이번 세션에서 WebMvcController/SearchController 배선을 독립 트랙으로 5파일 352/352 GREEN 처리. 표시 AC 미완이 후속 세션에서 깔끔히 해소 — fence 예외 선언과 후행 분리 모두 유효한 해결 경로임이 검증됨."
+    - "design-tradeoff-pin-to-implementation(b1 SSRF ttl) 실증: 직전 세션 교훈에 따라 b1 SSRF rebinding TOCTOU 잔여 하드닝을 '선결정 = ttl 30s 고정 + best-effort 한계 명시'로 못박아 1차 구현 수렴. backward 보정 라운드 0. 설계 트레이드오프 못박기 교훈이 동일 세션 내 적용·검증됨."
+    - "b1 ttl 런타임 best-effort 한계 → L3 분리 판단: @PostConstruct initDnsCachePolicy 의 InetAddressCachePolicy lazy init 경합이라는 JVM 제약을 인식해, 단위검증(값=30 확인)과 L3 런타임 반영 확인을 명시적으로 분리. '검증 가능한 것(코드값)'과 '런타임 의존(JVM 초기화 순서)'을 다른 레이어로 배정 — 불확실성을 검증 레이어 분리로 관리한 패턴."
+    - "직전 세션 회고 교훈 4건(보안 거부 vacuous 회피 / 보안핵심 adversarial 병렬 / scope-fence 표시 의존 예외 / 설계 트레이드오프 1차 결론 못박기)이 verification-strategies.md 에 모두 반영된 상태로 이번 세션이 시작 — 교훈 docs-first 반영 사이클이 다음 세션 운영에 실제로 활용 가능한 상태로 닫혔음."
+  what_to_improve:
+    - "b1 ttl L3 검증 deferred 의 조치 경로 명시 수준: post-deploy-verification-checklist.md 에 '미반영 시 JVM 레벨 격상' 조치가 기재돼 있으나, '실 반영됐을 때 / 안 됐을 때' 판단 명확도는 체크리스트 항목에만 의존. best-effort 코드 경로가 실패할 확률을 높이는 조건(JVM 레벨 java.security 미설정)이 기술됐지만 'best-effort 가 언제 실패하는가' 에 대한 문서화는 체크리스트 주석에 국한 — 운영 레퍼런스로서 명도가 낮음."
+  memory_candidates:
+    - name: needs-verification-decision-branch-structure
+      type: feedback
+      description: "세션 종료 시 needs_user_verification 을 '결정 분기' 단위로 구조화하면 다음 세션 착수 마찰이 0으로 수렴한다."
+      body_draft: |
+        What: needs_user_verification 항목을 단순 '미완료 목록'으로 기재하면 다음 세션 시작 시 각 항목의 처리 방향(직접 수행 / 이번 세션 구현 / 배포 후 / 별도 결정 필요)을 재결정해야 한다. 결정 분기를 미리 명시하면 사용자가 다음 세션 시작 직전에 결정 분기를 선택하는 형태로 마찰이 최소화된다.
+        Why: 이번 세션(20260629-142115) — 직전 세션(20260629-100849)이 4건을 '사용자 직접 적용(no-op) / 지금 구현 / 배포 후 과제 / 추가 구현'으로 분기 명시 → 이번 세션 착수 시 재질의 0, 1라운드 전 결정 수렴.
+        How to apply: 세션 종료 전 needs_user_verification 각 항목에 아래 분기 중 하나를 명시한다:
+          - [no-op] 사용자 이미 처리 / 기록만
+          - [implement-now] 다음 세션에서 즉시 구현
+          - [deploy-gate] 배포 후 수동 확인 과제 (체크리스트 참조)
+          - [user-decision] 사용자 결정 선행 필요 (옵션 목록 포함)
+        분기가 불명확할 때만 AskUserQuestion 으로 위임.
+      rationale_for_saving: "세션 간 핸드오프 마찰을 줄이는 재현성 있는 운영 패턴. 코드/커밋에서 유도 불가 — 세션 경계 운영 관찰로만 드러남."
+      signal_source: positive
+      docs_sync_target: /Users/wemadeplay/workspace/stz/bibimbap/docs/development/verification-strategies.md
+      memory_optional: true
+    - name: display-wiring-deferral-as-independent-track
+      type: feedback
+      description: "scope-fence 가 막는 표시 배선은 fence 예외 선언 대신 후행 독립 트랙으로 분리해도 동등하게 해소된다 — 두 경로 모두 유효."
+      body_draft: |
+        What: verification-strategies.md §표시면이 선행 기능 컨트롤러에 의존하면 scope-fence 예외 선언 은 '편집 허용 대상 추가'가 해결책으로 기재됐다. 이번 세션이 보여준 대안: fence 예외 선언 없이 표시 AC 를 deferral 로 분리 → 후행 독립 세션에서 독립 트랙으로 처리. 두 경로 모두 유효하며 트레이드오프가 다르다.
+        Why: W4 배지 표시(20260629-100849 deferral → 20260629-142115 독립 구현) — fence 예외 선언 없이 후행 분리만으로 배지 표시 AC 5파일 352/352 GREEN 완전 해소.
+        How to apply: scope-fence 조우 시 두 경로 중 선택:
+          (a) fence 예외 선언: 동일 세션 내 완결. 선행 기능 컨트롤러 편집 범위가 좁고 명확할 때.
+          (b) deferral 독립 트랙: 선행 기능 컨트롤러 편집 범위가 크거나 현 세션 커밋 경계를 지키려 할 때. needs_user_verification 에 '[implement-now] 표시 배선 후행 처리'로 명시.
+      rationale_for_saving: "직전 세션 교훈(scope-fence 예외)의 대안 경로가 실증됨. 기존 verification-strategies.md §표시면 의존 fence 예외 에 보완 내용으로 추가 가치."
+      signal_source: positive
+      docs_sync_target: /Users/wemadeplay/workspace/stz/bibimbap/docs/development/verification-strategies.md
+      memory_optional: true
+    - name: best-effort-runtime-constraint-L3-split
+      type: feedback
+      description: "코드로 설정 가능한 범위와 JVM 런타임 제약(초기화 순서 등)은 다른 검증 레이어(L1 값 확인 / L3 런타임 반영)로 명시적으로 분리한다."
+      body_draft: |
+        What: @PostConstruct 같은 Spring 훅이 JVM 보안 프로퍼티를 설정할 때, InetAddressCachePolicy 등 JVM 내부 lazy init 이 먼저 실행되면 설정이 무시될 수 있다. 코드 단위에서는 '값이 세팅됐는가'만 확인 가능하고, '세팅이 실제로 적용됐는가'는 런타임이어야 알 수 있다.
+        Why: b1 SSRF ttl(SsrfSafeFetcher.initDnsCachePolicy) — @PostConstruct 로 networkaddress.cache.ttl=30 설정. L1 단위검증으로 값 확인, 런타임 반영은 best-effort 한계 명시 후 L3(WAR 기동 후 Security.getProperty 값 확인)으로 분리. JVM 레벨 java.security 설정이 결정적 보장.
+        How to apply: '코드 변경으로 설정 가능하지만 JVM/런타임 초기화 순서에 의존하는' 보안 프로퍼티 변경은:
+          1. L1: 설정 코드가 올바른 값을 세팅하는지 단위 검증.
+          2. needs_user_verification [deploy-gate]: 실 환경에서 런타임 반영 여부 확인 + 미반영 시 JVM 레벨 격상 조치 명시.
+          3. post-deploy 체크리스트에 확인 명령·판단 기준·미반영 조치 3종 기재.
+      rationale_for_saving: "JVM 내부 제약과 코드 검증 범위 분리라는 재현 가능한 패턴. 보안 프로퍼티 변경이 있는 미래 세션에 적용 가능."
+      signal_source: observation
+      docs_sync_target: /Users/wemadeplay/workspace/stz/bibimbap/docs/development/verification-strategies.md
+      memory_optional: true
+  protocol_feedback: []
+  applied_changes: []
+```
--- a/.atp/work-session/20260629-142115/verification.md
+++ b/.atp/work-session/20260629-142115/verification.md
@ -0,0 +1,56 @@
+---
+phase: verification
+agent: verification-advisor
+agent_version: 1
+generated_at: 2026-06-29T14:44:20+09:00
+concerns: []
+concerns_checked: true
+---
+
+# 검증 결과
+
+## Acceptance Criteria (입력 받은 그대로 인용)
+
+- **AC-b1-1**: `SsrfSafeFetcher.initDnsCachePolicy()` 가 positive DNS 캐시 TTL 을 "30" 으로 설정한다. 테스트 `SsrfSafeFetcherTest.initDnsCachePolicySetsPositiveTtl` 통과 — 호출 후 `java.security.Security.getProperty("networkaddress.cache.ttl")` == `"30"`.
+- **AC-b1-2 (정적)**: `src/main/java/com/pandoli365/bibimbap/security/SsrfSafeFetcher.java` 주석에 런타임 반영 best-effort 한계 + JVM 레벨(java.security) 정본 안내가 있는지 grep 확인.
+- **AC-b2-1 (정적)**: `src/main/resources/application.properties` 에 `app.upload.game-storage-path=${user.home}/.bibimbap/uploads` 라인이 존재하는지 grep 확인.
+- **AC-b2-2 (회귀)**: 업로드 경로 관련 테스트 회귀 0 — `GameUploadControllerSecurityTest` 전건 GREEN(경로는 @TempDir+ReflectionTestUtils 로 격리되어 application.properties 변경과 무관해야 함).
+- **AC-회귀**: 전체 테스트 GREEN. 직전 baseline 352 + 신규 1(SsrfSafeFetcherTest.initDnsCachePolicySetsPositiveTtl) = 353+ 예상. 회귀 실패 0. 정확한 통과/전체 카운트 보고.
+
+## 실행된 전략
+
+| id | cmd | exit | severity | 결과 |
+|---|---|---|---|---|
+| verify-all (L1) | `./mvnw -o test` | 0 | blocker | pass |
+| AC-b1-2-static | `grep -n "best-effort\|JVM\|java.security\|런타임 반영" SsrfSafeFetcher.java` | 0 | blocker | pass |
+| AC-b2-1-static | `grep -Fn 'app.upload.game-storage-path=...' application.properties` | 0 | blocker | pass |
+
+### 단계별 분해
+
+| 단계 | 결과 |
+|---|---|
+| L1 typecheck (compile) | pass (BUILD SUCCESS) |
+| L1 unit+regression (전체 353건) | pass — Tests run: 353, Failures: 0, Errors: 0, Skipped: 0 |
+| L2 contract-db | skipped: no-new-schema (DB 스키마 변경 없음, 외부 서비스 미기동) |
+| 로그 스캔 | clean — ByteBuddy dynamic-agent WARN 4건(제외 대상), [BADGE] 리뷰 평판 훅 실패 WARN 1건(의도적 resilience WARN, 제외 대상). 그 외 ERROR/WARN 없음. |
+
+## 실패 상세
+
+해당 없음 — 전 항목 pass.
+
+## 종합 판정
+
+```
+overall: pass
+rollback_signal: none
+```
+
+## Acceptance 매칭
+
+| criterion | 매칭 전략 | 판정 | 근거 |
+|---|---|---|---|
+| AC-b1-1: SsrfSafeFetcherTest.initDnsCachePolicySetsPositiveTtl 통과 | L1 unit (SsrfSafeFetcherTest) | PASS | Tests run: 20, Failures: 0 — initDnsCachePolicySetsPositiveTtl 포함. Security property 값 설정 단위 검증. 런타임 InetAddress 캐시 실제 반영은 L3 스모크 영역으로 단위검증 대상 아님(AC 판정에서 이 구분 명시). |
+| AC-b1-2 (정적): best-effort 한계 + JVM 레벨 java.security 정본 안내 주석 | grep 정적 검사 | PASS | 43행: JVM 레벨 언급, 45행: best-effort 명시, 80~81행: 런타임 반영 한계 + JVM 레벨 java.security 정본 안내 모두 확인. |
+| AC-b2-1 (정적): application.properties 경로 라인 존재 | grep 정적 검사 | PASS | 26행: `app.upload.game-storage-path=${user.home}/.bibimbap/uploads` 정확히 존재. |
+| AC-b2-2 (회귀): GameUploadControllerSecurityTest 전건 GREEN | L1 unit | PASS | Tests run: 11, Failures: 0, Errors: 0, Skipped: 0. |
+| AC-회귀: 전체 353건 GREEN | L1 unit+regression | PASS | Tests run: 353, Failures: 0, Errors: 0, Skipped: 0. 신규 1건(SsrfSafeFetcherTest) + baseline 352 = 353 정합. |