kibi-cli 0.19.0 → 1.0.1

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

@@ -1,5 +1,160 @@
 // implements REQ-mcp-suggest-predicates
 export const PREDICATE_CATALOG_4 = [
+    {
+        id: "FACT-SCHEMA-DEPENDENCY-RESOLUTION-POLICY",
+        predicate_name: "dependency_resolution_policy",
+        title: "Dependency resolution policy",
+        description: "Defines where a component may resolve a dependency and how it may acquire it.",
+        argument_names: [
+            "component",
+            "dependency",
+            "allowed_scope",
+            "acquisition_policy",
+        ],
+        argument_types: ["component", "dependency", "scope", "policy"],
+        argument_descriptions: [
+            "Component performing resolution.",
+            "Dependency to resolve.",
+            "Permitted resolution scope.",
+            "Allowed acquisition behavior.",
+        ],
+        keywords: [
+            "dependency",
+            "resolve",
+            "resolution",
+            "local",
+            "workspace",
+            "download",
+            "acquire",
+        ],
+        aliases: ["dependency lookup policy", "dependency acquisition policy"],
+        examples: [
+            "dependency_resolution_policy(plugin_launcher, mcp_server, consumer_local, no_download)",
+        ],
+        tags: ["dependency", "resolution", "policy"],
+    },
+    {
+        id: "FACT-SCHEMA-ORDERED-RESOLUTION-STRATEGY",
+        predicate_name: "ordered_resolution_strategy",
+        title: "Ordered resolution strategy",
+        description: "Defines ordered sources for resolving a dependency and the condition for fallback.",
+        argument_names: ["resolver", "ordered_sources", "fallback_condition"],
+        argument_types: ["component", "source_list", "condition"],
+        argument_descriptions: [
+            "Resolver applying the strategy.",
+            "Sources tried in order.",
+            "Condition permitting fallback.",
+        ],
+        keywords: [
+            "ordered",
+            "first",
+            "then",
+            "fallback",
+            "candidate",
+            "workspace",
+            "cwd",
+        ],
+        aliases: ["ordered lookup", "resolution fallback order"],
+        examples: [
+            "ordered_resolution_strategy(launcher, workspace_node_modules|root_node_modules, missing_candidate)",
+        ],
+        tags: ["resolution", "ordering", "fallback"],
+    },
+    {
+        id: "FACT-SCHEMA-RESOLUTION-FAILURE-POLICY",
+        predicate_name: "resolution_failure_policy",
+        title: "Resolution failure policy",
+        description: "Defines the required outcome when dependency resolution encounters invalid or ambiguous inputs.",
+        argument_names: ["resolver", "invalid_condition", "required_outcome"],
+        argument_types: ["component", "condition", "outcome"],
+        argument_descriptions: [
+            "Resolver enforcing the policy.",
+            "Invalid or ambiguous condition.",
+            "Required failure outcome.",
+        ],
+        keywords: [
+            "invalid",
+            "ambiguous",
+            "reject",
+            "resolution",
+            "error",
+            "fail clearly",
+        ],
+        aliases: ["invalid resolution handling", "resolution rejection policy"],
+        examples: [
+            "resolution_failure_policy(launcher, invalid_placeholder, clear_error)",
+        ],
+        tags: ["resolution", "failure", "validation"],
+    },
+    {
+        id: "FACT-SCHEMA-PROCESS-DELEGATION-CONTRACT",
+        predicate_name: "process_delegation_contract",
+        title: "Process delegation contract",
+        description: "Defines executable, working-directory, environment, stdio, and termination behavior for a delegated child process.",
+        argument_names: [
+            "launcher",
+            "executable_policy",
+            "cwd_policy",
+            "environment_policy",
+            "stdio_policy",
+            "termination_policy",
+        ],
+        argument_types: [
+            "component",
+            "policy",
+            "policy",
+            "policy",
+            "policy",
+            "policy",
+        ],
+        argument_descriptions: [
+            "Launcher delegating the process.",
+            "Executable selection policy.",
+            "Working-directory policy.",
+            "Environment policy.",
+            "Standard I/O policy.",
+            "Termination and exit propagation policy.",
+        ],
+        keywords: [
+            "child process",
+            "spawn",
+            "executable",
+            "cwd",
+            "environment",
+            "stdio",
+            "terminate",
+        ],
+        aliases: ["child process contract", "process launch contract"],
+        examples: [
+            "process_delegation_contract(launcher, resolved_executable, consumer_cwd, inherited_env, piped_stdio, propagate_exit)",
+        ],
+        tags: ["process", "execution", "contract"],
+    },
+    {
+        id: "FACT-SCHEMA-FAILURE-BEHAVIOR",
+        predicate_name: "failure_behavior",
+        title: "Failure behavior",
+        description: "Defines the required outcome when a component encounters a named failure condition.",
+        argument_names: ["component", "failure_condition", "required_outcome"],
+        argument_types: ["component", "condition", "outcome"],
+        argument_descriptions: [
+            "Component experiencing failure.",
+            "Failure condition.",
+            "Required observable outcome.",
+        ],
+        keywords: [
+            "missing dependency",
+            "failure",
+            "error",
+            "must report",
+            "required outcome",
+        ],
+        aliases: ["failure handling", "error behavior"],
+        examples: [
+            "failure_behavior(plugin_launcher, missing_dependency, actionable_error)",
+        ],
+        tags: ["failure", "error", "behavior"],
+    },
     {
         id: "FACT-SCHEMA-FEATURE-GATE",
         predicate_name: "feature_gate",

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

@@ -1 +1 @@
-{"version":3,"file":"predicate-inference-1.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-inference-1.ts"],"names":[],"mappings":"AAQA,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAsB9D;AAGD,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAkBtE;AAGD,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,MAAM,EAAE,CAWV;AAGD,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAQ/D;AAGD,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAS9D;AAGD,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAQ7D;AAGD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAS3D;AAGD,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAU9D;AAGD,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAY/D;AAGD,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CASjE;AAGD,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAmB/D;AAGD,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAQjE;AAGD,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAQ9D;AAGD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAS3D;AAGD,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAU7D"}
+{"version":3,"file":"predicate-inference-1.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-inference-1.ts"],"names":[],"mappings":"AAQA,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAsB9D;AAGD,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE,CAkBtE;AAGD,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,MAAM,EAAE,CAuBV;AAGD,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAQ/D;AAGD,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAS9D;AAGD,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAQ7D;AAGD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAS3D;AAGD,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAU9D;AAGD,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAY/D;AAGD,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CASjE;AAGD,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAmB/D;AAGD,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAQjE;AAGD,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAQ9D;AAGD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAS3D;AAGD,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAU7D"}

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

