WBS-8.7 1단계: spec-코드 동기화 확장 (12.5%→22.22%)

3개 contract 파일 추가 태깅:
- spec/00_execution_contract.yaml (execution_slippage + snapshot_admin)
- spec/08_scoring_rules.yaml (score_thresholds + qualitative_sell)
- spec/09_decision_flow.yaml (execution_decision + routing_decision)

결과: 36/162 파일 (22.22% coverage)
목표: 50% 이상 (점진적 확장)

CI gate: PASS

spec/00_execution_contract.yaml

@@ -5,6 +5,8 @@ meta:
   language: "ko-KR"
   timezone: "Asia/Seoul"
   role: "canonical"
+  has_code_implementation: true
+  code_path: ["src/quant_engine/execution_slippage_store_v1.py", "tools/run_snapshot_admin_server_v1.py"]
   purpose: >
     기존 llm_compact_execution_contract에서 제공하던 최상위 안전 계약을
     모듈형 구조에 맞게 복원한 단일 권위 파일.

spec/08_scoring_rules.yaml

@@ -5,6 +5,8 @@ meta:
   language: "ko-KR"
   timezone: "Asia/Seoul"
   role: "derived_adapter"
+  has_code_implementation: true
+  code_path: ["formulas/score_thresholds_v1.py", "src/quant_engine/qualitative_sell_strategy_v1.py"]
   purpose: >
     흩어진 점수화 규칙을 LLM이 일관되게 적용하도록 rule_id 기반으로 재정리한 명세.
     기존 strategy/risk/data 규칙을 대체하지 않고, 판단 근거를 구조화해 연결한다.

spec/09_decision_flow.yaml

@@ -4,6 +4,8 @@ meta:
   version: "2026-05-15-F3_decision_flow"
   language: "ko-KR"
   timezone: "Asia/Seoul"
+  has_code_implementation: true
+  code_path: ["formulas/execution_decision_v1.py", "formulas/routing_decision_v1.py"]
   purpose: >
     LLM이 투자 판단을 임의 순서로 수행하지 않도록 상태 머신으로 절차를 고정한다.
     각 상태는 통과 조건, 실패 시 행동, 참조 파일을 가진다.