npm - devcouncil - Versions diffs - 0.3.1 → 0.4.1 - Mend

devcouncil 0.3.1 → 0.4.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (366) hide show

package/README.md +92 -33
package/package.json +6 -2
package/packages/codeintel-grammars/hatch_build.py +43 -0
package/packages/codeintel-grammars/pyproject.toml +16 -0
package/packages/codeintel-grammars/src/devcouncil_codeintel_grammars/__init__.py +93 -0
package/pyproject.toml +99 -4
package/src/devcouncil/app/config.py +512 -20
package/src/devcouncil/app/events.py +4 -23
package/src/devcouncil/app/orchestrator.py +5 -0
package/src/devcouncil/app/run_context.py +3 -3
package/src/devcouncil/assets/__init__.py +4 -1
package/src/devcouncil/assets/vendor/force-graph.min.js +5 -0
package/src/devcouncil/campaign/__init__.py +71 -0
package/src/devcouncil/campaign/bloom.py +137 -0
package/src/devcouncil/campaign/dashboard.py +123 -0
package/src/devcouncil/campaign/mailbox.py +305 -0
package/src/devcouncil/campaign/notify.py +91 -0
package/src/devcouncil/campaign/orchestrator.py +592 -0
package/src/devcouncil/campaign/prompts/coordinator.md +29 -0
package/src/devcouncil/campaign/prompts/director.md +21 -0
package/src/devcouncil/campaign/prompts/protocol.md +46 -0
package/src/devcouncil/campaign/prompts/reviewer.md +24 -0
package/src/devcouncil/campaign/prompts/worker.md +24 -0
package/src/devcouncil/campaign/roles.py +202 -0
package/src/devcouncil/campaign/watcher.py +153 -0
package/src/devcouncil/cli/commands/agents.py +24 -17
package/src/devcouncil/cli/commands/artifacts.py +36 -27
package/src/devcouncil/cli/commands/ast.py +12 -3
package/src/devcouncil/cli/commands/baseline.py +21 -12
package/src/devcouncil/cli/commands/boot.py +218 -0
package/src/devcouncil/cli/commands/campaign.py +302 -0
package/src/devcouncil/cli/commands/check.py +225 -12
package/src/devcouncil/cli/commands/config.py +221 -74
package/src/devcouncil/cli/commands/cost.py +137 -28
package/src/devcouncil/cli/commands/dashboard.py +12 -4
package/src/devcouncil/cli/commands/debug_cmd.py +249 -0
package/src/devcouncil/cli/commands/design.py +27 -17
package/src/devcouncil/cli/commands/doctor.py +790 -8
package/src/devcouncil/cli/commands/evidence.py +41 -20
package/src/devcouncil/cli/commands/export.py +73 -0
package/src/devcouncil/cli/commands/gaps.py +175 -0
package/src/devcouncil/cli/commands/gated_write.py +76 -0
package/src/devcouncil/cli/commands/go.py +220 -68
package/src/devcouncil/cli/commands/graph_cmd.py +1192 -0
package/src/devcouncil/cli/commands/handoff.py +45 -34
package/src/devcouncil/cli/commands/hook.py +630 -85
package/src/devcouncil/cli/commands/init.py +89 -30
package/src/devcouncil/cli/commands/integrate.py +296 -1385
package/src/devcouncil/cli/commands/lease.py +120 -0
package/src/devcouncil/cli/commands/logs.py +12 -5
package/src/devcouncil/cli/commands/lsp.py +40 -5
package/src/devcouncil/cli/commands/map.py +317 -74
package/src/devcouncil/cli/commands/mcp_server.py +12 -2
package/src/devcouncil/cli/commands/okf.py +44 -6
package/src/devcouncil/cli/commands/plan.py +184 -69
package/src/devcouncil/cli/commands/prompt.py +26 -17
package/src/devcouncil/cli/commands/provenance.py +79 -0
package/src/devcouncil/cli/commands/repair.py +60 -49
package/src/devcouncil/cli/commands/report.py +148 -40
package/src/devcouncil/cli/commands/requirements.py +104 -0
package/src/devcouncil/cli/commands/reset_demo_state.py +13 -4
package/src/devcouncil/cli/commands/rollback.py +46 -35
package/src/devcouncil/cli/commands/run.py +173 -8
package/src/devcouncil/cli/commands/runs.py +298 -68
package/src/devcouncil/cli/commands/scaffold.py +33 -12
package/src/devcouncil/cli/commands/semantic.py +29 -14
package/src/devcouncil/cli/commands/setup.py +103 -93
package/src/devcouncil/cli/commands/shell.py +51 -42
package/src/devcouncil/cli/commands/show.py +56 -42
package/src/devcouncil/cli/commands/skills.py +29 -20
package/src/devcouncil/cli/commands/status.py +80 -67
package/src/devcouncil/cli/commands/task_gate.py +295 -0
package/src/devcouncil/cli/commands/tasks.py +248 -19
package/src/devcouncil/cli/commands/trace.py +14 -8
package/src/devcouncil/cli/commands/verify.py +33 -8
package/src/devcouncil/cli/commands/version.py +14 -6
package/src/devcouncil/cli/commands/watch.py +56 -40
package/src/devcouncil/cli/commands/watch_fs.py +30 -19
package/src/devcouncil/cli/commands/wiki.py +278 -0
package/src/devcouncil/cli/main.py +58 -1
package/src/devcouncil/codeintel/__init__.py +16 -0
package/src/devcouncil/codeintel/build_control.py +429 -0
package/src/devcouncil/codeintel/build_worker.py +78 -0
package/src/devcouncil/codeintel/debug/__init__.py +17 -0
package/src/devcouncil/codeintel/debug/broker.py +114 -0
package/src/devcouncil/codeintel/debug/broker_client.py +61 -0
package/src/devcouncil/codeintel/debug/consent.py +36 -0
package/src/devcouncil/codeintel/debug/discovery.py +132 -0
package/src/devcouncil/codeintel/debug/fingerprint.py +85 -0
package/src/devcouncil/codeintel/debug/protocol.py +259 -0
package/src/devcouncil/codeintel/debug/python_trace_runner.py +81 -0
package/src/devcouncil/codeintel/debug/session.py +238 -0
package/src/devcouncil/codeintel/debug/tracing.py +201 -0
package/src/devcouncil/codeintel/languages/__init__.py +17 -0
package/src/devcouncil/codeintel/languages/generic_extractor.py +236 -0
package/src/devcouncil/codeintel/languages/registry.py +149 -0
package/src/devcouncil/codeintel/languages/workers.py +245 -0
package/src/devcouncil/codeintel/query/__init__.py +5 -0
package/src/devcouncil/codeintel/query/engine.py +289 -0
package/src/devcouncil/codeintel/resolution/__init__.py +6 -0
package/src/devcouncil/codeintel/resolution/abstract_state.py +301 -0
package/src/devcouncil/codeintel/resolution/frameworks/__init__.py +33 -0
package/src/devcouncil/codeintel/resolution/frameworks/base.py +46 -0
package/src/devcouncil/codeintel/resolution/frameworks/di.py +56 -0
package/src/devcouncil/codeintel/resolution/frameworks/events.py +45 -0
package/src/devcouncil/codeintel/resolution/frameworks/routes.py +88 -0
package/src/devcouncil/codeintel/resolution/semantic.py +887 -0
package/src/devcouncil/codeintel/service.py +104 -0
package/src/devcouncil/codeintel/store/__init__.py +15 -0
package/src/devcouncil/codeintel/store/sqlite.py +1565 -0
package/src/devcouncil/codeintel/sync/__init__.py +19 -0
package/src/devcouncil/codeintel/sync/coordinator.py +430 -0
package/src/devcouncil/codeintel/sync/incremental.py +484 -0
package/src/devcouncil/codeintel/sync/lease.py +96 -0
package/src/devcouncil/codeintel/sync/scope.py +98 -0
package/src/devcouncil/council/__init__.py +4 -0
package/src/devcouncil/council/prompts/__init__.py +4 -0
package/src/devcouncil/domain/checkpoint_refs.py +17 -0
package/src/devcouncil/domain/evidence.py +1 -0
package/src/devcouncil/domain/gap.py +10 -0
package/src/devcouncil/domain/requirement.py +5 -1
package/src/devcouncil/domain/task.py +43 -2
package/src/devcouncil/execution/checkpoints.py +25 -31
package/src/devcouncil/execution/context_builder.py +15 -44
package/src/devcouncil/execution/fs_watcher.py +64 -0
package/src/devcouncil/execution/gated_write.py +203 -0
package/src/devcouncil/execution/handoff.py +2 -1
package/src/devcouncil/execution/hook_policy.py +19 -5
package/src/devcouncil/execution/lease_ops.py +177 -0
package/src/devcouncil/execution/lease_validation.py +71 -0
package/src/devcouncil/execution/patch.py +3 -0
package/src/devcouncil/execution/permissions.py +1 -0
package/src/devcouncil/execution/policy_engine.py +205 -10
package/src/devcouncil/execution/prompt_builder.py +278 -33
package/src/devcouncil/execution/run_trace.py +356 -0
package/src/devcouncil/execution/shell_session.py +46 -5
package/src/devcouncil/execution/stop_gate.py +746 -0
package/src/devcouncil/execution/stop_gate_history.py +113 -0
package/src/devcouncil/execution/stop_gate_state.py +54 -0
package/src/devcouncil/execution/stop_gate_verify_cache.py +69 -0
package/src/devcouncil/execution/task_gate_ops.py +590 -0
package/src/devcouncil/execution/task_runner.py +19 -0
package/src/devcouncil/executors/advisor_tool.py +315 -0
package/src/devcouncil/executors/agent_registry.py +125 -17
package/src/devcouncil/executors/claude_sdk.py +376 -0
package/src/devcouncil/executors/coding_cli.py +724 -25
package/src/devcouncil/executors/mini_swe.py +50 -8
package/src/devcouncil/executors/native/agent.py +224 -19
package/src/devcouncil/executors/openhands.py +50 -8
package/src/devcouncil/executors/transient_retry.py +99 -0
package/src/devcouncil/gating/checks/clean_git.py +5 -2
package/src/devcouncil/gating/checks/planned_files_check.py +38 -11
package/src/devcouncil/gating/checks/secret_scan_check.py +2 -2
package/src/devcouncil/gating/policy.py +46 -2
package/src/devcouncil/indexing/ast_matcher.py +41 -4
package/src/devcouncil/indexing/graph/__init__.py +78 -0
package/src/devcouncil/indexing/graph/api_routes.py +522 -0
package/src/devcouncil/indexing/graph/build.py +862 -0
package/src/devcouncil/indexing/graph/cache.py +329 -0
package/src/devcouncil/indexing/graph/communities.py +28 -0
package/src/devcouncil/indexing/graph/cypher.py +107 -0
package/src/devcouncil/indexing/graph/embeddings.py +194 -0
package/src/devcouncil/indexing/graph/export.py +381 -0
package/src/devcouncil/indexing/graph/export_links.py +81 -0
package/src/devcouncil/indexing/graph/extract_python.py +307 -0
package/src/devcouncil/indexing/graph/extract_ts.py +1205 -0
package/src/devcouncil/indexing/graph/intel.py +668 -0
package/src/devcouncil/indexing/graph/liveness.py +992 -0
package/src/devcouncil/indexing/graph/okf_export.py +65 -0
package/src/devcouncil/indexing/graph/pdg/__init__.py +67 -0
package/src/devcouncil/indexing/graph/pdg/build.py +11 -0
package/src/devcouncil/indexing/graph/pdg/cdg.py +41 -0
package/src/devcouncil/indexing/graph/pdg/cfg.py +199 -0
package/src/devcouncil/indexing/graph/pdg/query.py +21 -0
package/src/devcouncil/indexing/graph/pdg/reaching_def.py +126 -0
package/src/devcouncil/indexing/graph/pdg/schema.py +253 -0
package/src/devcouncil/indexing/graph/pdg/taint.py +154 -0
package/src/devcouncil/indexing/graph/query.py +302 -0
package/src/devcouncil/indexing/graph/resolve.py +1020 -0
package/src/devcouncil/indexing/graph/schema.py +103 -0
package/src/devcouncil/indexing/graph_index.py +20 -29
package/src/devcouncil/indexing/lsp.py +57 -25
package/src/devcouncil/indexing/lsp_client.py +577 -0
package/src/devcouncil/indexing/map_artifacts.py +355 -0
package/src/devcouncil/indexing/map_refresh.py +141 -0
package/src/devcouncil/indexing/repo_mapper.py +1509 -138
package/src/devcouncil/indexing/semantic_index.py +12 -6
package/src/devcouncil/indexing/subsystem_map.py +163 -0
package/src/devcouncil/indexing/ts_imports.py +343 -0
package/src/devcouncil/indexing/viz.py +964 -0
package/src/devcouncil/indexing/walk.py +52 -0
package/src/devcouncil/indexing/wiring.py +1776 -0
package/src/devcouncil/integrations/actions.py +27 -4
package/src/devcouncil/integrations/check.py +211 -16
package/src/devcouncil/integrations/claude_assets.py +209 -12
package/src/devcouncil/integrations/clients/__init__.py +1 -0
package/src/devcouncil/integrations/clients/aider.py +52 -0
package/src/devcouncil/integrations/clients/antigravity.py +87 -0
package/src/devcouncil/integrations/clients/claude.py +339 -0
package/src/devcouncil/integrations/clients/codex.py +39 -0
package/src/devcouncil/integrations/clients/common.py +332 -0
package/src/devcouncil/integrations/clients/cursor.py +164 -0
package/src/devcouncil/integrations/clients/gemini.py +49 -0
package/src/devcouncil/integrations/clients/grok.py +105 -0
package/src/devcouncil/integrations/clients/hooks.py +500 -0
package/src/devcouncil/integrations/clients/opencode.py +96 -0
package/src/devcouncil/integrations/clients/warp.py +75 -0
package/src/devcouncil/integrations/code_review_graph.py +2 -2
package/src/devcouncil/integrations/github.py +73 -7
package/src/devcouncil/integrations/integration_cli.py +197 -0
package/src/devcouncil/integrations/mcp/handlers/__init__.py +1 -0
package/src/devcouncil/integrations/mcp/handlers/ast_lsp.py +77 -0
package/src/devcouncil/integrations/mcp/handlers/checkout.py +50 -0
package/src/devcouncil/integrations/mcp/handlers/cli_gate.py +43 -0
package/src/devcouncil/integrations/mcp/handlers/codeintel.py +182 -0
package/src/devcouncil/integrations/mcp/handlers/debug.py +236 -0
package/src/devcouncil/integrations/mcp/handlers/evidence.py +70 -0
package/src/devcouncil/integrations/mcp/handlers/git.py +281 -0
package/src/devcouncil/integrations/mcp/handlers/graph.py +34 -0
package/src/devcouncil/integrations/mcp/handlers/handoff.py +53 -0
package/src/devcouncil/integrations/mcp/handlers/knowledge.py +28 -0
package/src/devcouncil/integrations/mcp/handlers/lease.py +70 -0
package/src/devcouncil/integrations/mcp/handlers/live.py +108 -0
package/src/devcouncil/integrations/mcp/handlers/map.py +676 -0
package/src/devcouncil/integrations/mcp/handlers/next_task.py +35 -0
package/src/devcouncil/integrations/mcp/handlers/policy.py +80 -0
package/src/devcouncil/integrations/mcp/handlers/prompts.py +168 -0
package/src/devcouncil/integrations/mcp/handlers/provenance.py +87 -0
package/src/devcouncil/integrations/mcp/handlers/read.py +103 -0
package/src/devcouncil/integrations/mcp/handlers/router_cache.py +53 -0
package/src/devcouncil/integrations/mcp/handlers/run.py +53 -0
package/src/devcouncil/integrations/mcp/handlers/runs.py +69 -0
package/src/devcouncil/integrations/mcp/handlers/scope.py +56 -0
package/src/devcouncil/integrations/mcp/handlers/status.py +199 -0
package/src/devcouncil/integrations/mcp/handlers/task.py +88 -0
package/src/devcouncil/integrations/mcp/handlers/tool_specs.py +922 -0
package/src/devcouncil/integrations/mcp/handlers/trace.py +65 -0
package/src/devcouncil/integrations/mcp/handlers/verify.py +45 -0
package/src/devcouncil/integrations/mcp/handlers/wiki.py +53 -0
package/src/devcouncil/integrations/mcp/handlers/write.py +69 -0
package/src/devcouncil/integrations/mcp/server.py +265 -2391
package/src/devcouncil/integrations/mcp/util.py +325 -0
package/src/devcouncil/integrations/setup.py +152 -0
package/src/devcouncil/knowledge/fetch.py +4 -0
package/src/devcouncil/knowledge/knowledge_select.py +38 -0
package/src/devcouncil/knowledge/okf.py +2 -1
package/src/devcouncil/knowledge/resource_discovery.py +40 -0
package/src/devcouncil/knowledge/wiki.py +643 -0
package/src/devcouncil/knowledge/wiki_read.py +87 -0
package/src/devcouncil/live/cards.py +7 -7
package/src/devcouncil/live/models.py +4 -1
package/src/devcouncil/live/reviewer.py +90 -11
package/src/devcouncil/live/signals.py +4 -2
package/src/devcouncil/live/summary.py +21 -3
package/src/devcouncil/live/tasks.py +12 -3
package/src/devcouncil/live/transcripts.py +69 -2
package/src/devcouncil/llm/cache.py +5 -6
package/src/devcouncil/llm/model_defaults.yaml +10 -10
package/src/devcouncil/llm/provider.py +647 -73
package/src/devcouncil/llm/router.py +271 -46
package/src/devcouncil/llm/semantic_bridge.py +614 -0
package/src/devcouncil/optimization/gepa_agent.py +6 -4
package/src/devcouncil/optimization/skillopt.py +9 -5
package/src/devcouncil/planning/arbiter_service.py +12 -3
package/src/devcouncil/planning/correction_manifest.py +107 -10
package/src/devcouncil/planning/plan_difficulty.py +69 -0
package/src/devcouncil/planning/plan_service.py +5 -2
package/src/devcouncil/planning/planned_files_reconcile.py +191 -0
package/src/devcouncil/planning/prompt_enhancer_service.py +6 -5
package/src/devcouncil/planning/question_conversion.py +56 -0
package/src/devcouncil/planning/spec_service.py +9 -3
package/src/devcouncil/repo/ci_scaffold.py +197 -1
package/src/devcouncil/repo/gitignore.py +1 -2
package/src/devcouncil/reporting/evidence_export.py +124 -0
package/src/devcouncil/reporting/evidence_html.py +210 -0
package/src/devcouncil/reporting/json_report.py +16 -12
package/src/devcouncil/reporting/markdown_report.py +38 -9
package/src/devcouncil/reporting/mcp_resources.py +142 -0
package/src/devcouncil/reporting/report_builder.py +40 -4
package/src/devcouncil/reporting/task_provenance.py +42 -0
package/src/devcouncil/reporting/verdict.py +75 -0
package/src/devcouncil/skills/library/README.md +1 -0
package/src/devcouncil/skills/library/devcouncil-hero-loop.md +109 -0
package/src/devcouncil/skills/library/devcouncil-verification.md +109 -0
package/src/devcouncil/skills/library/devcouncil.md +93 -0
package/src/devcouncil/skills/registry.py +43 -12
package/src/devcouncil/storage/db.py +57 -11
package/src/devcouncil/storage/models.py +6 -0
package/src/devcouncil/storage/native.py +5 -3
package/src/devcouncil/storage/repositories.py +50 -18
package/src/devcouncil/telemetry/context.py +28 -0
package/src/devcouncil/telemetry/cost.py +4 -5
package/src/devcouncil/telemetry/logging_setup.py +78 -11
package/src/devcouncil/telemetry/model_pricing.yaml +7 -0
package/src/devcouncil/telemetry/stages.py +27 -2
package/src/devcouncil/telemetry/tracker.py +50 -13
package/src/devcouncil/ui/dashboard.py +120 -8
package/src/devcouncil/utils/fsio.py +58 -0
package/src/devcouncil/utils/git_snapshot.py +112 -0
package/src/devcouncil/utils/json_persist.py +53 -0
package/src/devcouncil/utils/proc.py +89 -0
package/src/devcouncil/verification/acceptance_compiler.py +36 -13
package/src/devcouncil/verification/ad_hoc_check.py +95 -3
package/src/devcouncil/verification/checks/__init__.py +41 -0
package/src/devcouncil/verification/checks/acceptance.py +39 -0
package/src/devcouncil/verification/checks/acceptance_corpus.py +194 -0
package/src/devcouncil/verification/checks/acceptance_evidence.py +239 -0
package/src/devcouncil/verification/checks/command_evidence.py +148 -0
package/src/devcouncil/verification/checks/compiled_acceptance.py +179 -0
package/src/devcouncil/verification/checks/corpus_stale.py +124 -0
package/src/devcouncil/verification/checks/corpus_verification.py +9 -0
package/src/devcouncil/verification/checks/dead_symbols.py +360 -0
package/src/devcouncil/verification/checks/diff_coverage_gate.py +101 -0
package/src/devcouncil/verification/checks/doc_code_ref.py +79 -0
package/src/devcouncil/verification/checks/liveness_ratchet.py +336 -0
package/src/devcouncil/verification/checks/orphan_diff.py +104 -0
package/src/devcouncil/verification/checks/planned_files.py +98 -0
package/src/devcouncil/verification/checks/semantic_diff.py +241 -0
package/src/devcouncil/verification/checks/stale_map.py +80 -0
package/src/devcouncil/verification/checks/stub_scan.py +71 -0
package/src/devcouncil/verification/checks/subsystem_boundary.py +103 -0
package/src/devcouncil/verification/checks/wiring.py +216 -0
package/src/devcouncil/verification/claims/__init__.py +23 -0
package/src/devcouncil/verification/claims/checks.py +395 -0
package/src/devcouncil/verification/claims/mapper.py +168 -0
package/src/devcouncil/verification/claims/models.py +39 -0
package/src/devcouncil/verification/claims/transcript.py +92 -0
package/src/devcouncil/verification/claims/verdict.py +88 -0
package/src/devcouncil/verification/command_evidence.py +170 -0
package/src/devcouncil/verification/command_malformation.py +147 -0
package/src/devcouncil/verification/command_runner.py +164 -0
package/src/devcouncil/verification/coverage_measurement.py +292 -0
package/src/devcouncil/verification/diff_coverage.py +151 -0
package/src/devcouncil/verification/difficulty.py +296 -0
package/src/devcouncil/verification/effort_heuristics.py +178 -0
package/src/devcouncil/verification/gap_ids.py +63 -0
package/src/devcouncil/verification/gate_cache.py +194 -0
package/src/devcouncil/verification/gate_selector.py +344 -0
package/src/devcouncil/verification/git_diff_fallback.py +272 -0
package/src/devcouncil/verification/implementation_reviewer.py +13 -0
package/src/devcouncil/verification/incremental_check.py +241 -0
package/src/devcouncil/verification/next_actions.py +60 -1
package/src/devcouncil/verification/rigor_analytics.py +130 -0
package/src/devcouncil/verification/sandbox.py +38 -11
package/src/devcouncil/verification/stub_detector.py +369 -0
package/src/devcouncil/verification/test_resolver.py +67 -1
package/src/devcouncil/verification/verifier.py +137 -1666
package/src/devcouncil/verification/verify_orchestration.py +610 -0
package/src/devcouncil/verification/verify_setup.py +176 -0
package/src/devcouncil/verification/wiki_refresh.py +208 -0
package/src/semantic_layer/__init__.py +58 -0
package/src/semantic_layer/benchmark.py +75 -0
package/src/semantic_layer/cache.py +290 -0
package/src/semantic_layer/compressor.py +137 -0
package/src/semantic_layer/config.py +75 -0
package/src/semantic_layer/embeddings.py +69 -0
package/src/semantic_layer/llm_backends.py +99 -0
package/src/semantic_layer/pipeline.py +111 -0
package/src/semantic_layer/router.py +128 -0
package/src/semantic_layer/tuner.py +72 -0
package/uv.lock +973 -9
package/src/devcouncil/artifacts/migrations.py +0 -20
package/src/devcouncil/artifacts/schemas.py +0 -23
package/src/devcouncil/artifacts/serializer.py +0 -21
package/src/devcouncil/integrations/gitnexus.py +0 -70
package/src/devcouncil/integrations/graphify.py +0 -34

