@kortexya/reasoninglayer 1.7.0 → 1.7.1
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 +3 -1
- package/dist/index.cjs.map +1 -1
- package/dist/index.d.cts +16 -1
- package/dist/index.d.ts +16 -1
- package/dist/index.js +3 -1
- package/dist/index.js.map +1 -1
- package/package.json +1 -1
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.7.
|
|
10
|
+
var SDK_VERSION = "1.7.1";
|
|
11
11
|
function resolveConfig(config) {
|
|
12
12
|
if (!config.baseUrl) {
|
|
13
13
|
throw new Error("ClientConfig.baseUrl is required");
|
|
@@ -10247,6 +10247,8 @@ function ProofDtoFromApiToFront(dto) {
|
|
|
10247
10247
|
return {
|
|
10248
10248
|
goalTermId: dto.goal_term_id,
|
|
10249
10249
|
ruleTermId: dto.rule_term_id,
|
|
10250
|
+
goalDisplay: dto.goal_display,
|
|
10251
|
+
ruleLabel: dto.rule_label,
|
|
10250
10252
|
substitution: HomoiconicSubstitutionDtoFromApiToFront(dto.substitution),
|
|
10251
10253
|
subproofs: dto.subproofs?.map(ProofDtoFromApiToFront),
|
|
10252
10254
|
certainty: dto.certainty
|