@@ -38,6 +38,14 @@ export function inferGuardArgs(text, subject) {
 // implements REQ-mcp-suggest-predicates
 export function inferExceptionRuleArgs(text, subject) {
     const exception = text.match(/^(?:the\s+)?(?<subject>[a-z][a-z\s_-]*?)\s+(?:must|shall|should)\s+(?<behavior>.+?)\s+unless\s+(?:the\s+)?(?<exception>.+?)\.?$/i);
+    const broadException = text.match(/^(?:the\s+)?(?<subject>.+?)\s+(?:is|are|remains?|constitutes?)\s+(?:the\s+)?(?:only\s+)?exception(?:\s+to\s+(?<behavior>.+?))?\.?$/i);
+    if (broadException?.groups?.subject) {
+        return [
+            normalizeSubjectKey(broadException.groups.subject),
+            normalizePredicateToken(broadException.groups.behavior ?? "normal_behavior"),
+            "exception",
+        ];
+    }
     return [
         exception?.groups?.subject
             ? normalizeSubjectKey(exception.groups.subject)

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

@@ -0,0 +1,10 @@
+/**
+ * Infer launcher arguments only for the exact reviewed semantic-rule corpus.
+ *
+ * General launcher prose may still retrieve a schema, but it must request
+ * reviewed argument bindings instead of manufacturing a ground predicate from
+ * lexical guesses. Keeping this boundary here makes every launcher schema
+ * share the semantic advisor's canonical argument values.
+ */
+export declare function inferLauncherArgs(predicateName: string, text: string, _subject: string): string[] | null;
+//# sourceMappingURL=predicate-inference-launcher.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"predicate-inference-launcher.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-inference-launcher.ts"],"names":[],"mappings":"AAEA;;;;;;;GAOG;AACH,wBAAgB,iBAAiB,CAC/B,aAAa,EAAE,MAAM,EACrB,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,GACf,MAAM,EAAE,GAAG,IAAI,CAGjB"}

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

@@ -0,0 +1,13 @@
+import { exactLauncherPredicateArgs } from "../semantic-advisor/predicate-rules-launcher.js";
+/**
+ * Infer launcher arguments only for the exact reviewed semantic-rule corpus.
+ *
+ * General launcher prose may still retrieve a schema, but it must request
+ * reviewed argument bindings instead of manufacturing a ground predicate from
+ * lexical guesses. Keeping this boundary here makes every launcher schema
+ * share the semantic advisor's canonical argument values.
+ */
+export function inferLauncherArgs(predicateName, text, _subject) {
+    const args = exactLauncherPredicateArgs(predicateName, text);
+    return args === null ? null : [...args];
+}

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

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

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

@@ -1,10 +1,14 @@
 import { inferAuditEventRuleArgs, inferAvailabilitySlaArgs, inferConsentRuleArgs, inferDataResidencyRuleArgs, inferDependencyRuleArgs, inferEscalationRuleArgs, inferExceptionRuleArgs, inferGuardArgs, inferIdempotencyRuleArgs, inferLifecycleRuleArgs, inferMutualExclusionArgs, inferNotificationRouteArgs, inferOwnershipRuleArgs, inferPermissionRuleArgs, inferRetryPolicyArgs, } from "./predicate-inference-1.js";
 import { inferAbsenceRequirementArgs, inferAbstractionBoundaryRuleArgs, inferBatchOperationRuleArgs, inferBuildConstraintArgs, inferCodingStandardRuleArgs, inferConflictResolutionRuleArgs, inferConsistencyRuleArgs, inferEnvironmentSafetyRuleArgs, inferFallbackRuleArgs, inferMigrationBoundaryRuleArgs, inferOfflineBehaviorRuleArgs, inferOrderedStrategyRuleArgs, inferPlatformConsistencyRuleArgs, inferPreservationRuleArgs, inferRefreshPolicyRuleArgs, inferReleaseGateRuleArgs, inferSchemaInvariantRuleArgs, inferSecurityConfigurationRuleArgs, } from "./predicate-inference-2.js";
 import { inferConditionalBehaviorArgs, inferDefaultValueArgs, inferDocumentationStandardRuleArgs, inferEnforcementLocationRuleArgs, inferRateLimitArgs, inferReconciliationRuleArgs, inferScopedAuthorizationRuleArgs, inferStateMembershipArgs, inferStateTransitionArgs, inferTemporalOrderArgs, inferThrottlePolicyRuleArgs, inferUniquenessArgs, inferVisualLayoutRuleArgs, inferWarmupPolicyRuleArgs, } from "./predicate-inference-3.js";
+import { inferLauncherArgs } from "./predicate-inference-launcher.js";
 import { inferDuration, inferDurationUnit, inferEvent, inferGate, inferNumber, inferOperator, inferResource, inferScope, inferSubject, inferTrigger, inferUnit, slug, } from "./predicate-utils.js";
 // implements REQ-mcp-suggest-predicates
 export function inferArgs(schema, text, subject) {
     const lower = text.toLowerCase();
+    const launcherArgs = inferLauncherArgs(schema.predicate_name, text, subject);
+    if (launcherArgs !== null)
+        return launcherArgs;
     switch (schema.predicate_name) {
         case "state":
             return [subject, lower.includes("idle") ? "idle" : "active"];

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;AAI9B,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,CAqC5B;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

@@ -10,6 +10,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 }
@@ -52,6 +55,7 @@ export function predicateSchemaFromEntity(entity) {
     if (!predicateName)
         return [];
     const usageHints = usageHintsFromEntity(entity);
+    const argumentDescriptions = stringArray(entity.argument_descriptions);
     return [
         {
             id: String(entity.id ?? hashId("FACT-SCHEMA", [predicateName])),
@@ -61,6 +65,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,CA4EvB;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,52 @@ 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 structural matches retain the established deterministic score.
+        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";
@@ -63,6 +96,7 @@ export interface SuggestPredicatesResult {
         subject: string;
         candidates: PredicateSuggestion[];
         recommendedAction: "apply_requires_predicate" | "provide_argument_bindings" | "resolve_schema_reference" | "record_ontology_gap";
+        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,CAAC;QAC1B,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: [