kibi-cli 2.10.0 → 2.12.0

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

@@ -1 +1 @@
-{"version":3,"file":"predicate-bindings.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-bindings.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAkG9D,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAW3D;AAED,wBAAgB,eAAe,CAC7B,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,OAAO,EACjB,SAAS,UAAQ,GAChB,iBAAiB,CAYnB;AASD,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,SAAS,iBAAiB,EAAE,GACnC,iBAAiB,CAQnB;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAErE"}
+{"version":3,"file":"predicate-bindings.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-bindings.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AAgH9D,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAW3D;AAgED,iEAAiE;AACjE,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAMlD;AAED,sDAAsD;AACtD,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC;IACpC,qCAAqC;IACrC,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,yCAAyC;IACzC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,sEAAsE;IACtE,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CAAC;IAC1C;;;;OAIG;IACH,IAAI,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CAC3B,CAAC,CAAC;AAiBH;;;;GAIG;AAEH,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,MAAM,EACb,OAAO,GAAE,cAAmB,GAC3B,MAAM,GAAG,IAAI,CAYf;AAGD,wBAAgB,eAAe,CAC7B,KAAK,EAAE,MAAM,EACb,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,OAAO,EACjB,SAAS,UAAQ,EACjB,OAAO,GAAE,cAAmB,GAC3B,iBAAiB,CAmBnB;AAUD,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,SAAS,iBAAiB,EAAE,GACnC,iBAAiB,CAQnB;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,iBAAiB,GAAG,OAAO,CAIrE"}

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

@@ -67,6 +67,20 @@ const DERIVED_CUE_ALIASES = {
     ],
     actionable_error: ["actionable", "clear error", "report", "error"],
     exception: ["exception", "except", "package-manager", "package manager"],
+    // Wording that names a closed-vocabulary constant without spelling it.
+    deny: [
+        "denied",
+        "must not",
+        "must never",
+        "forbidden",
+        "prohibited",
+        "not allowed",
+        "not be allowed",
+    ],
+    allow: ["is allowed", "are allowed", "permitted"],
+    on_demand: ["on demand", "on request"],
+    timeout: ["times out", "timed out", "time out"],
+    submit: ["submission", "submits", "submitted"],
 };
 function textContainsValue(text, value) {
     const lower = text.toLowerCase();
@@ -92,12 +106,122 @@ export function isGenericPlaceholder(value) {
         (normalized.endsWith("_policy") &&
             ["executable", "cwd", "environment", "stdio", "termination"].some((kind) => normalized.startsWith(kind))));
 }
-export function classifyBinding(value, text, explicit, canonical = false) {
+/**
+ * Words that carry no domain meaning on their own: auxiliary and trivial
+ * verbs, articles, pronouns and filler. A binding made of one of them names
+ * no reviewed value, so it stays unbound.
+ */
+const STOP_WORD_BINDINGS = new Set([
+    "a",
+    "an",
+    "the",
+    "be",
+    "is",
+    "are",
+    "was",
+    "were",
+    "been",
+    "being",
+    "am",
+    "do",
+    "does",
+    "did",
+    "done",
+    "have",
+    "has",
+    "had",
+    "it",
+    "its",
+    "this",
+    "that",
+    "these",
+    "those",
+    "they",
+    "them",
+    "there",
+    "thing",
+    "something",
+    "anything",
+    "some",
+    "any",
+    "of",
+    "to",
+    "in",
+    "at",
+    "by",
+    "for",
+    "with",
+    "and",
+    "or",
+    "not",
+    "null",
+    "nil",
+    "n_a",
+    "na",
+    "tbd",
+    "todo",
+    "x",
+    "xxx",
+    "foo",
+    "bar",
+    "example",
+    "placeholder",
+]);
+/** A binding value in the snake_case form argument names use. */
+export function bindingToken(value) {
+    return value
+        .trim()
+        .toLowerCase()
+        .replace(/[^a-z0-9]+/g, "_")
+        .replace(/^_+|_+$/g, "");
+}
+function claimNames(text, token) {
+    if (!text || !token)
+        return false;
+    const words = token.split("_").filter(Boolean);
+    if (words.length === 0)
+        return false;
+    return new RegExp(`\\b${words.join("[\\s_-]+")}\\b`, "i").test(text);
+}
+function matchesConstant(value, context) {
+    const token = bindingToken(value);
+    return (context.constants?.some((constant) => bindingToken(constant) === token) ??
+        false);
+}
+/**
+ * Why a value only stands in for a binding, or null when it can be a reviewed
+ * value: it repeats its own or another argument's name, or it is a bare stop
+ * word. Declared constants and the booleans `true`/`false` always pass.
+ */
+// implements REQ-model-predicates-binding-placeholders
+export function nameOrStopWordReason(value, context = {}) {
+    const token = bindingToken(value);
+    if (token === "true" || token === "false")
+        return null;
+    if (matchesConstant(value, context))
+        return null;
+    if (STOP_WORD_BINDINGS.has(token))
+        return `"${token}" is a stop word`;
+    const own = context.argumentName ? bindingToken(context.argumentName) : "";
+    const repeatsName = (own !== "" && token === own) ||
+        (context.argumentNames ?? []).some((name) => bindingToken(name) === token);
+    if (repeatsName && !claimNames(context.text, token))
+        return `it repeats the argument name ${token} and the claim does not name it`;
+    return null;
+}
+// implements REQ-mcp-suggest-predicates, REQ-model-predicates-binding-placeholders
+export function classifyBinding(value, text, explicit, canonical = false, context = {}) {
     const normalized = value.trim();
-    if (canonical && !isGenericPlaceholder(normalized))
+    // A value that only repeats an argument name or a stop word is unbound
+    // however it was supplied or extracted.
+    if (nameOrStopWordReason(normalized, { ...context, text }) !== null)
+        return "placeholder";
+    const constant = matchesConstant(normalized, context);
+    if (canonical && (constant || !isGenericPlaceholder(normalized)))
         return "extracted";
     if (explicit &&
-        (!isGenericPlaceholder(normalized) ||
+        (constant ||
+            !isGenericPlaceholder(normalized) ||
             ["true", "false"].includes(normalized.toLowerCase())))
         return "explicit";
     if (!normalized || isGenericPlaceholder(normalized))
@@ -108,6 +232,7 @@ export function classifyBinding(value, text, explicit, canonical = false) {
 }
 const PROVENANCE_ORDER = [
     "explicit",
+    "requirement",
     "extracted",
     "inferred",
     "placeholder",
@@ -118,5 +243,5 @@ export function aggregateBindingProvenance(values) {
         : worst, "explicit");
 }
 export function bindingCanBeApplied(value) {
-    return value === "explicit" || value === "extracted";
+    return (value === "explicit" || value === "requirement" || value === "extracted");
 }

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

@@ -1 +1 @@
-{"version":3,"file":"predicate-catalog-1.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-1.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAmNzD,CAAC"}
+{"version":3,"file":"predicate-catalog-1.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-1.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAqNzD,CAAC"}

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

@@ -1,3 +1,4 @@
+import { LIFECYCLE_ACTION_VOCABULARY, TRIGGER_VOCABULARY, closedArguments, } from "./predicate-closed-vocabularies.js";
 // implements REQ-mcp-suggest-predicates
 export const PREDICATE_CATALOG_1 = [
     {
@@ -18,6 +19,7 @@ export const PREDICATE_CATALOG_1 = [
         description: "A subject transitions between states because of a trigger.",
         argument_names: ["subject", "from_state", "to_state", "trigger"],
         argument_types: ["entity", "state", "state", "trigger"],
+        ...closedArguments({ trigger: TRIGGER_VOCABULARY }),
         keywords: [
             "transition",
             "enter",
@@ -193,6 +195,7 @@ export const PREDICATE_CATALOG_1 = [
         description: "An entity must be archived, deleted, expired, or lifecycle-transitioned after a duration.",
         argument_names: ["subject", "action", "duration", "unit"],
         argument_types: ["entity", "action", "number", "unit"],
+        ...closedArguments({ action: LIFECYCLE_ACTION_VOCABULARY }),
         keywords: ["archive", "archived", "delete", "deleted", "expire", "after"],
         examples: ["lifecycle_rule(expired_sessions, archived, 30, days)"],
         tags: ["lifecycle", "retention"],

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

@@ -1 +1 @@
-{"version":3,"file":"predicate-catalog-2.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-2.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAkOzD,CAAC"}
+{"version":3,"file":"predicate-catalog-2.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-2.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAoOzD,CAAC"}

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

@@ -1,3 +1,4 @@
+import { CODING_STANDARD_ACTION_VOCABULARY, ENVIRONMENT_DECISION_VOCABULARY, closedArguments, } from "./predicate-closed-vocabularies.js";
 // implements REQ-mcp-suggest-predicates
 export const PREDICATE_CATALOG_2 = [
     {
@@ -66,6 +67,7 @@ export const PREDICATE_CATALOG_2 = [
         description: "A named action is allowed or forbidden in a deployment environment.",
         argument_names: ["action", "decision", "environment"],
         argument_types: ["action", "decision", "environment"],
+        ...closedArguments({ decision: ENVIRONMENT_DECISION_VOCABULARY }),
         keywords: ["production", "staging", "forbidden", "destructive"],
         examples: [
             "environment_safety_rule(destructive_operations, forbidden, production)",
@@ -90,6 +92,7 @@ export const PREDICATE_CATALOG_2 = [
         description: "Developer-facing code must use or avoid a framework API, pattern, or documentation practice.",
         argument_names: ["subject", "action", "target"],
         argument_types: ["entity", "action", "api"],
+        ...closedArguments({ action: CODING_STANDARD_ACTION_VOCABULARY }),
         keywords: ["computed", "signals", "must use", "must not use"],
         examples: ["coding_standard_rule(derived_state, use, computed_signals)"],
         tags: ["coding-standard", "agent-guidance"],

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

@@ -1 +1 @@
-{"version":3,"file":"predicate-catalog-3.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-3.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EA0NzD,CAAC"}
+{"version":3,"file":"predicate-catalog-3.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-3.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAgOzD,CAAC"}

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

@@ -1,3 +1,4 @@
+import { DECISION_VOCABULARY, OPERATOR_VOCABULARY, REFRESH_POLICY_VOCABULARY, RETENTION_UNIT_VOCABULARY, TRIGGER_VOCABULARY, closedArguments, } from "./predicate-closed-vocabularies.js";
 // implements REQ-mcp-suggest-predicates
 export const PREDICATE_CATALOG_3 = [
     {
@@ -20,6 +21,7 @@ export const PREDICATE_CATALOG_3 = [
         description: "A subject refreshes a target automatically or by a named policy.",
         argument_names: ["subject", "target", "policy"],
         argument_types: ["entity", "target", "policy"],
+        ...closedArguments({ policy: REFRESH_POLICY_VOCABULARY }),
         keywords: ["automatically refresh", "manual page reload", "refresh"],
         examples: ["refresh_policy_rule(dashboard, processing_videos, automatic)"],
         tags: ["refresh", "ui"],
@@ -31,6 +33,7 @@ export const PREDICATE_CATALOG_3 = [
         description: "A scoped actor is allowed or denied an action because of assignment, ownership, or membership.",
         argument_names: ["actor_scope", "action", "decision"],
         argument_types: ["actor_scope", "action", "decision"],
+        ...closedArguments({ decision: DECISION_VOCABULARY }),
         keywords: ["unassigned", "assigned", "denied", "scoped"],
         examples: [
             "scoped_authorization_rule(unassigned_instructors, signed_url_generation, deny)",
@@ -131,6 +134,7 @@ export const PREDICATE_CATALOG_3 = [
         description: "A trigger commits, saves, or persists a subject within a scope.",
         argument_names: ["subject", "trigger", "scope"],
         argument_types: ["entity", "trigger", "scope"],
+        ...closedArguments({ trigger: TRIGGER_VOCABULARY }),
         keywords: [
             "save",
             "saves",
@@ -153,6 +157,7 @@ export const PREDICATE_CATALOG_3 = [
         description: "A trigger discards or cancels changes for a subject within a scope.",
         argument_names: ["subject", "trigger", "scope"],
         argument_types: ["entity", "trigger", "scope"],
+        ...closedArguments({ trigger: TRIGGER_VOCABULARY }),
         keywords: ["discard", "cancel", "escape", "revert", "without save"],
         examples: ["discard_action(editor.annotation, escape, active_annotation)"],
         tags: ["persistence", "workflow"],
@@ -175,6 +180,7 @@ export const PREDICATE_CATALOG_3 = [
         description: "A subject is retained for a bounded duration.",
         argument_names: ["subject", "duration", "unit"],
         argument_types: ["entity", "number", "unit"],
+        ...closedArguments({ unit: RETENTION_UNIT_VOCABULARY }),
         keywords: ["retain", "retained", "retention", "days", "months", "years"],
         examples: ["retention_policy(customer.data, 7, years)"],
         tags: ["data", "policy"],
@@ -186,6 +192,7 @@ export const PREDICATE_CATALOG_3 = [
         description: "A subject constrains a resource by operator, threshold, and unit.",
         argument_names: ["subject", "resource", "operator", "threshold", "unit"],
         argument_types: ["entity", "resource", "operator", "number", "unit"],
+        ...closedArguments({ operator: OPERATOR_VOCABULARY }),
         keywords: [
             "limit",
             "maximum",

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

@@ -1 +1 @@
-{"version":3,"file":"predicate-catalog-4.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-4.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAoTzD,CAAC"}
+{"version":3,"file":"predicate-catalog-4.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-4.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAqTzD,CAAC"}

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

@@ -1,3 +1,4 @@
+import { DECISION_VOCABULARY, closedArguments, } from "./predicate-closed-vocabularies.js";
 // implements REQ-mcp-suggest-predicates
 export const PREDICATE_CATALOG_4 = [
     {
@@ -201,6 +202,7 @@ export const PREDICATE_CATALOG_4 = [
         description: "An actor is allowed or denied an action against a resource.",
         argument_names: ["actor", "action", "resource", "decision"],
         argument_types: ["actor", "action", "resource", "decision"],
+        ...closedArguments({ decision: DECISION_VOCABULARY }),
         keywords: [
             "may",
             "can",

package/dist/operations/modeling/predicate-closed-vocabularies.d.ts

@@ -0,0 +1,104 @@
+/**
+ * Closed argument vocabularies shared by built-in predicate schemas. An
+ * argument with a natural closed vocabulary declares its constants, so
+ * kb_model binds a constant the claim names (or an alias of it) and lists the
+ * constants as `allowedValues` when the claim names none, instead of minting
+ * a new atom per requirement.
+ */
+/** UI and workflow events that start a commit, discard or transition. */
+export declare const TRIGGER_VOCABULARY: {
+    readonly constants: readonly ["escape", "cancel", "submit", "navigation", "click", "timeout"];
+    readonly aliases: {
+        readonly esc: "escape";
+        readonly escape_key: "escape";
+        readonly cancellation: "cancel";
+        readonly submission: "submit";
+        readonly navigate: "navigation";
+        readonly navigates: "navigation";
+        readonly navigating: "navigation";
+        readonly navigation_away: "navigation";
+        readonly clicks: "click";
+        readonly time_out: "timeout";
+        readonly timed_out: "timeout";
+    };
+};
+/** An authorization outcome. */
+export declare const DECISION_VOCABULARY: {
+    readonly constants: readonly ["allow", "deny"];
+    readonly aliases: {
+        readonly assert: "allow";
+        readonly allowed: "allow";
+        readonly permit: "allow";
+        readonly permitted: "allow";
+        readonly denied: "deny";
+        readonly forbid: "deny";
+        readonly forbidden: "deny";
+    };
+};
+/** How a target is refreshed. */
+export declare const REFRESH_POLICY_VOCABULARY: {
+    readonly constants: readonly ["automatic", "manual", "on_demand"];
+    readonly aliases: {
+        readonly auto: "automatic";
+        readonly automatically: "automatic";
+        readonly manually: "manual";
+        readonly "on-demand": "on_demand";
+    };
+};
+/** What an environment safety rule decides for an action. */
+export declare const ENVIRONMENT_DECISION_VOCABULARY: {
+    readonly constants: readonly ["allowed", "forbidden", "read-only"];
+    readonly aliases: {
+        readonly allow: "allowed";
+        readonly deny: "forbidden";
+        readonly denied: "forbidden";
+        readonly read_only: "read-only";
+        readonly readonly: "read-only";
+    };
+};
+/** Comparison operators, as property_value facts spell them. */
+export declare const OPERATOR_VOCABULARY: {
+    readonly constants: readonly ["lt", "lte", "eq", "neq", "gte", "gt"];
+    readonly aliases: {
+        readonly le: "lte";
+        readonly ge: "gte";
+        readonly ne: "neq";
+    };
+};
+/** Calendar units a retention period is stated in. */
+export declare const RETENTION_UNIT_VOCABULARY: {
+    readonly constants: readonly ["days", "months", "years"];
+    readonly aliases: {
+        readonly day: "days";
+        readonly month: "months";
+        readonly year: "years";
+    };
+};
+/** The two directions of a coding standard. */
+export declare const CODING_STANDARD_ACTION_VOCABULARY: {
+    readonly constants: readonly ["use", "avoid"];
+    readonly aliases: {};
+};
+/** What happens to a subject at the end of its lifecycle. */
+export declare const LIFECYCLE_ACTION_VOCABULARY: {
+    readonly constants: readonly ["archived", "deleted", "expired"];
+    readonly aliases: {
+        readonly archive: "archived";
+        readonly delete: "deleted";
+        readonly expire: "expired";
+    };
+};
+type Vocabulary = Readonly<{
+    constants: readonly string[];
+    aliases: Readonly<Record<string, string>>;
+}>;
+/**
+ * The `argument_constants` and `argument_aliases` fields for a schema whose
+ * listed arguments use the given vocabularies.
+ */
+export declare function closedArguments(byArgument: Readonly<Record<string, Vocabulary>>): {
+    argument_constants: Record<string, string[]>;
+    argument_aliases?: Record<string, Record<string, string>>;
+};
+export {};
+//# sourceMappingURL=predicate-closed-vocabularies.d.ts.map

package/dist/operations/modeling/predicate-closed-vocabularies.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"predicate-closed-vocabularies.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-closed-vocabularies.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,yEAAyE;AAEzE,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;CAerB,CAAC;AAEX,gCAAgC;AAEhC,eAAO,MAAM,mBAAmB;;;;;;;;;;;CAYtB,CAAC;AAEX,iCAAiC;AAEjC,eAAO,MAAM,yBAAyB;;;;;;;;CAQ5B,CAAC;AAEX,6DAA6D;AAE7D,eAAO,MAAM,+BAA+B;;;;;;;;;CASlC,CAAC;AAEX,gEAAgE;AAEhE,eAAO,MAAM,mBAAmB;;;;;;;CAGtB,CAAC;AAEX,sDAAsD;AAEtD,eAAO,MAAM,yBAAyB;;;;;;;CAG5B,CAAC;AAEX,+CAA+C;AAE/C,eAAO,MAAM,iCAAiC;;;CAGpC,CAAC;AAEX,6DAA6D;AAE7D,eAAO,MAAM,2BAA2B;;;;;;;CAG9B,CAAC;AAEX,KAAK,UAAU,GAAG,QAAQ,CAAC;IACzB,SAAS,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAC3C,CAAC,CAAC;AAEH;;;GAGG;AAEH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,GAC/C;IACD,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC7C,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAC3D,CAWA"}

package/dist/operations/modeling/predicate-closed-vocabularies.js

@@ -0,0 +1,104 @@
+/**
+ * Closed argument vocabularies shared by built-in predicate schemas. An
+ * argument with a natural closed vocabulary declares its constants, so
+ * kb_model binds a constant the claim names (or an alias of it) and lists the
+ * constants as `allowedValues` when the claim names none, instead of minting
+ * a new atom per requirement.
+ */
+/** UI and workflow events that start a commit, discard or transition. */
+// implements REQ-model-predicates-closed-vocabularies
+export const TRIGGER_VOCABULARY = {
+    constants: ["escape", "cancel", "submit", "navigation", "click", "timeout"],
+    aliases: {
+        esc: "escape",
+        escape_key: "escape",
+        cancellation: "cancel",
+        submission: "submit",
+        navigate: "navigation",
+        navigates: "navigation",
+        navigating: "navigation",
+        navigation_away: "navigation",
+        clicks: "click",
+        time_out: "timeout",
+        timed_out: "timeout",
+    },
+};
+/** An authorization outcome. */
+// implements REQ-model-predicates-closed-vocabularies
+export const DECISION_VOCABULARY = {
+    constants: ["allow", "deny"],
+    aliases: {
+        // permission_rule inference spells a granted permission as `assert`.
+        assert: "allow",
+        allowed: "allow",
+        permit: "allow",
+        permitted: "allow",
+        denied: "deny",
+        forbid: "deny",
+        forbidden: "deny",
+    },
+};
+/** How a target is refreshed. */
+// implements REQ-model-predicates-closed-vocabularies
+export const REFRESH_POLICY_VOCABULARY = {
+    constants: ["automatic", "manual", "on_demand"],
+    aliases: {
+        auto: "automatic",
+        automatically: "automatic",
+        manually: "manual",
+        "on-demand": "on_demand",
+    },
+};
+/** What an environment safety rule decides for an action. */
+// implements REQ-model-predicates-closed-vocabularies
+export const ENVIRONMENT_DECISION_VOCABULARY = {
+    constants: ["allowed", "forbidden", "read-only"],
+    aliases: {
+        allow: "allowed",
+        deny: "forbidden",
+        denied: "forbidden",
+        read_only: "read-only",
+        readonly: "read-only",
+    },
+};
+/** Comparison operators, as property_value facts spell them. */
+// implements REQ-model-predicates-closed-vocabularies
+export const OPERATOR_VOCABULARY = {
+    constants: ["lt", "lte", "eq", "neq", "gte", "gt"],
+    aliases: { le: "lte", ge: "gte", ne: "neq" },
+};
+/** Calendar units a retention period is stated in. */
+// implements REQ-model-predicates-closed-vocabularies
+export const RETENTION_UNIT_VOCABULARY = {
+    constants: ["days", "months", "years"],
+    aliases: { day: "days", month: "months", year: "years" },
+};
+/** The two directions of a coding standard. */
+// implements REQ-model-predicates-closed-vocabularies
+export const CODING_STANDARD_ACTION_VOCABULARY = {
+    constants: ["use", "avoid"],
+    aliases: {},
+};
+/** What happens to a subject at the end of its lifecycle. */
+// implements REQ-model-predicates-closed-vocabularies
+export const LIFECYCLE_ACTION_VOCABULARY = {
+    constants: ["archived", "deleted", "expired"],
+    aliases: { archive: "archived", delete: "deleted", expire: "expired" },
+};
+/**
+ * The `argument_constants` and `argument_aliases` fields for a schema whose
+ * listed arguments use the given vocabularies.
+ */
+// implements REQ-model-predicates-closed-vocabularies
+export function closedArguments(byArgument) {
+    const constants = {};
+    const aliases = {};
+    for (const [name, vocabulary] of Object.entries(byArgument)) {
+        constants[name] = [...vocabulary.constants];
+        if (Object.keys(vocabulary.aliases).length > 0)
+            aliases[name] = { ...vocabulary.aliases };
+    }
+    return Object.keys(aliases).length > 0
+        ? { argument_constants: constants, argument_aliases: aliases }
+        : { argument_constants: constants };
+}

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

@@ -63,7 +63,7 @@ export interface PredicateSuggestion {
         usage_hints: PredicateUsageHints;
     };
 }
-export type BindingProvenance = "explicit" | "extracted" | "inferred" | "placeholder";
+export type BindingProvenance = "explicit" | "requirement" | "extracted" | "inferred" | "placeholder";
 export interface PredicateScoreComponents {
     exact_pattern: number;
     keyword_hits: number;
@@ -86,6 +86,22 @@ export interface RecommendedPredicateSchema {
     rationale: string;
     reuse_scope: string;
 }
+/**
+ * What an agent needs to bind one unbound predicate argument: its type, the
+ * declared constants of a closed vocabulary, schema example values and why
+ * the current value was not accepted.
+ */
+export interface BindingHint {
+    argument: string;
+    position: number;
+    type: string;
+    description?: string;
+    allowedValues?: string[];
+    examples: string[];
+    currentValue: string;
+    provenance: BindingProvenance;
+    reason: string;
+}
 /** A logical grounding relationship an existing requirement has for a claim. */
 export interface ExistingClaimGrounding {
     relationship: {
@@ -118,6 +134,8 @@ export interface SuggestPredicatesResult {
         relationshipTarget?: string | null;
         existingGrounding?: ExistingClaimGrounding[];
         replacementPlan?: Record<string, unknown> | null;
+        /** On provide_argument_bindings: one hint per unbound argument of the recommended candidate. */
+        bindingHints?: BindingHint[];
         warnings: string[];
     };
     applyPlan: Array<Record<string, unknown>>;

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,wEAAwE;IACxE,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,qEAAqE;IACrE,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC9C,0EAA0E;IAC1E,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,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,+EAA+E;IAC/E,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,iFAAiF;IACjF,8BAA8B,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAClE,WAAW,EAAE,UAAU,GAAG,UAAU,CAAC;IACrC,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gBAAgB,EAAE,wBAAwB,CAAC;IAC3C,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;AAED,MAAM,MAAM,iBAAiB,GACzB,UAAU,GACV,WAAW,GACX,UAAU,GACV,aAAa,CAAC;AAElB,MAAM,WAAW,wBAAwB;IACvC,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,0BAA0B;IACzC,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,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED,gFAAgF;AAEhF,MAAM,WAAW,sBAAsB;IACrC,YAAY,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;IACzD,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;CAClB;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,GACrB,mBAAmB,GACnB,mBAAmB,CAAC;QACxB,0BAA0B,EAAE,0BAA0B,GAAG,IAAI,CAAC;QAC9D,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,kGAAkG;QAClG,kBAAkB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QACnC,iBAAiB,CAAC,EAAE,sBAAsB,EAAE,CAAC;QAC7C,eAAe,CAAC,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,wEAAwE;IACxE,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,qEAAqE;IACrE,kBAAkB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;IAC9C,0EAA0E;IAC1E,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1D,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,+EAA+E;IAC/E,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,iFAAiF;IACjF,8BAA8B,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAClE,WAAW,EAAE,UAAU,GAAG,UAAU,CAAC;IACrC,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gBAAgB,EAAE,wBAAwB,CAAC;IAC3C,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;AAED,MAAM,MAAM,iBAAiB,GACzB,UAAU,GACV,aAAa,GACb,WAAW,GACX,UAAU,GACV,aAAa,CAAC;AAElB,MAAM,WAAW,wBAAwB;IACvC,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,0BAA0B;IACzC,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,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;CACrB;AAED;;;;GAIG;AAEH,MAAM,WAAW,WAAW;IAC1B,QAAQ,EAAE,MAAM,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;IACzB,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,iBAAiB,CAAC;IAC9B,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,gFAAgF;AAEhF,MAAM,WAAW,sBAAsB;IACrC,YAAY,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAC;QAAC,EAAE,EAAE,MAAM,CAAA;KAAE,CAAC;IACzD,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,QAAQ,EAAE,MAAM,CAAC;CAClB;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,GACrB,mBAAmB,GACnB,mBAAmB,CAAC;QACxB,0BAA0B,EAAE,0BAA0B,GAAG,IAAI,CAAC;QAC9D,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,kGAAkG;QAClG,kBAAkB,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;QACnC,iBAAiB,CAAC,EAAE,sBAAsB,EAAE,CAAC;QAC7C,eAAe,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;QACjD,gGAAgG;QAChG,YAAY,CAAC,EAAE,WAAW,EAAE,CAAC;QAC7B,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/predicate-utils.d.ts

@@ -4,7 +4,17 @@ export declare function clampInteger(value: number | undefined, fallback: number
 export declare function clampScore(value: number | undefined): number;
 export declare function slug(value: string): string;
 export declare function hashId(prefix: string, parts: string[]): string;
-export declare function inferSubject(text: string, subjectHint: string | undefined): string;
+/**
+ * The subject a predicate binds when the caller names none. An explicit
+ * subjectHint wins, then the subject_key of the subject fact the requirement
+ * already constrains. The keyword heuristics only apply to free text: for a
+ * requirement without a subject fact the subject stays a placeholder, so the
+ * agent binds it instead of getting a demo subject such as editor.annotation.
+ */
+export declare function inferSubject(text: string, subjectHint: string | undefined, requirement?: Readonly<{
+    requirementId?: string | undefined;
+    subjectKey?: string | undefined;
+}>): string;
 export declare function inferTrigger(text: string): string;
 export declare function inferScope(text: string): string;
 export declare function normalizePredicateToken(value: string): string;

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

@@ -1 +1 @@
-{"version":3,"file":"predicate-utils.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-utils.ts"],"names":[],"mappings":"AAKA,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQlD;AAGD,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB,MAAM,GAAG,SAAS,CAGpB;AAGD,wBAAgB,YAAY,CAC1B,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,MAAM,GACV,MAAM,CAIR;AAGD,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAM5D;AAGD,wBAAgB,IAAI,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAM1C;AAGD,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAO9D;AAGD,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,GAAG,SAAS,GAC9B,MAAM,CAWR;AAGD,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAOjD;AAGD,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAO/C;AAGD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAQ7D;AAGD,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGjD;AAGD,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEzD;AAGD,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAElD;AAGD,wBAAgB,cAAc,CAC5B,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,GACd,OAAO,CAOT;AAGD,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAElD;AAGD,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAMtD;AAGD,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAMlD;AAGD,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAclD;AAGD,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEhD;AAGD,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAM9C;AAGD,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAI9C;AAGD,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAG/C"}
+{"version":3,"file":"predicate-utils.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-utils.ts"],"names":[],"mappings":"AAKA,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQlD;AAGD,wBAAgB,uBAAuB,CACrC,KAAK,EAAE,MAAM,GAAG,SAAS,GACxB,MAAM,GAAG,SAAS,CAGpB;AAGD,wBAAgB,YAAY,CAC1B,KAAK,EAAE,MAAM,GAAG,SAAS,EACzB,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,MAAM,EACX,GAAG,EAAE,MAAM,GACV,MAAM,CAIR;AAGD,wBAAgB,UAAU,CAAC,KAAK,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAM5D;AAGD,wBAAgB,IAAI,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAM1C;AAGD,wBAAgB,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,MAAM,CAO9D;AAED;;;;;;GAMG;AAEH,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,WAAW,EAAE,MAAM,GAAG,SAAS,EAC/B,WAAW,CAAC,EAAE,QAAQ,CAAC;IACrB,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;CACjC,CAAC,GACD,MAAM,CAeR;AAGD,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CASjD;AAGD,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAO/C;AAGD,wBAAgB,uBAAuB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAQ7D;AAGD,wBAAgB,WAAW,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAGjD;AAGD,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAEzD;AAGD,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAElD;AAGD,wBAAgB,cAAc,CAC5B,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,GACd,OAAO,CAOT;AAGD,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAElD;AAGD,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAMtD;AAGD,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAMlD;AAGD,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAclD;AAGD,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEhD;AAGD,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAM9C;AAGD,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAI9C;AAGD,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAG/C"}

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

@@ -42,11 +42,23 @@ export function hashId(prefix, parts) {
         .toUpperCase();
     return `${prefix}-${digest}`;
 }
-// implements REQ-mcp-suggest-predicates
-export function inferSubject(text, subjectHint) {
+/**
+ * The subject a predicate binds when the caller names none. An explicit
+ * subjectHint wins, then the subject_key of the subject fact the requirement
+ * already constrains. The keyword heuristics only apply to free text: for a
+ * requirement without a subject fact the subject stays a placeholder, so the
+ * agent binds it instead of getting a demo subject such as editor.annotation.
+ */
+// implements REQ-mcp-suggest-predicates, REQ-model-predicates-requirement-subject
+export function inferSubject(text, subjectHint, requirement) {
     const explicit = normalizeOptionalString(subjectHint);
     if (explicit)
         return explicit;
+    const grounded = normalizeOptionalString(requirement?.subjectKey);
+    if (grounded)
+        return grounded;
+    if (normalizeOptionalString(requirement?.requirementId))
+        return "requirement.subject";
     const lower = text.toLowerCase();
     if (lower.includes("annotation"))
         return "editor.annotation";
@@ -60,7 +72,7 @@ export function inferSubject(text, subjectHint) {
         return "user";
     return "requirement.subject";
 }
-// implements REQ-mcp-suggest-predicates
+// implements REQ-mcp-suggest-predicates, REQ-model-predicates-closed-vocabularies
 export function inferTrigger(text) {
     const lower = text.toLowerCase();
     if (lower.includes("navigate"))
@@ -71,6 +83,10 @@ export function inferTrigger(text) {
         return "cancel";
     if (lower.includes("submit"))
         return "submit";
+    if (/\bclick/.test(lower))
+        return "click";
+    if (/\b(?:times?|timed)[\s-]?out\b/.test(lower))
+        return "timeout";
     return "unspecified_trigger";
 }
 // implements REQ-mcp-suggest-predicates