kibi-cli 0.17.0 → 0.18.1

package/dist/operations/modeling/model-requirement.js

@@ -2,7 +2,8 @@ import { readFile } from "node:fs/promises";
 import path from "node:path";
 import { buildStrictWriteSet } from "../../public/check-types.js";
 import { getSchemaVersionStatus } from "../../public/schema-version.js";
-import { semanticClaimKey } from "../semantic-advisor/clauses.js";
+import { normalizeSemanticClause, semanticClaimKey, } from "../semantic-advisor/clauses.js";
+import { semanticSourceHash } from "../semantic-advisor/shared.js";
 import { buildLogicApplyPlan } from "./logic-modeling.js";
 import { strictWriteSetToApplyPlan, writeSetPrimaryEntityId, } from "./requirement-applyplan.js";
 import { estimateNormativeSignalConfidence, extractRequirementClaim, } from "./requirement-modeler.js";
@@ -108,9 +109,33 @@ export async function handleKbModelRequirement(_prolog, args, workspaceRoot) {
             };
         }
         if (step.type === "req") {
+            const claimText = extracted.statement.trim();
+            const normalizedClaimText = normalizeSemanticClause(claimText);
             return {
                 ...step,
-                properties: { ...properties, logic_claims: logicClaims },
+                properties: {
+                    ...properties,
+                    semantic_text: claimText,
+                    logic_claims: logicClaims,
+                    semantic_clauses: [claimText],
+                    semantic_inventory_version: "kibi.semantic-inventory.v1",
+                    semantic_source_field: "semantic_text",
+                    semantic_source_hash: semanticSourceHash(claimText),
+                    semantic_inventory: [
+                        {
+                            claim_key: claimKey,
+                            claim_text: normalizedClaimText,
+                            role: /\b(?:must|shall|should|required|requires?)\b/i.test(claimText)
+                                ? "normative"
+                                : "descriptive",
+                            status: "modeled",
+                            span: {
+                                start: 0,
+                                end: Buffer.byteLength(normalizedClaimText, "utf8"),
+                            },
+                        },
+                    ],
+                },
             };
         }
         return step;

package/dist/operations/modeling/predicate-applyplan.d.ts

@@ -1,5 +1,5 @@
 import type { PredicateSchemaCandidate, PredicateSuggestion, SuggestPredicatesArgs } from "./predicate-types.js";
-export declare function buildSuggestion(schema: PredicateSchemaCandidate, text: string, subject: string, score: number): PredicateSuggestion;
+export declare function buildSuggestion(schema: PredicateSchemaCandidate, text: string, subject: string, score: number, argumentBindings?: Readonly<Record<string, string>>, polarityHint?: "assert" | "deny"): PredicateSuggestion;
 export declare function buildPredicateApplyPlan(suggestion: PredicateSuggestion, args: SuggestPredicatesArgs): Array<Record<string, unknown>>;
 export declare function buildRelationshipPlan(factId: string | undefined, requirementId: string | undefined, claimText?: string, existingLogicClaims?: readonly string[]): Record<string, unknown> | null;
 export declare function buildGapApplyPlan(text: string, args: SuggestPredicatesArgs): Array<Record<string, unknown>>;

package/dist/operations/modeling/predicate-applyplan.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"predicate-applyplan.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-applyplan.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,wBAAwB,EACxB,mBAAmB,EACnB,qBAAqB,EACtB,MAAM,sBAAsB,CAAC;AAI9B,wBAAgB,eAAe,CAC7B,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,GACZ,mBAAmB,CAuBrB;AAGD,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,mBAAmB,EAC/B,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAgChC;AAGD,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,aAAa,EAAE,MAAM,GAAG,SAAS,EACjC,SAAS,CAAC,EAAE,MAAM,EAClB,mBAAmB,GAAE,SAAS,MAAM,EAAO,GAC1C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAwBhC;AAGD,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA+BhC"}
+{"version":3,"file":"predicate-applyplan.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-applyplan.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,wBAAwB,EACxB,mBAAmB,EACnB,qBAAqB,EACtB,MAAM,sBAAsB,CAAC;AAI9B,wBAAgB,eAAe,CAC7B,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,EACb,gBAAgB,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,EACvD,YAAY,CAAC,EAAE,QAAQ,GAAG,MAAM,GAC/B,mBAAmB,CAmCrB;AAGD,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,mBAAmB,EAC/B,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAiChC;AAGD,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,aAAa,EAAE,MAAM,GAAG,SAAS,EACjC,SAAS,CAAC,EAAE,MAAM,EAClB,mBAAmB,GAAE,SAAS,MAAM,EAAO,GAC1C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAwBhC;AAGD,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA+BhC"}

package/dist/operations/modeling/predicate-applyplan.js

@@ -3,22 +3,32 @@ import { inferArgs } from "./predicate-inference.js";
 import { schemaForCandidate } from "./predicate-loader.js";
 import { hashId } from "./predicate-utils.js";
 // implements REQ-mcp-suggest-predicates
