kibi-cli 0.19.0 → 1.0.1

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

@@ -0,0 +1,276 @@
+import { usageHintsForSchema, } from "./predicate-ranker.js";
+export const MIN_APPLICABILITY_SCORE = 0.62;
+export const STRONG_APPLICABILITY_SCORE = 0.8;
+export const WEAK_CANDIDATE_MARGIN = 0.06;
+const NORMATIVE_OR_VALIDITY_PATTERN = /\b(?:must|shall|should|required|requires?|may\s+only|only\s+.+?\s+(?:may|can)|must\s+not|shall\s+not|cannot|can't|allowed|denied|forbidden|prohibited|invalid|unresolved|reject(?:s|ed|ion)?|fail(?:s|ed|ure)?\s+(?:clearly|explicitly|with)|defaults?\s+to|states?\s+are|owned\s+by|initializes?\s+after|before|unless|when|if|(?:exception|exempt)\s+(?:to|from|when|if|unless))\b/i;
+function expressesNormativeOrValidityIntent(text) {
+    return /^\s*no\b/i.test(text) || NORMATIVE_OR_VALIDITY_PATTERN.test(text);
+}
+const INTENT_RULES = {
+    state: {
+        allOf: [
+            [/\bstate\b|\bmode\b/i],
+            [/\benter|\bidle\b|\bactive\b|\bdraft\b|\bedit\b/i],
+        ],
+        prohibited: [/states?\s+are|one\s+of|transitions?\s+from/i],
+    },
+    retention_policy: {
+        allOf: [
+            [/retain|retention/i],
+            [/exist|duration|days?|months?|years?|weeks?|hours?/i],
+        ],
+        prohibited: [/rate\s+limit|session\s+expir|latency|timeout/i],
+    },
+    offline_behavior_rule: {
+        allOf: [[/offline/i], [/non[- ]blocking|resilien|synchron|gameplay/i]],
+    },
+    dependency_resolution_policy: {
+        allOf: [
+            [/dependenc|package|module|plugin|mcp/i],
+            [/resolv|locat|load|execut|acquir/i],
+            [
+                /consumer[- ]local|project[- ]local|plugin[- ]local|consumer[- ]scoped|workspace\s+(?:scope|semantics)|global(?:\s+fallback|\s+installation|\s+runtime)?|without\s+(?:downloading|installing)|no\s+(?:download|global\s+fallback)|must\s+not\s+(?:download|install)|acquisition\s+(?:policy|restriction)/i,
+            ],
+        ],
+        prohibited: [
+            /ordered|first\s+then|deterministic\s+order|resolution\s+order|child\s+process|invalid|ambiguous|missing|actionable|failure/i,
+        ],
+    },
+    ordered_resolution_strategy: {
+        allOf: [
+            [/resolv|lookup|candidate|source|dependency/i],
+            [/ordered|first|then|priority|candidates?|workspace|cwd/i],
+        ],
+        prohibited: [/invalid|ambiguous|placeholder|child\s+process|spawn/i],
+    },
+    resolution_failure_policy: {
+        allOf: [
+            [/invalid|ambiguous|placeholder|root|usable|reject|fail|error/i],
+            [/resolv|input|condition|clear|outcome|fail/i],
+        ],
+        prohibited: [/child\s+process|spawn|stdio|package-manager.*exception/i],
+    },
+    process_delegation_contract: {
+        allOf: [
+            [
+                /child\s+process|spawn|executable|cwd|working\s+directory|environment|env|stdio|terminat|exit/i,
+            ],
+            [/launcher|delegate|delegat|process|command|spawn/i],
+        ],
+        prohibited: [
+            /dependency\s+resolution|invalid\s+placeholder|ambiguous\s+root/i,
+        ],
+    },
+    failure_behavior: {
+        allOf: [
+            [
+                /failure|fail|missing(?:\s+\S+){0,4}\s+dependenc|missing\s+(?:project[- ]local\s+)?(?:kibi[- ]mcp|package|module)|dependenc\w*\s+(?:is\s+)?missing|unavailable|exception|error\s+(?:behavior|outcome|handling)/i,
+            ],
+            [/report|outcome|actionable|clear|return|surface|throw/i],
+        ],
+        prohibited: [
+            /invalid\s+placeholder|ambiguous\s+root|ordered\s+source|child\s+process/i,
+        ],
+    },
+    exception_rule: {
+        // Package-manager wording can provide context for an exception, but it
+        // is not itself an exception claim. Require an explicit exception
+        // relationship so descriptive documentation cannot select this rule.
+        anyOf: [
+            /\bunless\b/i,
+            /\bexcept\s+(?:when|if|for|that)\b/i,
+            /\b(?:is|are|remains?|constitutes?)\s+(?:the\s+)?(?:only\s+)?exception\s+to\b/i,
+            /\b(?:is|are|remains?)\s+exempt\s+(?:from|unless|when|if)\b/i,
+        ],
+        prohibited: [/child\s+process|stdio|ordered\s+source/i],
+    },
+    permission_rule: {
+        allOf: [
+            [/only|may|can|allowed|denied|forbidden|must\s+not|cannot/i],
+            [/delete|export|access|read|write|update|remove|manage|permission/i],
+        ],
+    },
+    resource_constraint: {
+        allOf: [
+            [
+                /latency|timeout|throughput|quota|memory|cpu|size|resource|response\s+time|upload|download|payload|attachment|file/i,
+            ],
+            [
+                /at\s+most|at\s+least|not\s+exceed|maximum|minimum|under|below|above|within|limit|bounded|enforced|\b\d+(?:\.\d+)?\s*(?:ms|milliseconds?|s|seconds?|mb|gb|%)?\b/i,
+            ],
+        ],
+        prohibited: [
+            /only|allowed|denied|forbidden|permission|authorize|must\s+not\s+(?:delete|export|access|write|update|remove|manage)/i,
+        ],
+    },
+    uniqueness_constraint: {
+        allOf: [[/at\s+most\s+one|unique|uniqueness/i], [/\bper\b|scope|within/i]],
+        prohibited: [/rate\s+limit|per\s+(?:second|minute|hour|day|window)/i],
+    },
+    state_membership: {
+        allOf: [
+            [/states?\s+are|terminal\s+states?|allowed\s+states?|one\s+of/i],
+            [/\bstate|ready|anonymous|terminal|allowed|enumerated/i],
+        ],
+        prohibited: [/transitions?\s+from/i],
+    },
+    conditional_behavior: {
+        allOf: [
+            [/^\s*(?:if|when)\b|\b(?:if|when)\b/i],
+            [/\bmust\b|\bshall\b|\bshould\b|\bbecomes?\b|\bthen\b/i],
+        ],
+        anyOf: [
+            /^when\s+.+?,\s*(?:the\s+)?.+?\s+(?:must|shall|should)\s+/i,
+            /^if\s+.+?,\s*(?:it|they|the\s+.+?)\s+(?:becomes?|must|shall|should)\b/i,
+        ],
+    },
+    rate_limit: {
+        allOf: [
+            [/rate|frequency|repeated|requests?|actions?|operations?/i],
+            [
+                /per\s+(?:second|minute|hour|day|window)|every\s+\w+|time\s+window|window/i,
+            ],
+        ],
+        prohibited: [/upload|download|payload|attachment|file\s+size/i],
+    },
+    data_residency_rule: {
+        allOf: [
+            [/stored|processed|kept/i],
+            [/region|jurisdiction|country|zone|area/i],
+        ],
+        prohibited: [/redis|cache|memory|bucket|database\s+instance/i],
+    },
+    coding_standard_rule: {
+        allOf: [
+            [/use|avoid/i],
+            [/api|apis|code|framework|hook|pattern|signal|schema|type|computed/i],
+        ],
+        prohibited: [/user|admin|access|permission|mfa|customer/i],
+    },
+    release_gate_rule: {
+        allOf: [
+            [/release|deploy|testflight|app\s+store|distribution|build/i],
+            [/pass|gate|before|configuration/i],
+        ],
+        prohibited: [/checkout|payment|fraud|workflow|capture/i],
+    },
+    security_configuration_rule: {
+        allOf: [
+            [/security|database|deployment|function|rpc|search_path|trigger/i],
+            [/explicit|configuration|setting/i],
+        ],
+        prohibited: [/display\s+label|ui|profile\s+field/i],
+    },
+    absence_requirement: {
+        anyOf: [/\bno\b|absent|removed|not\s+exist|must\s+not\s+exist/i],
+    },
+};
+function round(value) {
+    return Math.round(Math.max(0, Math.min(0.98, value)) * 100) / 100;
+}
+function countHintCues(text, values, minimumCoverage = 0) {
+    if (!values)
+        return 0;
+    const lower = text.toLowerCase();
+    return values.reduce((count, value) => {
+        const cues = (value.toLowerCase().match(/[a-z0-9]+/g) ?? []).filter((cue) => cue.length > 3 &&
+            !["when", "this", "that", "with", "from", "use"].includes(cue));
+        if (cues.length === 0)
+            return count;
+        const matched = cues.filter((cue) => lower.includes(cue)).length;
+        // A single generic word from a do_not_use_when sentence is not negative
+        // evidence. Require an exact phrase or at least two meaningful cues.
+        const phrase = value
+            .toLowerCase()
+            .replace(/^do\s+not\s+use\s+(?:when|for)\s+/, "")
+            .replace(/^use\s+(?:when|for)\s+/, "")
+            .replace(/[^a-z0-9]+/g, " ")
+            .trim();
+        const exactPhrase = phrase.length > 0 && lower.includes(phrase);
+        const requiredMatches = minimumCoverage > 0
+            ? Math.max(2, Math.ceil(cues.length * minimumCoverage))
+            : Math.min(2, cues.length);
+        return count + (exactPhrase || matched >= requiredMatches ? 1 : 0);
+    }, 0);
+}
+function specificityEvidence(schema, text) {
+    const values = [
+        schema.predicate_name,
+        ...(schema.aliases ?? []),
+        ...(schema.paraphrase_templates ?? []),
+        ...schema.keywords,
+    ];
+    const lower = text.toLowerCase();
+    const hits = values.reduce((count, value) => {
+        const cues = value.toLowerCase().match(/[a-z0-9]+/g) ?? [];
+        return (count +
+            (cues.some((cue) => cue.length > 3 && lower.includes(cue)) ? 1 : 0));
+    }, 0);
+    return Math.min(1, hits / Math.max(3, values.length / 2));
+}
+/**
+ * Evaluate semantic fit after retrieval and before argument binding. The
+ * function deliberately does not inspect argument values: complete-looking
+ * terms cannot make a semantically unrelated schema eligible.
+ */
+export function evaluateSemanticApplicability(ranked, text) {
+    const schema = ranked.schema;
+    const rule = INTENT_RULES[schema.predicate_name];
+    const usageHints = usageHintsForSchema(schema);
+    const positiveHints = countHintCues(text, usageHints?.use_when);
+    const negativeHints = countHintCues(text, usageHints?.do_not_use_when, 0.6);
+    const specific = specificityEvidence(schema, text);
+    const reasons = [];
+    if (!expressesNormativeOrValidityIntent(text)) {
+        reasons.push("prose does not express normative or validity intent");
+    }
+    let positive = specific + positiveHints * 0.16;
+    let negative = negativeHints * 0.2 + ranked.components.negative_evidence * 0.45;
+    if (ranked.components.exact_pattern >= 0.9) {
+        // Exact structural scorers are reviewed semantic patterns, not mere token
+        // overlap. They may satisfy the baseline intent evidence unless an
+        // explicit contradictory cue below rejects them.
+        positive += 0.38;
+    }
+    if (rule?.allOf) {
+        for (const group of rule.allOf) {
+            if (group.some((pattern) => pattern.test(text)))
+                positive += 0.22;
+            else
+                reasons.push(`required semantic cue absent for ${schema.predicate_name}`);
+        }
+        // A declared intent rule that satisfies every cue group is meaningful
+        // semantic evidence even when lexical retrieval was weak (for example,
+        // "timeout must not exceed 30 seconds" versus a short schema keyword
+        // list). Give that complete match a bounded applicability lift.
+        if (rule.allOf.every((group) => group.some((pattern) => pattern.test(text))))
+            positive += 0.2;
+    }
+    if (rule?.anyOf && !rule.anyOf.some((pattern) => pattern.test(text))) {
+        reasons.push(`intent cues do not describe ${schema.predicate_name}`);
+    }
+    else if (rule?.anyOf) {
+        positive += 0.26;
+    }
+    const prohibited = [...(rule?.prohibited ?? [])].filter((pattern) => pattern.test(text));
+    if (prohibited.length > 0) {
+        negative += prohibited.length * 0.35;
+        reasons.push(`prohibited or contradictory cue: ${prohibited
+            .map((pattern) => pattern.source)
+            .join(", ")}`);
+    }
+    if (negativeHints > 0) {
+        reasons.push("usage guidance says this schema is not for the supplied intent");
+    }
+    const score = round(ranked.score * 0.42 +
+        Math.min(1, positive) * 0.58 -
+        Math.min(1, negative) * 0.46);
+    if (score < MIN_APPLICABILITY_SCORE) {
+        reasons.push(`applicability score ${score.toFixed(2)} is below conservative threshold ${MIN_APPLICABILITY_SCORE.toFixed(2)}`);
+    }
+    return {
+        eligible: reasons.length === 0 && score >= MIN_APPLICABILITY_SCORE,
+        reasons: Array.from(new Set(reasons)),
+        applicabilityScore: score,
+    };
+}

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

@@ -1,6 +1,17 @@
-import type { PredicateSchemaCandidate, PredicateSuggestion, SuggestPredicatesArgs } from "./predicate-types.js";
-export declare function buildSuggestion(schema: PredicateSchemaCandidate, text: string, subject: string, score: number, argumentBindings?: Readonly<Record<string, string>>, polarityHint?: "assert" | "deny"): PredicateSuggestion;
+import type { PredicateSchemaCandidate, PredicateScoreComponents, PredicateSuggestion, RecommendedPredicateSchema, SuggestPredicatesArgs } from "./predicate-types.js";
+export declare function buildSuggestion(schema: PredicateSchemaCandidate, text: string, subject: string, score: number, argumentBindings?: Readonly<Record<string, string>>, polarityHint?: "assert" | "deny", diagnostics?: {
+    eligibility?: "eligible" | "rejected";
+    rejectionReasons?: readonly string[];
+    applicabilityScore?: number;
+    scoreComponents?: PredicateScoreComponents;
+    explicitSubject?: boolean;
+}): PredicateSuggestion;
 export declare function buildPredicateApplyPlan(suggestion: PredicateSuggestion, args: SuggestPredicatesArgs): Array<Record<string, unknown>>;
 export declare function buildRelationshipPlan(factId: string | undefined, requirementId: string | undefined, claimText?: string, existingLogicClaims?: readonly string[]): Record<string, unknown> | null;
 export declare function buildGapApplyPlan(text: string, args: SuggestPredicatesArgs): Array<Record<string, unknown>>;
+/**
+ * Build a review-only schema draft when retrieval found no eligible schema.
+ * The draft is deterministic and intentionally contains no apply plan.
+ */
+export declare function buildPredicateSchemaDraft(text: string, subject: string): RecommendedPredicateSchema;
 //# sourceMappingURL=predicate-applyplan.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"predicate-applyplan.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-applyplan.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EACV,wBAAwB,EACxB,mBAAmB,EACnB,qBAAqB,EACtB,MAAM,sBAAsB,CAAC;AAI9B,wBAAgB,eAAe,CAC7B,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,EACb,gBAAgB,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,EACvD,YAAY,CAAC,EAAE,QAAQ,GAAG,MAAM,GAC/B,mBAAmB,CAmCrB;AAGD,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,mBAAmB,EAC/B,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAiChC;AAGD,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,aAAa,EAAE,MAAM,GAAG,SAAS,EACjC,SAAS,CAAC,EAAE,MAAM,EAClB,mBAAmB,GAAE,SAAS,MAAM,EAAO,GAC1C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAwBhC;AAGD,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA+BhC"}
+{"version":3,"file":"predicate-applyplan.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-applyplan.ts"],"names":[],"mappings":"AAUA,OAAO,KAAK,EAEV,wBAAwB,EACxB,wBAAwB,EACxB,mBAAmB,EACnB,0BAA0B,EAC1B,qBAAqB,EACtB,MAAM,sBAAsB,CAAC;AAI9B,wBAAgB,eAAe,CAC7B,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,KAAK,EAAE,MAAM,EACb,gBAAgB,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,EACvD,YAAY,CAAC,EAAE,QAAQ,GAAG,MAAM,EAChC,WAAW,CAAC,EAAE;IACZ,WAAW,CAAC,EAAE,UAAU,GAAG,UAAU,CAAC;IACtC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,eAAe,CAAC,EAAE,wBAAwB,CAAC;IAC3C,eAAe,CAAC,EAAE,OAAO,CAAC;CAC3B,GACA,mBAAmB,CA6ErB;AAGD,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,mBAAmB,EAC/B,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAqChC;AAGD,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,MAAM,GAAG,SAAS,EAC1B,aAAa,EAAE,MAAM,GAAG,SAAS,EACjC,SAAS,CAAC,EAAE,MAAM,EAClB,mBAAmB,GAAE,SAAS,MAAM,EAAO,GAC1C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAwBhC;AAGD,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CA+BhC;AAED;;;GAGG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,0BAA0B,CAoE5B"}

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

