kibi-cli 0.19.0 → 2.0.0

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

@@ -1,5 +1,6 @@
 import type { PrologPort } from "../../public/operations/runtime-types.js";
 import type { PredicateSchemaCandidate, PredicateUsageHints } from "./predicate-types.js";
+export declare function optionalPredicateName(value: unknown): string | undefined;
 export declare function schemaForCandidate(schema: PredicateSchemaCandidate): Omit<PredicateSchemaCandidate, "keywords"> & {
     usage_hints: PredicateUsageHints;
 };

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

@@ -1 +1 @@
-{"version":3,"file":"predicate-loader.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-loader.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0CAA0C,CAAC;AAK3E,OAAO,KAAK,EACV,wBAAwB,EACxB,mBAAmB,EACpB,MAAM,sBAAsB,CAAC;AAI9B,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,wBAAwB,GAAG,IAAI,CACxE,wBAAwB,EACxB,UAAU,CACX,GAAG;IACF,WAAW,EAAE,mBAAmB,CAAC;CAClC,CAmBA;AAGD,wBAAsB,4BAA4B,CAChD,MAAM,EAAE,UAAU,GAAG,IAAI,EACzB,sBAAsB,EAAE,OAAO,EAC/B,QAAQ,EAAE,MAAM,EAAE,GACjB,OAAO,CAAC,wBAAwB,EAAE,CAAC,CAwBrC;AAGD,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC9B,wBAAwB,EAAE,CAiC5B;AAGD,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC9B,mBAAmB,GAAG,SAAS,CAOjC;AAGD,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAQpD"}
+{"version":3,"file":"predicate-loader.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-loader.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0CAA0C,CAAC;AAK3E,OAAO,KAAK,EACV,wBAAwB,EACxB,mBAAmB,EACpB,MAAM,sBAAsB,CAAC;AAG9B,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAExE;AAGD,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,wBAAwB,GAAG,IAAI,CACxE,wBAAwB,EACxB,UAAU,CACX,GAAG;IACF,WAAW,EAAE,mBAAmB,CAAC;CAClC,CAsBA;AAGD,wBAAsB,4BAA4B,CAChD,MAAM,EAAE,UAAU,GAAG,IAAI,EACzB,sBAAsB,EAAE,OAAO,EAC/B,QAAQ,EAAE,MAAM,EAAE,GACjB,OAAO,CAAC,wBAAwB,EAAE,CAAC,CAwBrC;AAGD,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC9B,wBAAwB,EAAE,CAmC5B;AAGD,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC9B,mBAAmB,GAAG,SAAS,CAOjC;AAGD,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAQpD"}

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

@@ -1,6 +1,9 @@
 import { parseEntityFromList, parseListOfLists } from "../../prolog/codec.js";
 import { DEFAULT_USAGE_HINTS, USAGE_HINTS_BY_PREDICATE, } from "./predicate-catalog.js";
 import { hashId, normalizeOptionalString } from "./predicate-utils.js";
