docs: update semantic tokens verified versions and add version output to extraction script

Update verified backend versions (Pyrefly 0.48.2→0.51.2, ty 0.0.12→0.0.15).
The extraction script now prints each LSP server's version from serverInfo.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: Mazyod

docs/SEMANTIC_TOKENS.md

@@ -91,7 +91,7 @@ See `examples/extract_semantic_legends.py` for a complete working example.
 
 ### Pyrefly
 
-> Last verified: Pyrefly 0.48.2
+> Last verified: Pyrefly 0.51.2
 > Legend source: [semantic_tokens.rs](https://github.com/facebook/pyrefly/blob/main/pyrefly/lib/state/semantic_tokens.rs)
 
 Pyrefly does not advertise its legend via LSP initialization, but the token mappings are defined in source code.
@@ -143,7 +143,7 @@ Pyrefly does not advertise its legend via LSP initialization, but the token mapp
 
 ### ty
 
-> Last verified: ty 0.0.12
+> Last verified: ty 0.0.15
 
 #### Token Types
 

examples/extract_semantic_legends.py

@@ -59,6 +59,10 @@ async def extract_legend(
         # Send initialized notification (required by LSP spec)
         await process.notify.initialized({})
 
+        # Extract server version info
+        server_info = init_result.get("serverInfo", {})
+        server_version = server_info.get("version", "unknown")
+
         # Extract semantic tokens provider from server capabilities
         server_caps = init_result.get("capabilities", {})
         semantic_provider = server_caps.get("semanticTokensProvider")
@@ -87,6 +91,7 @@ async def extract_legend(
                 )
             else:
                 print(f"  {backend_name}: No semantic tokens provider")
+            print(f"  {backend_name}: version {server_version}")
             return None
 
         legend = semantic_provider.get("legend")
@@ -96,6 +101,7 @@ async def extract_legend(
 
         return {
             "backend": backend_name,
+            "version": server_version,
             "tokenTypes": legend.get("tokenTypes", []),
             "tokenModifiers": legend.get("tokenModifiers", []),
         }
@@ -112,10 +118,12 @@ async def extract_legend(
 def print_legend_table(legend: dict) -> None:
     """Print a legend as markdown tables."""
     backend = legend["backend"]
+    version = legend["version"]
     token_types = legend["tokenTypes"]
     token_modifiers = legend["tokenModifiers"]
 
     print(f"\n### {backend}\n")
+    print(f"> Version: {version}\n")
 
     # Token Types table
     print("#### Token Types\n")
@@ -159,7 +167,7 @@ async def main() -> None:
             if legend:
                 legends.append(legend)
                 print(
-                    f"  {name}: {len(legend['tokenTypes'])} types, {len(legend['tokenModifiers'])} modifiers"
+                    f"  {name}: version {legend['version']}, {len(legend['tokenTypes'])} types, {len(legend['tokenModifiers'])} modifiers"
                 )
 
         print("\n" + "=" * 60)