@@ -1,17 +1,31 @@
 import { semanticClaimKey } from "../semantic-advisor/clauses.js";
+import { exactLauncherPredicateArgs } from "../semantic-advisor/predicate-rules-launcher.js";
+import { aggregateBindingProvenance, bindingCanBeApplied, classifyBinding, isGenericPlaceholder, } from "./predicate-bindings.js";
 import { inferArgs } from "./predicate-inference.js";
 import { schemaForCandidate } from "./predicate-loader.js";
 import { hashId } from "./predicate-utils.js";
 // implements REQ-mcp-suggest-predicates
-export function buildSuggestion(schema, text, subject, score, argumentBindings = {}, polarityHint) {
+export function buildSuggestion(schema, text, subject, score, argumentBindings = {}, polarityHint, diagnostics) {
     const inferredArgs = inferArgs(schema, text, subject);
+    const canonicalLauncherArgs = exactLauncherPredicateArgs(schema.predicate_name, text);
     const predicateArgs = schema.argument_names.map((name, index) => {
         const exactBinding = argumentBindings[name];
         return typeof exactBinding === "string" && exactBinding.trim().length > 0
             ? exactBinding.trim()
             : (inferredArgs[index] ?? "unknown");
     });
-    const unboundArguments = schema.argument_names.filter((_name, index) => predicateArgs[index] === "unknown");
+    const bindingProvenanceByArgument = Object.fromEntries(schema.argument_names.map((name, index) => [
+        name,
+        classifyBinding(predicateArgs[index] ?? "unknown", text, (typeof argumentBindings[name] === "string" &&
+            argumentBindings[name].trim().length > 0) ||
+            (diagnostics?.explicitSubject === true && index === 0), canonicalLauncherArgs?.[index] === predicateArgs[index] &&
+            !(index === 0 &&
+                predicateArgs[index] === "launcher" &&
+                diagnostics?.explicitSubject !== true &&
+                typeof argumentBindings[name] !== "string")),
+    ]));
+    const bindingProvenance = aggregateBindingProvenance(Object.values(bindingProvenanceByArgument));
+    const unboundArguments = schema.argument_names.filter((name) => !bindingCanBeApplied(bindingProvenanceByArgument[name] ?? "placeholder"));
     const canonicalKey = `${schema.predicate_name}(${predicateArgs.join(",")})`;
     // Permission-style inference carries the deontic decision as its final
     // argument. Preserve that polarity in the typed suggestion instead of
@@ -29,6 +43,21 @@ export function buildSuggestion(schema, text, subject, score, argumentBindings =
         polarity,
         binding_status: unboundArguments.length === 0 ? "complete" : "incomplete",
         unbound_arguments: unboundArguments,
+        binding_provenance: bindingProvenance,
+        binding_provenance_by_argument: bindingProvenanceByArgument,
+        eligibility: diagnostics?.eligibility ?? "eligible",
+        rejection_reasons: [...(diagnostics?.rejectionReasons ?? [])],
+        applicability_score: diagnostics?.applicabilityScore ?? score,
+        score_components: diagnostics?.scoreComponents ?? {
+            exact_pattern: score,
+            keyword_hits: 0,
+            descriptor_overlap: 0,
+            usage_match: 0,
+            negative_evidence: 0,
+            broad_token_penalty: 0,
+            specificity_bonus: 0,
+            total: score,
+        },
         score,
         rationale: `Matched ${schema.predicate_name} because the prose overlaps with ${schema.tags.join(", ")} cues.`,
         schema: schemaForCandidate(schema),
@@ -36,7 +65,8 @@ export function buildSuggestion(schema, text, subject, score, argumentBindings =
 }
 // implements REQ-mcp-suggest-predicates
 export function buildPredicateApplyPlan(suggestion, args) {
-    if (suggestion.binding_status !== "complete")
+    if (suggestion.binding_status !== "complete" ||
+        suggestion.eligibility !== "eligible")
         return [];
     const claimKey = semanticClaimKey(args.text);
     const factId = hashId("FACT-PRED", [
@@ -127,3 +157,70 @@ export function buildGapApplyPlan(text, args) {
         },
     ];
 }
+/**
+ * Build a review-only schema draft when retrieval found no eligible schema.
+ * The draft is deterministic and intentionally contains no apply plan.
+ */
+export function buildPredicateSchemaDraft(text, subject) {
+    const lower = text.toLowerCase();
+    const words = lower.match(/[a-z][a-z0-9-]{3,}/g) ?? [];
+    const ignored = new Set([
+        "must",
+        "shall",
+        "should",
+        "when",
+        "where",
+        "that",
+        "with",
+        "from",
+        "into",
+        "only",
+        "this",
+        "there",
+        "their",
+        "required",
+        "requires",
+    ]);
+    const terms = Array.from(new Set(words.filter((word) => !ignored.has(word)))).slice(0, 3);
+    const predicateName = `${terms.length > 0 ? terms.join("_") : "domain"}_policy`;
+    const outcomeLike = /invalid|fail|reject|error|forbid|prohibit|must not|cannot/i.test(text);
+    const argumentNames = outcomeLike
+        ? ["subject", "condition", "required_outcome"]
+        : /when|if|unless/i.test(text)
+            ? ["subject", "condition", "behavior"]
+            : ["subject", "claim"];
+    const argumentTypes = outcomeLike
+        ? ["entity", "condition", "outcome"]
+        : argumentNames.length === 3
+            ? ["entity", "condition", "behavior"]
+            : ["entity", "claim"];
+    const candidateBindings = {};
+    if (!isGenericPlaceholder(subject))
+        candidateBindings.subject = subject;
+    const unresolvedBindings = argumentNames.filter((name) => {
+        if (name === "subject")
+            return !Object.hasOwn(candidateBindings, "subject");
+        const candidate = name === "condition"
+            ? lower.match(/(?:when|if|unless)\s+(.+?)(?:,|\s+then\s+|\s+must\s+)/i)?.[1]
+            : lower.match(/(?:must|shall|should)\s+(.+?)(?:\.|$)/i)?.[1];
+        if (candidate) {
+            candidateBindings[name] = candidate
+                .replace(/[^a-z0-9_. -]/g, "")
+                .trim()
+                .replace(/\s+/g, "_");
+            return false;
+        }
+        return true;
+    });
+    return {
+        predicate_name: predicateName,
+        title: `${predicateName} review draft`,
+        description: `Review-only schema draft derived from the unresolved proposition: ${text.trim()}`,
+        argument_names: argumentNames,
+        argument_types: argumentTypes,
+        candidate_bindings: candidateBindings,
+        unresolved_bindings: unresolvedBindings,
+        rationale: "No available predicate schema passed semantic applicability. Review the proposed signature and promote it to a reusable predicate_schema before grounding the claim.",
+        reuse_scope: "Domain-general schema for propositions with the same subject, condition, and required outcome pattern.",
+    };
+}

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

@@ -0,0 +1,6 @@
+import type { BindingProvenance } from "./predicate-types.js";
+export declare function isGenericPlaceholder(value: string): boolean;
+export declare function classifyBinding(value: string, text: string, explicit: boolean, canonical?: boolean): BindingProvenance;
+export declare function aggregateBindingProvenance(values: readonly BindingProvenance[]): BindingProvenance;
+export declare function bindingCanBeApplied(value: BindingProvenance): boolean;
+//# sourceMappingURL=predicate-bindings.d.ts.map

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

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

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

@@ -0,0 +1,122 @@
+const PLACEHOLDER_VALUES = new Set([
+    "unknown",
+    "requirement.subject",
+    "domain_event",
+    "true",
+    "false",
+    "subject",
+    "component",
+    "condition",
+    "behavior",
+    "action",
+    "target",
+    "resource",
+    "scope",
+    "property",
+    "value",
+    "owner",
+    "actor",
+    "trigger",
+    "unspecified_trigger",
+    "unit",
+    "policy",
+    "outcome",
+    "failure_condition",
+    "required_outcome",
+    "ordered_sources",
+    "executable_policy",
+    "cwd_policy",
+    "environment_policy",
+    "stdio_policy",
+    "termination_policy",
+    "normal_behavior",
+]);
+const DERIVED_CUE_ALIASES = {
+    navigation: ["navigate", "navigates", "navigation"],
+    draft: ["draft", "drafts"],
+    active_annotation: ["annotation", "active"],
+    editor: ["editor"],
+    editor_annotation: ["editor", "annotation"],
+    consumer_local: ["consumer-local", "consumer local", "project-local"],
+    no_download: ["no download", "without downloading", "not download"],
+    no_global_fallback: ["no global fallback", "without global fallback"],
+    package_manager_exception: ["package-manager", "package manager"],
+    missing_candidate: ["missing", "unusable", "candidate"],
+    cwd_unusable: ["cwd", "working directory", "current directory"],
+    invalid_input: ["invalid", "unresolved", "placeholder"],
+    invalid_placeholder: ["invalid placeholder", "unresolved placeholder"],
+    ambiguous_root: ["ambiguous", "usable root", "roots"],
+    clear_error: ["clear error", "fail clearly", "actionable error"],
+    resolved_executable: ["executable", "command", "binary", "bin"],
+    consumer_cwd: ["cwd", "working directory", "consumer"],
+    inherited_environment: ["environment", "env"],
+    consumer_workspace_environment: [
+        "environment",
+        "env",
+        "kibi_workspace",
+        "workspace",
+    ],
+    inherited_stdio: ["stdio", "stdin", "stdout", "stderr", "pipe"],
+    propagate_termination: ["terminate", "termination", "exit", "signal"],
+    missing_dependency: [
+        "missing dependency",
+        "missing kibi-mcp",
+        "missing project-local",
+        "project-local kibi-mcp",
+        "missing module",
+    ],
+    actionable_error: ["actionable", "clear error", "report", "error"],
+    exception: ["exception", "except", "package-manager", "package manager"],
+};
+function textContainsValue(text, value) {
+    const lower = text.toLowerCase();
+    if (value.includes("|")) {
+        const parts = value.split("|").filter(Boolean);
+        return (parts.length > 0 && parts.every((part) => textContainsValue(text, part)));
+    }
+    const normalized = value.toLowerCase().replace(/[_.-]+/g, " ");
+    const normalizedText = lower.replace(/[_.-]+/g, " ");
+    if (normalized.length > 2 && normalizedText.includes(normalized))
+        return true;
+    if (value.toLowerCase() === "missing_dependency" &&
+        /missing(?:\s+\S+){0,4}\s+dependenc/i.test(normalizedText))
+        return true;
+    const aliases = DERIVED_CUE_ALIASES[value.toLowerCase().replace(/\./g, "_")];
+    return (aliases?.some((alias) => normalizedText.includes(alias.toLowerCase().replace(/[_.-]+/g, " "))) ?? false);
+}
+export function isGenericPlaceholder(value) {
+    const normalized = value.trim().toLowerCase();
+    return (PLACEHOLDER_VALUES.has(normalized) ||
+        normalized === "unknown" ||
+        normalized.startsWith("requirement.") ||
+        (normalized.endsWith("_policy") &&
+            ["executable", "cwd", "environment", "stdio", "termination"].some((kind) => normalized.startsWith(kind))));
+}
+export function classifyBinding(value, text, explicit, canonical = false) {
+    const normalized = value.trim();
+    if (canonical && !isGenericPlaceholder(normalized))
+        return "extracted";
+    if (explicit &&
+        (!isGenericPlaceholder(normalized) ||
+            ["true", "false"].includes(normalized.toLowerCase())))
+        return "explicit";
+    if (!normalized || isGenericPlaceholder(normalized))
+        return "placeholder";
+    if (textContainsValue(text, normalized))
+        return "extracted";
+    return "inferred";
+}
+const PROVENANCE_ORDER = [
+    "explicit",
+    "extracted",
+    "inferred",
+    "placeholder",
+];
+export function aggregateBindingProvenance(values) {
+    return values.reduce((worst, value) => PROVENANCE_ORDER.indexOf(value) > PROVENANCE_ORDER.indexOf(worst)
+        ? value
+        : worst, "explicit");
+}
+export function bindingCanBeApplied(value) {
+    return value === "explicit" || value === "extracted";
+}

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,EAoJzD,CAAC"}
+{"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"}