@mirnoorata/codexa 0.2.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 (364) hide show
  1. package/LICENSE +21 -0
  2. package/README.md +634 -0
  3. package/dist/artifacts.d.ts +2 -0
  4. package/dist/artifacts.js +375 -0
  5. package/dist/artifacts.js.map +1 -0
  6. package/dist/autonomy.d.ts +17 -0
  7. package/dist/autonomy.js +124 -0
  8. package/dist/autonomy.js.map +1 -0
  9. package/dist/autoverify/policy.d.ts +5 -0
  10. package/dist/autoverify/policy.js +18 -0
  11. package/dist/autoverify/policy.js.map +1 -0
  12. package/dist/autoverify.d.ts +45 -0
  13. package/dist/autoverify.js +1041 -0
  14. package/dist/autoverify.js.map +1 -0
  15. package/dist/cache-lock.d.ts +16 -0
  16. package/dist/cache-lock.js +181 -0
  17. package/dist/cache-lock.js.map +1 -0
  18. package/dist/cli/hooks.d.ts +5 -0
  19. package/dist/cli/hooks.js +264 -0
  20. package/dist/cli/hooks.js.map +1 -0
  21. package/dist/cli.d.ts +2 -0
  22. package/dist/cli.js +1034 -0
  23. package/dist/cli.js.map +1 -0
  24. package/dist/codex-contract.d.ts +2 -0
  25. package/dist/codex-contract.js +78 -0
  26. package/dist/codex-contract.js.map +1 -0
  27. package/dist/command.d.ts +34 -0
  28. package/dist/command.js +162 -0
  29. package/dist/command.js.map +1 -0
  30. package/dist/doctor.d.ts +112 -0
  31. package/dist/doctor.js +518 -0
  32. package/dist/doctor.js.map +1 -0
  33. package/dist/eval/baseline.d.ts +7 -0
  34. package/dist/eval/baseline.js +146 -0
  35. package/dist/eval/baseline.js.map +1 -0
  36. package/dist/eval/historical.d.ts +4 -0
  37. package/dist/eval/historical.js +663 -0
  38. package/dist/eval/historical.js.map +1 -0
  39. package/dist/eval/render.d.ts +2 -0
  40. package/dist/eval/render.js +53 -0
  41. package/dist/eval/render.js.map +1 -0
  42. package/dist/eval/scoring.d.ts +21 -0
  43. package/dist/eval/scoring.js +618 -0
  44. package/dist/eval/scoring.js.map +1 -0
  45. package/dist/eval/synthetic.d.ts +36 -0
  46. package/dist/eval/synthetic.js +107 -0
  47. package/dist/eval/synthetic.js.map +1 -0
  48. package/dist/eval/types.d.ts +36 -0
  49. package/dist/eval/types.js +2 -0
  50. package/dist/eval/types.js.map +1 -0
  51. package/dist/eval.d.ts +140 -0
  52. package/dist/eval.js +551 -0
  53. package/dist/eval.js.map +1 -0
  54. package/dist/git.d.ts +17 -0
  55. package/dist/git.js +189 -0
  56. package/dist/git.js.map +1 -0
  57. package/dist/github-release.d.ts +47 -0
  58. package/dist/github-release.js +610 -0
  59. package/dist/github-release.js.map +1 -0
  60. package/dist/github-sync.d.ts +68 -0
  61. package/dist/github-sync.js +345 -0
  62. package/dist/github-sync.js.map +1 -0
  63. package/dist/graph.d.ts +10 -0
  64. package/dist/graph.js +665 -0
  65. package/dist/graph.js.map +1 -0
  66. package/dist/indexer/aliases.d.ts +2 -0
  67. package/dist/indexer/aliases.js +190 -0
  68. package/dist/indexer/aliases.js.map +1 -0
  69. package/dist/indexer/artifact-writing.d.ts +3 -0
  70. package/dist/indexer/artifact-writing.js +79 -0
  71. package/dist/indexer/artifact-writing.js.map +1 -0
  72. package/dist/indexer/discovery.d.ts +2 -0
  73. package/dist/indexer/discovery.js +5 -0
  74. package/dist/indexer/discovery.js.map +1 -0
  75. package/dist/indexer/external-facts.d.ts +6 -0
  76. package/dist/indexer/external-facts.js +45 -0
  77. package/dist/indexer/external-facts.js.map +1 -0
  78. package/dist/indexer/freshness.d.ts +8 -0
  79. package/dist/indexer/freshness.js +56 -0
  80. package/dist/indexer/freshness.js.map +1 -0
  81. package/dist/indexer/graph-stage.d.ts +2 -0
  82. package/dist/indexer/graph-stage.js +21 -0
  83. package/dist/indexer/graph-stage.js.map +1 -0
  84. package/dist/indexer/parsing.d.ts +30 -0
  85. package/dist/indexer/parsing.js +177 -0
  86. package/dist/indexer/parsing.js.map +1 -0
  87. package/dist/indexer/pipeline.d.ts +5 -0
  88. package/dist/indexer/pipeline.js +8 -0
  89. package/dist/indexer/pipeline.js.map +1 -0
  90. package/dist/indexer/ranking.d.ts +4 -0
  91. package/dist/indexer/ranking.js +134 -0
  92. package/dist/indexer/ranking.js.map +1 -0
  93. package/dist/indexer.d.ts +13 -0
  94. package/dist/indexer.js +395 -0
  95. package/dist/indexer.js.map +1 -0
  96. package/dist/init.d.ts +24 -0
  97. package/dist/init.js +566 -0
  98. package/dist/init.js.map +1 -0
  99. package/dist/language.d.ts +8 -0
  100. package/dist/language.js +123 -0
  101. package/dist/language.js.map +1 -0
  102. package/dist/live-index.d.ts +68 -0
  103. package/dist/live-index.js +215 -0
  104. package/dist/live-index.js.map +1 -0
  105. package/dist/lsp/assist.d.ts +44 -0
  106. package/dist/lsp/assist.js +331 -0
  107. package/dist/lsp/assist.js.map +1 -0
  108. package/dist/lsp/client.d.ts +59 -0
  109. package/dist/lsp/client.js +208 -0
  110. package/dist/lsp/client.js.map +1 -0
  111. package/dist/mcp/compaction.d.ts +15 -0
  112. package/dist/mcp/compaction.js +1249 -0
  113. package/dist/mcp/compaction.js.map +1 -0
  114. package/dist/mcp/envelope.d.ts +44 -0
  115. package/dist/mcp/envelope.js +425 -0
  116. package/dist/mcp/envelope.js.map +1 -0
  117. package/dist/mcp/prompts.d.ts +2 -0
  118. package/dist/mcp/prompts.js +109 -0
  119. package/dist/mcp/prompts.js.map +1 -0
  120. package/dist/mcp/resources.d.ts +2 -0
  121. package/dist/mcp/resources.js +132 -0
  122. package/dist/mcp/resources.js.map +1 -0
  123. package/dist/mcp/runtime.d.ts +15 -0
  124. package/dist/mcp/runtime.js +122 -0
  125. package/dist/mcp/runtime.js.map +1 -0
  126. package/dist/mcp/session-memory.d.ts +3 -0
  127. package/dist/mcp/session-memory.js +61 -0
  128. package/dist/mcp/session-memory.js.map +1 -0
  129. package/dist/mcp/tool-registry.d.ts +269 -0
  130. package/dist/mcp/tool-registry.js +284 -0
  131. package/dist/mcp/tool-registry.js.map +1 -0
  132. package/dist/mcp/tools.d.ts +53 -0
  133. package/dist/mcp/tools.js +372 -0
  134. package/dist/mcp/tools.js.map +1 -0
  135. package/dist/mcp-repo-root.d.ts +16 -0
  136. package/dist/mcp-repo-root.js +322 -0
  137. package/dist/mcp-repo-root.js.map +1 -0
  138. package/dist/mcp-tool-catalog.d.ts +2 -0
  139. package/dist/mcp-tool-catalog.js +2 -0
  140. package/dist/mcp-tool-catalog.js.map +1 -0
  141. package/dist/mcp.d.ts +11 -0
  142. package/dist/mcp.js +332 -0
  143. package/dist/mcp.js.map +1 -0
  144. package/dist/outcome-ranking.d.ts +5 -0
  145. package/dist/outcome-ranking.js +115 -0
  146. package/dist/outcome-ranking.js.map +1 -0
  147. package/dist/parser/context.d.ts +28 -0
  148. package/dist/parser/context.js +2 -0
  149. package/dist/parser/context.js.map +1 -0
  150. package/dist/parser/ecma.d.ts +5 -0
  151. package/dist/parser/ecma.js +388 -0
  152. package/dist/parser/ecma.js.map +1 -0
  153. package/dist/parser/facts.d.ts +12 -0
  154. package/dist/parser/facts.js +137 -0
  155. package/dist/parser/facts.js.map +1 -0
  156. package/dist/parser/json.d.ts +3 -0
  157. package/dist/parser/json.js +318 -0
  158. package/dist/parser/json.js.map +1 -0
  159. package/dist/parser/markdown.d.ts +3 -0
  160. package/dist/parser/markdown.js +180 -0
  161. package/dist/parser/markdown.js.map +1 -0
  162. package/dist/parser/nodes.d.ts +5 -0
  163. package/dist/parser/nodes.js +75 -0
  164. package/dist/parser/nodes.js.map +1 -0
  165. package/dist/parser/python.d.ts +2 -0
  166. package/dist/parser/python.js +307 -0
  167. package/dist/parser/python.js.map +1 -0
  168. package/dist/parser/references.d.ts +3 -0
  169. package/dist/parser/references.js +204 -0
  170. package/dist/parser/references.js.map +1 -0
  171. package/dist/parser/risks.d.ts +4 -0
  172. package/dist/parser/risks.js +62 -0
  173. package/dist/parser/risks.js.map +1 -0
  174. package/dist/parser/routes.d.ts +5 -0
  175. package/dist/parser/routes.js +97 -0
  176. package/dist/parser/routes.js.map +1 -0
  177. package/dist/parser/shallow.d.ts +3 -0
  178. package/dist/parser/shallow.js +545 -0
  179. package/dist/parser/shallow.js.map +1 -0
  180. package/dist/parser/source.d.ts +4 -0
  181. package/dist/parser/source.js +127 -0
  182. package/dist/parser/source.js.map +1 -0
  183. package/dist/parser.d.ts +2 -0
  184. package/dist/parser.js +2 -0
  185. package/dist/parser.js.map +1 -0
  186. package/dist/placeholder-signals.d.ts +15 -0
  187. package/dist/placeholder-signals.js +511 -0
  188. package/dist/placeholder-signals.js.map +1 -0
  189. package/dist/post-edit-outcomes.d.ts +167 -0
  190. package/dist/post-edit-outcomes.js +484 -0
  191. package/dist/post-edit-outcomes.js.map +1 -0
  192. package/dist/queries.d.ts +12 -0
  193. package/dist/queries.js +13 -0
  194. package/dist/queries.js.map +1 -0
  195. package/dist/query/change-plan.d.ts +48 -0
  196. package/dist/query/change-plan.js +858 -0
  197. package/dist/query/change-plan.js.map +1 -0
  198. package/dist/query/compact-data.d.ts +25 -0
  199. package/dist/query/compact-data.js +74 -0
  200. package/dist/query/compact-data.js.map +1 -0
  201. package/dist/query/context.d.ts +5 -0
  202. package/dist/query/context.js +1162 -0
  203. package/dist/query/context.js.map +1 -0
  204. package/dist/query/diff.d.ts +5 -0
  205. package/dist/query/diff.js +111 -0
  206. package/dist/query/diff.js.map +1 -0
  207. package/dist/query/edge-evidence.d.ts +3 -0
  208. package/dist/query/edge-evidence.js +36 -0
  209. package/dist/query/edge-evidence.js.map +1 -0
  210. package/dist/query/formatting.d.ts +14 -0
  211. package/dist/query/formatting.js +67 -0
  212. package/dist/query/formatting.js.map +1 -0
  213. package/dist/query/graph-traversal.d.ts +22 -0
  214. package/dist/query/graph-traversal.js +218 -0
  215. package/dist/query/graph-traversal.js.map +1 -0
  216. package/dist/query/graph.d.ts +14 -0
  217. package/dist/query/graph.js +102 -0
  218. package/dist/query/graph.js.map +1 -0
  219. package/dist/query/impact.d.ts +28 -0
  220. package/dist/query/impact.js +568 -0
  221. package/dist/query/impact.js.map +1 -0
  222. package/dist/query/inspection.d.ts +9 -0
  223. package/dist/query/inspection.js +290 -0
  224. package/dist/query/inspection.js.map +1 -0
  225. package/dist/query/next-tools.d.ts +3 -0
  226. package/dist/query/next-tools.js +25 -0
  227. package/dist/query/next-tools.js.map +1 -0
  228. package/dist/query/placeholders.d.ts +24 -0
  229. package/dist/query/placeholders.js +121 -0
  230. package/dist/query/placeholders.js.map +1 -0
  231. package/dist/query/post-edit/decision.d.ts +49 -0
  232. package/dist/query/post-edit/decision.js +130 -0
  233. package/dist/query/post-edit/decision.js.map +1 -0
  234. package/dist/query/post-edit/dirty-scope.d.ts +16 -0
  235. package/dist/query/post-edit/dirty-scope.js +21 -0
  236. package/dist/query/post-edit/dirty-scope.js.map +1 -0
  237. package/dist/query/post-edit/next-actions.d.ts +22 -0
  238. package/dist/query/post-edit/next-actions.js +44 -0
  239. package/dist/query/post-edit/next-actions.js.map +1 -0
  240. package/dist/query/post-edit/snapshot-contract.d.ts +8 -0
  241. package/dist/query/post-edit/snapshot-contract.js +111 -0
  242. package/dist/query/post-edit/snapshot-contract.js.map +1 -0
  243. package/dist/query/post-edit.d.ts +5 -0
  244. package/dist/query/post-edit.js +1108 -0
  245. package/dist/query/post-edit.js.map +1 -0
  246. package/dist/query/quality.d.ts +43 -0
  247. package/dist/query/quality.js +134 -0
  248. package/dist/query/quality.js.map +1 -0
  249. package/dist/query/raw-search.d.ts +23 -0
  250. package/dist/query/raw-search.js +147 -0
  251. package/dist/query/raw-search.js.map +1 -0
  252. package/dist/query/runtime.d.ts +11 -0
  253. package/dist/query/runtime.js +79 -0
  254. package/dist/query/runtime.js.map +1 -0
  255. package/dist/query/search.d.ts +25 -0
  256. package/dist/query/search.js +429 -0
  257. package/dist/query/search.js.map +1 -0
  258. package/dist/query/session-memory.d.ts +3 -0
  259. package/dist/query/session-memory.js +108 -0
  260. package/dist/query/session-memory.js.map +1 -0
  261. package/dist/query/session.d.ts +41 -0
  262. package/dist/query/session.js +90 -0
  263. package/dist/query/session.js.map +1 -0
  264. package/dist/query/targets.d.ts +25 -0
  265. package/dist/query/targets.js +97 -0
  266. package/dist/query/targets.js.map +1 -0
  267. package/dist/query/test-commands.d.ts +10 -0
  268. package/dist/query/test-commands.js +110 -0
  269. package/dist/query/test-commands.js.map +1 -0
  270. package/dist/query/test-plan.d.ts +6 -0
  271. package/dist/query/test-plan.js +104 -0
  272. package/dist/query/test-plan.js.map +1 -0
  273. package/dist/query/tests.d.ts +48 -0
  274. package/dist/query/tests.js +444 -0
  275. package/dist/query/tests.js.map +1 -0
  276. package/dist/query/verification/shell.d.ts +20 -0
  277. package/dist/query/verification/shell.js +164 -0
  278. package/dist/query/verification/shell.js.map +1 -0
  279. package/dist/query/verification.d.ts +47 -0
  280. package/dist/query/verification.js +1123 -0
  281. package/dist/query/verification.js.map +1 -0
  282. package/dist/query/workflow.d.ts +17 -0
  283. package/dist/query/workflow.js +252 -0
  284. package/dist/query/workflow.js.map +1 -0
  285. package/dist/query/workspace-guidance.d.ts +26 -0
  286. package/dist/query/workspace-guidance.js +214 -0
  287. package/dist/query/workspace-guidance.js.map +1 -0
  288. package/dist/query/worktree-state.d.ts +22 -0
  289. package/dist/query/worktree-state.js +32 -0
  290. package/dist/query/worktree-state.js.map +1 -0
  291. package/dist/query/worktree.d.ts +16 -0
  292. package/dist/query/worktree.js +194 -0
  293. package/dist/query/worktree.js.map +1 -0
  294. package/dist/query-data.d.ts +4 -0
  295. package/dist/query-data.js +112 -0
  296. package/dist/query-data.js.map +1 -0
  297. package/dist/repo-files.d.ts +24 -0
  298. package/dist/repo-files.js +105 -0
  299. package/dist/repo-files.js.map +1 -0
  300. package/dist/resolver.d.ts +9 -0
  301. package/dist/resolver.js +555 -0
  302. package/dist/resolver.js.map +1 -0
  303. package/dist/retrieval.d.ts +46 -0
  304. package/dist/retrieval.js +783 -0
  305. package/dist/retrieval.js.map +1 -0
  306. package/dist/risk-ingest.d.ts +16 -0
  307. package/dist/risk-ingest.js +458 -0
  308. package/dist/risk-ingest.js.map +1 -0
  309. package/dist/rules.d.ts +10 -0
  310. package/dist/rules.js +107 -0
  311. package/dist/rules.js.map +1 -0
  312. package/dist/semantic/python.d.ts +9 -0
  313. package/dist/semantic/python.js +817 -0
  314. package/dist/semantic/python.js.map +1 -0
  315. package/dist/semantic/typescript.d.ts +10 -0
  316. package/dist/semantic/typescript.js +714 -0
  317. package/dist/semantic/typescript.js.map +1 -0
  318. package/dist/semantic-retrieval.d.ts +53 -0
  319. package/dist/semantic-retrieval.js +673 -0
  320. package/dist/semantic-retrieval.js.map +1 -0
  321. package/dist/session-memory/derivation.d.ts +6 -0
  322. package/dist/session-memory/derivation.js +400 -0
  323. package/dist/session-memory/derivation.js.map +1 -0
  324. package/dist/session-memory/event-log.d.ts +23 -0
  325. package/dist/session-memory/event-log.js +126 -0
  326. package/dist/session-memory/event-log.js.map +1 -0
  327. package/dist/session-memory/formatting.d.ts +7 -0
  328. package/dist/session-memory/formatting.js +86 -0
  329. package/dist/session-memory/formatting.js.map +1 -0
  330. package/dist/session-memory/model.d.ts +94 -0
  331. package/dist/session-memory/model.js +17 -0
  332. package/dist/session-memory/model.js.map +1 -0
  333. package/dist/session-memory/runtime.d.ts +24 -0
  334. package/dist/session-memory/runtime.js +289 -0
  335. package/dist/session-memory/runtime.js.map +1 -0
  336. package/dist/session-memory/store.d.ts +27 -0
  337. package/dist/session-memory/store.js +447 -0
  338. package/dist/session-memory/store.js.map +1 -0
  339. package/dist/session-memory.d.ts +1 -0
  340. package/dist/session-memory.js +2 -0
  341. package/dist/session-memory.js.map +1 -0
  342. package/dist/static-analysis.d.ts +36 -0
  343. package/dist/static-analysis.js +505 -0
  344. package/dist/static-analysis.js.map +1 -0
  345. package/dist/symbol-report-ingest.d.ts +8 -0
  346. package/dist/symbol-report-ingest.js +504 -0
  347. package/dist/symbol-report-ingest.js.map +1 -0
  348. package/dist/task-snapshots.d.ts +41 -0
  349. package/dist/task-snapshots.js +430 -0
  350. package/dist/task-snapshots.js.map +1 -0
  351. package/dist/types.d.ts +848 -0
  352. package/dist/types.js +12 -0
  353. package/dist/types.js.map +1 -0
  354. package/dist/util.d.ts +11 -0
  355. package/dist/util.js +63 -0
  356. package/dist/util.js.map +1 -0
  357. package/dist/version.d.ts +1 -0
  358. package/dist/version.js +5 -0
  359. package/dist/version.js.map +1 -0
  360. package/package.json +81 -0
  361. package/plugins/codexa/.codex-plugin/plugin.json +38 -0
  362. package/plugins/codexa/.mcp.json +20 -0
  363. package/plugins/codexa/scripts/codexa-mcp.js +100 -0
  364. package/plugins/codexa/skills/codexa/SKILL.md +48 -0
