feat(native): port Verilog extractor to Rust

crates/codegraph-core/Cargo.toml

@@ -45,6 +45,7 @@ tree-sitter-erlang = "0.16"
 tree-sitter-groovy = "0.1"
 tree-sitter-r = "1.2"
 tree-sitter-solidity = "1.2"
+tree-sitter-verilog = "1.0.3"
 rayon = "1"
 ignore = "0.4"
 globset = "0.4"

crates/codegraph-core/src/change_detection.rs

@@ -774,15 +774,18 @@ mod tests {
 
     #[test]
     fn detect_removed_skips_unsupported_extensions() {
-        // Files in WASM-only languages (Verilog) live in
-        // `file_hashes` because the JS-side WASM backfill writes them, but
-        // Rust's narrower file_collector never collects them. Without this
-        // skip, every incremental rebuild would flag them as removed and
-        // purge their rows — the #1066 ~2s floor.
+        // Files that the JS-side WASM backfill wrote into `file_hashes` for
+        // an extension that the Rust `file_collector` doesn't recognise must
+        // not be flagged as removed merely because the orchestrator's
+        // narrower collector never sees them — that would purge their rows
+        // on every incremental rebuild (the #1066 ~2s floor). All currently
+        // registered languages have native extractors, so this test uses
+        // synthetic extensions that are deliberately outside the
+        // `SUPPORTED_EXTENSIONS` set to exercise the skip path.
         let mut existing = HashMap::new();
         for path in [
-            "tests/fixtures/verilog/main.v",
-            "tests/fixtures/verilog/util.sv",
+            "tests/fixtures/unknown/main.unknownlang",
+            "tests/fixtures/unknown/util.fakelang",
         ] {
             existing.insert(
                 path.to_string(),

crates/codegraph-core/src/extractors/helpers.rs

@@ -473,6 +473,23 @@ pub const SOLIDITY_AST_CONFIG: LangAstConfig = LangAstConfig {
     string_prefixes: &[],
 };
 
+/// Verilog/SystemVerilog AST config.
+///
+/// The WASM-side `AST_TYPE_MAPS` (in `src/ast-analysis/rules/index.ts`) has no
+/// `verilog` entry, so the JS engine emits no `ast_nodes` rows for Verilog
+/// files. Keeping every list empty produces the same outcome here: the generic
+/// walker visits every node but classifies none, so nothing is pushed. If the
+/// JS map ever grows a Verilog entry, mirror it here.
+pub const VERILOG_AST_CONFIG: LangAstConfig = LangAstConfig {
+    new_types: &[],
+    throw_types: &[],
+    await_types: &[],
+    string_types: &[],
+    regex_types: &[],
+    quote_chars: &['"'],
+    string_prefixes: &[],
+};
+
 // ── Generic AST node walker ──────────────────────────────────────────────────
 
 /// Node types that represent identifiers across languages.

crates/codegraph-core/src/extractors/mod.rs

@@ -29,6 +29,7 @@ pub mod rust_lang;
 pub mod scala;
 pub mod solidity;
 pub mod swift;
+pub mod verilog;
 pub mod zig;
 
 use crate::parser_registry::LanguageKind;
@@ -166,5 +167,8 @@ pub fn extract_symbols_with_opts(
         LanguageKind::Solidity => {
             solidity::SolidityExtractor.extract_with_opts(tree, source, file_path, include_ast_nodes)
         }
+        LanguageKind::Verilog => {
+            verilog::VerilogExtractor.extract_with_opts(tree, source, file_path, include_ast_nodes)
+        }
     }
 }