-export function buildSuggestion(schema, text, subject, score) {
-    const predicateArgs = inferArgs(schema, text, subject);
+export function buildSuggestion(schema, text, subject, score, argumentBindings = {}, polarityHint) {
+    const inferredArgs = inferArgs(schema, text, subject);
+    const predicateArgs = schema.argument_names.map((name, index) => {
+        const exactBinding = argumentBindings[name];
+        return typeof exactBinding === "string" && exactBinding.trim().length > 0
+            ? exactBinding.trim()
+            : (inferredArgs[index] ?? "unknown");
+    });
+    const unboundArguments = schema.argument_names.filter((_name, index) => predicateArgs[index] === "unknown");
     const canonicalKey = `${schema.predicate_name}(${predicateArgs.join(",")})`;
     // Permission-style inference carries the deontic decision as its final
     // argument. Preserve that polarity in the typed suggestion instead of
     // silently turning a prohibition into an assertion.
-    const polarity = predicateArgs.at(-1) === "deny" ||
-        /\b(?:must\s+not|shall\s+not|never|cannot|can't|forbidden|prohibited)\b/i.test(text)
-        ? "deny"
-        : "assert";
+    const polarity = polarityHint ??
+        (predicateArgs.at(-1) === "deny" ||
+            /\b(?:must\s+not|shall\s+not|never|cannot|can't|forbidden|prohibited)\b/i.test(text)
+            ? "deny"
+            : "assert");
     return {
         id: hashId("SUGGEST", [schema.id, canonicalKey, text]),
         predicate_name: schema.predicate_name,
         predicate_args: predicateArgs,
         canonical_key: canonicalKey,
         polarity,
+        binding_status: unboundArguments.length === 0 ? "complete" : "incomplete",
+        unbound_arguments: unboundArguments,
         score,
         rationale: `Matched ${schema.predicate_name} because the prose overlaps with ${schema.tags.join(", ")} cues.`,
         schema: schemaForCandidate(schema),
@@ -26,6 +36,8 @@ export function buildSuggestion(schema, text, subject, score) {
 }
 // implements REQ-mcp-suggest-predicates
 export function buildPredicateApplyPlan(suggestion, args) {
+    if (suggestion.binding_status !== "complete")
+        return [];
     const claimKey = semanticClaimKey(args.text);
     const factId = hashId("FACT-PRED", [
         args.requirementId ?? "",

package/dist/operations/modeling/predicate-inference.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"predicate-inference.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-inference.ts"],"names":[],"mappings":"AAqDA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AACrE,OAAO,EASL,YAAY,EAKb,MAAM,sBAAsB,CAAC;AAG9B,wBAAgB,SAAS,CACvB,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,MAAM,EAAE,CA0JV;AAGD,OAAO,EAAE,YAAY,EAAE,CAAC"}
+{"version":3,"file":"predicate-inference.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-inference.ts"],"names":[],"mappings":"AAqDA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AACrE,OAAO,EASL,YAAY,EAIb,MAAM,sBAAsB,CAAC;AAG9B,wBAAgB,SAAS,CACvB,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,MAAM,EAAE,CAiJV;AAGD,OAAO,EAAE,YAAY,EAAE,CAAC"}

package/dist/operations/modeling/predicate-inference.js

@@ -1,7 +1,7 @@
 import { inferAuditEventRuleArgs, inferAvailabilitySlaArgs, inferConsentRuleArgs, inferDataResidencyRuleArgs, inferDependencyRuleArgs, inferEscalationRuleArgs, inferExceptionRuleArgs, inferGuardArgs, inferIdempotencyRuleArgs, inferLifecycleRuleArgs, inferMutualExclusionArgs, inferNotificationRouteArgs, inferOwnershipRuleArgs, inferPermissionRuleArgs, inferRetryPolicyArgs, } from "./predicate-inference-1.js";
 import { inferAbsenceRequirementArgs, inferAbstractionBoundaryRuleArgs, inferBatchOperationRuleArgs, inferBuildConstraintArgs, inferCodingStandardRuleArgs, inferConflictResolutionRuleArgs, inferConsistencyRuleArgs, inferEnvironmentSafetyRuleArgs, inferFallbackRuleArgs, inferMigrationBoundaryRuleArgs, inferOfflineBehaviorRuleArgs, inferOrderedStrategyRuleArgs, inferPlatformConsistencyRuleArgs, inferPreservationRuleArgs, inferRefreshPolicyRuleArgs, inferReleaseGateRuleArgs, inferSchemaInvariantRuleArgs, inferSecurityConfigurationRuleArgs, } from "./predicate-inference-2.js";
 import { inferConditionalBehaviorArgs, inferDefaultValueArgs, inferDocumentationStandardRuleArgs, inferEnforcementLocationRuleArgs, inferRateLimitArgs, inferReconciliationRuleArgs, inferScopedAuthorizationRuleArgs, inferStateMembershipArgs, inferStateTransitionArgs, inferTemporalOrderArgs, inferThrottlePolicyRuleArgs, inferUniquenessArgs, inferVisualLayoutRuleArgs, inferWarmupPolicyRuleArgs, } from "./predicate-inference-3.js";
-import { inferDuration, inferDurationUnit, inferEvent, inferGate, inferNumber, inferOperator, inferResource, inferScope, inferSubject, inferTrigger, inferUnit, normalizePredicateToken, slug, } from "./predicate-utils.js";
+import { inferDuration, inferDurationUnit, inferEvent, inferGate, inferNumber, inferOperator, inferResource, inferScope, inferSubject, inferTrigger, inferUnit, slug, } from "./predicate-utils.js";
 // implements REQ-mcp-suggest-predicates
 export function inferArgs(schema, text, subject) {
     const lower = text.toLowerCase();
@@ -141,22 +141,10 @@ export function inferArgs(schema, text, subject) {
         case "rate_limit":
             return inferRateLimitArgs(text);
         default:
-            return schema.argument_names.map((name) => {
-                if (name === "subject")
-                    return subject;
-                const normalized = normalizePredicateToken(name);
-                const words = normalized.split("_").filter((word) => word.length > 2);
-                // Project-local schemas often use the exact domain vocabulary in
-                // their ordered argument names. Reuse that declared value when the
-                // complete name (or all meaningful words) occurs in the claim; keep
-                // genuinely unbound arguments explicit instead of guessing.
-                const phrase = words.join(" ");
-                return phrase.length > 0 &&
-                    (lower.includes(phrase) ||
-                        words.every((word) => lower.includes(word)))
-                    ? normalized
-                    : "unknown";
-            });
+            // A schema argument name declares a role, not its ground value. Only
+            // the conventional subject slot has a separately reviewed hint;
+            // project-local non-subject arguments require exact argumentBindings.
+            return schema.argument_names.map((name) => name === "subject" ? subject : "unknown");
     }
 }
 // implements REQ-mcp-suggest-predicates

package/dist/operations/modeling/predicate-loader.js

@@ -27,7 +27,7 @@ export async function loadExistingPredicateSchemas(prolog, includeExistingSchema
         return [];
     }
     try {
-        const queryResult = await prolog.query("findall([Id,'fact',Props], (kb_entity(Id, 'fact', Props), member(fact_kind=predicate_schema, Props)), Results)");
+        const queryResult = await prolog.query("findall([Id,'fact',Props], (kb:predicate_schema(Id, _Namespace, _Name, _Arity, _ArgumentNames, _ArgumentTypes), kb_entity(Id, 'fact', Props)), Results)");
         if (!queryResult.success) {
             throw new Error(queryResult.error || "Query failed with unknown error");
         }

package/dist/operations/modeling/predicate-types.d.ts

@@ -26,6 +26,12 @@ export type SuggestPredicatesArgs = Readonly<Record<string, unknown>> & {
     readonly maxCandidates?: number;
     readonly minScore?: number;
     readonly includeExistingSchemas?: boolean;
+    /** Exact reviewed schema candidate ID to select instead of lexical ranking. */
+    readonly schemaId?: string;
+    /** Exact values keyed by the selected predicate schema's argument_names. */
+    readonly argumentBindings?: Readonly<Record<string, string>>;
+    /** Reviewed polarity override for negation-scope false positives. */
+    readonly polarityHint?: PredicatePolarity;
     /** Existing requirement claim manifest. Relationship guidance merges this list. */
     readonly existingLogicClaims?: readonly string[];
 };
@@ -35,6 +41,8 @@ export interface PredicateSuggestion {
     predicate_args: string[];
     canonical_key: string;
     polarity: PredicatePolarity;
+    binding_status: "complete" | "incomplete";
+    unbound_arguments: string[];
     score: number;
     rationale: string;
     schema: Omit<PredicateSchemaCandidate, "keywords"> & {
@@ -54,7 +62,7 @@ export interface SuggestPredicatesResult {
         requirementId: string | null;
         subject: string;
         candidates: PredicateSuggestion[];
-        recommendedAction: "apply_requires_predicate" | "record_ontology_gap";
+        recommendedAction: "apply_requires_predicate" | "provide_argument_bindings" | "resolve_schema_reference" | "record_ontology_gap";
         applyPlan: Array<Record<string, unknown>>;
         relationshipPlan: Record<string, unknown> | null;
         warnings: string[];

package/dist/operations/modeling/predicate-types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"predicate-types.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-types.ts"],"names":[],"mappings":"AACA,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,MAAM,CAAC;AAGlD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAGD,MAAM,WAAW,wBAAwB;IACvC,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,mGAAmG;IACnG,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,WAAW,CAAC,EAAE,mBAAmB,CAAC;CACnC;AAGD,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAC1C,mFAAmF;IACnF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAClD,CAAC;AAGF,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,IAAI,CAAC,wBAAwB,EAAE,UAAU,CAAC,GAAG;QACnD,WAAW,EAAE,mBAAmB,CAAC;KAClC,CAAC;CACH;AAGD,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,iBAAiB,EAAE;QACjB,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;QAC7B,OAAO,EAAE,MAAM,CAAC;QAChB,UAAU,EAAE,mBAAmB,EAAE,CAAC;QAClC,iBAAiB,EAAE,0BAA0B,GAAG,qBAAqB,CAAC;QACtE,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1C,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;QACjD,QAAQ,EAAE,MAAM,EAAE,CAAC;KACpB,CAAC;IACF,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC3C"}
+{"version":3,"file":"predicate-types.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-types.ts"],"names":[],"mappings":"AACA,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,MAAM,CAAC;AAGlD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAGD,MAAM,WAAW,wBAAwB;IACvC,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,mGAAmG;IACnG,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,WAAW,CAAC,EAAE,mBAAmB,CAAC;CACnC;AAGD,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAC1C,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,4EAA4E;IAC5E,QAAQ,CAAC,gBAAgB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7D,qEAAqE;IACrE,QAAQ,CAAC,YAAY,CAAC,EAAE,iBAAiB,CAAC;IAC1C,mFAAmF;IACnF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAClD,CAAC;AAGF,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,cAAc,EAAE,UAAU,GAAG,YAAY,CAAC;IAC1C,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,IAAI,CAAC,wBAAwB,EAAE,UAAU,CAAC,GAAG;QACnD,WAAW,EAAE,mBAAmB,CAAC;KAClC,CAAC;CACH;AAGD,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,iBAAiB,EAAE;QACjB,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;QAC7B,OAAO,EAAE,MAAM,CAAC;QAChB,UAAU,EAAE,mBAAmB,EAAE,CAAC;QAClC,iBAAiB,EACb,0BAA0B,GAC1B,2BAA2B,GAC3B,0BAA0B,GAC1B,qBAAqB,CAAC;QAC1B,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1C,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;QACjD,QAAQ,EAAE,MAAM,EAAE,CAAC;KACpB,CAAC;IACF,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC3C"}

package/dist/operations/modeling/suggest-predicates.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"suggest-predicates.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/suggest-predicates.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAChB,UAAU,EACX,MAAM,0CAA0C,CAAC;AAYlD,OAAO,KAAK,EACV,qBAAqB,EACrB,uBAAuB,EACxB,MAAM,sBAAsB,CAAC;AAG9B,YAAY,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,sBAAsB,CAAC;AAK9B,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,UAAU,GAAG,IAAI,EACzB,IAAI,EAAE,qBAAqB,GAC1B,OAAO,CAAC,uBAAuB,CAAC,CA4ElC;AAED,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,qBAAqB,EAC3B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,uBAAuB,CAAC,CAElC"}
+{"version":3,"file":"suggest-predicates.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/suggest-predicates.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAChB,UAAU,EACX,MAAM,0CAA0C,CAAC;AAYlD,OAAO,KAAK,EACV,qBAAqB,EACrB,uBAAuB,EACxB,MAAM,sBAAsB,CAAC;AAG9B,YAAY,EACV,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,sBAAsB,CAAC;AAK9B,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,UAAU,GAAG,IAAI,EACzB,IAAI,EAAE,qBAAqB,GAC1B,OAAO,CAAC,uBAAuB,CAAC,CA+GlC;AAED,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,qBAAqB,EAC3B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,uBAAuB,CAAC,CAElC"}

package/dist/operations/modeling/suggest-predicates.js

@@ -15,30 +15,54 @@ export async function handleKbSuggestPredicates(prolog, args) {
     const subject = inferSubject(text, args.subjectHint);
     const existingSchemas = await loadExistingPredicateSchemas(prolog, args.includeExistingSchemas ?? true, warnings);
     const schemas = [...existingSchemas, ...BUILT_IN_PREDICATE_SCHEMAS];
-    const candidates = schemas
+    const selectedSchemas = args.schemaId
+        ? schemas.filter((schema) => schema.id === args.schemaId)
+        : schemas;
+    if (args.schemaId && selectedSchemas.length === 0) {
+        warnings.push(`Requested predicate schema ${args.schemaId} is not available. Refresh the KB or correct schemaId before retrying; no ontology-gap or predicate write plan was generated.`);
+    }
+    const candidates = selectedSchemas
         .map((schema) => ({ schema, score: scoreSchema(schema, text) }))
-        .filter((scored) => scored.score >= minScore)
+        .filter((scored) => args.schemaId || scored.score >= minScore)
         .sort((left, right) => {
         if (right.score !== left.score)
             return right.score - left.score;
         return left.schema.predicate_name.localeCompare(right.schema.predicate_name);
     })
         .slice(0, maxCandidates)
-        .map((scored) => buildSuggestion(scored.schema, text, subject, scored.score));
-    if (candidates.length === 0) {
+        .map((scored) => buildSuggestion(scored.schema, text, subject, scored.score, args.argumentBindings, args.polarityHint));
+    if (candidates.length === 0 && !args.schemaId) {
         warnings.push("No predicate candidate met minScore. If this is recurring domain language, create a fact_kind=predicate_schema fact; otherwise keep the generated review:ontology-gap observation. Do not invent unsupported predicate names without a predicate_schema.");
     }
-    const recommendedAction = candidates.length > 0 ? "apply_requires_predicate" : "record_ontology_gap";
     const firstCandidate = candidates[0];
-    const applyPlan = firstCandidate
-        ? buildPredicateApplyPlan(firstCandidate, args)
-        : buildGapApplyPlan(text, args);
-    const relationshipPlan = firstCandidate
+    const bindingsComplete = firstCandidate?.binding_status === "complete";
+    if (firstCandidate && !bindingsComplete) {
+        warnings.push(`Top predicate candidate ${firstCandidate.predicate_name} has unbound arguments: ${firstCandidate.unbound_arguments.join(", ")}. Supply exact argumentBindings keyed by the schema's argument_names before applying it.`);
+    }
+    const recommendedAction = !firstCandidate
+        ? args.schemaId
+            ? "resolve_schema_reference"
+            : "record_ontology_gap"
+        : bindingsComplete
+            ? "apply_requires_predicate"
+            : "provide_argument_bindings";
+    const applyPlan = !firstCandidate
+        ? args.schemaId
+            ? []
+            : buildGapApplyPlan(text, args)
+        : bindingsComplete
+            ? buildPredicateApplyPlan(firstCandidate, args)
+            : [];
+    const relationshipPlan = firstCandidate && bindingsComplete
         ? buildRelationshipPlan(String(applyPlan[0]?.id ?? ""), args.requirementId, text, args.existingLogicClaims)
         : null;
-    const textSummary = candidates.length > 0
+    const textSummary = firstCandidate && bindingsComplete
         ? `Suggested ${candidates.length} predicate candidate(s). Top match: ${candidates[0]?.predicate_name}. Apply structured predicate facts before falling back to prose.`
-        : "No predicate candidate met the confidence threshold; record an ontology gap instead of silently writing prose.";
+        : firstCandidate
+            ? `Matched ${firstCandidate.predicate_name}, but exact values are still required for: ${firstCandidate.unbound_arguments.join(", ")}. No apply plan was generated.`
+            : args.schemaId
+                ? `Requested predicate schema ${args.schemaId} is unavailable. No apply plan was generated.`
+                : "No predicate candidate met the confidence threshold; record an ontology gap instead of silently writing prose.";
     const claimKey = semanticClaimKey(text);
     const logicClaims = Array.from(new Set([...(args.existingLogicClaims ?? []), claimKey]));
     return {

package/dist/operations/mutation/audit.js

@@ -17,6 +17,6 @@ export async function recordRelationshipAudits(prolog, relationships) {
     }
 }
 export function buildEntityDeleteAuditGoal(entity) {
-    const auditEntity = Object.fromEntries(["id", "title", "source", "text_ref"].flatMap((key) => typeof entity[key] === "string" ? [[key, entity[key]]] : []));
+    const auditEntity = Object.fromEntries(["id", "title", "source", "text_ref", "semantic_text"].flatMap((key) => typeof entity[key] === "string" ? [[key, entity[key]]] : []));
     return `kb_retract_entity('${escapeAtom(String(entity.id))}', ${String(entity.type)}, ${buildPropertyList(auditEntity)})`;
 }

package/dist/operations/mutation/contradictions.d.ts

@@ -4,7 +4,7 @@ type TransactionInput = {
     readonly relationships: readonly RelationshipInput[];
     readonly skipContradictionCheck: boolean;
 };
-export declare function buildUpsertTransaction(input: TransactionInput): string;
+export declare function buildUpsertCommitGoal(input: TransactionInput): string;
 export declare function formatUpsertError(entityId: string, raw?: string): string;
 export {};
 //# sourceMappingURL=contradictions.d.ts.map

package/dist/operations/mutation/contradictions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contradictions.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/contradictions.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAEpD,KAAK,gBAAgB,GAAG;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,aAAa,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACrD,QAAQ,CAAC,sBAAsB,EAAE,OAAO,CAAC;CAC1C,CAAC;AAGF,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CActE;AAGD,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,MAAM,GAAG,MAAM,CA0BxE"}
+{"version":3,"file":"contradictions.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/contradictions.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAEpD,KAAK,gBAAgB,GAAG;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,aAAa,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACrD,QAAQ,CAAC,sBAAsB,EAAE,OAAO,CAAC;CAC1C,CAAC;AAGF,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,gBAAgB,GAAG,MAAM,CAOrE;AAGD,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,MAAM,GAAG,MAAM,CA6CxE"}

package/dist/operations/mutation/contradictions.js

@@ -2,39 +2,44 @@ import { escapeAtom } from "../../prolog/codec.js";
 import { formatInvalidRelationshipError } from "./relationships.js";
 import { buildPropertyList, buildRelationshipMetadata, } from "./serialization.js";
 // implements REQ-kibi-operation-interface-parity
-export function buildUpsertTransaction(input) {
-    const id = String(input.entity.id);
+export function buildUpsertCommitGoal(input) {
     const type = String(input.entity.type);
-    const goals = [
-        `kb_assert_entity_no_audit(${type}, ${buildPropertyList(input.entity)})`,
-        ...input.relationships.map((relationship) => `kb_assert_relationship_no_audit(${String(relationship.type)}, '${escapeAtom(String(relationship.from))}', '${escapeAtom(String(relationship.to))}', ${buildRelationshipMetadata(relationship)})`),
-    ];
-    if (type === "req" && !input.skipContradictionCheck) {
-        goals.push(`check_req_contradiction('${escapeAtom(id)}')`);
-    }
-    return `rdf_transaction((${goals.join(", ")}))`;
+    const relationships = input.relationships.map((relationship) => `rel(${String(relationship.type)}, '${escapeAtom(String(relationship.from))}', '${escapeAtom(String(relationship.to))}', ${buildRelationshipMetadata(relationship)})`);
+    return `kb_commit_upsert(${type}, ${buildPropertyList(input.entity)}, [${relationships.join(", ")}], ${input.skipContradictionCheck ? "true" : "false"}, ChangeKind)`;
 }
 // implements REQ-kibi-operation-interface-parity
 export function formatUpsertError(entityId, raw) {
     if (!raw)
         return `Failed to upsert entity ${entityId}: Unknown error`;
-    const invalidRelationship = formatInvalidRelationshipError(raw);
+    const stage = raw.match(/\(stage=([^)]+)\)/)?.[1];
+    const stageSuffix = stage === undefined ? "" : ` (stage=${stage})`;
+    const diagnosticFree = raw.replace(/^__KIBI_(?:STAGE|RUNTIME)__:[^\r\n]*\r?\n?/gm, "");
+    if (diagnosticFree.includes("stale_snapshot")) {
+        return `Failed to upsert entity ${entityId}: KB snapshot is stale; reattach or refresh the runtime before retrying (stale_snapshot)${stageSuffix}`;
+    }
+    if (diagnosticFree.includes("Audit journal is locked") ||
+        diagnosticFree.includes("audit_log") ||
+        diagnosticFree.includes("audit.log") ||
+        diagnosticFree.includes("Resource temporarily unavailable")) {
+        return `Failed to upsert entity ${entityId}: Audit journal is locked by another Kibi runtime; restart the stale MCP/CLI session before retrying${stageSuffix}`;
+    }
+    const invalidRelationship = formatInvalidRelationshipError(diagnosticFree);
     if (invalidRelationship !== null) {
-        return `Failed to upsert entity ${entityId}: ${invalidRelationship}`;
+        return `Failed to upsert entity ${entityId}: ${invalidRelationship}${stageSuffix}`;
     }
-    const contradiction = raw.match(/kb_contradiction\(\s*\[([^\]]+)\]\s*\)/);
+    const contradiction = diagnosticFree.match(/kb_contradiction\(\s*\[([^\]]+)\]\s*\)/);
     if (contradiction) {
         const details = contradiction[1] ?? "";
         const conflicts = [
             ...details.matchAll(/(?:'([^']+)'|"([^"\\]*(?:\\.[^"\\]*)*)")-'([^']+)'/g),
         ].map((match) => `  - Conflicts with ${String(match[3])}: ${String(match[1] ?? match[2])}`);
         if (conflicts.length > 0) {
-            return `Contradiction detected for requirement ${entityId}:\n${[...new Set(conflicts)].join("\n")}\n\nTo resolve:\n  1. Add a supersedes relationship from the new requirement to the conflicting one, OR\n  2. Deprecate the conflicting requirement before creating the new one.`;
+            return `Contradiction detected for requirement ${entityId}:\n${[...new Set(conflicts)].join("\n")}\n\nTo resolve:\n  1. Add a supersedes relationship from the new requirement to the conflicting one, OR\n  2. Deprecate the conflicting requirement before creating the new one.${stageSuffix}`;
         }
-        return `Contradiction detected for entity ${entityId}: This requirement conflicts with existing requirements. Add a supersedes relationship to the conflicting requirement, or deprecate the old requirement before creating the new one.`;
+        return `Contradiction detected for entity ${entityId}: This requirement conflicts with existing requirements. Add a supersedes relationship to the conflicting requirement, or deprecate the old requirement before creating the new one.${stageSuffix}`;
     }
-    if (raw.includes("rdf_transaction")) {
-        return `Failed to upsert entity ${entityId}: Transaction failed`;
+    if (diagnosticFree.includes("rdf_transaction")) {
+        return `Failed to upsert entity ${entityId}: Transaction failed${stageSuffix}`;
     }
-    return `Failed to upsert entity ${entityId}: ${raw}`;
+    return `Failed to upsert entity ${entityId}: ${diagnosticFree || raw}`;
 }

package/dist/operations/mutation/serialization.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"serialization.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/serialization.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AA6CpD,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACxC,MAAM,CAMR;AAGD,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,iBAAiB,GAAG,MAAM,CAOxE;AAGD,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAkBtD"}
+{"version":3,"file":"serialization.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/serialization.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAkDpD,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACxC,MAAM,CAMR;AAGD,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,iBAAiB,GAAG,MAAM,CAOxE;AAGD,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAkBtD"}

package/dist/operations/mutation/serialization.js

@@ -20,16 +20,19 @@ const STRING_FIELDS = [
     "updated_at",
     "source",
     "text_ref",
+    "semantic_text",
 ];
 function serializeValue(key, value) {
     if (key === "id" && typeof value === "string") {
         return `'${value.replaceAll("'", "''")}'`;
     }
-    if (Array.isArray(value))
-        return JSON.stringify(value);
-    if (key === "rule_ir" || key === "semantic_inventory") {
+    if (key === "rule_ir" ||
+        key === "semantic_inventory" ||
+        key === "verification_receipts") {
         return toPrologString(JSON.stringify(value));
     }
+    if (Array.isArray(value))
+        return JSON.stringify(value);
     if (typeof value === "string") {
         return ATOM_FIELDS.includes(key)
             ? toPrologAtom(value)

package/dist/operations/mutation/upsert.d.ts

@@ -1,5 +1,7 @@
 import type { OperationContext } from "../../public/operations/runtime-types.js";
 import type { OperationResult } from "../../public/operations/types.js";
-import type { UpsertInput, UpsertPayload } from "./types.js";
+import type { RelationshipInput, UpsertInput, UpsertPayload } from "./types.js";
+export declare function validateAppendOnlyVerificationReceipts(entity: Readonly<Record<string, unknown>>, context: OperationContext): Promise<void>;
+export declare function effectiveRelationships(input: UpsertInput, entity: Readonly<Record<string, unknown>>, relationships: readonly RelationshipInput[], context: OperationContext): Promise<readonly RelationshipInput[]>;
 export declare function executeUpsert(input: UpsertInput, context: OperationContext): Promise<OperationResult<UpsertPayload>>;
 //# sourceMappingURL=upsert.d.ts.map

package/dist/operations/mutation/upsert.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"upsert.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/upsert.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAaxE,OAAO,KAAK,EAAqB,WAAW,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAkChF,wBAAsB,aAAa,CACjC,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,CA0FzC"}
+{"version":3,"file":"upsert.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/upsert.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAgBxE,OAAO,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AA8BhF,wBAAsB,sCAAsC,CAC1D,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,IAAI,CAAC,CAaf;AAED,wBAAsB,sBAAsB,CAC1C,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,aAAa,EAAE,SAAS,iBAAiB,EAAE,EAC3C,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,SAAS,iBAAiB,EAAE,CAAC,CAgBvC;AAED,wBAAsB,aAAa,CACjC,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,CAuGzC"}

package/dist/operations/mutation/upsert.js

@@ -1,9 +1,10 @@
 import { escapeAtom } from "../../prolog/codec.js";
+import { loadEntities } from "../../public/operations/discovery-entities.js";
+import { appendOnlyVerificationReceiptHistoryErrors } from "../../public/verification-receipt.js";
 import { analyzeSemanticAdvisorInput } from "../semantic-advisor/analyze-prose.js";
-import { recordEntityAudit, recordRelationshipAudits } from "./audit.js";
-import { buildUpsertTransaction, formatUpsertError } from "./contradictions.js";
+import { assertLogicalGroundingClaimKeys, assertSemanticInventoryBoundary, } from "../semantic-advisor/ingestion-boundary.js";
+import { buildUpsertCommitGoal, formatUpsertError } from "./contradictions.js";
 import { existingRelationships, validateLiveRelationshipTargets, validateRelationshipSources, validateStrictLanePairing, } from "./relationships.js";
-import { saveMutation } from "./save.js";
 import { validateSymbolGranularity } from "./symbol-granularity.js";
 import { refreshSymbolCoordinates } from "./symbol-refresh.js";
 import { validateUpsertInput } from "./validation.js";
@@ -14,7 +15,36 @@ function requireProlog(context) {
     }
     return context.prolog;
 }
-async function effectiveRelationships(input, entity, relationships, context) {
+function receiptRecords(value) {
+    if (!Array.isArray(value))
+        return undefined;
+    return value.filter((receipt) => receipt !== null &&
+        typeof receipt === "object" &&
+        !Array.isArray(receipt));
+}
+function parseChangeKind(value) {
+    const normalized = value?.trim().replace(/^['"]|['"]$/g, "");
+    return normalized === "created" || normalized === "updated"
+        ? normalized
+        : null;
+}
+export async function validateAppendOnlyVerificationReceipts(entity, context) {
+    if (entity.type !== "test")
+        return;
+    const existing = await loadEntities(requireProlog(context), {
+        id: String(entity.id),
+        type: "test",
+    });
+    const previous = receiptRecords(existing[0]?.verification_receipts);
+    if (!previous || previous.length === 0)
+        return;
+    const next = receiptRecords(entity.verification_receipts);
+    const errors = appendOnlyVerificationReceiptHistoryErrors(previous, next);
+    if (errors.length > 0) {
+        throw new Error(`Entity validation failed: ${errors.join("; ")}`);
+    }
+}
+export async function effectiveRelationships(input, entity, relationships, context) {
     if (input.relationships !== undefined && input.relationships.length > 0) {
         return relationships;
     }
@@ -36,13 +66,18 @@ export async function executeUpsert(input, context) {
     const prolog = requireProlog(context);
     try {
         const validated = validateUpsertInput(input, context.clock());
+        await validateAppendOnlyVerificationReceipts(validated.entity, context);
         validateRelationshipSources(input.id, validated.relationships);
         await validateSymbolGranularity(validated.entity, validated.relationships, context);
         const relationships = await effectiveRelationships(input, validated.entity, validated.relationships, context);
         await validateStrictLanePairing(prolog, relationships);
         await validateLiveRelationshipTargets(prolog, validated.entity, relationships);
-        const exists = await prolog.query(`once(kb_entity('${escapeAtom(input.id)}', _, _))`);
-        const transaction = buildUpsertTransaction({
+        const semantic = analyzeSemanticAdvisorInput({
+            payload: { ...input, relationships },
+        });
+        assertSemanticInventoryBoundary({ ...input, relationships }, relationships, semantic.receipt);
+        await assertLogicalGroundingClaimKeys(prolog, { ...input, relationships }, relationships);
+        const transaction = buildUpsertCommitGoal({
             entity: validated.entity,
             relationships,
             skipContradictionCheck: input._skipContradictionCheck === true,
@@ -51,9 +86,14 @@ export async function executeUpsert(input, context) {
         if (!written.success) {
             throw new Error(formatUpsertError(input.id, written.error));
         }
-        await recordEntityAudit(prolog, exists.success ? "updated" : "created", validated.entity);
-        await recordRelationshipAudits(prolog, relationships);
-        await saveMutation(prolog);
+        // The combined commit is the sole mutation boundary. Invalidate reads only
+        // after Prolog reports success so a failed/rolled-back commit does not
+        // disturb callers' view of the current snapshot.
+        prolog.invalidateCache?.();
+        const changeKind = parseChangeKind(written.bindings.ChangeKind);
+        if (changeKind === null) {
+            throw new Error(`Upsert commit completed without a created/updated result for ${input.id}`);
+        }
         if (input.type === "symbol") {
             try {
                 await refreshSymbolCoordinates(input.id, context);
@@ -63,12 +103,11 @@ export async function executeUpsert(input, context) {
                     throw error;
             }
         }
-        const semantic = analyzeSemanticAdvisorInput({ payload: { ...input } });
         const coverage = await scenarioCoverageWarnings(prolog, validated.relationships, input.type, input.id);
-        const created = exists.success ? 0 : 1;
+        const created = changeKind === "created" ? 1 : 0;
         const payload = {
             created,
-            updated: exists.success ? 1 : 0,
+            updated: changeKind === "updated" ? 1 : 0,
             relationships_created: relationships.length,
             warnings: [...semantic.warnings, ...coverage],
             semanticAdvisor: semantic.receipt,

package/dist/operations/mutation/validate-upsert.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validate-upsert.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/validate-upsert.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAOxE,OAAO,KAAK,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAGrE,wBAAsB,qBAAqB,CACzC,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,eAAe,CAAC,qBAAqB,CAAC,CAAC,CAoDjD"}
+{"version":3,"file":"validate-upsert.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/validate-upsert.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AACjF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kCAAkC,CAAC;AAYxE,OAAO,KAAK,EAAE,WAAW,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAC;AAOrE,wBAAsB,qBAAqB,CACzC,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,eAAe,CAAC,qBAAqB,CAAC,CAAC,CAoFjD"}

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

@@ -1,16 +1,32 @@
 import { analyzeSemanticAdvisorInput } from "../semantic-advisor/analyze-prose.js";
+import { assertLogicalGroundingClaimKeys, assertSemanticInventoryBoundary, validateSemanticInventoryBoundary, } from "../semantic-advisor/ingestion-boundary.js";
 import { validateLiveRelationshipTargets, validateRelationshipSources, } from "./relationships.js";
 import { validateSymbolGranularity } from "./symbol-granularity.js";
+import { effectiveRelationships, validateAppendOnlyVerificationReceipts, } from "./upsert.js";
 import { validateUpsertInput } from "./validation.js";
 export async function executeValidateUpsert(input, context) {
     try {
         const validated = validateUpsertInput(input, context.clock());
+        await validateAppendOnlyVerificationReceipts(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, validated.relationships);
+            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);
         }
-        const semantic = analyzeSemanticAdvisorInput({ payload: { ...input } });
         const payload = {
             valid: true,
             errors: [],

package/dist/operations/mutation/validation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/validation.ts"],"names":[],"mappings":"AAIA,OAAO,EAEL,0BAA0B,EAC3B,MAAM,oCAAoC,CAAC;AAO5C,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAiF/D,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,WAAW,EAClB,GAAG,EAAE,IAAI,GACR,eAAe,CA0CjB;AAED,OAAO,EAAE,0BAA0B,EAAE,CAAC"}
+{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/validation.ts"],"names":[],"mappings":"AAIA,OAAO,EAEL,0BAA0B,EAC3B,MAAM,oCAAoC,CAAC;AAQ5C,OAAO,KAAK,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAiF/D,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,WAAW,EAClB,GAAG,EAAE,IAAI,GACR,eAAe,CAwDjB;AAED,OAAO,EAAE,0BAA0B,EAAE,CAAC"}

package/dist/operations/mutation/validation.js

@@ -3,6 +3,7 @@ import entitySchema from "../../public/schemas/entity.js";
 import relationshipSchema from "../../public/schemas/relationship.js";
 // implements REQ-kibi-operation-interface-parity
 import { SYMBOL_ROLES, isAllowedGranularityReason, } from "../../public/symbol-granularity.js";
+import { verificationReceiptHistoryErrors } from "../../public/verification-receipt.js";
 import { semanticClaimKey } from "../semantic-advisor/clauses.js";
 import { factKindShapeHints, validateFactModelingShape, valueFieldHint, } from "./strict-fact.js";
 const ajv = new Ajv({ strict: false });
@@ -84,6 +85,13 @@ export function validateUpsertInput(input, now) {
     if (!validateEntity(entity)) {
         throw new Error(`Entity validation failed: ${formatEntityErrors(entity, validateEntity.errors ?? [])}`);
     }
+    if (entity.type === "test" && Array.isArray(entity.verification_receipts)) {
+        const receipts = entity.verification_receipts.filter((value) => typeof value === "object" && value !== null && !Array.isArray(value));
+        const receiptErrors = verificationReceiptHistoryErrors(input.id, entity.verification_scope, receipts);
+        if (receiptErrors.length > 0) {
+            throw new Error(`Entity validation failed: ${receiptErrors.join("; ")}`);
+        }
+    }
     validateFactModelingShape(entity);
     if (entity.type === "fact" &&
         typeof entity.claim_key === "string" &&

package/dist/operations/semantic-advisor/analysis-receipt.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analysis-receipt.d.ts","sourceRoot":"","sources":["../../../src/operations/semantic-advisor/analysis-receipt.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,KAAK,OAAO,EAA6B,MAAM,aAAa,CAAC;AACtE,OAAO,KAAK,EACV,6BAA6B,EAI7B,4BAA4B,EAC5B,0BAA0B,EAC1B,mBAAmB,EACnB,iBAAiB,EACjB,cAAc,EACf,MAAM,YAAY,CAAC;AA0CpB,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,OAAO,EAAE,OAAO,EAChB,WAAW,EAAE,SAAS,0BAA0B,EAAE,EAClD,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,YAAY,EAAE,SAAS,mBAAmB,EAAE,EAC5C,eAAe,EAAE,SAAS,4BAA4B,EAAE,EACxD,cAAc,EAAE,SAAS,iBAAiB,EAAE,GAC3C,6BAA6B,CA4G/B"}
+{"version":3,"file":"analysis-receipt.d.ts","sourceRoot":"","sources":["../../../src/operations/semantic-advisor/analysis-receipt.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EACL,KAAK,OAAO,EAMb,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EACV,6BAA6B,EAI7B,4BAA4B,EAC5B,0BAA0B,EAC1B,mBAAmB,EACnB,iBAAiB,EACjB,cAAc,EACf,MAAM,YAAY,CAAC;AA0CpB,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,OAAO,EAAE,OAAO,EAChB,WAAW,EAAE,SAAS,0BAA0B,EAAE,EAClD,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,YAAY,EAAE,SAAS,mBAAmB,EAAE,EAC5C,eAAe,EAAE,SAAS,4BAA4B,EAAE,EACxD,cAAc,EAAE,SAAS,iBAAiB,EAAE,GAC3C,6BAA6B,CAkH/B"}