WBS-7.3 F12/F13: distribution_risk 두 공식 역할 분리 확정(KEEP_BOTH)

GAS calcDistributionRiskRow_의 "THIN_ADAPTER: delegated to Python" 주석이
틀린 주석이었음을 발견 — GAS(DISTRIBUTION_RISK_SCORE_V1, 점수식 BUY 차단
게이트)와 Python calc_distribution_detector_per_ticker(DISTRIBUTION_SELL_DETECTOR_V1,
6신호 카운트, PRE_DISTRIBUTION_EARLY_WARNING 정밀도 보완)는 이미 spec에
서로 다른 고유 formula_id로 등록된 독립 공식이었다. "GAS가 Python의 중복"
이라는 ledger 전제가 거짓이었을 뿐, 코드는 원래부터 올바르게 분리돼 있었다.

사용자 결정(둘 다 유지, 역할 분리)에 따라:
- GAS 소스의 잘못된 주석 정정(gdf_03_portfolio_gates.gs) + 번들 재생성
- 양쪽 formula_registry에 상호 related_formula 참조 추가(향후 혼동 방지)
- governance/gas_logic_migration_ledger_v1.yaml: migration_action을
  DELETE_DISTRIBUTION_RISK_GAS → KEEP_BOTH_SEPARATE_ROLES로 변경, DONE

spec/13_formula_registry.yaml

@@ -2762,6 +2762,11 @@ formula_registry:
         설거지 구간을 6신호 합산으로 조기 감지.
 
         '
+      related_formula: >
+        spec/13b_harness_formulas.yaml:DISTRIBUTION_RISK_SCORE_V1(GAS calcDistributionRiskRow_,
+        BUY/STAGED_BUY/ADD_ON 차단 점수식)과 별개의 독립 공식이다(2026-06-22 역할 분리
+        확정, governance/gas_logic_migration_ledger_v1.yaml F12/F13). 하나가 다른 하나를
+        대체하지 않으며 둘 다 유지한다.
       applicable: _addTickerGates_ 내 FLOW_ACCELERATION_V1 직후.
       inputs:
       - field: close

spec/13b_harness_formulas.yaml

@@ -366,6 +366,12 @@ formula_registry:
       purpose: >
         가격 유지 또는 상승 중 스마트머니 이탈, 거래대금 둔화, 윗꼬리, 낮은 flow_credit,
         섹터 대비 상대약세를 결합해 설거지·분산 위험을 0~100으로 산출한다.
+      related_formula: >
+        spec/13_formula_registry.yaml:DISTRIBUTION_SELL_DETECTOR_V1과 별개의 독립
+        공식이다(2026-06-22 역할 분리 확정, governance/gas_logic_migration_ledger_v1.yaml
+        F12/F13). 이 공식(점수식, BUY/STAGED_BUY/ADD_ON 차단 게이트)과 SELL_DETECTOR(6신호
+        카운트, PRE_DISTRIBUTION_EARLY_WARNING 정밀도 보완)는 입력·출력·목적이 다르며
+        하나가 다른 하나의 중복이 아니다 — 둘 다 유지한다.
       inputs: []
       input_groups:
         required: