kibi-cli 0.14.0 → 0.17.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 (456) 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 -211
  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 +1 -1
  39. package/dist/commands/check.d.ts.map +1 -1
  40. package/dist/commands/check.js +53 -95
  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 +2 -1
  44. package/dist/commands/discovery-shared.d.ts.map +1 -1
  45. package/dist/commands/discovery-shared.js +6 -18
  46. package/dist/commands/gaps.d.ts.map +1 -1
  47. package/dist/commands/gaps.js +15 -19
  48. package/dist/commands/graph.d.ts.map +1 -1
  49. package/dist/commands/graph.js +15 -21
  50. package/dist/commands/query.d.ts +7 -7
  51. package/dist/commands/query.d.ts.map +1 -1
  52. package/dist/commands/query.js +98 -204
  53. package/dist/commands/search.d.ts +4 -4
  54. package/dist/commands/search.d.ts.map +1 -1
  55. package/dist/commands/search.js +14 -27
  56. package/dist/commands/status.d.ts +1 -1
  57. package/dist/commands/status.d.ts.map +1 -1
  58. package/dist/commands/status.js +6 -7
  59. package/dist/commands/sync/manifest.d.ts +13 -2
  60. package/dist/commands/sync/manifest.d.ts.map +1 -1
  61. package/dist/commands/sync/manifest.js +31 -22
  62. package/dist/commands/sync/persistence.d.ts.map +1 -1
  63. package/dist/commands/sync/persistence.js +39 -1
  64. package/dist/extractors/markdown.d.ts +22 -2
  65. package/dist/extractors/markdown.d.ts.map +1 -1
  66. package/dist/extractors/markdown.js +50 -1
  67. package/dist/extractors/symbols-ts.d.ts.map +1 -1
  68. package/dist/extractors/symbols-ts.js +11 -1
  69. package/dist/logic/ir.d.ts +112 -0
  70. package/dist/logic/ir.d.ts.map +1 -0
  71. package/dist/logic/ir.js +729 -0
  72. package/dist/operations/autopilot/activation.d.ts +4 -0
  73. package/dist/operations/autopilot/activation.d.ts.map +1 -0
  74. package/dist/operations/autopilot/activation.js +130 -0
  75. package/dist/operations/autopilot/candidate-helpers.d.ts +13 -0
  76. package/dist/operations/autopilot/candidate-helpers.d.ts.map +1 -0
  77. package/dist/operations/autopilot/candidate-helpers.js +55 -0
  78. package/dist/operations/autopilot/candidates.d.ts +4 -0
  79. package/dist/operations/autopilot/candidates.d.ts.map +1 -0
  80. package/dist/operations/autopilot/candidates.js +114 -0
  81. package/dist/operations/autopilot/discovery-evidence.d.ts +10 -0
  82. package/dist/operations/autopilot/discovery-evidence.d.ts.map +1 -0
  83. package/dist/operations/autopilot/discovery-evidence.js +158 -0
  84. package/dist/operations/autopilot/discovery.d.ts +4 -0
  85. package/dist/operations/autopilot/discovery.d.ts.map +1 -0
  86. package/dist/operations/autopilot/discovery.js +100 -0
  87. package/dist/operations/autopilot/generate.d.ts +8 -0
  88. package/dist/operations/autopilot/generate.d.ts.map +1 -0
  89. package/dist/operations/autopilot/generate.js +112 -0
  90. package/dist/operations/autopilot/guidance-actions.d.ts +3 -0
  91. package/dist/operations/autopilot/guidance-actions.d.ts.map +1 -0
  92. package/dist/operations/autopilot/guidance-actions.js +79 -0
  93. package/dist/operations/autopilot/guidance.d.ts +14 -0
  94. package/dist/operations/autopilot/guidance.d.ts.map +1 -0
  95. package/dist/operations/autopilot/guidance.js +124 -0
  96. package/dist/operations/autopilot/markdown-candidates.d.ts +7 -0
  97. package/dist/operations/autopilot/markdown-candidates.d.ts.map +1 -0
  98. package/dist/operations/autopilot/markdown-candidates.js +134 -0
  99. package/dist/operations/autopilot/presentation.d.ts +13 -0
  100. package/dist/operations/autopilot/presentation.d.ts.map +1 -0
  101. package/dist/operations/autopilot/presentation.js +91 -0
  102. package/dist/operations/autopilot/requirement-claims.d.ts +3 -0
  103. package/dist/operations/autopilot/requirement-claims.d.ts.map +1 -0
  104. package/dist/operations/autopilot/requirement-claims.js +48 -0
  105. package/dist/operations/autopilot/types.d.ts +117 -0
  106. package/dist/operations/autopilot/types.d.ts.map +1 -0
  107. package/dist/operations/autopilot/types.js +8 -0
  108. package/dist/operations/modeling/logic-modeling.d.ts +22 -0
  109. package/dist/operations/modeling/logic-modeling.d.ts.map +1 -0
  110. package/dist/operations/modeling/logic-modeling.js +111 -0
  111. package/dist/operations/modeling/model-requirement.d.ts +10 -0
  112. package/dist/operations/modeling/model-requirement.d.ts.map +1 -0
  113. package/dist/operations/modeling/model-requirement.js +164 -0
  114. package/dist/operations/modeling/predicate-applyplan.d.ts +6 -0
  115. package/dist/operations/modeling/predicate-applyplan.d.ts.map +1 -0
  116. package/dist/operations/modeling/predicate-applyplan.js +117 -0
  117. package/dist/operations/modeling/predicate-catalog-1.d.ts +3 -0
  118. package/dist/operations/modeling/predicate-catalog-1.d.ts.map +1 -0
  119. package/dist/operations/modeling/predicate-catalog-1.js +200 -0
  120. package/dist/operations/modeling/predicate-catalog-2.d.ts +3 -0
  121. package/dist/operations/modeling/predicate-catalog-2.d.ts.map +1 -0
  122. package/dist/operations/modeling/predicate-catalog-2.js +197 -0
  123. package/dist/operations/modeling/predicate-catalog-3.d.ts +3 -0
  124. package/dist/operations/modeling/predicate-catalog-3.d.ts.map +1 -0
  125. package/dist/operations/modeling/predicate-catalog-3.js +193 -0
  126. package/dist/operations/modeling/predicate-catalog-4.d.ts +3 -0
  127. package/dist/operations/modeling/predicate-catalog-4.d.ts.map +1 -0
  128. package/dist/operations/modeling/predicate-catalog-4.js +149 -0
  129. package/dist/operations/modeling/predicate-catalog.d.ts +5 -0
  130. package/dist/operations/modeling/predicate-catalog.d.ts.map +1 -0
  131. package/dist/operations/modeling/predicate-catalog.js +29 -0
  132. package/dist/operations/modeling/predicate-inference-1.d.ts +16 -0
  133. package/dist/operations/modeling/predicate-inference-1.d.ts.map +1 -0
  134. package/dist/operations/modeling/predicate-inference-1.js +161 -0
  135. package/dist/operations/modeling/predicate-inference-2.d.ts +19 -0
  136. package/dist/operations/modeling/predicate-inference-2.d.ts.map +1 -0
  137. package/dist/operations/modeling/predicate-inference-2.js +169 -0
  138. package/dist/operations/modeling/predicate-inference-3.d.ts +15 -0
  139. package/dist/operations/modeling/predicate-inference-3.d.ts.map +1 -0
  140. package/dist/operations/modeling/predicate-inference-3.js +163 -0
  141. package/dist/operations/modeling/predicate-inference.d.ts +5 -0
  142. package/dist/operations/modeling/predicate-inference.d.ts.map +1 -0
  143. package/dist/operations/modeling/predicate-inference.js +163 -0
  144. package/dist/operations/modeling/predicate-loader.d.ts +10 -0
  145. package/dist/operations/modeling/predicate-loader.d.ts.map +1 -0
  146. package/dist/operations/modeling/predicate-loader.js +94 -0
  147. package/dist/operations/modeling/predicate-ranker.d.ts +3 -0
  148. package/dist/operations/modeling/predicate-ranker.d.ts.map +1 -0
  149. package/dist/operations/modeling/predicate-ranker.js +62 -0
  150. package/dist/operations/modeling/predicate-score-1.d.ts +3 -0
  151. package/dist/operations/modeling/predicate-score-1.d.ts.map +1 -0
  152. package/dist/operations/modeling/predicate-score-1.js +121 -0
  153. package/dist/operations/modeling/predicate-score-2.d.ts +3 -0
  154. package/dist/operations/modeling/predicate-score-2.d.ts.map +1 -0
  155. package/dist/operations/modeling/predicate-score-2.js +122 -0
  156. package/dist/operations/modeling/predicate-score-3.d.ts +3 -0
  157. package/dist/operations/modeling/predicate-score-3.d.ts.map +1 -0
  158. package/dist/operations/modeling/predicate-score-3.js +54 -0
  159. package/dist/operations/modeling/predicate-types.d.ts +64 -0
  160. package/dist/operations/modeling/predicate-types.d.ts.map +1 -0
  161. package/dist/operations/modeling/predicate-types.js +1 -0
  162. package/dist/operations/modeling/predicate-usage-hints-1.d.ts +3 -0
  163. package/dist/operations/modeling/predicate-usage-hints-1.d.ts.map +1 -0
  164. package/dist/operations/modeling/predicate-usage-hints-1.js +211 -0
  165. package/dist/operations/modeling/predicate-usage-hints-2.d.ts +3 -0
  166. package/dist/operations/modeling/predicate-usage-hints-2.d.ts.map +1 -0
  167. package/dist/operations/modeling/predicate-usage-hints-2.js +209 -0
  168. package/dist/operations/modeling/predicate-usage-hints-3.d.ts +3 -0
  169. package/dist/operations/modeling/predicate-usage-hints-3.d.ts.map +1 -0
  170. package/dist/operations/modeling/predicate-usage-hints-3.js +45 -0
  171. package/dist/operations/modeling/predicate-utils.d.ts +23 -0
  172. package/dist/operations/modeling/predicate-utils.d.ts.map +1 -0
  173. package/dist/operations/modeling/predicate-utils.js +187 -0
  174. package/dist/operations/modeling/requirement-applyplan.d.ts +4 -0
  175. package/dist/operations/modeling/requirement-applyplan.d.ts.map +1 -0
  176. package/dist/operations/modeling/requirement-applyplan.js +44 -0
  177. package/dist/operations/modeling/requirement-heuristics.d.ts +4 -0
  178. package/dist/operations/modeling/requirement-heuristics.d.ts.map +1 -0
  179. package/dist/operations/modeling/requirement-heuristics.js +114 -0
  180. package/dist/operations/modeling/requirement-modeler.d.ts +8 -0
  181. package/dist/operations/modeling/requirement-modeler.d.ts.map +1 -0
  182. package/dist/operations/modeling/requirement-modeler.js +70 -0
  183. package/dist/operations/modeling/requirement-types.d.ts +61 -0
  184. package/dist/operations/modeling/requirement-types.d.ts.map +1 -0
  185. package/dist/operations/modeling/requirement-types.js +1 -0
  186. package/dist/operations/modeling/requirement-utils.d.ts +10 -0
  187. package/dist/operations/modeling/requirement-utils.d.ts.map +1 -0
  188. package/dist/operations/modeling/requirement-utils.js +65 -0
  189. package/dist/operations/modeling/suggest-predicates.d.ts +6 -0
  190. package/dist/operations/modeling/suggest-predicates.d.ts.map +1 -0
  191. package/dist/operations/modeling/suggest-predicates.js +64 -0
  192. package/dist/operations/mutation/audit.d.ts +6 -0
  193. package/dist/operations/mutation/audit.d.ts.map +1 -0
  194. package/dist/operations/mutation/audit.js +22 -0
  195. package/dist/operations/mutation/contradictions.d.ts +10 -0
  196. package/dist/operations/mutation/contradictions.d.ts.map +1 -0
  197. package/dist/operations/mutation/contradictions.js +40 -0
  198. package/dist/operations/mutation/delete.d.ts +5 -0
  199. package/dist/operations/mutation/delete.d.ts.map +1 -0
  200. package/dist/operations/mutation/delete.js +67 -0
  201. package/dist/operations/mutation/relationships.d.ts +17 -0
  202. package/dist/operations/mutation/relationships.d.ts.map +1 -0
  203. package/dist/operations/mutation/relationships.js +142 -0
  204. package/dist/operations/mutation/save.d.ts +4 -0
  205. package/dist/operations/mutation/save.d.ts.map +1 -0
  206. package/dist/operations/mutation/save.js +14 -0
  207. package/dist/operations/mutation/serialization.d.ts +5 -0
  208. package/dist/operations/mutation/serialization.d.ts.map +1 -0
  209. package/dist/operations/mutation/serialization.js +88 -0
  210. package/dist/operations/mutation/strict-fact.d.ts +4 -0
  211. package/dist/operations/mutation/strict-fact.d.ts.map +1 -0
  212. package/dist/operations/mutation/strict-fact.js +132 -0
  213. package/dist/operations/mutation/symbol-granularity.d.ts +4 -0
  214. package/dist/operations/mutation/symbol-granularity.d.ts.map +1 -0
  215. package/dist/operations/mutation/symbol-granularity.js +109 -0
  216. package/dist/operations/mutation/symbol-refresh.d.ts +10 -0
  217. package/dist/operations/mutation/symbol-refresh.d.ts.map +1 -0
  218. package/dist/operations/mutation/symbol-refresh.js +105 -0
  219. package/dist/operations/mutation/types.d.ts +43 -0
  220. package/dist/operations/mutation/types.d.ts.map +1 -0
  221. package/dist/operations/mutation/types.js +1 -0
  222. package/dist/operations/mutation/upsert.d.ts +5 -0
  223. package/dist/operations/mutation/upsert.d.ts.map +1 -0
  224. package/dist/operations/mutation/upsert.js +103 -0
  225. package/dist/operations/mutation/validate-upsert.d.ts +5 -0
  226. package/dist/operations/mutation/validate-upsert.d.ts.map +1 -0
  227. package/dist/operations/mutation/validate-upsert.js +50 -0
  228. package/dist/operations/mutation/validation.d.ts +5 -0
  229. package/dist/operations/mutation/validation.d.ts.map +1 -0
  230. package/dist/operations/mutation/validation.js +107 -0
  231. package/dist/operations/mutation/warnings.d.ts +4 -0
  232. package/dist/operations/mutation/warnings.d.ts.map +1 -0
  233. package/dist/operations/mutation/warnings.js +17 -0
  234. package/dist/operations/semantic-advisor/analysis-receipt.d.ts +5 -0
  235. package/dist/operations/semantic-advisor/analysis-receipt.d.ts.map +1 -0
  236. package/dist/operations/semantic-advisor/analysis-receipt.js +120 -0
  237. package/dist/operations/semantic-advisor/analyze-prose.d.ts +5 -0
  238. package/dist/operations/semantic-advisor/analyze-prose.d.ts.map +1 -0
  239. package/dist/operations/semantic-advisor/analyze-prose.js +693 -0
  240. package/dist/operations/semantic-advisor/clauses.d.ts +10 -0
  241. package/dist/operations/semantic-advisor/clauses.d.ts.map +1 -0
  242. package/dist/operations/semantic-advisor/clauses.js +43 -0
  243. package/dist/operations/semantic-advisor/observation-plan.d.ts +3 -0
  244. package/dist/operations/semantic-advisor/observation-plan.d.ts.map +1 -0
  245. package/dist/operations/semantic-advisor/observation-plan.js +31 -0
  246. package/dist/operations/semantic-advisor/predicate-rule.d.ts +14 -0
  247. package/dist/operations/semantic-advisor/predicate-rule.d.ts.map +1 -0
  248. package/dist/operations/semantic-advisor/predicate-rule.js +22 -0
  249. package/dist/operations/semantic-advisor/predicate-rules-core.d.ts +79 -0
  250. package/dist/operations/semantic-advisor/predicate-rules-core.d.ts.map +1 -0
  251. package/dist/operations/semantic-advisor/predicate-rules-core.js +140 -0
  252. package/dist/operations/semantic-advisor/predicate-rules-policy.d.ts +83 -0
  253. package/dist/operations/semantic-advisor/predicate-rules-policy.d.ts.map +1 -0
  254. package/dist/operations/semantic-advisor/predicate-rules-policy.js +150 -0
  255. package/dist/operations/semantic-advisor/predicate-rules-product-tail.d.ts +48 -0
  256. package/dist/operations/semantic-advisor/predicate-rules-product-tail.d.ts.map +1 -0
  257. package/dist/operations/semantic-advisor/predicate-rules-product-tail.js +102 -0
  258. package/dist/operations/semantic-advisor/predicate-rules-product.d.ts +71 -0
  259. package/dist/operations/semantic-advisor/predicate-rules-product.d.ts.map +1 -0
  260. package/dist/operations/semantic-advisor/predicate-rules-product.js +133 -0
  261. package/dist/operations/semantic-advisor/prose-coverage-evaluator.d.ts +29 -0
  262. package/dist/operations/semantic-advisor/prose-coverage-evaluator.d.ts.map +1 -0
  263. package/dist/operations/semantic-advisor/prose-coverage-evaluator.js +54 -0
  264. package/dist/operations/semantic-advisor/shared.d.ts +19 -0
  265. package/dist/operations/semantic-advisor/shared.d.ts.map +1 -0
  266. package/dist/operations/semantic-advisor/shared.js +209 -0
  267. package/dist/operations/semantic-advisor/strict-count-rules.d.ts +4 -0
  268. package/dist/operations/semantic-advisor/strict-count-rules.d.ts.map +1 -0
  269. package/dist/operations/semantic-advisor/strict-count-rules.js +62 -0
  270. package/dist/operations/semantic-advisor/strict-rules.d.ts +4 -0
  271. package/dist/operations/semantic-advisor/strict-rules.d.ts.map +1 -0
  272. package/dist/operations/semantic-advisor/strict-rules.js +106 -0
  273. package/dist/operations/semantic-advisor/types.d.ts +195 -0
  274. package/dist/operations/semantic-advisor/types.d.ts.map +1 -0
  275. package/dist/operations/semantic-advisor/types.js +1 -0
  276. package/dist/prolog/codec.d.ts.map +1 -1
  277. package/dist/prolog/codec.js +20 -3
  278. package/dist/prolog.d.ts +5 -0
  279. package/dist/prolog.d.ts.map +1 -1
  280. package/dist/prolog.js +89 -32
  281. package/dist/public/impact/diagnostics.d.ts.map +1 -1
  282. package/dist/public/impact/diagnostics.js +8 -4
  283. package/dist/public/impact/full-kb-quality.d.ts +1 -1
  284. package/dist/public/impact/full-kb-quality.d.ts.map +1 -1
  285. package/dist/public/impact/full-kb-quality.js +34 -1
  286. package/dist/public/impact/requirement-quality.d.ts.map +1 -1
  287. package/dist/public/impact/requirement-quality.js +6 -23
  288. package/dist/public/operations/catalog.d.ts +986 -0
  289. package/dist/public/operations/catalog.d.ts.map +1 -0
  290. package/dist/public/operations/catalog.js +42 -0
  291. package/dist/public/operations/check-executor.d.ts +21 -0
  292. package/dist/public/operations/check-executor.d.ts.map +1 -0
  293. package/dist/public/operations/check-executor.js +111 -0
  294. package/dist/public/operations/check-format-shared.d.ts +36 -0
  295. package/dist/public/operations/check-format-shared.d.ts.map +1 -0
  296. package/dist/public/operations/check-format-shared.js +107 -0
  297. package/dist/public/operations/check-helpers.d.ts +10 -0
  298. package/dist/public/operations/check-helpers.d.ts.map +1 -0
  299. package/dist/public/operations/check-helpers.js +107 -0
  300. package/dist/public/operations/discovery-entities.d.ts +14 -0
  301. package/dist/public/operations/discovery-entities.d.ts.map +1 -0
  302. package/dist/public/operations/discovery-entities.js +91 -0
  303. package/dist/public/operations/discovery-executors.d.ts +39 -0
  304. package/dist/public/operations/discovery-executors.d.ts.map +1 -0
  305. package/dist/public/operations/discovery-executors.js +101 -0
  306. package/dist/public/operations/index.d.ts +21 -0
  307. package/dist/public/operations/index.d.ts.map +1 -0
  308. package/dist/public/operations/index.js +19 -0
  309. package/dist/public/operations/node-ports.d.ts +15 -0
  310. package/dist/public/operations/node-ports.d.ts.map +1 -0
  311. package/dist/public/operations/node-ports.js +57 -0
  312. package/dist/public/operations/prolog-json.d.ts +5 -0
  313. package/dist/public/operations/prolog-json.d.ts.map +1 -0
  314. package/dist/public/operations/prolog-json.js +44 -0
  315. package/dist/public/operations/runtime-types.d.ts +69 -0
  316. package/dist/public/operations/runtime-types.d.ts.map +1 -0
  317. package/dist/public/operations/runtime-types.js +17 -0
  318. package/dist/public/operations/specs/autopilot.d.ts +82 -0
  319. package/dist/public/operations/specs/autopilot.d.ts.map +1 -0
  320. package/dist/public/operations/specs/autopilot.js +72 -0
  321. package/dist/public/operations/specs/check.d.ts +51 -0
  322. package/dist/public/operations/specs/check.d.ts.map +1 -0
  323. package/dist/public/operations/specs/check.js +65 -0
  324. package/dist/public/operations/specs/discovery.d.ts +94 -0
  325. package/dist/public/operations/specs/discovery.d.ts.map +1 -0
  326. package/dist/public/operations/specs/discovery.js +98 -0
  327. package/dist/public/operations/specs/modeling.d.ts +142 -0
  328. package/dist/public/operations/specs/modeling.d.ts.map +1 -0
  329. package/dist/public/operations/specs/modeling.js +133 -0
  330. package/dist/public/operations/specs/mutation-schemas.d.ts +268 -0
  331. package/dist/public/operations/specs/mutation-schemas.d.ts.map +1 -0
  332. package/dist/public/operations/specs/mutation-schemas.js +294 -0
  333. package/dist/public/operations/specs/mutation.d.ts +56 -0
  334. package/dist/public/operations/specs/mutation.d.ts.map +1 -0
  335. package/dist/public/operations/specs/mutation.js +44 -0
  336. package/dist/public/operations/specs/reporting.d.ts +185 -0
  337. package/dist/public/operations/specs/reporting.d.ts.map +1 -0
  338. package/dist/public/operations/specs/reporting.js +158 -0
  339. package/dist/public/operations/specs/semantic.d.ts +81 -0
  340. package/dist/public/operations/specs/semantic.d.ts.map +1 -0
  341. package/dist/public/operations/specs/semantic.js +137 -0
  342. package/dist/public/operations/specs/skills.d.ts +70 -0
  343. package/dist/public/operations/specs/skills.d.ts.map +1 -0
  344. package/dist/public/operations/specs/skills.js +107 -0
  345. package/dist/public/operations/specs/sparql.d.ts +39 -0
  346. package/dist/public/operations/specs/sparql.d.ts.map +1 -0
  347. package/dist/public/operations/specs/sparql.js +121 -0
  348. package/dist/public/operations/specs/upsert.d.ts +291 -0
  349. package/dist/public/operations/specs/upsert.d.ts.map +1 -0
  350. package/dist/public/operations/specs/upsert.js +27 -0
  351. package/dist/public/operations/types.d.ts +24 -0
  352. package/dist/public/operations/types.d.ts.map +1 -0
  353. package/dist/public/operations/types.js +1 -0
  354. package/dist/public/schemas/entity.d.ts.map +1 -1
  355. package/dist/public/schemas/entity.js +317 -0
  356. package/dist/public/schemas/relationship.d.ts.map +1 -1
  357. package/dist/public/schemas/relationship.js +1 -0
  358. package/dist/public/skill-system/errors.d.ts +19 -0
  359. package/dist/public/skill-system/errors.d.ts.map +1 -0
  360. package/dist/public/skill-system/errors.js +36 -0
  361. package/dist/public/skill-system/loader.d.ts +9 -0
  362. package/dist/public/skill-system/loader.d.ts.map +1 -0
  363. package/dist/public/skill-system/loader.js +76 -0
  364. package/dist/public/skill-system/paths.d.ts +6 -0
  365. package/dist/public/skill-system/paths.d.ts.map +1 -0
  366. package/dist/public/skill-system/paths.js +25 -0
  367. package/dist/public/skill-system/types.d.ts +15 -0
  368. package/dist/public/skill-system/types.d.ts.map +1 -0
  369. package/dist/public/skill-system/types.js +1 -0
  370. package/dist/public/skill-system/validation.d.ts +10 -0
  371. package/dist/public/skill-system/validation.d.ts.map +1 -0
  372. package/dist/public/skill-system/validation.js +119 -0
  373. package/dist/public/skills/init-kibi/SKILL.md +62 -0
  374. package/dist/public/skills/kibi-freshness/SKILL.md +44 -0
  375. package/dist/public/skills/kibi-traceability/SKILL.md +54 -0
  376. package/dist/public/skills/kibi-usage/SKILL.md +145 -99
  377. package/dist/public/skills/kibi-usage/resources/fact-lanes.md +112 -0
  378. package/dist/public/skills/kibi-usage/resources/logic-ir.md +43 -0
  379. package/dist/public/skills/kibi-usage/resources/operation-access.md +44 -0
  380. package/dist/public/skills/kibi-usage/resources/ui-requirements.md +96 -0
  381. package/dist/public/skills/kibi-usage/resources/workflows.md +41 -3
  382. package/dist/public/skills.d.ts +4 -41
  383. package/dist/public/skills.d.ts.map +1 -1
  384. package/dist/public/skills.js +3 -270
  385. package/dist/public/symbol-granularity.d.ts +9 -0
  386. package/dist/public/symbol-granularity.d.ts.map +1 -1
  387. package/dist/public/symbol-granularity.js +16 -0
  388. package/dist/runtime/cli-runtime.d.ts +3 -0
  389. package/dist/runtime/cli-runtime.d.ts.map +1 -0
  390. package/dist/runtime/cli-runtime.js +96 -0
  391. package/dist/schemas/entity.schema.json +329 -3
  392. package/dist/traceability/staged-diagnostics.d.ts +2 -2
  393. package/dist/traceability/staged-diagnostics.d.ts.map +1 -1
  394. package/dist/traceability/staged-diagnostics.js +17 -10
  395. package/dist/traceability/staged-impact-contract.js +1 -1
  396. package/dist/traceability/staged-symbols-manifest.d.ts +1 -0
  397. package/dist/traceability/staged-symbols-manifest.d.ts.map +1 -1
  398. package/dist/traceability/staged-symbols-manifest.js +53 -24
  399. package/dist/traceability/symbol-extract.d.ts.map +1 -1
  400. package/dist/traceability/symbol-extract.js +17 -1
  401. package/dist/traceability/temp-kb.d.ts.map +1 -1
  402. package/dist/traceability/temp-kb.js +47 -1
  403. package/dist/types/entities.d.ts +3 -0
  404. package/dist/types/entities.d.ts.map +1 -1
  405. package/dist/types/relationships.d.ts +1 -1
  406. package/dist/types/relationships.d.ts.map +1 -1
  407. package/dist/utils/rule-registry.d.ts.map +1 -1
  408. package/dist/utils/rule-registry.js +24 -0
  409. package/dist/utils/schema-version.d.ts +1 -1
  410. package/dist/utils/schema-version.js +1 -1
  411. package/package.json +60 -2
  412. package/src/public/impact/diagnostics.ts +18 -11
  413. package/src/public/impact/full-kb-quality.ts +30 -3
  414. package/src/public/impact/requirement-quality.ts +6 -26
  415. package/src/public/operations/catalog.ts +60 -0
  416. package/src/public/operations/check-executor.ts +185 -0
  417. package/src/public/operations/check-format-shared.ts +178 -0
  418. package/src/public/operations/check-helpers.ts +141 -0
  419. package/src/public/operations/discovery-entities.ts +122 -0
  420. package/src/public/operations/discovery-executors.ts +176 -0
  421. package/src/public/operations/index.ts +20 -0
  422. package/src/public/operations/node-ports.ts +78 -0
  423. package/src/public/operations/prolog-json.ts +71 -0
  424. package/src/public/operations/runtime-types.ts +106 -0
  425. package/src/public/operations/specs/autopilot.ts +98 -0
  426. package/src/public/operations/specs/check.ts +75 -0
  427. package/src/public/operations/specs/discovery.ts +126 -0
  428. package/src/public/operations/specs/modeling.ts +174 -0
  429. package/src/public/operations/specs/mutation-schemas.ts +326 -0
  430. package/src/public/operations/specs/mutation.ts +58 -0
  431. package/src/public/operations/specs/reporting.ts +249 -0
  432. package/src/public/operations/specs/semantic.ts +174 -0
  433. package/src/public/operations/specs/skills.ts +142 -0
  434. package/src/public/operations/specs/sparql.ts +149 -0
  435. package/src/public/operations/specs/upsert.ts +40 -0
  436. package/src/public/operations/types.ts +57 -0
  437. package/src/public/schemas/entity.ts +324 -1
  438. package/src/public/schemas/relationship.ts +1 -0
  439. package/src/public/skill-system/errors.ts +38 -0
  440. package/src/public/skill-system/loader.ts +108 -0
  441. package/src/public/skill-system/paths.ts +27 -0
  442. package/src/public/skill-system/types.ts +14 -0
  443. package/src/public/skill-system/validation.ts +175 -0
  444. package/src/public/skills/init-kibi/SKILL.md +62 -0
  445. package/src/public/skills/kibi-freshness/SKILL.md +44 -0
  446. package/src/public/skills/kibi-traceability/SKILL.md +54 -0
  447. package/src/public/skills/kibi-usage/SKILL.md +145 -99
  448. package/src/public/skills/kibi-usage/resources/fact-lanes.md +112 -0
  449. package/src/public/skills/kibi-usage/resources/logic-ir.md +43 -0
  450. package/src/public/skills/kibi-usage/resources/operation-access.md +44 -0
  451. package/src/public/skills/kibi-usage/resources/ui-requirements.md +96 -0
  452. package/src/public/skills/kibi-usage/resources/workflows.md +41 -3
  453. package/src/public/skills.ts +18 -427
  454. package/src/public/symbol-granularity.ts +25 -0
  455. package/src/schemas/entity.schema.json +329 -3
  456. package/src/schemas/relationship.schema.json +1 -0
