@kortexya/reasoninglayer 0.14.0 → 0.15.2

package/dist/index.js

@@ -1,5 +1,5 @@
 // src/config.ts
-var SDK_VERSION = "0.14.0";
+var SDK_VERSION = "0.15.2";
 function resolveConfig(config) {
   if (!config.baseUrl) {
     throw new Error("ClientConfig.baseUrl is required");
@@ -2425,17 +2425,18 @@ var Ingestion = class {
     ...params
   });
   /**
-   * No description
+   * @description Defaults to async dispatch: returns `202` with a session id and the pipeline runs in a background tokio task. Pass `?sync=true` to run the whole pipeline inside the request and get a `201` with the full result — suitable only for small ontologies because the embedding loop dominates wall time on large inputs.
    *
    * @tags ingestion
    * @name IngestRdf
-   * @summary Ingest RDF/OWL/SHACL data and convert to OSF
+   * @summary Ingest RDF/OWL/SHACL data and convert to OSF.
    * @request POST:/api/v1/ingest/rdf
    * @secure
    */
-  ingestRdf = (data, params = {}) => this.http.request({
+  ingestRdf = (query, data, params = {}) => this.http.request({
     path: `/api/v1/ingest/rdf`,
     method: "POST",
+    query,
     body: data,
     secure: true,
     type: "application/json" /* Json */,
@@ -13206,24 +13207,25 @@ function PipelineQualityStatsDtoFromApiToFront(dto) {
     axiomsDeduplicated: dto.axioms_deduplicated,
     dynamicConfigEntityThreshold: dto.dynamic_config_entity_threshold,
     dynamicConfigRelationThreshold: dto.dynamic_config_relation_threshold,
-    fcaConceptsEnumerated: dto.fca_concepts_enumerated,
-    fcaConceptsFiltered: dto.fca_concepts_filtered,
-    fcaNovelConcepts: dto.fca_novel_concepts,
-    fcaSortsCreated: dto.fca_sorts_created,
+    entitiesRejected: dto.entities_rejected,
+    entitiesSortCorrected: dto.entities_sort_corrected,
+    entitiesValidated: dto.entities_validated,
     feedbackAxiomsLearned: dto.feedback_axioms_learned,
     feedbackPipelineAdjustments: dto.feedback_pipeline_adjustments,
+    forwardChainingIssues: dto.forward_chaining_issues,
+    fullyValid: dto.fully_valid,
     hybridIntraBatchDeduped: dto.hybrid_intra_batch_deduped,
+    incompleteEntities: dto.incomplete_entities,
+    inconsistentSorts: dto.inconsistent_sorts,
+    inferenceIterations: dto.inference_iterations,
     inferenceRelationsDeduped: dto.inference_relations_deduped,
     inferenceRulesApplied: dto.inference_rules_applied,
     inferenceRulesFilteredLowConfidence: dto.inference_rules_filtered_low_confidence,
     inferenceRulesInvalidScopeSort: dto.inference_rules_invalid_scope_sort,
     inferenceRulesTotal: dto.inference_rules_total,
-    osfEntitiesRejected: dto.osf_entities_rejected,
-    osfEntitiesSortCorrected: dto.osf_entities_sort_corrected,
-    osfEntitiesValidated: dto.osf_entities_validated,
-    osfForwardChainingIssues: dto.osf_forward_chaining_issues,
-    osfFullyValid: dto.osf_fully_valid,
-    osfIncompleteEntities: dto.osf_incomplete_entities
+    patternRulesPersisted: dto.pattern_rules_persisted,
+    relationsFromInferenceRules: dto.relations_from_inference_rules,
+    relationsInferred: dto.relations_inferred
   };
 }
 function TokenUsageDtoFromApiToFront(dto) {
@@ -13482,8 +13484,8 @@ function DocumentProgressDtoFromApiToFront(dto) {
     extractionStrategy: dto.extraction_strategy,
     inferenceRulesApplied: dto.inference_rules_applied,
     modelName: dto.model_name,
-    osfResiduationsCreated: dto.osf_residuations_created,
-    osfResiduationsResumed: dto.osf_residuations_resumed,
+    residuationsCreated: dto.residuations_created,
+    residuationsResumed: dto.residuations_resumed,
     referencesResolved: dto.references_resolved,
     referencesUnresolved: dto.references_unresolved,
     relationsExtracted: dto.relations_extracted,
@@ -13493,7 +13495,6 @@ function DocumentProgressDtoFromApiToFront(dto) {
     sortNames: dto.sort_names,
     sortsCreated: dto.sorts_created,
     sortsReused: dto.sorts_reused,
-    sortsReusedGlb: dto.sorts_reused_glb,
     sortsReusedSemantic: dto.sorts_reused_semantic,
     startedAt: dto.started_at,
     stepLog: dto.step_log.map(StepLogEntryDtoFromApiToFront),
@@ -13778,7 +13779,10 @@ var IngestionClient = class {
    * @returns Created sorts and terms from the RDF data.
    */
   async ingestRdf(request) {
-    const response = await this.api.ingestRdf(IngestRdfRequestFromFrontToApi(request));
+    const response = await this.api.ingestRdf(
+      { sync: request.sync ?? false },
+      IngestRdfRequestFromFrontToApi(request)
+    );
     return IngestRdfResponseFromApiToFront(response.data);
   }
   /**
@@ -15468,7 +15472,10 @@ function SearchStatsDtoFromApiToFront(dto) {
     nodesPruned: dto.nodes_pruned,
     backtracks: dto.backtracks,
     solveTimeMs: dto.solve_time_ms,
-    scorerCalls: dto.scorer_calls
+    scorerCalls: dto.scorer_calls,
+    restarts: dto.restarts,
+    learnedClauses: dto.learned_clauses,
+    forcedChoices: dto.forced_choices?.map(ChoiceSelectionFromApiToFront)
   };
 }
 function SpaceSearchRequestFromFrontToApi(model) {
@@ -15476,11 +15483,32 @@ function SpaceSearchRequestFromFrontToApi(model) {
     strategy: model.strategy,
     max_solutions: model.maxSolutions,
     collect_traces: model.collectTraces,
-    use_neural_guidance: model.useNeuralGuidance
+    use_neural_guidance: model.useNeuralGuidance,
+    mode: model.mode
+  };
+}
+function VariableFeasibilityDtoFromApiToFront(dto) {
+  return {
+    canBeTrue: dto.can_be_true,
+    canBeFalse: dto.can_be_false,
+    verified: dto.verified ?? true
   };
 }
 function SpaceSearchResponseFromApiToFront(dto) {
+  if (dto.kind === "feasibility") {
+    return {
+      kind: "feasibility",
+      variables: Object.fromEntries(
+        Object.entries(dto.variables).map(([name, v]) => [
+          name,
+          VariableFeasibilityDtoFromApiToFront(v)
+        ])
+      ),
+      searchStats: dto.search_stats ? SearchStatsDtoFromApiToFront(dto.search_stats) : dto.search_stats
+    };
+  }
   return {
+    kind: "solutions",
     solutions: dto.solutions.map(SpaceSolutionDtoFromApiToFront),
     count: dto.count,
     searchStats: dto.search_stats ? SearchStatsDtoFromApiToFront(dto.search_stats) : dto.search_stats