kibi-cli 0.12.8 → 0.16.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (501) hide show
  1. package/bin/kibi +3 -1
  2. package/dist/cli-command.d.ts +5 -0
  3. package/dist/cli-command.d.ts.map +1 -0
  4. package/dist/cli-command.js +9 -0
  5. package/dist/cli-errors.d.ts +13 -0
  6. package/dist/cli-errors.d.ts.map +1 -0
  7. package/dist/cli-errors.js +26 -0
  8. package/dist/cli-input.d.ts +6 -0
  9. package/dist/cli-input.d.ts.map +1 -0
  10. package/dist/cli-input.js +54 -0
  11. package/dist/cli-json-command.d.ts +14 -0
  12. package/dist/cli-json-command.d.ts.map +1 -0
  13. package/dist/cli-json-command.js +96 -0
  14. package/dist/cli-protocol.d.ts +12 -0
  15. package/dist/cli-protocol.d.ts.map +1 -0
  16. package/dist/cli-protocol.js +37 -0
  17. package/dist/cli-register-foundation.d.ts +3 -0
  18. package/dist/cli-register-foundation.d.ts.map +1 -0
  19. package/dist/cli-register-foundation.js +90 -0
  20. package/dist/cli-register-maintenance.d.ts +3 -0
  21. package/dist/cli-register-maintenance.d.ts.map +1 -0
  22. package/dist/cli-register-maintenance.js +36 -0
  23. package/dist/cli-register-reporting.d.ts +3 -0
  24. package/dist/cli-register-reporting.d.ts.map +1 -0
  25. package/dist/cli-register-reporting.js +101 -0
  26. package/dist/cli-register-skills.d.ts +3 -0
  27. package/dist/cli-register-skills.d.ts.map +1 -0
  28. package/dist/cli-register-skills.js +71 -0
  29. package/dist/cli-validate.d.ts +18 -0
  30. package/dist/cli-validate.d.ts.map +1 -0
  31. package/dist/cli-validate.js +45 -0
  32. package/dist/cli.d.ts +4 -4
  33. package/dist/cli.d.ts.map +1 -1
  34. package/dist/cli.js +48 -210
  35. package/dist/commands/aggregated-checks.d.ts +1 -1
  36. package/dist/commands/aggregated-checks.d.ts.map +1 -1
  37. package/dist/commands/aggregated-checks.js +28 -34
  38. package/dist/commands/check.d.ts +2 -1
  39. package/dist/commands/check.d.ts.map +1 -1
  40. package/dist/commands/check.js +145 -152
  41. package/dist/commands/coverage.d.ts.map +1 -1
  42. package/dist/commands/coverage.js +12 -17
  43. package/dist/commands/discovery-shared.d.ts +3 -1
  44. package/dist/commands/discovery-shared.d.ts.map +1 -1
  45. package/dist/commands/discovery-shared.js +8 -209
  46. package/dist/commands/discovery-table.d.ts +3 -0
  47. package/dist/commands/discovery-table.d.ts.map +1 -0
  48. package/dist/commands/discovery-table.js +204 -0
  49. package/dist/commands/gaps.d.ts.map +1 -1
  50. package/dist/commands/gaps.js +15 -19
  51. package/dist/commands/graph.d.ts.map +1 -1
  52. package/dist/commands/graph.js +15 -21
  53. package/dist/commands/query.d.ts +7 -7
  54. package/dist/commands/query.d.ts.map +1 -1
  55. package/dist/commands/query.js +98 -204
  56. package/dist/commands/search.d.ts +4 -4
  57. package/dist/commands/search.d.ts.map +1 -1
  58. package/dist/commands/search.js +14 -27
  59. package/dist/commands/status.d.ts +1 -1
  60. package/dist/commands/status.d.ts.map +1 -1
  61. package/dist/commands/status.js +6 -7
  62. package/dist/commands/sync/discovery.d.ts.map +1 -1
  63. package/dist/commands/sync/discovery.js +8 -1
  64. package/dist/commands/sync/extraction.d.ts +6 -1
  65. package/dist/commands/sync/extraction.d.ts.map +1 -1
  66. package/dist/commands/sync/extraction.js +7 -3
  67. package/dist/commands/sync/manifest.d.ts +1 -1
  68. package/dist/commands/sync/manifest.d.ts.map +1 -1
  69. package/dist/commands/sync/manifest.js +9 -17
  70. package/dist/commands/sync/persistence.d.ts.map +1 -1
  71. package/dist/commands/sync/persistence.js +51 -2
  72. package/dist/extractors/manifest.d.ts.map +1 -1
  73. package/dist/extractors/manifest.js +18 -0
  74. package/dist/extractors/markdown.d.ts +20 -2
  75. package/dist/extractors/markdown.d.ts.map +1 -1
  76. package/dist/extractors/markdown.js +38 -1
  77. package/dist/extractors/symbols-coordinator.d.ts +1 -1
  78. package/dist/extractors/symbols-coordinator.d.ts.map +1 -1
  79. package/dist/extractors/symbols-ts.d.ts.map +1 -1
  80. package/dist/extractors/symbols-ts.js +73 -1
  81. package/dist/operations/autopilot/activation.d.ts +4 -0
  82. package/dist/operations/autopilot/activation.d.ts.map +1 -0
  83. package/dist/operations/autopilot/activation.js +130 -0
  84. package/dist/operations/autopilot/candidate-helpers.d.ts +13 -0
  85. package/dist/operations/autopilot/candidate-helpers.d.ts.map +1 -0
  86. package/dist/operations/autopilot/candidate-helpers.js +55 -0
  87. package/dist/operations/autopilot/candidates.d.ts +4 -0
  88. package/dist/operations/autopilot/candidates.d.ts.map +1 -0
  89. package/dist/operations/autopilot/candidates.js +114 -0
  90. package/dist/operations/autopilot/discovery-evidence.d.ts +10 -0
  91. package/dist/operations/autopilot/discovery-evidence.d.ts.map +1 -0
  92. package/dist/operations/autopilot/discovery-evidence.js +158 -0
  93. package/dist/operations/autopilot/discovery.d.ts +4 -0
  94. package/dist/operations/autopilot/discovery.d.ts.map +1 -0
  95. package/dist/operations/autopilot/discovery.js +100 -0
  96. package/dist/operations/autopilot/generate.d.ts +8 -0
  97. package/dist/operations/autopilot/generate.d.ts.map +1 -0
  98. package/dist/operations/autopilot/generate.js +112 -0
  99. package/dist/operations/autopilot/guidance-actions.d.ts +3 -0
  100. package/dist/operations/autopilot/guidance-actions.d.ts.map +1 -0
  101. package/dist/operations/autopilot/guidance-actions.js +79 -0
  102. package/dist/operations/autopilot/guidance.d.ts +14 -0
  103. package/dist/operations/autopilot/guidance.d.ts.map +1 -0
  104. package/dist/operations/autopilot/guidance.js +124 -0
  105. package/dist/operations/autopilot/markdown-candidates.d.ts +7 -0
  106. package/dist/operations/autopilot/markdown-candidates.d.ts.map +1 -0
  107. package/dist/operations/autopilot/markdown-candidates.js +134 -0
  108. package/dist/operations/autopilot/presentation.d.ts +13 -0
  109. package/dist/operations/autopilot/presentation.d.ts.map +1 -0
  110. package/dist/operations/autopilot/presentation.js +91 -0
  111. package/dist/operations/autopilot/requirement-claims.d.ts +3 -0
  112. package/dist/operations/autopilot/requirement-claims.d.ts.map +1 -0
  113. package/dist/operations/autopilot/requirement-claims.js +48 -0
  114. package/dist/operations/autopilot/types.d.ts +117 -0
  115. package/dist/operations/autopilot/types.d.ts.map +1 -0
  116. package/dist/operations/autopilot/types.js +8 -0
  117. package/dist/operations/modeling/model-requirement.d.ts +10 -0
  118. package/dist/operations/modeling/model-requirement.d.ts.map +1 -0
  119. package/dist/operations/modeling/model-requirement.js +108 -0
  120. package/dist/operations/modeling/predicate-applyplan.d.ts +6 -0
  121. package/dist/operations/modeling/predicate-applyplan.d.ts.map +1 -0
  122. package/dist/operations/modeling/predicate-applyplan.js +104 -0
  123. package/dist/operations/modeling/predicate-catalog-1.d.ts +3 -0
  124. package/dist/operations/modeling/predicate-catalog-1.d.ts.map +1 -0
  125. package/dist/operations/modeling/predicate-catalog-1.js +200 -0
  126. package/dist/operations/modeling/predicate-catalog-2.d.ts +3 -0
  127. package/dist/operations/modeling/predicate-catalog-2.d.ts.map +1 -0
  128. package/dist/operations/modeling/predicate-catalog-2.js +197 -0
  129. package/dist/operations/modeling/predicate-catalog-3.d.ts +3 -0
  130. package/dist/operations/modeling/predicate-catalog-3.d.ts.map +1 -0
  131. package/dist/operations/modeling/predicate-catalog-3.js +193 -0
  132. package/dist/operations/modeling/predicate-catalog-4.d.ts +3 -0
  133. package/dist/operations/modeling/predicate-catalog-4.d.ts.map +1 -0
  134. package/dist/operations/modeling/predicate-catalog-4.js +149 -0
  135. package/dist/operations/modeling/predicate-catalog.d.ts +5 -0
  136. package/dist/operations/modeling/predicate-catalog.d.ts.map +1 -0
  137. package/dist/operations/modeling/predicate-catalog.js +29 -0
  138. package/dist/operations/modeling/predicate-inference-1.d.ts +16 -0
  139. package/dist/operations/modeling/predicate-inference-1.d.ts.map +1 -0
  140. package/dist/operations/modeling/predicate-inference-1.js +161 -0
  141. package/dist/operations/modeling/predicate-inference-2.d.ts +19 -0
  142. package/dist/operations/modeling/predicate-inference-2.d.ts.map +1 -0
  143. package/dist/operations/modeling/predicate-inference-2.js +169 -0
  144. package/dist/operations/modeling/predicate-inference-3.d.ts +15 -0
  145. package/dist/operations/modeling/predicate-inference-3.d.ts.map +1 -0
  146. package/dist/operations/modeling/predicate-inference-3.js +163 -0
  147. package/dist/operations/modeling/predicate-inference.d.ts +5 -0
  148. package/dist/operations/modeling/predicate-inference.d.ts.map +1 -0
  149. package/dist/operations/modeling/predicate-inference.js +148 -0
  150. package/dist/operations/modeling/predicate-loader.d.ts +10 -0
  151. package/dist/operations/modeling/predicate-loader.d.ts.map +1 -0
  152. package/dist/operations/modeling/predicate-loader.js +88 -0
  153. package/dist/operations/modeling/predicate-ranker.d.ts +3 -0
  154. package/dist/operations/modeling/predicate-ranker.d.ts.map +1 -0
  155. package/dist/operations/modeling/predicate-ranker.js +24 -0
  156. package/dist/operations/modeling/predicate-score-1.d.ts +3 -0
  157. package/dist/operations/modeling/predicate-score-1.d.ts.map +1 -0
  158. package/dist/operations/modeling/predicate-score-1.js +121 -0
  159. package/dist/operations/modeling/predicate-score-2.d.ts +3 -0
  160. package/dist/operations/modeling/predicate-score-2.d.ts.map +1 -0
  161. package/dist/operations/modeling/predicate-score-2.js +122 -0
  162. package/dist/operations/modeling/predicate-score-3.d.ts +3 -0
  163. package/dist/operations/modeling/predicate-score-3.d.ts.map +1 -0
  164. package/dist/operations/modeling/predicate-score-3.js +54 -0
  165. package/dist/operations/modeling/predicate-types.d.ts +61 -0
  166. package/dist/operations/modeling/predicate-types.d.ts.map +1 -0
  167. package/dist/operations/modeling/predicate-types.js +1 -0
  168. package/dist/operations/modeling/predicate-usage-hints-1.d.ts +3 -0
  169. package/dist/operations/modeling/predicate-usage-hints-1.d.ts.map +1 -0
  170. package/dist/operations/modeling/predicate-usage-hints-1.js +211 -0
  171. package/dist/operations/modeling/predicate-usage-hints-2.d.ts +3 -0
  172. package/dist/operations/modeling/predicate-usage-hints-2.d.ts.map +1 -0
  173. package/dist/operations/modeling/predicate-usage-hints-2.js +209 -0
  174. package/dist/operations/modeling/predicate-usage-hints-3.d.ts +3 -0
  175. package/dist/operations/modeling/predicate-usage-hints-3.d.ts.map +1 -0
  176. package/dist/operations/modeling/predicate-usage-hints-3.js +45 -0
  177. package/dist/operations/modeling/predicate-utils.d.ts +23 -0
  178. package/dist/operations/modeling/predicate-utils.d.ts.map +1 -0
  179. package/dist/operations/modeling/predicate-utils.js +187 -0
  180. package/dist/operations/modeling/requirement-applyplan.d.ts +4 -0
  181. package/dist/operations/modeling/requirement-applyplan.d.ts.map +1 -0
  182. package/dist/operations/modeling/requirement-applyplan.js +44 -0
  183. package/dist/operations/modeling/requirement-heuristics.d.ts +4 -0
  184. package/dist/operations/modeling/requirement-heuristics.d.ts.map +1 -0
  185. package/dist/operations/modeling/requirement-heuristics.js +114 -0
  186. package/dist/operations/modeling/requirement-modeler.d.ts +8 -0
  187. package/dist/operations/modeling/requirement-modeler.d.ts.map +1 -0
  188. package/dist/operations/modeling/requirement-modeler.js +70 -0
  189. package/dist/operations/modeling/requirement-types.d.ts +49 -0
  190. package/dist/operations/modeling/requirement-types.d.ts.map +1 -0
  191. package/dist/operations/modeling/requirement-types.js +1 -0
  192. package/dist/operations/modeling/requirement-utils.d.ts +10 -0
  193. package/dist/operations/modeling/requirement-utils.d.ts.map +1 -0
  194. package/dist/operations/modeling/requirement-utils.js +65 -0
  195. package/dist/operations/modeling/suggest-predicates.d.ts +6 -0
  196. package/dist/operations/modeling/suggest-predicates.d.ts.map +1 -0
  197. package/dist/operations/modeling/suggest-predicates.js +64 -0
  198. package/dist/operations/mutation/audit.d.ts +6 -0
  199. package/dist/operations/mutation/audit.d.ts.map +1 -0
  200. package/dist/operations/mutation/audit.js +22 -0
  201. package/dist/operations/mutation/contradictions.d.ts +10 -0
  202. package/dist/operations/mutation/contradictions.d.ts.map +1 -0
  203. package/dist/operations/mutation/contradictions.js +40 -0
  204. package/dist/operations/mutation/delete.d.ts +5 -0
  205. package/dist/operations/mutation/delete.d.ts.map +1 -0
  206. package/dist/operations/mutation/delete.js +67 -0
  207. package/dist/operations/mutation/relationships.d.ts +17 -0
  208. package/dist/operations/mutation/relationships.d.ts.map +1 -0
  209. package/dist/operations/mutation/relationships.js +134 -0
  210. package/dist/operations/mutation/save.d.ts +4 -0
  211. package/dist/operations/mutation/save.d.ts.map +1 -0
  212. package/dist/operations/mutation/save.js +14 -0
  213. package/dist/operations/mutation/serialization.d.ts +5 -0
  214. package/dist/operations/mutation/serialization.d.ts.map +1 -0
  215. package/dist/operations/mutation/serialization.js +85 -0
  216. package/dist/operations/mutation/strict-fact.d.ts +4 -0
  217. package/dist/operations/mutation/strict-fact.d.ts.map +1 -0
  218. package/dist/operations/mutation/strict-fact.js +67 -0
  219. package/dist/operations/mutation/symbol-granularity.d.ts +4 -0
  220. package/dist/operations/mutation/symbol-granularity.d.ts.map +1 -0
  221. package/dist/operations/mutation/symbol-granularity.js +109 -0
  222. package/dist/operations/mutation/symbol-refresh.d.ts +10 -0
  223. package/dist/operations/mutation/symbol-refresh.d.ts.map +1 -0
  224. package/dist/operations/mutation/symbol-refresh.js +105 -0
  225. package/dist/operations/mutation/types.d.ts +43 -0
  226. package/dist/operations/mutation/types.d.ts.map +1 -0
  227. package/dist/operations/mutation/types.js +1 -0
  228. package/dist/operations/mutation/upsert.d.ts +5 -0
  229. package/dist/operations/mutation/upsert.d.ts.map +1 -0
  230. package/dist/operations/mutation/upsert.js +103 -0
  231. package/dist/operations/mutation/validate-upsert.d.ts +5 -0
  232. package/dist/operations/mutation/validate-upsert.d.ts.map +1 -0
  233. package/dist/operations/mutation/validate-upsert.js +50 -0
  234. package/dist/operations/mutation/validation.d.ts +5 -0
  235. package/dist/operations/mutation/validation.d.ts.map +1 -0
  236. package/dist/operations/mutation/validation.js +107 -0
  237. package/dist/operations/mutation/warnings.d.ts +4 -0
  238. package/dist/operations/mutation/warnings.d.ts.map +1 -0
  239. package/dist/operations/mutation/warnings.js +17 -0
  240. package/dist/operations/semantic-advisor/analysis-receipt.d.ts +5 -0
  241. package/dist/operations/semantic-advisor/analysis-receipt.d.ts.map +1 -0
  242. package/dist/operations/semantic-advisor/analysis-receipt.js +112 -0
  243. package/dist/operations/semantic-advisor/analyze-prose.d.ts +5 -0
  244. package/dist/operations/semantic-advisor/analyze-prose.d.ts.map +1 -0
  245. package/dist/operations/semantic-advisor/analyze-prose.js +271 -0
  246. package/dist/operations/semantic-advisor/clauses.d.ts +10 -0
  247. package/dist/operations/semantic-advisor/clauses.d.ts.map +1 -0
  248. package/dist/operations/semantic-advisor/clauses.js +43 -0
  249. package/dist/operations/semantic-advisor/observation-plan.d.ts +3 -0
  250. package/dist/operations/semantic-advisor/observation-plan.d.ts.map +1 -0
  251. package/dist/operations/semantic-advisor/observation-plan.js +19 -0
  252. package/dist/operations/semantic-advisor/predicate-rule.d.ts +14 -0
  253. package/dist/operations/semantic-advisor/predicate-rule.d.ts.map +1 -0
  254. package/dist/operations/semantic-advisor/predicate-rule.js +22 -0
  255. package/dist/operations/semantic-advisor/predicate-rules-core.d.ts +79 -0
  256. package/dist/operations/semantic-advisor/predicate-rules-core.d.ts.map +1 -0
  257. package/dist/operations/semantic-advisor/predicate-rules-core.js +140 -0
  258. package/dist/operations/semantic-advisor/predicate-rules-policy.d.ts +83 -0
  259. package/dist/operations/semantic-advisor/predicate-rules-policy.d.ts.map +1 -0
  260. package/dist/operations/semantic-advisor/predicate-rules-policy.js +150 -0
  261. package/dist/operations/semantic-advisor/predicate-rules-product-tail.d.ts +48 -0
  262. package/dist/operations/semantic-advisor/predicate-rules-product-tail.d.ts.map +1 -0
  263. package/dist/operations/semantic-advisor/predicate-rules-product-tail.js +102 -0
  264. package/dist/operations/semantic-advisor/predicate-rules-product.d.ts +71 -0
  265. package/dist/operations/semantic-advisor/predicate-rules-product.d.ts.map +1 -0
  266. package/dist/operations/semantic-advisor/predicate-rules-product.js +133 -0
  267. package/dist/operations/semantic-advisor/prose-coverage-evaluator.d.ts +29 -0
  268. package/dist/operations/semantic-advisor/prose-coverage-evaluator.d.ts.map +1 -0
  269. package/dist/operations/semantic-advisor/prose-coverage-evaluator.js +54 -0
  270. package/dist/operations/semantic-advisor/shared.d.ts +18 -0
  271. package/dist/operations/semantic-advisor/shared.d.ts.map +1 -0
  272. package/dist/operations/semantic-advisor/shared.js +209 -0
  273. package/dist/operations/semantic-advisor/strict-count-rules.d.ts +4 -0
  274. package/dist/operations/semantic-advisor/strict-count-rules.d.ts.map +1 -0
  275. package/dist/operations/semantic-advisor/strict-count-rules.js +62 -0
  276. package/dist/operations/semantic-advisor/strict-rules.d.ts +4 -0
  277. package/dist/operations/semantic-advisor/strict-rules.d.ts.map +1 -0
  278. package/dist/operations/semantic-advisor/strict-rules.js +106 -0
  279. package/dist/operations/semantic-advisor/types.d.ts +135 -0
  280. package/dist/operations/semantic-advisor/types.d.ts.map +1 -0
  281. package/dist/operations/semantic-advisor/types.js +1 -0
  282. package/dist/prolog/codec.d.ts.map +1 -1
  283. package/dist/prolog/codec.js +9 -2
  284. package/dist/prolog.d.ts +5 -0
  285. package/dist/prolog.d.ts.map +1 -1
  286. package/dist/prolog.js +82 -30
  287. package/dist/public/impact/analyzer.d.ts +3 -0
  288. package/dist/public/impact/analyzer.d.ts.map +1 -0
  289. package/dist/public/impact/analyzer.js +54 -0
  290. package/dist/public/impact/coverage-depth-quality.d.ts +4 -0
  291. package/dist/public/impact/coverage-depth-quality.d.ts.map +1 -0
  292. package/dist/public/impact/coverage-depth-quality.js +179 -0
  293. package/dist/public/impact/diagnostics.d.ts +7 -0
  294. package/dist/public/impact/diagnostics.d.ts.map +1 -0
  295. package/dist/public/impact/diagnostics.js +126 -0
  296. package/dist/public/impact/diff-meaning.d.ts +2 -0
  297. package/dist/public/impact/diff-meaning.d.ts.map +1 -0
  298. package/dist/public/impact/diff-meaning.js +101 -0
  299. package/dist/public/impact/full-kb-quality.d.ts +10 -0
  300. package/dist/public/impact/full-kb-quality.d.ts.map +1 -0
  301. package/dist/public/impact/full-kb-quality.js +191 -0
  302. package/dist/public/impact/manifest.d.ts +5 -0
  303. package/dist/public/impact/manifest.d.ts.map +1 -0
  304. package/dist/public/impact/manifest.js +43 -0
  305. package/dist/public/impact/requirement-quality.d.ts +4 -0
  306. package/dist/public/impact/requirement-quality.d.ts.map +1 -0
  307. package/dist/public/impact/requirement-quality.js +199 -0
  308. package/dist/public/impact/source-changes.d.ts +5 -0
  309. package/dist/public/impact/source-changes.d.ts.map +1 -0
  310. package/dist/public/impact/source-changes.js +129 -0
  311. package/dist/public/impact/summaries.d.ts +6 -0
  312. package/dist/public/impact/summaries.d.ts.map +1 -0
  313. package/dist/public/impact/summaries.js +68 -0
  314. package/dist/public/impact/symbol-quality-model.d.ts +21 -0
  315. package/dist/public/impact/symbol-quality-model.d.ts.map +1 -0
  316. package/dist/public/impact/symbol-quality-model.js +116 -0
  317. package/dist/public/impact/symbol-quality.d.ts +4 -0
  318. package/dist/public/impact/symbol-quality.d.ts.map +1 -0
  319. package/dist/public/impact/symbol-quality.js +159 -0
  320. package/dist/public/impact/types.d.ts +79 -0
  321. package/dist/public/impact/types.d.ts.map +1 -0
  322. package/dist/public/impact/types.js +1 -0
  323. package/dist/public/impact-diagnostics.d.ts +7 -0
  324. package/dist/public/impact-diagnostics.d.ts.map +1 -0
  325. package/dist/public/impact-diagnostics.js +5 -0
  326. package/dist/public/operations/catalog.d.ts +907 -0
  327. package/dist/public/operations/catalog.d.ts.map +1 -0
  328. package/dist/public/operations/catalog.js +42 -0
  329. package/dist/public/operations/check-executor.d.ts +21 -0
  330. package/dist/public/operations/check-executor.d.ts.map +1 -0
  331. package/dist/public/operations/check-executor.js +111 -0
  332. package/dist/public/operations/check-format-shared.d.ts +36 -0
  333. package/dist/public/operations/check-format-shared.d.ts.map +1 -0
  334. package/dist/public/operations/check-format-shared.js +107 -0
  335. package/dist/public/operations/check-helpers.d.ts +10 -0
  336. package/dist/public/operations/check-helpers.d.ts.map +1 -0
  337. package/dist/public/operations/check-helpers.js +107 -0
  338. package/dist/public/operations/discovery-entities.d.ts +14 -0
  339. package/dist/public/operations/discovery-entities.d.ts.map +1 -0
  340. package/dist/public/operations/discovery-entities.js +91 -0
  341. package/dist/public/operations/discovery-executors.d.ts +39 -0
  342. package/dist/public/operations/discovery-executors.d.ts.map +1 -0
  343. package/dist/public/operations/discovery-executors.js +101 -0
  344. package/dist/public/operations/index.d.ts +20 -0
  345. package/dist/public/operations/index.d.ts.map +1 -0
  346. package/dist/public/operations/index.js +18 -0
  347. package/dist/public/operations/node-ports.d.ts +15 -0
  348. package/dist/public/operations/node-ports.d.ts.map +1 -0
  349. package/dist/public/operations/node-ports.js +57 -0
  350. package/dist/public/operations/prolog-json.d.ts +5 -0
  351. package/dist/public/operations/prolog-json.d.ts.map +1 -0
  352. package/dist/public/operations/prolog-json.js +44 -0
  353. package/dist/public/operations/runtime-types.d.ts +69 -0
  354. package/dist/public/operations/runtime-types.d.ts.map +1 -0
  355. package/dist/public/operations/runtime-types.js +17 -0
  356. package/dist/public/operations/specs/autopilot.d.ts +82 -0
  357. package/dist/public/operations/specs/autopilot.d.ts.map +1 -0
  358. package/dist/public/operations/specs/autopilot.js +72 -0
  359. package/dist/public/operations/specs/check.d.ts +51 -0
  360. package/dist/public/operations/specs/check.d.ts.map +1 -0
  361. package/dist/public/operations/specs/check.js +62 -0
  362. package/dist/public/operations/specs/discovery.d.ts +94 -0
  363. package/dist/public/operations/specs/discovery.d.ts.map +1 -0
  364. package/dist/public/operations/specs/discovery.js +98 -0
  365. package/dist/public/operations/specs/modeling.d.ts +126 -0
  366. package/dist/public/operations/specs/modeling.d.ts.map +1 -0
  367. package/dist/public/operations/specs/modeling.js +117 -0
  368. package/dist/public/operations/specs/mutation-schemas.d.ts +233 -0
  369. package/dist/public/operations/specs/mutation-schemas.d.ts.map +1 -0
  370. package/dist/public/operations/specs/mutation-schemas.js +267 -0
  371. package/dist/public/operations/specs/mutation.d.ts +56 -0
  372. package/dist/public/operations/specs/mutation.d.ts.map +1 -0
  373. package/dist/public/operations/specs/mutation.js +44 -0
  374. package/dist/public/operations/specs/reporting.d.ts +185 -0
  375. package/dist/public/operations/specs/reporting.d.ts.map +1 -0
  376. package/dist/public/operations/specs/reporting.js +158 -0
  377. package/dist/public/operations/specs/semantic.d.ts +53 -0
  378. package/dist/public/operations/specs/semantic.d.ts.map +1 -0
  379. package/dist/public/operations/specs/semantic.js +105 -0
  380. package/dist/public/operations/specs/skills.d.ts +70 -0
  381. package/dist/public/operations/specs/skills.d.ts.map +1 -0
  382. package/dist/public/operations/specs/skills.js +107 -0
  383. package/dist/public/operations/specs/sparql.d.ts +39 -0
  384. package/dist/public/operations/specs/sparql.d.ts.map +1 -0
  385. package/dist/public/operations/specs/sparql.js +121 -0
  386. package/dist/public/operations/specs/upsert.d.ts +256 -0
  387. package/dist/public/operations/specs/upsert.d.ts.map +1 -0
  388. package/dist/public/operations/specs/upsert.js +27 -0
  389. package/dist/public/operations/types.d.ts +24 -0
  390. package/dist/public/operations/types.d.ts.map +1 -0
  391. package/dist/public/operations/types.js +1 -0
  392. package/dist/public/schemas/entity.d.ts.map +1 -1
  393. package/dist/public/schemas/entity.js +48 -0
  394. package/dist/public/skill-system/errors.d.ts +19 -0
  395. package/dist/public/skill-system/errors.d.ts.map +1 -0
  396. package/dist/public/skill-system/errors.js +36 -0
  397. package/dist/public/skill-system/loader.d.ts +9 -0
  398. package/dist/public/skill-system/loader.d.ts.map +1 -0
  399. package/dist/public/skill-system/loader.js +76 -0
  400. package/dist/public/skill-system/paths.d.ts +6 -0
  401. package/dist/public/skill-system/paths.d.ts.map +1 -0
  402. package/dist/public/skill-system/paths.js +25 -0
  403. package/dist/public/skill-system/types.d.ts +15 -0
  404. package/dist/public/skill-system/types.d.ts.map +1 -0
  405. package/dist/public/skill-system/types.js +1 -0
  406. package/dist/public/skill-system/validation.d.ts +10 -0
  407. package/dist/public/skill-system/validation.d.ts.map +1 -0
  408. package/dist/public/skill-system/validation.js +119 -0
  409. package/dist/public/skills/init-kibi/SKILL.md +62 -0
  410. package/dist/public/skills/kibi-freshness/SKILL.md +44 -0
  411. package/dist/public/skills/kibi-traceability/SKILL.md +54 -0
  412. package/dist/public/skills/kibi-usage/SKILL.md +123 -95
  413. package/dist/public/skills/kibi-usage/resources/fact-lanes.md +107 -5
  414. package/dist/public/skills/kibi-usage/resources/operation-access.md +44 -0
  415. package/dist/public/skills/kibi-usage/resources/relationship-directions.md +30 -0
  416. package/dist/public/skills/kibi-usage/resources/workflows.md +40 -3
  417. package/dist/public/skills.d.ts +4 -41
  418. package/dist/public/skills.d.ts.map +1 -1
  419. package/dist/public/skills.js +3 -270
  420. package/dist/public/symbol-granularity.d.ts +1 -1
  421. package/dist/public/symbol-granularity.d.ts.map +1 -1
  422. package/dist/public/symbol-granularity.js +2 -0
  423. package/dist/runtime/cli-runtime.d.ts +3 -0
  424. package/dist/runtime/cli-runtime.d.ts.map +1 -0
  425. package/dist/runtime/cli-runtime.js +96 -0
  426. package/dist/schemas/entity.schema.json +23 -0
  427. package/dist/traceability/evidence-model.d.ts +1 -1
  428. package/dist/traceability/evidence-model.d.ts.map +1 -1
  429. package/dist/traceability/evidence-model.js +1 -1
  430. package/dist/traceability/staged-diagnostics.d.ts +6 -6
  431. package/dist/traceability/staged-diagnostics.d.ts.map +1 -1
  432. package/dist/traceability/staged-diagnostics.js +12 -6
  433. package/dist/traceability/staged-impact-contract.js +1 -1
  434. package/dist/traceability/staged-symbols-manifest.d.ts +1 -0
  435. package/dist/traceability/staged-symbols-manifest.d.ts.map +1 -1
  436. package/dist/traceability/staged-symbols-manifest.js +60 -27
  437. package/dist/traceability/symbol-extract.d.ts.map +1 -1
  438. package/dist/traceability/symbol-extract.js +58 -1
  439. package/dist/traceability/temp-kb.d.ts.map +1 -1
  440. package/dist/traceability/temp-kb.js +34 -1
  441. package/dist/types/entities.d.ts +8 -1
  442. package/dist/types/entities.d.ts.map +1 -1
  443. package/dist/utils/prolog-query-plan-safety.d.ts +8 -0
  444. package/dist/utils/prolog-query-plan-safety.d.ts.map +1 -0
  445. package/dist/utils/prolog-query-plan-safety.js +47 -0
  446. package/dist/utils/rule-registry.d.ts.map +1 -1
  447. package/dist/utils/rule-registry.js +18 -0
  448. package/package.json +60 -2
  449. package/schema/entities.pl +4 -0
  450. package/src/public/impact/analyzer.ts +90 -0
  451. package/src/public/impact/coverage-depth-quality.ts +268 -0
  452. package/src/public/impact/diagnostics.ts +199 -0
  453. package/src/public/impact/diff-meaning.ts +121 -0
  454. package/src/public/impact/full-kb-quality.ts +230 -0
  455. package/src/public/impact/manifest.ts +57 -0
  456. package/src/public/impact/requirement-quality.ts +262 -0
  457. package/src/public/impact/source-changes.ts +180 -0
  458. package/src/public/impact/summaries.ts +100 -0
  459. package/src/public/impact/symbol-quality-model.ts +171 -0
  460. package/src/public/impact/symbol-quality.ts +207 -0
  461. package/src/public/impact/types.ts +99 -0
  462. package/src/public/impact-diagnostics.ts +22 -0
  463. package/src/public/operations/catalog.ts +60 -0
  464. package/src/public/operations/check-executor.ts +185 -0
  465. package/src/public/operations/check-format-shared.ts +178 -0
  466. package/src/public/operations/check-helpers.ts +141 -0
  467. package/src/public/operations/discovery-entities.ts +122 -0
  468. package/src/public/operations/discovery-executors.ts +176 -0
  469. package/src/public/operations/index.ts +19 -0
  470. package/src/public/operations/node-ports.ts +78 -0
  471. package/src/public/operations/prolog-json.ts +71 -0
  472. package/src/public/operations/runtime-types.ts +106 -0
  473. package/src/public/operations/specs/autopilot.ts +98 -0
  474. package/src/public/operations/specs/check.ts +72 -0
  475. package/src/public/operations/specs/discovery.ts +126 -0
  476. package/src/public/operations/specs/modeling.ts +154 -0
  477. package/src/public/operations/specs/mutation-schemas.ts +296 -0
  478. package/src/public/operations/specs/mutation.ts +58 -0
  479. package/src/public/operations/specs/reporting.ts +249 -0
  480. package/src/public/operations/specs/semantic.ts +135 -0
  481. package/src/public/operations/specs/skills.ts +142 -0
  482. package/src/public/operations/specs/sparql.ts +149 -0
  483. package/src/public/operations/specs/upsert.ts +40 -0
  484. package/src/public/operations/types.ts +57 -0
  485. package/src/public/schemas/entity.ts +50 -0
  486. package/src/public/skill-system/errors.ts +38 -0
  487. package/src/public/skill-system/loader.ts +108 -0
  488. package/src/public/skill-system/paths.ts +27 -0
  489. package/src/public/skill-system/types.ts +14 -0
  490. package/src/public/skill-system/validation.ts +175 -0
  491. package/src/public/skills/init-kibi/SKILL.md +62 -0
  492. package/src/public/skills/kibi-freshness/SKILL.md +44 -0
  493. package/src/public/skills/kibi-traceability/SKILL.md +54 -0
  494. package/src/public/skills/kibi-usage/SKILL.md +123 -95
  495. package/src/public/skills/kibi-usage/resources/fact-lanes.md +107 -5
  496. package/src/public/skills/kibi-usage/resources/operation-access.md +44 -0
  497. package/src/public/skills/kibi-usage/resources/relationship-directions.md +30 -0
  498. package/src/public/skills/kibi-usage/resources/workflows.md +40 -3
  499. package/src/public/skills.ts +18 -427
  500. package/src/public/symbol-granularity.ts +4 -0
  501. package/src/schemas/entity.schema.json +23 -0
