kibi-cli 2.14.0 → 2.16.0

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

@@ -1,6 +1,6 @@
 import { buildStrictWriteSet, } from "../../public/check-types.js";
 import { readKbManifestStatus } from "../../utils/kb-manifest.js";
-import { isConventionalSubjectKey, normalizeSubjectKey, } from "../../utils/strict-modeling.js";
+import { factSourcePath, isConventionalSubjectKey, normalizeSubjectKey, } from "../../utils/strict-modeling.js";
 import { modeledClaimRole, normalizeSemanticClause, semanticClaimKey, } from "../semantic-advisor/clauses.js";
 import { detectConditionalRule } from "../semantic-advisor/conditional-rules.js";
 import { advisorPropositionRole } from "../semantic-advisor/proposition-role.js";
@@ -11,7 +11,10 @@ import { estimateNormativeSignalConfidence, extractRequirementClaim, } from "./r
 import { normalizeOptionalString, normalizeSourceFiles, } from "./requirement-utils.js";
 import { alignRequirementVocabulary, } from "./vocabulary-alignment.js";
 const NEW_SUBJECT_REVIEW_SCORE = 0.3;
-function reuseExistingSubject(writeSet, existingFactId) {
+// implements REQ-kibi-subject-vocabulary
+// The write set describes the existing subject fact, so its id and its source
+// both name that fact; the minted fact (and its file) is never created.
+export function reuseExistingSubject(writeSet, existingFactId) {
     if (!writeSet.isStrict)
         return { writeSet, replacedSubjectId: null };
     const replacedSubjectId = writeSet.subjectFact.id;
@@ -22,7 +25,11 @@ function reuseExistingSubject(writeSet, existingFactId) {
             subjectFact: {
                 ...writeSet.subjectFact,
                 id: existingFactId,
-                properties: { ...writeSet.subjectFact.properties, id: existingFactId },
+                properties: {
+                    ...writeSet.subjectFact.properties,
+                    id: existingFactId,
+                    source: factSourcePath(existingFactId),
+                },
             },
             relationships: writeSet.relationships.map((relationship) => relationship.type === "constrains"
                 ? { ...relationship, to: existingFactId }
@@ -57,10 +64,11 @@ function possibleDuplicateObservation(claimKey, statement, source, candidates) {
  * when the keys match. Otherwise the plan explicitly declares a new subject.
  */
 // implements REQ-kibi-subject-vocabulary
-async function applyVocabularyAlignment(context, extracted, claimKey) {
+async function applyVocabularyAlignment(context, extracted, claimKey, requirementId) {
     const initial = buildStrictWriteSet({
         claim: extracted.claim,
         statement: extracted.statement,
+        ...(requirementId !== undefined ? { requirementId } : {}),
     });
     const unchanged = {
         writeSet: initial,
@@ -90,6 +98,7 @@ async function applyVocabularyAlignment(context, extracted, claimKey) {
             const rebuilt = buildStrictWriteSet({
                 claim: { ...extracted.claim, subjectKey: subject.subjectKey },
                 statement: extracted.statement,
+                ...(requirementId !== undefined ? { requirementId } : {}),
             });
             ({ writeSet, replacedSubjectId } = reuseExistingSubject(rebuilt, subject.existingFactId));
         }
@@ -431,7 +440,10 @@ export async function handleKbModelRequirement(_prolog, args, workspaceRoot, con
     if (conditional?.kind === "unparsed")
         return unresolvedConditionalResult(args, extracted, conditional.reason, workspaceRoot);
     const claimKey = semanticClaimKey(extracted.statement);
-    const aligned = await applyVocabularyAlignment(context, extracted, claimKey);
+    // implements REQ-kibi-subject-vocabulary
+    // A caller-named requirement keeps its id: the strict write set updates it
+    // instead of minting REQ-AUTO-<hash>.
+    const aligned = await applyVocabularyAlignment(context, extracted, claimKey, normalizeOptionalString(args.requirementId));
     const writeSet = aligned.writeSet;
     const logicClaims = Array.from(new Set([...(args.existingLogicClaims ?? []), claimKey]));
     const plan = aligned.adjustPlan(strictWriteSetToApplyPlan(writeSet));

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

@@ -1 +1 @@
-{"version":3,"file":"predicate-applicability.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-applicability.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,qBAAqB,EAE3B,MAAM,uBAAuB,CAAC;AAG/B,eAAO,MAAM,uBAAuB,OAAO,CAAC;AAC5C,eAAO,MAAM,0BAA0B,MAAM,CAAC;AAC9C,eAAO,MAAM,qBAAqB,OAAO,CAAC;AA2U1C,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACrC;AAED;;;;GAIG;AACH,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,qBAAqB,EAC7B,IAAI,EAAE,MAAM,GACX,qBAAqB,CA2EvB"}
+{"version":3,"file":"predicate-applicability.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-applicability.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,qBAAqB,EAE3B,MAAM,uBAAuB,CAAC;AAG/B,eAAO,MAAM,uBAAuB,OAAO,CAAC;AAC5C,eAAO,MAAM,0BAA0B,MAAM,CAAC;AAC9C,eAAO,MAAM,qBAAqB,OAAO,CAAC;AAqW1C,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACrC;AAED;;;;GAIG;AACH,wBAAgB,6BAA6B,CAC3C,MAAM,EAAE,qBAAqB,EAC7B,IAAI,EAAE,MAAM,GACX,qBAAqB,CA2EvB"}

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

@@ -163,7 +163,11 @@ const INTENT_RULES = {
             [/use|avoid/i],
             [/api|apis|code|framework|hook|pattern|signal|schema|type|computed/i],
         ],
-        prohibited: [/user|admin|access|permission|mfa|customer/i],
+        // On-screen views and visual patterns are UI design claims (ui_pattern,
+        // same_pattern), not developer coding standards.
+        prohibited: [
+            /user|admin|access|permission|mfa|customer|\bviews?\b|screens?|timeline/i,
+        ],
     },
     release_gate_rule: {
         allOf: [
@@ -263,6 +267,28 @@ const INTENT_RULES = {
         ],
         prohibited: [/deletion|soft\s+delete/i],
     },
+    ui_pattern: {
+        allOf: [
+            [/pattern|timeline|card|list|grid|carousel|table|layout|design/i],
+            [/use|show|present|render|display|design/i],
+        ],
+        prohibited: [/aligned\s+with|colou?r|hex|font/i],
+    },
+    same_pattern: {
+        allOf: [
+            [/same|consistent|match|identical|one\s+\w+\s+for/i],
+            [/both|each|every|variant|role|view|presentation/i],
+        ],
+    },
+    pattern_marker: {
+        allOf: [[/marker|marked|class|test\s*id|data-testid|selector/i]],
+    },
+    ui_container: {
+        allOf: [
+            [/container|panel|sheet|pane|region/i],
+            [/scroll|overflow|half[- ]page|full[- ]height|clip/i],
+        ],
+    },
 };
 function round(value) {
     return Math.round(Math.max(0, Math.min(0.98, value)) * 100) / 100;

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":"AAWA,OAAO,KAAK,EAEV,wBAAwB,EACxB,wBAAwB,EACxB,mBAAmB,EACnB,0BAA0B,EAC1B,qBAAqB,EACtB,MAAM,sBAAsB,CAAC;AAQ9B,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,EAChC,WAAW,CAAC,EAAE;IACZ,WAAW,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IACtC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,eAAe,CAAC,EAAE,wBAAwB,CAAC;IAC3C,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;;OAKG;IACH,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC,GACA,mBAAmB,CAgKrB;AAGD,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,mBAAmB,EAC/B,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA0ChC;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,CAuBhC;AAoBD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAwBhC;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,0BAA0B,CAoE5B"}
+{"version":3,"file":"predicate-applyplan.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-applyplan.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAEV,wBAAwB,EACxB,wBAAwB,EACxB,mBAAmB,EACnB,0BAA0B,EAC1B,qBAAqB,EACtB,MAAM,sBAAsB,CAAC;AAQ9B,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,EAChC,WAAW,CAAC,EAAE;IACZ,WAAW,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IACtC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,eAAe,CAAC,EAAE,wBAAwB,CAAC;IAC3C,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B;;;;OAIG;IACH,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B;;;;;OAKG;IACH,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACzC,GACA,mBAAmB,CA2KrB;AAGD,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,mBAAmB,EAC/B,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA0ChC;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,CAuBhC;AAoBD;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAwBhC;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,0BAA0B,CAoE5B"}

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

@@ -74,17 +74,27 @@ export function buildSuggestion(schema, text, subject, score, argumentBindings =
                     constrainedSubjects,
                 }),
     ]));
-    // The subject the planned predicate fact is about, when the requirement
-    // constrains subjects: the `subject` argument's value, or for a schema
-    // without one the reviewed subject, recorded as the fact's subject_key.
-    const subjectKey = constrainedSubjects.length === 0
+    // The subjects the planned predicate must be about: those the requirement
+    // constrains, or, for a requirement that is not written yet or constrains
+    // nothing, the explicit subjectHint. The hint is then the subject fact the
+    // agent is about to link, so the planned fact carries its subject_key and
+    // kb_check pairs the two once the requirement is written.
+    const plannedSubjects = constrainedSubjects.length > 0
+        ? constrainedSubjects
+        : explicitSubject
+            ? [subject]
+            : [];
+    // The subject the planned predicate fact is about: the `subject`
+    // argument's value, or for a schema without one the reviewed subject,
+    // recorded as the fact's subject_key.
+    const subjectKey = plannedSubjects.length === 0
         ? null
         : subjectArgument >= 0
             ? (predicateArgs[subjectArgument] ?? null)
             : (reviewedSubject ?? null);
-    const subjectPairing = constrainedSubjects.length === 0
+    const subjectPairing = plannedSubjects.length === 0
         ? "not_required"
-        : subjectKey !== null && constrainedSubjects.includes(subjectKey)
+        : subjectKey !== null && plannedSubjects.includes(subjectKey)
             ? "paired"
             : "unpaired";
     const bindingProvenance = aggregateBindingProvenance(Object.values(bindingProvenanceByArgument));

package/dist/operations/modeling/predicate-binding-hints.d.ts

@@ -6,6 +6,16 @@ import type { BindingHint, PredicateSuggestion } from "./predicate-types.js";
  * instead of guessing.
  */
 export declare function buildBindingHints(candidate: PredicateSuggestion, text: string, requirementSubjects?: readonly string[]): BindingHint[];
+/**
+ * The unbound participant arguments (`actor`, `actor_scope`, `role`,
+ * `owner`) of a candidate that the claim names no participant for: the
+ * current value is empty or a placeholder, the requirement's subject key, or
+ * a clause of the claim that opens with a gerund (an activity, not a
+ * participant), and none of the argument's declared constants or schema
+ * example values occurs in the claim text. The agent cannot bind such an
+ * argument from the claim, so the schema does not fit the claim.
+ */
+export declare function unnamedParticipantArguments(candidate: PredicateSuggestion, text: string, requirementSubjects?: readonly string[]): string[];
 /** One line per hint for the text summary: `name (type, e.g. a, b)`. */
 export declare function describeBindingHints(hints: readonly BindingHint[]): string;
 //# sourceMappingURL=predicate-binding-hints.d.ts.map

package/dist/operations/modeling/predicate-binding-hints.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"predicate-binding-hints.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-binding-hints.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAmF7E;;;;;GAKG;AAEH,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,mBAAmB,EAC9B,IAAI,EAAE,MAAM,EACZ,mBAAmB,GAAE,SAAS,MAAM,EAAO,GAC1C,WAAW,EAAE,CA6Df;AAED,wEAAwE;AACxE,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,GAAG,MAAM,CAW1E"}
+{"version":3,"file":"predicate-binding-hints.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-binding-hints.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAoF7E;;;;;GAKG;AAEH,wBAAgB,iBAAiB,CAC/B,SAAS,EAAE,mBAAmB,EAC9B,IAAI,EAAE,MAAM,EACZ,mBAAmB,GAAE,SAAS,MAAM,EAAO,GAC1C,WAAW,EAAE,CA6Df;AAqCD;;;;;;;;GAQG;AAEH,wBAAgB,2BAA2B,CACzC,SAAS,EAAE,mBAAmB,EAC9B,IAAI,EAAE,MAAM,EACZ,mBAAmB,GAAE,SAAS,MAAM,EAAO,GAC1C,MAAM,EAAE,CA8BV;AAED,wEAAwE;AACxE,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,GAAG,MAAM,CAW1E"}

package/dist/operations/modeling/predicate-binding-hints.js

@@ -1,4 +1,5 @@
 import { bindingCanBeApplied, clauseBindingReason, isGenericPlaceholder, isParticipantArgumentType, nameOrStopWordReason, subjectKeyParticipantReason, } from "./predicate-bindings.js";
+import { escapeRegExp } from "./predicate-utils.js";
 const MAX_EXAMPLES = 5;
 /** Split `name(a, b(c), d)` into its top-level arguments, or [] when it is not a call. */
 function exampleArguments(example) {
@@ -134,6 +135,79 @@ export function buildBindingHints(candidate, text, requirementSubjects = []) {
         };
     });
 }
+/**
+ * Whether the claim text names `value`: its words in order, any separator,
+ * with a plural ending allowed on the last word (`guest` names `guests`).
+ */
+// implements REQ-model-predicates-participant-not-subject
+function claimNamesValue(text, value) {
+    const words = value
+        .toLowerCase()
+        .split(/[\s_.-]+/)
+        .filter(Boolean);
+    if (words.length === 0)
+        return false;
+    // Lookarounds instead of \b: a value may start or end with a symbol
+    // (`svc(ci)`, `c++`), where a word boundary never matches.
+    return new RegExp(`(?<!\\w)${words.map(escapeRegExp).join("[\\s_-]+")}(?:e?s)?(?!\\w)`, "i").test(text);
+}
+/**
+ * Whether a clause lifted from the claim describes an action rather than a
+ * participant: it opens with a gerund ("Discarding a draft while …"). A
+ * clause that opens with a noun ("Administrators who were granted …") may
+ * still name the participant in its first words, so it is left to the agent.
+ */
+// implements REQ-model-predicates-participant-not-subject
+function clauseIsActivity(clause) {
+    const head = clause
+        .toLowerCase()
+        .split(/[\s_-]+/)
+        .find(Boolean) ?? "";
+    return head.length > 4 && head.endsWith("ing");
+}
+/**
+ * The unbound participant arguments (`actor`, `actor_scope`, `role`,
+ * `owner`) of a candidate that the claim names no participant for: the
+ * current value is empty or a placeholder, the requirement's subject key, or
+ * a clause of the claim that opens with a gerund (an activity, not a
+ * participant), and none of the argument's declared constants or schema
+ * example values occurs in the claim text. The agent cannot bind such an
+ * argument from the claim, so the schema does not fit the claim.
+ */
+// implements REQ-model-predicates-participant-not-subject
+export function unnamedParticipantArguments(candidate, text, requirementSubjects = []) {
+    const schema = candidate.schema;
+    const parsedExamples = schema.examples.map(exampleArguments);
+    return candidate.unbound_arguments.filter((name) => {
+        const position = schema.argument_names.indexOf(name);
+        if (position < 0)
+            return false;
+        const type = schema.argument_types[position];
+        if (!isParticipantArgumentType(type))
+            return false;
+        const constants = schema.argument_constants?.[name];
+        const current = candidate.predicate_args[position] ?? "";
+        const unnamed = !current.trim() ||
+            isGenericPlaceholder(current) ||
+            subjectKeyParticipantReason(current, {
+                argumentType: type,
+                constants,
+                constrainedSubjects: requirementSubjects,
+            }) !== null ||
+            (clauseBindingReason(current, { argumentType: type, constants }) !==
+                null &&
+                clauseIsActivity(current));
+        if (!unnamed)
+            return false;
+        const known = [
+            ...(constants ?? []),
+            ...parsedExamples
+                .map((args) => args[position])
+                .filter((value) => typeof value === "string"),
+        ];
+        return !known.some((value) => claimNamesValue(text, value));
+    });
+}
 /** One line per hint for the text summary: `name (type, e.g. a, b)`. */
 export function describeBindingHints(hints) {
     return hints

package/dist/operations/modeling/predicate-catalog-5.d.ts

@@ -1,7 +1,7 @@
 import type { PredicateSchemaCandidate } from "./predicate-types.js";
 /**
- * Predicate families added from consumer escalation evidence (Align
- * dogfooding, 2026-08/09): fail-closed authorization, deployment
+ * Predicate families added from consumer escalation evidence (test
+ * project dogfooding, 2026-08/09): fail-closed authorization, deployment
  * preconditions, migration sequencing, diagnostic visibility, mutation
  * authority, request deduplication, async boundaries, canonical
  * identifiers, responsive breakpoints, and operational pauses.

package/dist/operations/modeling/predicate-catalog-5.js

@@ -1,6 +1,6 @@
 /**
- * Predicate families added from consumer escalation evidence (Align
- * dogfooding, 2026-08/09): fail-closed authorization, deployment
+ * Predicate families added from consumer escalation evidence (test
+ * project dogfooding, 2026-08/09): fail-closed authorization, deployment
  * preconditions, migration sequencing, diagnostic visibility, mutation
  * authority, request deduplication, async boundaries, canonical
  * identifiers, responsive breakpoints, and operational pauses.

package/dist/operations/modeling/predicate-catalog-6.d.ts

@@ -0,0 +1,9 @@
+import type { PredicateSchemaCandidate } from "./predicate-types.js";
+/**
+ * UI design patterns: which visual pattern a concept uses, which variants
+ * must share it, which code markers make it recognisable, and the layout
+ * shell it sits in. `kibi-plugin-ui` enforces these through its check policy;
+ * without that plugin they are ordinary predicates.
+ */
+export declare const PREDICATE_CATALOG_6: PredicateSchemaCandidate[];
+//# sourceMappingURL=predicate-catalog-6.d.ts.map

package/dist/operations/modeling/predicate-catalog-6.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicate-catalog-6.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-6.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAErE;;;;;GAKG;AAEH,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAsGzD,CAAC"}

package/dist/operations/modeling/predicate-catalog-6.js

@@ -0,0 +1,106 @@
+/**
+ * UI design patterns: which visual pattern a concept uses, which variants
+ * must share it, which code markers make it recognisable, and the layout
+ * shell it sits in. `kibi-plugin-ui` enforces these through its check policy;
+ * without that plugin they are ordinary predicates.
+ */
+// implements REQ-mcp-suggest-predicates, REQ-ui-pattern-vocabulary
+export const PREDICATE_CATALOG_6 = [
+    {
+        id: "FACT-SCHEMA-UI-PATTERN",
+        predicate_name: "ui_pattern",
+        title: "UI pattern",
+        description: "A UI concept must be presented with a named visual pattern, such as a line-and-dots timeline or a card list.",
+        argument_names: ["subject", "pattern"],
+        argument_types: ["ui_entity", "ui_pattern"],
+        argument_descriptions: [
+            "The UI concept or region, such as an annotation list.",
+            "The agreed visual pattern for that concept.",
+        ],
+        keywords: [
+            "pattern",
+            "design pattern",
+            "presented as",
+            "rendered as",
+            "displayed as",
+            "timeline",
+            "card list",
+            "layout pattern",
+        ],
+        aliases: ["visual pattern", "design direction"],
+        examples: ["ui_pattern(annotation_list, line_dots_timeline)"],
+        tags: ["ui", "design", "pattern"],
+    },
+    {
+        id: "FACT-SCHEMA-SAME-PATTERN",
+        predicate_name: "same_pattern",
+        title: "Same pattern across variants",
+        description: "Two variants of a UI concept (roles, viewports, presentations) must use the same visual pattern.",
+        argument_names: ["subject", "variant", "other_variant"],
+        argument_types: ["ui_entity", "ui_variant", "ui_variant"],
+        argument_descriptions: [
+            "The UI concept whose variants must not diverge.",
+            "One variant, such as a role or presentation.",
+            "The variant that must match it.",
+        ],
+        keywords: [
+            "same pattern",
+            "same design",
+            "consistent",
+            "for both",
+            "same timeline",
+            "must match",
+        ],
+        aliases: ["consistent across roles", "no divergent variant"],
+        examples: ["same_pattern(annotation_list, editor_view, read_only_view)"],
+        tags: ["ui", "design", "consistency"],
+    },
+    {
+        id: "FACT-SCHEMA-PATTERN-MARKER",
+        predicate_name: "pattern_marker",
+        title: "Pattern marker",
+        description: "A visual pattern is recognisable in code by a stable marker such as a CSS class or test id.",
+        argument_names: ["subject", "marker"],
+        argument_types: ["ui_pattern", "ui_marker"],
+        argument_descriptions: [
+            "The visual pattern the marker belongs to.",
+            "Literal class name or test id that implementations of the pattern contain.",
+        ],
+        keywords: [
+            "marker",
+            "marked by",
+            "class name",
+            "test id",
+            "data-testid",
+            "css class",
+        ],
+        aliases: ["pattern anchor"],
+        examples: ["pattern_marker(line_dots_timeline, timeline_dot)"],
+        tags: ["ui", "design", "pattern"],
+    },
+    {
+        id: "FACT-SCHEMA-UI-CONTAINER",
+        predicate_name: "ui_container",
+        title: "UI container",
+        description: "A UI region must sit in a container of a given size with a given overflow behaviour.",
+        argument_names: ["subject", "size", "overflow"],
+        argument_types: ["ui_entity", "ui_size", "ui_overflow"],
+        argument_descriptions: [
+            "The UI region the container holds.",
+            "Container size, such as half_page or full_height.",
+            "Overflow behaviour, such as scroll or clip.",
+        ],
+        keywords: [
+            "container",
+            "half page",
+            "half-page",
+            "scrollbar",
+            "scrollable",
+            "panel",
+            "overflow",
+        ],
+        aliases: ["layout shell"],
+        examples: ["ui_container(review_panel, half_page, scroll)"],
+        tags: ["ui", "design", "layout"],
+    },
+];

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

@@ -1 +1 @@
-{"version":3,"file":"predicate-catalog.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,wBAAwB,EACxB,mBAAmB,EACpB,MAAM,sBAAsB,CAAC;AAO9B,eAAO,MAAM,mBAAmB,EAAE,mBAOjC,CAAC;AAGF,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAKxE,CAAC;AAGF,eAAO,MAAM,0BAA0B,EAAE,wBAAwB,EAMhE,CAAC"}
+{"version":3,"file":"predicate-catalog.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog.ts"],"names":[],"mappings":"AAMA,OAAO,KAAK,EACV,wBAAwB,EACxB,mBAAmB,EACpB,MAAM,sBAAsB,CAAC;AAO9B,eAAO,MAAM,mBAAmB,EAAE,mBAOjC,CAAC;AAGF,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAKxE,CAAC;AAGF,eAAO,MAAM,0BAA0B,EAAE,wBAAwB,EAOhE,CAAC"}

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

@@ -3,6 +3,7 @@ import { PREDICATE_CATALOG_2 } from "./predicate-catalog-2.js";
 import { PREDICATE_CATALOG_3 } from "./predicate-catalog-3.js";
 import { PREDICATE_CATALOG_4 } from "./predicate-catalog-4.js";
 import { PREDICATE_CATALOG_5 } from "./predicate-catalog-5.js";
+import { PREDICATE_CATALOG_6 } from "./predicate-catalog-6.js";
 import { PREDICATE_USAGE_HINTS_1 } from "./predicate-usage-hints-1.js";
 import { PREDICATE_USAGE_HINTS_2 } from "./predicate-usage-hints-2.js";
 import { PREDICATE_USAGE_HINTS_3 } from "./predicate-usage-hints-3.js";
@@ -30,4 +31,5 @@ export const BUILT_IN_PREDICATE_SCHEMAS = [
     ...PREDICATE_CATALOG_3,
     ...PREDICATE_CATALOG_4,
     ...PREDICATE_CATALOG_5,
+    ...PREDICATE_CATALOG_6,
 ];

package/dist/operations/modeling/predicate-usage-hints-4.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"predicate-usage-hints-4.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-usage-hints-4.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAGhE,eAAO,MAAM,uBAAuB,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAkFvE,CAAC"}
+{"version":3,"file":"predicate-usage-hints-4.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-usage-hints-4.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAGhE,eAAO,MAAM,uBAAuB,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAkHvE,CAAC"}

package/dist/operations/modeling/predicate-usage-hints-4.js

@@ -81,4 +81,36 @@ export const PREDICATE_USAGE_HINTS_4 = {
         ],
         // implements REQ-mcp-suggest-predicates
     },
