devcouncil 0.3.1 → 0.4.0

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 (365) hide show
  1. package/README.md +46 -30
  2. package/package.json +6 -2
  3. package/packages/codeintel-grammars/hatch_build.py +43 -0
  4. package/packages/codeintel-grammars/pyproject.toml +16 -0
  5. package/packages/codeintel-grammars/src/devcouncil_codeintel_grammars/__init__.py +93 -0
  6. package/pyproject.toml +99 -4
  7. package/src/devcouncil/app/config.py +512 -20
  8. package/src/devcouncil/app/events.py +4 -23
  9. package/src/devcouncil/app/orchestrator.py +5 -0
  10. package/src/devcouncil/app/run_context.py +3 -3
  11. package/src/devcouncil/assets/__init__.py +4 -1
  12. package/src/devcouncil/assets/vendor/force-graph.min.js +5 -0
  13. package/src/devcouncil/campaign/__init__.py +71 -0
  14. package/src/devcouncil/campaign/bloom.py +137 -0
  15. package/src/devcouncil/campaign/dashboard.py +123 -0
  16. package/src/devcouncil/campaign/mailbox.py +305 -0
  17. package/src/devcouncil/campaign/notify.py +91 -0
  18. package/src/devcouncil/campaign/orchestrator.py +592 -0
  19. package/src/devcouncil/campaign/prompts/coordinator.md +29 -0
  20. package/src/devcouncil/campaign/prompts/director.md +21 -0
  21. package/src/devcouncil/campaign/prompts/protocol.md +46 -0
  22. package/src/devcouncil/campaign/prompts/reviewer.md +24 -0
  23. package/src/devcouncil/campaign/prompts/worker.md +24 -0
  24. package/src/devcouncil/campaign/roles.py +202 -0
  25. package/src/devcouncil/campaign/watcher.py +153 -0
  26. package/src/devcouncil/cli/commands/agents.py +24 -17
  27. package/src/devcouncil/cli/commands/artifacts.py +36 -27
  28. package/src/devcouncil/cli/commands/ast.py +12 -3
  29. package/src/devcouncil/cli/commands/baseline.py +21 -12
  30. package/src/devcouncil/cli/commands/boot.py +218 -0
  31. package/src/devcouncil/cli/commands/campaign.py +302 -0
  32. package/src/devcouncil/cli/commands/check.py +225 -12
  33. package/src/devcouncil/cli/commands/config.py +221 -74
  34. package/src/devcouncil/cli/commands/cost.py +137 -28
  35. package/src/devcouncil/cli/commands/dashboard.py +12 -4
  36. package/src/devcouncil/cli/commands/debug_cmd.py +249 -0
  37. package/src/devcouncil/cli/commands/design.py +27 -17
  38. package/src/devcouncil/cli/commands/doctor.py +790 -8
  39. package/src/devcouncil/cli/commands/evidence.py +41 -20
  40. package/src/devcouncil/cli/commands/export.py +73 -0
  41. package/src/devcouncil/cli/commands/gaps.py +175 -0
  42. package/src/devcouncil/cli/commands/gated_write.py +76 -0
  43. package/src/devcouncil/cli/commands/go.py +220 -68
  44. package/src/devcouncil/cli/commands/graph_cmd.py +1192 -0
  45. package/src/devcouncil/cli/commands/handoff.py +45 -34
  46. package/src/devcouncil/cli/commands/hook.py +630 -85
  47. package/src/devcouncil/cli/commands/init.py +89 -30
  48. package/src/devcouncil/cli/commands/integrate.py +296 -1385
  49. package/src/devcouncil/cli/commands/lease.py +120 -0
  50. package/src/devcouncil/cli/commands/logs.py +12 -5
  51. package/src/devcouncil/cli/commands/lsp.py +40 -5
  52. package/src/devcouncil/cli/commands/map.py +317 -74
  53. package/src/devcouncil/cli/commands/mcp_server.py +12 -2
  54. package/src/devcouncil/cli/commands/okf.py +44 -6
  55. package/src/devcouncil/cli/commands/plan.py +184 -69
  56. package/src/devcouncil/cli/commands/prompt.py +26 -17
  57. package/src/devcouncil/cli/commands/provenance.py +79 -0
  58. package/src/devcouncil/cli/commands/repair.py +60 -49
  59. package/src/devcouncil/cli/commands/report.py +148 -40
  60. package/src/devcouncil/cli/commands/requirements.py +104 -0
  61. package/src/devcouncil/cli/commands/reset_demo_state.py +13 -4
  62. package/src/devcouncil/cli/commands/rollback.py +46 -35
  63. package/src/devcouncil/cli/commands/run.py +173 -8
  64. package/src/devcouncil/cli/commands/runs.py +298 -68
  65. package/src/devcouncil/cli/commands/scaffold.py +33 -12
  66. package/src/devcouncil/cli/commands/semantic.py +29 -14
  67. package/src/devcouncil/cli/commands/setup.py +103 -93
  68. package/src/devcouncil/cli/commands/shell.py +51 -42
  69. package/src/devcouncil/cli/commands/show.py +56 -42
  70. package/src/devcouncil/cli/commands/skills.py +29 -20
  71. package/src/devcouncil/cli/commands/status.py +80 -67
  72. package/src/devcouncil/cli/commands/task_gate.py +295 -0
  73. package/src/devcouncil/cli/commands/tasks.py +248 -19
  74. package/src/devcouncil/cli/commands/trace.py +14 -8
  75. package/src/devcouncil/cli/commands/verify.py +33 -8
  76. package/src/devcouncil/cli/commands/version.py +14 -6
  77. package/src/devcouncil/cli/commands/watch.py +49 -30
  78. package/src/devcouncil/cli/commands/watch_fs.py +30 -19
  79. package/src/devcouncil/cli/commands/wiki.py +278 -0
  80. package/src/devcouncil/cli/main.py +58 -1
  81. package/src/devcouncil/codeintel/__init__.py +16 -0
  82. package/src/devcouncil/codeintel/build_control.py +429 -0
  83. package/src/devcouncil/codeintel/build_worker.py +78 -0
  84. package/src/devcouncil/codeintel/debug/__init__.py +17 -0
  85. package/src/devcouncil/codeintel/debug/broker.py +114 -0
  86. package/src/devcouncil/codeintel/debug/broker_client.py +61 -0
  87. package/src/devcouncil/codeintel/debug/consent.py +36 -0
  88. package/src/devcouncil/codeintel/debug/discovery.py +132 -0
  89. package/src/devcouncil/codeintel/debug/fingerprint.py +85 -0
  90. package/src/devcouncil/codeintel/debug/protocol.py +259 -0
  91. package/src/devcouncil/codeintel/debug/python_trace_runner.py +81 -0
  92. package/src/devcouncil/codeintel/debug/session.py +238 -0
  93. package/src/devcouncil/codeintel/debug/tracing.py +201 -0
  94. package/src/devcouncil/codeintel/languages/__init__.py +17 -0
  95. package/src/devcouncil/codeintel/languages/generic_extractor.py +236 -0
  96. package/src/devcouncil/codeintel/languages/registry.py +149 -0
  97. package/src/devcouncil/codeintel/languages/workers.py +245 -0
  98. package/src/devcouncil/codeintel/query/__init__.py +5 -0
  99. package/src/devcouncil/codeintel/query/engine.py +289 -0
  100. package/src/devcouncil/codeintel/resolution/__init__.py +6 -0
  101. package/src/devcouncil/codeintel/resolution/abstract_state.py +301 -0
  102. package/src/devcouncil/codeintel/resolution/frameworks/__init__.py +33 -0
  103. package/src/devcouncil/codeintel/resolution/frameworks/base.py +46 -0
  104. package/src/devcouncil/codeintel/resolution/frameworks/di.py +56 -0
  105. package/src/devcouncil/codeintel/resolution/frameworks/events.py +45 -0
  106. package/src/devcouncil/codeintel/resolution/frameworks/routes.py +88 -0
  107. package/src/devcouncil/codeintel/resolution/semantic.py +887 -0
  108. package/src/devcouncil/codeintel/service.py +104 -0
  109. package/src/devcouncil/codeintel/store/__init__.py +15 -0
  110. package/src/devcouncil/codeintel/store/sqlite.py +1565 -0
  111. package/src/devcouncil/codeintel/sync/__init__.py +19 -0
  112. package/src/devcouncil/codeintel/sync/coordinator.py +430 -0
  113. package/src/devcouncil/codeintel/sync/incremental.py +484 -0
  114. package/src/devcouncil/codeintel/sync/lease.py +96 -0
  115. package/src/devcouncil/codeintel/sync/scope.py +98 -0
  116. package/src/devcouncil/council/__init__.py +4 -0
  117. package/src/devcouncil/council/prompts/__init__.py +4 -0
  118. package/src/devcouncil/domain/checkpoint_refs.py +17 -0
  119. package/src/devcouncil/domain/evidence.py +1 -0
  120. package/src/devcouncil/domain/gap.py +10 -0
  121. package/src/devcouncil/domain/requirement.py +5 -1
  122. package/src/devcouncil/domain/task.py +43 -2
  123. package/src/devcouncil/execution/checkpoints.py +25 -31
  124. package/src/devcouncil/execution/context_builder.py +15 -44
  125. package/src/devcouncil/execution/fs_watcher.py +64 -0
  126. package/src/devcouncil/execution/gated_write.py +203 -0
  127. package/src/devcouncil/execution/handoff.py +2 -1
  128. package/src/devcouncil/execution/hook_policy.py +19 -5
  129. package/src/devcouncil/execution/lease_ops.py +177 -0
  130. package/src/devcouncil/execution/lease_validation.py +71 -0
  131. package/src/devcouncil/execution/patch.py +3 -0
  132. package/src/devcouncil/execution/permissions.py +1 -0
  133. package/src/devcouncil/execution/policy_engine.py +205 -10
  134. package/src/devcouncil/execution/prompt_builder.py +278 -33
  135. package/src/devcouncil/execution/run_trace.py +356 -0
  136. package/src/devcouncil/execution/shell_session.py +46 -5
  137. package/src/devcouncil/execution/stop_gate.py +746 -0
  138. package/src/devcouncil/execution/stop_gate_history.py +113 -0
  139. package/src/devcouncil/execution/stop_gate_state.py +54 -0
  140. package/src/devcouncil/execution/stop_gate_verify_cache.py +69 -0
  141. package/src/devcouncil/execution/task_gate_ops.py +590 -0
  142. package/src/devcouncil/execution/task_runner.py +19 -0
  143. package/src/devcouncil/executors/advisor_tool.py +315 -0
  144. package/src/devcouncil/executors/agent_registry.py +125 -17
  145. package/src/devcouncil/executors/claude_sdk.py +376 -0
  146. package/src/devcouncil/executors/coding_cli.py +724 -25
  147. package/src/devcouncil/executors/mini_swe.py +50 -8
  148. package/src/devcouncil/executors/native/agent.py +224 -19
  149. package/src/devcouncil/executors/openhands.py +50 -8
  150. package/src/devcouncil/executors/transient_retry.py +99 -0
  151. package/src/devcouncil/gating/checks/clean_git.py +5 -2
  152. package/src/devcouncil/gating/checks/planned_files_check.py +38 -11
  153. package/src/devcouncil/gating/checks/secret_scan_check.py +2 -2
  154. package/src/devcouncil/gating/policy.py +46 -2
  155. package/src/devcouncil/indexing/ast_matcher.py +41 -4
  156. package/src/devcouncil/indexing/graph/__init__.py +78 -0
  157. package/src/devcouncil/indexing/graph/api_routes.py +522 -0
  158. package/src/devcouncil/indexing/graph/build.py +862 -0
  159. package/src/devcouncil/indexing/graph/cache.py +329 -0
  160. package/src/devcouncil/indexing/graph/communities.py +28 -0
  161. package/src/devcouncil/indexing/graph/cypher.py +107 -0
  162. package/src/devcouncil/indexing/graph/embeddings.py +194 -0
  163. package/src/devcouncil/indexing/graph/export.py +381 -0
  164. package/src/devcouncil/indexing/graph/export_links.py +81 -0
  165. package/src/devcouncil/indexing/graph/extract_python.py +307 -0
  166. package/src/devcouncil/indexing/graph/extract_ts.py +1205 -0
  167. package/src/devcouncil/indexing/graph/intel.py +668 -0
  168. package/src/devcouncil/indexing/graph/liveness.py +992 -0
  169. package/src/devcouncil/indexing/graph/okf_export.py +65 -0
  170. package/src/devcouncil/indexing/graph/pdg/__init__.py +67 -0
  171. package/src/devcouncil/indexing/graph/pdg/build.py +11 -0
  172. package/src/devcouncil/indexing/graph/pdg/cdg.py +41 -0
  173. package/src/devcouncil/indexing/graph/pdg/cfg.py +199 -0
  174. package/src/devcouncil/indexing/graph/pdg/query.py +21 -0
  175. package/src/devcouncil/indexing/graph/pdg/reaching_def.py +126 -0
  176. package/src/devcouncil/indexing/graph/pdg/schema.py +253 -0
  177. package/src/devcouncil/indexing/graph/pdg/taint.py +154 -0
  178. package/src/devcouncil/indexing/graph/query.py +302 -0
  179. package/src/devcouncil/indexing/graph/resolve.py +1020 -0
  180. package/src/devcouncil/indexing/graph/schema.py +103 -0
  181. package/src/devcouncil/indexing/graph_index.py +20 -29
  182. package/src/devcouncil/indexing/lsp.py +57 -25
  183. package/src/devcouncil/indexing/lsp_client.py +577 -0
  184. package/src/devcouncil/indexing/map_artifacts.py +355 -0
  185. package/src/devcouncil/indexing/map_refresh.py +141 -0
  186. package/src/devcouncil/indexing/repo_mapper.py +1509 -138
  187. package/src/devcouncil/indexing/semantic_index.py +12 -6
  188. package/src/devcouncil/indexing/subsystem_map.py +163 -0
  189. package/src/devcouncil/indexing/ts_imports.py +343 -0
  190. package/src/devcouncil/indexing/viz.py +960 -0
  191. package/src/devcouncil/indexing/walk.py +52 -0
  192. package/src/devcouncil/indexing/wiring.py +1776 -0
  193. package/src/devcouncil/integrations/actions.py +27 -4
  194. package/src/devcouncil/integrations/check.py +211 -16
  195. package/src/devcouncil/integrations/claude_assets.py +209 -12
  196. package/src/devcouncil/integrations/clients/__init__.py +1 -0
  197. package/src/devcouncil/integrations/clients/aider.py +52 -0
  198. package/src/devcouncil/integrations/clients/antigravity.py +87 -0
  199. package/src/devcouncil/integrations/clients/claude.py +339 -0
  200. package/src/devcouncil/integrations/clients/codex.py +39 -0
  201. package/src/devcouncil/integrations/clients/common.py +332 -0
  202. package/src/devcouncil/integrations/clients/cursor.py +164 -0
  203. package/src/devcouncil/integrations/clients/gemini.py +49 -0
  204. package/src/devcouncil/integrations/clients/grok.py +105 -0
  205. package/src/devcouncil/integrations/clients/hooks.py +500 -0
  206. package/src/devcouncil/integrations/clients/opencode.py +96 -0
  207. package/src/devcouncil/integrations/clients/warp.py +75 -0
  208. package/src/devcouncil/integrations/code_review_graph.py +2 -2
  209. package/src/devcouncil/integrations/github.py +73 -7
  210. package/src/devcouncil/integrations/integration_cli.py +197 -0
  211. package/src/devcouncil/integrations/mcp/handlers/__init__.py +1 -0
  212. package/src/devcouncil/integrations/mcp/handlers/ast_lsp.py +77 -0
  213. package/src/devcouncil/integrations/mcp/handlers/checkout.py +50 -0
  214. package/src/devcouncil/integrations/mcp/handlers/cli_gate.py +43 -0
  215. package/src/devcouncil/integrations/mcp/handlers/codeintel.py +182 -0
  216. package/src/devcouncil/integrations/mcp/handlers/debug.py +236 -0
  217. package/src/devcouncil/integrations/mcp/handlers/evidence.py +70 -0
  218. package/src/devcouncil/integrations/mcp/handlers/git.py +99 -0
  219. package/src/devcouncil/integrations/mcp/handlers/graph.py +36 -0
  220. package/src/devcouncil/integrations/mcp/handlers/handoff.py +53 -0
  221. package/src/devcouncil/integrations/mcp/handlers/knowledge.py +30 -0
  222. package/src/devcouncil/integrations/mcp/handlers/lease.py +70 -0
  223. package/src/devcouncil/integrations/mcp/handlers/live.py +108 -0
  224. package/src/devcouncil/integrations/mcp/handlers/map.py +676 -0
  225. package/src/devcouncil/integrations/mcp/handlers/next_task.py +35 -0
  226. package/src/devcouncil/integrations/mcp/handlers/policy.py +80 -0
  227. package/src/devcouncil/integrations/mcp/handlers/prompts.py +168 -0
  228. package/src/devcouncil/integrations/mcp/handlers/provenance.py +101 -0
  229. package/src/devcouncil/integrations/mcp/handlers/read.py +74 -0
  230. package/src/devcouncil/integrations/mcp/handlers/router_cache.py +53 -0
  231. package/src/devcouncil/integrations/mcp/handlers/run.py +53 -0
  232. package/src/devcouncil/integrations/mcp/handlers/runs.py +84 -0
  233. package/src/devcouncil/integrations/mcp/handlers/scope.py +56 -0
  234. package/src/devcouncil/integrations/mcp/handlers/status.py +114 -0
  235. package/src/devcouncil/integrations/mcp/handlers/task.py +100 -0
  236. package/src/devcouncil/integrations/mcp/handlers/tool_specs.py +904 -0
  237. package/src/devcouncil/integrations/mcp/handlers/trace.py +65 -0
  238. package/src/devcouncil/integrations/mcp/handlers/verify.py +45 -0
  239. package/src/devcouncil/integrations/mcp/handlers/wiki.py +60 -0
  240. package/src/devcouncil/integrations/mcp/handlers/write.py +69 -0
  241. package/src/devcouncil/integrations/mcp/server.py +265 -2391
  242. package/src/devcouncil/integrations/mcp/util.py +303 -0
  243. package/src/devcouncil/integrations/setup.py +152 -0
  244. package/src/devcouncil/knowledge/fetch.py +4 -0
  245. package/src/devcouncil/knowledge/knowledge_select.py +38 -0
  246. package/src/devcouncil/knowledge/okf.py +2 -1
  247. package/src/devcouncil/knowledge/resource_discovery.py +40 -0
  248. package/src/devcouncil/knowledge/wiki.py +643 -0
  249. package/src/devcouncil/knowledge/wiki_read.py +87 -0
  250. package/src/devcouncil/live/cards.py +7 -7
  251. package/src/devcouncil/live/models.py +4 -1
  252. package/src/devcouncil/live/reviewer.py +90 -11
  253. package/src/devcouncil/live/signals.py +4 -2
  254. package/src/devcouncil/live/tasks.py +12 -3
  255. package/src/devcouncil/live/transcripts.py +69 -2
  256. package/src/devcouncil/llm/cache.py +5 -6
  257. package/src/devcouncil/llm/model_defaults.yaml +10 -10
  258. package/src/devcouncil/llm/provider.py +647 -73
  259. package/src/devcouncil/llm/router.py +271 -46
  260. package/src/devcouncil/llm/semantic_bridge.py +614 -0
  261. package/src/devcouncil/optimization/gepa_agent.py +6 -4
  262. package/src/devcouncil/optimization/skillopt.py +9 -5
  263. package/src/devcouncil/planning/arbiter_service.py +12 -3
  264. package/src/devcouncil/planning/correction_manifest.py +107 -10
  265. package/src/devcouncil/planning/plan_difficulty.py +69 -0
  266. package/src/devcouncil/planning/plan_service.py +5 -2
  267. package/src/devcouncil/planning/planned_files_reconcile.py +191 -0
  268. package/src/devcouncil/planning/prompt_enhancer_service.py +6 -5
  269. package/src/devcouncil/planning/question_conversion.py +56 -0
  270. package/src/devcouncil/planning/spec_service.py +9 -3
  271. package/src/devcouncil/repo/ci_scaffold.py +197 -1
  272. package/src/devcouncil/repo/gitignore.py +1 -2
  273. package/src/devcouncil/reporting/evidence_export.py +124 -0
  274. package/src/devcouncil/reporting/evidence_html.py +210 -0
  275. package/src/devcouncil/reporting/json_report.py +16 -12
  276. package/src/devcouncil/reporting/markdown_report.py +38 -9
  277. package/src/devcouncil/reporting/mcp_resources.py +142 -0
  278. package/src/devcouncil/reporting/report_builder.py +40 -4
  279. package/src/devcouncil/reporting/task_provenance.py +42 -0
  280. package/src/devcouncil/reporting/verdict.py +75 -0
  281. package/src/devcouncil/skills/library/README.md +1 -0
  282. package/src/devcouncil/skills/library/devcouncil-hero-loop.md +109 -0
  283. package/src/devcouncil/skills/library/devcouncil-verification.md +109 -0
  284. package/src/devcouncil/skills/library/devcouncil.md +93 -0
  285. package/src/devcouncil/skills/registry.py +43 -12
  286. package/src/devcouncil/storage/db.py +57 -11
  287. package/src/devcouncil/storage/models.py +6 -0
  288. package/src/devcouncil/storage/native.py +5 -3
  289. package/src/devcouncil/storage/repositories.py +50 -18
  290. package/src/devcouncil/telemetry/context.py +28 -0
  291. package/src/devcouncil/telemetry/cost.py +4 -5
  292. package/src/devcouncil/telemetry/logging_setup.py +78 -11
  293. package/src/devcouncil/telemetry/model_pricing.yaml +7 -0
  294. package/src/devcouncil/telemetry/stages.py +27 -2
  295. package/src/devcouncil/telemetry/tracker.py +50 -13
  296. package/src/devcouncil/ui/dashboard.py +120 -8
  297. package/src/devcouncil/utils/fsio.py +58 -0
  298. package/src/devcouncil/utils/git_snapshot.py +112 -0
  299. package/src/devcouncil/utils/json_persist.py +53 -0
  300. package/src/devcouncil/utils/proc.py +89 -0
  301. package/src/devcouncil/verification/acceptance_compiler.py +36 -13
  302. package/src/devcouncil/verification/ad_hoc_check.py +95 -3
  303. package/src/devcouncil/verification/checks/__init__.py +41 -0
  304. package/src/devcouncil/verification/checks/acceptance.py +39 -0
  305. package/src/devcouncil/verification/checks/acceptance_corpus.py +194 -0
  306. package/src/devcouncil/verification/checks/acceptance_evidence.py +239 -0
  307. package/src/devcouncil/verification/checks/command_evidence.py +148 -0
  308. package/src/devcouncil/verification/checks/compiled_acceptance.py +179 -0
  309. package/src/devcouncil/verification/checks/corpus_stale.py +124 -0
  310. package/src/devcouncil/verification/checks/corpus_verification.py +9 -0
  311. package/src/devcouncil/verification/checks/dead_symbols.py +360 -0
  312. package/src/devcouncil/verification/checks/diff_coverage_gate.py +101 -0
  313. package/src/devcouncil/verification/checks/doc_code_ref.py +79 -0
  314. package/src/devcouncil/verification/checks/liveness_ratchet.py +336 -0
  315. package/src/devcouncil/verification/checks/orphan_diff.py +104 -0
  316. package/src/devcouncil/verification/checks/planned_files.py +98 -0
  317. package/src/devcouncil/verification/checks/semantic_diff.py +241 -0
  318. package/src/devcouncil/verification/checks/stale_map.py +80 -0
  319. package/src/devcouncil/verification/checks/stub_scan.py +71 -0
  320. package/src/devcouncil/verification/checks/subsystem_boundary.py +103 -0
  321. package/src/devcouncil/verification/checks/wiring.py +216 -0
  322. package/src/devcouncil/verification/claims/__init__.py +23 -0
  323. package/src/devcouncil/verification/claims/checks.py +395 -0
  324. package/src/devcouncil/verification/claims/mapper.py +168 -0
  325. package/src/devcouncil/verification/claims/models.py +39 -0
  326. package/src/devcouncil/verification/claims/transcript.py +92 -0
  327. package/src/devcouncil/verification/claims/verdict.py +88 -0
  328. package/src/devcouncil/verification/command_evidence.py +170 -0
  329. package/src/devcouncil/verification/command_malformation.py +147 -0
  330. package/src/devcouncil/verification/command_runner.py +164 -0
  331. package/src/devcouncil/verification/coverage_measurement.py +292 -0
  332. package/src/devcouncil/verification/diff_coverage.py +151 -0
  333. package/src/devcouncil/verification/difficulty.py +296 -0
  334. package/src/devcouncil/verification/effort_heuristics.py +178 -0
  335. package/src/devcouncil/verification/gap_ids.py +63 -0
  336. package/src/devcouncil/verification/gate_cache.py +194 -0
  337. package/src/devcouncil/verification/gate_selector.py +344 -0
  338. package/src/devcouncil/verification/git_diff_fallback.py +272 -0
  339. package/src/devcouncil/verification/implementation_reviewer.py +13 -0
  340. package/src/devcouncil/verification/incremental_check.py +241 -0
  341. package/src/devcouncil/verification/next_actions.py +60 -1
  342. package/src/devcouncil/verification/rigor_analytics.py +130 -0
  343. package/src/devcouncil/verification/sandbox.py +38 -11
  344. package/src/devcouncil/verification/stub_detector.py +369 -0
  345. package/src/devcouncil/verification/test_resolver.py +67 -1
  346. package/src/devcouncil/verification/verifier.py +137 -1666
  347. package/src/devcouncil/verification/verify_orchestration.py +610 -0
  348. package/src/devcouncil/verification/verify_setup.py +176 -0
  349. package/src/devcouncil/verification/wiki_refresh.py +208 -0
  350. package/src/semantic_layer/__init__.py +58 -0
  351. package/src/semantic_layer/benchmark.py +75 -0
  352. package/src/semantic_layer/cache.py +290 -0
  353. package/src/semantic_layer/compressor.py +137 -0
  354. package/src/semantic_layer/config.py +75 -0
  355. package/src/semantic_layer/embeddings.py +69 -0
  356. package/src/semantic_layer/llm_backends.py +99 -0
  357. package/src/semantic_layer/pipeline.py +111 -0
  358. package/src/semantic_layer/router.py +128 -0
  359. package/src/semantic_layer/tuner.py +72 -0
  360. package/uv.lock +973 -9
  361. package/src/devcouncil/artifacts/migrations.py +0 -20
  362. package/src/devcouncil/artifacts/schemas.py +0 -23
  363. package/src/devcouncil/artifacts/serializer.py +0 -21
  364. package/src/devcouncil/integrations/gitnexus.py +0 -70
  365. package/src/devcouncil/integrations/graphify.py +0 -34
