From 7f4a163534b0fae0eb95947607c4aaa803372a5d Mon Sep 17 00:00:00 2001
From: Vinta Chen <vinta.chen@gmail.com>
Date: Sun, 19 Apr 2026 21:56:46 +0800
Subject: [PATCH] refactor(build): tighten extract_entries parameter types to
 ParsedSection/ParsedGroup

Replace loose list[dict] annotations with concrete TypedDicts imported
from readme_parser so ty can verify call-site compatibility.

Co-Authored-By: Claude <noreply@anthropic.com>
---
 website/build.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/website/build.py b/website/build.py
index 5f532f3c..f9deb480 100644
--- a/website/build.py
+++ b/website/build.py
@@ -9,7 +9,7 @@ from pathlib import Path
 from typing import TypedDict
 
 from jinja2 import Environment, FileSystemLoader
-from readme_parser import parse_readme, parse_sponsors
+from readme_parser import ParsedGroup, ParsedSection, parse_readme, parse_sponsors
 
 
 class StarData(TypedDict):
@@ -76,8 +76,8 @@ def sort_entries(entries: list[dict]) -> list[dict]:
 
 
 def extract_entries(
-    categories: list[dict],
-    groups: list[dict],
+    categories: list[ParsedSection],
+    groups: list[ParsedGroup],
 ) -> list[dict]:
     """Flatten categories into individual library entries for table display.