kibi-cli 0.12.8 → 0.16.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (501) hide show
  1. package/bin/kibi +3 -1
  2. package/dist/cli-command.d.ts +5 -0
  3. package/dist/cli-command.d.ts.map +1 -0
  4. package/dist/cli-command.js +9 -0
  5. package/dist/cli-errors.d.ts +13 -0
  6. package/dist/cli-errors.d.ts.map +1 -0
  7. package/dist/cli-errors.js +26 -0
  8. package/dist/cli-input.d.ts +6 -0
  9. package/dist/cli-input.d.ts.map +1 -0
  10. package/dist/cli-input.js +54 -0
  11. package/dist/cli-json-command.d.ts +14 -0
  12. package/dist/cli-json-command.d.ts.map +1 -0
  13. package/dist/cli-json-command.js +96 -0
  14. package/dist/cli-protocol.d.ts +12 -0
  15. package/dist/cli-protocol.d.ts.map +1 -0
  16. package/dist/cli-protocol.js +37 -0
  17. package/dist/cli-register-foundation.d.ts +3 -0
  18. package/dist/cli-register-foundation.d.ts.map +1 -0
  19. package/dist/cli-register-foundation.js +90 -0
  20. package/dist/cli-register-maintenance.d.ts +3 -0
  21. package/dist/cli-register-maintenance.d.ts.map +1 -0
  22. package/dist/cli-register-maintenance.js +36 -0
  23. package/dist/cli-register-reporting.d.ts +3 -0
  24. package/dist/cli-register-reporting.d.ts.map +1 -0
  25. package/dist/cli-register-reporting.js +101 -0
  26. package/dist/cli-register-skills.d.ts +3 -0
  27. package/dist/cli-register-skills.d.ts.map +1 -0
  28. package/dist/cli-register-skills.js +71 -0
  29. package/dist/cli-validate.d.ts +18 -0
  30. package/dist/cli-validate.d.ts.map +1 -0
  31. package/dist/cli-validate.js +45 -0
  32. package/dist/cli.d.ts +4 -4
  33. package/dist/cli.d.ts.map +1 -1
  34. package/dist/cli.js +48 -210
  35. package/dist/commands/aggregated-checks.d.ts +1 -1
  36. package/dist/commands/aggregated-checks.d.ts.map +1 -1
  37. package/dist/commands/aggregated-checks.js +28 -34
  38. package/dist/commands/check.d.ts +2 -1
  39. package/dist/commands/check.d.ts.map +1 -1
  40. package/dist/commands/check.js +145 -152
  41. package/dist/commands/coverage.d.ts.map +1 -1
  42. package/dist/commands/coverage.js +12 -17
  43. package/dist/commands/discovery-shared.d.ts +3 -1
  44. package/dist/commands/discovery-shared.d.ts.map +1 -1
  45. package/dist/commands/discovery-shared.js +8 -209
  46. package/dist/commands/discovery-table.d.ts +3 -0
  47. package/dist/commands/discovery-table.d.ts.map +1 -0
  48. package/dist/commands/discovery-table.js +204 -0
  49. package/dist/commands/gaps.d.ts.map +1 -1
  50. package/dist/commands/gaps.js +15 -19
  51. package/dist/commands/graph.d.ts.map +1 -1
  52. package/dist/commands/graph.js +15 -21
  53. package/dist/commands/query.d.ts +7 -7
  54. package/dist/commands/query.d.ts.map +1 -1
  55. package/dist/commands/query.js +98 -204
  56. package/dist/commands/search.d.ts +4 -4
  57. package/dist/commands/search.d.ts.map +1 -1
  58. package/dist/commands/search.js +14 -27
  59. package/dist/commands/status.d.ts +1 -1
  60. package/dist/commands/status.d.ts.map +1 -1
  61. package/dist/commands/status.js +6 -7
  62. package/dist/commands/sync/discovery.d.ts.map +1 -1
  63. package/dist/commands/sync/discovery.js +8 -1
  64. package/dist/commands/sync/extraction.d.ts +6 -1
  65. package/dist/commands/sync/extraction.d.ts.map +1 -1
  66. package/dist/commands/sync/extraction.js +7 -3
  67. package/dist/commands/sync/manifest.d.ts +1 -1
  68. package/dist/commands/sync/manifest.d.ts.map +1 -1
  69. package/dist/commands/sync/manifest.js +9 -17
  70. package/dist/commands/sync/persistence.d.ts.map +1 -1
  71. package/dist/commands/sync/persistence.js +51 -2
  72. package/dist/extractors/manifest.d.ts.map +1 -1
  73. package/dist/extractors/manifest.js +18 -0
  74. package/dist/extractors/markdown.d.ts +20 -2
  75. package/dist/extractors/markdown.d.ts.map +1 -1
  76. package/dist/extractors/markdown.js +38 -1
  77. package/dist/extractors/symbols-coordinator.d.ts +1 -1
  78. package/dist/extractors/symbols-coordinator.d.ts.map +1 -1
  79. package/dist/extractors/symbols-ts.d.ts.map +1 -1
  80. package/dist/extractors/symbols-ts.js +73 -1
  81. package/dist/operations/autopilot/activation.d.ts +4 -0
  82. package/dist/operations/autopilot/activation.d.ts.map +1 -0
  83. package/dist/operations/autopilot/activation.js +130 -0
  84. package/dist/operations/autopilot/candidate-helpers.d.ts +13 -0
  85. package/dist/operations/autopilot/candidate-helpers.d.ts.map +1 -0
  86. package/dist/operations/autopilot/candidate-helpers.js +55 -0
  87. package/dist/operations/autopilot/candidates.d.ts +4 -0
  88. package/dist/operations/autopilot/candidates.d.ts.map +1 -0
  89. package/dist/operations/autopilot/candidates.js +114 -0
  90. package/dist/operations/autopilot/discovery-evidence.d.ts +10 -0
  91. package/dist/operations/autopilot/discovery-evidence.d.ts.map +1 -0
  92. package/dist/operations/autopilot/discovery-evidence.js +158 -0
  93. package/dist/operations/autopilot/discovery.d.ts +4 -0
  94. package/dist/operations/autopilot/discovery.d.ts.map +1 -0
  95. package/dist/operations/autopilot/discovery.js +100 -0
  96. package/dist/operations/autopilot/generate.d.ts +8 -0
  97. package/dist/operations/autopilot/generate.d.ts.map +1 -0
  98. package/dist/operations/autopilot/generate.js +112 -0
  99. package/dist/operations/autopilot/guidance-actions.d.ts +3 -0
  100. package/dist/operations/autopilot/guidance-actions.d.ts.map +1 -0
  101. package/dist/operations/autopilot/guidance-actions.js +79 -0
  102. package/dist/operations/autopilot/guidance.d.ts +14 -0
  103. package/dist/operations/autopilot/guidance.d.ts.map +1 -0
  104. package/dist/operations/autopilot/guidance.js +124 -0
  105. package/dist/operations/autopilot/markdown-candidates.d.ts +7 -0
  106. package/dist/operations/autopilot/markdown-candidates.d.ts.map +1 -0
  107. package/dist/operations/autopilot/markdown-candidates.js +134 -0
  108. package/dist/operations/autopilot/presentation.d.ts +13 -0
  109. package/dist/operations/autopilot/presentation.d.ts.map +1 -0
  110. package/dist/operations/autopilot/presentation.js +91 -0
  111. package/dist/operations/autopilot/requirement-claims.d.ts +3 -0
  112. package/dist/operations/autopilot/requirement-claims.d.ts.map +1 -0
  113. package/dist/operations/autopilot/requirement-claims.js +48 -0
  114. package/dist/operations/autopilot/types.d.ts +117 -0
  115. package/dist/operations/autopilot/types.d.ts.map +1 -0
  116. package/dist/operations/autopilot/types.js +8 -0
  117. package/dist/operations/modeling/model-requirement.d.ts +10 -0
  118. package/dist/operations/modeling/model-requirement.d.ts.map +1 -0
  119. package/dist/operations/modeling/model-requirement.js +108 -0
  120. package/dist/operations/modeling/predicate-applyplan.d.ts +6 -0
  121. package/dist/operations/modeling/predicate-applyplan.d.ts.map +1 -0
  122. package/dist/operations/modeling/predicate-applyplan.js +104 -0
  123. package/dist/operations/modeling/predicate-catalog-1.d.ts +3 -0
  124. package/dist/operations/modeling/predicate-catalog-1.d.ts.map +1 -0
  125. package/dist/operations/modeling/predicate-catalog-1.js +200 -0
  126. package/dist/operations/modeling/predicate-catalog-2.d.ts +3 -0
  127. package/dist/operations/modeling/predicate-catalog-2.d.ts.map +1 -0
  128. package/dist/operations/modeling/predicate-catalog-2.js +197 -0
  129. package/dist/operations/modeling/predicate-catalog-3.d.ts +3 -0
  130. package/dist/operations/modeling/predicate-catalog-3.d.ts.map +1 -0
  131. package/dist/operations/modeling/predicate-catalog-3.js +193 -0
  132. package/dist/operations/modeling/predicate-catalog-4.d.ts +3 -0
  133. package/dist/operations/modeling/predicate-catalog-4.d.ts.map +1 -0
  134. package/dist/operations/modeling/predicate-catalog-4.js +149 -0
  135. package/dist/operations/modeling/predicate-catalog.d.ts +5 -0
  136. package/dist/operations/modeling/predicate-catalog.d.ts.map +1 -0
  137. package/dist/operations/modeling/predicate-catalog.js +29 -0
  138. package/dist/operations/modeling/predicate-inference-1.d.ts +16 -0
  139. package/dist/operations/modeling/predicate-inference-1.d.ts.map +1 -0
  140. package/dist/operations/modeling/predicate-inference-1.js +161 -0
  141. package/dist/operations/modeling/predicate-inference-2.d.ts +19 -0
  142. package/dist/operations/modeling/predicate-inference-2.d.ts.map +1 -0
  143. package/dist/operations/modeling/predicate-inference-2.js +169 -0
  144. package/dist/operations/modeling/predicate-inference-3.d.ts +15 -0
  145. package/dist/operations/modeling/predicate-inference-3.d.ts.map +1 -0
  146. package/dist/operations/modeling/predicate-inference-3.js +163 -0
  147. package/dist/operations/modeling/predicate-inference.d.ts +5 -0
  148. package/dist/operations/modeling/predicate-inference.d.ts.map +1 -0
  149. package/dist/operations/modeling/predicate-inference.js +148 -0
  150. package/dist/operations/modeling/predicate-loader.d.ts +10 -0
  151. package/dist/operations/modeling/predicate-loader.d.ts.map +1 -0
  152. package/dist/operations/modeling/predicate-loader.js +88 -0
  153. package/dist/operations/modeling/predicate-ranker.d.ts +3 -0
  154. package/dist/operations/modeling/predicate-ranker.d.ts.map +1 -0
  155. package/dist/operations/modeling/predicate-ranker.js +24 -0
  156. package/dist/operations/modeling/predicate-score-1.d.ts +3 -0
  157. package/dist/operations/modeling/predicate-score-1.d.ts.map +1 -0
  158. package/dist/operations/modeling/predicate-score-1.js +121 -0
  159. package/dist/operations/modeling/predicate-score-2.d.ts +3 -0
  160. package/dist/operations/modeling/predicate-score-2.d.ts.map +1 -0
  161. package/dist/operations/modeling/predicate-score-2.js +122 -0
  162. package/dist/operations/modeling/predicate-score-3.d.ts +3 -0
  163. package/dist/operations/modeling/predicate-score-3.d.ts.map +1 -0
  164. package/dist/operations/modeling/predicate-score-3.js +54 -0
  165. package/dist/operations/modeling/predicate-types.d.ts +61 -0
  166. package/dist/operations/modeling/predicate-types.d.ts.map +1 -0
  167. package/dist/operations/modeling/predicate-types.js +1 -0
  168. package/dist/operations/modeling/predicate-usage-hints-1.d.ts +3 -0
  169. package/dist/operations/modeling/predicate-usage-hints-1.d.ts.map +1 -0
  170. package/dist/operations/modeling/predicate-usage-hints-1.js +211 -0
  171. package/dist/operations/modeling/predicate-usage-hints-2.d.ts +3 -0
  172. package/dist/operations/modeling/predicate-usage-hints-2.d.ts.map +1 -0
  173. package/dist/operations/modeling/predicate-usage-hints-2.js +209 -0
  174. package/dist/operations/modeling/predicate-usage-hints-3.d.ts +3 -0
  175. package/dist/operations/modeling/predicate-usage-hints-3.d.ts.map +1 -0
  176. package/dist/operations/modeling/predicate-usage-hints-3.js +45 -0
  177. package/dist/operations/modeling/predicate-utils.d.ts +23 -0
  178. package/dist/operations/modeling/predicate-utils.d.ts.map +1 -0
  179. package/dist/operations/modeling/predicate-utils.js +187 -0
  180. package/dist/operations/modeling/requirement-applyplan.d.ts +4 -0
  181. package/dist/operations/modeling/requirement-applyplan.d.ts.map +1 -0
  182. package/dist/operations/modeling/requirement-applyplan.js +44 -0
  183. package/dist/operations/modeling/requirement-heuristics.d.ts +4 -0
  184. package/dist/operations/modeling/requirement-heuristics.d.ts.map +1 -0
  185. package/dist/operations/modeling/requirement-heuristics.js +114 -0
  186. package/dist/operations/modeling/requirement-modeler.d.ts +8 -0
  187. package/dist/operations/modeling/requirement-modeler.d.ts.map +1 -0
  188. package/dist/operations/modeling/requirement-modeler.js +70 -0
  189. package/dist/operations/modeling/requirement-types.d.ts +49 -0
  190. package/dist/operations/modeling/requirement-types.d.ts.map +1 -0
  191. package/dist/operations/modeling/requirement-types.js +1 -0
  192. package/dist/operations/modeling/requirement-utils.d.ts +10 -0
  193. package/dist/operations/modeling/requirement-utils.d.ts.map +1 -0
  194. package/dist/operations/modeling/requirement-utils.js +65 -0
  195. package/dist/operations/modeling/suggest-predicates.d.ts +6 -0
  196. package/dist/operations/modeling/suggest-predicates.d.ts.map +1 -0
  197. package/dist/operations/modeling/suggest-predicates.js +64 -0
  198. package/dist/operations/mutation/audit.d.ts +6 -0
  199. package/dist/operations/mutation/audit.d.ts.map +1 -0
  200. package/dist/operations/mutation/audit.js +22 -0
  201. package/dist/operations/mutation/contradictions.d.ts +10 -0
  202. package/dist/operations/mutation/contradictions.d.ts.map +1 -0
  203. package/dist/operations/mutation/contradictions.js +40 -0
  204. package/dist/operations/mutation/delete.d.ts +5 -0
  205. package/dist/operations/mutation/delete.d.ts.map +1 -0
  206. package/dist/operations/mutation/delete.js +67 -0
  207. package/dist/operations/mutation/relationships.d.ts +17 -0
  208. package/dist/operations/mutation/relationships.d.ts.map +1 -0
  209. package/dist/operations/mutation/relationships.js +134 -0
  210. package/dist/operations/mutation/save.d.ts +4 -0
  211. package/dist/operations/mutation/save.d.ts.map +1 -0
  212. package/dist/operations/mutation/save.js +14 -0
  213. package/dist/operations/mutation/serialization.d.ts +5 -0
  214. package/dist/operations/mutation/serialization.d.ts.map +1 -0
  215. package/dist/operations/mutation/serialization.js +85 -0
  216. package/dist/operations/mutation/strict-fact.d.ts +4 -0
  217. package/dist/operations/mutation/strict-fact.d.ts.map +1 -0
  218. package/dist/operations/mutation/strict-fact.js +67 -0
  219. package/dist/operations/mutation/symbol-granularity.d.ts +4 -0
  220. package/dist/operations/mutation/symbol-granularity.d.ts.map +1 -0
  221. package/dist/operations/mutation/symbol-granularity.js +109 -0
  222. package/dist/operations/mutation/symbol-refresh.d.ts +10 -0
  223. package/dist/operations/mutation/symbol-refresh.d.ts.map +1 -0
  224. package/dist/operations/mutation/symbol-refresh.js +105 -0
  225. package/dist/operations/mutation/types.d.ts +43 -0
  226. package/dist/operations/mutation/types.d.ts.map +1 -0
  227. package/dist/operations/mutation/types.js +1 -0
  228. package/dist/operations/mutation/upsert.d.ts +5 -0
  229. package/dist/operations/mutation/upsert.d.ts.map +1 -0
  230. package/dist/operations/mutation/upsert.js +103 -0
  231. package/dist/operations/mutation/validate-upsert.d.ts +5 -0
  232. package/dist/operations/mutation/validate-upsert.d.ts.map +1 -0
  233. package/dist/operations/mutation/validate-upsert.js +50 -0
  234. package/dist/operations/mutation/validation.d.ts +5 -0
  235. package/dist/operations/mutation/validation.d.ts.map +1 -0
  236. package/dist/operations/mutation/validation.js +107 -0
  237. package/dist/operations/mutation/warnings.d.ts +4 -0
  238. package/dist/operations/mutation/warnings.d.ts.map +1 -0
  239. package/dist/operations/mutation/warnings.js +17 -0
  240. package/dist/operations/semantic-advisor/analysis-receipt.d.ts +5 -0
  241. package/dist/operations/semantic-advisor/analysis-receipt.d.ts.map +1 -0
  242. package/dist/operations/semantic-advisor/analysis-receipt.js +112 -0
  243. package/dist/operations/semantic-advisor/analyze-prose.d.ts +5 -0
  244. package/dist/operations/semantic-advisor/analyze-prose.d.ts.map +1 -0
  245. package/dist/operations/semantic-advisor/analyze-prose.js +271 -0
  246. package/dist/operations/semantic-advisor/clauses.d.ts +10 -0
  247. package/dist/operations/semantic-advisor/clauses.d.ts.map +1 -0
  248. package/dist/operations/semantic-advisor/clauses.js +43 -0
  249. package/dist/operations/semantic-advisor/observation-plan.d.ts +3 -0
  250. package/dist/operations/semantic-advisor/observation-plan.d.ts.map +1 -0
  251. package/dist/operations/semantic-advisor/observation-plan.js +19 -0
  252. package/dist/operations/semantic-advisor/predicate-rule.d.ts +14 -0
  253. package/dist/operations/semantic-advisor/predicate-rule.d.ts.map +1 -0
  254. package/dist/operations/semantic-advisor/predicate-rule.js +22 -0
  255. package/dist/operations/semantic-advisor/predicate-rules-core.d.ts +79 -0
  256. package/dist/operations/semantic-advisor/predicate-rules-core.d.ts.map +1 -0
  257. package/dist/operations/semantic-advisor/predicate-rules-core.js +140 -0
  258. package/dist/operations/semantic-advisor/predicate-rules-policy.d.ts +83 -0
  259. package/dist/operations/semantic-advisor/predicate-rules-policy.d.ts.map +1 -0
  260. package/dist/operations/semantic-advisor/predicate-rules-policy.js +150 -0
  261. package/dist/operations/semantic-advisor/predicate-rules-product-tail.d.ts +48 -0
  262. package/dist/operations/semantic-advisor/predicate-rules-product-tail.d.ts.map +1 -0
  263. package/dist/operations/semantic-advisor/predicate-rules-product-tail.js +102 -0
  264. package/dist/operations/semantic-advisor/predicate-rules-product.d.ts +71 -0
  265. package/dist/operations/semantic-advisor/predicate-rules-product.d.ts.map +1 -0
  266. package/dist/operations/semantic-advisor/predicate-rules-product.js +133 -0
  267. package/dist/operations/semantic-advisor/prose-coverage-evaluator.d.ts +29 -0
  268. package/dist/operations/semantic-advisor/prose-coverage-evaluator.d.ts.map +1 -0
  269. package/dist/operations/semantic-advisor/prose-coverage-evaluator.js +54 -0
  270. package/dist/operations/semantic-advisor/shared.d.ts +18 -0
  271. package/dist/operations/semantic-advisor/shared.d.ts.map +1 -0
  272. package/dist/operations/semantic-advisor/shared.js +209 -0
  273. package/dist/operations/semantic-advisor/strict-count-rules.d.ts +4 -0
  274. package/dist/operations/semantic-advisor/strict-count-rules.d.ts.map +1 -0
  275. package/dist/operations/semantic-advisor/strict-count-rules.js +62 -0
  276. package/dist/operations/semantic-advisor/strict-rules.d.ts +4 -0
  277. package/dist/operations/semantic-advisor/strict-rules.d.ts.map +1 -0
  278. package/dist/operations/semantic-advisor/strict-rules.js +106 -0
  279. package/dist/operations/semantic-advisor/types.d.ts +135 -0
  280. package/dist/operations/semantic-advisor/types.d.ts.map +1 -0
  281. package/dist/operations/semantic-advisor/types.js +1 -0
  282. package/dist/prolog/codec.d.ts.map +1 -1
  283. package/dist/prolog/codec.js +9 -2
  284. package/dist/prolog.d.ts +5 -0
  285. package/dist/prolog.d.ts.map +1 -1
  286. package/dist/prolog.js +82 -30
  287. package/dist/public/impact/analyzer.d.ts +3 -0
  288. package/dist/public/impact/analyzer.d.ts.map +1 -0
  289. package/dist/public/impact/analyzer.js +54 -0
  290. package/dist/public/impact/coverage-depth-quality.d.ts +4 -0
  291. package/dist/public/impact/coverage-depth-quality.d.ts.map +1 -0
  292. package/dist/public/impact/coverage-depth-quality.js +179 -0
  293. package/dist/public/impact/diagnostics.d.ts +7 -0
  294. package/dist/public/impact/diagnostics.d.ts.map +1 -0
  295. package/dist/public/impact/diagnostics.js +126 -0
  296. package/dist/public/impact/diff-meaning.d.ts +2 -0
  297. package/dist/public/impact/diff-meaning.d.ts.map +1 -0
  298. package/dist/public/impact/diff-meaning.js +101 -0
  299. package/dist/public/impact/full-kb-quality.d.ts +10 -0
  300. package/dist/public/impact/full-kb-quality.d.ts.map +1 -0
  301. package/dist/public/impact/full-kb-quality.js +191 -0
  302. package/dist/public/impact/manifest.d.ts +5 -0
  303. package/dist/public/impact/manifest.d.ts.map +1 -0
  304. package/dist/public/impact/manifest.js +43 -0
  305. package/dist/public/impact/requirement-quality.d.ts +4 -0
  306. package/dist/public/impact/requirement-quality.d.ts.map +1 -0
  307. package/dist/public/impact/requirement-quality.js +199 -0
  308. package/dist/public/impact/source-changes.d.ts +5 -0
  309. package/dist/public/impact/source-changes.d.ts.map +1 -0
  310. package/dist/public/impact/source-changes.js +129 -0
  311. package/dist/public/impact/summaries.d.ts +6 -0
  312. package/dist/public/impact/summaries.d.ts.map +1 -0
  313. package/dist/public/impact/summaries.js +68 -0
  314. package/dist/public/impact/symbol-quality-model.d.ts +21 -0
  315. package/dist/public/impact/symbol-quality-model.d.ts.map +1 -0
  316. package/dist/public/impact/symbol-quality-model.js +116 -0
  317. package/dist/public/impact/symbol-quality.d.ts +4 -0
  318. package/dist/public/impact/symbol-quality.d.ts.map +1 -0
  319. package/dist/public/impact/symbol-quality.js +159 -0
  320. package/dist/public/impact/types.d.ts +79 -0
  321. package/dist/public/impact/types.d.ts.map +1 -0
  322. package/dist/public/impact/types.js +1 -0
  323. package/dist/public/impact-diagnostics.d.ts +7 -0
  324. package/dist/public/impact-diagnostics.d.ts.map +1 -0
  325. package/dist/public/impact-diagnostics.js +5 -0
  326. package/dist/public/operations/catalog.d.ts +907 -0
  327. package/dist/public/operations/catalog.d.ts.map +1 -0
  328. package/dist/public/operations/catalog.js +42 -0
  329. package/dist/public/operations/check-executor.d.ts +21 -0
  330. package/dist/public/operations/check-executor.d.ts.map +1 -0
  331. package/dist/public/operations/check-executor.js +111 -0
  332. package/dist/public/operations/check-format-shared.d.ts +36 -0
  333. package/dist/public/operations/check-format-shared.d.ts.map +1 -0
  334. package/dist/public/operations/check-format-shared.js +107 -0
  335. package/dist/public/operations/check-helpers.d.ts +10 -0
  336. package/dist/public/operations/check-helpers.d.ts.map +1 -0
  337. package/dist/public/operations/check-helpers.js +107 -0
  338. package/dist/public/operations/discovery-entities.d.ts +14 -0
  339. package/dist/public/operations/discovery-entities.d.ts.map +1 -0
  340. package/dist/public/operations/discovery-entities.js +91 -0
  341. package/dist/public/operations/discovery-executors.d.ts +39 -0
  342. package/dist/public/operations/discovery-executors.d.ts.map +1 -0
  343. package/dist/public/operations/discovery-executors.js +101 -0
  344. package/dist/public/operations/index.d.ts +20 -0
  345. package/dist/public/operations/index.d.ts.map +1 -0
  346. package/dist/public/operations/index.js +18 -0
  347. package/dist/public/operations/node-ports.d.ts +15 -0
  348. package/dist/public/operations/node-ports.d.ts.map +1 -0
  349. package/dist/public/operations/node-ports.js +57 -0
  350. package/dist/public/operations/prolog-json.d.ts +5 -0
  351. package/dist/public/operations/prolog-json.d.ts.map +1 -0
  352. package/dist/public/operations/prolog-json.js +44 -0
  353. package/dist/public/operations/runtime-types.d.ts +69 -0
  354. package/dist/public/operations/runtime-types.d.ts.map +1 -0
  355. package/dist/public/operations/runtime-types.js +17 -0
  356. package/dist/public/operations/specs/autopilot.d.ts +82 -0
  357. package/dist/public/operations/specs/autopilot.d.ts.map +1 -0
  358. package/dist/public/operations/specs/autopilot.js +72 -0
  359. package/dist/public/operations/specs/check.d.ts +51 -0
  360. package/dist/public/operations/specs/check.d.ts.map +1 -0
  361. package/dist/public/operations/specs/check.js +62 -0
  362. package/dist/public/operations/specs/discovery.d.ts +94 -0
  363. package/dist/public/operations/specs/discovery.d.ts.map +1 -0
  364. package/dist/public/operations/specs/discovery.js +98 -0
  365. package/dist/public/operations/specs/modeling.d.ts +126 -0
  366. package/dist/public/operations/specs/modeling.d.ts.map +1 -0
  367. package/dist/public/operations/specs/modeling.js +117 -0
  368. package/dist/public/operations/specs/mutation-schemas.d.ts +233 -0
  369. package/dist/public/operations/specs/mutation-schemas.d.ts.map +1 -0
  370. package/dist/public/operations/specs/mutation-schemas.js +267 -0
  371. package/dist/public/operations/specs/mutation.d.ts +56 -0
  372. package/dist/public/operations/specs/mutation.d.ts.map +1 -0
  373. package/dist/public/operations/specs/mutation.js +44 -0
  374. package/dist/public/operations/specs/reporting.d.ts +185 -0
  375. package/dist/public/operations/specs/reporting.d.ts.map +1 -0
  376. package/dist/public/operations/specs/reporting.js +158 -0
  377. package/dist/public/operations/specs/semantic.d.ts +53 -0
  378. package/dist/public/operations/specs/semantic.d.ts.map +1 -0
  379. package/dist/public/operations/specs/semantic.js +105 -0
  380. package/dist/public/operations/specs/skills.d.ts +70 -0
  381. package/dist/public/operations/specs/skills.d.ts.map +1 -0
  382. package/dist/public/operations/specs/skills.js +107 -0
  383. package/dist/public/operations/specs/sparql.d.ts +39 -0
  384. package/dist/public/operations/specs/sparql.d.ts.map +1 -0
  385. package/dist/public/operations/specs/sparql.js +121 -0
  386. package/dist/public/operations/specs/upsert.d.ts +256 -0
  387. package/dist/public/operations/specs/upsert.d.ts.map +1 -0
  388. package/dist/public/operations/specs/upsert.js +27 -0
  389. package/dist/public/operations/types.d.ts +24 -0
  390. package/dist/public/operations/types.d.ts.map +1 -0
  391. package/dist/public/operations/types.js +1 -0
  392. package/dist/public/schemas/entity.d.ts.map +1 -1
  393. package/dist/public/schemas/entity.js +48 -0
  394. package/dist/public/skill-system/errors.d.ts +19 -0
  395. package/dist/public/skill-system/errors.d.ts.map +1 -0
  396. package/dist/public/skill-system/errors.js +36 -0
  397. package/dist/public/skill-system/loader.d.ts +9 -0
  398. package/dist/public/skill-system/loader.d.ts.map +1 -0
  399. package/dist/public/skill-system/loader.js +76 -0
  400. package/dist/public/skill-system/paths.d.ts +6 -0
  401. package/dist/public/skill-system/paths.d.ts.map +1 -0
  402. package/dist/public/skill-system/paths.js +25 -0
  403. package/dist/public/skill-system/types.d.ts +15 -0
  404. package/dist/public/skill-system/types.d.ts.map +1 -0
  405. package/dist/public/skill-system/types.js +1 -0
  406. package/dist/public/skill-system/validation.d.ts +10 -0
  407. package/dist/public/skill-system/validation.d.ts.map +1 -0
  408. package/dist/public/skill-system/validation.js +119 -0
  409. package/dist/public/skills/init-kibi/SKILL.md +62 -0
  410. package/dist/public/skills/kibi-freshness/SKILL.md +44 -0
  411. package/dist/public/skills/kibi-traceability/SKILL.md +54 -0
  412. package/dist/public/skills/kibi-usage/SKILL.md +123 -95
  413. package/dist/public/skills/kibi-usage/resources/fact-lanes.md +107 -5
  414. package/dist/public/skills/kibi-usage/resources/operation-access.md +44 -0
  415. package/dist/public/skills/kibi-usage/resources/relationship-directions.md +30 -0
  416. package/dist/public/skills/kibi-usage/resources/workflows.md +40 -3
  417. package/dist/public/skills.d.ts +4 -41
  418. package/dist/public/skills.d.ts.map +1 -1
  419. package/dist/public/skills.js +3 -270
  420. package/dist/public/symbol-granularity.d.ts +1 -1
  421. package/dist/public/symbol-granularity.d.ts.map +1 -1
  422. package/dist/public/symbol-granularity.js +2 -0
  423. package/dist/runtime/cli-runtime.d.ts +3 -0
  424. package/dist/runtime/cli-runtime.d.ts.map +1 -0
  425. package/dist/runtime/cli-runtime.js +96 -0
  426. package/dist/schemas/entity.schema.json +23 -0
  427. package/dist/traceability/evidence-model.d.ts +1 -1
  428. package/dist/traceability/evidence-model.d.ts.map +1 -1
  429. package/dist/traceability/evidence-model.js +1 -1
  430. package/dist/traceability/staged-diagnostics.d.ts +6 -6
  431. package/dist/traceability/staged-diagnostics.d.ts.map +1 -1
  432. package/dist/traceability/staged-diagnostics.js +12 -6
  433. package/dist/traceability/staged-impact-contract.js +1 -1
  434. package/dist/traceability/staged-symbols-manifest.d.ts +1 -0
  435. package/dist/traceability/staged-symbols-manifest.d.ts.map +1 -1
  436. package/dist/traceability/staged-symbols-manifest.js +60 -27
  437. package/dist/traceability/symbol-extract.d.ts.map +1 -1
  438. package/dist/traceability/symbol-extract.js +58 -1
  439. package/dist/traceability/temp-kb.d.ts.map +1 -1
  440. package/dist/traceability/temp-kb.js +34 -1
  441. package/dist/types/entities.d.ts +8 -1
  442. package/dist/types/entities.d.ts.map +1 -1
  443. package/dist/utils/prolog-query-plan-safety.d.ts +8 -0
  444. package/dist/utils/prolog-query-plan-safety.d.ts.map +1 -0
  445. package/dist/utils/prolog-query-plan-safety.js +47 -0
  446. package/dist/utils/rule-registry.d.ts.map +1 -1
  447. package/dist/utils/rule-registry.js +18 -0
  448. package/package.json +60 -2
  449. package/schema/entities.pl +4 -0
  450. package/src/public/impact/analyzer.ts +90 -0
  451. package/src/public/impact/coverage-depth-quality.ts +268 -0
  452. package/src/public/impact/diagnostics.ts +199 -0
  453. package/src/public/impact/diff-meaning.ts +121 -0
  454. package/src/public/impact/full-kb-quality.ts +230 -0
  455. package/src/public/impact/manifest.ts +57 -0
  456. package/src/public/impact/requirement-quality.ts +262 -0
  457. package/src/public/impact/source-changes.ts +180 -0
  458. package/src/public/impact/summaries.ts +100 -0
  459. package/src/public/impact/symbol-quality-model.ts +171 -0
  460. package/src/public/impact/symbol-quality.ts +207 -0
  461. package/src/public/impact/types.ts +99 -0
  462. package/src/public/impact-diagnostics.ts +22 -0
  463. package/src/public/operations/catalog.ts +60 -0
  464. package/src/public/operations/check-executor.ts +185 -0
  465. package/src/public/operations/check-format-shared.ts +178 -0
  466. package/src/public/operations/check-helpers.ts +141 -0
  467. package/src/public/operations/discovery-entities.ts +122 -0
  468. package/src/public/operations/discovery-executors.ts +176 -0
  469. package/src/public/operations/index.ts +19 -0
  470. package/src/public/operations/node-ports.ts +78 -0
  471. package/src/public/operations/prolog-json.ts +71 -0
  472. package/src/public/operations/runtime-types.ts +106 -0
  473. package/src/public/operations/specs/autopilot.ts +98 -0
  474. package/src/public/operations/specs/check.ts +72 -0
  475. package/src/public/operations/specs/discovery.ts +126 -0
  476. package/src/public/operations/specs/modeling.ts +154 -0
  477. package/src/public/operations/specs/mutation-schemas.ts +296 -0
  478. package/src/public/operations/specs/mutation.ts +58 -0
  479. package/src/public/operations/specs/reporting.ts +249 -0
  480. package/src/public/operations/specs/semantic.ts +135 -0
  481. package/src/public/operations/specs/skills.ts +142 -0
  482. package/src/public/operations/specs/sparql.ts +149 -0
  483. package/src/public/operations/specs/upsert.ts +40 -0
  484. package/src/public/operations/types.ts +57 -0
  485. package/src/public/schemas/entity.ts +50 -0
  486. package/src/public/skill-system/errors.ts +38 -0
  487. package/src/public/skill-system/loader.ts +108 -0
  488. package/src/public/skill-system/paths.ts +27 -0
  489. package/src/public/skill-system/types.ts +14 -0
  490. package/src/public/skill-system/validation.ts +175 -0
  491. package/src/public/skills/init-kibi/SKILL.md +62 -0
  492. package/src/public/skills/kibi-freshness/SKILL.md +44 -0
  493. package/src/public/skills/kibi-traceability/SKILL.md +54 -0
  494. package/src/public/skills/kibi-usage/SKILL.md +123 -95
  495. package/src/public/skills/kibi-usage/resources/fact-lanes.md +107 -5
  496. package/src/public/skills/kibi-usage/resources/operation-access.md +44 -0
  497. package/src/public/skills/kibi-usage/resources/relationship-directions.md +30 -0
  498. package/src/public/skills/kibi-usage/resources/workflows.md +40 -3
  499. package/src/public/skills.ts +18 -427
  500. package/src/public/symbol-granularity.ts +4 -0
  501. package/src/schemas/entity.schema.json +23 -0
@@ -0,0 +1 @@
1
+ {"version":3,"file":"predicate-score-1.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-score-1.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,GACX,MAAM,GAAG,IAAI,CA6Lf"}
@@ -0,0 +1,121 @@
1
+ // implements REQ-mcp-suggest-predicates
2
+ export function scoreExactPredicates1(schema, text) {
3
+ if (schema.predicate_name === "guard") {
4
+ if (/^.+?\s+(?:must|shall|should)?\s*(?:stay|remain)?\s*disabled\s+until\s+.+?\.?$/i.test(text)) {
5
+ return 0.98;
6
+ }
7
+ }
8
+ if (schema.predicate_name === "conditional_behavior") {
9
+ if (/^if\s+(?:(?:a|an|the)\s+)?[a-z][a-z_-]*\s+.+?,\s*(?:it|they|the\s+[a-z][a-z\s_-]*?)\s+.+?\.?$/i.test(text)) {
10
+ return 0.98;
11
+ }
12
+ if (/^when\s+.+?,\s*(?:the\s+)?.+?\s+(?:must|shall|should)\s+.+?\.?$/i.test(text)) {
13
+ return 0.36;
14
+ }
15
+ return 0;
16
+ }
17
+ if (schema.predicate_name === "exception_rule") {
18
+ if (!/^(?:the\s+)?[a-z][a-z\s_-]*?\s+(?:must|shall|should)\s+.+?\s+unless\s+(?:the\s+)?.+?\.?$/i.test(text)) {
19
+ return 0;
20
+ }
21
+ return 0.98;
22
+ }
23
+ if (schema.predicate_name === "mutual_exclusion") {
24
+ if (!/^.+?\s+and\s+.+?\s+(?:must|shall|should)\s+be\s+mutually\s+exclusive\.?$/i.test(text)) {
25
+ return 0;
26
+ }
27
+ return 0.98;
28
+ }
29
+ if (schema.predicate_name === "dependency_rule") {
30
+ if (!/^.+?\s+requires\s+.+?\s+before\s+.+?\.?$/i.test(text)) {
31
+ return 0;
32
+ }
33
+ return 0.98;
34
+ }
35
+ if (schema.predicate_name === "ownership_rule") {
36
+ if (!/^.+?\s+(?:is|are)\s+owned\s+by\s+(?:the\s+)?.+?\.?$/i.test(text)) {
37
+ return 0;
38
+ }
39
+ return 0.98;
40
+ }
41
+ if (schema.predicate_name === "retry_policy") {
42
+ if (!/^.+?\s+(?:must|shall|should)\s+retry\s+up\s+to\s+\d+\s+(?:times|attempts?)\.?$/i.test(text)) {
43
+ return 0;
44
+ }
45
+ return 0.98;
46
+ }
47
+ if (schema.predicate_name === "escalation_rule") {
48
+ if (!/^.+?\s+(?:must|shall|should)\s+escalate\s+to\s+.+?\s+after\s+\d+\s+[a-z]+\.?$/i.test(text)) {
49
+ return 0;
50
+ }
51
+ return 0.98;
52
+ }
53
+ if (schema.predicate_name === "availability_sla") {
54
+ if (!/^.+?\s+availability\s+(?:must|shall|should)\s+be\s+at\s+least\s+\d+(?:\.\d+)?\s+(?:percent|%)\s+[a-z]+\.?$/i.test(text)) {
55
+ return 0;
56
+ }
57
+ return 0.98;
58
+ }
59
+ if (schema.predicate_name === "notification_route") {
60
+ if (!/^.+?\s+(?:must|shall|should)\s+notify\s+.+?\s+by\s+[a-z]+\.?$/i.test(text)) {
61
+ return 0;
62
+ }
63
+ return 0.98;
64
+ }
65
+ if (schema.predicate_name === "idempotency_rule") {
66
+ if (!/^.+?\s+(?:must|shall|should)\s+be\s+idempotent\s+by\s+.+?\.?$/i.test(text) &&
67
+ !/^.+?\s+(?:must|shall|should)\s+be\s+deduplicated\s+to\s+prevent\s+redundant\s+requests\s+during\s+.+?\.?$/i.test(text)) {
68
+ return 0;
69
+ }
70
+ return 0.98;
71
+ }
72
+ if (schema.predicate_name === "data_residency_rule") {
73
+ if (!/^.+?\s+(?:must|shall|should)\s+be\s+(?:stored|processed|kept)\s+in\s+(?:the\s+)?.+?\b(?:region|jurisdiction|country|zone|area)\.?$/i.test(text)) {
74
+ return 0;
75
+ }
76
+ return 0.98;
77
+ }
78
+ if (schema.predicate_name === "audit_event_rule") {
79
+ if (!/^.+?\s+(?:must|shall|should)\s+be\s+(?:recorded|logged|audited)\s+in\s+(?:the\s+)?audit\s+(?:log|trail)\.?$/i.test(text)) {
80
+ return 0;
81
+ }
82
+ return 0.98;
83
+ }
84
+ if (schema.predicate_name === "consent_rule") {
85
+ if (!/^.+?\s+(?:must|shall|should)\s+require\s+.+?consent\s+before\s+.+?\.?$/i.test(text)) {
86
+ return 0;
87
+ }
88
+ return 0.98;
89
+ }
90
+ if (schema.predicate_name === "lifecycle_rule") {
91
+ if (!/^.+?\s+(?:must|shall|should)\s+be\s+(?:archived|deleted|expired)\s+after\s+\d+\s+[a-z]+\.?$/i.test(text)) {
92
+ return 0;
93
+ }
94
+ return 0.98;
95
+ }
96
+ if (schema.predicate_name === "conflict_resolution_rule") {
97
+ if (!/^when\s+.+?\s+conflicts?,\s+(?:the\s+)?.+?\.?$/i.test(text)) {
98
+ return 0;
99
+ }
100
+ return 0.98;
101
+ }
102
+ if (schema.predicate_name === "fallback_rule") {
103
+ if (!/^if\s+.+?,\s+.+?\s+(?:must|shall|should)\s+fall\s+back\s+to\s+.+?\.?$/i.test(text)) {
104
+ return 0;
105
+ }
106
+ return 0.98;
107
+ }
108
+ if (schema.predicate_name === "batch_operation_rule") {
109
+ if (!/^.+?\s+(?:must|shall|should)\s+process\s+.+?\s+in\s+batches\s+of\s+\d+\.?$/i.test(text)) {
110
+ return 0;
111
+ }
112
+ return 0.98;
113
+ }
114
+ if (schema.predicate_name === "consistency_rule") {
115
+ if (!/^.+?\s+(?:must|shall|should)\s+reference\s+an?\s+existing\s+.+?\.?$/i.test(text)) {
116
+ return 0;
117
+ }
118
+ return 0.98;
119
+ }
120
+ return null;
121
+ }
@@ -0,0 +1,3 @@
1
+ import type { PredicateSchemaCandidate } from "./predicate-types.js";
2
+ export declare function scoreExactPredicates2(schema: PredicateSchemaCandidate, text: string): number | null;
3
+ //# sourceMappingURL=predicate-score-2.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"predicate-score-2.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-score-2.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,GACX,MAAM,GAAG,IAAI,CAgMf"}
@@ -0,0 +1,122 @@
1
+ // implements REQ-mcp-suggest-predicates
2
+ export function scoreExactPredicates2(schema, text) {
3
+ if (schema.predicate_name === "build_constraint") {
4
+ if (!/^.+?\s+(?:must|shall|should)\s+be\s+deterministic\s+at\s+build\s+time\.?$/i.test(text)) {
5
+ return 0;
6
+ }
7
+ return 0.98;
8
+ }
9
+ if (schema.predicate_name === "environment_safety_rule") {
10
+ if (!/^.+?\s+(?:must|shall|should)\s+be\s+(?:forbidden|read-only|allowed)\s+in\s+(?:production|staging|development)\.?$/i.test(text)) {
11
+ return 0;
12
+ }
13
+ return 0.98;
14
+ }
15
+ if (schema.predicate_name === "schema_invariant_rule") {
16
+ if (!/^.+?\s+(?:must|shall|should)\s+be\s+immutable\s+after\s+.+?\.?$/i.test(text)) {
17
+ return 0;
18
+ }
19
+ return 0.98;
20
+ }
21
+ if (schema.predicate_name === "coding_standard_rule") {
22
+ if (!/^.+?\s+(?:must|shall|should)\s+(?:use|avoid)\s+.+?\.?$/i.test(text)) {
23
+ return 0;
24
+ }
25
+ if (!/\b(?:api|apis|code|component|computed|framework|hook|pattern|signal|schema|type)\b/i.test(text)) {
26
+ return 0;
27
+ }
28
+ return 0.98;
29
+ }
30
+ if (schema.predicate_name === "migration_boundary_rule") {
31
+ if (!/^.+?\s+may\s+only\s+be\s+read\s+as\s+migration\s+input(?:\s+by\s+.+?)?\.?$/i.test(text)) {
32
+ return 0;
33
+ }
34
+ return 0.98;
35
+ }
36
+ if (schema.predicate_name === "absence_requirement") {
37
+ if (!/^.+?\s+(?:must|shall|should)\s+be\s+(?:absent|removed)\.?$/i.test(text) &&
38
+ !/^no\s+.+?\.?$/i.test(text)) {
39
+ return 0;
40
+ }
41
+ return 0.98;
42
+ }
43
+ if (schema.predicate_name === "offline_behavior_rule") {
44
+ if (!/^.+?\s+(?:must|shall|should)\s+be\s+(?:non-blocking|resilient)\s+during\s+offline\s+conditions\.?$/i.test(text)) {
45
+ return 0;
46
+ }
47
+ return 0.98;
48
+ }
49
+ if (schema.predicate_name === "release_gate_rule") {
50
+ if (!/^.+?\s+(?:must|shall|should)\s+pass\s+.+?\s+before\s+.+?\.?$/i.test(text)) {
51
+ return 0;
52
+ }
53
+ if (!/\b(?:app store|build|deployment|distribution|release|testflight)\b/i.test(text)) {
54
+ return 0;
55
+ }
56
+ return 0.98;
57
+ }
58
+ if (schema.predicate_name === "platform_consistency_rule") {
59
+ if (!/^.+?\s+(?:must|shall|should)\s+synchronize\s+across\s+.+?\.?$/i.test(text)) {
60
+ return 0;
61
+ }
62
+ return 0.98;
63
+ }
64
+ if (schema.predicate_name === "preservation_rule") {
65
+ if (!/^.+?\s+(?:must|shall|should)\s+preserve\s+.+?\s+when\s+.+?\.?$/i.test(text)) {
66
+ return 0;
67
+ }
68
+ return 0.98;
69
+ }
70
+ if (schema.predicate_name === "abstraction_boundary_rule") {
71
+ if (!/^.+?\s+(?:must|shall|should)\s+be\s+persisted\s+as\s+.+?\.?$/i.test(text)) {
72
+ return 0;
73
+ }
74
+ if (!/\b(?:neutral|contract|renderer|runtime|vendor)\b/i.test(text)) {
75
+ return 0;
76
+ }
77
+ return 0.98;
78
+ }
79
+ if (schema.predicate_name === "security_configuration_rule") {
80
+ if (!/^.+?\s+(?:must|shall|should)\s+have\s+explicit\s+[A-Za-z0-9_.-]+\s+[A-Za-z0-9_.-]+\.?$/i.test(text)) {
81
+ return 0;
82
+ }
83
+ if (!/\b(?:database|deployment|function|rpc|search_path|security|trigger)\b/i.test(text)) {
84
+ return 0;
85
+ }
86
+ return 0.98;
87
+ }
88
+ if (schema.predicate_name === "ordered_strategy_rule") {
89
+ if (!/^.+?\s+(?:must|shall|should)\s+use\s+.+?\s+in\s+priority\s+order\s+.+?\.?$/i.test(text)) {
90
+ return 0;
91
+ }
92
+ return 0.98;
93
+ }
94
+ if (schema.predicate_name === "refresh_policy_rule") {
95
+ if (!/^.+?\s+(?:must|shall|should)\s+automatically\s+refresh\s+.+?\s+without\s+requiring\s+manual\s+page\s+reload\.?$/i.test(text)) {
96
+ return 0;
97
+ }
98
+ return 0.98;
99
+ }
100
+ if (schema.predicate_name === "scoped_authorization_rule") {
101
+ if (!/^.+?\s+(?:must|shall|should)\s+be\s+denied\s+.+?\.?$/i.test(text)) {
102
+ return 0;
103
+ }
104
+ if (!/\b(?:assigned|unassigned|owner|member|scoped)\b/i.test(text)) {
105
+ return 0;
106
+ }
107
+ return 0.98;
108
+ }
109
+ if (schema.predicate_name === "documentation_standard_rule") {
110
+ if (!/^.+?\s+(?:must|shall|should)\s+be\s+documented\s+in\s+.+?\.?$/i.test(text)) {
111
+ return 0;
112
+ }
113
+ return 0.98;
114
+ }
115
+ if (schema.predicate_name === "warmup_policy_rule") {
116
+ if (!/^(?:the\s+)?.+?\s+(?:must|shall|should)\s+warm\s+up\s+on\s+.+?\.?$/i.test(text)) {
117
+ return 0;
118
+ }
119
+ return 0.98;
120
+ }
121
+ return null;
122
+ }
@@ -0,0 +1,3 @@
1
+ import type { PredicateSchemaCandidate } from "./predicate-types.js";
2
+ export declare function scoreExactPredicates3(schema: PredicateSchemaCandidate, text: string): number | null;
3
+ //# sourceMappingURL=predicate-score-3.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"predicate-score-3.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-score-3.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,GACX,MAAM,GAAG,IAAI,CA8Ef"}
@@ -0,0 +1,54 @@
1
+ // implements REQ-mcp-suggest-predicates
2
+ export function scoreExactPredicates3(schema, text) {
3
+ if (schema.predicate_name === "visual_layout_rule") {
4
+ if (!/^.+?\s+(?:must|shall|should)\s+remain\s+visually\s+aligned\s+with\s+.+?\.?$/i.test(text)) {
5
+ return 0;
6
+ }
7
+ return 0.98;
8
+ }
9
+ if (schema.predicate_name === "enforcement_location_rule") {
10
+ if (!/^.+?\s+(?:must|shall|should)\s+be\s+enforced\s+at\s+.+?\.?$/i.test(text)) {
11
+ return 0;
12
+ }
13
+ return 0.98;
14
+ }
15
+ if (schema.predicate_name === "reconciliation_rule") {
16
+ if (!/^on\s+.+?,\s*.+?\s+(?:must|shall|should)\s+reconcile\s+.+?\s+and\s+clear\s+stale\s+.+?\.?$/i.test(text)) {
17
+ return 0;
18
+ }
19
+ return 0.98;
20
+ }
21
+ if (schema.predicate_name === "throttle_policy_rule") {
22
+ if (!/^.+?\s+(?:must|shall|should)\s+be\s+throttled\s+for\s+.+?\.?$/i.test(text)) {
23
+ return 0;
24
+ }
25
+ return 0.98;
26
+ }
27
+ if (schema.predicate_name === "temporal_order") {
28
+ if (/^(?:the\s+)?.+?\s+initializes\s+after\s+(?:the\s+)?.+?\s+is\s+ready\.?$/i.test(text)) {
29
+ return 0.98;
30
+ }
31
+ }
32
+ if (schema.predicate_name === "state_transition") {
33
+ if (!/^when\s+.+?,\s*(?:the\s+)?[a-z][a-z\s_-]*?\s+transitions?\s+from\s+[a-z][a-z0-9_-]*\s+to\s+[a-z][a-z0-9_-]*\.?$/i.test(text)) {
34
+ return 0;
35
+ }
36
+ return 0.98;
37
+ }
38
+ if (schema.predicate_name === "state_transition" ||
39
+ schema.predicate_name === "conditional_behavior") {
40
+ return 0.98;
41
+ }
42
+ if (schema.predicate_name === "commit_action") {
43
+ if (/\b(?:auto-save|autosave|commit|persist)\b/i.test(text)) {
44
+ return 0.98;
45
+ }
46
+ if (/\b(?:save|saves)\b/i.test(text) &&
47
+ !/\bwithout\s+save\b/i.test(text) &&
48
+ !/\bsaved\s+before\b/i.test(text)) {
49
+ return 0.98;
50
+ }
51
+ return 0;
52
+ }
53
+ return null;
54
+ }
@@ -0,0 +1,61 @@
1
+ export type PredicatePolarity = "assert" | "deny";
2
+ export interface PredicateUsageHints {
3
+ use_when: string[];
4
+ do_not_use_when: string[];
5
+ }
6
+ export interface PredicateSchemaCandidate {
7
+ id: string;
8
+ predicate_name: string;
9
+ title: string;
10
+ description: string;
11
+ argument_names: string[];
12
+ argument_types: string[];
13
+ keywords: string[];
14
+ examples: string[];
15
+ tags: string[];
16
+ usage_hints?: PredicateUsageHints;
17
+ }
18
+ export type SuggestPredicatesArgs = Readonly<Record<string, unknown>> & {
19
+ readonly text: string;
20
+ readonly requirementId?: string;
21
+ readonly source?: string;
22
+ readonly subjectHint?: string;
23
+ readonly maxCandidates?: number;
24
+ readonly minScore?: number;
25
+ readonly includeExistingSchemas?: boolean;
26
+ /** Existing requirement claim manifest. Relationship guidance merges this list. */
27
+ readonly existingLogicClaims?: readonly string[];
28
+ };
29
+ export interface PredicateSuggestion {
30
+ id: string;
31
+ predicate_name: string;
32
+ predicate_args: string[];
33
+ canonical_key: string;
34
+ polarity: PredicatePolarity;
35
+ score: number;
36
+ rationale: string;
37
+ schema: Omit<PredicateSchemaCandidate, "keywords"> & {
38
+ usage_hints: PredicateUsageHints;
39
+ };
40
+ }
41
+ export interface SuggestPredicatesResult {
42
+ content: Array<{
43
+ type: "text";
44
+ text: string;
45
+ }>;
46
+ structuredContent: {
47
+ text: string;
48
+ claimKey: string;
49
+ logicClaims: string[];
50
+ source: string | null;
51
+ requirementId: string | null;
52
+ subject: string;
53
+ candidates: PredicateSuggestion[];
54
+ recommendedAction: "apply_requires_predicate" | "record_ontology_gap";
55
+ applyPlan: Array<Record<string, unknown>>;
56
+ relationshipPlan: Record<string, unknown> | null;
57
+ warnings: string[];
58
+ };
59
+ applyPlan: Array<Record<string, unknown>>;
60
+ }
61
+ //# sourceMappingURL=predicate-types.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"predicate-types.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-types.ts"],"names":[],"mappings":"AACA,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,MAAM,CAAC;AAGlD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAGD,MAAM,WAAW,wBAAwB;IACvC,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,WAAW,CAAC,EAAE,mBAAmB,CAAC;CACnC;AAGD,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAC1C,mFAAmF;IACnF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAClD,CAAC;AAGF,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,IAAI,CAAC,wBAAwB,EAAE,UAAU,CAAC,GAAG;QACnD,WAAW,EAAE,mBAAmB,CAAC;KAClC,CAAC;CACH;AAGD,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,iBAAiB,EAAE;QACjB,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;QAC7B,OAAO,EAAE,MAAM,CAAC;QAChB,UAAU,EAAE,mBAAmB,EAAE,CAAC;QAClC,iBAAiB,EAAE,0BAA0B,GAAG,qBAAqB,CAAC;QACtE,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1C,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;QACjD,QAAQ,EAAE,MAAM,EAAE,CAAC;KACpB,CAAC;IACF,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC3C"}
@@ -0,0 +1 @@
1
+ export {};
@@ -0,0 +1,3 @@
1
+ import type { PredicateUsageHints } from "./predicate-types.js";
2
+ export declare const PREDICATE_USAGE_HINTS_1: Record<string, PredicateUsageHints>;
3
+ //# sourceMappingURL=predicate-usage-hints-1.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"predicate-usage-hints-1.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-usage-hints-1.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAGhE,eAAO,MAAM,uBAAuB,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAiNvE,CAAC"}
@@ -0,0 +1,211 @@
1
+ // implements REQ-mcp-suggest-predicates
2
+ export const PREDICATE_USAGE_HINTS_1 = {
3
+ state: {
4
+ use_when: [
5
+ "Use for one subject being in, entering, or requiring one named state.",
6
+ ],
7
+ do_not_use_when: [
8
+ "Do not use for allowed state sets or explicit state-to-state movement; use state_membership or state_transition instead.",
9
+ ],
10
+ },
11
+ transition: {
12
+ use_when: [
13
+ "Use for workflow prose where a subject moves between states because of a trigger.",
14
+ ],
15
+ do_not_use_when: [
16
+ "Do not use for one current state, allowed terminal states, or non-state conditional behavior.",
17
+ ],
18
+ },
19
+ guard: {
20
+ use_when: [
21
+ "Use when a boolean condition gates whether behavior is active or permitted.",
22
+ ],
23
+ do_not_use_when: [
24
+ "Do not use for explicit unless/except exceptions, actor authorization, feature flags, or scalar thresholds.",
25
+ ],
26
+ },
27
+ exception_rule: {
28
+ use_when: [
29
+ "Use for unless/except clauses where a normally required behavior is skipped under a named exception.",
30
+ ],
31
+ do_not_use_when: [
32
+ "Do not use for generic boolean guards without an exception clause, actor permissions, or feature flags.",
33
+ ],
34
+ },
35
+ mutual_exclusion: {
36
+ use_when: [
37
+ "Use when two modes, states, options, or behaviors cannot be true or active together.",
38
+ ],
39
+ do_not_use_when: [
40
+ "Do not use for uniqueness per scope, allowed state sets, or ordinary permission denials.",
41
+ ],
42
+ },
43
+ dependency_rule: {
44
+ use_when: [
45
+ "Use when one action, state, or resource requires another prerequisite before it can proceed.",
46
+ ],
47
+ do_not_use_when: [
48
+ "Do not use for temporal ordering without a required prerequisite, ownership, or feature gates.",
49
+ ],
50
+ },
51
+ ownership_rule: {
52
+ use_when: [
53
+ "Use when a resource, domain area, or behavior is owned by a service, team, role, or component.",
54
+ ],
55
+ do_not_use_when: [
56
+ "Do not use for permission to access a resource or event publication.",
57
+ ],
58
+ },
59
+ retry_policy: {
60
+ use_when: [
61
+ "Use when a failed action must be retried a bounded number of times or attempts.",
62
+ ],
63
+ do_not_use_when: [
64
+ "Do not use for rate limits, backoff timing without retries, or escalation after a delay.",
65
+ ],
66
+ },
67
+ escalation_rule: {
68
+ use_when: [
69
+ "Use when an unresolved or failed condition is escalated to an owner, role, queue, or service after a delay.",
70
+ ],
71
+ do_not_use_when: [
72
+ "Do not use for ownership assignments, retry counts, or simple notification routing.",
73
+ ],
74
+ },
75
+ availability_sla: {
76
+ use_when: [
77
+ "Use when an API, service, or system has a minimum availability target over a reporting window.",
78
+ ],
79
+ do_not_use_when: [
80
+ "Do not use for latency thresholds, retention durations, or generic resource constraints.",
81
+ ],
82
+ },
83
+ notification_route: {
84
+ use_when: [
85
+ "Use when a subject must notify a recipient, team, or role through a specific channel.",
86
+ ],
87
+ do_not_use_when: [
88
+ "Do not use for event publication, ownership assignment, or escalation after a delay.",
89
+ ],
90
+ },
91
+ idempotency_rule: {
92
+ use_when: [
93
+ "Use when repeated, redundant, or concurrent requests or operations must be safely deduplicated by an idempotency key or equivalent identity.",
94
+ ],
95
+ do_not_use_when: [
96
+ "Do not use for general uniqueness constraints, retry counts, or rate limits; choose the more specific predicate instead.",
97
+ ],
98
+ },
99
+ data_residency_rule: {
100
+ use_when: [
101
+ "Use when data must be stored, processed, or kept within a named region or jurisdiction.",
102
+ ],
103
+ do_not_use_when: [
104
+ "Do not use for retention durations, access permissions, or notification routing.",
105
+ ],
106
+ },
107
+ audit_event_rule: {
108
+ use_when: [
109
+ "Use when an action, change, or security-relevant event must be recorded in an audit log or audit trail.",
110
+ ],
111
+ do_not_use_when: [
112
+ "Do not use for user-facing notifications, event publication, or generic dirty-change state.",
113
+ ],
114
+ },
115
+ consent_rule: {
116
+ use_when: [
117
+ "Use when an action or data-processing purpose requires explicit user consent before it proceeds.",
118
+ ],
119
+ do_not_use_when: [
120
+ "Do not use for data residency, permission denials, or retention durations.",
121
+ ],
122
+ },
123
+ lifecycle_rule: {
124
+ use_when: [
125
+ "Use when an entity must be archived, deleted, expired, or otherwise lifecycle-transitioned after a duration.",
126
+ ],
127
+ do_not_use_when: [
128
+ "Do not use for passive retention duration requirements; use retention_policy when data is simply kept for a period.",
129
+ ],
130
+ },
131
+ conflict_resolution_rule: {
132
+ use_when: [
133
+ "Use when synchronization or concurrent updates require a named conflict-resolution strategy.",
134
+ ],
135
+ do_not_use_when: [
136
+ "Do not use for ordinary state transitions, dependency ordering, or fallback behavior.",
137
+ ],
138
+ },
139
+ fallback_rule: {
140
+ use_when: [
141
+ "Use when a degraded or unavailable dependency causes a subject to fall back to a named alternative behavior.",
142
+ ],
143
+ do_not_use_when: [
144
+ "Do not use for escalation after a delay, notification routing, or retry policies.",
145
+ ],
146
+ },
147
+ batch_operation_rule: {
148
+ use_when: [
149
+ "Use when a bulk operation must process a resource in batches of a specific size.",
150
+ ],
151
+ do_not_use_when: [
152
+ "Do not use for rate limits, retry counts, or general resource thresholds.",
153
+ ],
154
+ },
155
+ consistency_rule: {
156
+ use_when: [
157
+ "Use when one entity must reference, match, or remain consistent with another existing entity or invariant.",
158
+ ],
159
+ do_not_use_when: [
160
+ "Do not use for ownership, permission checks, or prerequisite workflow dependencies.",
161
+ ],
162
+ },
163
+ build_constraint: {
164
+ use_when: [
165
+ "Use when build-time generation or deployment configuration must satisfy a deterministic property.",
166
+ ],
167
+ do_not_use_when: [
168
+ "Do not use for runtime feature gates or ordinary resource thresholds.",
169
+ ],
170
+ },
171
+ environment_safety_rule: {
172
+ use_when: [
173
+ "Use when an action is allowed or forbidden in a named environment such as production or staging.",
174
+ ],
175
+ do_not_use_when: [
176
+ "Do not use for actor permissions that are independent of deployment environment.",
177
+ ],
178
+ },
179
+ schema_invariant_rule: {
180
+ use_when: [
181
+ "Use when a schema field has an invariant such as immutability, type, enum, or value-range constraints.",
182
+ ],
183
+ do_not_use_when: [
184
+ "Do not use for cross-entity references; use consistency_rule for referential integrity.",
185
+ ],
186
+ },
187
+ coding_standard_rule: {
188
+ use_when: [
189
+ "Use when developer-facing code must use or avoid a framework API, pattern, or documentation practice.",
190
+ ],
191
+ do_not_use_when: [
192
+ "Do not use for user-facing product behavior or role-based access control.",
193
+ ],
194
+ },
195
+ migration_boundary_rule: {
196
+ use_when: [
197
+ "Use when legacy data or APIs may only be used for migration or compatibility input.",
198
+ ],
199
+ do_not_use_when: [
200
+ "Do not use for general lifecycle archive/delete timing rules.",
201
+ ],
202
+ },
203
+ absence_requirement: {
204
+ use_when: [
205
+ "Use when a component, extension, RPC, schema, or feature must be absent, removed, or not exist.",
206
+ ],
207
+ do_not_use_when: [
208
+ "Do not use for denied user actions; use permission_rule for actor/action/resource denials.",
209
+ ],
210
+ },
211
+ };
@@ -0,0 +1,3 @@
1
+ import type { PredicateUsageHints } from "./predicate-types.js";
2
+ export declare const PREDICATE_USAGE_HINTS_2: Record<string, PredicateUsageHints>;
3
+ //# sourceMappingURL=predicate-usage-hints-2.d.ts.map
@@ -0,0 +1 @@
1
+ {"version":3,"file":"predicate-usage-hints-2.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-usage-hints-2.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAGhE,eAAO,MAAM,uBAAuB,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CA+MvE,CAAC"}