@kortexya/reasoninglayer 1.7.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.7.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. */

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.7.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. */

package/dist/index.js

@@ -5,7 +5,7 @@ var __export = (target, all) => {
 };
 
 // src/config.ts
-var SDK_VERSION = "1.7.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