kibi-runtime 2.12.0 → 2.13.0
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/engine-daemon.js
CHANGED
|
@@ -102,7 +102,7 @@ function manifestVersion(manifestPath, expectedName) {
|
|
|
102
102
|
}
|
|
103
103
|
function cliVersion() {
|
|
104
104
|
if (true)
|
|
105
|
-
return "2.
|
|
105
|
+
return "2.15.0";
|
|
106
106
|
return manifestVersion(path.join(moduleDirectory, "..", "package.json"), "kibi-cli") ?? "unknown";
|
|
107
107
|
}
|
|
108
108
|
function coreVersion() {
|
|
@@ -1298,7 +1298,7 @@ writeln('${INTERACTIVE_QUERY_FRAME_END}').
|
|
|
1298
1298
|
if (trimmed.startsWith("rdf_transaction(") || this.isMutatingGoal(trimmed)) {
|
|
1299
1299
|
return false;
|
|
1300
1300
|
}
|
|
1301
|
-
return !(trimmed.startsWith("kb_attach(") || trimmed.startsWith("kb_detach") || trimmed.startsWith("kb_save") || trimmed.startsWith("kb_storage_status") || trimmed.startsWith("kb_storage_compact") || trimmed.startsWith("kb_storage_export") || trimmed.startsWith("status:") || trimmed.startsWith("kb_commit_upsert(") || trimmed.startsWith("kb_assert_") || trimmed.startsWith("kb_delete_") || trimmed.startsWith("kb_retract_"));
|
|
1301
|
+
return !(trimmed.startsWith("kb_attach(") || trimmed.startsWith("kb_detach") || trimmed.startsWith("kb_save") || trimmed.startsWith("kb_storage_status") || trimmed.startsWith("kb_storage_compact") || trimmed.startsWith("kb_storage_export") || trimmed.startsWith("status:") || trimmed.startsWith("kb_commit_upsert(") || trimmed.startsWith("kb_preview_upsert_contradiction(") || trimmed.startsWith("kb_assert_") || trimmed.startsWith("kb_delete_") || trimmed.startsWith("kb_retract_"));
|
|
1302
1302
|
}
|
|
1303
1303
|
isMutatingGoal(goal) {
|
|
1304
1304
|
return /(?:kb_(?:assert|delete|retract|commit|save|log)_|\bkb_save\b|\brdf_(?:assert|retract))/u.test(goal);
|
|
@@ -1552,7 +1552,8 @@ writeln('${INTERACTIVE_QUERY_FRAME_END}').
|
|
|
1552
1552
|
return match?.[1] ?? "anonymous";
|
|
1553
1553
|
}
|
|
1554
1554
|
addDiagnosticStage(message, goal, diagnostics) {
|
|
1555
|
-
|
|
1555
|
+
const label = this.goalLabel(goal);
|
|
1556
|
+
if (label !== "kb_commit_upsert" && label !== "kb_preview_upsert_contradiction")
|
|
1556
1557
|
return message;
|
|
1557
1558
|
const stage = this.lastDiagnosticStage(diagnostics);
|
|
1558
1559
|
return stage === null ? message : `${message} (stage=${stage})`;
|
|
@@ -2900,7 +2901,7 @@ async function runEngineDaemon(requestedOptions) {
|
|
|
2900
2901
|
return cached;
|
|
2901
2902
|
}
|
|
2902
2903
|
}
|
|
2903
|
-
const boundable = !mutatingEngineGoal(request.goal) && !/\b(?:use_module|consult|load_files|ensure_loaded)\s*\(/.test(request.goal);
|
|
2904
|
+
const boundable = !mutatingEngineGoal(request.goal) && !/\b(?:use_module|consult|load_files|ensure_loaded|kb_preview_upsert_contradiction)\s*\(/.test(request.goal);
|
|
2904
2905
|
const result = boundable ? await runRead(request.goal) : await prolog.query(request.goal);
|
|
2905
2906
|
session.recordModuleLoad(request.goal, result);
|
|
2906
2907
|
if (result.success && mutatingEngineGoal(request.goal)) {
|