@@ -0,0 +1,381 @@
1
+ """Export the code knowledge graph as attributed GraphML or an OKF v0.1 bundle.
2
+
3
+ devcouncil: allow-unwired — package-private; reached via graph CLI / okf_export facade.
4
+ """
5
+
6
+ from __future__ import annotations
7
+
8
+ import os
9
+ from datetime import UTC, datetime
10
+ from pathlib import Path, PurePosixPath
11
+ from typing import Any, Dict, List, Optional, Set, Tuple
12
+
13
+ from devcouncil.indexing.graph.schema import CodeGraph, GraphNode
14
+ from devcouncil.knowledge.okf import OKFBundle, OKFDocument, write_bundle
15
+
16
+
17
+ def _xml(s: str) -> str:
18
+ return (
19
+ str(s)
20
+ .replace("&", "&")
21
+ .replace('"', """)
22
+ .replace("<", "&lt;")
23
+ .replace(">", "&gt;")
24
+ )
25
+
26
+
27
+ def _kind_val(obj: Any) -> str:
28
+ if hasattr(obj, "value"):
29
+ return str(obj.value)
30
+ return str(obj or "")
31
+
32
+
33
+ def _dead_ids(graph: CodeGraph) -> Set[str]:
34
+ return {d.id for d in graph.dead_code}
35
+
36
+
37
+ def file_doc_rel(path: str) -> str:
38
+ """Bundle-relative OKF path for a code file (shared with wiki Wired-to links)."""
39
+ from devcouncil.indexing.graph.export_links import file_doc_path
40
+
41
+ return file_doc_path(path)
42
+
43
+
44
+ def subsystem_doc_rel(area: str) -> str:
45
+ """Bundle-relative OKF path for a subsystem (wiki-compatible slug)."""
46
+ from devcouncil.indexing.graph.export_links import subsystem_doc_path
47
+
48
+ return subsystem_doc_path(area)
49
+
50
+
51
+ def _rel_link(from_rel: str, to_rel: str) -> str:
52
+ """POSIX relative link from one bundle doc to another."""
53
+ src = PurePosixPath(from_rel).parent
54
+ return os.path.relpath(to_rel, start=str(src) or ".").replace("\\", "/")
55
+
56
+
57
+ def export_graphml(graph: CodeGraph) -> str:
58
+ """GraphML with node/edge attributes (kind, confidence, area, community, dead)."""
59
+ dead = _dead_ids(graph)
60
+ unwired = set(graph.unwired_candidates)
61
+ unreliable = bool(graph.meta.get("liveness_unreachable_unreliable"))
62
+ unreachable = set() if unreliable else set(graph.unreachable_files)
63
+ lines = [
64
+ '<?xml version="1.0" encoding="UTF-8"?>',
65
+ '<graphml xmlns="http://graphml.graphdrawing.org/xmlns">',
66
+ ' <key id="kind" for="node" attr.name="kind" attr.type="string"/>',
67
+ ' <key id="path" for="node" attr.name="path" attr.type="string"/>',
68
+ ' <key id="name" for="node" attr.name="name" attr.type="string"/>',
69
+ ' <key id="area" for="node" attr.name="area" attr.type="string"/>',
70
+ ' <key id="community" for="node" attr.name="community" attr.type="string"/>',
71
+ ' <key id="dead" for="node" attr.name="dead" attr.type="boolean"/>',
72
+ ' <key id="unwired" for="node" attr.name="unwired" attr.type="boolean"/>',
73
+ ' <key id="unreachable" for="node" attr.name="unreachable" attr.type="boolean"/>',
74
+ ' <key id="ekind" for="edge" attr.name="kind" attr.type="string"/>',
75
+ ' <key id="confidence" for="edge" attr.name="confidence" attr.type="string"/>',
76
+ ' <graph id="G" edgedefault="directed">',
77
+ ]
78
+ for n in graph.nodes:
79
+ nid = _xml(n.id)
80
+ community = (n.community or "").strip() or (n.area or "")
81
+ lines.append(f' <node id="{nid}">')
82
+ lines.append(f' <data key="kind">{_xml(_kind_val(n.kind))}</data>')
83
+ lines.append(f' <data key="path">{_xml(n.path)}</data>')
84
+ lines.append(f' <data key="name">{_xml(n.name)}</data>')
85
+ lines.append(f' <data key="area">{_xml(n.area)}</data>')
86
+ lines.append(f' <data key="community">{_xml(community)}</data>')
87
+ lines.append(f' <data key="dead">{"true" if (n.id in dead) else "false"}</data>')
88
+ lines.append(
89
+ f' <data key="unwired">{"true" if (n.path in unwired or n.id in unwired) else "false"}</data>'
90
+ )
91
+ lines.append(
92
+ f' <data key="unreachable">'
93
+ f'{"true" if (n.path in unreachable or n.id in unreachable) else "false"}</data>'
94
+ )
95
+ lines.append(" </node>")
96
+ for i, e in enumerate(graph.edges):
97
+ lines.append(
98
+ f' <edge id="e{i}" source="{_xml(e.source)}" target="{_xml(e.target)}">'
99
+ )
100
+ lines.append(f' <data key="ekind">{_xml(e.kind)}</data>')
101
+ lines.append(f' <data key="confidence">{_xml(_kind_val(e.confidence))}</data>')
102
+ lines.append(" </edge>")
103
+ lines.append(" </graph>")
104
+ lines.append("</graphml>")
105
+ return "\n".join(lines)
106
+
107
+
108
+ def _areas_from_graph(graph: CodeGraph) -> Dict[str, List[GraphNode]]:
109
+ by_area: Dict[str, List[GraphNode]] = {}
110
+ for n in graph.nodes:
111
+ if _kind_val(n.kind) != "file":
112
+ continue
113
+ area = n.area or "root"
114
+ by_area.setdefault(area, []).append(n)
115
+ return by_area
116
+
117
+
118
+ def _import_targets(graph: CodeGraph) -> Dict[str, Set[str]]:
119
+ out: Dict[str, Set[str]] = {}
120
+ for e in graph.edges:
121
+ if e.kind != "imports":
122
+ continue
123
+ if "::" in e.source or "::" in e.target:
124
+ continue
125
+ out.setdefault(e.source, set()).add(e.target)
126
+ return out
127
+
128
+
129
+ def _call_targets(graph: CodeGraph) -> Dict[str, Set[str]]:
130
+ out: Dict[str, Set[str]] = {}
131
+ for e in graph.edges:
132
+ if e.kind != "calls":
133
+ continue
134
+ out.setdefault(e.source, set()).add(e.target)
135
+ return out
136
+
137
+
138
+ def build_code_graph_okf(
139
+ graph: CodeGraph,
140
+ *,
141
+ project_name: str = "code-graph",
142
+ timestamp: Optional[str] = None,
143
+ ) -> OKFBundle:
144
+ """Build an OKF v0.1 bundle describing subsystems and code files."""
145
+ ts = timestamp or datetime.now(UTC).strftime("%Y-%m-%dT%H:%M:%SZ")
146
+ docs: List[OKFDocument] = []
147
+ by_area = _areas_from_graph(graph)
148
+ imports_of = _import_targets(graph)
149
+ calls_of = _call_targets(graph)
150
+ dead = _dead_ids(graph)
151
+ unwired = set(graph.unwired_candidates)
152
+ unreliable = bool(graph.meta.get("liveness_unreachable_unreliable"))
153
+ unreachable = set() if unreliable else set(graph.unreachable_files)
154
+
155
+ index_rel = "index.md"
156
+ sub_links = "\n".join(
157
+ f"- [{area}]({_rel_link(index_rel, subsystem_doc_rel(area))})"
158
+ for area in sorted(by_area)
159
+ )
160
+ docs.append(
161
+ OKFDocument(
162
+ type="Code Graph",
163
+ title=project_name,
164
+ description="Symbol-level code knowledge graph export.",
165
+ tags=["code-graph", "devcouncil"],
166
+ timestamp=ts,
167
+ rel_path=index_rel,
168
+ body="\n".join(
169
+ [
170
+ f"# {project_name}",
171
+ "",
172
+ f"Nodes: {len(graph.nodes)} · Edges: {len(graph.edges)}",
173
+ "",
174
+ "## Subsystems",
175
+ "",
176
+ sub_links or "_No file nodes._",
177
+ "",
178
+ "## Entry roots",
179
+ "",
180
+ "\n".join(f"- `{r}`" for r in graph.entry_roots[:50]) or "_None._",
181
+ ]
182
+ ),
183
+ )
184
+ )
185
+
186
+ for area, files in sorted(by_area.items()):
187
+ sub_rel = subsystem_doc_rel(area)
188
+ file_links = "\n".join(
189
+ f"- [{n.path}]({_rel_link(sub_rel, file_doc_rel(n.path))})"
190
+ for n in sorted(files, key=lambda x: x.path)
191
+ )
192
+ neighbor_areas: Set[str] = set()
193
+ for n in files:
194
+ for tgt in imports_of.get(n.path, ()):
195
+ for a2, flist in by_area.items():
196
+ if any(f.path == tgt for f in flist) and a2 != area:
197
+ neighbor_areas.add(a2)
198
+ neighbor_links = "\n".join(
199
+ f"- [{a}]({_rel_link(sub_rel, subsystem_doc_rel(a))})"
200
+ for a in sorted(neighbor_areas)
201
+ )
202
+ docs.append(
203
+ OKFDocument(
204
+ type="Code Subsystem",
205
+ title=area,
206
+ description=f"Files in area {area}",
207
+ resource=area,
208
+ tags=["subsystem", *area.split("/")[:2]],
209
+ timestamp=ts,
210
+ rel_path=sub_rel,
211
+ body="\n".join(
212
+ [
213
+ f"# {area}",
214
+ "",
215
+ "## Files",
216
+ "",
217
+ file_links,
218
+ "",
219
+ "## Wired to (neighbor areas)",
220
+ "",
221
+ neighbor_links or "_None._",
222
+ ]
223
+ ),
224
+ )
225
+ )
226
+
227
+ symbols_by_path: Dict[str, List[GraphNode]] = {}
228
+ for n in graph.nodes:
229
+ if _kind_val(n.kind) == "file":
230
+ continue
231
+ if n.path:
232
+ symbols_by_path.setdefault(n.path, []).append(n)
233
+
234
+ file_paths = {
235
+ n.path for n in graph.nodes if _kind_val(n.kind) == "file" and n.path
236
+ }
237
+
238
+ for n in graph.nodes:
239
+ if _kind_val(n.kind) != "file":
240
+ continue
241
+ path = n.path
242
+ rel = file_doc_rel(path)
243
+ flags = []
244
+ if path in unwired:
245
+ flags.append("unwired")
246
+ if path in unreachable:
247
+ flags.append("unreachable")
248
+ if any(d.path == path for d in graph.dead_code):
249
+ flags.append("has-dead-symbols")
250
+
251
+ import_links = []
252
+ for tgt in sorted(imports_of.get(path, ())):
253
+ if tgt not in file_paths:
254
+ continue
255
+ import_links.append(
256
+ f"- imports [{tgt}]({_rel_link(rel, file_doc_rel(tgt))})"
257
+ )
258
+
259
+ call_links = []
260
+ for src_sym in symbols_by_path.get(path, []):
261
+ for tgt in sorted(calls_of.get(src_sym.id, ())):
262
+ tgt_path = tgt.split("::", 1)[0]
263
+ if tgt_path not in file_paths:
264
+ continue
265
+ call_links.append(
266
+ f"- `{src_sym.name}` calls `{tgt}` → "
267
+ f"[{tgt_path}]({_rel_link(rel, file_doc_rel(tgt_path))})"
268
+ )
269
+
270
+ sym_lines = []
271
+ for s in sorted(symbols_by_path.get(path, []), key=lambda x: (x.line, x.name)):
272
+ mark = " **dead**" if s.id in dead else ""
273
+ sym_lines.append(
274
+ f"- `{s.name}` ({_kind_val(s.kind)}:{s.line}){mark}"
275
+ )
276
+
277
+ area = n.area or "root"
278
+ body_parts = [
279
+ f"# {path}",
280
+ "",
281
+ f"Area: [{area}]({_rel_link(rel, subsystem_doc_rel(area))})",
282
+ f"Community: {n.community or n.area or '—'}",
283
+ f"Flags: {', '.join(flags) if flags else 'none'}",
284
+ "",
285
+ "## Symbols",
286
+ "",
287
+ "\n".join(sym_lines) or "_None._",
288
+ "",
289
+ "## Imports",
290
+ "",
291
+ "\n".join(import_links) or "_None._",
292
+ "",
293
+ "## Calls",
294
+ "",
295
+ "\n".join(call_links[:80]) or "_None._",
296
+ ]
297
+ docs.append(
298
+ OKFDocument(
299
+ type="Code File",
300
+ title=Path(path).name,
301
+ description=path,
302
+ resource=path,
303
+ tags=["file", n.area or "root", *(flags[:3])],
304
+ timestamp=ts,
305
+ rel_path=rel,
306
+ body="\n".join(body_parts),
307
+ )
308
+ )
309
+
310
+ from devcouncil.indexing.graph.export_links import relative_md_link
311
+
312
+ sub_index_body = ["# Subsystems", ""] + [
313
+ f"- {relative_md_link('subsystems/index.md', subsystem_doc_rel(area), area)}"
314
+ for area in sorted(by_area)
315
+ ]
316
+ docs.append(
317
+ OKFDocument(
318
+ type="Index",
319
+ title="Subsystems",
320
+ description="Index of subsystem pages in the code-graph OKF bundle.",
321
+ tags=["index", "code-graph"],
322
+ timestamp=ts,
323
+ rel_path="subsystems/index.md",
324
+ body="\n".join(sub_index_body) if by_area else "# Subsystems\n\n_None._",
325
+ )
326
+ )
327
+ file_nodes = [n for n in graph.nodes if _kind_val(n.kind) == "file"]
328
+ file_index_body = ["# Code files", ""] + [
329
+ f"- {relative_md_link('files/index.md', file_doc_rel(n.path), n.path)}"
330
+ for n in sorted(file_nodes, key=lambda x: x.path)
331
+ ]
332
+ docs.append(
333
+ OKFDocument(
334
+ type="Index",
335
+ title="Code files",
336
+ description="Index of code-file pages in the code-graph OKF bundle.",
337
+ tags=["index", "code-graph"],
338
+ timestamp=ts,
339
+ rel_path="files/index.md",
340
+ body="\n".join(file_index_body) if file_nodes else "# Code files\n\n_None._",
341
+ )
342
+ )
343
+ for d in docs:
344
+ if d.rel_path == "index.md" and "## Subsystems" in d.body:
345
+ d.body = d.body.replace(
346
+ "## Subsystems",
347
+ "## Indexes\n\n"
348
+ "- [Subsystems](subsystems/index.md)\n"
349
+ "- [Code files](files/index.md)\n\n"
350
+ "## Subsystems",
351
+ 1,
352
+ )
353
+ break
354
+
355
+ return OKFBundle(documents=docs)
356
+
357
+
358
+ def write_code_graph_okf(
359
+ root: Path,
360
+ out_dir: Path,
361
+ *,
362
+ graph: Optional[CodeGraph] = None,
363
+ project_name: Optional[str] = None,
364
+ ) -> Tuple[Path, List[Path]]:
365
+ """Write an OKF bundle for the code graph under ``out_dir``.
366
+
367
+ Returns ``(out_dir, written_paths)``.
368
+ """
369
+ from devcouncil.indexing.graph.build import load_code_graph
370
+
371
+ root = root.expanduser().resolve()
372
+ if graph is None:
373
+ graph = load_code_graph(root)
374
+ if graph is None:
375
+ raise FileNotFoundError("No code graph found; run `dev map` first.")
376
+ name = project_name or root.name
377
+ bundle = build_code_graph_okf(graph, project_name=name)
378
+ out = out_dir if out_dir.is_absolute() else root / out_dir
379
+ out.mkdir(parents=True, exist_ok=True)
380
+ written = write_bundle(bundle, out)
381
+ return out, written
@@ -0,0 +1,81 @@
1
+ """Shared markdown link conventions for wiki + code-graph OKF bundles.
2
+
3
+ Wiki lives under ``.devcouncil/knowledge/okf/wiki/`` and graph export defaults to
4
+ ``.devcouncil/knowledge/okf/graph/``. Relative links between them use
5
+ :data:`GRAPH_FROM_WIKI` / :data:`WIKI_FROM_GRAPH` so subsystem pages can
6
+ cross-link into file docs and vice versa.
7
+
8
+ devcouncil: allow-unwired — shared helpers; imported by wiki + graph export.
9
+ """
10
+
11
+ from __future__ import annotations
12
+
13
+ import re
14
+ from typing import Iterable
15
+
16
+ _SLUG_RE = re.compile(r"[^a-z0-9]+")
17
+
18
+ # Default sibling-bundle relative roots (wiki <-> graph under knowledge/okf/).
19
+ GRAPH_FROM_WIKI = "../graph"
20
+ WIKI_FROM_GRAPH = "../wiki"
21
+
22
+
23
+ def slugify_area(area: str) -> str:
24
+ """Filesystem-safe page name for a subsystem area (matches wiki.slugify)."""
25
+ return _SLUG_RE.sub("-", area.lower()).strip("-") or "root"
26
+
27
+
28
+ def subsystem_doc_path(area: str) -> str:
29
+ """Bundle-relative path for a subsystem page."""
30
+ return f"subsystems/{slugify_area(area)}.md"
31
+
32
+
33
+ def file_doc_path(code_path: str) -> str:
34
+ """Bundle-relative path for a code-file page (``files/<path>.md``)."""
35
+ norm = code_path.replace("\\", "/").lstrip("./")
36
+ return f"files/{norm}.md"
37
+
38
+
39
+ def relative_md_link(rel_from: str, rel_to: str, text: str) -> str:
40
+ """Markdown link from one bundle document to another (POSIX-relative)."""
41
+ from_parts = [p for p in rel_from.replace("\\", "/").split("/")[:-1] if p]
42
+ to_parts = [p for p in rel_to.replace("\\", "/").split("/") if p]
43
+ i = 0
44
+ while i < len(from_parts) and i < len(to_parts) - 1 and from_parts[i] == to_parts[i]:
45
+ i += 1
46
+ up = [".."] * (len(from_parts) - i)
47
+ down = to_parts[i:]
48
+ rel = "/".join(up + down) or to_parts[-1]
49
+ return f"[{text}]({rel})"
50
+
51
+
52
+ def cross_bundle_file_link(
53
+ *,
54
+ from_rel: str,
55
+ code_path: str,
56
+ text: str | None = None,
57
+ graph_prefix: str = GRAPH_FROM_WIKI,
58
+ ) -> str:
59
+ """Link from a wiki (or other) doc into a graph-bundle file page."""
60
+ target = f"{graph_prefix.rstrip('/')}/{file_doc_path(code_path)}"
61
+ return relative_md_link(from_rel, target, text or code_path)
62
+
63
+
64
+ def wired_to_bullets(
65
+ targets: Iterable[str],
66
+ *,
67
+ from_rel: str,
68
+ link_to_graph: bool = True,
69
+ graph_prefix: str = GRAPH_FROM_WIKI,
70
+ limit: int = 24,
71
+ ) -> list[str]:
72
+ """OKF-style ``- [path](...)`` bullets for import neighbors."""
73
+ out: list[str] = []
74
+ for t in sorted({x.replace("\\", "/") for x in targets})[:limit]:
75
+ if link_to_graph:
76
+ out.append(
77
+ f"- {cross_bundle_file_link(from_rel=from_rel, code_path=t, graph_prefix=graph_prefix)}"
78
+ )
79
+ else:
80
+ out.append(f"- {relative_md_link(from_rel, file_doc_path(t), t)}")
81
+ return out