fix: resolve clippy and spec-check CI failures

- Replace closures with char arrays in python.rs trim_start/end_matches
- Add #[allow(clippy::type_complexity)] to 3 functions in ast/typescript.rs
- Document ast module, sub-modules, get_exported_symbols_full in exports spec
- Document ParseMode enum in types spec

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

Author: corvid-agent

specs/exports/exports.spec.md

@@ -15,6 +15,10 @@ files:
   - src/exports/csharp.rs
   - src/exports/php.rs
   - src/exports/ruby.rs
+  - src/exports/ast/mod.rs
+  - src/exports/ast/typescript.rs
+  - src/exports/ast/python.rs
+  - src/exports/ast/rust_lang.rs
 db_tables: []
 tracks: [60]
 depends_on:
@@ -25,7 +29,7 @@ depends_on:
 
 ## Purpose
 
-Language-aware export extraction from source files. Auto-detects the programming language from file extension and extracts public/exported symbol names using regex-based parsing (no AST required). Supports 11 languages: TypeScript/JS, Rust, Go, Python, Swift, Kotlin, Java, C#, Dart, PHP, and Ruby.
+Language-aware export extraction from source files. Auto-detects the programming language from file extension and extracts public/exported symbol names using regex-based parsing or tree-sitter AST analysis. Supports 11 languages: TypeScript/JS, Rust, Go, Python, Swift, Kotlin, Java, C#, Dart, PHP, and Ruby.
 
 ## Public API
 
@@ -40,6 +44,23 @@ Language-aware export extraction from source files. Auto-detects the programming
 | `has_extension` | `file_path: &Path, extensions: &[String]` | `bool` | Check if file matches specific extensions, or any supported language if extensions is empty |
 | `extract_exports` | `content: &str` | `Vec<String>` | Per-language backend function that parses source text and returns exported symbol names (one per backend file) |
 | `extract_exports_with_resolver` | `content: &str, resolver: Option<&ImportResolver>` | `Vec<String>` | TypeScript-specific: extract exports with optional wildcard re-export resolution via file resolver callback |
+| `get_exported_symbols_full` | `file_path: &Path, level: ExportLevel, parse_mode: ParseMode` | `Vec<String>` | Extract exports with full control over granularity and parse mode (Regex or Ast) |
+
+### Exported Modules
+
+| Module | Source | Description |
+|--------|--------|-------------|
+| `ast` | `src/exports/mod.rs` | Tree-sitter based AST export extraction backends |
+
+### Exported AST Sub-modules
+
+Tree-sitter based export extraction backends for TypeScript, Python, and Rust. Used when `ParseMode::Ast` is selected. Falls back to regex extraction for unsupported languages or when AST parsing fails.
+
+| Sub-module | File | Description |
+|------------|------|-------------|
+| `typescript` | `ast/typescript.rs` | Tree-sitter based TypeScript/JS export extraction with wildcard resolver support |
+| `python` | `ast/python.rs` | Tree-sitter based Python export extraction using `__all__` and top-level definitions |
+| `rust_lang` | `ast/rust_lang.rs` | Tree-sitter based Rust `pub` item extraction |
 
 ### Language Backend Functions
 

specs/types/types.spec.md

@@ -27,6 +27,7 @@ Core data structures and enums shared across the entire spec-sync codebase. Defi
 | `ExportLevel` | Export extraction granularity: Type (top-level declarations only) or Member (all public symbols, default) |
 | `SpecStatus` | Spec lifecycle status: draft, stable, deprecated. Parsed from frontmatter `status` field |
 | `EnforcementMode` | Graduated enforcement level: Warn (always exit 0), EnforceNew (exit 1 for unspecced files), Strict (exit 1 on any error) |
+| `ParseMode` | Export parsing strategy: Regex (default, all languages) or Ast (tree-sitter, supports TypeScript/Python/Rust with regex fallback) |
 
 ### Exported Structs
 

src/exports/ast/python.rs

@@ -110,8 +110,8 @@ fn extract_string_list(node: &tree_sitter::Node, src: &[u8]) -> Vec<String> {
             let text = child.utf8_text(src).unwrap_or_default();
             // Strip surrounding quotes
             let trimmed = text
-                .trim_start_matches(|c| c == '\'' || c == '"')
-                .trim_end_matches(|c| c == '\'' || c == '"');
+                .trim_start_matches(['\'', '"'])
+                .trim_end_matches(['\'', '"']);
             if !trimmed.is_empty() {
                 names.push(trimmed.to_string());
             }

src/exports/ast/typescript.rs

@@ -24,6 +24,7 @@ pub fn extract_exports(content: &str) -> Vec<String> {
 }
 
 /// Extract exports, optionally resolving wildcard re-exports via a file resolver.
+#[allow(clippy::type_complexity)]
 pub fn extract_exports_with_resolver(
     content: &str,
     resolver: Option<&dyn Fn(&str) -> Option<String>>,
@@ -42,6 +43,7 @@ pub fn extract_exports_with_resolver(
     symbols
 }
 
+#[allow(clippy::type_complexity)]
 fn collect_exports(
     node: &tree_sitter::Node,
     src: &[u8],
@@ -71,6 +73,7 @@ fn collect_exports(
     }
 }
 
+#[allow(clippy::type_complexity)]
 fn handle_export_statement(
     node: &tree_sitter::Node,
     src: &[u8],