package/src/devcouncil/indexing/graph/extract_ts.py ADDED Viewed

@@ -0,0 +1,1205 @@
+"""TS/JS/Go/Rust symbol + call extraction via tree-sitter with regex fallback.
+devcouncil: allow-unwired — package-private; reached only via graph.cache/build.
+"""
+from __future__ import annotations
+import re
+from pathlib import Path
+from typing import List, Optional, Set
+from devcouncil.indexing.graph.extract_python import (
+    ExtractedCall,
+    ExtractedImport,
+    ExtractedSymbol,
+    FileExtraction,
+    extract_rationales,
+    _enclosing_qualname,
+)
+# ---------------------------------------------------------------------------
+# Regex fallbacks
+# ---------------------------------------------------------------------------
+_JS_EXPORT_RE = re.compile(
+    r"(?m)^\s*export\s+(?:default\s+)?(?:async\s+)?"
+    r"(?:function|class|const|let|var)\s+([A-Za-z_][A-Za-z0-9_]*)"
+)
+_JS_FUNCTION_RE = re.compile(
+    r"(?m)^\s*(?:export\s+)?(?:async\s+)?function\s+([A-Za-z_][A-Za-z0-9_]*)\s*\("
+)
+_JS_CLASS_RE = re.compile(
+    r"(?m)^\s*(?:export\s+)?class\s+([A-Za-z_][A-Za-z0-9_]*)"
+)
+_JS_CALL_RE = re.compile(
+    r"\b([A-Za-z_][A-Za-z0-9_]*)\s*\.\s*([A-Za-z_][A-Za-z0-9_]*)\s*\("
+    r"|\b([A-Za-z_][A-Za-z0-9_]*)\s*\("
+)
+_JS_IMPORT_RE = re.compile(
+    r"""(?:import|export)\s[^'"]*?from\s*['"](?P<spec>[^'"]+)['"]"""
+    r"""|(?:require|import)\s*\(\s*['"](?P<spec2>[^'"]+)['"]\s*\)"""
+)
+_JS_WORKER_URL_RE = re.compile(
+    r"""(?:new\s+(?:Worker|SharedWorker)\s*\(\s*)?"""
+    r"""new\s+URL\s*\(\s*['"](?P<spec>[^'"]+)['"]\s*,\s*import\.meta\.url"""
+)
+_JS_BARE_IMPORT_RE = re.compile(r"""^\s*import\s*['"](?P<spec>[^'"]+)['"]""", re.M)
+_JS_EXPORT_LIST_RE = re.compile(
+    r"^\s*export\s*\{([^}]+)\}"
+    r"|^\s*export\s+default\s+(?:async\s+)?(?:function\s+)?([A-Za-z_][A-Za-z0-9_]*)",
+    re.M,
+)
+_JS_RATIONALE_RE = re.compile(
+    r"^\s*(?://|/\*)\s*(NOTE|WHY)\s*:\s*(.+?)(?:\*/)?$"
+    r"|^\s*(?://|/\*).*\b(ADR[- ]?\d+)\b",
+    re.M | re.IGNORECASE,
+)
+_GO_FUNC_RE = re.compile(
+    r"(?m)^func\s+(?:\((?P<recv>[^)]+)\)\s+)?(?P<name>[A-Za-z_][A-Za-z0-9_]*)\s*\("
+)
+_GO_IMPORT_BLOCK_RE = re.compile(r"import\s*\((?P<body>[^)]*)\)", re.DOTALL)
+_GO_IMPORT_SINGLE_RE = re.compile(
+    r"""^\s*import\s+(?:[A-Za-z_.]\w*\s+)?['"](?P<spec>[^'"]+)['"]""", re.M
+)
+_GO_IMPORT_SPEC_RE = re.compile(r"""['"](?P<spec>[^'"]+)['"]""")
+_GO_CALL_RE = re.compile(
+    r"\b([A-Za-z_][A-Za-z0-9_]*)\s*\.\s*([A-Za-z_][A-Za-z0-9_]*)\s*\("
+    r"|\b([A-Za-z_][A-Za-z0-9_]*)\s*\("
+)
+_GO_RECV_TYPE_RE = re.compile(r"\*?\s*([A-Za-z_][A-Za-z0-9_]*)\s*$")
+_RUST_FN_RE = re.compile(
+    r"(?m)^\s*(?:pub(?:\([^)]*\))?\s+)?(?:async\s+)?fn\s+([A-Za-z_][A-Za-z0-9_]*)\s*[<(]"
+)
+_RUST_STRUCT_RE = re.compile(r"(?m)^\s*(?:pub(?:\([^)]*\))?\s+)?struct\s+([A-Za-z_][A-Za-z0-9_]*)")
+_RUST_ENUM_RE = re.compile(r"(?m)^\s*(?:pub(?:\([^)]*\))?\s+)?enum\s+([A-Za-z_][A-Za-z0-9_]*)")
+_RUST_TRAIT_RE = re.compile(r"(?m)^\s*(?:pub(?:\([^)]*\))?\s+)?trait\s+([A-Za-z_][A-Za-z0-9_]*)")
+_RUST_USE_RE = re.compile(r"(?m)^\s*(?:pub\s+)?use\s+([^;]+);")
+_RUST_MOD_RE = re.compile(r"(?m)^\s*(?:pub\s+)?mod\s+([A-Za-z_][A-Za-z0-9_]*)\s*;")
+_RUST_CALL_RE = re.compile(
+    r"\b([A-Za-z_][A-Za-z0-9_]*)\s*::\s*([A-Za-z_][A-Za-z0-9_]*)\s*\("
+    r"|\b([A-Za-z_][A-Za-z0-9_]*)\s*\.\s*([A-Za-z_][A-Za-z0-9_]*)\s*\("
+    r"|\b([A-Za-z_][A-Za-z0-9_]*)\s*\("
+)
+_RUST_RATIONALE_RE = re.compile(
+    r"^\s*//[!/]?\s*(NOTE|WHY)\s*:\s*(.+)$"
+    r"|^\s*//[!/]?.*\b(ADR[- ]?\d+)\b",
+    re.M | re.IGNORECASE,
+)
+_JS_SUFFIXES = {".ts", ".tsx", ".js", ".jsx", ".mjs", ".cjs"}
+_JS_CALL_SKIP = {
+    "if", "for", "while", "switch", "catch", "function", "return", "await", "new",
+    "typeof", "instanceof", "void", "delete", "yield", "import", "super",
+}
+# JSX/TSX component tags used as references (keeps components live without call edges).
+# Member form (``<Foo.Bar``) must win over bare PascalCase so ``Nested`` is not
+# captured alone when ``Nested.Thing`` is written.
+_JSX_TAG_RE = re.compile(
+    r"<(?:"
+    r"([A-Za-z_][A-Za-z0-9_]*)\s*\.\s*([A-Za-z_][A-Za-z0-9_]*)"
+    r"|([A-Z][A-Za-z0-9_]*)"
+    r")\b"
+)
+_GO_CALL_SKIP = {
+    "if", "for", "switch", "return", "go", "defer", "func", "make", "new",
+    "len", "cap", "append", "copy", "delete", "panic", "recover", "range",
+}
+_RUST_CALL_SKIP = {
+    "if", "for", "while", "loop", "match", "return", "unsafe", "async", "await",
+    "box", "move", "ref", "mut", "self", "Self", "super", "crate",
+}
+def _js_import_specs(source: str) -> List[str]:
+    specs: List[str] = []
+    for m in _JS_IMPORT_RE.finditer(source):
+        spec = m.group("spec") or m.group("spec2")
+        if spec:
+            specs.append(spec)
+    for m in _JS_WORKER_URL_RE.finditer(source):
+        spec = m.group("spec")
+        if spec:
+            specs.append(spec)
+    for m in _JS_BARE_IMPORT_RE.finditer(source):
+        specs.append(m.group("spec"))
+    return specs
+def _go_import_specs_regex(source: str) -> List[str]:
+    specs: List[str] = []
+    for m in _GO_IMPORT_BLOCK_RE.finditer(source):
+        specs.extend(_GO_IMPORT_SPEC_RE.findall(m.group("body")))
+    for m in _GO_IMPORT_SINGLE_RE.finditer(source):
+        specs.append(m.group("spec"))
+    return specs
+def _line_span(node) -> tuple[int, int]:
+    return int(node.start_point[0]) + 1, int(node.end_point[0]) + 1
+def _node_text(node, source: bytes) -> str:
+    return source[node.start_byte : node.end_byte].decode("utf-8", errors="replace")
+def _first_child(node, types: Set[str]):
+    for c in node.children:
+        if c.type in types:
+            return c
+    return None
+def _first_named_text(node, source: bytes, types: Set[str]) -> str:
+    c = _first_child(node, types)
+    return _node_text(c, source) if c is not None else ""
+def _walk(node):
+    yield node
+    for child in node.children:
+        yield from _walk(child)
+def _parse_lang(language: str, source: str):
+    try:
+        from tree_sitter_language_pack import get_parser
+    except Exception:
+        return None, b""
+    try:
+        parser = get_parser(language)
+        raw = source.encode("utf-8")
+        return parser.parse(raw), raw
+    except Exception:
+        return None, b""
+# ---------------------------------------------------------------------------
+# JS / TS regex fallback
+# ---------------------------------------------------------------------------
+def _js_export_names_regex(source: str) -> Set[str]:
+    names: Set[str] = set()
+    for m in _JS_EXPORT_RE.finditer(source):
+        names.add(m.group(1))
+    for m in _JS_EXPORT_LIST_RE.finditer(source):
+        if m.group(1):
+            for part in m.group(1).split(","):
+                part = part.strip()
+                if not part:
+                    continue
+                bits = re.split(r"\s+as\s+", part, flags=re.I)
+                local = bits[0].strip()
+                if local and local != "default" and re.match(r"^[A-Za-z_]", local):
+                    names.add(local)
+        if m.group(2):
+            names.add(m.group(2))
+    return names
+def _extract_js_rationales(source: str, symbols: List[ExtractedSymbol]) -> List[ExtractedSymbol]:
+    out: List[ExtractedSymbol] = []
+    for m in _JS_RATIONALE_RE.finditer(source):
+        line = source[: m.start()].count("\n") + 1
+        if m.group(1):
+            tag = m.group(1).upper()
+            text = (m.group(2) or "").strip().rstrip("*/").strip()
+            name = f"{tag}: {text}" if text else tag
+        else:
+            adr = (m.group(3) or "").strip()
+            name = f"ADR: {adr}"
+        enclosing = _enclosing_qualname(symbols, line)
+        out.append(
+            ExtractedSymbol(
+                kind="rationale",
+                name=name[:120],
+                qualname=f"$rationale:{line}",
+                line=line,
+                end_line=line,
+                bases=[enclosing] if enclosing else [],
+            )
+        )
+    return out
+def _jsx_component_refs(source: str) -> List[str]:
+    """Bare component names from JSX/TSX tags (``<Foo />``, ``<Foo.Bar />``)."""
+    names: List[str] = []
+    seen: Set[str] = set()
+    for m in _JSX_TAG_RE.finditer(source):
+        # Member form: groups 1/2; bare PascalCase: group 3.
+        candidates = [m.group(2), m.group(1), m.group(3)]
+        for name in candidates:
+            if not name or name in seen:
+                continue
+            # Prefer component-like identifiers (PascalCase or trailing member).
+            if name[0].isupper() or name is m.group(2):
+                seen.add(name)
+                names.append(name)
+    return names
+def _extract_js_regex(path: str, source: str) -> FileExtraction:
+    lang = "typescript" if path.endswith((".ts", ".tsx")) else "javascript"
+    out = FileExtraction(path=path, language=lang, imports=_js_import_specs(source))
+    exported_names = _js_export_names_regex(source)
+    seen: set[str] = set()
+    for m in _JS_EXPORT_RE.finditer(source):
+        name = m.group(1)
+        if name in seen:
+            continue
+        seen.add(name)
+        line = source[: m.start()].count("\n") + 1
+        kind = "class" if "class" in m.group(0) else "function"
+        out.symbols.append(
+            ExtractedSymbol(
+                kind=kind,
+                name=name,
+                qualname=name,
+                line=line,
+                end_line=line,
+                exported=True,
+            )
+        )
+    for m in _JS_FUNCTION_RE.finditer(source):
+        name = m.group(1)
+        if name in seen:
+            continue
+        seen.add(name)
+        line = source[: m.start()].count("\n") + 1
+        out.symbols.append(
+            ExtractedSymbol(
+                kind="function",
+                name=name,
+                qualname=name,
+                line=line,
+                end_line=line,
+                exported=name in exported_names,
+            )
+        )
+    for m in _JS_CLASS_RE.finditer(source):
+        name = m.group(1)
+        if name in seen:
+            continue
+        seen.add(name)
+        line = source[: m.start()].count("\n") + 1
+        out.symbols.append(
+            ExtractedSymbol(
+                kind="class",
+                name=name,
+                qualname=name,
+                line=line,
+                end_line=line,
+                exported=name in exported_names,
+            )
+        )
+    for m in _JS_CALL_RE.finditer(source):
+        if m.group(1) and m.group(2):
+            out.calls.append(
+                ExtractedCall(
+                    name=m.group(2),
+                    line=source[: m.start()].count("\n") + 1,
+                    receiver=m.group(1),
+                    qualname_hint=f"{m.group(1)}.{m.group(2)}",
+                )
+            )
+        elif m.group(3):
+            name = m.group(3)
+            if name in _JS_CALL_SKIP:
+                continue
+            out.calls.append(
+                ExtractedCall(
+                    name=name,
+                    line=source[: m.start()].count("\n") + 1,
+                    qualname_hint=name,
+                )
+            )
+    # Mark export-list names
+    for sym in out.symbols:
+        if sym.name in exported_names:
+            sym.exported = True
+    out.all_exports = sorted(exported_names)
+    out.references = _jsx_component_refs(source)
+    out.symbols.extend(_extract_js_rationales(source, out.symbols))
+    return out
+# ---------------------------------------------------------------------------
+# JS / TS tree-sitter
+# ---------------------------------------------------------------------------
+def _js_heritage(node, source: bytes) -> tuple[List[str], List[str]]:
+    bases: List[str] = []
+    implements: List[str] = []
+    heritage = _first_child(node, {"class_heritage"})
+    if heritage is None:
+        return bases, implements
+    for clause in heritage.children:
+        if clause.type == "extends_clause":
+            for c in clause.children:
+                if c.type in {"identifier", "type_identifier", "member_expression"}:
+                    bases.append(_node_text(c, source))
+        elif clause.type == "implements_clause":
+            for c in clause.children:
+                if c.type in {"identifier", "type_identifier", "generic_type"}:
+                    text = _node_text(c, source)
+                    # strip type args: Foo<T> → Foo
+                    implements.append(text.split("<", 1)[0].strip())
+    return bases, implements
+def _collect_js_exports(root, source: bytes) -> tuple[Set[str], List[str], List[ExtractedImport]]:
+    """Return (exported local names, import specs, import details / reexports)."""
+    exported: Set[str] = set()
+    specs: List[str] = []
+    details: List[ExtractedImport] = []
+    reexports: List[str] = []
+    for node in root.children:
+        t = node.type
+        if t == "import_statement":
+            detail = ExtractedImport(module="")
+            for c in _walk(node):
+                if c.type == "string":
+                    spec = _node_text(c, source).strip("'\"")
+                    if spec:
+                        specs.append(spec)
+                        detail.module = spec
+                elif c.type == "import_specifier":
+                    ids = [x for x in c.children if x.type == "identifier"]
+                    if ids:
+                        local = _node_text(ids[-1], source)
+                        remote = _node_text(ids[0], source)
+                        detail.names.append(remote)
+                        detail.alias_map[local] = remote
+                elif c.type == "identifier" and c.parent is not None and c.parent.type == "import_clause":
+                    name = _node_text(c, source)
+                    detail.names.append(name)
+                    detail.alias_map[name] = "default"
+            if detail.module or detail.names:
+                details.append(detail)
+        elif t == "export_statement":
+            # export { X } / export { X } from '...' / export default ...
+            has_from = any(c.type == "string" for c in node.children)
+            from_spec = ""
+            stmt_reexports: List[str] = []  # names re-exported by THIS statement
+            for c in node.children:
+                if c.type == "string":
+                    from_spec = _node_text(c, source).strip("'\"")
+                    if from_spec:
+                        specs.append(from_spec)
+            for c in node.children:
+                if c.type == "export_clause":
+                    for spec in c.children:
+                        if spec.type != "export_specifier":
+                            continue
+                        ids = [x for x in spec.children if x.type == "identifier"]
+                        if not ids:
+                            continue
+                        local = _node_text(ids[0], source)
+                        exported.add(local)
+                        if has_from:
+                            reexports.append(local)
+                            stmt_reexports.append(local)
+                elif c.type in {
+                    "function_declaration",
+                    "class_declaration",
+                    "interface_declaration",
+                    "type_alias_declaration",
+                    "lexical_declaration",
+                    "variable_declaration",
+                }:
+                    name = _first_named_text(
+                        c, source, {"identifier", "type_identifier", "property_identifier"}
+                    )
+                    if c.type == "lexical_declaration":
+                        for vd in c.children:
+                            if vd.type == "variable_declarator":
+                                name = _first_named_text(vd, source, {"identifier"}) or name
+                    if name:
+                        exported.add(name)
+                elif c.type == "identifier" and any(x.type == "default" for x in node.children):
+                    exported.add(_node_text(c, source))
+            if has_from and from_spec:
+                # Only names from THIS statement (the old accumulated-list slice
+                # cross-contaminated re-export names across statements).
+                details.append(
+                    ExtractedImport(module=from_spec, names=stmt_reexports)
+                )
+    # Fix reexport details: rebuild from export-from statements cleanly
+    details = [d for d in details if d.module or d.names]
+    return exported, specs, details
+def _extract_js_calls(root, source: bytes) -> List[ExtractedCall]:
+    calls: List[ExtractedCall] = []
+    for node in _walk(root):
+        if node.type != "call_expression":
+            continue
+        func = node.child_by_field_name("function") if hasattr(node, "child_by_field_name") else None
+        if func is None and node.children:
+            func = node.children[0]
+        if func is None:
+            continue
+        line = int(node.start_point[0]) + 1
+        if func.type == "identifier":
+            name = _node_text(func, source)
+            if name in _JS_CALL_SKIP:
+                continue
+            calls.append(ExtractedCall(name=name, line=line, qualname_hint=name))
+        elif func.type == "member_expression":
+            prop = _first_child(func, {"property_identifier"}) or _first_child(
+                func, {"identifier"}
+            )
+            if prop is None:
+                continue
+            name = _node_text(prop, source)
+            obj = func.children[0] if func.children else None
+            receiver = ""
+            if obj is not None and obj.type in {"identifier", "this", "super"}:
+                receiver = _node_text(obj, source)
+            elif obj is not None:
+                receiver = _node_text(obj, source).split(".")[-1]
+            hint = f"{receiver}.{name}" if receiver else name
+            calls.append(
+                ExtractedCall(name=name, line=line, receiver=receiver, qualname_hint=hint)
+            )
+    return calls
+def _extract_js_tree_sitter(path: str, source: str) -> Optional[FileExtraction]:
+    from devcouncil.indexing.ts_imports import language_for_suffix
+    suffix = Path(path).suffix.lower()
+    lang_key = language_for_suffix(suffix)
+    if not lang_key:
+        return None
+    tree, raw = _parse_lang(lang_key, source)
+    if tree is None and lang_key == "typescript":
+        tree, raw = _parse_lang("tsx", source)
+    if tree is None:
+        return None
+    lang = "typescript" if suffix in {".ts", ".tsx"} else "javascript"
+    out = FileExtraction(path=path, language=lang)
+    root = tree.root_node
+    exported, specs, details = _collect_js_exports(root, raw)
+    # Also pick up require/import() via regex
+    for spec in _js_import_specs(source):
+        if spec not in specs:
+            specs.append(spec)
+    out.imports = specs
+    out.import_details = details
+    out.all_exports = sorted(exported)
+    out.reexports = []
+    # Re-scan export-from for reexports list
+    for node in root.children:
+        if node.type != "export_statement":
+            continue
+        if not any(c.type == "string" for c in node.children):
+            continue
+        for c in node.children:
+            if c.type != "export_clause":
+                continue
+            for spec in c.children:
+                if spec.type != "export_specifier":
+                    continue
+                ids = [x for x in spec.children if x.type == "identifier"]
+                if ids:
+                    out.reexports.append(_node_text(ids[0], raw))
+    seen_qual: Set[str] = set()
+    def add_sym(
+        kind: str,
+        name: str,
+        qualname: str,
+        node,
+        *,
+        bases: Optional[List[str]] = None,
+        implements: Optional[List[str]] = None,
+        force_exported: Optional[bool] = None,
+    ) -> None:
+        if not name or qualname in seen_qual:
+            return
+        seen_qual.add(qualname)
+        start, end = _line_span(node)
+        if force_exported is not None:
+            exp = force_exported
+        else:
+            exp = name in exported
+        out.symbols.append(
+            ExtractedSymbol(
+                kind=kind,
+                name=name,
+                qualname=qualname,
+                line=start,
+                end_line=end,
+                bases=bases or [],
+                implements=implements or [],
+                exported=exp,
+            )
+        )
+    def walk_decl(node, under_export: bool = False) -> None:
+        t = node.type
+        if t == "export_statement":
+            for c in node.children:
+                walk_decl(c, under_export=True)
+            return
+        if t == "function_declaration":
+            name = _first_named_text(node, raw, {"identifier"})
+            add_sym("function", name, name, node, force_exported=True if under_export else None)
+            return
+        if t == "class_declaration":
+            name = _first_named_text(node, raw, {"type_identifier", "identifier"})
+            bases, implements = _js_heritage(node, raw)
+            add_sym(
+                "class",
+                name,
+                name,
+                node,
+                bases=bases,
+                implements=implements,
+                force_exported=True if under_export else None,
+            )
+            body = _first_child(node, {"class_body"})
+            if body is not None and name:
+                for child in body.children:
+                    if child.type != "method_definition":
+                        continue
+                    # skip constructors as methods with name constructor still recorded
+                    mname = _first_named_text(
+                        child, raw, {"property_identifier", "identifier"}
+                    )
+                    if not mname:
+                        continue
+                    add_sym("method", mname, f"{name}.{mname}", child, force_exported=False)
+            return
+        if t == "interface_declaration":
+            name = _first_named_text(node, raw, {"type_identifier", "identifier"})
+            bases, _impl = _js_heritage(node, raw)
+            # interfaces use extends_type_clause sometimes
+            for c in node.children:
+                if c.type in {"extends_type_clause", "extends_clause"}:
+                    for gc in c.children:
+                        if gc.type in {"identifier", "type_identifier"}:
+                            bases.append(_node_text(gc, raw))
+            add_sym(
+                "interface",
+                name,
+                name,
+                node,
+                bases=bases,
+                force_exported=True if under_export else None,
+            )
+            return
+        if t == "type_alias_declaration":
+            name = _first_named_text(node, raw, {"type_identifier", "identifier"})
+            add_sym(
+                "type",
+                name,
+                name,
+                node,
+                force_exported=True if under_export else None,
+            )
+            return
+        if t in {"lexical_declaration", "variable_declaration"}:
+            for c in node.children:
+                if c.type != "variable_declarator":
+                    continue
+                name = _first_named_text(c, raw, {"identifier"})
+                if not name:
+                    continue
+                # Only count if value looks like a function/arrow, or is exported
+                val = None
+                for gc in c.children:
+                    if gc.type not in {"identifier", "=", "type_annotation"}:
+                        val = gc
+                        break
+                is_fn = val is not None and val.type in {
+                    "arrow_function",
+                    "function",
+                    "function_expression",
+                }
+                if is_fn or under_export or name in exported:
+                    add_sym(
+                        "function",
+                        name,
+                        name,
+                        c,
+                        force_exported=True if under_export or name in exported else False,
+                    )
+            return
+    for child in root.children:
+        walk_decl(child)
+    # Mark any remaining exported names that were only listed via export { X }
+    by_name = {s.name: s for s in out.symbols if s.kind != "rationale"}
+    for name in exported:
+        if name in by_name:
+            by_name[name].exported = True
+    out.calls = _extract_js_calls(root, raw)
+    # JSX component tags as non-call references (regex covers TSX even when
+    # tree-sitter language was plain typescript).
+    refs = set(_jsx_component_refs(source))
+    for node in _walk(root):
+        if node.type not in {"jsx_opening_element", "jsx_self_closing_element"}:
+            continue
+        name_node = node.child_by_field_name("name") if hasattr(node, "child_by_field_name") else None
+        if name_node is None:
+            for c in node.children:
+                if c.type in {
+                    "identifier",
+                    "jsx_identifier",
+                    "nested_identifier",
+                    "member_expression",
+                }:
+                    name_node = c
+                    break
+        if name_node is None:
+            continue
+        text = _node_text(name_node, raw)
+        if "." in text:
+            text = text.rsplit(".", 1)[-1]
+        if text and text[0].isupper():
+            refs.add(text)
+    out.references = sorted(refs)
+    out.symbols.extend(_extract_js_rationales(source, out.symbols))
+    return out
+# ---------------------------------------------------------------------------
+# Go
+# ---------------------------------------------------------------------------
+def _go_receiver_type(recv_list, source: bytes) -> str:
+    """Extract type name from method receiver parameter_list."""
+    if recv_list is None:
+        return ""
+    for c in recv_list.children:
+        if c.type != "parameter_declaration":
+            continue
+        for gc in c.children:
+            if gc.type == "type_identifier":
+                return _node_text(gc, source)
+            if gc.type == "pointer_type":
+                tid = _first_child(gc, {"type_identifier"})
+                if tid is not None:
+                    return _node_text(tid, source)
+                return _node_text(gc, source).lstrip("*").strip()
+    return ""
+def _extract_go_tree_sitter(path: str, source: str) -> Optional[FileExtraction]:
+    tree, raw = _parse_lang("go", source)
+    if tree is None:
+        return None
+    out = FileExtraction(path=path, language="go")
+    try:
+        from devcouncil.indexing.ts_imports import extract_go_import_specs
+        specs = extract_go_import_specs(source)
+        if specs is not None:
+            out.imports = specs
+        else:
+            out.imports = _go_import_specs_regex(source)
+    except Exception:
+        out.imports = _go_import_specs_regex(source)
+    for node in _walk(tree.root_node):
+        if node.type == "function_declaration":
+            name = _first_named_text(node, raw, {"identifier"})
+            if not name:
+                continue
+            start, end = _line_span(node)
+            out.symbols.append(
+                ExtractedSymbol(
+                    kind="function",
+                    name=name,
+                    qualname=name,
+                    line=start,
+                    end_line=end,
+                    exported=name[:1].isupper(),
+                )
+            )
+        elif node.type == "method_declaration":
+            name = _first_named_text(node, raw, {"field_identifier"})
+            if not name:
+                continue
+            # First parameter_list is the receiver
+            recv_type = ""
+            for c in node.children:
+                if c.type == "parameter_list":
+                    recv_type = _go_receiver_type(c, raw)
+                    break
+            qual = f"{recv_type}.{name}" if recv_type else name
+            start, end = _line_span(node)
+            out.symbols.append(
+                ExtractedSymbol(
+                    kind="method",
+                    name=name,
+                    qualname=qual,
+                    line=start,
+                    end_line=end,
+                    exported=name[:1].isupper(),
+                )
+            )
+        elif node.type == "type_spec":
+            name = _first_named_text(node, raw, {"type_identifier", "identifier"})
+            if not name:
+                continue
+            kind = "type"
+            for c in node.children:
+                if c.type == "struct_type":
+                    kind = "struct"
+                elif c.type == "interface_type":
+                    kind = "interface"
+            start, end = _line_span(node)
+            out.symbols.append(
+                ExtractedSymbol(
+                    kind=kind,
+                    name=name,
+                    qualname=name,
+                    line=start,
+                    end_line=end,
+                    exported=name[:1].isupper(),
+                )
+            )
+        elif node.type == "call_expression":
+            func = node.children[0] if node.children else None
+            if func is None:
+                continue
+            line = int(node.start_point[0]) + 1
+            if func.type == "identifier":
+                name = _node_text(func, raw)
+                if name in _GO_CALL_SKIP:
+                    continue
+                out.calls.append(ExtractedCall(name=name, line=line, qualname_hint=name))
+            elif func.type == "selector_expression":
+                field = _first_child(func, {"field_identifier"})
+                if field is None:
+                    continue
+                name = _node_text(field, raw)
+                recv_node = func.children[0] if func.children else None
+                receiver = _node_text(recv_node, raw) if recv_node else ""
+                out.calls.append(
+                    ExtractedCall(
+                        name=name,
+                        line=line,
+                        receiver=receiver,
+                        qualname_hint=f"{receiver}.{name}" if receiver else name,
+                    )
+                )
+    out.symbols.extend(extract_rationales(source, out.symbols))  # # style rare in Go
+    return out
+def _extract_go_regex(path: str, source: str) -> FileExtraction:
+    out = FileExtraction(path=path, language="go", imports=_go_import_specs_regex(source))
+    try:
+        from devcouncil.indexing.ts_imports import extract_go_import_specs
+        ts_specs = extract_go_import_specs(source)
+        if ts_specs is not None:
+            out.imports = ts_specs
+    except Exception:
+        pass
+    for m in _GO_FUNC_RE.finditer(source):
+        name = m.group("name")
+        recv = (m.group("recv") or "").strip()
+        line = source[: m.start()].count("\n") + 1
+        if recv:
+            rt = _GO_RECV_TYPE_RE.search(recv)
+            rtype = rt.group(1) if rt else ""
+            qual = f"{rtype}.{name}" if rtype else name
+            out.symbols.append(
+                ExtractedSymbol(
+                    kind="method",
+                    name=name,
+                    qualname=qual,
+                    line=line,
+                    end_line=line,
+                    exported=name[:1].isupper() if name else False,
+                )
+            )
+        else:
+            out.symbols.append(
+                ExtractedSymbol(
+                    kind="function",
+                    name=name,
+                    qualname=name,
+                    line=line,
+                    end_line=line,
+                    exported=name[:1].isupper() if name else False,
+                )
+            )
+    for m in _GO_CALL_RE.finditer(source):
+        if m.group(1) and m.group(2):
+            out.calls.append(
+                ExtractedCall(
+                    name=m.group(2),
+                    line=source[: m.start()].count("\n") + 1,
+                    receiver=m.group(1),
+                    qualname_hint=f"{m.group(1)}.{m.group(2)}",
+                )
+            )
+        elif m.group(3):
+            name = m.group(3)
+            if name in _GO_CALL_SKIP:
+                continue
+            out.calls.append(
+                ExtractedCall(
+                    name=name,
+                    line=source[: m.start()].count("\n") + 1,
+                    qualname_hint=name,
+                )
+            )
+    return out
+# ---------------------------------------------------------------------------
+# Rust
+# ---------------------------------------------------------------------------
+def _extract_rust_rationales(source: str, symbols: List[ExtractedSymbol]) -> List[ExtractedSymbol]:
+    out: List[ExtractedSymbol] = []
+    for m in _RUST_RATIONALE_RE.finditer(source):
+        line = source[: m.start()].count("\n") + 1
+        if m.group(1):
+            tag = m.group(1).upper()
+            text = (m.group(2) or "").strip()
+            name = f"{tag}: {text}" if text else tag
+        else:
+            name = f"ADR: {(m.group(3) or '').strip()}"
+        enclosing = _enclosing_qualname(symbols, line)
+        out.append(
+            ExtractedSymbol(
+                kind="rationale",
+                name=name[:120],
+                qualname=f"$rationale:{line}",
+                line=line,
+                end_line=line,
+                bases=[enclosing] if enclosing else [],
+            )
+        )
+    return out
+def _rust_is_pub(node) -> bool:
+    return any(c.type == "visibility_modifier" for c in node.children)
+def _extract_rust_tree_sitter(path: str, source: str) -> Optional[FileExtraction]:
+    tree, raw = _parse_lang("rust", source)
+    if tree is None:
+        return None
+    out = FileExtraction(path=path, language="rust")
+    try:
+        from devcouncil.indexing.ts_imports import extract_rust_import_refs
+        refs = extract_rust_import_refs(source)
+        if refs is not None:
+            for ref in refs:
+                if ref.get("kind") == "mod":
+                    name = ref.get("name") or ""
+                    if name:
+                        out.imports.append(f"mod:{name}")
+                elif ref.get("kind") == "use":
+                    segs = ref.get("segments") or []
+                    if segs:
+                        out.imports.append("::".join(segs))
+                        out.import_details.append(
+                            ExtractedImport(
+                                module="::".join(segs[:-1]) if len(segs) > 1 else "::".join(segs),
+                                names=[segs[-1]] if segs else [],
+                                alias_map={segs[-1]: "::".join(segs)} if segs else {},
+                            )
+                        )
+    except Exception:
+        pass
+    for node in tree.root_node.children:
+        t = node.type
+        if t == "function_item":
+            name = _first_named_text(node, raw, {"identifier"})
+            if not name:
+                continue
+            start, end = _line_span(node)
+            out.symbols.append(
+                ExtractedSymbol(
+                    kind="function",
+                    name=name,
+                    qualname=name,
+                    line=start,
+                    end_line=end,
+                    exported=_rust_is_pub(node),
+                )
+            )
+        elif t in {"struct_item", "enum_item", "trait_item", "type_item"}:
+            kind = {
+                "struct_item": "struct",
+                "enum_item": "enum",
+                "trait_item": "trait",
+                "type_item": "type",
+            }[t]
+            name = _first_named_text(node, raw, {"type_identifier", "identifier"})
+            if not name:
+                continue
+            start, end = _line_span(node)
+            out.symbols.append(
+                ExtractedSymbol(
+                    kind=kind,
+                    name=name,
+                    qualname=name,
+                    line=start,
+                    end_line=end,
+                    exported=_rust_is_pub(node),
+                )
+            )
+            if t == "trait_item":
+                body = _first_child(node, {"declaration_list"})
+                if body is not None:
+                    for child in body.children:
+                        if child.type not in {"function_item", "function_signature_item"}:
+                            continue
+                        mname = _first_named_text(child, raw, {"identifier"})
+                        if not mname:
+                            continue
+                        ms, me = _line_span(child)
+                        out.symbols.append(
+                            ExtractedSymbol(
+                                kind="method",
+                                name=mname,
+                                qualname=f"{name}.{mname}",
+                                line=ms,
+                                end_line=me,
+                                exported=_rust_is_pub(node),
+                            )
+                        )
+        elif t == "impl_item":
+            # impl Type { ... }  or  impl Trait for Type { ... }
+            type_ids = [c for c in node.children if c.type == "type_identifier"]
+            trait_name = ""
+            type_name = ""
+            if any(c.type == "for" for c in node.children):
+                if len(type_ids) >= 2:
+                    trait_name = _node_text(type_ids[0], raw)
+                    type_name = _node_text(type_ids[1], raw)
+                elif len(type_ids) == 1:
+                    type_name = _node_text(type_ids[0], raw)
+            elif type_ids:
+                type_name = _node_text(type_ids[0], raw)
+            if type_name and trait_name:
+                # Record implements on a synthetic note via a type-level symbol update later
+                # Ensure type exists; attach implements list by appending a marker symbol update
+                existing = next((s for s in out.symbols if s.qualname == type_name), None)
+                if existing is not None:
+                    if trait_name not in existing.implements:
+                        existing.implements.append(trait_name)
+                else:
+                    start, end = _line_span(node)
+                    out.symbols.append(
+                        ExtractedSymbol(
+                            kind="struct",
+                            name=type_name,
+                            qualname=type_name,
+                            line=start,
+                            end_line=end,
+                            implements=[trait_name],
+                            exported=False,
+                        )
+                    )
+            body = _first_child(node, {"declaration_list"})
+            if body is not None and type_name:
+                for child in body.children:
+                    if child.type != "function_item":
+                        continue
+                    mname = _first_named_text(child, raw, {"identifier"})
+                    if not mname:
+                        continue
+                    ms, me = _line_span(child)
+                    out.symbols.append(
+                        ExtractedSymbol(
+                            kind="method",
+                            name=mname,
+                            qualname=f"{type_name}.{mname}",
+                            line=ms,
+                            end_line=me,
+                            exported=_rust_is_pub(child),
+                            bases=[trait_name] if trait_name else [],
+                        )
+                    )
+    for node in _walk(tree.root_node):
+        if node.type != "call_expression":
+            continue
+        func = node.children[0] if node.children else None
+        if func is None:
+            continue
+        line = int(node.start_point[0]) + 1
+        if func.type == "identifier":
+            name = _node_text(func, raw)
+            if name in _RUST_CALL_SKIP:
+                continue
+            out.calls.append(ExtractedCall(name=name, line=line, qualname_hint=name))
+        elif func.type == "field_expression":
+            field = _first_child(func, {"field_identifier"}) or _first_child(
+                func, {"identifier"}
+            )
+            if field is None:
+                continue
+            name = _node_text(field, raw)
+            recv = func.children[0] if func.children else None
+            receiver = _node_text(recv, raw) if recv is not None else ""
+            out.calls.append(
+                ExtractedCall(
+                    name=name,
+                    line=line,
+                    receiver=receiver,
+                    qualname_hint=f"{receiver}.{name}" if receiver else name,
+                )
+            )
+        elif func.type in {"scoped_identifier", "scoped_type_identifier"}:
+            # Type::method / path::func
+            name_node = _first_child(func, {"identifier"})
+            # Prefer the rightmost identifier as the called name
+            ids = [c for c in func.children if c.type in {"identifier", "type_identifier"}]
+            if not ids:
+                continue
+            name = _node_text(ids[-1], raw)
+            if name in _RUST_CALL_SKIP:
+                continue
+            receiver = _node_text(ids[-2], raw) if len(ids) >= 2 else ""
+            if not receiver and name_node is not None:
+                name = _node_text(name_node, raw)
+            out.calls.append(
+                ExtractedCall(
+                    name=name,
+                    line=line,
+                    receiver=receiver,
+                    qualname_hint=f"{receiver}.{name}" if receiver else name,
+                )
+            )
+    out.symbols.extend(_extract_rust_rationales(source, out.symbols))
+    return out
+def _extract_rust_regex(path: str, source: str) -> FileExtraction:
+    out = FileExtraction(path=path, language="rust")
+    for m in _RUST_USE_RE.finditer(source):
+        path_s = m.group(1).strip()
+        out.imports.append(path_s.replace(" ", ""))
+    for m in _RUST_MOD_RE.finditer(source):
+        out.imports.append(f"mod:{m.group(1)}")
+    for kind, rx in (
+        ("struct", _RUST_STRUCT_RE),
+        ("enum", _RUST_ENUM_RE),
+        ("trait", _RUST_TRAIT_RE),
+        ("function", _RUST_FN_RE),
+    ):
+        for m in rx.finditer(source):
+            name = m.group(1)
+            line = source[: m.start()].count("\n") + 1
+            exported = "pub" in m.group(0)
+            out.symbols.append(
+                ExtractedSymbol(
+                    kind=kind,
+                    name=name,
+                    qualname=name,
+                    line=line,
+                    end_line=line,
+                    exported=exported,
+                )
+            )
+    for m in _RUST_CALL_RE.finditer(source):
+        if m.group(1) and m.group(2):
+            # Type::method
+            out.calls.append(
+                ExtractedCall(
+                    name=m.group(2),
+                    line=source[: m.start()].count("\n") + 1,
+                    receiver=m.group(1),
+                    qualname_hint=f"{m.group(1)}.{m.group(2)}",
+                )
+            )
+        elif m.group(3) and m.group(4):
+            out.calls.append(
+                ExtractedCall(
+                    name=m.group(4),
+                    line=source[: m.start()].count("\n") + 1,
+                    receiver=m.group(3),
+                    qualname_hint=f"{m.group(3)}.{m.group(4)}",
+                )
+            )
+        elif m.group(5):
+            name = m.group(5)
+            if name in _RUST_CALL_SKIP:
+                continue
+            out.calls.append(
+                ExtractedCall(
+                    name=name,
+                    line=source[: m.start()].count("\n") + 1,
+                    qualname_hint=name,
+                )
+            )
+    out.symbols.extend(_extract_rust_rationales(source, out.symbols))
+    return out
+# ---------------------------------------------------------------------------
+# Public API
+# ---------------------------------------------------------------------------
+def extract_ts_js(path: str, source: str) -> FileExtraction:
+    """Extract from a TS/JS file (tree-sitter when available, else regex)."""
+    ts = _extract_js_tree_sitter(path, source)
+    if ts is not None:
+        return ts
+    return _extract_js_regex(path, source)
+def extract_go(path: str, source: str) -> FileExtraction:
+    """Extract from a Go file (tree-sitter preferred)."""
+    ts = _extract_go_tree_sitter(path, source)
+    if ts is not None:
+        return ts
+    return _extract_go_regex(path, source)
+def extract_rust(path: str, source: str) -> FileExtraction:
+    """Extract from a Rust file (tree-sitter preferred)."""
+    ts = _extract_rust_tree_sitter(path, source)
+    if ts is not None:
+        return ts
+    return _extract_rust_regex(path, source)
+def extract_file(path: str, source: str) -> FileExtraction:
+    """Dispatch extraction by file suffix."""
+    lower = path.lower()
+    if lower.endswith(".py"):
+        from devcouncil.indexing.graph.extract_python import extract_python
+        return extract_python(path, source)
+    if any(lower.endswith(s) for s in _JS_SUFFIXES):
+        return extract_ts_js(path, source)
+    if lower.endswith(".go"):
+        return extract_go(path, source)
+    if lower.endswith(".rs"):
+        return extract_rust(path, source)
+    from devcouncil.codeintel.languages.generic_extractor import extract_generic
+    return extract_generic(path, source)