@kortexya/reasoninglayer 1.5.1 → 1.7.0

package/dist/index.cjs

@@ -7,7 +7,7 @@ var __export = (target, all) => {
 };
 
 // src/config.ts
-var SDK_VERSION = "1.5.1";
+var SDK_VERSION = "1.7.0";
 function resolveConfig(config) {
   if (!config.baseUrl) {
     throw new Error("ClientConfig.baseUrl is required");
@@ -6969,6 +6969,20 @@ var Analysis = class {
     format: "json",
     ...params
   });
+  /**
+   * @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.
+   *
+   * @tags analysis
+   * @name CertifyRuleBase
+   * @summary Certify the authenticated tenant's rule base.
+   * @request GET:/api/v1/analysis/rule-base/certify
+   */
+  certifyRuleBase = (params = {}) => this.http.request({
+    path: `/api/v1/analysis/rule-base/certify`,
+    method: "GET",
+    format: "json",
+    ...params
+  });
   /**
    * @description The exploration must be complete (no more questions) before calling this. Creates appropriateness sorts in the hierarchy from the Duquenne-Guigues basis.
    *
@@ -22311,10 +22325,15 @@ function DerivationSummaryDtoFromApiToFront(dto) {
   };
 }
 function SourceExcerptDtoFromApiToFront(dto) {
+  const wire = dto;
   return {
-    concept: dto.concept,
-    text: dto.text,
-    document: dto.document ?? void 0
+    termId: wire.term_id,
+    sortName: wire.sort_name,
+    featureName: wire.feature_name,
+    value: wire.value,
+    provenanceType: wire.provenance_type ?? void 0,
+    qualityScore: wire.quality_score ?? void 0,
+    sourceDocument: wire.source_document ?? void 0
   };
 }
 function ClaimAnnotationDtoFromApiToFront(dto) {
@@ -22355,6 +22374,8 @@ function ConversationMessageResponseFromApiToFront(dto) {
     conversationId: dto.conversation_id,
     intent: dto.intent,
     osfqlExecuted: dto.osfql_executed ?? void 0,
+    repaired: dto.repaired ?? false,
+    originalOsfql: dto.original_osfql ?? void 0,
     queryResults: dto.query_results ?? void 0,
     producedTermIds: dto.produced_term_ids,
     uiSortId: dto.ui_sort_id ?? void 0,
@@ -22373,7 +22394,11 @@ function TurnDtoFromApiToFront(dto) {
     content: dto.content,
     timestamp: dto.timestamp,
     intent: dto.intent ?? void 0,
-    osfql: dto.osfql ?? void 0
+    osfql: dto.osfql ?? void 0,
+    // Generated contract types this as `any[]` — the wire shape is ClaimAnnotationDto.
+    claimAnnotations: dto.claim_annotations?.map(
+      ClaimAnnotationDtoFromApiToFront
+    )
   };
 }
 function ConversationSummaryDtoFromApiToFront(dto) {