kibi-cli 2.4.0 → 2.5.0

package/dist/operations/mutation/validate-upsert.js

@@ -2,48 +2,52 @@
 import { escapeAtom } from "../../prolog/codec.js";
 import { entityIdStyleWarnings } from "../../utils/entity-id-style.js";
 import { analyzeSemanticAdvisorInput } from "../semantic-advisor/analyze-prose.js";
-import { assertLogicalGroundingClaimKeys, assertSemanticInventoryBoundary, validateSemanticInventoryBoundary, } from "../semantic-advisor/ingestion-boundary.js";
-import { assertPredicateArgumentVocabulary } from "./predicate-vocabulary-guard.js";
-import { validateLiveRelationshipTargets, validateRelationshipSources, } from "./relationships.js";
+import { assertSemanticInventoryBoundary } from "../semantic-advisor/ingestion-boundary.js";
+import { validateRelationshipSources } from "./relationships.js";
 import { validateSymbolGranularity } from "./symbol-granularity.js";
-import { effectiveRelationships, validateAppendOnlyProofReceipts, } from "./upsert.js";
+import { validateAppendOnlyProofReceipts, validateUpsertForCommit, } from "./upsert.js";
 import { validateUpsertInput } from "./validation.js";
 // implements REQ-kibi-entity-id-style
 async function entityExists(prolog, id) {
     const result = await prolog.query(`once(kb_entity('${escapeAtom(id)}', _Type, _Props))`);
     return result.success;
 }
+/**
+ * The validation chain for a runtime without a store: everything that does
+ * not need to read the KB.
+ */
+async function validateWithoutStore(input, context) {
+    const validated = validateUpsertInput(input, context.clock());
+    await validateAppendOnlyProofReceipts(validated.entity, context);
+    validateRelationshipSources(input.id, validated.relationships);
+    await validateSymbolGranularity(validated.entity, validated.relationships, context);
+    const relationships = validated.relationships;
+    const semantic = analyzeSemanticAdvisorInput({
+        payload: { ...input, relationships },
+    });
+    assertSemanticInventoryBoundary({ ...input, relationships }, relationships, semantic.receipt);
+    return { entity: validated.entity, semantic };
+}
+// implements REQ-kibi-operation-interface-parity, REQ-kibi-truthful-consistency
+/**
+ * kb_upsert dryRun:true (and the former kb_validate_upsert preflight). With a
+ * store it runs validateUpsertForCommit, the exact validation a real
+ * kb_upsert runs before its first write, so a dry run accepts only what the
+ * write would accept; without a store it runs the store-independent checks.
+ */
 export async function executeValidateUpsert(input, context) {
     try {
-        const validated = validateUpsertInput(input, context.clock());
-        await validateAppendOnlyProofReceipts(validated.entity, context);
-        validateRelationshipSources(input.id, validated.relationships);
-        await validateSymbolGranularity(validated.entity, validated.relationships, context);
-        const previewSemantic = analyzeSemanticAdvisorInput({
-            payload: { ...input, relationships: validated.relationships },
-        });
-        const previewBoundary = validateSemanticInventoryBoundary({ ...input, relationships: validated.relationships }, validated.relationships, previewSemantic.receipt);
-        const relationships = context.prolog === undefined || !previewBoundary.applicable
-            ? validated.relationships
-            : await effectiveRelationships(input, validated.entity, validated.relationships, context);
-        if (context.prolog !== undefined) {
-            await validateLiveRelationshipTargets(context.prolog, validated.entity, relationships);
-        }
-        const semantic = analyzeSemanticAdvisorInput({
-            payload: { ...input, relationships },
-        });
-        assertSemanticInventoryBoundary({ ...input, relationships }, relationships, semantic.receipt);
-        if (context.prolog !== undefined) {
-            await assertLogicalGroundingClaimKeys(context.prolog, { ...input, relationships }, relationships);
-            await assertPredicateArgumentVocabulary(context.prolog, validated.entity);
-        }
+        const { entity, semantic } = context.prolog !== undefined
+            ? await validateUpsertForCommit(input, context).then((result) => ({
+                entity: result.validated.entity,
+                semantic: result.semantic,
+            }))
+            : await validateWithoutStore(input, context);
         // Style warnings apply only to entities this upsert would create, so the
         // existence read happens only when the ID actually has a style issue.
         const candidateIdStyleWarnings = entityIdStyleWarnings({
             id: input.id,
-            sourcePath: typeof validated.entity.source === "string"
-                ? validated.entity.source
-                : undefined,
+            sourcePath: typeof entity.source === "string" ? entity.source : undefined,
         });
         const idStyleWarnings = candidateIdStyleWarnings.length > 0 &&
             context.prolog &&
@@ -55,7 +59,7 @@ export async function executeValidateUpsert(input, context) {
             errors: [],
             warnings: [...semantic.warnings, ...idStyleWarnings],
             semanticAdvisor: semantic.receipt,
-            normalizedPreview: validated.entity,
+            normalizedPreview: entity,
         };
         return {
             content: [

package/dist/operations/planning/apply-plan.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"apply-plan.d.ts","sourceRoot":"","sources":["../../../src/operations/planning/apply-plan.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAIjF,OAAO,EACL,KAAK,eAAe,EAIrB,MAAM,uBAAuB,CAAC;AAwB/B,OAAO,KAAK,EACV,aAAa,EACb,eAAe,EAGhB,MAAM,uBAAuB,CAAC;AAE/B,YAAY,EACV,aAAa,EACb,eAAe,EACf,kBAAkB,GACnB,MAAM,uBAAuB,CAAC;AAG/B,eAAO,MAAM,yBAAyB,EAAG,2BAAoC,CAAC;AAmI9E,wBAAgB,iCAAiC,CAC/C,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GAChB,IAAI,CAMN;AAED,wBAAgB,mCAAmC,CACjD,SAAS,EAAE,SAAS;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,EAAE,EACnE,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,GAC3B,IAAI,CAaN;AAED,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,SAAS,eAAe,EAAE,EACnC,SAAS,cAAoB,GAC5B,eAAe,EAAE,CA2CnB;AAm+CD,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC;IACT,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,iBAAiB,EAAE,eAAe,CAAC;CACpC,CAAC,CA2BD"}
+{"version":3,"file":"apply-plan.d.ts","sourceRoot":"","sources":["../../../src/operations/planning/apply-plan.ts"],"names":[],"mappings":"AAoBA,OAAO,KAAK,EAEV,gBAAgB,EAGjB,MAAM,0CAA0C,CAAC;AAQlD,OAAO,EACL,KAAK,eAAe,EAIrB,MAAM,uBAAuB,CAAC;AA8D/B,OAAO,KAAK,EACV,aAAa,EACb,eAAe,EAGhB,MAAM,uBAAuB,CAAC;AAE/B,YAAY,EACV,aAAa,EACb,eAAe,EACf,kBAAkB,GACnB,MAAM,uBAAuB,CAAC;AAG/B,eAAO,MAAM,yBAAyB,EAAG,2BAAoC,CAAC;AA6G9E,wBAAgB,iCAAiC,CAC/C,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,GAChB,IAAI,CAMN;AAED,wBAAgB,mCAAmC,CACjD,SAAS,EAAE,SAAS;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,EAAE,EACnE,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,GAC3B,IAAI,CAaN;AAED,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,SAAS,eAAe,EAAE,EACnC,SAAS,cAAoB,GAC5B,eAAe,EAAE,CA2CnB;AA4xED,wBAAsB,gBAAgB,CACpC,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC;IACT,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,iBAAiB,EAAE,eAAe,CAAC;CACpC,CAAC,CA6BD"}