@@ -0,0 +1,4 @@
1
+ import type { OperationContext } from "../../public/operations/runtime-types.js";
2
+ import type { ActivationPolicy } from "./types.js";
3
+ export declare function classifyActivation(context: OperationContext, files: readonly string[]): Promise<ActivationPolicy>;
4
+ //# sourceMappingURL=activation.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"activation.d.ts","sourceRoot":"","sources":["../../../src/operations/autopilot/activation.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,gBAAgB,EAAmB,MAAM,YAAY,CAAC;AA+FpE,wBAAsB,kBAAkB,CACtC,OAAO,EAAE,gBAAgB,EACzB,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,OAAO,CAAC,gBAAgB,CAAC,CAuE3B"}
@@ -0,0 +1,130 @@
1
+ import path from "node:path";
2
+ function activationFor(state) {
3
+ switch (state) {
4
+ case "root_uninitialized":
5
+ return {
6
+ activationState: state,
7
+ activationMode: "cold_start_bootstrap",
8
+ applyBlocked: false,
9
+ allowCandidateGeneration: true,
10
+ reason: "Workspace has no attached root KB yet; run a cold-start bootstrap scan across repository evidence.",
11
+ };
12
+ case "root_partial":
13
+ return {
14
+ activationState: state,
15
+ activationMode: "repair_bootstrap",
16
+ applyBlocked: true,
17
+ allowCandidateGeneration: true,
18
+ reason: "Workspace root is only partially configured; run a repair bootstrap scan and keep apply blocked until the root is repaired.",
19
+ };
20
+ case "vendored_only":
21
+ return {
22
+ activationState: state,
23
+ activationMode: "vendored_blocked",
24
+ applyBlocked: true,
25
+ allowCandidateGeneration: false,
26
+ reason: "Workspace appears to contain vendored Kibi sources only; bootstrap generation is blocked in this posture.",
27
+ handoffMessage: "Vendored Kibi posture detected. Move to the real project root before attempting bootstrap.",
28
+ };
29
+ case "root_active_thin":
30
+ return {
31
+ activationState: state,
32
+ activationMode: "attached_thin_handoff",
33
+ applyBlocked: true,
34
+ allowCandidateGeneration: false,
35
+ reason: "Workspace already has an attached but thin KB; bootstrap synthesis is replaced by an explicit thin handoff.",
36
+ handoffMessage: "Attached thin KB detected. Review sparse KB coverage and continue with a handoff.",
37
+ };
38
+ case "root_active_seeded":
39
+ return {
40
+ activationState: state,
41
+ activationMode: "attached_seeded_handoff",
42
+ applyBlocked: true,
43
+ allowCandidateGeneration: false,
44
+ reason: "Workspace already has an attached seeded KB; bootstrap synthesis is replaced by an explicit seeded handoff.",
45
+ handoffMessage: "Attached seeded KB detected. Use existing KB context instead of generating bootstrap candidates.",
46
+ };
47
+ }
48
+ }
49
+ async function exists(context, target) {
50
+ try {
51
+ await context.fs?.stat(target);
52
+ return true;
53
+ }
54
+ catch {
55
+ return false;
56
+ }
57
+ }
58
+ function coverageState(rows) {
59
+ const counts = Object.fromEntries(rows.map((row) => [row.type, Number(row.count)]));
60
+ const nonSymbols = [
61
+ "req",
62
+ "scenario",
63
+ "test",
64
+ "adr",
65
+ "flag",
66
+ "event",
67
+ "fact",
68
+ ].reduce((sum, type) => sum + Number(counts[type] ?? 0), 0);
69
+ const supporting = Number(counts.scenario ?? 0) +
70
+ Number(counts.test ?? 0) +
71
+ Number(counts.adr ?? 0) +
72
+ Number(counts.fact ?? 0);
73
+ return Number(counts.req ?? 0) >= 1 && nonSymbols >= 5 && supporting >= 1
74
+ ? "root_active_seeded"
75
+ : "root_active_thin";
76
+ }
77
+ export async function classifyActivation(context, files) {
78
+ const configPath = path.join(context.workspaceRoot, ".kb", "config.json");
79
+ if (!(await exists(context, configPath))) {
80
+ const vendored = files.some((file) => file.startsWith("kibi/"));
81
+ const projectSignal = files.some((file) => !file.startsWith("kibi/") &&
82
+ /^(README\.md|package\.json|src\/|app\/|packages\/|tests\/)/.test(file));
83
+ return activationFor(vendored && !projectSignal ? "vendored_only" : "root_uninitialized");
84
+ }
85
+ let config = {};
86
+ try {
87
+ config = JSON.parse((await context.fs?.readFile(configPath)) ?? "{}") ?? {};
88
+ }
89
+ catch {
90
+ return activationFor("root_partial");
91
+ }
92
+ const defaults = [
93
+ "documentation/requirements",
94
+ "documentation/scenarios",
95
+ "documentation/tests",
96
+ "documentation/adr",
97
+ "documentation/flags",
98
+ "documentation/events",
99
+ "documentation/facts",
100
+ "documentation/symbols.yaml",
101
+ ];
102
+ const configured = Object.values(config.paths ?? {});
103
+ const targets = configured.length >= 8 ? configured : defaults;
104
+ const resolved = await Promise.all(targets.map((target) => exists(context, path.resolve(context.workspaceRoot, target.replace(/[*?\[].*$/, "").replace(/\/$/, "")))));
105
+ if (resolved.some((value) => !value))
106
+ return activationFor("root_partial");
107
+ if (!context.prolog)
108
+ return activationFor("root_active_thin");
109
+ try {
110
+ const result = await context.prolog.query("discovery:coverage_report_json(type, [], true, false, 100, 0, JsonString)");
111
+ const parsed = JSON.parse(result.bindings.JsonString ?? '{"rows":[]}');
112
+ const rows = parsed !== null &&
113
+ typeof parsed === "object" &&
114
+ "rows" in parsed &&
115
+ Array.isArray(parsed.rows)
116
+ ? parsed.rows.flatMap((row) => row !== null &&
117
+ typeof row === "object" &&
118
+ "type" in row &&
119
+ "count" in row &&
120
+ typeof row.type === "string" &&
121
+ typeof row.count === "number"
122
+ ? [{ type: row.type, count: row.count }]
123
+ : [])
124
+ : [];
125
+ return activationFor(coverageState(rows));
126
+ }
127
+ catch {
128
+ return activationFor("root_active_thin");
129
+ }
130
+ }
@@ -0,0 +1,13 @@
1
+ import type { StrictWriteSet } from "../../utils/strict-modeling.js";
2
+ export declare function confidenceBand(value: number): string;
3
+ export declare function slug(value: string, limit?: number): string;
4
+ export declare function upsert<T extends {
5
+ readonly type?: unknown;
6
+ readonly id?: unknown;
7
+ }>(entity: T, relationships?: readonly {
8
+ readonly type: string;
9
+ readonly from: string;
10
+ readonly to: string;
11
+ }[]): Readonly<Record<string, unknown>>;
12
+ export declare function strictPlan(writeSet: StrictWriteSet): readonly Readonly<Record<string, unknown>>[];
13
+ //# sourceMappingURL=candidate-helpers.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"candidate-helpers.d.ts","sourceRoot":"","sources":["../../../src/operations/autopilot/candidate-helpers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAC;AAErE,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEpD;AAED,wBAAgB,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,KAAK,SAAK,GAAG,MAAM,CAMtD;AAED,wBAAgB,MAAM,CACpB,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,OAAO,CAAA;CAAE,EAE5D,MAAM,EAAE,CAAC,EACT,aAAa,GAAE,SAAS;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,EAAO,GACP,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAQnC;AAED,wBAAgB,UAAU,CACxB,QAAQ,EAAE,cAAc,GACvB,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAmC9C"}
@@ -0,0 +1,55 @@
1
+ export function confidenceBand(value) {
2
+ return value >= 0.9 ? "high" : value >= 0.8 ? "medium" : "low";
3
+ }
4
+ export function slug(value, limit = 80) {
5
+ return value
6
+ .toLowerCase()
7
+ .replace(/[^a-z0-9]+/g, "-")
8
+ .replace(/(^-|-$)/g, "")
9
+ .slice(0, limit);
10
+ }
11
+ export function upsert(entity, relationships = []) {
12
+ const { type, id, ...properties } = entity;
13
+ return {
14
+ type: String(type ?? ""),
15
+ id: String(id ?? ""),
16
+ properties,
17
+ relationships,
18
+ };
19
+ }
20
+ export function strictPlan(writeSet) {
21
+ if (!writeSet.isStrict) {
22
+ return [
23
+ {
24
+ type: "fact",
25
+ id: writeSet.observationFact.id,
26
+ properties: writeSet.observationFact.properties,
27
+ relationships: [],
28
+ },
29
+ ];
30
+ }
31
+ return [
32
+ {
33
+ type: "fact",
34
+ id: writeSet.subjectFact.id,
35
+ properties: writeSet.subjectFact.properties,
36
+ relationships: [],
37
+ },
38
+ {
39
+ type: "fact",
40
+ id: writeSet.propertyFact.id,
41
+ properties: writeSet.propertyFact.properties,
42
+ relationships: [],
43
+ },
44
+ {
45
+ type: "req",
46
+ id: writeSet.req.id,
47
+ properties: writeSet.req.properties,
48
+ relationships: writeSet.relationships.map(({ type, from, to }) => ({
49
+ type,
50
+ from,
51
+ to,
52
+ })),
53
+ },
54
+ ];
55
+ }
@@ -0,0 +1,4 @@
1
+ import { type CandidateBuildResult } from "./markdown-candidates.js";
2
+ import type { AutopilotEvidence } from "./types.js";
3
+ export declare function buildAutopilotCandidates(evidence: readonly AutopilotEvidence[], existingIds: ReadonlySet<string>, minConfidence: number, includeGenericMarkdown: boolean): CandidateBuildResult;
4
+ //# sourceMappingURL=candidates.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"candidates.d.ts","sourceRoot":"","sources":["../../../src/operations/autopilot/candidates.ts"],"names":[],"mappings":"AAKA,OAAO,EACL,KAAK,oBAAoB,EAE1B,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,iBAAiB,EAGlB,MAAM,YAAY,CAAC;AAmHpB,wBAAgB,wBAAwB,CACtC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,EACtC,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,aAAa,EAAE,MAAM,EACrB,sBAAsB,EAAE,OAAO,GAC9B,oBAAoB,CAqBtB"}
@@ -0,0 +1,114 @@
1
+ import path from "node:path";
2
+ import { extractFromManifestString } from "../../extractors/manifest.js";
3
+ import { extractFromMarkdownString } from "../../extractors/markdown.js";
4
+ import { confidenceBand, slug, upsert } from "./candidate-helpers.js";
5
+ import { markdownCandidates, } from "./markdown-candidates.js";
6
+ function typedCandidates(item, existingIds) {
7
+ try {
8
+ const results = item.kind === "symbol_manifest"
9
+ ? extractFromManifestString(item.content ?? "", item.relativePath ?? item.label)
10
+ : [
11
+ extractFromMarkdownString(item.content ?? "", item.relativePath ?? item.label),
12
+ ];
13
+ return results.flatMap(({ entity, relationships }) => {
14
+ if (existingIds.has(entity.id))
15
+ return [];
16
+ const sourceKind = item.kind === "symbol_manifest" ? "symbol_manifest" : "typed_markdown";
17
+ return [
18
+ {
19
+ candidateId: `${sourceKind === "symbol_manifest" ? "mf" : "md"}:${item.relativePath}:${entity.id}`,
20
+ entityType: entity.type,
21
+ title: entity.title,
22
+ sourceKind,
23
+ sourcePath: item.absolutePath ?? item.label,
24
+ confidence: sourceKind === "symbol_manifest" ? 0.98 : 1,
25
+ confidenceBand: "high",
26
+ evidence: [
27
+ `extracted_from_${sourceKind}:${item.relativePath}`,
28
+ `entity_id:${entity.id}`,
29
+ ],
30
+ relationships: relationships.map(({ type, from, to }) => ({
31
+ type,
32
+ from,
33
+ to,
34
+ })),
35
+ applyPlan: [upsert(entity, relationships)],
36
+ },
37
+ ];
38
+ });
39
+ }
40
+ catch {
41
+ return [];
42
+ }
43
+ }
44
+ function providerCandidate(item, existingIds, minConfidence) {
45
+ if (!new Set([
46
+ "repo_metadata",
47
+ "repo_layout",
48
+ "test_topology",
49
+ "source_symbols",
50
+ ]).has(item.kind))
51
+ return [];
52
+ const relativePath = item.relativePath ?? item.label;
53
+ const confidence = typeof item.data.confidence === "number" ? item.data.confidence : 0.8;
54
+ const id = `FACT-GEN-${slug(`${item.kind}-${relativePath}`, 64) || "evidence"}`.toUpperCase();
55
+ if (confidence < minConfidence || existingIds.has(id))
56
+ return [];
57
+ const symbolTitle = item.kind === "source_symbols" && /\.(?:[cm]?[jt]sx?)$/i.test(relativePath)
58
+ ? `Source symbols: ${path.basename(relativePath, path.extname(relativePath))}`
59
+ : undefined;
60
+ const title = symbolTitle ??
61
+ (typeof item.data.title === "string"
62
+ ? item.data.title
63
+ : `Autopilot evidence from ${relativePath}`);
64
+ const entity = {
65
+ type: "fact",
66
+ id,
67
+ title,
68
+ status: "active",
69
+ fact_kind: typeof item.data.factKind === "string"
70
+ ? item.data.factKind
71
+ : item.kind === "repo_metadata"
72
+ ? "meta"
73
+ : "observation",
74
+ source: `autopilot:${item.provider}:${relativePath}`,
75
+ text_ref: relativePath,
76
+ };
77
+ const evidence = Array.isArray(item.data.evidence)
78
+ ? item.data.evidence.filter((value) => typeof value === "string")
79
+ : [`provider:${item.provider}`];
80
+ return [
81
+ {
82
+ candidateId: `prov:${item.kind}:${slug(relativePath, 96) || "evidence"}`,
83
+ entityType: "fact",
84
+ title,
85
+ sourceKind: item.kind,
86
+ sourcePath: item.absolutePath ?? relativePath,
87
+ confidence,
88
+ confidenceBand: confidenceBand(confidence),
89
+ evidence,
90
+ relationships: [],
91
+ applyPlan: [upsert(entity)],
92
+ },
93
+ ];
94
+ }
95
+ // implements REQ-mcp-init-kibi-autopilot-v1, REQ-kibi-operation-interface-parity
96
+ export function buildAutopilotCandidates(evidence, existingIds, minConfidence, includeGenericMarkdown) {
97
+ const candidates = [];
98
+ const sourceOnlySignals = [];
99
+ for (const item of evidence) {
100
+ if (item.kind === "typed_markdown" || item.kind === "symbol_manifest")
101
+ candidates.push(...typedCandidates(item, existingIds));
102
+ if (item.kind === "generic_markdown" && includeGenericMarkdown) {
103
+ const built = markdownCandidates(item, existingIds, minConfidence);
104
+ candidates.push(...built.candidates);
105
+ sourceOnlySignals.push(...built.sourceOnlySignals);
106
+ }
107
+ candidates.push(...providerCandidate(item, existingIds, minConfidence));
108
+ }
109
+ return {
110
+ candidates,
111
+ sourceOnlySignals: sourceOnlySignals.sort((left, right) => right.confidence - left.confidence ||
112
+ left.sourcePath.localeCompare(right.sourcePath)),
113
+ };
114
+ }
@@ -0,0 +1,10 @@
1
+ import type { OperationContext } from "../../public/operations/runtime-types.js";
2
+ import type { AutopilotEvidence } from "./types.js";
3
+ export type EvidenceScan = {
4
+ readonly files: readonly string[];
5
+ readonly ignoredSources: readonly string[];
6
+ readonly evidence: readonly AutopilotEvidence[];
7
+ readonly warnings: readonly string[];
8
+ };
9
+ export declare function scanEvidence(context: OperationContext): Promise<EvidenceScan>;
10
+ //# sourceMappingURL=discovery-evidence.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"discovery-evidence.d.ts","sourceRoot":"","sources":["../../../src/operations/autopilot/discovery-evidence.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAGV,gBAAgB,EACjB,MAAM,0CAA0C,CAAC;AAClD,OAAO,KAAK,EACV,iBAAiB,EAGlB,MAAM,YAAY,CAAC;AA0BpB,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;CACtC,CAAC;AA8HF,wBAAsB,YAAY,CAChC,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,YAAY,CAAC,CAqDvB"}
@@ -0,0 +1,158 @@
1
+ import path from "node:path";
2
+ import { OperationError } from "../../cli-errors.js";
3
+ const SCAN_PATTERNS = [
4
+ "**/*.md",
5
+ "**/symbols.{yml,yaml}",
6
+ "**/package.json",
7
+ "**/tsconfig*.json",
8
+ "**/pyproject.toml",
9
+ "**/Cargo.toml",
10
+ "**/go.mod",
11
+ "**/opencode.json",
12
+ "**/*.{ts,tsx,mts,cts,js,jsx,mjs,cjs,py,rb,go,rs,java,kt,swift,php,c,cc,cpp,h,hpp}",
13
+ ];
14
+ const CODE_EXTENSION = /\.(ts|tsx|mts|cts|js|jsx|mjs|cjs|py|rb|go|rs|java|kt|swift|php|c|cc|cpp|h|hpp)$/i;
15
+ const LAYOUT_ROOTS = new Set([
16
+ "src",
17
+ "app",
18
+ "apps",
19
+ "packages",
20
+ "tests",
21
+ "test",
22
+ "docs",
23
+ "scripts",
24
+ ]);
25
+ function isScanFilesystem(value) {
26
+ return Boolean(value && "glob" in value && typeof value.glob === "function");
27
+ }
28
+ function isScanGit(value) {
29
+ return Boolean(value &&
30
+ "ignoredPaths" in value &&
31
+ typeof value.ignoredPaths === "function");
32
+ }
33
+ function classifyFile(relativePath, content) {
34
+ if (/symbols\.ya?ml$/i.test(relativePath))
35
+ return ["typed_kibi_docs", "symbol_manifest"];
36
+ if (/\.md$/i.test(relativePath)) {
37
+ return /^---\s*[\r\n]/.test(content) &&
38
+ /(^|\/)documentation\/(requirements|scenarios|tests|adr|flags|events|facts)\//.test(relativePath)
39
+ ? ["typed_kibi_docs", "typed_markdown"]
40
+ : ["generic_repo_docs", "generic_markdown"];
41
+ }
42
+ if (/(^|\/)(package\.json|tsconfig[^/]*\.json|pyproject\.toml|Cargo\.toml|go\.mod)$/.test(relativePath))
43
+ return ["repo_metadata", "repo_metadata"];
44
+ if (/\.(test|spec)\.[^.]+$/i.test(relativePath) ||
45
+ /(^|\/)__tests__\//.test(relativePath))
46
+ return ["test_topology", "test_topology"];
47
+ if (CODE_EXTENSION.test(relativePath))
48
+ return ["source_symbols", "source_symbols"];
49
+ return null;
50
+ }
51
+ function evidenceData(provider, relativePath, content) {
52
+ if (provider === "repo_metadata")
53
+ return {
54
+ title: `Repository metadata: ${path.basename(relativePath)}`,
55
+ factKind: "meta",
56
+ confidence: relativePath.includes("tsconfig") ? 0.9 : 0.86,
57
+ evidence: [`repo_metadata:${relativePath}`],
58
+ };
59
+ if (provider === "test_topology") {
60
+ const frameworks = [
61
+ content.includes("bun:test") ? "bun:test" : "",
62
+ content.includes("vitest") ? "vitest" : "",
63
+ content.includes("node:test") ? "node:test" : "",
64
+ ].filter(Boolean);
65
+ return {
66
+ title: `Test topology: ${frameworks.join(", ") || relativePath}`,
67
+ factKind: "observation",
68
+ confidence: frameworks.length > 0 ? 0.92 : 0.85,
69
+ evidence: [
70
+ `test_topology:${relativePath}`,
71
+ ...frameworks.map((item) => `framework:${item}`),
72
+ ],
73
+ frameworks,
74
+ };
75
+ }
76
+ if (provider === "source_symbols")
77
+ return {
78
+ title: `Source module: ${path.basename(relativePath, path.extname(relativePath))}`,
79
+ factKind: "observation",
80
+ confidence: 0.82,
81
+ evidence: [`source_symbols:${relativePath}`],
82
+ };
83
+ return {};
84
+ }
85
+ function layoutEvidence(workspaceRoot, files, ignored) {
86
+ const roots = [
87
+ ...new Set(files
88
+ .filter((file) => !ignored.has(file))
89
+ .map((file) => file.split("/", 1)[0] ?? "")
90
+ .filter((root) => LAYOUT_ROOTS.has(root))),
91
+ ];
92
+ return roots.map((root) => ({
93
+ provider: "repo_layout",
94
+ kind: "repo_layout",
95
+ label: root,
96
+ relativePath: root,
97
+ absolutePath: path.join(workspaceRoot, root),
98
+ data: {
99
+ title: `Repository layout: ${root} directory`,
100
+ factKind: "observation",
101
+ confidence: 0.84,
102
+ evidence: [`repo_layout:${root}`],
103
+ },
104
+ }));
105
+ }
106
+ export async function scanEvidence(context) {
107
+ const fs = context.fs;
108
+ const git = context.git;
109
+ if (!isScanFilesystem(fs) || !isScanGit(git))
110
+ throw new OperationError("OPERATION_FAILED", "Autopilot requires filesystem glob and git ignore ports.");
111
+ const files = [
112
+ ...(await fs.glob(SCAN_PATTERNS, {
113
+ cwd: context.workspaceRoot,
114
+ includeIgnored: true,
115
+ })),
116
+ ].sort();
117
+ const ignoredSources = [
118
+ ...(await git.ignoredPaths(context.workspaceRoot, files)),
119
+ ].sort();
120
+ const ignored = new Set(ignoredSources);
121
+ const evidence = [];
122
+ const warnings = [];
123
+ for (const relativePath of files) {
124
+ if (ignored.has(relativePath))
125
+ continue;
126
+ const absolutePath = path.resolve(context.workspaceRoot, relativePath);
127
+ try {
128
+ const content = await fs.readFile(absolutePath);
129
+ const classification = classifyFile(relativePath, content);
130
+ if (!classification)
131
+ continue;
132
+ const [provider, kind] = classification;
133
+ if (provider === "repo_metadata" &&
134
+ path.basename(relativePath) === "package.json") {
135
+ try {
136
+ JSON.parse(content);
137
+ }
138
+ catch {
139
+ warnings.push(`repo_metadata:failed_to_parse:${relativePath}`);
140
+ }
141
+ }
142
+ evidence.push({
143
+ provider,
144
+ kind,
145
+ label: relativePath,
146
+ relativePath,
147
+ absolutePath,
148
+ content,
149
+ data: evidenceData(provider, relativePath, content),
150
+ });
151
+ }
152
+ catch {
153
+ warnings.push(`failed_to_read:${relativePath}`);
154
+ }
155
+ }
156
+ evidence.push(...layoutEvidence(context.workspaceRoot, files, ignored));
157
+ return { files, ignoredSources, evidence, warnings };
158
+ }
@@ -0,0 +1,4 @@
1
+ import type { OperationContext } from "../../public/operations/runtime-types.js";
2
+ import { type DiscoveryResult } from "./types.js";
3
+ export declare function discoverAutopilot(context: OperationContext): Promise<DiscoveryResult>;
4
+ //# sourceMappingURL=discovery.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../../../src/operations/autopilot/discovery.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAIjF,OAAO,EAGL,KAAK,eAAe,EACrB,MAAM,YAAY,CAAC;AAwEpB,wBAAsB,iBAAiB,CACrC,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,eAAe,CAAC,CA+C1B"}
@@ -0,0 +1,100 @@
1
+ import path from "node:path";
2
+ import { getSchemaVersionStatus } from "../../public/schema-version.js";
3
+ import { classifyActivation } from "./activation.js";
4
+ import { scanEvidence } from "./discovery-evidence.js";
5
+ import { AUTOPILOT_PROVIDER_ORDER, } from "./types.js";
6
+ const EXCLUDED_ROOTS = [
7
+ ".git",
8
+ ".kb",
9
+ ".venv",
10
+ "build",
11
+ "coverage",
12
+ "dist",
13
+ "node_modules",
14
+ "target",
15
+ "third-party",
16
+ "third_party",
17
+ "vendor",
18
+ "vendors",
19
+ "venv",
20
+ ];
21
+ const LANGUAGE_NAMES = {
22
+ ts: "typescript",
23
+ tsx: "typescript",
24
+ mts: "typescript",
25
+ cts: "typescript",
26
+ js: "javascript",
27
+ jsx: "javascript",
28
+ mjs: "javascript",
29
+ cjs: "javascript",
30
+ py: "python",
31
+ rb: "ruby",
32
+ rs: "rust",
33
+ };
34
+ async function migrationWarning(context) {
35
+ try {
36
+ const raw = await context.fs?.readFile(path.join(context.workspaceRoot, ".kb", "config.json"));
37
+ return getSchemaVersionStatus(JSON.parse(raw ?? "{}") ?? undefined).warning;
38
+ }
39
+ catch {
40
+ return null;
41
+ }
42
+ }
43
+ function languages(evidence) {
44
+ return [
45
+ ...new Set(evidence
46
+ .filter((item) => item.kind === "source_symbols")
47
+ .map((item) => {
48
+ const extension = path.extname(item.label).slice(1);
49
+ return LANGUAGE_NAMES[extension] ?? extension;
50
+ })),
51
+ ].sort();
52
+ }
53
+ function frameworks(evidence) {
54
+ return [
55
+ ...new Set(evidence.flatMap((item) => Array.isArray(item.data.frameworks)
56
+ ? item.data.frameworks.filter((value) => typeof value === "string")
57
+ : [])),
58
+ ].sort();
59
+ }
60
+ // implements REQ-mcp-init-kibi-autopilot-v1, REQ-kibi-operation-interface-parity
61
+ export async function discoverAutopilot(context) {
62
+ const scan = await scanEvidence(context);
63
+ const ignored = new Set(scan.ignoredSources);
64
+ const activation = await classifyActivation(context, scan.files.filter((file) => !ignored.has(file)));
65
+ const evidence = activation.allowCandidateGeneration
66
+ ? [...scan.evidence]
67
+ : [];
68
+ evidence.sort((left, right) => AUTOPILOT_PROVIDER_ORDER.indexOf(left.provider) -
69
+ AUTOPILOT_PROVIDER_ORDER.indexOf(right.provider) ||
70
+ left.label.localeCompare(right.label));
71
+ const providersRun = activation.allowCandidateGeneration
72
+ ? [...AUTOPILOT_PROVIDER_ORDER]
73
+ : [];
74
+ const providerCounts = Object.fromEntries(AUTOPILOT_PROVIDER_ORDER.map((provider) => [
75
+ provider,
76
+ evidence.filter((item) => item.provider === provider).length,
77
+ ]));
78
+ return {
79
+ activation,
80
+ evidence,
81
+ ignoredSources: scan.ignoredSources,
82
+ migrationWarning: await migrationWarning(context),
83
+ summary: {
84
+ activationState: activation.activationState,
85
+ activationMode: activation.activationMode,
86
+ applyBlocked: activation.applyBlocked,
87
+ reason: activation.reason,
88
+ ...(activation.handoffMessage
89
+ ? { handoffMessage: activation.handoffMessage }
90
+ : {}),
91
+ providersRun,
92
+ providerCounts,
93
+ detectedLanguages: languages(evidence),
94
+ detectedTestFrameworks: frameworks(evidence),
95
+ excludedRoots: [...EXCLUDED_ROOTS].sort(),
96
+ truncated: false,
97
+ scanWarnings: [...new Set(scan.warnings)].sort(),
98
+ },
99
+ };
100
+ }
@@ -0,0 +1,8 @@
1
+ import type { OperationContext } from "../../public/operations/runtime-types.js";
2
+ import type { AutopilotGenerateArgs, AutopilotGenerateResult, Candidate } from "./types.js";
3
+ export declare function selectAutopilotCandidates(input: readonly Candidate[], existingIds: ReadonlySet<string>, entityTypes: readonly string[] | undefined, maximum: number): {
4
+ readonly candidates: readonly Candidate[];
5
+ readonly suppressed: readonly Readonly<Record<string, unknown>>[];
6
+ };
7
+ export declare function executeAutopilotGenerate(args: AutopilotGenerateArgs, context: OperationContext): Promise<AutopilotGenerateResult>;
8
+ //# sourceMappingURL=generate.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"generate.d.ts","sourceRoot":"","sources":["../../../src/operations/autopilot/generate.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAIjF,OAAO,KAAK,EACV,qBAAqB,EACrB,uBAAuB,EACvB,SAAS,EACV,MAAM,YAAY,CAAC;AAsBpB,wBAAgB,yBAAyB,CACvC,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,WAAW,EAAE,WAAW,CAAC,MAAM,CAAC,EAChC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,EAC1C,OAAO,EAAE,MAAM,GACd;IACD,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,UAAU,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EAAE,CAAC;CACnE,CAiDA;AAiBD,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,qBAAqB,EAC3B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,uBAAuB,CAAC,CAgDlC"}