+    ui_pattern: {
+        use_when: [
+            "Use when a UI concept must be presented with a named visual pattern that other screens or variants must not replace.",
+        ],
+        do_not_use_when: [
+            "Do not use for alignment between two elements (visual_layout_rule) or for colours and spacing a linter can check.",
+        ],
+    },
+    same_pattern: {
+        use_when: [
+            "Use when two variants of one UI concept, such as roles or presentations, must render the same visual pattern.",
+        ],
+        do_not_use_when: [
+            "Do not use when the variants are intentionally different; record that difference in the requirement instead.",
+        ],
+    },
+    pattern_marker: {
+        use_when: [
+            "Use to name a stable class or test id that every implementation of a visual pattern contains.",
+        ],
+        do_not_use_when: [
+            "Do not use for markers that change with content or styling, such as generated class names.",
+        ],
+    },
+    ui_container: {
+        use_when: [
+            "Use when a UI region must sit in a container of a named size with a named overflow behaviour, such as a half-page scroll panel.",
+        ],
+        do_not_use_when: [
+            "Do not use for exact pixel sizes or brand tokens a linter or stylesheet already enforces.",
+        ],
+    },
 };

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":"AAEA,OAAO,KAAK,EACV,gBAAgB,EAChB,UAAU,EACX,MAAM,0CAA0C,CAAC;AAyBlD,OAAO,KAAK,EAGV,mBAAmB,EACnB,qBAAqB,EACrB,uBAAuB,EACxB,MAAM,sBAAsB,CAAC;AAG9B,YAAY,EACV,iBAAiB,EACjB,wBAAwB,EACxB,mBAAmB,EACnB,0BAA0B,EAC1B,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,sBAAsB,CAAC;AA6H9B,wBAAgB,sCAAsC,CACpD,IAAI,EAAE,IAAI,CAAC,mBAAmB,EAAE,qBAAqB,GAAG,gBAAgB,CAAC,EACzE,KAAK,EAAE,IAAI,CAAC,mBAAmB,EAAE,qBAAqB,GAAG,gBAAgB,CAAC,GACzE,MAAM,CAIR;AAED,wBAAgB,2CAA2C,CACzD,IAAI,EAAE,IAAI,CACR,mBAAmB,EACnB,qBAAqB,GAAG,OAAO,GAAG,gBAAgB,CACnD,EACD,KAAK,EAAE,IAAI,CACT,mBAAmB,EACnB,qBAAqB,GAAG,OAAO,GAAG,gBAAgB,CACnD,GACA,MAAM,CAKR;AA+HD,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,UAAU,GAAG,IAAI,EACzB,IAAI,EAAE,qBAAqB,EAC3B,OAAO,CAAC,EAAE,gBAAgB,GACzB,OAAO,CAAC,uBAAuB,CAAC,CAwRlC;AA2ID,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":"AAEA,OAAO,KAAK,EACV,gBAAgB,EAChB,UAAU,EACX,MAAM,0CAA0C,CAAC;AA0BlD,OAAO,KAAK,EAGV,mBAAmB,EACnB,qBAAqB,EACrB,uBAAuB,EACxB,MAAM,sBAAsB,CAAC;AAG9B,YAAY,EACV,iBAAiB,EACjB,wBAAwB,EACxB,mBAAmB,EACnB,0BAA0B,EAC1B,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,sBAAsB,CAAC;AA6H9B,wBAAgB,sCAAsC,CACpD,IAAI,EAAE,IAAI,CAAC,mBAAmB,EAAE,qBAAqB,GAAG,gBAAgB,CAAC,EACzE,KAAK,EAAE,IAAI,CAAC,mBAAmB,EAAE,qBAAqB,GAAG,gBAAgB,CAAC,GACzE,MAAM,CAIR;AAED,wBAAgB,2CAA2C,CACzD,IAAI,EAAE,IAAI,CACR,mBAAmB,EACnB,qBAAqB,GAAG,OAAO,GAAG,gBAAgB,CACnD,EACD,KAAK,EAAE,IAAI,CACT,mBAAmB,EACnB,qBAAqB,GAAG,OAAO,GAAG,gBAAgB,CACnD,GACA,MAAM,CAKR;AA+HD,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,UAAU,GAAG,IAAI,EACzB,IAAI,EAAE,qBAAqB,EAC3B,OAAO,CAAC,EAAE,gBAAgB,GACzB,OAAO,CAAC,uBAAuB,CAAC,CAmTlC;AA2ID,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,qBAAqB,EAC3B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,uBAAuB,CAAC,CAElC"}

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

