kibi-cli 0.16.1 → 0.18.1

package/dist/operations/modeling/logic-modeling.d.ts

@@ -0,0 +1,22 @@
+import { type LogicRuleIR } from "../../logic/ir.js";
+export interface LogicApplyPlanInput {
+    readonly text: string;
+    readonly logic: LogicRuleIR;
+    readonly source: string;
+    readonly requirementId?: string;
+    readonly existingLogicClaims?: readonly string[];
+    readonly claimKey?: string;
+    readonly claimText?: string;
+}
+export interface LogicApplyPlanResult {
+    readonly normalized: LogicRuleIR;
+    readonly ruleHash: string;
+    readonly semanticKey: string;
+    readonly claimKey: string;
+    readonly claimText: string;
+    readonly renderedProlog: string;
+    readonly applyPlan: Array<Record<string, unknown>>;
+}
+export declare function logicRuleFactId(semanticKey: string): string;
+export declare function buildLogicApplyPlan(input: LogicApplyPlanInput): LogicApplyPlanResult;
+//# sourceMappingURL=logic-modeling.d.ts.map

package/dist/operations/modeling/logic-modeling.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"logic-modeling.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/logic-modeling.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,WAAW,EAIjB,MAAM,mBAAmB,CAAC;AAO3B,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;CAC7B;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;IACjC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACpD;AAUD,wBAAgB,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAE3D;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,mBAAmB,GACzB,oBAAoB,CAsHtB"}

package/dist/operations/modeling/logic-modeling.js

@@ -0,0 +1,120 @@
+import { createHash } from "node:crypto";
+import { logicSemanticKey, utf8Span, validateLogicIr, } from "../../logic/ir.js";
+import { normalizeSemanticClause, semanticClaimKey, } from "../semantic-advisor/clauses.js";
+import { semanticSourceHash } from "../semantic-advisor/shared.js";
+function shortId(value) {
+    return createHash("sha256")
+        .update(value)
+        .digest("hex")
+        .slice(0, 16)
+        .toUpperCase();
+}
+export function logicRuleFactId(semanticKey) {
+    return `FACT-RULE-${shortId(semanticKey)}`;
+}
+export function buildLogicApplyPlan(input) {
+    const validation = validateLogicIr(input.logic);
+    if (!validation.valid ||
+        !validation.normalized ||
+        !validation.ruleHash ||
+        !validation.semanticKey ||
+        !validation.renderedProlog) {
+        throw new Error(`Logic IR validation failed: ${validation.errors.join("; ")}`);
+    }
+    const sourceText = input.claimText?.trim() || input.text.trim();
+    const claimText = normalizeSemanticClause(sourceText);
+    const claimKey = input.claimKey || semanticClaimKey(claimText);
+    const semanticKey = logicSemanticKey(validation.normalized);
+    const schemaId = validation.normalized.ruleSchemaId ?? "FACT-RULE-SCHEMA-LOGIC-V1";
+    const ruleId = logicRuleFactId(semanticKey);
+    const claimStart = input.text.indexOf(claimText);
+    const span = utf8Span(input.text, claimStart >= 0 ? claimStart : 0, claimStart >= 0 ? claimStart + claimText.length : claimText.length);
+    const logicClaims = Array.from(new Set([...(input.existingLogicClaims ?? []), claimKey]));
+    const schemaPlan = input.logic.ruleSchemaId
+        ? []
+        : [
+            {
+                type: "fact",
+                id: schemaId,
+                properties: {
+                    title: "kibi.logic.v1 rule schema",
+                    status: "active",
+                    source: input.source,
+                    fact_kind: "rule_schema",
+                    rule_name: "kibi.logic.v1",
+                    argument_names: ["rule_ir"],
+                    argument_types: ["logic_ir"],
+                    aliases: ["conditional rule", "constraint", "policy rule"],
+                    examples: [validation.renderedProlog],
+                },
+                relationships: [],
+            },
+        ];
+    return {
+        normalized: validation.normalized,
+        ruleHash: validation.ruleHash,
+        semanticKey,
+        claimKey,
+        claimText,
+        renderedProlog: validation.renderedProlog,
+        applyPlan: [
+            ...schemaPlan,
+            {
+                type: "fact",
+                id: ruleId,
+                properties: {
+                    title: `${validation.normalized.kind} rule ${semanticKey}`,
+                    status: "active",
+                    source: input.source,
+                    fact_kind: "rule",
+                    rule_ir: validation.normalized,
+                    rule_hash: validation.ruleHash,
+                    semantic_key: semanticKey,
+                    rule_schema_id: schemaId,
+                    rule_name: validation.normalized.ruleSchemaId ?? "kibi.logic.v1",
+                    canonical_key: semanticKey,
+                    claim_key: claimKey,
+                    claim_text: claimText,
+                    claim_span_start: span.start,
+                    claim_span_end: span.end,
+                    tags: ["lane:logic", "logic-ir-v1"],
+                },
+                relationships: [],
+            },
+            {
+                type: "req",
+                id: input.requirementId ?? `REQ-LOGIC-${shortId(claimText)}`,
+                properties: {
+                    title: claimText.split(/[.!?]/, 1)[0] || "Typed logical requirement",
+                    status: "open",
+                    source: input.source,
+                    semantic_text: input.text.trim(),
+                    logic_claims: logicClaims,
+                    semantic_clauses: [claimText],
+                    semantic_inventory_version: "kibi.semantic-inventory.v1",
+                    semantic_source_field: "semantic_text",
+                    semantic_source_hash: semanticSourceHash(input.text.trim()),
+                    semantic_inventory: [
+                        {
+                            claim_key: claimKey,
+                            claim_text: claimText,
+                            role: /\b(?:must|shall|should|required|requires?)\b/i.test(claimText)
+                                ? "normative"
+                                : "descriptive",
+                            status: "modeled",
+                            span,
+                            semantic_key: semanticKey,
+                        },
+                    ],
+                },
+                relationships: [
+                    {
+                        type: "requires_rule",
+                        from: input.requirementId ?? `REQ-LOGIC-${shortId(claimText)}`,
+                        to: ruleId,
+                    },
+                ],
+            },
+        ],
+    };
+}

