kibi-cli 0.14.0 → 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 (432) 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 +52 -94
  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 +1 -1
  60. package/dist/commands/sync/manifest.d.ts.map +1 -1
  61. package/dist/commands/sync/manifest.js +9 -17
  62. package/dist/commands/sync/persistence.d.ts.map +1 -1
  63. package/dist/commands/sync/persistence.js +22 -1
  64. package/dist/extractors/markdown.d.ts +14 -2
  65. package/dist/extractors/markdown.d.ts.map +1 -1
  66. package/dist/extractors/markdown.js +38 -1
  67. package/dist/extractors/symbols-ts.d.ts.map +1 -1
  68. package/dist/extractors/symbols-ts.js +11 -1
  69. package/dist/operations/autopilot/activation.d.ts +4 -0
  70. package/dist/operations/autopilot/activation.d.ts.map +1 -0
  71. package/dist/operations/autopilot/activation.js +130 -0
  72. package/dist/operations/autopilot/candidate-helpers.d.ts +13 -0
  73. package/dist/operations/autopilot/candidate-helpers.d.ts.map +1 -0
  74. package/dist/operations/autopilot/candidate-helpers.js +55 -0
  75. package/dist/operations/autopilot/candidates.d.ts +4 -0
  76. package/dist/operations/autopilot/candidates.d.ts.map +1 -0
  77. package/dist/operations/autopilot/candidates.js +114 -0
  78. package/dist/operations/autopilot/discovery-evidence.d.ts +10 -0
  79. package/dist/operations/autopilot/discovery-evidence.d.ts.map +1 -0
  80. package/dist/operations/autopilot/discovery-evidence.js +158 -0
  81. package/dist/operations/autopilot/discovery.d.ts +4 -0
  82. package/dist/operations/autopilot/discovery.d.ts.map +1 -0
  83. package/dist/operations/autopilot/discovery.js +100 -0
  84. package/dist/operations/autopilot/generate.d.ts +8 -0
  85. package/dist/operations/autopilot/generate.d.ts.map +1 -0
  86. package/dist/operations/autopilot/generate.js +112 -0
  87. package/dist/operations/autopilot/guidance-actions.d.ts +3 -0
  88. package/dist/operations/autopilot/guidance-actions.d.ts.map +1 -0
  89. package/dist/operations/autopilot/guidance-actions.js +79 -0
  90. package/dist/operations/autopilot/guidance.d.ts +14 -0
  91. package/dist/operations/autopilot/guidance.d.ts.map +1 -0
  92. package/dist/operations/autopilot/guidance.js +124 -0
  93. package/dist/operations/autopilot/markdown-candidates.d.ts +7 -0
  94. package/dist/operations/autopilot/markdown-candidates.d.ts.map +1 -0
  95. package/dist/operations/autopilot/markdown-candidates.js +134 -0
  96. package/dist/operations/autopilot/presentation.d.ts +13 -0
  97. package/dist/operations/autopilot/presentation.d.ts.map +1 -0
  98. package/dist/operations/autopilot/presentation.js +91 -0
  99. package/dist/operations/autopilot/requirement-claims.d.ts +3 -0
  100. package/dist/operations/autopilot/requirement-claims.d.ts.map +1 -0
  101. package/dist/operations/autopilot/requirement-claims.js +48 -0
  102. package/dist/operations/autopilot/types.d.ts +117 -0
  103. package/dist/operations/autopilot/types.d.ts.map +1 -0
  104. package/dist/operations/autopilot/types.js +8 -0
  105. package/dist/operations/modeling/model-requirement.d.ts +10 -0
  106. package/dist/operations/modeling/model-requirement.d.ts.map +1 -0
  107. package/dist/operations/modeling/model-requirement.js +108 -0
  108. package/dist/operations/modeling/predicate-applyplan.d.ts +6 -0
  109. package/dist/operations/modeling/predicate-applyplan.d.ts.map +1 -0
  110. package/dist/operations/modeling/predicate-applyplan.js +104 -0
  111. package/dist/operations/modeling/predicate-catalog-1.d.ts +3 -0
  112. package/dist/operations/modeling/predicate-catalog-1.d.ts.map +1 -0
  113. package/dist/operations/modeling/predicate-catalog-1.js +200 -0
  114. package/dist/operations/modeling/predicate-catalog-2.d.ts +3 -0
  115. package/dist/operations/modeling/predicate-catalog-2.d.ts.map +1 -0
  116. package/dist/operations/modeling/predicate-catalog-2.js +197 -0
  117. package/dist/operations/modeling/predicate-catalog-3.d.ts +3 -0
  118. package/dist/operations/modeling/predicate-catalog-3.d.ts.map +1 -0
  119. package/dist/operations/modeling/predicate-catalog-3.js +193 -0
  120. package/dist/operations/modeling/predicate-catalog-4.d.ts +3 -0
  121. package/dist/operations/modeling/predicate-catalog-4.d.ts.map +1 -0
  122. package/dist/operations/modeling/predicate-catalog-4.js +149 -0
  123. package/dist/operations/modeling/predicate-catalog.d.ts +5 -0
  124. package/dist/operations/modeling/predicate-catalog.d.ts.map +1 -0
  125. package/dist/operations/modeling/predicate-catalog.js +29 -0
  126. package/dist/operations/modeling/predicate-inference-1.d.ts +16 -0
  127. package/dist/operations/modeling/predicate-inference-1.d.ts.map +1 -0
  128. package/dist/operations/modeling/predicate-inference-1.js +161 -0
  129. package/dist/operations/modeling/predicate-inference-2.d.ts +19 -0
  130. package/dist/operations/modeling/predicate-inference-2.d.ts.map +1 -0
  131. package/dist/operations/modeling/predicate-inference-2.js +169 -0
  132. package/dist/operations/modeling/predicate-inference-3.d.ts +15 -0
  133. package/dist/operations/modeling/predicate-inference-3.d.ts.map +1 -0
  134. package/dist/operations/modeling/predicate-inference-3.js +163 -0
  135. package/dist/operations/modeling/predicate-inference.d.ts +5 -0
  136. package/dist/operations/modeling/predicate-inference.d.ts.map +1 -0
  137. package/dist/operations/modeling/predicate-inference.js +148 -0
  138. package/dist/operations/modeling/predicate-loader.d.ts +10 -0
  139. package/dist/operations/modeling/predicate-loader.d.ts.map +1 -0
  140. package/dist/operations/modeling/predicate-loader.js +88 -0
  141. package/dist/operations/modeling/predicate-ranker.d.ts +3 -0
  142. package/dist/operations/modeling/predicate-ranker.d.ts.map +1 -0
  143. package/dist/operations/modeling/predicate-ranker.js +24 -0
  144. package/dist/operations/modeling/predicate-score-1.d.ts +3 -0
  145. package/dist/operations/modeling/predicate-score-1.d.ts.map +1 -0
  146. package/dist/operations/modeling/predicate-score-1.js +121 -0
  147. package/dist/operations/modeling/predicate-score-2.d.ts +3 -0
  148. package/dist/operations/modeling/predicate-score-2.d.ts.map +1 -0
  149. package/dist/operations/modeling/predicate-score-2.js +122 -0
  150. package/dist/operations/modeling/predicate-score-3.d.ts +3 -0
  151. package/dist/operations/modeling/predicate-score-3.d.ts.map +1 -0
  152. package/dist/operations/modeling/predicate-score-3.js +54 -0
  153. package/dist/operations/modeling/predicate-types.d.ts +61 -0
  154. package/dist/operations/modeling/predicate-types.d.ts.map +1 -0
  155. package/dist/operations/modeling/predicate-types.js +1 -0
  156. package/dist/operations/modeling/predicate-usage-hints-1.d.ts +3 -0
  157. package/dist/operations/modeling/predicate-usage-hints-1.d.ts.map +1 -0
  158. package/dist/operations/modeling/predicate-usage-hints-1.js +211 -0
  159. package/dist/operations/modeling/predicate-usage-hints-2.d.ts +3 -0
  160. package/dist/operations/modeling/predicate-usage-hints-2.d.ts.map +1 -0
  161. package/dist/operations/modeling/predicate-usage-hints-2.js +209 -0
  162. package/dist/operations/modeling/predicate-usage-hints-3.d.ts +3 -0
  163. package/dist/operations/modeling/predicate-usage-hints-3.d.ts.map +1 -0
  164. package/dist/operations/modeling/predicate-usage-hints-3.js +45 -0
  165. package/dist/operations/modeling/predicate-utils.d.ts +23 -0
  166. package/dist/operations/modeling/predicate-utils.d.ts.map +1 -0
  167. package/dist/operations/modeling/predicate-utils.js +187 -0
  168. package/dist/operations/modeling/requirement-applyplan.d.ts +4 -0
  169. package/dist/operations/modeling/requirement-applyplan.d.ts.map +1 -0
  170. package/dist/operations/modeling/requirement-applyplan.js +44 -0
  171. package/dist/operations/modeling/requirement-heuristics.d.ts +4 -0
  172. package/dist/operations/modeling/requirement-heuristics.d.ts.map +1 -0
  173. package/dist/operations/modeling/requirement-heuristics.js +114 -0
  174. package/dist/operations/modeling/requirement-modeler.d.ts +8 -0
  175. package/dist/operations/modeling/requirement-modeler.d.ts.map +1 -0
  176. package/dist/operations/modeling/requirement-modeler.js +70 -0
  177. package/dist/operations/modeling/requirement-types.d.ts +49 -0
  178. package/dist/operations/modeling/requirement-types.d.ts.map +1 -0
  179. package/dist/operations/modeling/requirement-types.js +1 -0
  180. package/dist/operations/modeling/requirement-utils.d.ts +10 -0
  181. package/dist/operations/modeling/requirement-utils.d.ts.map +1 -0
  182. package/dist/operations/modeling/requirement-utils.js +65 -0
  183. package/dist/operations/modeling/suggest-predicates.d.ts +6 -0
  184. package/dist/operations/modeling/suggest-predicates.d.ts.map +1 -0
  185. package/dist/operations/modeling/suggest-predicates.js +64 -0
  186. package/dist/operations/mutation/audit.d.ts +6 -0
  187. package/dist/operations/mutation/audit.d.ts.map +1 -0
  188. package/dist/operations/mutation/audit.js +22 -0
  189. package/dist/operations/mutation/contradictions.d.ts +10 -0
  190. package/dist/operations/mutation/contradictions.d.ts.map +1 -0
  191. package/dist/operations/mutation/contradictions.js +40 -0
  192. package/dist/operations/mutation/delete.d.ts +5 -0
  193. package/dist/operations/mutation/delete.d.ts.map +1 -0
  194. package/dist/operations/mutation/delete.js +67 -0
  195. package/dist/operations/mutation/relationships.d.ts +17 -0
  196. package/dist/operations/mutation/relationships.d.ts.map +1 -0
  197. package/dist/operations/mutation/relationships.js +134 -0
  198. package/dist/operations/mutation/save.d.ts +4 -0
  199. package/dist/operations/mutation/save.d.ts.map +1 -0
  200. package/dist/operations/mutation/save.js +14 -0
  201. package/dist/operations/mutation/serialization.d.ts +5 -0
  202. package/dist/operations/mutation/serialization.d.ts.map +1 -0
  203. package/dist/operations/mutation/serialization.js +85 -0
  204. package/dist/operations/mutation/strict-fact.d.ts +4 -0
  205. package/dist/operations/mutation/strict-fact.d.ts.map +1 -0
  206. package/dist/operations/mutation/strict-fact.js +67 -0
  207. package/dist/operations/mutation/symbol-granularity.d.ts +4 -0
  208. package/dist/operations/mutation/symbol-granularity.d.ts.map +1 -0
  209. package/dist/operations/mutation/symbol-granularity.js +109 -0
  210. package/dist/operations/mutation/symbol-refresh.d.ts +10 -0
  211. package/dist/operations/mutation/symbol-refresh.d.ts.map +1 -0
  212. package/dist/operations/mutation/symbol-refresh.js +105 -0
  213. package/dist/operations/mutation/types.d.ts +43 -0
  214. package/dist/operations/mutation/types.d.ts.map +1 -0
  215. package/dist/operations/mutation/types.js +1 -0
  216. package/dist/operations/mutation/upsert.d.ts +5 -0
  217. package/dist/operations/mutation/upsert.d.ts.map +1 -0
  218. package/dist/operations/mutation/upsert.js +103 -0
  219. package/dist/operations/mutation/validate-upsert.d.ts +5 -0
  220. package/dist/operations/mutation/validate-upsert.d.ts.map +1 -0
  221. package/dist/operations/mutation/validate-upsert.js +50 -0
  222. package/dist/operations/mutation/validation.d.ts +5 -0
  223. package/dist/operations/mutation/validation.d.ts.map +1 -0
  224. package/dist/operations/mutation/validation.js +107 -0
  225. package/dist/operations/mutation/warnings.d.ts +4 -0
  226. package/dist/operations/mutation/warnings.d.ts.map +1 -0
  227. package/dist/operations/mutation/warnings.js +17 -0
  228. package/dist/operations/semantic-advisor/analysis-receipt.d.ts +5 -0
  229. package/dist/operations/semantic-advisor/analysis-receipt.d.ts.map +1 -0
  230. package/dist/operations/semantic-advisor/analysis-receipt.js +112 -0
  231. package/dist/operations/semantic-advisor/analyze-prose.d.ts +5 -0
  232. package/dist/operations/semantic-advisor/analyze-prose.d.ts.map +1 -0
  233. package/dist/operations/semantic-advisor/analyze-prose.js +271 -0
  234. package/dist/operations/semantic-advisor/clauses.d.ts +10 -0
  235. package/dist/operations/semantic-advisor/clauses.d.ts.map +1 -0
  236. package/dist/operations/semantic-advisor/clauses.js +43 -0
  237. package/dist/operations/semantic-advisor/observation-plan.d.ts +3 -0
  238. package/dist/operations/semantic-advisor/observation-plan.d.ts.map +1 -0
  239. package/dist/operations/semantic-advisor/observation-plan.js +19 -0
  240. package/dist/operations/semantic-advisor/predicate-rule.d.ts +14 -0
  241. package/dist/operations/semantic-advisor/predicate-rule.d.ts.map +1 -0
  242. package/dist/operations/semantic-advisor/predicate-rule.js +22 -0
  243. package/dist/operations/semantic-advisor/predicate-rules-core.d.ts +79 -0
  244. package/dist/operations/semantic-advisor/predicate-rules-core.d.ts.map +1 -0
  245. package/dist/operations/semantic-advisor/predicate-rules-core.js +140 -0
  246. package/dist/operations/semantic-advisor/predicate-rules-policy.d.ts +83 -0
  247. package/dist/operations/semantic-advisor/predicate-rules-policy.d.ts.map +1 -0
  248. package/dist/operations/semantic-advisor/predicate-rules-policy.js +150 -0
  249. package/dist/operations/semantic-advisor/predicate-rules-product-tail.d.ts +48 -0
  250. package/dist/operations/semantic-advisor/predicate-rules-product-tail.d.ts.map +1 -0
  251. package/dist/operations/semantic-advisor/predicate-rules-product-tail.js +102 -0
  252. package/dist/operations/semantic-advisor/predicate-rules-product.d.ts +71 -0
  253. package/dist/operations/semantic-advisor/predicate-rules-product.d.ts.map +1 -0
  254. package/dist/operations/semantic-advisor/predicate-rules-product.js +133 -0
  255. package/dist/operations/semantic-advisor/prose-coverage-evaluator.d.ts +29 -0
  256. package/dist/operations/semantic-advisor/prose-coverage-evaluator.d.ts.map +1 -0
  257. package/dist/operations/semantic-advisor/prose-coverage-evaluator.js +54 -0
  258. package/dist/operations/semantic-advisor/shared.d.ts +18 -0
  259. package/dist/operations/semantic-advisor/shared.d.ts.map +1 -0
  260. package/dist/operations/semantic-advisor/shared.js +209 -0
  261. package/dist/operations/semantic-advisor/strict-count-rules.d.ts +4 -0
  262. package/dist/operations/semantic-advisor/strict-count-rules.d.ts.map +1 -0
  263. package/dist/operations/semantic-advisor/strict-count-rules.js +62 -0
  264. package/dist/operations/semantic-advisor/strict-rules.d.ts +4 -0
  265. package/dist/operations/semantic-advisor/strict-rules.d.ts.map +1 -0
  266. package/dist/operations/semantic-advisor/strict-rules.js +106 -0
  267. package/dist/operations/semantic-advisor/types.d.ts +135 -0
  268. package/dist/operations/semantic-advisor/types.d.ts.map +1 -0
  269. package/dist/operations/semantic-advisor/types.js +1 -0
  270. package/dist/prolog/codec.d.ts.map +1 -1
  271. package/dist/prolog/codec.js +9 -2
  272. package/dist/prolog.d.ts +5 -0
  273. package/dist/prolog.d.ts.map +1 -1
  274. package/dist/prolog.js +82 -30
  275. package/dist/public/impact/diagnostics.d.ts.map +1 -1
  276. package/dist/public/impact/diagnostics.js +8 -4
  277. package/dist/public/impact/full-kb-quality.d.ts +1 -1
  278. package/dist/public/impact/full-kb-quality.d.ts.map +1 -1
  279. package/dist/public/impact/full-kb-quality.js +34 -1
  280. package/dist/public/impact/requirement-quality.d.ts.map +1 -1
  281. package/dist/public/impact/requirement-quality.js +6 -23
  282. package/dist/public/operations/catalog.d.ts +907 -0
  283. package/dist/public/operations/catalog.d.ts.map +1 -0
  284. package/dist/public/operations/catalog.js +42 -0
  285. package/dist/public/operations/check-executor.d.ts +21 -0
  286. package/dist/public/operations/check-executor.d.ts.map +1 -0
  287. package/dist/public/operations/check-executor.js +111 -0
  288. package/dist/public/operations/check-format-shared.d.ts +36 -0
  289. package/dist/public/operations/check-format-shared.d.ts.map +1 -0
  290. package/dist/public/operations/check-format-shared.js +107 -0
  291. package/dist/public/operations/check-helpers.d.ts +10 -0
  292. package/dist/public/operations/check-helpers.d.ts.map +1 -0
  293. package/dist/public/operations/check-helpers.js +107 -0
  294. package/dist/public/operations/discovery-entities.d.ts +14 -0
  295. package/dist/public/operations/discovery-entities.d.ts.map +1 -0
  296. package/dist/public/operations/discovery-entities.js +91 -0
  297. package/dist/public/operations/discovery-executors.d.ts +39 -0
  298. package/dist/public/operations/discovery-executors.d.ts.map +1 -0
  299. package/dist/public/operations/discovery-executors.js +101 -0
  300. package/dist/public/operations/index.d.ts +20 -0
  301. package/dist/public/operations/index.d.ts.map +1 -0
  302. package/dist/public/operations/index.js +18 -0
  303. package/dist/public/operations/node-ports.d.ts +15 -0
  304. package/dist/public/operations/node-ports.d.ts.map +1 -0
  305. package/dist/public/operations/node-ports.js +57 -0
  306. package/dist/public/operations/prolog-json.d.ts +5 -0
  307. package/dist/public/operations/prolog-json.d.ts.map +1 -0
  308. package/dist/public/operations/prolog-json.js +44 -0
  309. package/dist/public/operations/runtime-types.d.ts +69 -0
  310. package/dist/public/operations/runtime-types.d.ts.map +1 -0
  311. package/dist/public/operations/runtime-types.js +17 -0
  312. package/dist/public/operations/specs/autopilot.d.ts +82 -0
  313. package/dist/public/operations/specs/autopilot.d.ts.map +1 -0
  314. package/dist/public/operations/specs/autopilot.js +72 -0
  315. package/dist/public/operations/specs/check.d.ts +51 -0
  316. package/dist/public/operations/specs/check.d.ts.map +1 -0
  317. package/dist/public/operations/specs/check.js +62 -0
  318. package/dist/public/operations/specs/discovery.d.ts +94 -0
  319. package/dist/public/operations/specs/discovery.d.ts.map +1 -0
  320. package/dist/public/operations/specs/discovery.js +98 -0
  321. package/dist/public/operations/specs/modeling.d.ts +126 -0
  322. package/dist/public/operations/specs/modeling.d.ts.map +1 -0
  323. package/dist/public/operations/specs/modeling.js +117 -0
  324. package/dist/public/operations/specs/mutation-schemas.d.ts +233 -0
  325. package/dist/public/operations/specs/mutation-schemas.d.ts.map +1 -0
  326. package/dist/public/operations/specs/mutation-schemas.js +267 -0
  327. package/dist/public/operations/specs/mutation.d.ts +56 -0
  328. package/dist/public/operations/specs/mutation.d.ts.map +1 -0
  329. package/dist/public/operations/specs/mutation.js +44 -0
  330. package/dist/public/operations/specs/reporting.d.ts +185 -0
  331. package/dist/public/operations/specs/reporting.d.ts.map +1 -0
  332. package/dist/public/operations/specs/reporting.js +158 -0
  333. package/dist/public/operations/specs/semantic.d.ts +53 -0
  334. package/dist/public/operations/specs/semantic.d.ts.map +1 -0
  335. package/dist/public/operations/specs/semantic.js +105 -0
  336. package/dist/public/operations/specs/skills.d.ts +70 -0
  337. package/dist/public/operations/specs/skills.d.ts.map +1 -0
  338. package/dist/public/operations/specs/skills.js +107 -0
  339. package/dist/public/operations/specs/sparql.d.ts +39 -0
  340. package/dist/public/operations/specs/sparql.d.ts.map +1 -0
  341. package/dist/public/operations/specs/sparql.js +121 -0
  342. package/dist/public/operations/specs/upsert.d.ts +256 -0
  343. package/dist/public/operations/specs/upsert.d.ts.map +1 -0
  344. package/dist/public/operations/specs/upsert.js +27 -0
  345. package/dist/public/operations/types.d.ts +24 -0
  346. package/dist/public/operations/types.d.ts.map +1 -0
  347. package/dist/public/operations/types.js +1 -0
  348. package/dist/public/schemas/entity.d.ts.map +1 -1
  349. package/dist/public/schemas/entity.js +27 -0
  350. package/dist/public/skill-system/errors.d.ts +19 -0
  351. package/dist/public/skill-system/errors.d.ts.map +1 -0
  352. package/dist/public/skill-system/errors.js +36 -0
  353. package/dist/public/skill-system/loader.d.ts +9 -0
  354. package/dist/public/skill-system/loader.d.ts.map +1 -0
  355. package/dist/public/skill-system/loader.js +76 -0
  356. package/dist/public/skill-system/paths.d.ts +6 -0
  357. package/dist/public/skill-system/paths.d.ts.map +1 -0
  358. package/dist/public/skill-system/paths.js +25 -0
  359. package/dist/public/skill-system/types.d.ts +15 -0
  360. package/dist/public/skill-system/types.d.ts.map +1 -0
  361. package/dist/public/skill-system/types.js +1 -0
  362. package/dist/public/skill-system/validation.d.ts +10 -0
  363. package/dist/public/skill-system/validation.d.ts.map +1 -0
  364. package/dist/public/skill-system/validation.js +119 -0
  365. package/dist/public/skills/init-kibi/SKILL.md +62 -0
  366. package/dist/public/skills/kibi-freshness/SKILL.md +44 -0
  367. package/dist/public/skills/kibi-traceability/SKILL.md +54 -0
  368. package/dist/public/skills/kibi-usage/SKILL.md +119 -99
  369. package/dist/public/skills/kibi-usage/resources/fact-lanes.md +102 -0
  370. package/dist/public/skills/kibi-usage/resources/operation-access.md +44 -0
  371. package/dist/public/skills/kibi-usage/resources/workflows.md +26 -3
  372. package/dist/public/skills.d.ts +4 -41
  373. package/dist/public/skills.d.ts.map +1 -1
  374. package/dist/public/skills.js +3 -270
  375. package/dist/runtime/cli-runtime.d.ts +3 -0
  376. package/dist/runtime/cli-runtime.d.ts.map +1 -0
  377. package/dist/runtime/cli-runtime.js +96 -0
  378. package/dist/schemas/entity.schema.json +23 -0
  379. package/dist/traceability/staged-diagnostics.d.ts +1 -1
  380. package/dist/traceability/staged-diagnostics.d.ts.map +1 -1
  381. package/dist/traceability/staged-symbols-manifest.d.ts +1 -0
  382. package/dist/traceability/staged-symbols-manifest.d.ts.map +1 -1
  383. package/dist/traceability/staged-symbols-manifest.js +38 -27
  384. package/dist/traceability/symbol-extract.d.ts.map +1 -1
  385. package/dist/traceability/symbol-extract.js +17 -1
  386. package/dist/traceability/temp-kb.d.ts.map +1 -1
  387. package/dist/traceability/temp-kb.js +34 -1
  388. package/dist/types/entities.d.ts +3 -0
  389. package/dist/types/entities.d.ts.map +1 -1
  390. package/dist/utils/rule-registry.d.ts.map +1 -1
  391. package/dist/utils/rule-registry.js +6 -0
  392. package/package.json +56 -2
  393. package/src/public/impact/diagnostics.ts +18 -11
  394. package/src/public/impact/full-kb-quality.ts +30 -3
  395. package/src/public/impact/requirement-quality.ts +6 -26
  396. package/src/public/operations/catalog.ts +60 -0
  397. package/src/public/operations/check-executor.ts +185 -0
  398. package/src/public/operations/check-format-shared.ts +178 -0
  399. package/src/public/operations/check-helpers.ts +141 -0
  400. package/src/public/operations/discovery-entities.ts +122 -0
  401. package/src/public/operations/discovery-executors.ts +176 -0
  402. package/src/public/operations/index.ts +19 -0
  403. package/src/public/operations/node-ports.ts +78 -0
  404. package/src/public/operations/prolog-json.ts +71 -0
  405. package/src/public/operations/runtime-types.ts +106 -0
  406. package/src/public/operations/specs/autopilot.ts +98 -0
  407. package/src/public/operations/specs/check.ts +72 -0
  408. package/src/public/operations/specs/discovery.ts +126 -0
  409. package/src/public/operations/specs/modeling.ts +154 -0
  410. package/src/public/operations/specs/mutation-schemas.ts +296 -0
  411. package/src/public/operations/specs/mutation.ts +58 -0
  412. package/src/public/operations/specs/reporting.ts +249 -0
  413. package/src/public/operations/specs/semantic.ts +135 -0
  414. package/src/public/operations/specs/skills.ts +142 -0
  415. package/src/public/operations/specs/sparql.ts +149 -0
  416. package/src/public/operations/specs/upsert.ts +40 -0
  417. package/src/public/operations/types.ts +57 -0
  418. package/src/public/schemas/entity.ts +27 -0
  419. package/src/public/skill-system/errors.ts +38 -0
  420. package/src/public/skill-system/loader.ts +108 -0
  421. package/src/public/skill-system/paths.ts +27 -0
  422. package/src/public/skill-system/types.ts +14 -0
  423. package/src/public/skill-system/validation.ts +175 -0
  424. package/src/public/skills/init-kibi/SKILL.md +62 -0
  425. package/src/public/skills/kibi-freshness/SKILL.md +44 -0
  426. package/src/public/skills/kibi-traceability/SKILL.md +54 -0
  427. package/src/public/skills/kibi-usage/SKILL.md +119 -99
  428. package/src/public/skills/kibi-usage/resources/fact-lanes.md +102 -0
  429. package/src/public/skills/kibi-usage/resources/operation-access.md +44 -0
  430. package/src/public/skills/kibi-usage/resources/workflows.md +26 -3
  431. package/src/public/skills.ts +18 -427
  432. package/src/schemas/entity.schema.json +23 -0