+export function optionalPredicateName(value) {
+    return typeof value === "string" ? value : undefined;
+}
 // implements REQ-mcp-suggest-predicates
 export function schemaForCandidate(schema) {
     return {
@@ -10,6 +13,9 @@ export function schemaForCandidate(schema) {
         description: schema.description,
         argument_names: schema.argument_names,
         argument_types: schema.argument_types,
+        ...(schema.argument_descriptions
+            ? { argument_descriptions: schema.argument_descriptions }
+            : {}),
         ...(schema.aliases ? { aliases: schema.aliases } : {}),
         ...(schema.paraphrase_templates
             ? { paraphrase_templates: schema.paraphrase_templates }
@@ -46,12 +52,11 @@ export async function loadExistingPredicateSchemas(prolog, includeExistingSchema
 export function predicateSchemaFromEntity(entity) {
     if (entity.fact_kind !== "predicate_schema")
         return [];
-    const predicateName = normalizeOptionalString(typeof entity.predicate_name === "string"
-        ? entity.predicate_name
-        : undefined);
+    const predicateName = normalizeOptionalString(optionalPredicateName(entity.predicate_name));
     if (!predicateName)
         return [];
     const usageHints = usageHintsFromEntity(entity);
+    const argumentDescriptions = stringArray(entity.argument_descriptions);
     return [
         {
             id: String(entity.id ?? hashId("FACT-SCHEMA", [predicateName])),
@@ -61,6 +66,9 @@ export function predicateSchemaFromEntity(entity) {
                 `Project-local ${predicateName} predicate schema.`),
             argument_names: stringArray(entity.argument_names),
             argument_types: stringArray(entity.argument_types),
+            ...(argumentDescriptions.length > 0
+                ? { argument_descriptions: argumentDescriptions }
+                : {}),
             keywords: [
                 predicateName,
                 ...stringArray(entity.aliases),

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

@@ -1,3 +1,10 @@
-import type { PredicateSchemaCandidate } from "./predicate-types.js";
+import type { PredicateSchemaCandidate, PredicateScoreComponents } from "./predicate-types.js";
+export interface RankedPredicateSchema {
+    schema: PredicateSchemaCandidate;
+    score: number;
+    components: PredicateScoreComponents;
+}
+export declare function usageHintsForSchema(schema: PredicateSchemaCandidate): import("./predicate-types.js").PredicateUsageHints | undefined;
+export declare function rankSchema(schema: PredicateSchemaCandidate, text: string): RankedPredicateSchema;
 export declare function scoreSchema(schema: PredicateSchemaCandidate, text: string): number;
 //# sourceMappingURL=predicate-ranker.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"predicate-ranker.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-ranker.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AA6BrE,wBAAgB,WAAW,CACzB,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,GACX,MAAM,CAuDR"}
+{"version":3,"file":"predicate-ranker.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-ranker.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,wBAAwB,EACxB,wBAAwB,EACzB,MAAM,sBAAsB,CAAC;AAsJ9B,MAAM,WAAW,qBAAqB;IACpC,MAAM,EAAE,wBAAwB,CAAC;IACjC,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,EAAE,wBAAwB,CAAC;CACtC;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,wBAAwB,kEAEnE;AAKD,wBAAgB,UAAU,CACxB,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,GACX,qBAAqB,CA+EvB;AAID,wBAAgB,WAAW,CACzB,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,GACX,MAAM,CAER"}

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

@@ -1,7 +1,73 @@
+import { USAGE_HINTS_BY_PREDICATE } from "./predicate-catalog.js";
 import { scoreExactPredicates1 } from "./predicate-score-1.js";
 import { scoreExactPredicates2 } from "./predicate-score-2.js";
 import { scoreExactPredicates3 } from "./predicate-score-3.js";
 import { matchesKeyword } from "./predicate-utils.js";
+const STOPWORDS = new Set([
+    "a",
+    "an",
+    "and",
+    "are",
+    "as",
+    "at",
+    "be",
+    "because",
+    "by",
+    "can",
+    "for",
+    "from",
+    "has",
+    "have",
+    "if",
+    "in",
+    "is",
+    "it",
+    "may",
+    "must",
+    "of",
+    "on",
+    "or",
+    "should",
+    "shall",
+    "the",
+    "their",
+    "then",
+    "this",
+    "to",
+    "when",
+    "where",
+    "with",
+]);
+// These words occur in many unrelated requirements. They remain available as
+// evidence when a schema explicitly names them, but otherwise contribute less
+// than domain aliases and usage guidance.
+const BROAD_TERMS = new Set([
+    "change",
+    "changes",
+    "component",
+    "data",
+    "published",
+    "project",
+    "state",
+    "system",
+    "value",
+]);
+const NORMATIVE_CUES = new Set([
+    "allowed",
+    "can",
+    "cannot",
+    "denied",
+    "forbidden",
+    "may",
+    "only",
+    "prohibited",
+    "required",
+]);
+const EXACT_SCORERS = [
+    scoreExactPredicates1,
+    scoreExactPredicates2,
+    scoreExactPredicates3,
+];
 function tokens(value) {
     return value.toLowerCase().match(/[a-z0-9]+/g) ?? [];
 }
@@ -16,26 +82,58 @@ function stem(value) {
         return value.slice(0, -1);
     return value;
 }
+function meaningfulTokens(value) {
+    return tokens(value).filter((token) => !STOPWORDS.has(token));
+}
 function overlap(left, right) {
-    const target = new Set(right.map(stem));
-    const matches = new Set(left.map(stem).filter((token) => target.has(token)));
+    const target = new Set(right.map(stem).filter((token) => !STOPWORDS.has(token)));
+    const matches = new Set(left
+        .map(stem)
+        .filter((token) => !STOPWORDS.has(token) && target.has(token)));
     return target.size === 0 ? 0 : matches.size / target.size;
 }
-const EXACT_SCORERS = [
-    scoreExactPredicates1,
-    scoreExactPredicates2,
-    scoreExactPredicates3,
-];
-// implements REQ-mcp-suggest-predicates
-export function scoreSchema(schema, text) {
+function roundScore(value) {
+    return Math.round(Math.max(0, Math.min(0.98, value)) * 100) / 100;
+}
+function exactScore(schema, text) {
     for (const scorer of EXACT_SCORERS) {
         const score = scorer(schema, text);
         if (score !== null)
             return score;
     }
+    return null;
+}
+function meaningfulKeywordHits(schema, text) {
     const lower = text.toLowerCase();
-    const keywordHits = schema.keywords.filter((keyword) => matchesKeyword(text, lower, keyword)).length;
-    const textTokens = tokens(text);
+    return schema.keywords.filter((keyword) => {
+        const keywordTokens = tokens(keyword).filter((token) => !STOPWORDS.has(token) || NORMATIVE_CUES.has(token));
+        return (keywordTokens.length > 0 &&
+            matchesKeyword(text, lower, keyword) &&
+            keywordTokens.some((token) => !BROAD_TERMS.has(token) || NORMATIVE_CUES.has(token)));
+    }).length;
+}
+function specificityBonus(schema) {
+    const signature = [
+        schema.predicate_name,
+        ...(schema.aliases ?? []),
+        ...(schema.paraphrase_templates ?? []),
+    ].join(" ");
+    const domainTokens = meaningfulTokens(signature).filter((token) => !BROAD_TERMS.has(token));
+    // A project-local bridge with a broad signature remains discoverable but
+    // loses a small deterministic tie-break to a narrower reusable schema.
+    const bridgePenalty = schema.predicate_name === "plugin_launcher_contract" ? 0.04 : 0;
+    return roundScore(Math.min(0.1, domainTokens.length * 0.006) - bridgePenalty);
+}
+export function usageHintsForSchema(schema) {
+    return schema.usage_hints ?? USAGE_HINTS_BY_PREDICATE[schema.predicate_name];
+}
+// Retrieval/ranking is intentionally independent of semantic eligibility.
+// Callers must run evaluateSemanticApplicability before treating this score as
+// a recommendation.
+export function rankSchema(schema, text) {
+    const exact = exactScore(schema, text);
+    const keywordHits = meaningfulKeywordHits(schema, text);
+    const textTokens = meaningfulTokens(text);
     const descriptors = [
         schema.predicate_name,
         schema.title,
@@ -45,18 +143,55 @@ export function scoreSchema(schema, text) {
         ...schema.examples,
     ];
     const descriptorOverlap = Math.max(...descriptors.map((descriptor) => overlap(textTokens, tokens(descriptor))), 0);
-    const useWhenOverlap = Math.max(...(schema.usage_hints?.use_when ?? []).map((descriptor) => overlap(textTokens, tokens(descriptor))), 0);
-    const doNotUseWhenOverlap = Math.max(...(schema.usage_hints?.do_not_use_when ?? []).map((descriptor) => overlap(textTokens, tokens(descriptor))), 0);
+    const usageHints = usageHintsForSchema(schema);
+    const usageMatch = Math.max(...(usageHints?.use_when ?? []).map((descriptor) => overlap(textTokens, tokens(descriptor))), 0);
+    const negativeEvidence = Math.max(...(usageHints?.do_not_use_when ?? []).map((descriptor) => overlap(textTokens, tokens(descriptor))), 0);
+    const broadTokenPenalty = Math.min(0.18, meaningfulTokens(text).filter((token) => BROAD_TERMS.has(token) && !schema.keywords.includes(token)).length * 0.025);
     const morphologyHits = schema.keywords.filter((keyword) => textTokens.map(stem).includes(stem(keyword.toLowerCase()))).length;
-    if (keywordHits === 0 && morphologyHits === 0 && descriptorOverlap < 0.25)
-        return 0;
-    const normalized = keywordHits / Math.max(3, schema.keywords.length / 2);
-    const score = Math.min(0.98, Math.max(0, 0.2 +
-        normalized * 0.4 +
-        keywordHits * 0.05 +
-        morphologyHits * 0.04 +
-        descriptorOverlap * 0.3 +
-        useWhenOverlap * 0.08 -
-        doNotUseWhenOverlap * 0.18));
-    return Math.round(score * 100) / 100;
+    const specificity = specificityBonus(schema);
+    let total;
+    if (exact !== null && exact > 0) {
+        // Exact structural matches retain the established deterministic score.
+        // An exact score of 0 means the predicate's rigid pattern did not match;
+        // it is a miss, not a veto: lexical evidence still competes for
+        // retrieval and the semantic applicability gate remains the authority.
+        total = exact;
+    }
+    else if (keywordHits === 0 &&
+        morphologyHits === 0 &&
+        descriptorOverlap < 0.25 &&
+        usageMatch < 0.25) {
+        total = 0;
+    }
+    else {
+        const normalized = keywordHits / Math.max(3, schema.keywords.length / 2);
+        total =
+            0.18 +
+                normalized * 0.34 +
+                keywordHits * 0.045 +
+                morphologyHits * 0.035 +
+                descriptorOverlap * 0.27 +
+                usageMatch * 0.16 -
+                negativeEvidence * 0.24 -
+                broadTokenPenalty +
+                specificity;
+    }
+    if (schema.predicate_name === "plugin_launcher_contract")
+        total -= 0.06;
+    const components = {
+        exact_pattern: roundScore(exact ?? 0),
+        keyword_hits: keywordHits,
+        descriptor_overlap: roundScore(descriptorOverlap),
+        usage_match: roundScore(usageMatch),
+        negative_evidence: roundScore(negativeEvidence),
+        broad_token_penalty: roundScore(broadTokenPenalty),
+        specificity_bonus: specificity,
+        total: roundScore(total),
+    };
+    return { schema, score: components.total, components };
+}
+// Backward-compatible numeric API used by migration planning and downstream
+// integrations. New callers should use rankSchema for diagnostics.
+export function scoreSchema(schema, text) {
+    return rankSchema(schema, text).score;
 }

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

@@ -1 +1 @@
-{"version":3,"file":"predicate-score-3.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-score-3.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,GACX,MAAM,GAAG,IAAI,CA8Ef"}
+{"version":3,"file":"predicate-score-3.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-score-3.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,GACX,MAAM,GAAG,IAAI,CAwFf"}

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

@@ -50,5 +50,11 @@ export function scoreExactPredicates3(schema, text) {
         }
         return 0;
     }
+    if (schema.predicate_name === "permission_rule") {
+        if (/^(?:only\s+)?[a-z][a-z\s_-]*\s+(?:may|can|is\s+allowed\s+to|must\s+not|cannot|can't|is\s+forbidden\s+to)\s+.+?\.?$/i.test(text)) {
+            return 0.98;
+        }
+        return 0;
+    }
     return null;
 }

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

@@ -10,6 +10,8 @@ export interface PredicateSchemaCandidate {
     description: string;
     argument_names: string[];
     argument_types: string[];
+    /** Optional human-readable descriptions aligned with argument_names. */
+    argument_descriptions?: string[];
     keywords: string[];
     /** Human-language aliases and controlled paraphrase templates used for deterministic retrieval. */
     aliases?: string[];
@@ -43,12 +45,43 @@ export interface PredicateSuggestion {
     polarity: PredicatePolarity;
     binding_status: "complete" | "incomplete";
     unbound_arguments: string[];
+    /** Conservative aggregate: the least-reviewable provenance across bindings. */
+    binding_provenance: BindingProvenance;
+    /** Per-argument provenance retained for review and deterministic diagnostics. */
+    binding_provenance_by_argument: Record<string, BindingProvenance>;
+    eligibility: "eligible" | "rejected";
+    rejection_reasons: string[];
+    applicability_score: number;
+    score_components: PredicateScoreComponents;
     score: number;
     rationale: string;
     schema: Omit<PredicateSchemaCandidate, "keywords"> & {
         usage_hints: PredicateUsageHints;
     };
 }
+export type BindingProvenance = "explicit" | "extracted" | "inferred" | "placeholder";
+export interface PredicateScoreComponents {
+    exact_pattern: number;
+    keyword_hits: number;
+    descriptor_overlap: number;
+    usage_match: number;
+    negative_evidence: number;
+    broad_token_penalty: number;
+    specificity_bonus: number;
+    total: number;
+}
+export interface RecommendedPredicateSchema {
+    predicate_name: string;
+    title: string;
+    description: string;
+    argument_names: string[];
+    argument_types: string[];
+    argument_descriptions?: string[];
+    candidate_bindings: Record<string, string>;
+    unresolved_bindings: string[];
+    rationale: string;
+    reuse_scope: string;
+}
 export interface SuggestPredicatesResult {
     content: Array<{
         type: "text";
@@ -62,7 +95,8 @@ export interface SuggestPredicatesResult {
         requirementId: string | null;
         subject: string;
         candidates: PredicateSuggestion[];
-        recommendedAction: "apply_requires_predicate" | "provide_argument_bindings" | "resolve_schema_reference" | "record_ontology_gap";
+        recommendedAction: "apply_requires_predicate" | "provide_argument_bindings" | "resolve_schema_reference" | "record_ontology_gap" | "review_nonlogical";
+        recommendedPredicateSchema: RecommendedPredicateSchema | null;
         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,+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"}
+{"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,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;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,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,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-usage-hints-3.d.ts.map

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

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

@@ -1,5 +1,45 @@
 // implements REQ-mcp-suggest-predicates
 export const PREDICATE_USAGE_HINTS_3 = {
+    dependency_resolution_policy: {
+        use_when: [
+            "Use when a component's permitted dependency scope and acquisition/download policy are normative.",
+        ],
+        do_not_use_when: [
+            "Do not use for ordering among multiple candidates, invalid-input outcomes, or child-process execution details.",
+        ],
+    },
+    ordered_resolution_strategy: {
+        use_when: [
+            "Use when resolution must try named sources in a defined order with a conditional fallback.",
+        ],
+        do_not_use_when: [
+            "Do not use for a general dependency scope policy, invalid resolution errors, or process launch behavior.",
+        ],
+    },
+    resolution_failure_policy: {
+        use_when: [
+            "Use when invalid placeholders, ambiguous roots, or other resolution inputs require a specific rejection outcome.",
+        ],
+        do_not_use_when: [
+            "Do not use for ordinary missing-dependency reporting or successful lookup ordering.",
+        ],
+    },
+    process_delegation_contract: {
+        use_when: [
+            "Use when a launcher delegates to a child process and specifies executable, cwd, environment, stdio, or termination behavior.",
+        ],
+        do_not_use_when: [
+            "Do not use for dependency lookup, package-manager exceptions, or generic failure reporting.",
+        ],
+    },
+    failure_behavior: {
+        use_when: [
+            "Use when a component must define the observable outcome of a named failure such as a missing dependency.",
+        ],
+        do_not_use_when: [
+            "Do not use for resolution ordering, invalid-input policy details, or exception clauses that exempt a normal rule.",
+        ],
+    },
     uniqueness_constraint: {
         use_when: ["Use for at-most-one or unique-per-scope constraints."],
         do_not_use_when: [

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

@@ -0,0 +1,3 @@
+import type { PredicateUsageHints } from "./predicate-types.js";
+export declare const PREDICATE_USAGE_HINTS_4: Record<string, PredicateUsageHints>;
+//# sourceMappingURL=predicate-usage-hints-4.d.ts.map

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

@@ -0,0 +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"}

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

@@ -0,0 +1,84 @@
+// implements REQ-mcp-suggest-predicates
+export const PREDICATE_USAGE_HINTS_4 = {
+    fail_closed_authorization_rule: {
+        use_when: [
+            "Use when invalid, missing, or failed authorization input must deny access or stay unauthenticated.",
+        ],
+        do_not_use_when: [
+            "Do not use when a degraded dependency legitimately falls back to a named alternative behavior.",
+        ],
+    },
+    deployment_precondition_rule: {
+        use_when: [
+            "Use when a deployment or rollout must hold or abort until a named precondition holds.",
+        ],
+        do_not_use_when: [
+            "Do not use for feature flags, checkout flows, or ordinary release test gates.",
+        ],
+    },
+    data_migration_rule: {
+        use_when: [
+            "Use when legacy data converts to a canonical form once, without data loss, before canonical-only operation.",
+        ],
+        do_not_use_when: [
+            "Do not use for a standing boundary that only permits legacy reads as migration input.",
+        ],
+    },
+    diagnostic_visibility_rule: {
+        use_when: [
+            "Use when internal error or transport detail must stay in logs while users see actionable messages.",
+        ],
+        do_not_use_when: [
+            "Do not use for audit-trail requirements or consent handling.",
+        ],
+    },
+    mutation_authority_rule: {
+        use_when: [
+            "Use when a client surface is read-only or scoped and a server-side authority owns the other mutations.",
+        ],
+        do_not_use_when: [
+            "Do not use for individual permission denials such as delete or export rights.",
+        ],
+    },
+    request_deduplication_rule: {
+        use_when: [
+            "Use when concurrent duplicate requests for the same resource must coalesce into one operation.",
+        ],
+        do_not_use_when: [
+            "Do not use for per-window rate limits or batch-size constraints.",
+        ],
+    },
+    async_boundary_rule: {
+        use_when: [
+            "Use when a callback must return synchronously while work runs deferred or in the background.",
+        ],
+        do_not_use_when: [
+            "Do not use for timeout durations or request rate constraints.",
+        ],
+    },
+    canonical_identifier_rule: {
+        use_when: [
+            "Use when references to a domain entity must resolve through one canonical identifier or key.",
+        ],
+        do_not_use_when: [
+            "Do not use for renderer neutrality or legacy-format boundaries.",
+        ],
+    },
+    responsive_breakpoint_rule: {
+        use_when: [
+            "Use when explicit viewport dimensions determine a responsive classification such as mobile.",
+        ],
+        do_not_use_when: [
+            "Do not use for server-side size limits or database constraints.",
+        ],
+    },
+    operational_pause_rule: {
+        use_when: [
+            "Use when an operational pause blocks new work of a kind while preserving existing or resumable work.",
+        ],
+        do_not_use_when: [
+            "Do not use for soft deletion or data preservation rules without an operational switch.",
+        ],
+        // implements REQ-mcp-suggest-predicates
+    },
+};

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,CAM/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;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"}

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

@@ -82,6 +82,8 @@ export function inferScope(text) {
         return "active_annotation";
     if (lower.includes("session"))
         return "session";
+    if (/\bchanges?\b/.test(lower))
+        return "changes";
     return "subject";
 }
 // implements REQ-mcp-suggest-predicates

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

@@ -1,6 +1,8 @@
 import type { OperationContext, PrologPort } from "../../public/operations/runtime-types.js";
-import type { SuggestPredicatesArgs, SuggestPredicatesResult } from "./predicate-types.js";
-export type { SuggestPredicatesArgs, SuggestPredicatesResult, } from "./predicate-types.js";
+import type { PredicateSuggestion, SuggestPredicatesArgs, SuggestPredicatesResult } from "./predicate-types.js";
+export type { BindingProvenance, PredicateScoreComponents, PredicateSuggestion, RecommendedPredicateSchema, SuggestPredicatesArgs, SuggestPredicatesResult, } from "./predicate-types.js";
+export declare function compareEligibleByApplicabilityThenName(left: Pick<PredicateSuggestion, "applicability_score" | "predicate_name">, right: Pick<PredicateSuggestion, "applicability_score" | "predicate_name">): number;
+export declare function compareEligibleByApplicabilityScoreThenName(left: Pick<PredicateSuggestion, "applicability_score" | "score" | "predicate_name">, right: Pick<PredicateSuggestion, "applicability_score" | "score" | "predicate_name">): number;
 export declare function handleKbSuggestPredicates(prolog: PrologPort | null, args: SuggestPredicatesArgs): Promise<SuggestPredicatesResult>;
 export declare function executeSuggestPredicates(args: SuggestPredicatesArgs, context: OperationContext): Promise<SuggestPredicatesResult>;
 //# sourceMappingURL=suggest-predicates.d.ts.map

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,CA+GlC;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;AAmBlD,OAAO,KAAK,EAEV,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;AAoG9B,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;AAqCD,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,UAAU,GAAG,IAAI,EACzB,IAAI,EAAE,qBAAqB,GAC1B,OAAO,CAAC,uBAAuB,CAAC,CAgLlC;AAED,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,qBAAqB,EAC3B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,uBAAuB,CAAC,CAElC"}