package/dist/operations/modeling/model-requirement.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"model-requirement.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/model-requirement.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAGjF,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,oBAAoB,EACpB,sBAAsB,EACvB,MAAM,wBAAwB,CAAC;AAMhC,YAAY,EACV,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACvB,yBAAyB,EACzB,uBAAuB,GACxB,CAAC;AAEF,wBAAsB,4BAA4B,CAChD,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAgBxB;AAED,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,oBAAoB,EAC1B,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,sBAAsB,CAAC,CAmFjC;AAED,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,oBAAoB,EAC1B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,sBAAsB,CAAC,CAEjC"}
+{"version":3,"file":"model-requirement.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/model-requirement.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,0CAA0C,CAAC;AAQjF,OAAO,EACL,yBAAyB,EACzB,uBAAuB,EACxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACxB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EACV,oBAAoB,EACpB,sBAAsB,EACvB,MAAM,wBAAwB,CAAC;AAMhC,YAAY,EACV,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EACL,iCAAiC,EACjC,uBAAuB,EACvB,yBAAyB,EACzB,uBAAuB,GACxB,CAAC;AAEF,wBAAsB,4BAA4B,CAChD,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAgBxB;AAED,wBAAsB,wBAAwB,CAC5C,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,oBAAoB,EAC1B,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,sBAAsB,CAAC,CAsKjC;AAED,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,oBAAoB,EAC1B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,sBAAsB,CAAC,CAEjC"}

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

@@ -2,7 +2,9 @@ import { readFile } from "node:fs/promises";
 import path from "node:path";
 import { buildStrictWriteSet } from "../../public/check-types.js";
 import { getSchemaVersionStatus } from "../../public/schema-version.js";
-import { semanticClaimKey } from "../semantic-advisor/clauses.js";
+import { normalizeSemanticClause, semanticClaimKey, } from "../semantic-advisor/clauses.js";
+import { semanticSourceHash } from "../semantic-advisor/shared.js";
+import { buildLogicApplyPlan } from "./logic-modeling.js";
 import { strictWriteSetToApplyPlan, writeSetPrimaryEntityId, } from "./requirement-applyplan.js";
 import { estimateNormativeSignalConfidence, extractRequirementClaim, } from "./requirement-modeler.js";
 import { normalizeOptionalString, normalizeSourceFiles, } from "./requirement-utils.js";
@@ -31,6 +33,61 @@ export async function handleKbModelRequirement(_prolog, args, workspaceRoot) {
             normalizeSourceFiles(args.sourceFiles)[0] ??
             "mcp://kibi/model-requirement",
     });
