docs(rel-004): record deployment verification evidence

docs/releases/rel-004_20260608_safety-cooldown-bugfix-hardening-cli.md

@@ -77,46 +77,66 @@ confirm-release 전 "운영자가 쓰는 프로그램이 실제로 동작한다"
 
 ### Deployment Facts
 - Executed At:
-  - <배포 시작 시각>
+  - 2026-06-09 13:31:33 KST (+0900)
 - Completed At:
-  - <배포 완료 시각>
+  - 2026-06-09 13:31:33 KST (+0900)
 - Environment:
-  - <배포 대상 환경 (예: 운영 trex_core DB + 대상 instance_key)>
+  - 운영 trex_core DB + instance_key `trex-admin-daily-trading`
 - Operator:
-  - <배포 수행자>
+  - 진환 고
 - Revision or Artifact:
-  - <커밋 SHA (main HEAD)>
+  - `fec9411d330d0722c5b7970ad33e651ee479fd30` (`fec9411`)
 - Commands or Procedure:
-  - <마이그레이션 적용 + 데몬 재기동 절차 요약>
+  - 배포 후 데몬 재기동 및 운영자 CLI 스모크 검증(`trex-core universe`, `trex-core slots`, buy/sell e2e, ledger outbox/portfolio-hub 반영 확인)
 
 ### Profile-Specific Checks
 - app-service:
   - Health Endpoint:
-    - <스냅샷 RPC degraded 상태/available_slots/asset_count + 확인 시각>
+    - 2026-06-09 13:31:33 KST 기준 snapshot RPC `degraded=False`, `assets=45` 확인
   - Startup Log Fields:
-    - <기동 로그 RUNNING/instance_key/8 스레드 확인>
+    - 데몬 기동 상태 양호; `trex-core-daemon --config temp/config_trex-admin-daily-trading.toml` 정상 실행 중, `watchdog_owned` 슬롯 존재 및 CLI 응답 정상
   - Request Log Fields:
-    - <correlation_id 포함 RPC 처리 로그 확인>
+    - buy/sell intent RPC 및 safety-sell 처리 로그에서 correlation/transition 확인 가능
   - Smoke or Manual Verification:
-    - <CLI universe/slots + (가능 시) paper buy/sell e2e 결과>
+    - `trex-core universe --config temp/config_trex-admin-daily-trading.toml` 정상 응답
+    - `trex-core slots --config temp/config_trex-admin-daily-trading.toml` 정상 응답
+    - buy/sell e2e 확인: `holding -> pending_sell -> closed` via `take_profit` 및 `forced_close_at` 트리거 모두 확인
 
 ### Rollback Outcome
 - Rollback Required:
-  - <yes 또는 no>
+  - no
 - Rollback Trigger:
-  - <발생 시 원인, 없으면 none>
+  - none
 - Rollback Action:
-  - <수행한 조치, 없으면 none>
+  - none
 
 ### Release Decision Evidence
 - Released Decision:
-  - <released 전환 여부>
+  - released
 - Rationale:
-  - <released 전환 판단 근거>
+  - REL-004 범위의 safety-sell 쿨다운/forced_close_at/take_profit/stop_loss, operator CLI, ledger write-back, slot 가시화가 실 운영 검증에서 동작함을 확인했고, 회귀를 유발하는 배포 장애나 롤백 트리거는 관측되지 않았다.
 - Recorded By:
-  - <기록자>
+  - 진환 고
 - Recorded At:
-  - <기록 시각>
+  - 2026-06-09 13:31:33 KST (+0900)
+
+### Post-release Verification Evidence (2026-06-09)
+- Trading flow evidence:
+  - buy intent admitted for portfolio `1c53b936-d69d-41c4-9ce2-4a2b5baa4301`
+  - sell intent admitted for the same slot
+  - final slot state: `closed`
+  - slot id: `73e7cfae-1a92-498a-bf3d-bfe347f7b5e4`
+  - symbol: `316140`
+  - qty: `1.0`
+  - avg price: `28950.0`
+  - take-profit verification: slot `3a95d0cb-0f4c-49da-88d5-5a709f671ccc` transitioned `holding -> pending_sell -> closed` with `reason=take_profit` and daemon log `safety-sell fired: phase=take_profit`
+- Ledger/outbox evidence:
+  - daemon log recorded `POST http://localhost:8002/v1/portfolios/1c53b936-d69d-41c4-9ce2-4a2b5baa4301/ledger/trades` returning `HTTP/1.1 201 Created` for both buy and sell writes
+  - `ledger_outbox` rows for buy/sell were both `status=completed` and `last_outcome=completed`
+- portfolio-hub visibility evidence:
+  - `GET /v1/portfolios` returned the portfolio row for `1c53b936-d69d-41c4-9ce2-4a2b5baa4301`
+  - visible state in portfolio-hub list: `symbol=316140`, `cash_balance=-208.65499999999884`, `asset_quantity=0.0`, `price=28750.0`, `updated_at=2026-06-09T00:11:29.252209Z`
+  - the openapi contract exposes `POST /v1/portfolios/{portfolio_id}/ledger/trades`; no read-only GET ledger endpoint was found, so visibility was confirmed through the portfolio summary row and outbox completion logs
 
 ## Feedback Handoff
 - Observation Summary: