@kortexya/reasoninglayer 1.5.1 → 1.6.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/dist/index.cjs CHANGED
@@ -7,7 +7,7 @@ var __export = (target, all) => {
7
7
  };
8
8
 
9
9
  // src/config.ts
10
- var SDK_VERSION = "1.5.1";
10
+ var SDK_VERSION = "1.6.0";
11
11
  function resolveConfig(config) {
12
12
  if (!config.baseUrl) {
13
13
  throw new Error("ClientConfig.baseUrl is required");
@@ -6969,6 +6969,20 @@ var Analysis = class {
6969
6969
  format: "json",
6970
6970
  ...params
6971
6971
  });
6972
+ /**
6973
+ * @description Returns a [`RuleBaseCertificateDto`]: whether forward reasoning is guaranteed to halt (with the ranking-function depth bound), and whether it is order-independent (with the theorem discharged, or a concrete conflicting rule pair). The analysis is read-only over the tenant's knowledge base.
6974
+ *
6975
+ * @tags analysis
6976
+ * @name CertifyRuleBase
6977
+ * @summary Certify the authenticated tenant's rule base.
6978
+ * @request GET:/api/v1/analysis/rule-base/certify
6979
+ */
6980
+ certifyRuleBase = (params = {}) => this.http.request({
6981
+ path: `/api/v1/analysis/rule-base/certify`,
6982
+ method: "GET",
6983
+ format: "json",
6984
+ ...params
6985
+ });
6972
6986
  /**
6973
6987
  * @description The exploration must be complete (no more questions) before calling this. Creates appropriateness sorts in the hierarchy from the Duquenne-Guigues basis.
6974
6988
  *
@@ -22355,6 +22369,8 @@ function ConversationMessageResponseFromApiToFront(dto) {
22355
22369
  conversationId: dto.conversation_id,
22356
22370
  intent: dto.intent,
22357
22371
  osfqlExecuted: dto.osfql_executed ?? void 0,
22372
+ repaired: dto.repaired ?? false,
22373
+ originalOsfql: dto.original_osfql ?? void 0,
22358
22374
  queryResults: dto.query_results ?? void 0,
22359
22375
  producedTermIds: dto.produced_term_ids,
22360
22376
  uiSortId: dto.ui_sort_id ?? void 0,