+    if (args.logic !== undefined) {
+        const logicPlan = buildLogicApplyPlan({
+            text: args.text,
+            logic: args.logic,
+            source: extracted.source,
+            ...(typeof args.requirementId === "string"
+                ? { requirementId: args.requirementId }
+                : {}),
+            ...(args.existingLogicClaims !== undefined
+                ? { existingLogicClaims: args.existingLogicClaims }
+                : {}),
+            ...(args.claimKey !== undefined ? { claimKey: args.claimKey } : {}),
+            ...(args.claimText !== undefined ? { claimText: args.claimText } : {}),
+        });
+        const fallbackWriteSet = buildStrictWriteSet({
+            claim: extracted.claim,
+            statement: extracted.statement,
+        });
+        const migrationWarning = await getWorkspaceMigrationWarning(workspaceRoot);
+        const structuredContent = {
+            statement: extracted.statement,
+            claimKey: logicPlan.claimKey,
+            logicClaims: Array.from(new Set([...(args.existingLogicClaims ?? []), logicPlan.claimKey])),
+            source: extracted.source,
+            sourceFiles: extracted.sourceFiles,
+            claim: extracted.claim,
+            writeSet: fallbackWriteSet,
+            applyPlan: logicPlan.applyPlan,
+            isStrict: false,
+            confidence: args.confidence ?? 1,
+            extractionMode: extracted.extractionMode,
+            extractionWarnings: extracted.extractionWarnings,
+            warnings: [],
+            migrationWarning,
+            logic: {
+                semanticKey: logicPlan.semanticKey,
+                claimKey: logicPlan.claimKey,
+                claimText: logicPlan.claimText,
+                renderedProlog: logicPlan.renderedProlog,
+                normalized: logicPlan.normalized,
+            },
+        };
+        return {
+            content: [
+                {
+                    type: "text",
+                    text: `Modeled typed kibi.logic.v1 rule ${logicPlan.semanticKey}; apply the returned schema, rule, and requirement steps sequentially.`,
+                },
+            ],
+            structuredContent,
+            applyPlan: logicPlan.applyPlan,
+            writeSet: fallbackWriteSet,
+            migrationWarning,
+        };
+    }
     const writeSet = buildStrictWriteSet({
         claim: extracted.claim,
         statement: extracted.statement,
@@ -52,9 +109,33 @@ export async function handleKbModelRequirement(_prolog, args, workspaceRoot) {
             };
         }
         if (step.type === "req") {
+            const claimText = extracted.statement.trim();
+            const normalizedClaimText = normalizeSemanticClause(claimText);
             return {
                 ...step,
-                properties: { ...properties, logic_claims: logicClaims },
+                properties: {
+                    ...properties,
+                    semantic_text: claimText,
+                    logic_claims: logicClaims,
+                    semantic_clauses: [claimText],
+                    semantic_inventory_version: "kibi.semantic-inventory.v1",
+                    semantic_source_field: "semantic_text",
+                    semantic_source_hash: semanticSourceHash(claimText),
+                    semantic_inventory: [
+                        {
+                            claim_key: claimKey,
+                            claim_text: normalizedClaimText,
+                            role: /\b(?:must|shall|should|required|requires?)\b/i.test(claimText)
+                                ? "normative"
+                                : "descriptive",
+                            status: "modeled",
+                            span: {
+                                start: 0,
+                                end: Buffer.byteLength(normalizedClaimText, "utf8"),
+                            },
+                        },
+                    ],
+                },
             };
         }
         return step;

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

@@ -1,5 +1,5 @@
 import type { PredicateSchemaCandidate, PredicateSuggestion, SuggestPredicatesArgs } from "./predicate-types.js";
-export declare function buildSuggestion(schema: PredicateSchemaCandidate, text: string, subject: string, score: number): PredicateSuggestion;
+export declare function buildSuggestion(schema: PredicateSchemaCandidate, text: string, subject: string, score: number, argumentBindings?: Readonly<Record<string, string>>, polarityHint?: "assert" | "deny"): 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>>;

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,GACZ,mBAAmB,CAarB;AAGD,wBAAgB,uBAAuB,CACrC,UAAU,EAAE,mBAAmB,EAC/B,IAAI,EAAE,qBAAqB,GAC1B,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAgChC;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,CAyBhC"}
+{"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"}

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

@@ -3,15 +3,32 @@ 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) {
-    const predicateArgs = inferArgs(schema, text, subject);
+export function buildSuggestion(schema, text, subject, score, argumentBindings = {}, polarityHint) {
+    const inferredArgs = inferArgs(schema, text, subject);
+    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 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
+    // silently turning a prohibition into an assertion.
+    const polarity = polarityHint ??
+        (predicateArgs.at(-1) === "deny" ||
+            /\b(?:must\s+not|shall\s+not|never|cannot|can't|forbidden|prohibited)\b/i.test(text)
+            ? "deny"
+            : "assert");
     return {
         id: hashId("SUGGEST", [schema.id, canonicalKey, text]),
         predicate_name: schema.predicate_name,
         predicate_args: predicateArgs,
         canonical_key: canonicalKey,
-        polarity: "assert",
+        polarity,
+        binding_status: unboundArguments.length === 0 ? "complete" : "incomplete",
+        unbound_arguments: unboundArguments,
         score,
         rationale: `Matched ${schema.predicate_name} because the prose overlaps with ${schema.tags.join(", ")} cues.`,
         schema: schemaForCandidate(schema),
@@ -19,6 +36,8 @@ export function buildSuggestion(schema, text, subject, score) {
 }
 // implements REQ-mcp-suggest-predicates
 export function buildPredicateApplyPlan(suggestion, args) {
+    if (suggestion.binding_status !== "complete")
+        return [];
     const claimKey = semanticClaimKey(args.text);
     const factId = hashId("FACT-PRED", [
         args.requirementId ?? "",
@@ -98,7 +117,13 @@ export function buildGapApplyPlan(text, args) {
                 claim_key: claimKey,
                 claim_text: text,
             },
-            relationships: [],
+            relationships: [
+                {
+                    type: "relates_to",
+                    from: factId,
+                    to: "review:ontology-gap",
+                },
+            ],
         },
     ];
 }

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,CA8IV;AAGD,OAAO,EAAE,YAAY,EAAE,CAAC"}
+{"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"}

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

@@ -141,6 +141,9 @@ export function inferArgs(schema, text, subject) {
         case "rate_limit":
             return inferRateLimitArgs(text);
         default:
+            // A schema argument name declares a role, not its ground value. Only
+            // the conventional subject slot has a separately reviewed hint;
+            // project-local non-subject arguments require exact argumentBindings.
             return schema.argument_names.map((name) => name === "subject" ? subject : "unknown");
     }
 }

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,CAeA;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,CA+B5B;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,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"}

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

@@ -10,6 +10,10 @@ export function schemaForCandidate(schema) {
         description: schema.description,
         argument_names: schema.argument_names,
         argument_types: schema.argument_types,
+        ...(schema.aliases ? { aliases: schema.aliases } : {}),
+        ...(schema.paraphrase_templates
+            ? { paraphrase_templates: schema.paraphrase_templates }
+            : {}),
         examples: schema.examples,
         tags: schema.tags,
         usage_hints: schema.usage_hints ??
@@ -23,7 +27,7 @@ export async function loadExistingPredicateSchemas(prolog, includeExistingSchema
         return [];
     }
     try {
-        const queryResult = await prolog.query("findall([Id,'fact',Props], (kb_entity(Id, 'fact', Props), member(fact_kind=predicate_schema, Props)), Results)");
+        const queryResult = await prolog.query("findall([Id,'fact',Props], (kb:predicate_schema(Id, _Namespace, _Name, _Arity, _ArgumentNames, _ArgumentTypes), kb_entity(Id, 'fact', Props)), Results)");
         if (!queryResult.success) {
             throw new Error(queryResult.error || "Query failed with unknown error");
         }
@@ -62,6 +66,8 @@ export function predicateSchemaFromEntity(entity) {
                 ...stringArray(entity.aliases),
                 ...stringArray(entity.tags),
             ],
+            aliases: stringArray(entity.aliases),
+            paraphrase_templates: stringArray(entity.paraphrase_templates),
             examples: stringArray(entity.examples),
             tags: stringArray(entity.tags),
             ...(usageHints ? { usage_hints: usageHints } : {}),

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;AAUrE,wBAAgB,WAAW,CACzB,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,GACX,MAAM,CAcR"}
+{"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"}

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

@@ -2,6 +2,25 @@ 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";
+function tokens(value) {
+    return value.toLowerCase().match(/[a-z0-9]+/g) ?? [];
+}
+function stem(value) {
+    if (value.length > 5 && value.endsWith("ies"))
+        return `${value.slice(0, -3)}y`;
+    if (value.length > 4 && value.endsWith("ing"))
+        return value.slice(0, -3);
+    if (value.length > 4 && value.endsWith("ed"))
+        return value.slice(0, -2);
+    if (value.length > 4 && value.endsWith("s"))
+        return value.slice(0, -1);
+    return value;
+}
+function overlap(left, right) {
+    const target = new Set(right.map(stem));
+    const matches = new Set(left.map(stem).filter((token) => target.has(token)));
+    return target.size === 0 ? 0 : matches.size / target.size;
+}
 const EXACT_SCORERS = [
     scoreExactPredicates1,
     scoreExactPredicates2,
@@ -16,9 +35,28 @@ export function scoreSchema(schema, text) {
     }
     const lower = text.toLowerCase();
     const keywordHits = schema.keywords.filter((keyword) => matchesKeyword(text, lower, keyword)).length;
-    if (keywordHits === 0)
+    const textTokens = tokens(text);
+    const descriptors = [
+        schema.predicate_name,
+        schema.title,
+        schema.description,
+        ...(schema.aliases ?? []),
+        ...(schema.paraphrase_templates ?? []),
+        ...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 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, 0.24 + normalized * 0.5 + keywordHits * 0.06);
+    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;
 }

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

@@ -11,6 +11,9 @@ export interface PredicateSchemaCandidate {
     argument_names: string[];
     argument_types: string[];
     keywords: string[];
+    /** Human-language aliases and controlled paraphrase templates used for deterministic retrieval. */
+    aliases?: string[];
+    paraphrase_templates?: string[];
     examples: string[];
     tags: string[];
     usage_hints?: PredicateUsageHints;
@@ -23,6 +26,12 @@ export type SuggestPredicatesArgs = Readonly<Record<string, unknown>> & {
     readonly maxCandidates?: number;
     readonly minScore?: number;
     readonly includeExistingSchemas?: boolean;
+    /** Exact reviewed schema candidate ID to select instead of lexical ranking. */
+    readonly schemaId?: string;
+    /** Exact values keyed by the selected predicate schema's argument_names. */
+    readonly argumentBindings?: Readonly<Record<string, string>>;
+    /** Reviewed polarity override for negation-scope false positives. */
+    readonly polarityHint?: PredicatePolarity;
     /** Existing requirement claim manifest. Relationship guidance merges this list. */
     readonly existingLogicClaims?: readonly string[];
 };
@@ -32,6 +41,8 @@ export interface PredicateSuggestion {
     predicate_args: string[];
     canonical_key: string;
     polarity: PredicatePolarity;
+    binding_status: "complete" | "incomplete";
+    unbound_arguments: string[];
     score: number;
     rationale: string;
     schema: Omit<PredicateSchemaCandidate, "keywords"> & {
@@ -51,7 +62,7 @@ export interface SuggestPredicatesResult {
         requirementId: string | null;
         subject: string;
         candidates: PredicateSuggestion[];
-        recommendedAction: "apply_requires_predicate" | "record_ontology_gap";
+        recommendedAction: "apply_requires_predicate" | "provide_argument_bindings" | "resolve_schema_reference" | "record_ontology_gap";
         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,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,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,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,EAAE,0BAA0B,GAAG,qBAAqB,CAAC;QACtE,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,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"}

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

@@ -1,3 +1,4 @@
+import type { LogicRuleIR } from "../../logic/ir.js";
 import type { SemanticClaim, StrictWriteSet } from "../../public/check-types.js";
 export type ModelRequirementArgs = Readonly<Record<string, unknown>> & {
     readonly text: string;
@@ -11,6 +12,10 @@ export type ModelRequirementArgs = Readonly<Record<string, unknown>> & {
     readonly provenance?: string;
     /** Existing requirement claim manifest. Returned req updates merge this list. */
     readonly existingLogicClaims?: readonly string[];
+    readonly logic?: LogicRuleIR;
+    readonly claimKey?: string;
+    readonly claimText?: string;
+    readonly requirementId?: string;
 };
 export interface ExtractedRequirementClaim {
     claim: SemanticClaim;
@@ -41,6 +46,13 @@ export interface ModelRequirementResult {
             nextAction: string;
         }>;
         migrationWarning: string | null;
+        logic?: {
+            readonly semanticKey: string;
+            readonly claimKey: string;
+            readonly claimText: string;
+            readonly renderedProlog: string;
+            readonly normalized: LogicRuleIR;
+        };
     };
     applyPlan: Array<Record<string, unknown>>;
     writeSet: StrictWriteSet;

package/dist/operations/modeling/requirement-types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"requirement-types.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/requirement-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,aAAa,EACb,cAAc,EACf,MAAM,6BAA6B,CAAC;AAGrC,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG;IACrE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC9C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IAC3C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,iFAAiF;IACjF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAClD,CAAC;AAGF,MAAM,WAAW,yBAAyB;IACxC,KAAK,EAAE,aAAa,CAAC;IACrB,cAAc,EAAE,UAAU,GAAG,WAAW,GAAG,UAAU,CAAC;IACtD,kBAAkB,EAAE,MAAM,EAAE,CAAC;CAC9B;AAGD,MAAM,WAAW,sBAAsB;IACrC,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,iBAAiB,EAAE;QACjB,SAAS,EAAE,MAAM,CAAC;QAClB,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,MAAM,CAAC;QACf,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,KAAK,EAAE,aAAa,CAAC;QACrB,QAAQ,EAAE,cAAc,CAAC;QACzB,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1C,QAAQ,EAAE,OAAO,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC;QACnB,cAAc,EAAE,UAAU,GAAG,WAAW,GAAG,UAAU,CAAC;QACtD,kBAAkB,EAAE,MAAM,EAAE,CAAC;QAC7B,QAAQ,EAAE,KAAK,CAAC;YACd,IAAI,EAAE,MAAM,CAAC;YACb,OAAO,EAAE,MAAM,CAAC;YAChB,UAAU,EAAE,MAAM,CAAC;SACpB,CAAC,CAAC;QACH,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;KACjC,CAAC;IACF,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1C,QAAQ,EAAE,cAAc,CAAC;IACzB,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC"}
+{"version":3,"file":"requirement-types.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/requirement-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AACrD,OAAO,KAAK,EACV,aAAa,EACb,cAAc,EACf,MAAM,6BAA6B,CAAC;AAGrC,MAAM,MAAM,oBAAoB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG;IACrE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,CAAC,EAAE,aAAa,CAAC,UAAU,CAAC,CAAC;IAC9C,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC;IAC3C,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,iFAAiF;IACjF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACjD,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC,CAAC;AAGF,MAAM,WAAW,yBAAyB;IACxC,KAAK,EAAE,aAAa,CAAC;IACrB,cAAc,EAAE,UAAU,GAAG,WAAW,GAAG,UAAU,CAAC;IACtD,kBAAkB,EAAE,MAAM,EAAE,CAAC;CAC9B;AAGD,MAAM,WAAW,sBAAsB;IACrC,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,iBAAiB,EAAE;QACjB,SAAS,EAAE,MAAM,CAAC;QAClB,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,MAAM,CAAC;QACf,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,KAAK,EAAE,aAAa,CAAC;QACrB,QAAQ,EAAE,cAAc,CAAC;QACzB,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1C,QAAQ,EAAE,OAAO,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC;QACnB,cAAc,EAAE,UAAU,GAAG,WAAW,GAAG,UAAU,CAAC;QACtD,kBAAkB,EAAE,MAAM,EAAE,CAAC;QAC7B,QAAQ,EAAE,KAAK,CAAC;YACd,IAAI,EAAE,MAAM,CAAC;YACb,OAAO,EAAE,MAAM,CAAC;YAChB,UAAU,EAAE,MAAM,CAAC;SACpB,CAAC,CAAC;QACH,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;QAChC,KAAK,CAAC,EAAE;YACN,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;YAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;YAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;YAC3B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;YAChC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC;SAClC,CAAC;KACH,CAAC;IACF,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1C,QAAQ,EAAE,cAAc,CAAC;IACzB,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC"}

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

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

@@ -15,30 +15,54 @@ export async function handleKbSuggestPredicates(prolog, args) {
     const subject = inferSubject(text, args.subjectHint);
     const existingSchemas = await loadExistingPredicateSchemas(prolog, args.includeExistingSchemas ?? true, warnings);
     const schemas = [...existingSchemas, ...BUILT_IN_PREDICATE_SCHEMAS];
-    const candidates = schemas
+    const selectedSchemas = args.schemaId
+        ? schemas.filter((schema) => schema.id === args.schemaId)
+        : schemas;
+    if (args.schemaId && selectedSchemas.length === 0) {
+        warnings.push(`Requested predicate schema ${args.schemaId} is not available. Refresh the KB or correct schemaId before retrying; no ontology-gap or predicate write plan was generated.`);
+    }
+    const candidates = selectedSchemas
         .map((schema) => ({ schema, score: scoreSchema(schema, text) }))
-        .filter((scored) => scored.score >= minScore)
+        .filter((scored) => args.schemaId || scored.score >= minScore)
         .sort((left, right) => {
         if (right.score !== left.score)
             return right.score - left.score;
         return left.schema.predicate_name.localeCompare(right.schema.predicate_name);
     })
         .slice(0, maxCandidates)
-        .map((scored) => buildSuggestion(scored.schema, text, subject, scored.score));
-    if (candidates.length === 0) {
+        .map((scored) => buildSuggestion(scored.schema, text, subject, scored.score, args.argumentBindings, args.polarityHint));
+    if (candidates.length === 0 && !args.schemaId) {
         warnings.push("No predicate candidate met minScore. If this is recurring domain language, create a fact_kind=predicate_schema fact; otherwise keep the generated review:ontology-gap observation. Do not invent unsupported predicate names without a predicate_schema.");
     }
-    const recommendedAction = candidates.length > 0 ? "apply_requires_predicate" : "record_ontology_gap";
     const firstCandidate = candidates[0];
-    const applyPlan = firstCandidate
-        ? buildPredicateApplyPlan(firstCandidate, args)
-        : buildGapApplyPlan(text, args);
-    const relationshipPlan = firstCandidate
+    const bindingsComplete = firstCandidate?.binding_status === "complete";
+    if (firstCandidate && !bindingsComplete) {
+        warnings.push(`Top predicate candidate ${firstCandidate.predicate_name} has unbound arguments: ${firstCandidate.unbound_arguments.join(", ")}. Supply exact argumentBindings keyed by the schema's argument_names before applying it.`);
+    }
+    const recommendedAction = !firstCandidate
+        ? args.schemaId
+            ? "resolve_schema_reference"
+            : "record_ontology_gap"
+        : bindingsComplete
+            ? "apply_requires_predicate"
+            : "provide_argument_bindings";
+    const applyPlan = !firstCandidate
+        ? args.schemaId
+            ? []
+            : buildGapApplyPlan(text, args)
+        : bindingsComplete
+            ? buildPredicateApplyPlan(firstCandidate, args)
+            : [];
+    const relationshipPlan = firstCandidate && bindingsComplete
         ? buildRelationshipPlan(String(applyPlan[0]?.id ?? ""), args.requirementId, text, args.existingLogicClaims)
         : null;
-    const textSummary = candidates.length > 0
+    const textSummary = firstCandidate && bindingsComplete
         ? `Suggested ${candidates.length} predicate candidate(s). Top match: ${candidates[0]?.predicate_name}. Apply structured predicate facts before falling back to prose.`
-        : "No predicate candidate met the confidence threshold; record an ontology gap instead of silently writing prose.";
+        : firstCandidate
+            ? `Matched ${firstCandidate.predicate_name}, but exact values are still required for: ${firstCandidate.unbound_arguments.join(", ")}. No apply plan was generated.`
+            : args.schemaId
+                ? `Requested predicate schema ${args.schemaId} is unavailable. No apply plan was generated.`
+                : "No predicate candidate met the confidence threshold; record an ontology gap instead of silently writing prose.";
     const claimKey = semanticClaimKey(text);
     const logicClaims = Array.from(new Set([...(args.existingLogicClaims ?? []), claimKey]));
     return {

package/dist/operations/mutation/audit.js

@@ -17,6 +17,6 @@ export async function recordRelationshipAudits(prolog, relationships) {
     }
 }
 export function buildEntityDeleteAuditGoal(entity) {
-    const auditEntity = Object.fromEntries(["id", "title", "source", "text_ref"].flatMap((key) => typeof entity[key] === "string" ? [[key, entity[key]]] : []));
+    const auditEntity = Object.fromEntries(["id", "title", "source", "text_ref", "semantic_text"].flatMap((key) => typeof entity[key] === "string" ? [[key, entity[key]]] : []));
     return `kb_retract_entity('${escapeAtom(String(entity.id))}', ${String(entity.type)}, ${buildPropertyList(auditEntity)})`;
 }