Merge branch 'main' into agent/jackdaw/implement-batch-operations-for-spec-sync-mnt0y5p5-14a32a

Author: 0xGaspar

Cargo.lock

@@ -25,6 +25,10 @@ walkdir = "2"
 colored = "3"
 notify = "7"
 notify-debouncer-full = "0.4"
+tree-sitter = "0.24"
+tree-sitter-typescript = "0.23"
+tree-sitter-python = "0.23"
+tree-sitter-rust = "0.23"
 sha2 = "0.10"
 ureq = { version = "3", features = ["json"] }
 dialoguer = "0.11"

Cargo.toml

@@ -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/exports/exports.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
 

specs/types/types.spec.md

@@ -542,7 +542,7 @@ fn fix_near_miss_headers(content: &mut String) -> bool {
 }
 
 fn auto_fix_specs(root: &Path, spec_files: &[PathBuf], config: &types::SpecSyncConfig) -> usize {
-    use crate::exports::get_exported_symbols_with_level;
+    use crate::exports::get_exported_symbols_full;
     use crate::parser::{get_spec_symbols, parse_frontmatter};
 
     let mut fixed_count = 0;
@@ -577,9 +577,10 @@ fn auto_fix_specs(root: &Path, spec_files: &[PathBuf], config: &types::SpecSyncC
         let mut all_exports: Vec<String> = Vec::new();
         for file in &parsed.frontmatter.files {
             let full_path = root.join(file);
-            all_exports.extend(get_exported_symbols_with_level(
+            all_exports.extend(get_exported_symbols_full(
                 &full_path,
                 config.export_level,
+                config.parse_mode,
             ));
         }
         let mut seen = std::collections::HashSet::new();

src/commands/check.rs

@@ -0,0 +1,5 @@
+pub mod python;
+pub mod rust_lang;
+#[cfg(test)]
+mod tests;
+pub mod typescript;