feat(discovery): style golden queries; dimstyle/textstyle set_current and drawing_apply_standard join the lean profile

Five tuning cases for the styles surface (DDIM, the ISO-25 set-current
paraphrase, the one-call drafting-standard paraphrase, the isocp text
style, and the dimstyle counting question) — measured against the live
catalog every one ranks top-1, so no alias vocabulary changed. The
docstring count moves to seventy-one (56 tuning + 15 holdout); the
holdout set is untouched.

Lean decision (spec §8.2): dimstyle_set_current, textstyle_set_current
and drawing_apply_standard join LEAN_TOOL_NAMES (50 -> 53); the seven
authoring/list tools stay full-only and all ten stay in core (no pack
claims them). Pinned by the new profile test in tests/test_styles.py,
written async like the rest of that module (its module-wide asyncio
mark warns on a sync test).

Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01FKFStjEFzpGyLq5bMpWxTd

server.py

@@ -932,6 +932,12 @@ LEAN_TOOL_NAMES = frozenset(
         "pid_symbol_insert",
         "pid_line_draw",
         "pid_graph",
+        # Styles (track E) — a lean client *uses* a style far more often than
+        # it authors one; drawing_apply_standard authors the whole set in one
+        # call when it must.
+        "dimstyle_set_current",
+        "textstyle_set_current",
+        "drawing_apply_standard",
     }
 )