feat: distill oversized plan goals into audit criteria

Plan-goal objectives are capped at 5000 chars for the auditor while the
working agent reads the full plan from its file. Plans over the limit are
now distilled by the small model into completion criteria (end goals +
per-phase verification, no implementation steps), prefixed with a header
pointing back at the plan file so every continuation re-anchors on the
live source of truth. If distillation fails (transient small-model
hiccup), a head+tail excerpt keeps the plan's intent (top) and acceptance
criteria (bottom) with a trim marker between — sacrificing the
implementation middle the agent reads from the file anyway — and a toast
tells the user the objective is degraded.

packages/ui/src/lib/i18n/messages/ko.ts

@@ -1439,6 +1439,7 @@ export const dict: Record<I18nKey, string> = {
   'chat.goal.action.save': '목표 저장',
   'chat.goal.action.start': '목표 시작',
   'chat.goal.toast.actionFailed': '목표 업데이트에 실패했습니다',
+  'plans.goal.toast.distillFallback': '감사용으로 계획을 요약하지 못했습니다 — 발췌본을 사용합니다',
   'chat.goal.row.aria': '세션 목표 — 세부 정보 열기',
   'chat.goal.button.createAria': '세션 목표 설정',
   'chat.goal.button.manageAria': '세션 목표 관리',