@@ -0,0 +1,233 @@
1
+ export declare const ENTITY_TYPES: readonly ["req", "scenario", "test", "adr", "flag", "event", "symbol", "fact"];
2
+ export declare const ENTITY_PROPERTIES_SCHEMA: {
3
+ readonly type: "object";
4
+ readonly description: "Entity fields to persist. Must include title and status. If created_at, updated_at, or source are omitted, server fills defaults.";
5
+ readonly properties: {
6
+ readonly title: {
7
+ readonly type: "string";
8
+ readonly description: "Required short title. Example: 'Protect account settings endpoint'.";
9
+ };
10
+ readonly status: {
11
+ readonly type: "string";
12
+ readonly description: "Required lifecycle state. Allowed values depend on entity type; backward-compatible legacy statuses are also accepted. Examples: 'open', 'passing', 'accepted', 'active'.";
13
+ };
14
+ readonly source: {
15
+ readonly type: "string";
16
+ readonly description: "Optional provenance string. Example: 'docs/requirements/REQ-123.md'. Defaults to 'mcp://kibi/upsert'.";
17
+ };
18
+ readonly tags: {
19
+ readonly type: "array";
20
+ readonly items: {
21
+ readonly type: "string";
22
+ };
23
+ readonly description: "Optional categorization tags. Example: ['security','api'].";
24
+ };
25
+ readonly owner: {
26
+ readonly type: "string";
27
+ readonly description: "Optional owner name/team. Example: 'platform-team'.";
28
+ };
29
+ readonly priority: {
30
+ readonly type: "string";
31
+ readonly description: "Optional priority label. Example: 'high'.";
32
+ };
33
+ readonly severity: {
34
+ readonly type: "string";
35
+ readonly description: "Optional severity label. Example: 'critical'.";
36
+ };
37
+ readonly links: {
38
+ readonly type: "array";
39
+ readonly items: {
40
+ readonly type: "string";
41
+ };
42
+ readonly description: "Optional references. Example: ['REQ-010','https://example.com/spec'].";
43
+ };
44
+ readonly text_ref: {
45
+ readonly type: "string";
46
+ readonly description: "Optional text anchor/reference. Example: 'requirements.md#L40'.";
47
+ };
48
+ readonly logic_claims: {
49
+ readonly type: "array";
50
+ readonly minItems: 1;
51
+ readonly uniqueItems: true;
52
+ readonly items: {
53
+ readonly type: "string";
54
+ readonly pattern: "^CLAIM-[A-F0-9]{16}$";
55
+ };
56
+ readonly description: "Requirement-only manifest of every atomic normative claim key returned by kb_semantic_advisor. A requirement is logic-complete only when every key is grounded by a linked property_value or predicate fact with the same claim_key.";
57
+ };
58
+ readonly sourceFile: {
59
+ readonly type: "string";
60
+ readonly description: "Optional code source file for symbol entities. Example: 'src/auth/login.ts'.";
61
+ };
62
+ readonly granularity_reason: {
63
+ readonly type: "string";
64
+ readonly enum: readonly ["config-artifact", "module-level-behavior", "extractor-miss", "legacy-link"];
65
+ readonly description: "Optional justification for a coarse file/module-level symbol traceability relationship when narrower function/class/type symbols exist.";
66
+ };
67
+ readonly symbol_role: {
68
+ readonly type: "string";
69
+ readonly enum: readonly ["behavioral", "structural", "type-shape", "config", "module", "unknown"];
70
+ readonly description: "Optional role classification for symbol entities. Example: 'behavioral'.";
71
+ };
72
+ readonly verification_scope: {
73
+ readonly type: "string";
74
+ readonly enum: readonly ["unit", "integration", "end_to_end"];
75
+ readonly description: "Optional typed verification scope for test entities. Example: 'end_to_end'.";
76
+ };
77
+ readonly verification_perspective: {
78
+ readonly type: "string";
79
+ readonly enum: readonly ["internal", "consumer"];
80
+ readonly description: "Optional typed verification perspective for test entities. Example: 'consumer'.";
81
+ };
82
+ readonly fact_kind: {
83
+ readonly type: "string";
84
+ readonly enum: readonly ["subject", "property_value", "observation", "meta", "predicate_schema", "predicate"];
85
+ readonly description: "Optional fact lane kind for fact entities. Strict lane uses 'subject' and 'property_value'; context lane uses 'observation' or 'meta'; ontology lane uses 'predicate_schema' or 'predicate'. Use kb_model_requirement or kb_suggest_predicates when starting from prose.";
86
+ };
87
+ readonly subject_key: {
88
+ readonly type: "string";
89
+ readonly description: "Snake_case only. Optional canonical subject key for strict fact entities. Example: 'user.session'. Do not use subjectKey in kb_upsert.properties.";
90
+ };
91
+ readonly property_key: {
92
+ readonly type: "string";
93
+ readonly description: "Snake_case only. Optional canonical property key for property_value facts. Example: 'session.timeout_minutes'. Do not use propertyKey in kb_upsert.properties.";
94
+ };
95
+ readonly operator: {
96
+ readonly type: "string";
97
+ readonly enum: readonly ["eq", "neq", "lt", "lte", "gt", "gte"];
98
+ readonly description: "Optional comparison operator for property_value facts. Example: 'eq'.";
99
+ };
100
+ readonly value_type: {
101
+ readonly type: "string";
102
+ readonly enum: readonly ["string", "int", "number", "bool"];
103
+ readonly description: "Optional typed value discriminator for property_value facts. Pair with exactly one value_string, value_int, value_number, or value_bool; do not use generic value.";
104
+ };
105
+ readonly value_string: {
106
+ readonly type: "string";
107
+ readonly description: "Optional string value for property_value facts.";
108
+ };
109
+ readonly value_int: {
110
+ readonly type: "integer";
111
+ readonly description: "Optional integer value for property_value facts.";
112
+ };
113
+ readonly value_number: {
114
+ readonly type: "number";
115
+ readonly description: "Optional number value for property_value facts.";
116
+ };
117
+ readonly value_bool: {
118
+ readonly type: "boolean";
119
+ readonly description: "Optional boolean value for property_value facts.";
120
+ };
121
+ readonly unit: {
122
+ readonly type: "string";
123
+ readonly description: "Optional unit for numeric property_value facts.";
124
+ };
125
+ readonly scope: {
126
+ readonly type: "string";
127
+ readonly description: "Optional scope qualifier for fact entities.";
128
+ };
129
+ readonly polarity: {
130
+ readonly type: "string";
131
+ readonly enum: readonly ["require", "forbid", "assert", "deny"];
132
+ readonly description: "Optional polarity for property_value or predicate facts.";
133
+ };
134
+ readonly closed_world: {
135
+ readonly type: "boolean";
136
+ readonly description: "Optional closed-world marker for strict fact interpretation.";
137
+ };
138
+ readonly canonical_key: {
139
+ readonly type: "string";
140
+ readonly description: "Optional canonical identity key for predicate or strict fact claims.";
141
+ };
142
+ readonly claim_key: {
143
+ readonly type: "string";
144
+ readonly pattern: "^CLAIM-[A-F0-9]{16}$";
145
+ readonly description: "Stable semantic-advisor key for the atomic prose clause grounded by this fact.";
146
+ };
147
+ readonly claim_text: {
148
+ readonly type: "string";
149
+ readonly description: "Exact atomic requirement clause represented by this fact, retained for human audit.";
150
+ };
151
+ readonly predicate_name: {
152
+ readonly type: "string";
153
+ readonly description: "Optional predicate name for ontology predicate facts. Prefer kb_suggest_predicates before hand-writing predicate_name.";
154
+ };
155
+ readonly predicate_args: {
156
+ readonly type: "array";
157
+ readonly items: {
158
+ readonly type: "string";
159
+ };
160
+ readonly description: "Optional ordered predicate arguments for ontology predicate facts. Prefer kb_suggest_predicates before hand-writing predicate_args.";
161
+ };
162
+ readonly predicate_namespace: {
163
+ readonly type: "string";
164
+ readonly description: "Optional namespace for a project-local predicate schema.";
165
+ };
166
+ readonly predicate_arity: {
167
+ readonly type: "integer";
168
+ readonly minimum: 1;
169
+ readonly description: "Required arity for predicate_schema facts.";
170
+ };
171
+ readonly argument_names: {
172
+ readonly type: "array";
173
+ readonly items: {
174
+ readonly type: "string";
175
+ };
176
+ readonly description: "Ordered argument role names for predicate_schema facts.";
177
+ };
178
+ readonly argument_types: {
179
+ readonly type: "array";
180
+ readonly items: {
181
+ readonly type: "string";
182
+ };
183
+ readonly description: "Ordered argument types for predicate_schema facts.";
184
+ };
185
+ readonly argument_descriptions: {
186
+ readonly type: "array";
187
+ readonly items: {
188
+ readonly type: "string";
189
+ };
190
+ readonly description: "Optional ordered argument explanations.";
191
+ };
192
+ readonly aliases: {
193
+ readonly type: "array";
194
+ readonly items: {
195
+ readonly type: "string";
196
+ };
197
+ readonly description: "Optional vocabulary aliases for predicate discovery.";
198
+ };
199
+ readonly examples: {
200
+ readonly type: "array";
201
+ readonly items: {
202
+ readonly type: "string";
203
+ };
204
+ readonly description: "Optional ground-term examples for a predicate schema.";
205
+ };
206
+ };
207
+ readonly allOf: readonly [Record<string, unknown>];
208
+ readonly required: readonly ["title", "status"];
209
+ };
210
+ export declare const RELATIONSHIPS_SCHEMA: {
211
+ readonly type: "array";
212
+ readonly description: "Optional relationship rows to create in the same call. For requirement encoding, prefer `constrains` + `requires_property` for strict property facts or `requires_predicate` for ontology predicate facts. Side effect: asserts edges in KB.";
213
+ readonly items: {
214
+ readonly type: "object";
215
+ readonly required: readonly ["type", "from", "to"];
216
+ readonly properties: {
217
+ readonly type: {
218
+ readonly type: "string";
219
+ readonly enum: readonly ["depends_on", "specified_by", "verified_by", "validates", "implements", "covered_by", "executable_for", "constrained_by", "constrains", "requires_property", "requires_predicate", "guards", "publishes", "consumes", "supersedes", "relates_to"];
220
+ readonly description: "Relationship type enum. Use only supported values. Direction semantics follow KB model (e.g., implements symbol->req, verified_by req/scenario->test, executable_for symbol->test).";
221
+ };
222
+ readonly from: {
223
+ readonly type: "string";
224
+ readonly description: "Source entity ID (must exist). Example: 'SYM-login-handler'.";
225
+ };
226
+ readonly to: {
227
+ readonly type: "string";
228
+ readonly description: "Target entity ID (must exist). Example: 'REQ-001'.";
229
+ };
230
+ };
231
+ };
232
+ };
233
+ //# sourceMappingURL=mutation-schemas.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mutation-schemas.d.ts","sourceRoot":"","sources":["../../../../src/public/operations/specs/mutation-schemas.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,YAAY,gFASf,CAAC;AAYX,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAsO3B,CAAC;AAEX,eAAO,MAAM,oBAAoB;;;;;;;;;;;;;;;;;;;;;;CA0CvB,CAAC"}
@@ -0,0 +1,267 @@
1
+ export const ENTITY_TYPES = [
2
+ "req",
3
+ "scenario",
4
+ "test",
5
+ "adr",
6
+ "flag",
7
+ "event",
8
+ "symbol",
9
+ "fact",
10
+ ];
11
+ const CLAIM_PROVENANCE_CONDITIONAL = JSON.parse(`{
12
+ "if": {
13
+ "anyOf": [
14
+ { "required": ["claim_key"] },
15
+ { "required": ["claim_text"] }
16
+ ]
17
+ },
18
+ "then": { "required": ["claim_key", "claim_text"] }
19
+ }`);
20
+ export const ENTITY_PROPERTIES_SCHEMA = {
21
+ type: "object",
22
+ description: "Entity fields to persist. Must include title and status. If created_at, updated_at, or source are omitted, server fills defaults.",
23
+ properties: {
24
+ title: {
25
+ type: "string",
26
+ description: "Required short title. Example: 'Protect account settings endpoint'.",
27
+ },
28
+ status: {
29
+ type: "string",
30
+ description: "Required lifecycle state. Allowed values depend on entity type; backward-compatible legacy statuses are also accepted. Examples: 'open', 'passing', 'accepted', 'active'.",
31
+ },
32
+ source: {
33
+ type: "string",
34
+ description: "Optional provenance string. Example: 'docs/requirements/REQ-123.md'. Defaults to 'mcp://kibi/upsert'.",
35
+ },
36
+ tags: {
37
+ type: "array",
38
+ items: { type: "string" },
39
+ description: "Optional categorization tags. Example: ['security','api'].",
40
+ },
41
+ owner: {
42
+ type: "string",
43
+ description: "Optional owner name/team. Example: 'platform-team'.",
44
+ },
45
+ priority: {
46
+ type: "string",
47
+ description: "Optional priority label. Example: 'high'.",
48
+ },
49
+ severity: {
50
+ type: "string",
51
+ description: "Optional severity label. Example: 'critical'.",
52
+ },
53
+ links: {
54
+ type: "array",
55
+ items: { type: "string" },
56
+ description: "Optional references. Example: ['REQ-010','https://example.com/spec'].",
57
+ },
58
+ text_ref: {
59
+ type: "string",
60
+ description: "Optional text anchor/reference. Example: 'requirements.md#L40'.",
61
+ },
62
+ logic_claims: {
63
+ type: "array",
64
+ minItems: 1,
65
+ uniqueItems: true,
66
+ items: { type: "string", pattern: "^CLAIM-[A-F0-9]{16}$" },
67
+ description: "Requirement-only manifest of every atomic normative claim key returned by kb_semantic_advisor. A requirement is logic-complete only when every key is grounded by a linked property_value or predicate fact with the same claim_key.",
68
+ },
69
+ sourceFile: {
70
+ type: "string",
71
+ description: "Optional code source file for symbol entities. Example: 'src/auth/login.ts'.",
72
+ },
73
+ granularity_reason: {
74
+ type: "string",
75
+ enum: [
76
+ "config-artifact",
77
+ "module-level-behavior",
78
+ "extractor-miss",
79
+ "legacy-link",
80
+ ],
81
+ description: "Optional justification for a coarse file/module-level symbol traceability relationship when narrower function/class/type symbols exist.",
82
+ },
83
+ symbol_role: {
84
+ type: "string",
85
+ enum: [
86
+ "behavioral",
87
+ "structural",
88
+ "type-shape",
89
+ "config",
90
+ "module",
91
+ "unknown",
92
+ ],
93
+ description: "Optional role classification for symbol entities. Example: 'behavioral'.",
94
+ },
95
+ verification_scope: {
96
+ type: "string",
97
+ enum: ["unit", "integration", "end_to_end"],
98
+ description: "Optional typed verification scope for test entities. Example: 'end_to_end'.",
99
+ },
100
+ verification_perspective: {
101
+ type: "string",
102
+ enum: ["internal", "consumer"],
103
+ description: "Optional typed verification perspective for test entities. Example: 'consumer'.",
104
+ },
105
+ fact_kind: {
106
+ type: "string",
107
+ enum: [
108
+ "subject",
109
+ "property_value",
110
+ "observation",
111
+ "meta",
112
+ "predicate_schema",
113
+ "predicate",
114
+ ],
115
+ description: "Optional fact lane kind for fact entities. Strict lane uses 'subject' and 'property_value'; context lane uses 'observation' or 'meta'; ontology lane uses 'predicate_schema' or 'predicate'. Use kb_model_requirement or kb_suggest_predicates when starting from prose.",
116
+ },
117
+ subject_key: {
118
+ type: "string",
119
+ description: "Snake_case only. Optional canonical subject key for strict fact entities. Example: 'user.session'. Do not use subjectKey in kb_upsert.properties.",
120
+ },
121
+ property_key: {
122
+ type: "string",
123
+ description: "Snake_case only. Optional canonical property key for property_value facts. Example: 'session.timeout_minutes'. Do not use propertyKey in kb_upsert.properties.",
124
+ },
125
+ operator: {
126
+ type: "string",
127
+ enum: ["eq", "neq", "lt", "lte", "gt", "gte"],
128
+ description: "Optional comparison operator for property_value facts. Example: 'eq'.",
129
+ },
130
+ value_type: {
131
+ type: "string",
132
+ enum: ["string", "int", "number", "bool"],
133
+ description: "Optional typed value discriminator for property_value facts. Pair with exactly one value_string, value_int, value_number, or value_bool; do not use generic value.",
134
+ },
135
+ value_string: {
136
+ type: "string",
137
+ description: "Optional string value for property_value facts.",
138
+ },
139
+ value_int: {
140
+ type: "integer",
141
+ description: "Optional integer value for property_value facts.",
142
+ },
143
+ value_number: {
144
+ type: "number",
145
+ description: "Optional number value for property_value facts.",
146
+ },
147
+ value_bool: {
148
+ type: "boolean",
149
+ description: "Optional boolean value for property_value facts.",
150
+ },
151
+ unit: {
152
+ type: "string",
153
+ description: "Optional unit for numeric property_value facts.",
154
+ },
155
+ scope: {
156
+ type: "string",
157
+ description: "Optional scope qualifier for fact entities.",
158
+ },
159
+ polarity: {
160
+ type: "string",
161
+ enum: ["require", "forbid", "assert", "deny"],
162
+ description: "Optional polarity for property_value or predicate facts.",
163
+ },
164
+ closed_world: {
165
+ type: "boolean",
166
+ description: "Optional closed-world marker for strict fact interpretation.",
167
+ },
168
+ canonical_key: {
169
+ type: "string",
170
+ description: "Optional canonical identity key for predicate or strict fact claims.",
171
+ },
172
+ claim_key: {
173
+ type: "string",
174
+ pattern: "^CLAIM-[A-F0-9]{16}$",
175
+ description: "Stable semantic-advisor key for the atomic prose clause grounded by this fact.",
176
+ },
177
+ claim_text: {
178
+ type: "string",
179
+ description: "Exact atomic requirement clause represented by this fact, retained for human audit.",
180
+ },
181
+ predicate_name: {
182
+ type: "string",
183
+ description: "Optional predicate name for ontology predicate facts. Prefer kb_suggest_predicates before hand-writing predicate_name.",
184
+ },
185
+ predicate_args: {
186
+ type: "array",
187
+ items: { type: "string" },
188
+ description: "Optional ordered predicate arguments for ontology predicate facts. Prefer kb_suggest_predicates before hand-writing predicate_args.",
189
+ },
190
+ predicate_namespace: {
191
+ type: "string",
192
+ description: "Optional namespace for a project-local predicate schema.",
193
+ },
194
+ predicate_arity: {
195
+ type: "integer",
196
+ minimum: 1,
197
+ description: "Required arity for predicate_schema facts.",
198
+ },
199
+ argument_names: {
200
+ type: "array",
201
+ items: { type: "string" },
202
+ description: "Ordered argument role names for predicate_schema facts.",
203
+ },
204
+ argument_types: {
205
+ type: "array",
206
+ items: { type: "string" },
207
+ description: "Ordered argument types for predicate_schema facts.",
208
+ },
209
+ argument_descriptions: {
210
+ type: "array",
211
+ items: { type: "string" },
212
+ description: "Optional ordered argument explanations.",
213
+ },
214
+ aliases: {
215
+ type: "array",
216
+ items: { type: "string" },
217
+ description: "Optional vocabulary aliases for predicate discovery.",
218
+ },
219
+ examples: {
220
+ type: "array",
221
+ items: { type: "string" },
222
+ description: "Optional ground-term examples for a predicate schema.",
223
+ },
224
+ },
225
+ allOf: [CLAIM_PROVENANCE_CONDITIONAL],
226
+ required: ["title", "status"],
227
+ };
228
+ export const RELATIONSHIPS_SCHEMA = {
229
+ type: "array",
230
+ description: "Optional relationship rows to create in the same call. For requirement encoding, prefer `constrains` + `requires_property` for strict property facts or `requires_predicate` for ontology predicate facts. Side effect: asserts edges in KB.",
231
+ items: {
232
+ type: "object",
233
+ required: ["type", "from", "to"],
234
+ properties: {
235
+ type: {
236
+ type: "string",
237
+ enum: [
238
+ "depends_on",
239
+ "specified_by",
240
+ "verified_by",
241
+ "validates",
242
+ "implements",
243
+ "covered_by",
244
+ "executable_for",
245
+ "constrained_by",
246
+ "constrains",
247
+ "requires_property",
248
+ "requires_predicate",
249
+ "guards",
250
+ "publishes",
251
+ "consumes",
252
+ "supersedes",
253
+ "relates_to",
254
+ ],
255
+ description: "Relationship type enum. Use only supported values. Direction semantics follow KB model (e.g., implements symbol->req, verified_by req/scenario->test, executable_for symbol->test).",
256
+ },
257
+ from: {
258
+ type: "string",
259
+ description: "Source entity ID (must exist). Example: 'SYM-login-handler'.",
260
+ },
261
+ to: {
262
+ type: "string",
263
+ description: "Target entity ID (must exist). Example: 'REQ-001'.",
264
+ },
265
+ },
266
+ },
267
+ };
@@ -0,0 +1,56 @@
1
+ import { executeDelete } from "../../../operations/mutation/delete.js";
2
+ import { executeValidateUpsert } from "../../../operations/mutation/validate-upsert.js";
3
+ export { upsertSpec } from "./upsert.js";
4
+ export declare const validateUpsertSpec: {
5
+ readonly name: "kb_validate_upsert";
6
+ readonly cliName: "validate-upsert";
7
+ readonly description: "Validate a kb_upsert payload without mutating the KB. Use this read-only preflight before kb_upsert, especially for requirements, because it returns schema/modeling errors plus semantic advisor receipts that identify prose likely needing kb_model_requirement, kb_suggest_predicates, ambiguity review, or an ontology-gap observation.";
8
+ readonly businessInputSchema: {
9
+ readonly type: "object";
10
+ readonly required: readonly ["type", "id", "properties"];
11
+ readonly properties: {
12
+ readonly type: {
13
+ readonly type: "string";
14
+ readonly enum: readonly ["req", "scenario", "test", "adr", "flag", "event", "symbol", "fact"];
15
+ };
16
+ readonly id: {
17
+ readonly type: "string";
18
+ };
19
+ readonly properties: {
20
+ readonly type: "object";
21
+ readonly description: "Entity properties to validate using the same snake_case field names accepted by kb_upsert.";
22
+ };
23
+ readonly relationships: {
24
+ readonly type: "array";
25
+ readonly items: {
26
+ readonly type: "object";
27
+ };
28
+ };
29
+ };
30
+ };
31
+ readonly requiresProlog: true;
32
+ readonly effects: readonly ["kb-read"];
33
+ readonly execute: typeof executeValidateUpsert;
34
+ };
35
+ export declare const deleteSpec: {
36
+ readonly name: "kb_delete";
37
+ readonly cliName: "delete";
38
+ readonly description: "Delete entities by ID. Use only for intentional removals after dependency checks. Do not use as a bulk cleanup shortcut. Side effects: mutates and saves KB; skips entities with dependents.";
39
+ readonly businessInputSchema: {
40
+ readonly type: "object";
41
+ readonly required: readonly ["ids"];
42
+ readonly properties: {
43
+ readonly ids: {
44
+ readonly type: "array";
45
+ readonly items: {
46
+ readonly type: "string";
47
+ };
48
+ readonly description: "Required list of entity IDs to delete. Example: ['REQ-001','TEST-002']. At least one ID is required.";
49
+ };
50
+ };
51
+ };
52
+ readonly requiresProlog: true;
53
+ readonly effects: readonly ["kb-write", "workspace-write"];
54
+ readonly execute: typeof executeDelete;
55
+ };
56
+ //# sourceMappingURL=mutation.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"mutation.d.ts","sourceRoot":"","sources":["../../../../src/public/operations/specs/mutation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,wCAAwC,CAAC;AAOvE,OAAO,EAAE,qBAAqB,EAAE,MAAM,iDAAiD,CAAC;AAIxF,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAsBuC,CAAC;AAEvE,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;;;;;CAoBuC,CAAC"}
@@ -0,0 +1,44 @@
1
+ import { executeDelete } from "../../../operations/mutation/delete.js";
2
+ import { executeValidateUpsert } from "../../../operations/mutation/validate-upsert.js";
3
+ import { ENTITY_TYPES } from "./mutation-schemas.js";
4
+ export { upsertSpec } from "./upsert.js";
5
+ export const validateUpsertSpec = {
6
+ name: "kb_validate_upsert",
7
+ cliName: "validate-upsert",
8
+ description: "Validate a kb_upsert payload without mutating the KB. Use this read-only preflight before kb_upsert, especially for requirements, because it returns schema/modeling errors plus semantic advisor receipts that identify prose likely needing kb_model_requirement, kb_suggest_predicates, ambiguity review, or an ontology-gap observation.",
9
+ businessInputSchema: {
10
+ type: "object",
11
+ required: ["type", "id", "properties"],
12
+ properties: {
13
+ type: { type: "string", enum: ENTITY_TYPES },
14
+ id: { type: "string" },
15
+ properties: {
16
+ type: "object",
17
+ description: "Entity properties to validate using the same snake_case field names accepted by kb_upsert.",
18
+ },
19
+ relationships: { type: "array", items: { type: "object" } },
20
+ },
21
+ },
22
+ requiresProlog: true,
23
+ effects: ["kb-read"],
24
+ execute: executeValidateUpsert,
25
+ };
26
+ export const deleteSpec = {
27
+ name: "kb_delete",
28
+ cliName: "delete",
29
+ description: "Delete entities by ID. Use only for intentional removals after dependency checks. Do not use as a bulk cleanup shortcut. Side effects: mutates and saves KB; skips entities with dependents.",
30
+ businessInputSchema: {
31
+ type: "object",
32
+ required: ["ids"],
33
+ properties: {
34
+ ids: {
35
+ type: "array",
36
+ items: { type: "string" },
37
+ description: "Required list of entity IDs to delete. Example: ['REQ-001','TEST-002']. At least one ID is required.",
38
+ },
39
+ },
40
+ },
41
+ requiresProlog: true,
42
+ effects: ["kb-write", "workspace-write"],
43
+ execute: executeDelete,
44
+ };