@@ -0,0 +1,290 @@
1
+ import { freshnessBanner, ambiguityResult } from "./runtime.js";
2
+ import { ensureQuerySession } from "./session.js";
3
+ import { edgeEvidenceForGraphEdges } from "./edge-evidence.js";
4
+ import { nextTool } from "./next-tools.js";
5
+ import { resolveFileTarget } from "./targets.js";
6
+ import { graphEdgeSort } from "./graph.js";
7
+ import { recommendTests } from "./tests.js";
8
+ import { lspAssistForFiles, lspAssistForSymbol, lspOptionsFromQueryOptions } from "../lsp/assist.js";
9
+ import { limitText, uniqueSorted } from "../util.js";
10
+ export async function symbolContextQuery(input, symbolIdOrName, options = {}, symbolOptions = {}) {
11
+ const session = await ensureQuerySession(input, options);
12
+ const { index, freshness, refresh, repoRoot } = session;
13
+ const depth = Math.max(1, Math.min(symbolOptions.depth ?? 1, 3));
14
+ const includeEvidence = symbolOptions.includeEvidence ?? true;
15
+ const resolved = resolveSymbolForContext(index.symbols, symbolIdOrName, symbolOptions.language);
16
+ if (resolved.ambiguous.length > 0) {
17
+ const nextTools = [nextTool("symbol_context", "symbol name is ambiguous; rerun with an exact stable symbol id", { symbol: resolved.ambiguous[0]?.id, depth, includeEvidence })];
18
+ return {
19
+ freshness,
20
+ refresh,
21
+ text: [
22
+ freshnessBanner(freshness, refresh),
23
+ `Ambiguous symbol target "${symbolIdOrName}". Use an exact symbol id or qualified name.`,
24
+ ...resolved.ambiguous.slice(0, 20).map((candidate) => `- ${candidate.id} ${candidate.qualifiedName} (${candidate.kind}, ${candidate.language}) at ${candidate.path}:${candidate.range?.startLine ?? 1}`)
25
+ ].join("\n"),
26
+ data: {
27
+ mode: "symbol_context",
28
+ symbol: null,
29
+ ambiguous: true,
30
+ candidates: resolved.ambiguous.slice(0, 20).map(compactSymbolCandidate),
31
+ nextTools,
32
+ systemMessage: nextTools[0]?.reason
33
+ }
34
+ };
35
+ }
36
+ const symbol = resolved.symbol;
37
+ if (!symbol) {
38
+ const nextTools = [nextTool("search", "no exact symbol matched; search lexical and semantic context for the target", { query: symbolIdOrName })];
39
+ return {
40
+ freshness,
41
+ refresh,
42
+ text: `${freshnessBanner(freshness, refresh)}\nNo symbol found for ${symbolIdOrName}`,
43
+ data: { mode: "symbol_context", symbol: null, nextTools, systemMessage: nextTools[0]?.reason }
44
+ };
45
+ }
46
+ const directEdges = directSymbolEdges(index.graphEdges, symbol);
47
+ const neighborhoodEdges = symbolNeighborhoodEdges(index.graphEdges, symbol, depth);
48
+ const callers = directEdges.incoming.filter((edge) => ["CALLS", "REFERENCES", "IMPORTS", "IMPLEMENTS", "EXTENDS", "TESTS", "TEST_COVERS_WORKFLOW"].includes(edge.edgeKind)).slice(0, 30);
49
+ const callees = directEdges.outgoing.filter((edge) => ["CALLS", "REFERENCES", "IMPORTS", "IMPLEMENTS", "EXTENDS", "EXPORTS", "TYPE_EXPORTS"].includes(edge.edgeKind)).slice(0, 30);
50
+ const importers = index.imports.filter((imp) => imp.resolvedPath === symbol.path).slice(0, 30);
51
+ const references = index.usageSites.filter((usage) => usage.targetSymbolId === symbol.id).slice(0, 30);
52
+ const implementations = directEdges.incoming.filter((edge) => edge.edgeKind === "IMPLEMENTS" || edge.edgeKind === "EXTENDS").slice(0, 30);
53
+ const tests = recommendTests(index, [symbol.path], repoRoot).slice(0, 12);
54
+ const risks = index.risks.filter((risk) => risk.path === symbol.path).slice(0, 20);
55
+ const containingSymbol = symbol.parentSymbolId ? index.symbols.find((candidate) => candidate.id === symbol.parentSymbolId) : undefined;
56
+ const file = index.files.find((candidate) => candidate.path === symbol.path);
57
+ const lspAssist = options.lsp || process.env.CODEXA_LSP === "1" ? await lspAssistForSymbol(repoRoot, index, symbol, lspOptionsFromQueryOptions(options)) : undefined;
58
+ const impactedFiles = uniqueSorted(neighborhoodEdges.flatMap((edge) => [edge.fromPath, edge.toPath].filter((value) => Boolean(value))));
59
+ const nextTools = [
60
+ nextTool("impact", "inspect blast radius and verification for this symbol", { symbol: symbol.id, depth }),
61
+ callers.length > 0 ? nextTool("callers", "inspect direct callers/importers with edge evidence", { symbol: symbol.id }) : undefined,
62
+ callees.length > 0 ? nextTool("callees", "inspect direct dependencies with edge evidence", { symbol: symbol.id }) : undefined,
63
+ tests.length > 0 ? nextTool("test_plan", "choose targeted verification for this symbol neighborhood", { files: [symbol.path] }) : undefined
64
+ ].filter((tool) => Boolean(tool));
65
+ const text = [
66
+ freshnessBanner(freshness, refresh),
67
+ `Symbol: ${symbol.qualifiedName} (${symbol.kind}, ${symbol.language})`,
68
+ `Location: ${symbol.path}:${symbol.range?.startLine ?? 1}`,
69
+ containingSymbol ? `Containing symbol: ${containingSymbol.qualifiedName}` : undefined,
70
+ `File rank: ${file?.rank.toFixed(2) ?? "unknown"}`,
71
+ `Confidence: ${symbol.confidence} via ${symbol.source}`,
72
+ `Neighborhood: depth ${depth}; callers ${callers.length}; callees ${callees.length}; references ${references.length}; tests ${tests.length}; impacted files ${impactedFiles.length}`,
73
+ "",
74
+ "Direct callers:",
75
+ ...(callers.length > 0 ? callers.map(formatSymbolEdge) : ["- none"]),
76
+ "",
77
+ "Direct callees:",
78
+ ...(callees.length > 0 ? callees.map(formatSymbolEdge) : ["- none"]),
79
+ "",
80
+ "Importers:",
81
+ ...(importers.length > 0 ? importers.map((imp) => `- ${imp.path}: ${imp.importedName ?? "*"} from ${imp.specifier} (${imp.confidence})`) : ["- none"]),
82
+ "",
83
+ "References:",
84
+ ...(references.length > 0 ? references.map((usage) => `- ${usage.path}:${usage.range?.startLine ?? 1} ${usage.kind} ${usage.confidence} ${usage.text}`) : ["- none"]),
85
+ "",
86
+ "Implementations/extends:",
87
+ ...(implementations.length > 0 ? implementations.map(formatSymbolEdge) : ["- none"]),
88
+ "",
89
+ "Covering tests:",
90
+ ...(tests.length > 0 ? tests.map((test) => `- ${test.path}: ${test.evidenceTier}; ${test.reason}`) : ["- none proven"]),
91
+ "",
92
+ "Related risks:",
93
+ ...(risks.length > 0 ? risks.map((risk) => `- ${risk.signal}: ${risk.reason} (${risk.confidence})`) : ["- none"]),
94
+ "",
95
+ "Recommended next tools:",
96
+ ...nextTools.map((tool) => `- ${tool.tool}: ${tool.reason}`),
97
+ ...formatLspAssist(lspAssist)
98
+ ].filter((line) => line !== undefined).join("\n");
99
+ return {
100
+ freshness,
101
+ refresh,
102
+ text: limitText(text, 7000),
103
+ data: {
104
+ mode: "symbol_context",
105
+ symbol,
106
+ file,
107
+ containingSymbol,
108
+ callers,
109
+ callees,
110
+ importers,
111
+ references,
112
+ implementations,
113
+ tests,
114
+ risks,
115
+ impactRadius: {
116
+ depth,
117
+ fileCount: impactedFiles.length,
118
+ files: impactedFiles.slice(0, 60),
119
+ edgeCount: neighborhoodEdges.length
120
+ },
121
+ edgeEvidence: includeEvidence ? edgeEvidenceForGraphEdges(neighborhoodEdges, freshness, 80) : [],
122
+ nextTools,
123
+ systemMessage: nextTools[0]?.reason,
124
+ lspAssist
125
+ }
126
+ };
127
+ }
128
+ function resolveSymbolForContext(symbols, query, language) {
129
+ const filterLanguage = language?.trim();
130
+ const candidates = filterLanguage ? symbols.filter((symbol) => symbol.language === filterLanguage) : symbols;
131
+ const byId = candidates.find((symbol) => symbol.id === query);
132
+ if (byId) {
133
+ return { symbol: byId, ambiguous: [] };
134
+ }
135
+ const byQualified = candidates.filter((symbol) => symbol.qualifiedName === query);
136
+ if (byQualified.length === 1) {
137
+ return { symbol: byQualified[0], ambiguous: [] };
138
+ }
139
+ if (byQualified.length > 1) {
140
+ return { ambiguous: byQualified };
141
+ }
142
+ const byName = candidates.filter((symbol) => symbol.name === query);
143
+ if (byName.length === 1) {
144
+ return { symbol: byName[0], ambiguous: [] };
145
+ }
146
+ return { ambiguous: byName };
147
+ }
148
+ function directSymbolEdges(edges, symbol) {
149
+ const incoming = edges
150
+ .filter((edge) => edge.toSymbolId === symbol.id || edge.toId === symbol.id)
151
+ .sort(graphEdgeSort);
152
+ const outgoing = edges
153
+ .filter((edge) => edge.fromSymbolId === symbol.id || edge.fromId === symbol.id)
154
+ .sort(graphEdgeSort);
155
+ return { incoming, outgoing };
156
+ }
157
+ function symbolNeighborhoodEdges(edges, symbol, depth) {
158
+ const result = [];
159
+ const seenEdges = new Set();
160
+ const seenNodes = new Set([symbol.id]);
161
+ let frontier = new Set([symbol.id]);
162
+ for (let currentDepth = 0; currentDepth < depth; currentDepth += 1) {
163
+ const nextFrontier = new Set();
164
+ for (const edge of edges) {
165
+ if (!frontier.has(edge.fromId) && !frontier.has(edge.toId) && (!edge.fromSymbolId || !frontier.has(edge.fromSymbolId)) && (!edge.toSymbolId || !frontier.has(edge.toSymbolId))) {
166
+ continue;
167
+ }
168
+ if (!seenEdges.has(edge.id)) {
169
+ seenEdges.add(edge.id);
170
+ result.push(edge);
171
+ }
172
+ for (const node of [edge.fromId, edge.toId, edge.fromSymbolId, edge.toSymbolId]) {
173
+ if (node && !seenNodes.has(node)) {
174
+ seenNodes.add(node);
175
+ nextFrontier.add(node);
176
+ }
177
+ }
178
+ }
179
+ frontier = nextFrontier;
180
+ if (frontier.size === 0) {
181
+ break;
182
+ }
183
+ }
184
+ return result.sort(graphEdgeSort).slice(0, 120);
185
+ }
186
+ function formatSymbolEdge(edge) {
187
+ return `- ${edge.edgeKind}: ${edge.fromPath ?? edge.fromId} -> ${edge.toPath ?? edge.toId}; ${edge.confidence}; ${edge.reason}`;
188
+ }
189
+ function compactSymbolCandidate(symbol) {
190
+ return {
191
+ id: symbol.id,
192
+ name: symbol.name,
193
+ qualifiedName: symbol.qualifiedName,
194
+ kind: symbol.kind,
195
+ path: symbol.path,
196
+ language: symbol.language,
197
+ range: symbol.range,
198
+ confidence: symbol.confidence,
199
+ source: symbol.source
200
+ };
201
+ }
202
+ export async function fileContextQuery(input, filePath, options = {}) {
203
+ const session = await ensureQuerySession(input, options);
204
+ const { index, freshness, refresh, repoRoot } = session;
205
+ const resolved = resolveFileTarget(index, filePath, repoRoot);
206
+ if (resolved.ambiguous.length > 0) {
207
+ return ambiguityResult(freshness, refresh, "file", filePath, resolved.ambiguous);
208
+ }
209
+ const file = resolved.file;
210
+ if (!file) {
211
+ return {
212
+ freshness,
213
+ refresh,
214
+ text: `${freshnessBanner(freshness, refresh)}\nNo file found for ${filePath}`,
215
+ data: { file: null }
216
+ };
217
+ }
218
+ const symbols = index.symbols.filter((symbol) => symbol.path === file.path).slice(0, 40);
219
+ const imports = index.imports.filter((imp) => imp.path === file.path).slice(0, 30);
220
+ const usages = index.usageSites.filter((usage) => usage.path === file.path).slice(0, 30);
221
+ const risks = index.risks.filter((risk) => risk.path === file.path).slice(0, 20);
222
+ const parserErrors = index.parserErrors.filter((error) => error.path === file.path).slice(0, 12);
223
+ const importedBy = index.imports.filter((imp) => imp.resolvedPath === file.path).slice(0, 30);
224
+ const testedBy = index.testEdges.filter((edge) => edge.targetPath === file.path).slice(0, 20);
225
+ const definedSymbolIds = new Set(symbols.map((symbol) => symbol.id));
226
+ const externalUsages = index.usageSites
227
+ .filter((usage) => usage.targetSymbolId && definedSymbolIds.has(usage.targetSymbolId) && usage.path !== file.path)
228
+ .slice(0, 30);
229
+ const lspAssist = options.lsp || process.env.CODEXA_LSP === "1" ? (await lspAssistForFiles(repoRoot, [file], lspOptionsFromQueryOptions(options)))[0] : undefined;
230
+ const text = [
231
+ freshnessBanner(freshness, refresh),
232
+ `File: ${file.path} (${file.language})`,
233
+ `Rank: ${file.rank.toFixed(2)}; risk: ${file.riskScore.toFixed(1)}; dirty: ${file.dirty ? "yes" : "no"}`,
234
+ "",
235
+ "Parser errors:",
236
+ ...(parserErrors.length > 0
237
+ ? parserErrors.map((error) => `- ${error.message} at ${error.path}:${error.range?.startLine ?? 1}`)
238
+ : ["- none"]),
239
+ "",
240
+ "Symbols:",
241
+ ...symbols.map((symbol) => `- ${symbol.qualifiedName} (${symbol.kind}, ${symbol.confidence}) at ${symbol.range?.startLine ?? 1}`),
242
+ "",
243
+ "Imports:",
244
+ ...imports.map((imp) => {
245
+ const imported = imp.importedName ?? "*";
246
+ const local = imp.localName && imp.localName !== imported ? ` as ${imp.localName}` : "";
247
+ return `- ${imported}${local} from ${imp.specifier}${imp.resolvedPath ? ` -> ${imp.resolvedPath}` : ""}`;
248
+ }),
249
+ "",
250
+ "Imported by:",
251
+ ...(importedBy.length > 0
252
+ ? importedBy.map((imp) => `- ${imp.path}: ${imp.importedName ?? "*"}${imp.localName && imp.localName !== imp.importedName ? ` as ${imp.localName}` : ""}`)
253
+ : ["- none"]),
254
+ "",
255
+ "External usage sites:",
256
+ ...(externalUsages.length > 0
257
+ ? externalUsages.map((usage) => `- ${usage.path}:${usage.range?.startLine ?? 1} ${usage.kind} ${usage.name} (${usage.confidence})`)
258
+ : ["- none"]),
259
+ "",
260
+ "Covered by tests:",
261
+ ...(testedBy.length > 0 ? testedBy.map((edge) => `- ${edge.path}: ${edge.reason} (${edge.confidence})`) : ["- none"]),
262
+ "",
263
+ "Usage samples:",
264
+ ...usages.map((usage) => `- ${usage.name} (${usage.kind}, ${usage.confidence}) at ${usage.range?.startLine ?? 1}`),
265
+ "",
266
+ "Risk signals:",
267
+ ...risks.map((risk) => `- ${risk.signal}: ${risk.reason} (${risk.confidence})`),
268
+ ...formatLspAssist(lspAssist)
269
+ ].join("\n");
270
+ return { freshness, refresh, text: limitText(text, 6500), data: { file, symbols, imports, importedBy, usages, externalUsages, testedBy, risks, parserErrors, lspAssist } };
271
+ }
272
+ function formatLspAssist(assist) {
273
+ if (!assist) {
274
+ return [];
275
+ }
276
+ return [
277
+ "",
278
+ `LSP assist: ${assist.status}${assist.server ? ` via ${assist.server}` : ""}`,
279
+ ...assist.warnings.map((warning) => `- warning: ${warning}`),
280
+ assist.documentSymbols.length > 0 ? "LSP document symbols:" : undefined,
281
+ ...assist.documentSymbols.slice(0, 12).map((symbol) => `- ${symbol.name}${symbol.line ? `:${symbol.line}` : ""}`),
282
+ assist.definitions.length > 0 ? "LSP definitions:" : undefined,
283
+ ...assist.definitions.slice(0, 12).map((loc) => `- ${loc.path ?? loc.uri}${loc.line ? `:${loc.line}` : ""}`),
284
+ assist.references.length > 0 ? "LSP references:" : undefined,
285
+ ...assist.references.slice(0, 12).map((loc) => `- ${loc.path ?? loc.uri}${loc.line ? `:${loc.line}` : ""}`),
286
+ assist.diagnostics.length > 0 ? "LSP diagnostics:" : undefined,
287
+ ...assist.diagnostics.slice(0, 12).map((diagnostic) => `- ${diagnostic.line ?? 1}: ${diagnostic.message}`)
288
+ ].filter((line) => typeof line === "string");
289
+ }
290
+ //# sourceMappingURL=inspection.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"inspection.js","sourceRoot":"","sources":["../../src/query/inspection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAChE,OAAO,EAAE,kBAAkB,EAA0B,MAAM,cAAc,CAAC;AAC1E,OAAO,EAAE,yBAAyB,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACjD,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAE,iBAAiB,EAAE,kBAAkB,EAAE,0BAA0B,EAAwB,MAAM,kBAAkB,CAAC;AAE3H,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAQrD,MAAM,CAAC,KAAK,UAAU,kBAAkB,CAAC,KAAwB,EAAE,cAAsB,EAAE,UAAwB,EAAE,EAAE,gBAA2C,EAAE;IAClK,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACzD,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACxD,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,KAAK,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACjE,MAAM,eAAe,GAAG,aAAa,CAAC,eAAe,IAAI,IAAI,CAAC;IAC9D,MAAM,QAAQ,GAAG,uBAAuB,CAAC,KAAK,CAAC,OAAO,EAAE,cAAc,EAAE,aAAa,CAAC,QAAQ,CAAC,CAAC;IAChG,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,gBAAgB,EAAE,gEAAgE,EAAE,EAAE,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC;QAChL,OAAO;YACL,SAAS;YACT,OAAO;YACP,IAAI,EAAE;gBACJ,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC;gBACnC,4BAA4B,cAAc,8CAA8C;gBACxF,GAAG,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,KAAK,SAAS,CAAC,EAAE,IAAI,SAAS,CAAC,aAAa,KAAK,SAAS,CAAC,IAAI,KAAK,SAAS,CAAC,QAAQ,QAAQ,SAAS,CAAC,IAAI,IAAI,SAAS,CAAC,KAAK,EAAE,SAAS,IAAI,CAAC,EAAE,CAAC;aACzM,CAAC,IAAI,CAAC,IAAI,CAAC;YACZ,IAAI,EAAE;gBACJ,IAAI,EAAE,gBAAgB;gBACtB,MAAM,EAAE,IAAI;gBACZ,SAAS,EAAE,IAAI;gBACf,UAAU,EAAE,QAAQ,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,sBAAsB,CAAC;gBACvE,SAAS;gBACT,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM;aACpC;SACF,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC;IAC/B,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,MAAM,SAAS,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,6EAA6E,EAAE,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;QACjJ,OAAO;YACL,SAAS;YACT,OAAO;YACP,IAAI,EAAE,GAAG,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC,yBAAyB,cAAc,EAAE;YACrF,IAAI,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE;SAC/F,CAAC;IACJ,CAAC;IACD,MAAM,WAAW,GAAG,iBAAiB,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IAChE,MAAM,iBAAiB,GAAG,uBAAuB,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;IACnF,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,OAAO,EAAE,sBAAsB,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzL,MAAM,OAAO,GAAG,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnL,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/F,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACvG,MAAM,eAAe,GAAG,WAAW,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,YAAY,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1I,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC1E,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnF,MAAM,gBAAgB,GAAG,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACvI,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC;IAC7E,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,KAAK,GAAG,CAAC,CAAC,CAAC,MAAM,kBAAkB,CAAC,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,0BAA0B,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACrK,MAAM,aAAa,GAAG,YAAY,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IACzJ,MAAM,SAAS,GAAG;QAChB,QAAQ,CAAC,QAAQ,EAAE,uDAAuD,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC;QACzG,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,EAAE,qDAAqD,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;QAClI,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,SAAS,EAAE,gDAAgD,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;QAC7H,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,WAAW,EAAE,2DAA2D,EAAE,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS;KAC5I,CAAC,MAAM,CAAC,CAAC,IAAI,EAAuC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACvE,MAAM,IAAI,GAAG;QACX,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC;QACnC,WAAW,MAAM,CAAC,aAAa,KAAK,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,QAAQ,GAAG;QACtE,aAAa,MAAM,CAAC,IAAI,IAAI,MAAM,CAAC,KAAK,EAAE,SAAS,IAAI,CAAC,EAAE;QAC1D,gBAAgB,CAAC,CAAC,CAAC,sBAAsB,gBAAgB,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,SAAS;QACrF,cAAc,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,SAAS,EAAE;QAClD,eAAe,MAAM,CAAC,UAAU,QAAQ,MAAM,CAAC,MAAM,EAAE;QACvD,uBAAuB,KAAK,aAAa,OAAO,CAAC,MAAM,aAAa,OAAO,CAAC,MAAM,gBAAgB,UAAU,CAAC,MAAM,WAAW,KAAK,CAAC,MAAM,oBAAoB,aAAa,CAAC,MAAM,EAAE;QACpL,EAAE;QACF,iBAAiB;QACjB,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACpE,EAAE;QACF,iBAAiB;QACjB,GAAG,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACpE,EAAE;QACF,YAAY;QACZ,GAAG,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,YAAY,IAAI,GAAG,SAAS,GAAG,CAAC,SAAS,KAAK,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACtJ,EAAE;QACF,aAAa;QACb,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACrK,EAAE;QACF,0BAA0B;QAC1B,GAAG,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACpF,EAAE;QACF,iBAAiB;QACjB,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,YAAY,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC;QACvH,EAAE;QACF,gBAAgB;QAChB,GAAG,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACjH,EAAE;QACF,yBAAyB;QACzB,GAAG,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QAC5D,GAAG,eAAe,CAAC,SAAS,CAAC;KAC9B,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClE,OAAO;QACL,SAAS;QACT,OAAO;QACP,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC;QAC3B,IAAI,EAAE;YACJ,IAAI,EAAE,gBAAgB;YACtB,MAAM;YACN,IAAI;YACJ,gBAAgB;YAChB,OAAO;YACP,OAAO;YACP,SAAS;YACT,UAAU;YACV,eAAe;YACf,KAAK;YACL,KAAK;YACL,YAAY,EAAE;gBACZ,KAAK;gBACL,SAAS,EAAE,aAAa,CAAC,MAAM;gBAC/B,KAAK,EAAE,aAAa,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;gBACjC,SAAS,EAAE,iBAAiB,CAAC,MAAM;aACpC;YACD,YAAY,EAAE,eAAe,CAAC,CAAC,CAAC,yBAAyB,CAAC,iBAAiB,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE;YAChG,SAAS;YACT,aAAa,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM;YACnC,SAAS;SACV;KACF,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,OAAqB,EAAE,KAAa,EAAE,QAAiB;IACtF,MAAM,cAAc,GAAG,QAAQ,EAAE,IAAI,EAAE,CAAC;IACxC,MAAM,UAAU,GAAG,cAAc,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,KAAK,cAAc,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAC7G,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC;IAC9D,IAAI,IAAI,EAAE,CAAC;QACT,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACzC,CAAC;IACD,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,aAAa,KAAK,KAAK,CAAC,CAAC;IAClF,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,OAAO,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACnD,CAAC;IACD,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,CAAC;IACpC,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IACpE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IAC9C,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC;AAC/B,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAsB,EAAE,MAAkB;IACnE,MAAM,QAAQ,GAAG,KAAK;SACnB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,MAAM,CAAC,EAAE,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC,EAAE,CAAC;SAC1E,IAAI,CAAC,aAAa,CAAC,CAAC;IACvB,MAAM,QAAQ,GAAG,KAAK;SACnB,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,KAAK,MAAM,CAAC,EAAE,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM,CAAC,EAAE,CAAC;SAC9E,IAAI,CAAC,aAAa,CAAC,CAAC;IACvB,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;AAChC,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAsB,EAAE,MAAkB,EAAE,KAAa;IACxF,MAAM,MAAM,GAAoB,EAAE,CAAC;IACnC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAC;IACpC,MAAM,SAAS,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/C,IAAI,QAAQ,GAAG,IAAI,GAAG,CAAS,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5C,KAAK,IAAI,YAAY,GAAG,CAAC,EAAE,YAAY,GAAG,KAAK,EAAE,YAAY,IAAI,CAAC,EAAE,CAAC;QACnE,MAAM,YAAY,GAAG,IAAI,GAAG,EAAU,CAAC;QACvC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;gBAC/K,SAAS;YACX,CAAC;YACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC5B,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;gBACvB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpB,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;gBAChF,IAAI,IAAI,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACjC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBACpB,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBACzB,CAAC;YACH,CAAC;QACH,CAAC;QACD,QAAQ,GAAG,YAAY,CAAC;QACxB,IAAI,QAAQ,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM;QACR,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAmB;IAC3C,OAAO,KAAK,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,MAAM,OAAO,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;AAClI,CAAC;AAED,SAAS,sBAAsB,CAAC,MAAkB;IAChD,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,KAAK,EAAE,MAAM,CAAC,KAAK;QACnB,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,MAAM,EAAE,MAAM,CAAC,MAAM;KACtB,CAAC;AACJ,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,KAAwB,EAAE,QAAgB,EAAE,UAAwB,EAAE;IAC3G,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACzD,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,EAAE,GAAG,OAAO,CAAC;IACxD,MAAM,QAAQ,GAAG,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC9D,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClC,OAAO,eAAe,CAAC,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACnF,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC3B,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,OAAO;YACL,SAAS;YACT,OAAO;YACP,IAAI,EAAE,GAAG,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC,uBAAuB,QAAQ,EAAE;YAC7E,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE;SACrB,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzF,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACnF,MAAM,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACzF,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACjF,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACjG,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC9F,MAAM,QAAQ,GAAG,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAC9F,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,MAAM,cAAc,GAAG,KAAK,CAAC,UAAU;SACpC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,cAAc,IAAI,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,IAAI,CAAC;SACjH,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IAChB,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,CAAC,UAAU,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,iBAAiB,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,EAAE,0BAA0B,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClK,MAAM,IAAI,GAAG;QACX,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC;QACnC,SAAS,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,QAAQ,GAAG;QACvC,SAAS,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,YAAY,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE;QACxG,EAAE;QACF,gBAAgB;QAChB,GAAG,CAAC,YAAY,CAAC,MAAM,GAAG,CAAC;YACzB,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,OAAO,OAAO,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,SAAS,IAAI,CAAC,EAAE,CAAC;YACnG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACf,EAAE;QACF,UAAU;QACV,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,MAAM,CAAC,aAAa,KAAK,MAAM,CAAC,IAAI,KAAK,MAAM,CAAC,UAAU,QAAQ,MAAM,CAAC,KAAK,EAAE,SAAS,IAAI,CAAC,EAAE,CAAC;QACjI,EAAE;QACF,UAAU;QACV,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;YACrB,MAAM,QAAQ,GAAG,GAAG,CAAC,YAAY,IAAI,GAAG,CAAC;YACzC,MAAM,KAAK,GAAG,GAAG,CAAC,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACxF,OAAO,KAAK,QAAQ,GAAG,KAAK,SAAS,GAAG,CAAC,SAAS,GAAG,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAC3G,CAAC,CAAC;QACF,EAAE;QACF,cAAc;QACd,GAAG,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;YACvB,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,CAAC,YAAY,IAAI,GAAG,GAAG,GAAG,CAAC,SAAS,IAAI,GAAG,CAAC,SAAS,KAAK,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;YAC1J,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACf,EAAE;QACF,uBAAuB;QACvB,GAAG,CAAC,cAAc,CAAC,MAAM,GAAG,CAAC;YAC3B,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,KAAK,EAAE,SAAS,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,GAAG,CAAC;YACnI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACf,EAAE;QACF,mBAAmB;QACnB,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACrH,EAAE;QACF,gBAAgB;QAChB,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,UAAU,QAAQ,KAAK,CAAC,KAAK,EAAE,SAAS,IAAI,CAAC,EAAE,CAAC;QAClH,EAAE;QACF,eAAe;QACf,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,UAAU,GAAG,CAAC;QAC/E,GAAG,eAAe,CAAC,SAAS,CAAC;KAC9B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,cAAc,EAAE,QAAQ,EAAE,KAAK,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,CAAC;AAC7K,CAAC;AAED,SAAS,eAAe,CAAC,MAAmC;IAC1D,IAAI,CAAC,MAAM,EAAE,CAAC;QACZ,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO;QACL,EAAE;QACF,eAAe,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QAC7E,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,cAAc,OAAO,EAAE,CAAC;QAC5D,MAAM,CAAC,eAAe,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,uBAAuB,CAAC,CAAC,CAAC,SAAS;QACvE,GAAG,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,MAAM,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QACjH,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS;QAC9D,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAC5G,MAAM,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS;QAC5D,GAAG,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;QAC3G,MAAM,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,SAAS;QAC9D,GAAG,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,KAAK,UAAU,CAAC,IAAI,IAAI,CAAC,KAAK,UAAU,CAAC,OAAO,EAAE,CAAC;KAC3G,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC;AAC/D,CAAC"}
@@ -0,0 +1,3 @@
1
+ import type { GuidedNextToolV1 } from "../types.js";
2
+ export declare function nextTool(tool: string, reason: string, requiredInputs?: Record<string, unknown>, readOnly?: boolean, writes?: string[]): GuidedNextToolV1;
3
+ export declare function nextToolNames(value: unknown): string[];
@@ -0,0 +1,25 @@
1
+ export function nextTool(tool, reason, requiredInputs = {}, readOnly = true, writes = []) {
2
+ return {
3
+ schemaVersion: 1,
4
+ tool,
5
+ reason,
6
+ requiredInputs,
7
+ readOnly,
8
+ writes
9
+ };
10
+ }
11
+ export function nextToolNames(value) {
12
+ if (!Array.isArray(value)) {
13
+ return [];
14
+ }
15
+ return value.flatMap((entry) => {
16
+ if (typeof entry === "string") {
17
+ return [entry];
18
+ }
19
+ if (entry && typeof entry === "object" && typeof entry.tool === "string") {
20
+ return [entry.tool];
21
+ }
22
+ return [];
23
+ });
24
+ }
25
+ //# sourceMappingURL=next-tools.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"next-tools.js","sourceRoot":"","sources":["../../src/query/next-tools.ts"],"names":[],"mappings":"AAEA,MAAM,UAAU,QAAQ,CACtB,IAAY,EACZ,MAAc,EACd,iBAA0C,EAAE,EAC5C,QAAQ,GAAG,IAAI,EACf,SAAmB,EAAE;IAErB,OAAO;QACL,aAAa,EAAE,CAAC;QAChB,IAAI;QACJ,MAAM;QACN,cAAc;QACd,QAAQ;QACR,MAAM;KACP,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,KAAc;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,KAAK,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;QAC7B,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,CAAC;QACD,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAQ,KAAiC,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtG,OAAO,CAAE,KAAgC,CAAC,IAAI,CAAC,CAAC;QAClD,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC,CAAC,CAAC;AACL,CAAC"}
@@ -0,0 +1,24 @@
1
+ import type { CodexaIndex, QueryOptions, QueryResult, RiskSignalFact } from "../types.js";
2
+ import { type QuerySessionInput } from "./session.js";
3
+ export interface PlaceholderReportInput {
4
+ includeTests?: boolean;
5
+ includeDocs?: boolean;
6
+ includeGenerated?: boolean;
7
+ limit?: number;
8
+ tokenBudget?: number;
9
+ }
10
+ interface PlaceholderFinding {
11
+ path: string;
12
+ line: number;
13
+ signal: string;
14
+ category: string;
15
+ score: number;
16
+ confidence: RiskSignalFact["confidence"];
17
+ source: RiskSignalFact["source"];
18
+ reason: string;
19
+ context: PlaceholderContext;
20
+ }
21
+ type PlaceholderContext = "production" | "test" | "docs" | "generated";
22
+ export declare function placeholderReportQuery(input: QuerySessionInput, reportInput?: PlaceholderReportInput, options?: QueryOptions): Promise<QueryResult>;
23
+ export declare function placeholderFindings(index: CodexaIndex): PlaceholderFinding[];
24
+ export {};
@@ -0,0 +1,121 @@
1
+ import { isGeneratedPath, isTestPath } from "../language.js";
2
+ import { isPlaceholderRisk, placeholderCategory } from "../placeholder-signals.js";
3
+ import { limitText, uniqueSorted } from "../util.js";
4
+ import { clampInt } from "./formatting.js";
5
+ import { freshnessBanner } from "./runtime.js";
6
+ import { ensureQuerySession } from "./session.js";
7
+ export async function placeholderReportQuery(input, reportInput = {}, options = {}) {
8
+ const session = await ensureQuerySession(input, options);
9
+ const { index, freshness, refresh } = session;
10
+ const limit = clampInt(reportInput.limit ?? 40, 1, session.maxResults);
11
+ const tokenBudget = clampInt(reportInput.tokenBudget ?? 2400, 500, 8000);
12
+ const allFindings = placeholderFindings(index);
13
+ const filteredFindings = allFindings
14
+ .filter((finding) => reportInput.includeTests || finding.context !== "test")
15
+ .filter((finding) => reportInput.includeDocs || finding.context !== "docs")
16
+ .filter((finding) => reportInput.includeGenerated || finding.context !== "generated");
17
+ const findings = filteredFindings.slice(0, limit);
18
+ const excludedByFilter = allFindings.length - filteredFindings.length;
19
+ const hiddenByLimit = Math.max(0, filteredFindings.length - findings.length);
20
+ const grouped = groupBy(filteredFindings, (finding) => finding.category);
21
+ const categoryLines = Object.entries(grouped).map(([category, values]) => `- ${category}: ${values.length}`);
22
+ const topFiles = placeholderFileSummary(filteredFindings).slice(0, Math.min(12, limit));
23
+ const lines = [
24
+ freshnessBanner(freshness, refresh),
25
+ "Codexa placeholder report",
26
+ `Findings: ${findings.length}${hiddenByLimit > 0 ? ` shown, ${hiddenByLimit} hidden by limit` : ""}${excludedByFilter > 0 ? `, ${excludedByFilter} excluded by context filters` : ""}`,
27
+ `Filters: tests ${reportInput.includeTests ? "included" : "excluded"}, docs ${reportInput.includeDocs ? "included" : "excluded"}, generated ${reportInput.includeGenerated ? "included" : "excluded"}`,
28
+ "",
29
+ "Categories:",
30
+ ...(categoryLines.length > 0 ? categoryLines : ["- none"]),
31
+ "",
32
+ "Top files:",
33
+ ...(topFiles.length > 0 ? topFiles.map((entry) => `- ${entry.path}: ${entry.count} finding(s), score ${entry.score.toFixed(2)}`) : ["- none"]),
34
+ "",
35
+ "Findings:",
36
+ ...(findings.length > 0
37
+ ? findings.map((finding) => `- ${finding.path}:${finding.line} ${finding.signal} score ${finding.score.toFixed(2)} ${finding.confidence}; ${finding.reason}`)
38
+ : ["- none"]),
39
+ "",
40
+ "Tracking:",
41
+ "- Placeholder findings are indexed as risk signals.",
42
+ "- change_plan snapshots store the current placeholder/risk baseline.",
43
+ "- post_edit_review reports newly introduced placeholder signals and removed signals within the saved baseline scope as risk deltas."
44
+ ];
45
+ return {
46
+ freshness,
47
+ refresh,
48
+ text: limitText(lines.join("\n"), tokenBudget * 4),
49
+ data: {
50
+ findings,
51
+ totalFindings: allFindings.length,
52
+ excludedByFilter,
53
+ hiddenByLimit,
54
+ categories: Object.fromEntries(Object.entries(grouped).map(([category, values]) => [category, values.length])),
55
+ topFiles,
56
+ filters: {
57
+ includeTests: Boolean(reportInput.includeTests),
58
+ includeDocs: Boolean(reportInput.includeDocs),
59
+ includeGenerated: Boolean(reportInput.includeGenerated)
60
+ }
61
+ }
62
+ };
63
+ }
64
+ export function placeholderFindings(index) {
65
+ const filesByPath = new Map(index.files.map((file) => [file.path, file]));
66
+ return index.risks
67
+ .filter(isPlaceholderRisk)
68
+ .map((risk) => {
69
+ const file = filesByPath.get(risk.path);
70
+ return {
71
+ path: risk.path,
72
+ line: risk.range?.startLine ?? 1,
73
+ signal: risk.signal,
74
+ category: placeholderCategory(risk.signal),
75
+ score: risk.score,
76
+ confidence: risk.confidence,
77
+ source: risk.source,
78
+ reason: risk.reason,
79
+ context: placeholderContext(risk.path, file)
80
+ };
81
+ })
82
+ .sort((a, b) => b.score - a.score || a.path.localeCompare(b.path) || a.line - b.line || a.signal.localeCompare(b.signal));
83
+ }
84
+ function placeholderFileSummary(findings) {
85
+ const byPath = new Map();
86
+ for (const finding of findings) {
87
+ const values = byPath.get(finding.path) ?? [];
88
+ values.push(finding);
89
+ byPath.set(finding.path, values);
90
+ }
91
+ return [...byPath.entries()]
92
+ .map(([path, values]) => ({
93
+ path,
94
+ count: values.length,
95
+ score: values.reduce((sum, finding) => sum + finding.score, 0),
96
+ categories: uniqueSorted(values.map((finding) => finding.category))
97
+ }))
98
+ .sort((a, b) => b.score - a.score || b.count - a.count || a.path.localeCompare(b.path));
99
+ }
100
+ function groupBy(values, keyFor) {
101
+ const groups = {};
102
+ for (const value of values) {
103
+ const key = keyFor(value);
104
+ groups[key] ??= [];
105
+ groups[key].push(value);
106
+ }
107
+ return Object.fromEntries(Object.entries(groups).sort(([a], [b]) => a.localeCompare(b)));
108
+ }
109
+ function placeholderContext(filePath, file) {
110
+ if (file?.generated || isGeneratedPath(filePath)) {
111
+ return "generated";
112
+ }
113
+ if (file?.test || isTestPath(filePath)) {
114
+ return "test";
115
+ }
116
+ if (file?.language === "markdown" || /(^|\/)docs?\//u.test(filePath)) {
117
+ return "docs";
118
+ }
119
+ return "production";
120
+ }
121
+ //# sourceMappingURL=placeholders.js.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"placeholders.js","sourceRoot":"","sources":["../../src/query/placeholders.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,gBAAgB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAEnF,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAC3C,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,kBAAkB,EAA0B,MAAM,cAAc,CAAC;AAwB1E,MAAM,CAAC,KAAK,UAAU,sBAAsB,CAAC,KAAwB,EAAE,cAAsC,EAAE,EAAE,UAAwB,EAAE;IACzI,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;IACzD,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IAC9C,MAAM,KAAK,GAAG,QAAQ,CAAC,WAAW,CAAC,KAAK,IAAI,EAAE,EAAE,CAAC,EAAE,OAAO,CAAC,UAAU,CAAC,CAAC;IACvE,MAAM,WAAW,GAAG,QAAQ,CAAC,WAAW,CAAC,WAAW,IAAI,IAAI,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACzE,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,gBAAgB,GAAG,WAAW;SACjC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,YAAY,IAAI,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC;SAC3E,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,WAAW,IAAI,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC;SAC1E,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC,gBAAgB,IAAI,OAAO,CAAC,OAAO,KAAK,WAAW,CAAC,CAAC;IACxF,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;IAClD,MAAM,gBAAgB,GAAG,WAAW,CAAC,MAAM,GAAG,gBAAgB,CAAC,MAAM,CAAC;IACtE,MAAM,aAAa,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,gBAAgB,CAAC,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;IAC7E,MAAM,OAAO,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACzE,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,KAAK,QAAQ,KAAK,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC;IAC7G,MAAM,QAAQ,GAAG,sBAAsB,CAAC,gBAAgB,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;IACxF,MAAM,KAAK,GAAG;QACZ,eAAe,CAAC,SAAS,EAAE,OAAO,CAAC;QACnC,2BAA2B;QAC3B,aAAa,QAAQ,CAAC,MAAM,GAAG,aAAa,GAAG,CAAC,CAAC,CAAC,CAAC,WAAW,aAAa,kBAAkB,CAAC,CAAC,CAAC,EAAE,GAAG,gBAAgB,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,gBAAgB,8BAA8B,CAAC,CAAC,CAAC,EAAE,EAAE;QACtL,kBAAkB,WAAW,CAAC,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,UAAU,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,eAAe,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,EAAE;QACtM,EAAE;QACF,aAAa;QACb,GAAG,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC1D,EAAE;QACF,YAAY;QACZ,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,KAAK,sBAAsB,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QAC9I,EAAE;QACF,WAAW;QACX,GAAG,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YACrB,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,IAAI,IAAI,OAAO,CAAC,MAAM,UAAU,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,UAAU,KAAK,OAAO,CAAC,MAAM,EAAE,CAAC;YAC7J,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;QACf,EAAE;QACF,WAAW;QACX,qDAAqD;QACrD,sEAAsE;QACtE,qIAAqI;KACtI,CAAC;IACF,OAAO;QACL,SAAS;QACT,OAAO;QACP,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,WAAW,GAAG,CAAC,CAAC;QAClD,IAAI,EAAE;YACJ,QAAQ;YACR,aAAa,EAAE,WAAW,CAAC,MAAM;YACjC,gBAAgB;YAChB,aAAa;YACb,UAAU,EAAE,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;YAC9G,QAAQ;YACR,OAAO,EAAE;gBACP,YAAY,EAAE,OAAO,CAAC,WAAW,CAAC,YAAY,CAAC;gBAC/C,WAAW,EAAE,OAAO,CAAC,WAAW,CAAC,WAAW,CAAC;gBAC7C,gBAAgB,EAAE,OAAO,CAAC,WAAW,CAAC,gBAAgB,CAAC;aACxD;SACF;KACF,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CAAC,KAAkB;IACpD,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1E,OAAO,KAAK,CAAC,KAAK;SACf,MAAM,CAAC,iBAAiB,CAAC;SACzB,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,MAAM,IAAI,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,OAAO;YACL,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,IAAI,CAAC,KAAK,EAAE,SAAS,IAAI,CAAC;YAChC,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,QAAQ,EAAE,mBAAmB,CAAC,IAAI,CAAC,MAAM,CAAC;YAC1C,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,OAAO,EAAE,kBAAkB,CAAC,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC;SAC7C,CAAC;IACJ,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;AAC9H,CAAC;AAED,SAAS,sBAAsB,CAAC,QAA8B;IAC5D,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgC,CAAC;IACvD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACrB,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACnC,CAAC;IACD,OAAO,CAAC,GAAG,MAAM,CAAC,OAAO,EAAE,CAAC;SACzB,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,CAAC;QACxB,IAAI;QACJ,KAAK,EAAE,MAAM,CAAC,MAAM;QACpB,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,CAAC,KAAK,EAAE,CAAC,CAAC;QAC9D,UAAU,EAAE,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;KACpE,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;AAC5F,CAAC;AAED,SAAS,OAAO,CAAI,MAAW,EAAE,MAA4B;IAC3D,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAC1B,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;QACnB,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED,SAAS,kBAAkB,CAAC,QAAgB,EAAE,IAAe;IAC3D,IAAI,IAAI,EAAE,SAAS,IAAI,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjD,OAAO,WAAW,CAAC;IACrB,CAAC;IACD,IAAI,IAAI,EAAE,IAAI,IAAI,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvC,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,IAAI,EAAE,QAAQ,KAAK,UAAU,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrE,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC"}
@@ -0,0 +1,49 @@
1
+ import type { PostEditCheckResult, PostEditCompletionAuthority, PostEditInspectMode } from "../../post-edit-outcomes.js";
2
+ import type { TaskSnapshotLoadResult } from "../../task-snapshots.js";
3
+ import type { FileFact, SymbolFact, TaskSnapshot, TaskSnapshotRiskFile, TaskSnapshotSymbol, TestRecommendation, VerificationLedgerEntry } from "../../types.js";
4
+ import type { ContextQuality } from "../quality.js";
5
+ export interface PostEditDecision {
6
+ driftReasons: string[];
7
+ verdict: "continue" | "run_tests" | "inspect" | "replan";
8
+ inspectMode: PostEditInspectMode;
9
+ inspectReasons: string[];
10
+ completionAuthority: PostEditCompletionAuthority;
11
+ missingWorkflowCheckCount: number;
12
+ missingDependencyCheckCount: number;
13
+ riskEscalationsCoveredByVerification: boolean;
14
+ riskEscalationsNeedInspection: boolean;
15
+ hasDegradedSnapshotTests: boolean;
16
+ }
17
+ export declare function postEditDecision(input: {
18
+ snapshot: TaskSnapshot | undefined;
19
+ loadedSnapshot: TaskSnapshotLoadResult;
20
+ snapshotAmbiguity: string | undefined;
21
+ worktreeDegradationReasons: string[];
22
+ headChanged: boolean;
23
+ unplannedEditedFiles: string[];
24
+ unplannedChangedSymbols: Array<{
25
+ symbol: SymbolFact;
26
+ }>;
27
+ unindexedEditedFiles: string[];
28
+ symbolDeltas: Array<{
29
+ path: string;
30
+ newSymbols: TaskSnapshotSymbol[];
31
+ removedSymbols: TaskSnapshotSymbol[];
32
+ }>;
33
+ riskDeltas: Array<{
34
+ path: string;
35
+ before: TaskSnapshotRiskFile;
36
+ after: TaskSnapshotRiskFile;
37
+ delta: number;
38
+ }>;
39
+ workflowChecks: PostEditCheckResult[];
40
+ dependencyChecks: PostEditCheckResult[];
41
+ degradedSnapshotTests: TestRecommendation[];
42
+ quality: ContextQuality | undefined;
43
+ riskEscalations: FileFact[];
44
+ waivedVerification: VerificationLedgerEntry[];
45
+ hasActualEditedFiles: boolean;
46
+ testsNotRun: TestRecommendation[];
47
+ hasTestVerificationAccounting: boolean;
48
+ noVerificationProofForEditedFiles: boolean;
49
+ }): PostEditDecision;