@kortexya/reasoninglayer 1.6.0 → 1.7.1

package/dist/index.d.cts

@@ -109,7 +109,7 @@ type JsonValue$1 = string | number | boolean | null | JsonValue$1[] | object;
  * This is the single source of truth for the version constant.
  * The `scripts/release.sh` script updates this value alongside `package.json`.
  */
-declare const SDK_VERSION = "1.6.0";
+declare const SDK_VERSION = "1.7.1";
 /**
  * Authentication mode for the SDK.
  *
@@ -13754,6 +13754,10 @@ interface ProofDto$1 {
     certainty: number;
     /** @format uuid */
     goal_term_id: string;
+    /** Human-readable rendering of the proven goal (the conclusion). */
+    goal_display?: string;
+    /** Human-readable rendering of the rule applied (None for a fact). */
+    rule_label?: string;
     /** @format uuid */
     rule_term_id?: string;
     /** Child proof nodes (recursive) */
@@ -22636,6 +22640,17 @@ interface ProofDto {
     goalTermId: string;
     /** The rule term ID used to prove this goal. */
     ruleTermId?: string;
+    /**
+     * Human-readable rendering of the goal proven at this step — the conclusion,
+     * e.g. `iam_permission(action: "view_file", object: "design.pdf", subject: "alice")`.
+     * Lets a client render a readable proof tree without resolving term IDs.
+     */
+    goalDisplay?: string;
+    /**
+     * Human-readable rendering of the rule applied at this step (its head Ψ-term).
+     * Absent for a stored fact / axiom (no rule was applied).
+     */
+    ruleLabel?: string;
     /** The substitution applied at this proof step. */
     substitution: HomoiconicSubstitutionDto;
     /** Sub-proofs for intermediate goals. */
@@ -43606,15 +43621,28 @@ interface DerivationSummaryDto {
     rootSourceIds: string[];
 }
 /**
- * A source text excerpt from the knowledge base.
+ * A KB record excerpt grounding a claim.
+ *
+ * @remarks
+ * This is the conversation-route excerpt (term/feature/value grounding from
+ * `crates/api/src/dto/conversation.rs`), distinct from the context-assembly
+ * excerpt (`concept`/`text`/`document`) that shares the same wire name.
  */
 interface SourceExcerptDto$1 {
-    /** Concept name. */
-    concept: string;
-    /** Source text. */
-    text: string;
+    /** ID of the KB term this excerpt comes from. */
+    termId: string;
+    /** Sort (type) of the term. */
+    sortName: string;
+    /** Feature (attribute) name. */
+    featureName: string;
+    /** Feature value. */
+    value: string;
+    /** Provenance of the grounding record (e.g. "document", "manual"). */
+    provenanceType?: string | null;
+    /** Quality score of the source record (0.0–1.0). */
+    qualityScore?: number | null;
     /** Source document, if applicable. */
-    document?: string | null;
+    sourceDocument?: string | null;
 }
 /**
  * A claim annotation with provenance information.
@@ -43715,6 +43743,8 @@ interface TurnDto {
     intent?: string | null;
     /** OSFQL generated (assistant turns only). */
     osfql?: string | null;
+    /** Per-claim provenance annotations (assistant turns only). */
+    claimAnnotations?: ClaimAnnotationDto[] | null;
 }
 /**
  * A conversation summary.

package/dist/index.d.ts

@@ -109,7 +109,7 @@ type JsonValue$1 = string | number | boolean | null | JsonValue$1[] | object;
  * This is the single source of truth for the version constant.
  * The `scripts/release.sh` script updates this value alongside `package.json`.
  */
-declare const SDK_VERSION = "1.6.0";
+declare const SDK_VERSION = "1.7.1";
 /**
  * Authentication mode for the SDK.
  *
@@ -13754,6 +13754,10 @@ interface ProofDto$1 {
     certainty: number;
     /** @format uuid */
     goal_term_id: string;
+    /** Human-readable rendering of the proven goal (the conclusion). */
+    goal_display?: string;
+    /** Human-readable rendering of the rule applied (None for a fact). */
+    rule_label?: string;
     /** @format uuid */
     rule_term_id?: string;
     /** Child proof nodes (recursive) */
@@ -22636,6 +22640,17 @@ interface ProofDto {
     goalTermId: string;
     /** The rule term ID used to prove this goal. */
     ruleTermId?: string;
+    /**
+     * Human-readable rendering of the goal proven at this step — the conclusion,
+     * e.g. `iam_permission(action: "view_file", object: "design.pdf", subject: "alice")`.
+     * Lets a client render a readable proof tree without resolving term IDs.
+     */
+    goalDisplay?: string;
+    /**
+     * Human-readable rendering of the rule applied at this step (its head Ψ-term).
+     * Absent for a stored fact / axiom (no rule was applied).
+     */
+    ruleLabel?: string;
     /** The substitution applied at this proof step. */
     substitution: HomoiconicSubstitutionDto;
     /** Sub-proofs for intermediate goals. */
@@ -43606,15 +43621,28 @@ interface DerivationSummaryDto {
     rootSourceIds: string[];
 }
 /**
- * A source text excerpt from the knowledge base.
+ * A KB record excerpt grounding a claim.
+ *
+ * @remarks
+ * This is the conversation-route excerpt (term/feature/value grounding from
+ * `crates/api/src/dto/conversation.rs`), distinct from the context-assembly
+ * excerpt (`concept`/`text`/`document`) that shares the same wire name.
  */
 interface SourceExcerptDto$1 {
-    /** Concept name. */
-    concept: string;
-    /** Source text. */
-    text: string;
+    /** ID of the KB term this excerpt comes from. */
+    termId: string;
+    /** Sort (type) of the term. */
+    sortName: string;
+    /** Feature (attribute) name. */
+    featureName: string;
+    /** Feature value. */
+    value: string;
+    /** Provenance of the grounding record (e.g. "document", "manual"). */
+    provenanceType?: string | null;
+    /** Quality score of the source record (0.0–1.0). */
+    qualityScore?: number | null;
     /** Source document, if applicable. */
-    document?: string | null;
+    sourceDocument?: string | null;
 }
 /**
  * A claim annotation with provenance information.
@@ -43715,6 +43743,8 @@ interface TurnDto {
     intent?: string | null;
     /** OSFQL generated (assistant turns only). */
     osfql?: string | null;
+    /** Per-claim provenance annotations (assistant turns only). */
+    claimAnnotations?: ClaimAnnotationDto[] | null;
 }
 /**
  * A conversation summary.

package/dist/index.js

@@ -5,7 +5,7 @@ var __export = (target, all) => {
 };
 
 // src/config.ts
-var SDK_VERSION = "1.6.0";
+var SDK_VERSION = "1.7.1";
 function resolveConfig(config) {
   if (!config.baseUrl) {
     throw new Error("ClientConfig.baseUrl is required");
@@ -10245,6 +10245,8 @@ function ProofDtoFromApiToFront(dto) {
   return {
     goalTermId: dto.goal_term_id,
     ruleTermId: dto.rule_term_id,
+    goalDisplay: dto.goal_display,
+    ruleLabel: dto.rule_label,
     substitution: HomoiconicSubstitutionDtoFromApiToFront(dto.substitution),
     subproofs: dto.subproofs?.map(ProofDtoFromApiToFront),
     certainty: dto.certainty
@@ -22323,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) {
@@ -22387,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) {