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/codeintel/resolution/semantic.py ADDED Viewed

@@ -0,0 +1,887 @@
+"""Framework, event, state, callback, and dynamic-reference synthesis."""
+from __future__ import annotations
+import logging
+import re
+import time
+from collections import defaultdict
+from pathlib import Path
+from typing import Any, Callable, Iterable, Mapping
+from devcouncil.codeintel.resolution.abstract_state import AbstractState
+from devcouncil.codeintel.resolution.frameworks import (
+    COMPUTED_ROUTE_PATTERN,
+    iter_event_matches,
+    iter_provider_matches,
+    iter_route_matches,
+)
+from devcouncil.indexing.graph.extract_python import FileExtraction
+from devcouncil.indexing.graph.schema import CodeGraph, Confidence, GraphEdge, GraphNode, NodeKind
+logger = logging.getLogger(__name__)
+_REACT_STATE = re.compile(r"\[\s*(?P<state>[A-Za-z_$][\w$]*)\s*,\s*(?P<setter>[A-Za-z_$][\w$]*)\s*\]\s*=\s*(?:React\.)?useState\s*\(")
+_DYNAMIC = re.compile(r"\b(?P<kind>eval|exec|getattr|setattr|import_module|Class\.forName|Activator\.CreateInstance|NSClassFromString|require|import)\s*\(")
+_WORKER_URL = re.compile(
+    r"""(?:new\s+(?:Worker|SharedWorker)\s*\(\s*)?"""
+    r"""new\s+URL\s*\(\s*['"](?P<spec>[^'"]+)['"]\s*,\s*import\.meta\.url"""
+)
+_CALLBACK = re.compile(r"\b(?:then|catch|finally|map|filter|reduce|forEach|subscribe|useEffect)\s*\(\s*(?P<callback>[A-Za-z_$][\w$]*)")
+_ABSTRACT_ALIAS_CALL = re.compile(
+    r"\b(?:new\s+)?(?P<callee>[A-Za-z_$][\w$]*)\s*\("
+)
+_C_FUNCTION_POINTER = re.compile(r"(?P<pointer>[A-Za-z_]\w*)\s*=\s*&?(?P<target>[A-Za-z_]\w*)\s*;")
+_LITERAL_EVAL = re.compile(r"\b(?:eval|exec)\(\s*(?P<quote>['\"])(?P<body>.*?)(?P=quote)\s*\)")
+_BRIDGE_DECL = re.compile(
+    r"(?:RCT_EXPORT_METHOD\s*\(|@ReactMethod\s+(?:fun\s+)?|AsyncFunction\s*\(\s*['\"]|Function\s*\(\s*['\"]|@objc\s+(?:public\s+)?func\s+)(?P<name>[A-Za-z_$][\w$]*)"
+)
+_BRIDGE_CALL = re.compile(
+    r"(?:NativeModules\.[A-Za-z_$][\w$]*\.|requireNativeModule\([^)]*\)\.)(?P<name>[A-Za-z_$][\w$]*)\s*\("
+)
+_FILE_ROUTE_PREFIXES = (
+    "src/pages/",
+    "pages/",
+    "src/routes/",
+    "server/api/",
+)
+def _enclosing(nodes: list[GraphNode], path: str, line: int) -> GraphNode | None:
+    candidates = [
+        node
+        for node in nodes
+        if node.path == path
+        and node.kind != NodeKind.FILE
+        and node.line <= line
+        and (node.end_line <= 0 or line <= node.end_line)
+    ]
+    return max(candidates, key=lambda node: node.line, default=None)
+def _edge(
+    source: str,
+    target: str,
+    kind: str,
+    *,
+    reason: str,
+    score: float,
+    synthesizer: str,
+) -> GraphEdge:
+    confidence = Confidence.INFERRED if score >= 0.6 else Confidence.AMBIGUOUS
+    return GraphEdge(
+        source=source,
+        target=target,
+        kind=kind,
+        confidence=confidence,
+        reason=reason,
+        extras={
+            "provenance": "framework"
+            if kind in {"registers", "routes_to", "listens", "injects", "provides"}
+            else "inferred",
+            "confidence_score": score,
+            "evidence": [{"synthesized_by": synthesizer}],
+            "synthesized_by": synthesizer,
+        },
+    )
+def _symbol_index(nodes: Iterable[GraphNode]) -> dict[str, list[GraphNode]]:
+    result: dict[str, list[GraphNode]] = defaultdict(list)
+    for node in nodes:
+        # Synthesized pathless bridge/channel nodes may already exist when an
+        # incremental refresh re-enriches a persisted graph.  They are graph
+        # endpoints, not source-declared symbols, and admitting them here makes
+        # a second enrichment resolve reflections that a clean build cannot.
+        if (
+            node.name
+            and node.path
+            and node.kind
+            not in {
+                NodeKind.FILE,
+                NodeKind.DYNAMIC,
+                NodeKind.EVENT,
+                NodeKind.PROVIDER,
+                NodeKind.ROUTE,
+                NodeKind.STATE,
+            }
+        ):
+            keys = {node.name, node.id.rsplit("::", 1)[-1]}
+            for key in keys:
+                result[key].append(node)
+    return result
+def _resolved_symbol_targets(
+    symbols: dict[str, list[GraphNode]],
+    name: str,
+    path: str,
+    *,
+    imported_paths: set[str] | None = None,
+    aliases: Mapping[str, str] | None = None,
+) -> list[GraphNode]:
+    """Return one unambiguous local/imported symbol before global fallback."""
+    remote = (aliases or {}).get(name, name)
+    lookup_name = remote.rsplit(".", 1)[-1].rsplit(":", 1)[-1]
+    targets = symbols.get(lookup_name) or []
+    same_file = [target for target in targets if target.path == path]
+    if len(same_file) == 1:
+        return same_file
+    if same_file:
+        return []
+    imported = [
+        target for target in targets if target.path in (imported_paths or set())
+    ]
+    if len(imported) == 1:
+        return imported
+    if imported:
+        return []
+    return targets if len(targets) == 1 else []
+def _imported_paths_by_file(
+    nodes: Iterable[GraphNode],
+    edges: Iterable[GraphEdge],
+) -> dict[str, set[str]]:
+    node_by_id = {node.id: node for node in nodes}
+    imported: dict[str, set[str]] = defaultdict(set)
+    for edge in edges:
+        if edge.kind != "imports":
+            continue
+        source = node_by_id.get(edge.source)
+        target = node_by_id.get(edge.target)
+        source_path = source.path if source is not None else edge.source.split("::", 1)[0]
+        target_path = target.path if target is not None else edge.target.split("::", 1)[0]
+        if source_path and target_path and source_path != target_path:
+            imported[source_path].add(target_path)
+    return imported
+def enrich_semantic_edges(
+    graph: CodeGraph,
+    *,
+    root: Path,
+    paths: set[str] | None = None,
+    extractions: Mapping[str, FileExtraction] | None = None,
+    progress: Callable[[str, int, int], None] | None = None,
+    budget_seconds: float | None = None,
+) -> CodeGraph:
+    """Add isolated semantic nodes/edges without changing extracted identities.
+    ``budget_seconds`` bounds the per-file enrichment loop by wall clock: when
+    exceeded, remaining files are skipped, partial results are kept, and
+    ``meta["semantic_enrich_partial"]`` records how far it got — a visible
+    partial instead of an unbounded hang on very large repos. The check runs
+    between files, so one pathological file can still overshoot the budget.
+    """
+    root = root.expanduser().resolve()
+    deadline = time.monotonic() + budget_seconds if budget_seconds else None
+    nodes = list(graph.nodes)
+    edges = list(graph.edges)
+    initial_node_count = len(nodes)
+    initial_edge_count = len(edges)
+    symbols = _symbol_index(nodes)
+    imported_paths = _imported_paths_by_file(nodes, edges)
+    aliases_by_path = {
+        path: {
+            local: remote
+            for detail in extraction.import_details
+            for local, remote in detail.alias_map.items()
+        }
+        for path, extraction in (extractions or {}).items()
+    }
+    existing_nodes = {node.id for node in nodes}
+    existing_edges = {(edge.source, edge.target, edge.kind) for edge in edges}
+    nodes_by_path: dict[str, list[GraphNode]] = defaultdict(list)
+    for node in nodes:
+        if node.path:
+            nodes_by_path[node.path].append(node)
+    file_paths = sorted({node.path for node in nodes if node.path})
+    if paths is not None:
+        file_paths = [path for path in file_paths if path in paths]
+    def add_node(node: GraphNode) -> None:
+        if node.id not in existing_nodes:
+            existing_nodes.add(node.id)
+            nodes.append(node)
+    def add_edge(edge: GraphEdge) -> None:
+        key = (edge.source, edge.target, edge.kind)
+        if edge.source in existing_nodes and edge.target in existing_nodes and key not in existing_edges:
+            existing_edges.add(key)
+            edges.append(edge)
+    total_files = len(file_paths)
+    for file_index, rel in enumerate(file_paths, start=1):
+        if deadline is not None and time.monotonic() > deadline:
+            graph.meta["semantic_enrich_partial"] = {
+                "files_done": file_index - 1,
+                "files_total": total_files,
+                "budget_seconds": budget_seconds,
+            }
+            logger.warning(
+                "semantic enrichment budget (%ss) exhausted after %d/%d files; "
+                "keeping partial results",
+                budget_seconds,
+                file_index - 1,
+                total_files,
+            )
+            break
+        if progress is not None:
+            progress("semantic", file_index - 1, total_files)
+        try:
+            text = (root / rel).read_text(encoding="utf-8", errors="replace")
+        except OSError:
+            continue
+        lines = text.splitlines()
+        file_symbols = nodes_by_path.get(rel, [])
+        callable_aliases, type_aliases = _abstract_import_aliases(
+            aliases_by_path.get(rel, {}),
+            symbols,
+        )
+        abstract_state = AbstractState().analyze(
+            text,
+            callable_names={
+                node.name
+                for node in file_symbols
+                if node.kind in {NodeKind.FUNCTION, NodeKind.METHOD}
+            },
+            type_names={
+                node.name
+                for node in file_symbols
+                if node.kind
+                in {
+                    NodeKind.CLASS,
+                    NodeKind.INTERFACE,
+                    NodeKind.TYPE,
+                    NodeKind.STRUCT,
+                    NodeKind.ENUM,
+                    NodeKind.TRAIT,
+                }
+            },
+            callable_aliases=callable_aliases,
+            type_aliases=type_aliases,
+        )
+        language = next((node.language for node in file_symbols if node.language), "")
+        normalized_rel = rel.replace("\\", "/")
+        if any(normalized_rel.startswith(prefix) for prefix in _FILE_ROUTE_PREFIXES) and Path(rel).suffix.lower() in {
+            ".astro", ".vue", ".svelte", ".tsx", ".ts", ".jsx", ".js"
+        }:
+            route_path = _file_route_path(normalized_rel)
+            route_id = f"{rel}::route:FILE:{route_path}"
+            add_node(GraphNode(
+                id=route_id,
+                kind=NodeKind.ROUTE,
+                path=rel,
+                name=f"FILE {route_path}",
+                line=1,
+                end_line=1,
+                language=language,
+                extras={"verb": "FILE", "route": route_path, "provenance": "framework"},
+            ))
+            handler = next((node for node in file_symbols if node.kind != NodeKind.FILE), None)
+            add_edge(_edge(
+                rel,
+                route_id,
+                "registers",
+                reason="reachable file registers framework route",
+                score=0.95,
+                synthesizer="file-route-resolver",
+            ))
+            add_edge(_edge(
+                route_id,
+                handler.id if handler else rel,
+                "routes_to",
+                reason="file-based framework route",
+                score=0.9,
+                synthesizer="file-route-resolver",
+            ))
+        for line_no, line in enumerate(lines, start=1):
+            if progress is not None and line_no % 1000 == 0:
+                progress("semantic", file_index - 1, total_files)
+            owner = _enclosing(file_symbols, rel, line_no)
+            owner_id = owner.id if owner is not None else rel
+            match: Any
+            for match in iter_route_matches(line):
+                route_id = f"{rel}::route:{match.verb}:{match.path}"
+                add_node(GraphNode(
+                    id=route_id,
+                    kind=NodeKind.ROUTE,
+                    path=rel,
+                    name=f"{match.verb} {match.path}",
+                    line=line_no,
+                    end_line=line_no,
+                    language=language,
+                    extras={
+                        "verb": match.verb,
+                        "route": match.path,
+                        "framework": match.framework,
+                        "provenance": "framework",
+                    },
+                ))
+                handler_id = _route_handler_id(
+                    file_symbols,
+                    symbols,
+                    rel,
+                    line_no,
+                    match.handler_expression,
+                    owner_id,
+                    imported_paths.get(rel, set()),
+                    aliases_by_path.get(rel, {}),
+                    abstract_state,
+                )
+                registration_owner = _registration_owner(
+                    file_symbols, rel, owner_id, handler_id
+                )
+                add_edge(_edge(
+                    registration_owner,
+                    route_id,
+                    "registers",
+                    reason=f"{match.framework} route registration",
+                    score=0.95,
+                    synthesizer=f"{match.framework}-route",
+                ))
+                if handler_id is not None:
+                    add_edge(_edge(
+                        route_id,
+                        handler_id,
+                        "routes_to",
+                        reason=f"{match.framework} route binds handler",
+                        score=0.9,
+                        synthesizer=f"{match.framework}-route",
+                    ))
+            for match in COMPUTED_ROUTE_PATTERN.finditer(line):
+                expression = match.group("expr").strip()
+                if expression[:1] in {"'", '"'}:
+                    continue
+                for route_path in sorted(abstract_state.evaluate(expression).strings()):
+                    verb = match.group("verb").upper()
+                    route_id = f"{rel}::route:{verb}:{route_path}"
+                    add_node(GraphNode(
+                        id=route_id,
+                        kind=NodeKind.ROUTE,
+                        path=rel,
+                        name=f"{verb} {route_path}",
+                        line=line_no,
+                        end_line=line_no,
+                        language=language,
+                        extras={
+                            "verb": verb,
+                            "route": route_path,
+                            "framework": "computed",
+                            "provenance": "inferred",
+                            "expression": expression,
+                        },
+                    ))
+                    handler_id = _route_handler_id(
+                        file_symbols,
+                        symbols,
+                        rel,
+                        line_no,
+                        match.group("handler"),
+                        owner_id,
+                        imported_paths.get(rel, set()),
+                        aliases_by_path.get(rel, {}),
+                        abstract_state,
+                    )
+                    registration_owner = _registration_owner(
+                        file_symbols, rel, owner_id, handler_id
+                    )
+                    add_edge(_edge(
+                        registration_owner,
+                        route_id,
+                        "registers",
+                        reason="computed route registration",
+                        score=0.85,
+                        synthesizer="abstract-state-route-resolver",
+                    ))
+                    if handler_id is not None:
+                        add_edge(_edge(
+                            route_id,
+                            handler_id,
+                            "routes_to",
+                            reason="bounded computed route path",
+                            score=0.75,
+                            synthesizer="abstract-state-route-resolver",
+                        ))
+            for match in iter_event_matches(line):
+                channel_id = f"event::{match.event}"
+                add_node(GraphNode(
+                    id=channel_id,
+                    kind=NodeKind.EVENT,
+                    name=match.event,
+                    extras={"channel": match.event},
+                ))
+                if match.operation in {"emit", "sendeventwithname", "sendevent"}:
+                    add_edge(_edge(
+                        owner_id,
+                        channel_id,
+                        "emits",
+                        reason="literal event emission",
+                        score=0.9,
+                        synthesizer="event-channel",
+                    ))
+                    continue
+                listener_id = (
+                    f"{rel}::event-listener:{match.event}:{line_no}:{match.start}"
+                )
+                add_node(GraphNode(
+                    id=listener_id,
+                    kind=NodeKind.EVENT,
+                    path=rel,
+                    name=match.event,
+                    line=line_no,
+                    end_line=line_no,
+                    language=language,
+                    extras={"channel": match.event, "registration": "listener"},
+                ))
+                add_edge(_edge(owner_id, listener_id, "registers", reason="event listener registration", score=0.95, synthesizer="event-channel"))
+                add_edge(_edge(listener_id, channel_id, "subscribes", reason="literal event channel", score=0.95, synthesizer="event-channel"))
+                targets = _expression_targets(
+                    match.callback_expression,
+                    symbols,
+                    rel,
+                    imported_paths.get(rel, set()),
+                    aliases_by_path.get(rel, {}),
+                    abstract_state,
+                )
+                if len(targets) == 1:
+                    callback_targets = [targets[0]]
+                    if match.operation == "schedule" and targets[0].kind == NodeKind.CLASS:
+                        callback_targets.extend(
+                            node
+                            for node in nodes_by_path.get(targets[0].path, [])
+                            if node.kind == NodeKind.METHOD
+                            and str(node.extras.get("qualname") or "").startswith(
+                                f"{targets[0].name}."
+                            )
+                            and node.name.startswith("on_")
+                        )
+                    for target in callback_targets:
+                        add_edge(_edge(listener_id, target.id, "listens", reason="literal event listener callback", score=0.85, synthesizer="event-channel"))
+            for match in _REACT_STATE.finditer(line):
+                state_name = match.group("state")
+                setter = match.group("setter")
+                state_id = f"{rel}::state:{state_name}"
+                add_node(GraphNode(
+                    id=state_id,
+                    kind=NodeKind.STATE,
+                    path=rel,
+                    name=state_name,
+                    line=line_no,
+                    end_line=line_no,
+                    language=language,
+                    extras={"setter": setter, "framework": "react"},
+                ))
+                add_edge(_edge(owner_id, state_id, "owns_state", reason="React useState binding", score=0.95, synthesizer="react-state"))
+                for later_no, later in enumerate(lines[line_no:], start=line_no + 1):
+                    if re.search(rf"\b{re.escape(setter)}\s*\(", later):
+                        writer = _enclosing(file_symbols, rel, later_no)
+                        add_edge(_edge((writer.id if writer else rel), state_id, "writes_state", reason=f"calls state setter {setter}", score=0.9, synthesizer="react-state"))
+            for match in iter_provider_matches(line):
+                target_name = (
+                    match.target_expression.split(".")[-1].split(":")[-1]
+                )
+                targets = _expression_targets(
+                    target_name,
+                    symbols,
+                    rel,
+                    imported_paths.get(rel, set()),
+                    aliases_by_path.get(rel, {}),
+                    abstract_state,
+                )
+                if len(targets) != 1:
+                    continue
+                provider_id = f"{rel}::provider:{target_name}:{line_no}"
+                add_node(GraphNode(
+                    id=provider_id,
+                    kind=NodeKind.PROVIDER,
+                    path=rel,
+                    name=target_name,
+                    line=line_no,
+                    end_line=line_no,
+                    language=language,
+                    extras={"framework": match.framework},
+                ))
+                add_edge(_edge(owner_id, provider_id, "registers", reason="DI provider registration", score=0.9, synthesizer=f"{match.framework}-resolver"))
+                add_edge(_edge(provider_id, targets[0].id, "provides", reason="DI registration", score=0.8, synthesizer=f"{match.framework}-resolver"))
+                add_edge(_edge(owner_id, provider_id, "injects", reason="DI consumer/registration", score=0.75, synthesizer=f"{match.framework}-resolver"))
+            for match in _CALLBACK.finditer(line):
+                callback = match.group("callback")
+                callback_names = set(abstract_state.get(callback).callables) or {callback}
+                for callback_name in sorted(callback_names):
+                    for target in _resolved_symbol_targets(
+                        symbols,
+                        callback_name,
+                        rel,
+                        imported_paths=imported_paths.get(rel, set()),
+                        aliases=aliases_by_path.get(rel, {}),
+                    ):
+                        add_edge(_edge(owner_id, target.id, "calls", reason="callback passed to continuation", score=0.75, synthesizer="callback-resolver"))
+            for match in _ABSTRACT_ALIAS_CALL.finditer(line):
+                callee = match.group("callee")
+                abstract_callee = abstract_state.get(callee)
+                target_names = set(abstract_callee.callables) | set(abstract_callee.types)
+                for target_name in sorted(target_names):
+                    if target_name == callee:
+                        continue
+                    for target in _resolved_symbol_targets(
+                        symbols,
+                        target_name,
+                        rel,
+                        imported_paths=imported_paths.get(rel, set()),
+                        aliases=aliases_by_path.get(rel, {}),
+                    ):
+                        add_edge(_edge(
+                            owner_id,
+                            target.id,
+                            "calls",
+                            reason="abstract callable/type dispatch",
+                            score=0.8,
+                            synthesizer="abstract-dispatch",
+                        ))
+            if Path(rel).suffix.lower() in {".c", ".h", ".cc", ".cpp", ".cxx", ".hpp"}:
+                for match in _C_FUNCTION_POINTER.finditer(line):
+                    target_name = match.group("target")
+                    for target in (symbols.get(target_name) or [])[:8]:
+                        add_edge(_edge(owner_id, target.id, "calls", reason="C/C++ function pointer assignment", score=0.7, synthesizer="c-function-pointer"))
+            for match in _DYNAMIC.finditer(line):
+                kind = match.group("kind")
+                dynamic_id = f"{rel}::dynamic:{kind}:{line_no}:{match.start()}"
+                arguments = _dynamic_arguments(line[match.end():])
+                argument_index = 1 if kind in {"getattr", "setattr"} else 0
+                abstract = (
+                    abstract_state.evaluate(arguments[argument_index])
+                    if len(arguments) > argument_index
+                    else abstract_state.get(kind)
+                )
+                resolved_values = sorted(abstract.strings())
+                add_node(GraphNode(
+                    id=dynamic_id,
+                    kind=NodeKind.DYNAMIC,
+                    path=rel,
+                    name=kind,
+                    line=line_no,
+                    end_line=line_no,
+                    language=language,
+                    extras={
+                        "sink": kind,
+                        "resolved": bool(resolved_values),
+                        "values": resolved_values,
+                    },
+                ))
+                add_edge(_edge(
+                    owner_id,
+                    dynamic_id,
+                    "dynamic_reference",
+                    reason=(
+                        f"resolved dynamic reference: {kind}"
+                        if resolved_values
+                        else f"unresolved dynamic sink: {kind}"
+                    ),
+                    score=0.7 if resolved_values else 0.4,
+                    synthesizer="dynamic-reference",
+                ))
+                if kind in {"import", "require", "import_module"}:
+                    for value in resolved_values:
+                        target_path = _resolve_dynamic_file(rel, value, file_paths, root=root)
+                        if target_path is not None:
+                            add_edge(_edge(owner_id, target_path, "imports_dynamic", reason="abstract-state computed import", score=0.8, synthesizer="dynamic-import"))
+                else:
+                    for value in resolved_values:
+                        target_name = value.rsplit(".", 1)[-1].rsplit(":", 1)[-1]
+                        for target in _resolved_symbol_targets(
+                            symbols,
+                            target_name,
+                            rel,
+                            imported_paths=imported_paths.get(rel, set()),
+                            aliases=aliases_by_path.get(rel, {}),
+                        ):
+                            add_edge(_edge(owner_id, target.id, "reflects_to", reason=f"resolved reflection via {kind}", score=0.75, synthesizer="reflection-resolver"))
+            for match in _LITERAL_EVAL.finditer(line):
+                body = match.group("body")
+                dynamic_id = f"{rel}::dynamic:literal-eval:{line_no}:{match.start()}"
+                add_node(GraphNode(
+                    id=dynamic_id,
+                    kind=NodeKind.DYNAMIC,
+                    path=rel,
+                    name="literal-eval",
+                    line=line_no,
+                    end_line=line_no,
+                    language=language,
+                    extras={"sink": "eval", "resolved": True, "derived_source": body},
+                ))
+                for call in re.finditer(r"\b([A-Za-z_$][\w$]*)\s*\(", body):
+                    for target in (symbols.get(call.group(1)) or [])[:8]:
+                        add_edge(_edge(owner_id, target.id, "calls", reason="constant eval payload", score=0.65, synthesizer="literal-eval"))
+            for match in _BRIDGE_DECL.finditer(line):
+                name = match.group("name")
+                bridge_id = f"bridge::native-method:{name}"
+                add_node(GraphNode(
+                    id=bridge_id,
+                    kind=NodeKind.DYNAMIC,
+                    name=name,
+                    extras={"channel": "native-method", "provenance": "framework"},
+                ))
+                add_edge(_edge(bridge_id, owner_id, "bridges_to", reason="native bridge declaration", score=0.8, synthesizer="native-bridge"))
+            for match in _BRIDGE_CALL.finditer(line):
+                name = match.group("name")
+                bridge_id = f"bridge::native-method:{name}"
+                add_node(GraphNode(
+                    id=bridge_id,
+                    kind=NodeKind.DYNAMIC,
+                    name=name,
+                    extras={"channel": "native-method", "provenance": "framework"},
+                ))
+                add_edge(_edge(owner_id, bridge_id, "calls", reason="React Native/Expo bridge call", score=0.8, synthesizer="native-bridge"))
+        for match in _WORKER_URL.finditer(text):
+            spec = match.group("spec")
+            target_path = _resolve_dynamic_file(rel, spec, file_paths, root=root)
+            if target_path is None:
+                continue
+            owner = next(
+                (node for node in file_symbols if node.kind == NodeKind.FILE),
+                None,
+            )
+            owner_id = owner.id if owner is not None else rel
+            add_edge(
+                _edge(
+                    owner_id,
+                    target_path,
+                    "imports_dynamic",
+                    reason="Worker/import.meta.url module load",
+                    score=0.9,
+                    synthesizer="worker-url",
+                )
+            )
+        if progress is not None:
+            progress("semantic", file_index, total_files)
+    graph.nodes = nodes
+    graph.edges = edges
+    graph.meta["semantic_synthesized_nodes"] = len(nodes) - initial_node_count
+    graph.meta["semantic_synthesized_edges"] = len(edges) - initial_edge_count
+    graph.meta["semantic_resolver_version"] = 1
+    return graph
+def _abstract_import_aliases(
+    aliases: Mapping[str, str],
+    symbols: Mapping[str, list[GraphNode]],
+) -> tuple[dict[str, str], dict[str, str]]:
+    callable_aliases: dict[str, str] = {}
+    type_aliases: dict[str, str] = {}
+    callable_kinds = {NodeKind.FUNCTION, NodeKind.METHOD}
+    type_kinds = {
+        NodeKind.CLASS,
+        NodeKind.INTERFACE,
+        NodeKind.TYPE,
+        NodeKind.STRUCT,
+        NodeKind.ENUM,
+        NodeKind.TRAIT,
+    }
+    for local, remote in aliases.items():
+        remote_name = remote.rsplit(".", 1)[-1].rsplit(":", 1)[-1]
+        candidates = symbols.get(remote_name) or []
+        kinds = {candidate.kind for candidate in candidates}
+        if kinds and kinds <= callable_kinds:
+            callable_aliases[local] = remote_name
+        elif kinds and kinds <= type_kinds:
+            type_aliases[local] = remote_name
+    return callable_aliases, type_aliases
+def _expression_targets(
+    expression: str,
+    symbols: dict[str, list[GraphNode]],
+    path: str,
+    imported_paths: set[str],
+    aliases: Mapping[str, str],
+    abstract_state: AbstractState,
+) -> list[GraphNode]:
+    bare = expression.strip().split(".")[-1].split(":")[-1]
+    value = abstract_state.get(bare)
+    names = set(value.callables) | set(value.types)
+    if value.unknown:
+        names.add(bare)
+    targets = {
+        target.id: target
+        for name in names
+        for target in _resolved_symbol_targets(
+            symbols,
+            name,
+            path,
+            imported_paths=imported_paths,
+            aliases=aliases,
+        )
+    }
+    return list(targets.values()) if len(targets) == 1 else []
+def _dynamic_arguments(suffix: str) -> list[str]:
+    """Return the current call's arguments without consuming later calls."""
+    depth = 0
+    quote = ""
+    current: list[str] = []
+    arguments: list[str] = []
+    for index, char in enumerate(suffix):
+        if quote:
+            current.append(char)
+            if char == quote and (index == 0 or suffix[index - 1] != "\\"):
+                quote = ""
+            continue
+        if char in {"'", '"', "`"}:
+            quote = char
+            current.append(char)
+        elif char in "([{":
+            depth += 1
+            current.append(char)
+        elif char in ")]}":
+            if char == ")" and depth == 0:
+                value = "".join(current).strip()
+                if value:
+                    arguments.append(value)
+                break
+            depth = max(0, depth - 1)
+            current.append(char)
+        elif char == "," and depth == 0:
+            arguments.append("".join(current).strip())
+            current = []
+        else:
+            current.append(char)
+    return arguments
+def _resolve_dynamic_file(
+    source_path: str,
+    value: str,
+    file_paths: Iterable[str],
+    *,
+    root: Path | None = None,
+) -> str | None:
+    available = set(file_paths)
+    raw = value.replace("\\", "/").split("?", 1)[0]
+    if raw.startswith("."):
+        base = (Path(source_path).parent / raw).as_posix()
+    else:
+        # Alias / absolute-style specs (``@/components/...``).
+        if root is not None and not raw.startswith("/"):
+            try:
+                from devcouncil.indexing.repo_mapper import RepoMapper
+                mapper = RepoMapper(root)
+                mapper._last_file_set = available
+                hit = mapper._resolve_js_spec(source_path, raw, available)
+                if hit:
+                    return hit
+            except Exception:
+                pass
+        base = raw.lstrip("/")
+    candidates = [base]
+    candidates.extend(f"{base}{suffix}" for suffix in (
+        ".py", ".pyi", ".ts", ".tsx", ".js", ".jsx", ".mjs", ".cjs",
+        ".go", ".rs", ".java", ".cs", ".swift", ".kt", ".rb", ".php",
+    ))
+    candidates.extend(f"{base}/index{suffix}" for suffix in (
+        ".ts", ".tsx", ".js", ".jsx", ".py",
+    ))
+    return next((candidate for candidate in candidates if candidate in available), None)
+def _route_handler_id(
+    nodes: list[GraphNode],
+    symbols: dict[str, list[GraphNode]],
+    path: str,
+    line: int,
+    suffix: str,
+    owner_id: str,
+    imported_paths: set[str],
+    aliases: Mapping[str, str],
+    abstract_state: AbstractState,
+) -> str | None:
+    identifiers = re.findall(r"[A-Za-z_$][\w$]*", suffix)
+    for identifier in reversed(identifiers):
+        value = abstract_state.get(identifier)
+        resolved_names = set(value.callables) | set(value.types)
+        if len(resolved_names) > 1:
+            return None
+        candidate_names = resolved_names or {identifier}
+        resolved: dict[str, GraphNode] = {}
+        had_candidates = False
+        for candidate_name in candidate_names:
+            had_candidates = had_candidates or bool(symbols.get(candidate_name))
+            for target in _resolved_symbol_targets(
+                symbols,
+                candidate_name,
+                path,
+                imported_paths=imported_paths,
+                aliases=aliases,
+            ):
+                resolved[target.id] = target
+        if len(resolved) == 1:
+            return next(iter(resolved))
+        if len(resolved) > 1 or had_candidates:
+            return None
+    if owner_id != path:
+        return owner_id
+    following = [
+        node
+        for node in nodes
+        if node.path == path
+        and node.kind in {NodeKind.FUNCTION, NodeKind.METHOD, NodeKind.CLASS}
+        and line <= node.line <= line + 8
+    ]
+    return min(following, key=lambda node: node.line).id if following else None
+def _registration_owner(
+    nodes: list[GraphNode],
+    path: str,
+    owner_id: str,
+    target_id: str | None,
+) -> str:
+    """Avoid self-cycles for decorator/annotation-style registrations."""
+    if target_id is None or owner_id != target_id:
+        return owner_id
+    target = next((node for node in nodes if node.id == target_id), None)
+    qualname = str((target.extras if target else {}).get("qualname") or "")
+    if "." in qualname:
+        parent = qualname.rsplit(".", 1)[0]
+        parent_id = next(
+            (
+                node.id
+                for node in nodes
+                if node.path == path
+                and str(node.extras.get("qualname") or node.name) == parent
+            ),
+            None,
+        )
+        if parent_id is not None:
+            return parent_id
+    return path
+def _file_route_path(path: str) -> str:
+    for prefix in _FILE_ROUTE_PREFIXES:
+        if path.startswith(prefix):
+            path = path[len(prefix):]
+            break
+    stem = str(Path(path).with_suffix("")).replace("\\", "/")
+    stem = re.sub(r"/(?:index|page)$", "", stem)
+    stem = stem.replace("[...", "*").replace("[", ":").replace("]", "")
+    return "/" + stem.strip("/")