@kortexya/reasoninglayer 1.6.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 +16 -5
- package/dist/index.cjs.map +1 -1
- package/dist/index.d.cts +37 -7
- package/dist/index.d.ts +37 -7
- package/dist/index.js +16 -5
- 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.
|
|
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
|
|
@@ -22325,10 +22327,15 @@ function DerivationSummaryDtoFromApiToFront(dto) {
|
|
|
22325
22327
|
};
|
|
22326
22328
|
}
|
|
22327
22329
|
function SourceExcerptDtoFromApiToFront(dto) {
|
|
22330
|
+
const wire = dto;
|
|
22328
22331
|
return {
|
|
22329
|
-
|
|
22330
|
-
|
|
22331
|
-
|
|
22332
|
+
termId: wire.term_id,
|
|
22333
|
+
sortName: wire.sort_name,
|
|
22334
|
+
featureName: wire.feature_name,
|
|
22335
|
+
value: wire.value,
|
|
22336
|
+
provenanceType: wire.provenance_type ?? void 0,
|
|
22337
|
+
qualityScore: wire.quality_score ?? void 0,
|
|
22338
|
+
sourceDocument: wire.source_document ?? void 0
|
|
22332
22339
|
};
|
|
22333
22340
|
}
|
|
22334
22341
|
function ClaimAnnotationDtoFromApiToFront(dto) {
|
|
@@ -22389,7 +22396,11 @@ function TurnDtoFromApiToFront(dto) {
|
|
|
22389
22396
|
content: dto.content,
|
|
22390
22397
|
timestamp: dto.timestamp,
|
|
22391
22398
|
intent: dto.intent ?? void 0,
|
|
22392
|
-
osfql: dto.osfql ?? void 0
|
|
22399
|
+
osfql: dto.osfql ?? void 0,
|
|
22400
|
+
// Generated contract types this as `any[]` — the wire shape is ClaimAnnotationDto.
|
|
22401
|
+
claimAnnotations: dto.claim_annotations?.map(
|
|
22402
|
+
ClaimAnnotationDtoFromApiToFront
|
|
22403
|
+
)
|
|
22393
22404
|
};
|
|
22394
22405
|
}
|
|
22395
22406
|
function ConversationSummaryDtoFromApiToFront(dto) {
|