@@ -0,0 +1,43 @@
1
+ import { existsSync } from "node:fs";
2
+ import * as path from "node:path";
3
+ import { extractFromManifest } from "../../extractors/manifest.js";
4
+ import { loadConfig } from "../../utils/config.js";
5
+ import { isTraceabilityRelationshipType } from "../symbol-granularity.js";
6
+ import { normalizeSourceFile } from "./source-changes.js";
7
+ function toTraceabilityRelationships(relationships) {
8
+ return relationships
9
+ .filter((relationship) => isTraceabilityRelationshipType(relationship.type))
10
+ .map((relationship) => ({ type: relationship.type, to: relationship.to }));
11
+ }
12
+ export function readImpactManifestResults(workspaceRoot) {
13
+ const config = loadConfig(workspaceRoot);
14
+ const symbolsPath = config.paths.symbols;
15
+ if (!symbolsPath)
16
+ return [];
17
+ const absolutePath = path.isAbsolute(symbolsPath)
18
+ ? symbolsPath
19
+ : path.resolve(workspaceRoot, symbolsPath);
20
+ if (!existsSync(absolutePath))
21
+ return [];
22
+ return extractFromManifest(absolutePath).map((result) => ({
23
+ entity: {
24
+ ...result.entity,
25
+ source: normalizeSourceFile(workspaceRoot, result.entity.source),
26
+ },
27
+ relationships: result.relationships,
28
+ ...(result.sourceFile !== undefined
29
+ ? { sourceFile: normalizeSourceFile(workspaceRoot, result.sourceFile) }
30
+ : {}),
31
+ }));
32
+ }
33
+ export function createImpactManifestLookup(manifestResults) {
34
+ const manifestLookup = new Map();
35
+ for (const result of manifestResults) {
36
+ const sourceFile = result.sourceFile ?? result.entity.source;
37
+ manifestLookup.set(`${sourceFile}:${result.entity.title}`, {
38
+ id: result.entity.id,
39
+ relationships: toTraceabilityRelationships(result.relationships),
40
+ });
41
+ }
42
+ return manifestLookup;
43
+ }
@@ -0,0 +1,4 @@
1
+ import type { KibiImpactDiagnostic } from "../../traceability/staged-diagnostics.js";
2
+ import type { RequirementQualityDiagnosticsOptions } from "./types.js";
3
+ export declare function createRequirementQualityDiagnostics(options: RequirementQualityDiagnosticsOptions): KibiImpactDiagnostic[];
4
+ //# sourceMappingURL=requirement-quality.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"requirement-quality.d.ts","sourceRoot":"","sources":["../../../src/public/impact/requirement-quality.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AACrF,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,YAAY,CAAC;AA2PvE,wBAAgB,mCAAmC,CACjD,OAAO,EAAE,oCAAoC,GAC5C,oBAAoB,EAAE,CAMxB"}
@@ -0,0 +1,199 @@
1
+ const CURRENT_REQUIREMENT_STATUSES = new Set([
2
+ "open",
3
+ "in_progress",
4
+ "active",
5
+ "accepted",
6
+ ]);
7
+ const TEST_LIKE_REQUIREMENT_STATUSES = new Set([
8
+ "passing",
9
+ "failing",
10
+ "skipped",
11
+ "pending",
12
+ ]);
13
+ const STRICT_RELATIONSHIP_TYPES = new Set([
14
+ "constrains",
15
+ "requires_property",
16
+ "requires_predicate",
17
+ ]);
18
+ const BROAD_REQUIREMENT_THRESHOLDS = {
19
+ implementingSymbols: 8,
20
+ scenarios: 6,
21
+ tests: 8,
22
+ dependentRequirements: 5,
23
+ };
24
+ function isRequirement(result) {
25
+ return result.entity.type === "req";
26
+ }
27
+ function isCurrentRequirement(result) {
28
+ return (isRequirement(result) &&
29
+ CURRENT_REQUIREMENT_STATUSES.has(result.entity.status));
30
+ }
31
+ function sortedUnique(values) {
32
+ return [...new Set(values)].sort();
33
+ }
34
+ function entityTypeById(results) {
35
+ const types = new Map();
36
+ for (const result of results) {
37
+ types.set(result.entity.id, result.entity.type);
38
+ }
39
+ return types;
40
+ }
41
+ function targetHasType(targetId, type, typesByEntityId) {
42
+ const targetType = typesByEntityId.get(targetId);
43
+ return targetType === undefined || targetType === type;
44
+ }
45
+ function collectFanout(requirementId, results, typesByEntityId) {
46
+ const implementingSymbolIds = [];
47
+ const scenarioIds = [];
48
+ const testIds = [];
49
+ const dependentRequirementIds = [];
50
+ for (const result of results) {
51
+ for (const relationship of result.relationships) {
52
+ if (relationship.type === "implements" &&
53
+ relationship.to === requirementId) {
54
+ implementingSymbolIds.push(result.entity.id);
55
+ }
56
+ if (result.entity.id === requirementId &&
57
+ relationship.type === "specified_by" &&
58
+ targetHasType(relationship.to, "scenario", typesByEntityId)) {
59
+ scenarioIds.push(relationship.to);
60
+ }
61
+ if (result.entity.id === requirementId &&
62
+ (relationship.type === "verified_by" ||
63
+ relationship.type === "covered_by") &&
64
+ targetHasType(relationship.to, "test", typesByEntityId)) {
65
+ testIds.push(relationship.to);
66
+ }
67
+ if (relationship.type === "depends_on") {
68
+ if (result.entity.id === requirementId &&
69
+ targetHasType(relationship.to, "req", typesByEntityId)) {
70
+ dependentRequirementIds.push(relationship.to);
71
+ }
72
+ if (relationship.to === requirementId && result.entity.type === "req") {
73
+ dependentRequirementIds.push(result.entity.id);
74
+ }
75
+ }
76
+ }
77
+ }
78
+ return {
79
+ implementingSymbolIds: sortedUnique(implementingSymbolIds),
80
+ scenarioIds: sortedUnique(scenarioIds),
81
+ testIds: sortedUnique(testIds),
82
+ dependentRequirementIds: sortedUnique(dependentRequirementIds),
83
+ };
84
+ }
85
+ function exceedsBroadThreshold(fanout) {
86
+ return (fanout.implementingSymbolIds.length >
87
+ BROAD_REQUIREMENT_THRESHOLDS.implementingSymbols ||
88
+ fanout.scenarioIds.length > BROAD_REQUIREMENT_THRESHOLDS.scenarios ||
89
+ fanout.testIds.length > BROAD_REQUIREMENT_THRESHOLDS.tests ||
90
+ fanout.dependentRequirementIds.length >
91
+ BROAD_REQUIREMENT_THRESHOLDS.dependentRequirements);
92
+ }
93
+ function isUmbrellaRequirement(result) {
94
+ const tags = result.entity.tags ?? [];
95
+ return tags.some((tag) => tag === "umbrella" || tag === "epic");
96
+ }
97
+ function createBroadRequirementDiagnostics(results) {
98
+ const typesByEntityId = entityTypeById(results);
99
+ return results.flatMap((result) => {
100
+ if (!isCurrentRequirement(result))
101
+ return [];
102
+ const fanout = collectFanout(result.entity.id, results, typesByEntityId);
103
+ if (!exceedsBroadThreshold(fanout))
104
+ return [];
105
+ if (isUmbrellaRequirement(result))
106
+ return [];
107
+ return [
108
+ {
109
+ id: "broad_requirement_review",
110
+ severity: "review",
111
+ blocking: false,
112
+ category: "requirement",
113
+ entityId: result.entity.id,
114
+ source: result.entity.source,
115
+ files: [result.entity.source],
116
+ docs: ["docs/entity-schema.md"],
117
+ message: `Requirement ${result.entity.id} has broad fanout that exceeds requirement review thresholds.`,
118
+ suggestion: "Split this into smaller behavioral requirements, or keep an explicit umbrella/epic tag when broad ownership is intentional.",
119
+ evidence: {
120
+ implementingSymbolIds: fanout.implementingSymbolIds,
121
+ implementingSymbolCount: fanout.implementingSymbolIds.length,
122
+ implementingSymbolThreshold: BROAD_REQUIREMENT_THRESHOLDS.implementingSymbols,
123
+ scenarioIds: fanout.scenarioIds,
124
+ scenarioCount: fanout.scenarioIds.length,
125
+ scenarioThreshold: BROAD_REQUIREMENT_THRESHOLDS.scenarios,
126
+ testIds: fanout.testIds,
127
+ testCount: fanout.testIds.length,
128
+ testThreshold: BROAD_REQUIREMENT_THRESHOLDS.tests,
129
+ dependentRequirementIds: fanout.dependentRequirementIds,
130
+ dependentRequirementCount: fanout.dependentRequirementIds.length,
131
+ dependentRequirementThreshold: BROAD_REQUIREMENT_THRESHOLDS.dependentRequirements,
132
+ },
133
+ },
134
+ ];
135
+ });
136
+ }
137
+ function createRequirementStatusDiagnostics(results) {
138
+ return results.flatMap((result) => {
139
+ if (!isRequirement(result))
140
+ return [];
141
+ if (!TEST_LIKE_REQUIREMENT_STATUSES.has(result.entity.status))
142
+ return [];
143
+ return [
144
+ {
145
+ id: "requirement_status_review",
146
+ severity: "review",
147
+ blocking: false,
148
+ category: "status",
149
+ entityId: result.entity.id,
150
+ source: result.entity.source,
151
+ files: [result.entity.source],
152
+ docs: ["docs/entity-schema.md"],
153
+ message: `Requirement ${result.entity.id} uses test-like status ${result.entity.status}.`,
154
+ suggestion: "Use requirement lifecycle statuses such as open, in_progress, active, accepted, closed, deprecated, or superseded; keep passing/failing statuses on test entities.",
155
+ evidence: { status: result.entity.status },
156
+ },
157
+ ];
158
+ });
159
+ }
160
+ function strictRelationshipTypes(result) {
161
+ return sortedUnique(result.relationships
162
+ .filter((relationship) => STRICT_RELATIONSHIP_TYPES.has(relationship.type))
163
+ .map((relationship) => relationship.type));
164
+ }
165
+ function createLogicalCoverageDiagnostics(options) {
166
+ return options.manifestResults.flatMap((result) => {
167
+ if (!isCurrentRequirement(result))
168
+ return [];
169
+ if (options.hardViolationEntityIds?.has(result.entity.id))
170
+ return [];
171
+ const relationshipTypes = strictRelationshipTypes(result);
172
+ if ((result.entity.logic_claims?.length ?? 0) > 0)
173
+ return [];
174
+ return [
175
+ {
176
+ id: "logical_coverage_review",
177
+ severity: "review",
178
+ blocking: false,
179
+ category: "fact",
180
+ entityId: result.entity.id,
181
+ source: result.entity.source,
182
+ files: [result.entity.source],
183
+ docs: ["docs/modeling-cheatsheet.md", "docs/error-reference.md"],
184
+ message: `Current requirement ${result.entity.id} has no atomic logic_claims manifest, so prose and existing fact links cannot prove complete logical coverage.`,
185
+ suggestion: "Call kb_semantic_advisor with the complete requirement prose and atomic clauses, ground each returned claim key through kb_model_requirement or kb_suggest_predicates, and persist all keys in logic_claims.",
186
+ evidence: {
187
+ strictRelationshipTypes: relationshipTypes,
188
+ },
189
+ },
190
+ ];
191
+ });
192
+ }
193
+ export function createRequirementQualityDiagnostics(options) {
194
+ return [
195
+ ...createBroadRequirementDiagnostics(options.manifestResults),
196
+ ...createRequirementStatusDiagnostics(options.manifestResults),
197
+ ...createLogicalCoverageDiagnostics(options),
198
+ ];
199
+ }
@@ -0,0 +1,5 @@
1
+ import type { ChangedFileImpactOptions, SourceChange } from "./types.js";
2
+ export declare function normalizeSourceFile(workspaceRoot: string, sourceFile: string): string;
3
+ export declare function uniqueSorted(values: Iterable<string>): string[];
4
+ export declare function collectSourceChanges(options: ChangedFileImpactOptions): SourceChange[];
5
+ //# sourceMappingURL=source-changes.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"source-changes.d.ts","sourceRoot":"","sources":["../../../src/public/impact/source-changes.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,wBAAwB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAiBzE,wBAAgB,mBAAmB,CACjC,aAAa,EAAE,MAAM,EACrB,UAAU,EAAE,MAAM,GACjB,MAAM,CAKR;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,CAE/D;AA6HD,wBAAgB,oBAAoB,CAClC,OAAO,EAAE,wBAAwB,GAChC,YAAY,EAAE,CAchB"}
@@ -0,0 +1,129 @@
1
+ import { execSync } from "node:child_process";
2
+ import { existsSync, readFileSync } from "node:fs";
3
+ import * as path from "node:path";
4
+ import { getStagedFiles, parseHunksFromDiff, } from "../../traceability/git-staged.js";
5
+ import { hasMeaningfulSourceDiff } from "./diff-meaning.js";
6
+ const SOURCE_EXTENSIONS = new Set([
7
+ ".ts",
8
+ ".tsx",
9
+ ".js",
10
+ ".jsx",
11
+ ".mts",
12
+ ".cts",
13
+ ".mjs",
14
+ ".cjs",
15
+ ]);
16
+ function isSupportedSourcePath(filePath) {
17
+ return SOURCE_EXTENSIONS.has(path.extname(filePath));
18
+ }
19
+ export function normalizeSourceFile(workspaceRoot, sourceFile) {
20
+ const relativePath = path.isAbsolute(sourceFile)
21
+ ? path.relative(workspaceRoot, sourceFile)
22
+ : sourceFile;
23
+ return relativePath.split(path.sep).join("/");
24
+ }
25
+ export function uniqueSorted(values) {
26
+ return [...new Set(values)].sort();
27
+ }
28
+ function escapeGitPath(filePath) {
29
+ return filePath.replace(/\\/g, "\\\\").replace(/"/g, '\\"');
30
+ }
31
+ function runGit(workspaceRoot, command) {
32
+ return execSync(command, { cwd: workspaceRoot, encoding: "utf8" });
33
+ }
34
+ function readWorkingTreeSource(workspaceRoot, sourceFile) {
35
+ const absolutePath = path.resolve(workspaceRoot, sourceFile);
36
+ if (!existsSync(absolutePath))
37
+ return null;
38
+ return readFileSync(absolutePath, "utf8");
39
+ }
40
+ function fullFileHunk(content) {
41
+ return [{ start: 1, end: Math.max(1, content.split(/\r?\n/).length) }];
42
+ }
43
+ function getWorkingTreeDiffSourceFiles(workspaceRoot) {
44
+ try {
45
+ return uniqueSorted(runGit(workspaceRoot, "git diff --name-only --diff-filter=ACMR")
46
+ .split(/\r?\n/)
47
+ .map((filePath) => normalizeSourceFile(workspaceRoot, filePath.trim()))
48
+ .filter((filePath) => filePath.length > 0)
49
+ .filter(isSupportedSourcePath));
50
+ }
51
+ catch {
52
+ return [];
53
+ }
54
+ }
55
+ function getWorkingTreeHunks(workspaceRoot, sourceFile) {
56
+ try {
57
+ const diffText = runGit(workspaceRoot, `git diff -U0 -- "${escapeGitPath(sourceFile)}"`);
58
+ return parseHunksFromDiff(diffText);
59
+ }
60
+ catch {
61
+ return [];
62
+ }
63
+ }
64
+ function getStagedSourceChanges(workspaceRoot, sourceFileFilter) {
65
+ const stagedFiles = getStagedFiles((command, options) => execSync(command, { ...options, cwd: workspaceRoot }));
66
+ return stagedFiles
67
+ .filter((file) => isSupportedSourcePath(file.path))
68
+ .filter((file) => sourceFileFilter.size === 0 || sourceFileFilter.has(file.path))
69
+ .flatMap((file) => {
70
+ if (file.content === undefined || file.hunkRanges.length === 0)
71
+ return [];
72
+ if (file.diffText !== undefined &&
73
+ !hasMeaningfulSourceDiff(file.diffText)) {
74
+ return [];
75
+ }
76
+ return [
77
+ {
78
+ file: file.path,
79
+ status: file.status,
80
+ hunkRanges: file.hunkRanges,
81
+ content: file.content,
82
+ },
83
+ ];
84
+ });
85
+ }
86
+ function getWorkingTreeSourceChanges(workspaceRoot, sourceFileFilter) {
87
+ const sourceFiles = sourceFileFilter.size > 0
88
+ ? [...sourceFileFilter]
89
+ : getWorkingTreeDiffSourceFiles(workspaceRoot);
90
+ return sourceFiles.flatMap((sourceFile) => {
91
+ const content = readWorkingTreeSource(workspaceRoot, sourceFile);
92
+ if (content === null)
93
+ return [];
94
+ const diffText = runGit(workspaceRoot, `git diff -U0 -- "${escapeGitPath(sourceFile)}"`);
95
+ if (!hasMeaningfulSourceDiff(diffText))
96
+ return [];
97
+ const hunkRanges = getWorkingTreeHunks(workspaceRoot, sourceFile);
98
+ if (hunkRanges.length === 0)
99
+ return [];
100
+ return [{ file: sourceFile, status: "M", hunkRanges, content }];
101
+ });
102
+ }
103
+ function getExplicitSourceChanges(workspaceRoot, sourceFileFilter) {
104
+ return [...sourceFileFilter].flatMap((sourceFile) => {
105
+ const content = readWorkingTreeSource(workspaceRoot, sourceFile);
106
+ if (content === null)
107
+ return [];
108
+ return [
109
+ {
110
+ file: sourceFile,
111
+ status: "M",
112
+ hunkRanges: fullFileHunk(content),
113
+ content,
114
+ },
115
+ ];
116
+ });
117
+ }
118
+ export function collectSourceChanges(options) {
119
+ const workspaceRoot = path.resolve(options.workspaceRoot);
120
+ const sourceFileFilter = new Set((options.sourceFiles ?? [])
121
+ .map((sourceFile) => normalizeSourceFile(workspaceRoot, sourceFile))
122
+ .filter(isSupportedSourcePath));
123
+ if (options.staged)
124
+ return getStagedSourceChanges(workspaceRoot, sourceFileFilter);
125
+ if (options.includeWorkingTreeDiff) {
126
+ return getWorkingTreeSourceChanges(workspaceRoot, sourceFileFilter);
127
+ }
128
+ return getExplicitSourceChanges(workspaceRoot, sourceFileFilter);
129
+ }
@@ -0,0 +1,6 @@
1
+ import type { ExtractionResult } from "../../extractors/markdown.js";
2
+ import type { ImpactExtractedSymbol, ImpactLinkedEntity, SymbolsByFile } from "./types.js";
3
+ export declare function formatExtractedSymbols(symbolsByFile: SymbolsByFile): ImpactExtractedSymbol[];
4
+ export declare function collectLinkedEntities(symbolsByFile: SymbolsByFile, manifestResults: readonly ExtractionResult[], activeSourceFiles: ReadonlySet<string>): ImpactLinkedEntity[];
5
+ export declare function buildNextActions(sourceFiles: readonly string[]): string[];
6
+ //# sourceMappingURL=summaries.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"summaries.d.ts","sourceRoot":"","sources":["../../../src/public/impact/summaries.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AAIrE,OAAO,KAAK,EACV,qBAAqB,EACrB,kBAAkB,EAClB,aAAa,EACd,MAAM,YAAY,CAAC;AAYpB,wBAAgB,sBAAsB,CACpC,aAAa,EAAE,aAAa,GAC3B,qBAAqB,EAAE,CAazB;AAED,wBAAgB,qBAAqB,CACnC,aAAa,EAAE,aAAa,EAC5B,eAAe,EAAE,SAAS,gBAAgB,EAAE,EAC5C,iBAAiB,EAAE,WAAW,CAAC,MAAM,CAAC,GACrC,kBAAkB,EAAE,CA4CtB;AAED,wBAAgB,gBAAgB,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,EAAE,CAYzE"}
@@ -0,0 +1,68 @@
1
+ import { isTraceabilityRelationshipType } from "../symbol-granularity.js";
2
+ import { uniqueSorted } from "./source-changes.js";
3
+ function linkedEntityIdsFor(symbol) {
4
+ return uniqueSorted((symbol.relationships ?? [])
5
+ .filter((relationship) => isTraceabilityRelationshipType(relationship.type))
6
+ .map((relationship) => relationship.to));
7
+ }
8
+ export function formatExtractedSymbols(symbolsByFile) {
9
+ return [...symbolsByFile.values()]
10
+ .flatMap((symbols) => [...symbols])
11
+ .map((symbol) => ({
12
+ id: symbol.id,
13
+ name: symbol.name,
14
+ kind: symbol.kind,
15
+ role: symbol.role,
16
+ location: symbol.location,
17
+ hunkRanges: symbol.hunkRanges,
18
+ linkedEntityIds: linkedEntityIdsFor(symbol),
19
+ }))
20
+ .sort((left, right) => left.name.localeCompare(right.name));
21
+ }
22
+ export function collectLinkedEntities(symbolsByFile, manifestResults, activeSourceFiles) {
23
+ const linkedEntities = new Map();
24
+ const add = (entity) => {
25
+ linkedEntities.set(`${entity.sourceSymbolId}:${entity.relationshipType}:${entity.id}`, entity);
26
+ };
27
+ for (const symbols of symbolsByFile.values()) {
28
+ for (const symbol of symbols) {
29
+ for (const relationship of symbol.relationships ?? []) {
30
+ if (!isTraceabilityRelationshipType(relationship.type))
31
+ continue;
32
+ add({
33
+ id: relationship.to,
34
+ relationshipType: relationship.type,
35
+ sourceSymbolId: symbol.id,
36
+ sourceSymbolName: symbol.name,
37
+ });
38
+ }
39
+ }
40
+ }
41
+ for (const result of manifestResults) {
42
+ if (result.sourceFile === undefined ||
43
+ !activeSourceFiles.has(result.sourceFile)) {
44
+ continue;
45
+ }
46
+ for (const relationship of result.relationships) {
47
+ if (!isTraceabilityRelationshipType(relationship.type))
48
+ continue;
49
+ add({
50
+ id: relationship.to,
51
+ relationshipType: relationship.type,
52
+ sourceSymbolId: result.entity.id,
53
+ sourceSymbolName: result.entity.title,
54
+ });
55
+ }
56
+ }
57
+ return [...linkedEntities.values()].sort((left, right) => left.id.localeCompare(right.id));
58
+ }
59
+ export function buildNextActions(sourceFiles) {
60
+ if (sourceFiles.length === 0)
61
+ return [];
62
+ return [
63
+ `kb_search({ query: "${sourceFiles.join(" ")}" }) to discover requirements/tests that may describe the changed behavior.`,
64
+ ...sourceFiles.map((sourceFile) => `kb_query({ sourceFile: "${sourceFile}" }) to inspect exact source-linked Kibi entities before deciding whether requirements/tests need updates.`),
65
+ "Update narrower symbols, requirements, tests, or strict facts when diagnostics show broad or stale modeling.",
66
+ "rerun kb_check with the same sourceFiles/impact options after Kibi updates.",
67
+ ];
68
+ }
@@ -0,0 +1,21 @@
1
+ import type { ExtractionResult } from "../../extractors/markdown.js";
2
+ import type { ExtractedSymbol } from "../../traceability/symbol-extract.js";
3
+ import { type SymbolKind, type SymbolRole } from "../symbol-granularity.js";
4
+ import type { SymbolQualityDiagnosticsOptions } from "./types.js";
5
+ export type SymbolMetadata = {
6
+ readonly result: ExtractionResult;
7
+ readonly id: string;
8
+ readonly title: string;
9
+ readonly sourceFile: string;
10
+ readonly source: string;
11
+ readonly kind: SymbolKind | "component" | "service" | "module" | "config";
12
+ readonly role: SymbolRole;
13
+ readonly requirementTargetIds: readonly string[];
14
+ readonly coordinateKey: string | null;
15
+ };
16
+ export declare const AGGREGATE_KINDS: ReadonlySet<string>;
17
+ export declare function collectSymbols(options: SymbolQualityDiagnosticsOptions): readonly SymbolMetadata[];
18
+ export declare function isModuleOrConfig(symbol: SymbolMetadata): boolean;
19
+ export declare function narrowerManifestSymbols(symbol: SymbolMetadata, symbols: readonly SymbolMetadata[]): readonly SymbolMetadata[];
20
+ export declare function narrowerExtractedSymbols(symbol: SymbolMetadata, symbolsByFile: ReadonlyMap<string, readonly ExtractedSymbol[]>): readonly ExtractedSymbol[];
21
+ //# sourceMappingURL=symbol-quality-model.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"symbol-quality-model.d.ts","sourceRoot":"","sources":["../../../src/public/impact/symbol-quality-model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,8BAA8B,CAAC;AACrE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAC;AAC5E,OAAO,EACL,KAAK,UAAU,EACf,KAAK,UAAU,EAEhB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EAAE,+BAA+B,EAAE,MAAM,YAAY,CAAC;AAElE,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAC;IAClC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,WAAW,GAAG,SAAS,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAC1E,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,oBAAoB,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;CACvC,CAAC;AAEF,eAAO,MAAM,eAAe,EAAE,WAAW,CAAC,MAAM,CAK9C,CAAC;AAyFH,wBAAgB,cAAc,CAC5B,OAAO,EAAE,+BAA+B,GACvC,SAAS,cAAc,EAAE,CAyB3B;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAEhE;AAED,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,cAAc,EACtB,OAAO,EAAE,SAAS,cAAc,EAAE,GACjC,SAAS,cAAc,EAAE,CAO3B;AAED,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,cAAc,EACtB,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAC,GAC7D,SAAS,eAAe,EAAE,CAO5B"}
@@ -0,0 +1,116 @@
1
+ import { getSymbolRole, } from "../symbol-granularity.js";
2
+ export const AGGREGATE_KINDS = new Set([
3
+ "class",
4
+ "component",
5
+ "service",
6
+ "module",
7
+ ]);
8
+ function isActiveSymbol(result) {
9
+ return result.entity.type === "symbol" && result.entity.status === "active";
10
+ }
11
+ function getRequirementTargets(result) {
12
+ return [
13
+ ...new Set(result.relationships
14
+ .filter((relationship) => relationship.type === "implements" &&
15
+ relationship.to.startsWith("REQ-"))
16
+ .map((relationship) => relationship.to)),
17
+ ].sort();
18
+ }
19
+ function inferKind(result) {
20
+ const explicitKind = result.entity.symbol_kind;
21
+ if (explicitKind === "component" ||
22
+ explicitKind === "service" ||
23
+ explicitKind === "module" ||
24
+ explicitKind === "config") {
25
+ return explicitKind;
26
+ }
27
+ if (explicitKind === "function" ||
28
+ explicitKind === "class" ||
29
+ explicitKind === "method" ||
30
+ explicitKind === "property" ||
31
+ explicitKind === "accessor" ||
32
+ explicitKind === "interface" ||
33
+ explicitKind === "type" ||
34
+ explicitKind === "variable" ||
35
+ explicitKind === "enum" ||
36
+ explicitKind === "unknown") {
37
+ return explicitKind;
38
+ }
39
+ if (result.entity.title.endsWith("Component"))
40
+ return "component";
41
+ if (result.entity.title.endsWith("Service"))
42
+ return "service";
43
+ if (result.entity.title.endsWith("Module"))
44
+ return "module";
45
+ if (result.entity.title.endsWith("Config"))
46
+ return "config";
47
+ if (result.entity.title.includes("."))
48
+ return "method";
49
+ return "unknown";
50
+ }
51
+ function inferRole(result, kind) {
52
+ const explicitRole = result.entity.symbol_role;
53
+ if (explicitRole === "behavioral" ||
54
+ explicitRole === "structural" ||
55
+ explicitRole === "type-shape" ||
56
+ explicitRole === "config" ||
57
+ explicitRole === "module" ||
58
+ explicitRole === "unknown") {
59
+ return explicitRole;
60
+ }
61
+ if (kind === "component" || kind === "service")
62
+ return "behavioral";
63
+ if (kind === "module")
64
+ return "module";
65
+ if (kind === "config")
66
+ return "config";
67
+ return getSymbolRole({ name: result.entity.title, kind });
68
+ }
69
+ function getCoordinateKey(result) {
70
+ const { sourceLine, sourceColumn, sourceEndLine, sourceEndColumn } = result.entity;
71
+ if (sourceLine === undefined ||
72
+ sourceColumn === undefined ||
73
+ sourceEndLine === undefined ||
74
+ sourceEndColumn === undefined) {
75
+ return null;
76
+ }
77
+ return `${sourceLine}:${sourceColumn}:${sourceEndLine}:${sourceEndColumn}`;
78
+ }
79
+ export function collectSymbols(options) {
80
+ return options.manifestResults
81
+ .filter((result) => options.activeEntityIds === undefined
82
+ ? isActiveSymbol(result)
83
+ : isActiveSymbol(result) &&
84
+ options.activeEntityIds.has(result.entity.id))
85
+ .flatMap((result) => {
86
+ if (result.sourceFile === undefined)
87
+ return [];
88
+ const kind = inferKind(result);
89
+ return [
90
+ {
91
+ result,
92
+ id: result.entity.id,
93
+ title: result.entity.title,
94
+ sourceFile: result.sourceFile,
95
+ source: result.entity.source,
96
+ kind,
97
+ role: inferRole(result, kind),
98
+ requirementTargetIds: getRequirementTargets(result),
99
+ coordinateKey: getCoordinateKey(result),
100
+ },
101
+ ];
102
+ });
103
+ }
104
+ export function isModuleOrConfig(symbol) {
105
+ return symbol.role === "module" || symbol.role === "config";
106
+ }
107
+ export function narrowerManifestSymbols(symbol, symbols) {
108
+ return symbols.filter((candidate) => candidate.id !== symbol.id &&
109
+ candidate.sourceFile === symbol.sourceFile &&
110
+ candidate.title.startsWith(`${symbol.title}.`));
111
+ }
112
+ export function narrowerExtractedSymbols(symbol, symbolsByFile) {
113
+ return (symbolsByFile.get(symbol.sourceFile) ?? []).filter((candidate) => candidate.name !== symbol.title &&
114
+ candidate.name.startsWith(`${symbol.title}.`) &&
115
+ candidate.role === "behavioral");
116
+ }
@@ -0,0 +1,4 @@
1
+ import type { KibiImpactDiagnostic } from "../../traceability/staged-diagnostics.js";
2
+ import type { SymbolQualityDiagnosticsOptions } from "./types.js";
3
+ export declare function createSymbolQualityDiagnostics(options: SymbolQualityDiagnosticsOptions): KibiImpactDiagnostic[];
4
+ //# sourceMappingURL=symbol-quality.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"symbol-quality.d.ts","sourceRoot":"","sources":["../../../src/public/impact/symbol-quality.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAC;AAUrF,OAAO,KAAK,EAAE,+BAA+B,EAAE,MAAM,YAAY,CAAC;AA0LlE,wBAAgB,8BAA8B,CAC5C,OAAO,EAAE,+BAA+B,GACvC,oBAAoB,EAAE,CAOxB"}