@@ -6,7 +6,7 @@ import { semanticClaimKey } from "../semantic-advisor/clauses.js";
 import { composeOntologyCatalogForOperation } from "../semantic-advisor/plugin-orchestration.js";
 import { STRONG_APPLICABILITY_SCORE, WEAK_CANDIDATE_MARGIN, evaluateSemanticApplicability, } from "./predicate-applicability.js";
 import { buildGapApplyPlan, buildPredicateApplyPlan, buildPredicateSchemaDraft, buildRelationshipPlan, buildSuggestion, } from "./predicate-applyplan.js";
-import { buildBindingHints, describeBindingHints, } from "./predicate-binding-hints.js";
+import { buildBindingHints, describeBindingHints, unnamedParticipantArguments, } from "./predicate-binding-hints.js";
 import { BUILT_IN_PREDICATE_SCHEMAS } from "./predicate-catalog.js";
 import { inferSubject } from "./predicate-inference.js";
 import { loadExistingPredicateSchemas } from "./predicate-loader.js";
@@ -326,6 +326,20 @@ export async function handleKbSuggestPredicates(prolog, args, context) {
     const completeCandidate = recommendedCandidate && recommendedCandidate.binding_status === "complete"
         ? recommendedCandidate
         : undefined;
+    // implements REQ-model-predicates-participant-not-subject
+    // A schema whose participant argument (actor, role, owner) the claim never
+    // names does not fit the claim: no binding the agent could supply would be
+    // read from the claim. When every unbound argument of the recommended
+    // candidate is such a participant, the claim is an ontology gap, not a
+    // binding request. An argument unbound for another reason (a value the
+    // claim does name but in other words, a closed vocabulary) still asks for
+    // bindings.
+    const unnamedParticipants = recommendedCandidate && !completeCandidate
+        ? unnamedParticipantArguments(recommendedCandidate, text, requirementSubjects)
+        : [];
+    const schemaDoesNotFit = unnamedParticipants.length > 0 &&
+        unnamedParticipants.length ===
+            (recommendedCandidate?.unbound_arguments.length ?? 0);
     // The action names the predicate state; existingGrounding (non-empty) is
     // the separate "already grounded" signal. A complete candidate for a claim
     // that is already grounded becomes a replacement, never a second link.
@@ -337,7 +351,9 @@ export async function handleKbSuggestPredicates(prolog, args, context) {
             ? alreadyGrounded
                 ? "replace_grounding"
                 : "apply_requires_predicate"
-            : "provide_argument_bindings";
+            : schemaDoesNotFit
+                ? "record_ontology_gap"
+                : "provide_argument_bindings";
     const predicatePlan = completeCandidate
         ? buildPredicateApplyPlan(completeCandidate, args)
         : [];
@@ -349,7 +365,7 @@ export async function handleKbSuggestPredicates(prolog, args, context) {
         ? alreadyGrounded
             ? []
             : predicatePlan
-        : !recommendedCandidate && !unavailableSchema
+        : (!recommendedCandidate && !unavailableSchema) || schemaDoesNotFit
             ? buildGapApplyPlan(text, args)
             : [];
     const plannedFactId = typeof predicatePlan[0]?.id === "string" ? predicatePlan[0].id : null;
@@ -368,7 +384,10 @@ export async function handleKbSuggestPredicates(prolog, args, context) {
     if (alreadyGrounded) {
         warnings.push(`${args.requirementId} already grounds this claim (${claimKey}) through ${groundingSummary}. A modeled claim takes exactly one logical grounding relationship, so adding requires_predicate beside it fails the proposition-complete rule. ${replacementPlan ? "Keep the existing grounding, or follow replacementPlan to swap it for the predicate." : "Keep the existing grounding; no predicate replacement is available yet."}`);
     }
-    const bindingHints = recommendedAction === "provide_argument_bindings" && recommendedCandidate
+    // The hints stay on a schema that does not fit, so the agent can see which
+    // participant the claim would have to name.
+    const bindingHints = (recommendedAction === "provide_argument_bindings" || schemaDoesNotFit) &&
+        recommendedCandidate
         ? buildBindingHints(recommendedCandidate, text, requirementSubjects)
         : [];
     if (recommendedCandidate?.subject_pairing === "unpaired") {
@@ -385,13 +404,15 @@ export async function handleKbSuggestPredicates(prolog, args, context) {
             ? `To use ${completeCandidate?.predicate_name} instead, follow replacementPlan and link requires_predicate to ${plannedFactId}; otherwise keep the existing grounding.`
             : completeCandidate
                 ? `Suggested ${candidates.length} predicate candidate(s). Top applicable match: ${completeCandidate.predicate_name}. Apply the predicate fact ${plannedFactId}, then link requires_predicate to that fact id (not a candidate id).`
-                : recommendedCandidate
-                    ? `Matched ${recommendedCandidate.predicate_name}, but exact reviewed values are still required for: ${recommendedCandidate.unbound_arguments.join(", ")}. Bind them from the claim text: ${describeBindingHints(bindingHints)}. A value that repeats an argument name or a stop word stays unbound. No apply plan was generated.`
-                    : unavailableSchema
-                        ? `Requested predicate schema ${args.schemaId} is unavailable or semantically inapplicable. No apply plan was generated.`
-                        : alreadyGrounded
-                            ? "No predicate candidate passed the semantic applicability gate; keep the existing grounding and record the ontology-gap observation in applyPlan so the missing schema stays visible."
-                            : "No predicate candidate passed the semantic applicability gate; record an ontology gap and review the generated schema draft instead of silently writing prose.");
+                : schemaDoesNotFit && recommendedCandidate
+                    ? `Matched ${recommendedCandidate.predicate_name}, but the claim names no ${unnamedParticipants.join(" or ")} (${describeBindingHints(bindingHints)}), so this schema does not fit the claim. Record the ontology-gap observation in applyPlan instead of inventing a participant; a predicate_schema whose arguments the claim names would fit.`
+                    : recommendedCandidate
+                        ? `Matched ${recommendedCandidate.predicate_name}, but exact reviewed values are still required for: ${recommendedCandidate.unbound_arguments.join(", ")}. Bind them from the claim text: ${describeBindingHints(bindingHints)}. A value that repeats an argument name or a stop word stays unbound. No apply plan was generated.`
+                        : unavailableSchema
+                            ? `Requested predicate schema ${args.schemaId} is unavailable or semantically inapplicable. No apply plan was generated.`
+                            : alreadyGrounded
+                                ? "No predicate candidate passed the semantic applicability gate; keep the existing grounding and record the ontology-gap observation in applyPlan so the missing schema stays visible."
+                                : "No predicate candidate passed the semantic applicability gate; record an ontology gap and review the generated schema draft instead of silently writing prose.");
     const logicClaims = Array.from(new Set([...(args.existingLogicClaims ?? []), claimKey]));
     return {
         content: [{ type: "text", text: textSummary }],

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

@@ -6,6 +6,14 @@ type TransactionInput = {
     readonly skipContradictionCheck: boolean;
 };
 export declare function buildUpsertCommitGoal(input: TransactionInput): string;
+/**
+ * Goal that stages the same entity and relationships the commit goal would
+ * and runs the commit-time contradiction check inside a transaction that is
+ * always rolled back (kb_preview_upsert_contradiction/3). It succeeds when
+ * the commit would pass the check and fails with the commit's error when it
+ * would not; it never writes.
+ */
+export declare function buildUpsertContradictionPreviewGoal(input: TransactionInput): string;
 type WhatIfInput = TransactionInput & {
     readonly relationshipsOnly?: boolean;
 };

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":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AASrE,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;AAiBD,KAAK,WAAW,GAAG,gBAAgB,GAAG;IAAE,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC;AAgB/E;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,SAAS,WAAW,EAAE,GAC7B,MAAM,CAER;AAGD;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,SAAS,WAAW,EAAE,GAC7B,MAAM,CAER;AAED,oEAAoE;AAEpE,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,SAAS,gBAAgB,EAAE,GAClC,MAAM,CAKR;AAGD,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC1C,KAAK,EAAE,MAAM,GACZ,KAAK,CAAC,SAAS,GAAG,SAAS,CAAC,CAe9B;AAGD,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,MAAM,EAChB,GAAG,CAAC,EAAE,MAAM,EACZ,MAAM,CAAC,EAAE,iBAAiB,GACzB,MAAM,CAOR"}
+{"version":3,"file":"contradictions.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/contradictions.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,6BAA6B,CAAC;AASrE,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;;;;;;GAMG;AACH,wBAAgB,mCAAmC,CACjD,KAAK,EAAE,gBAAgB,GACtB,MAAM,CAOR;AAiBD,KAAK,WAAW,GAAG,gBAAgB,GAAG;IAAE,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC;AAgB/E;;;;;GAKG;AACH,wBAAgB,4BAA4B,CAC1C,MAAM,EAAE,SAAS,WAAW,EAAE,GAC7B,MAAM,CAER;AAGD;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,SAAS,WAAW,EAAE,GAC7B,MAAM,CAER;AAED,oEAAoE;AAEpE,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,SAAS,gBAAgB,EAAE,GAClC,MAAM,CAKR;AAGD,wBAAgB,sBAAsB,CACpC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC1C,KAAK,EAAE,MAAM,GACZ,KAAK,CAAC,SAAS,GAAG,SAAS,CAAC,CAe9B;AAGD,wBAAgB,iBAAiB,CAC/B,QAAQ,EAAE,MAAM,EAChB,GAAG,CAAC,EAAE,MAAM,EACZ,MAAM,CAAC,EAAE,iBAAiB,GACzB,MAAM,CAOR"}

package/dist/operations/mutation/contradictions.js

@@ -7,6 +7,19 @@ export function buildUpsertCommitGoal(input) {
     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
+/**
+ * Goal that stages the same entity and relationships the commit goal would
+ * and runs the commit-time contradiction check inside a transaction that is
+ * always rolled back (kb_preview_upsert_contradiction/3). It succeeds when
+ * the commit would pass the check and fails with the commit's error when it
+ * would not; it never writes.
+ */
+export function buildUpsertContradictionPreviewGoal(input) {
+    const type = String(input.entity.type);
+    const relationships = input.relationships.map((relationship) => `rel(${String(relationship.type)}, '${escapeAtom(String(relationship.from))}', '${escapeAtom(String(relationship.to))}', ${buildRelationshipMetadata(relationship)})`);
+    return `kb_preview_upsert_contradiction(${type}, ${buildPropertyList(input.entity)}, [${relationships.join(", ")}])`;
+}
 function upsertBatchEntry(input) {
     const type = String(input.entity.type);
     const relationships = input.relationships.map((relationship) => `rel(${String(relationship.type)}, '${escapeAtom(String(relationship.from))}', '${escapeAtom(String(relationship.to))}', ${buildRelationshipMetadata(relationship)})`);