kibi-cli 0.16.1 → 0.17.0

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

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

@@ -0,0 +1,111 @@
+import { createHash } from "node:crypto";
+import { logicSemanticKey, utf8Span, validateLogicIr, } from "../../logic/ir.js";
+import { semanticClaimKey } from "../semantic-advisor/clauses.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 claimText = input.claimText?.trim() || input.text.trim();
+    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 span = utf8Span(input.text, 0, input.text.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,
+                    text_ref: claimText,
+                    logic_claims: logicClaims,
+                    semantic_inventory: [
+                        {
+                            claim_key: claimKey,
+                            claim_text: claimText,
+                            role: "normative",
+                            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;AAIjF,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,CA4IjC;AAED,wBAAsB,uBAAuB,CAC3C,IAAI,EAAE,oBAAoB,EAC1B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,sBAAsB,CAAC,CAEjC"}

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

@@ -3,6 +3,7 @@ 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 { 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 +32,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,

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,GACZ,mBAAmB,CAuBrB;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,CA+BhC"}

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

@@ -6,12 +6,19 @@ import { hashId } from "./predicate-utils.js";
 export function buildSuggestion(schema, text, subject, score) {
     const predicateArgs = inferArgs(schema, text, subject);
     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 = 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,
         score,
         rationale: `Matched ${schema.predicate_name} because the prose overlaps with ${schema.tags.join(", ")} cues.`,
         schema: schemaForCandidate(schema),
@@ -98,7 +105,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,EAKb,MAAM,sBAAsB,CAAC;AAG9B,wBAAgB,SAAS,CACvB,MAAM,EAAE,wBAAwB,EAChC,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GACd,MAAM,EAAE,CA0JV;AAGD,OAAO,EAAE,YAAY,EAAE,CAAC"}

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

@@ -1,7 +1,7 @@
 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 { inferDuration, inferDurationUnit, inferEvent, inferGate, inferNumber, inferOperator, inferResource, inferScope, inferSubject, inferTrigger, inferUnit, slug, } from "./predicate-utils.js";
+import { inferDuration, inferDurationUnit, inferEvent, inferGate, inferNumber, inferOperator, inferResource, inferScope, inferSubject, inferTrigger, inferUnit, normalizePredicateToken, slug, } from "./predicate-utils.js";
 // implements REQ-mcp-suggest-predicates
 export function inferArgs(schema, text, subject) {
     const lower = text.toLowerCase();
@@ -141,7 +141,22 @@ export function inferArgs(schema, text, subject) {
         case "rate_limit":
             return inferRateLimitArgs(text);
         default:
-            return schema.argument_names.map((name) => name === "subject" ? subject : "unknown");
+            return schema.argument_names.map((name) => {
+                if (name === "subject")
+                    return subject;
+                const normalized = normalizePredicateToken(name);
+                const words = normalized.split("_").filter((word) => word.length > 2);
+                // Project-local schemas often use the exact domain vocabulary in
+                // their ordered argument names. Reuse that declared value when the
+                // complete name (or all meaningful words) occurs in the claim; keep
+                // genuinely unbound arguments explicit instead of guessing.
+                const phrase = words.join(" ");
+                return phrase.length > 0 &&
+                    (lower.includes(phrase) ||
+                        words.every((word) => lower.includes(word)))
+                    ? normalized
+                    : "unknown";
+            });
     }
 }
 // implements REQ-mcp-suggest-predicates

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 ??
@@ -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;

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

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/mutation/relationships.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"relationships.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/relationships.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0CAA0C,CAAC;AAE3E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAqBpD,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAEnE;AAED,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAgCF,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,iBAAiB,GACvB,MAAM,CAER;AAED,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAczE;AAED,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,SAAS,iBAAiB,EAAE,GAC1C,IAAI,CAMN;AAED,wBAAgB,gCAAgC,CAC9C,QAAQ,EAAE,MAAM,EAChB,YAAY,EAAE,iBAAiB,GAC9B,MAAM,CAIR;AAuBD,wBAAsB,+BAA+B,CACnD,MAAM,EAAE,UAAU,EAClB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,aAAa,EAAE,SAAS,iBAAiB,EAAE,GAC1C,OAAO,CAAC,IAAI,CAAC,CAuBf;AAED,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,UAAU,EAClB,aAAa,EAAE,SAAS,iBAAiB,EAAE,GAC1C,OAAO,CAAC,IAAI,CAAC,CAqBf;AAED,wBAAsB,qBAAqB,CACzC,MAAM,EAAE,UAAU,EAClB,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,SAAS,iBAAiB,EAAE,CAAC,CAevC"}
+{"version":3,"file":"relationships.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/relationships.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0CAA0C,CAAC;AAE3E,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAsBpD,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAEnE;AAED,KAAK,iBAAiB,GAAG;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAgCF,wBAAgB,8BAA8B,CAC5C,KAAK,EAAE,iBAAiB,GACvB,MAAM,CAER;AAED,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAczE;AAED,wBAAgB,2BAA2B,CACzC,QAAQ,EAAE,MAAM,EAChB,aAAa,EAAE,SAAS,iBAAiB,EAAE,GAC1C,IAAI,CAMN;AAED,wBAAgB,gCAAgC,CAC9C,QAAQ,EAAE,MAAM,EAChB,YAAY,EAAE,iBAAiB,GAC9B,MAAM,CAIR;AAuBD,wBAAsB,+BAA+B,CACnD,MAAM,EAAE,UAAU,EAClB,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,EACzC,aAAa,EAAE,SAAS,iBAAiB,EAAE,GAC1C,OAAO,CAAC,IAAI,CAAC,CAuBf;AAED,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,UAAU,EAClB,aAAa,EAAE,SAAS,iBAAiB,EAAE,GAC1C,OAAO,CAAC,IAAI,CAAC,CAgCf;AAED,wBAAsB,qBAAqB,CACzC,MAAM,EAAE,UAAU,EAClB,QAAQ,EAAE,MAAM,GACf,OAAO,CAAC,SAAS,iBAAiB,EAAE,CAAC,CAevC"}

package/dist/operations/mutation/relationships.js

@@ -12,6 +12,7 @@ const RELATIONSHIP_TYPES = [
     "constrains",
     "requires_property",
     "requires_predicate",
+    "requires_rule",
     "guards",
     "publishes",
     "consumes",
@@ -106,6 +107,13 @@ export async function validateLiveRelationshipTargets(prolog, entity, relationsh
 export async function validateStrictLanePairing(prolog, relationships) {
     for (const relationship of relationships) {
         const target = stringField(relationship, "to");
+        if (relationship.type === "requires_rule") {
+            const result = await prolog.query(`once((kb_entity('${escapeAtom(target)}', fact, _RuleProps), memberchk(fact_kind=_RuleKind, _RuleProps), normalize_term_atom(_RuleKind, rule)))`);
+            if (!result.success) {
+                throw new Error(`Relationship 'requires_rule' requires target '${target}' to be a fact_kind=rule fact.`);
+            }
+            continue;
+        }
         const wrongKind = relationship.type === "constrains"
             ? "property_value"
             : relationship.type === "requires_property"

package/dist/operations/mutation/serialization.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"serialization.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/serialization.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AA0CpD,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACxC,MAAM,CAMR;AAGD,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,iBAAiB,GAAG,MAAM,CAOxE;AAGD,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAkBtD"}
+{"version":3,"file":"serialization.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/serialization.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AA6CpD,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACxC,MAAM,CAMR;AAGD,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,iBAAiB,GAAG,MAAM,CAOxE;AAGD,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAkBtD"}

package/dist/operations/mutation/serialization.js

@@ -27,6 +27,9 @@ function serializeValue(key, value) {
     }
     if (Array.isArray(value))
         return JSON.stringify(value);
+    if (key === "rule_ir" || key === "semantic_inventory") {
+        return toPrologString(JSON.stringify(value));
+    }
     if (typeof value === "string") {
         return ATOM_FIELDS.includes(key)
             ? toPrologAtom(value)

package/dist/operations/mutation/strict-fact.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"strict-fact.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/strict-fact.ts"],"names":[],"mappings":"AAQA,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAarD;AAGD,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACxC,MAAM,EAAE,CAyCV;AAGD,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACxC,IAAI,CAKN"}
+{"version":3,"file":"strict-fact.d.ts","sourceRoot":"","sources":["../../../src/operations/mutation/strict-fact.ts"],"names":[],"mappings":"AAUA,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAarD;AAGD,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACxC,MAAM,EAAE,CA+EV;AAGD,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACxC,IAAI,CAuDN"}

package/dist/operations/mutation/strict-fact.js

@@ -1,3 +1,4 @@
+import { validateLogicIr } from "../../logic/ir.js";
 const PROPERTY_VALUE_FIELDS = [
     "value_string",
     "value_int",
@@ -43,6 +44,40 @@ export function factKindShapeHints(entity) {
         }
         return hints;
     }
+    if (entity.fact_kind === "rule_schema") {
+        const missing = ["rule_name", "argument_names", "argument_types"].filter((field) => entity[field] === undefined);
+        const equalLengths = Array.isArray(entity.argument_names) &&
+            Array.isArray(entity.argument_types) &&
+            entity.argument_names.length === entity.argument_types.length;
+        const hints = missing.length > 0
+            ? [`fact_kind 'rule_schema' requires ${missing.join(", ")}.`]
+            : equalLengths
+                ? []
+                : [
+                    "fact_kind 'rule_schema' requires argument_names and argument_types with equal lengths.",
+                ];
+        return hints.length > 0
+            ? [
+                ...hints,
+                "Next action: define the kibi.logic.v1 schema before creating rule facts.",
+            ]
+            : [];
+    }
+    if (entity.fact_kind === "rule") {
+        const missing = [
+            "rule_ir",
+            "rule_hash",
+            "rule_schema_id",
+            "rule_name",
+            "semantic_key",
+        ].filter((field) => entity[field] === undefined);
+        return missing.length > 0
+            ? [
+                `fact_kind 'rule' requires ${missing.join(", ")}.`,
+                "Next action: call kb_model_requirement with typed kibi.logic.v1 IR; raw Prolog is not accepted.",
+            ]
+            : [];
+    }
     if (entity.fact_kind !== "predicate")
         return [];
     const args = entity.predicate_args;
@@ -51,12 +86,12 @@ export function factKindShapeHints(entity) {
         ...(!Array.isArray(args) || args.length === 0 ? ["predicate_args"] : []),
         ...(entity.canonical_key === undefined ? ["canonical_key"] : []),
     ];
-    return missing.length === 0
-        ? []
-        : [
+    if (missing.length !== 0)
+        return [
             `fact_kind 'predicate' requires ${missing.join(", ")}.`,
             "Next action: call kb_suggest_predicates before hand-writing ontology predicate facts.",
         ];
+    return [];
 }
 // implements REQ-kibi-operation-interface-parity
 export function validateFactModelingShape(entity) {
@@ -64,4 +99,34 @@ export function validateFactModelingShape(entity) {
     if (hints.length > 0) {
         throw new Error(`Entity validation failed: ${hints.join("; ")}`);
     }
+    if (entity.type === "fact" && entity.fact_kind === "rule") {
+        const validation = validateLogicIr(entity.rule_ir);
+        if (!validation.valid || !validation.semanticKey) {
+            throw new Error(`Entity validation failed: rule_ir is unsafe or malformed (${validation.errors.join("; ")})`);
+        }
+        if (entity.rule_hash !== undefined &&
+            entity.rule_hash !== validation.ruleHash) {
+            throw new Error(`Entity validation failed: rule_hash must equal ${validation.ruleHash}`);
+        }
+        if (entity.semantic_key !== undefined &&
+            entity.semantic_key !== validation.semanticKey) {
+            throw new Error(`Entity validation failed: semantic_key must equal ${validation.semanticKey}`);
+        }
+        for (const field of ["rule_schema_id", "rule_name"]) {
+            if (typeof entity[field] !== "string" || entity[field].trim() === "") {
+                throw new Error(`Entity validation failed: fact_kind 'rule' requires ${field}`);
+            }
+        }
+    }
+    if (entity.type === "fact" && entity.fact_kind === "rule_schema") {
+        if (typeof entity.rule_name !== "string" ||
+            entity.rule_name.trim() === "") {
+            throw new Error("Entity validation failed: fact_kind 'rule_schema' requires rule_name");
+        }
+        if (!Array.isArray(entity.argument_names) ||
+            !Array.isArray(entity.argument_types) ||
+            entity.argument_names.length !== entity.argument_types.length) {
+            throw new Error("Entity validation failed: rule_schema argument_names and argument_types must have equal lengths");
+        }
+    }
 }

package/dist/operations/semantic-advisor/analysis-receipt.d.ts

@@ -1,5 +1,5 @@
 import type { SemanticClause } from "./clauses.js";
 import { type Payload } from "./shared.js";
-import type { SemanticAdvisorAnalysisResult, SemanticModelingSuggestion, SemanticSignal } from "./types.js";
-export declare function buildAdvisorResult(payload: Payload, signals: readonly SemanticSignal[], modeled: boolean, suggestions: readonly SemanticModelingSuggestion[], clauses: readonly SemanticClause[]): SemanticAdvisorAnalysisResult;
+import type { SemanticAdvisorAnalysisResult, SemanticInterpretationResult, SemanticModelingSuggestion, SemanticProposition, SemanticShadowCue, SemanticSignal } from "./types.js";
+export declare function buildAdvisorResult(payload: Payload, signals: readonly SemanticSignal[], modeled: boolean, suggestions: readonly SemanticModelingSuggestion[], clauses: readonly SemanticClause[], propositions: readonly SemanticProposition[], interpretations: readonly SemanticInterpretationResult[], shadowAnalysis: readonly SemanticShadowCue[]): SemanticAdvisorAnalysisResult;
 //# sourceMappingURL=analysis-receipt.d.ts.map

package/dist/operations/semantic-advisor/analysis-receipt.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"analysis-receipt.d.ts","sourceRoot":"","sources":["../../../src/operations/semantic-advisor/analysis-receipt.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,KAAK,OAAO,EAA6B,MAAM,aAAa,CAAC;AACtE,OAAO,KAAK,EACV,6BAA6B,EAI7B,0BAA0B,EAC1B,cAAc,EACf,MAAM,YAAY,CAAC;AAwCpB,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,OAAO,EAAE,OAAO,EAChB,WAAW,EAAE,SAAS,0BAA0B,EAAE,EAClD,OAAO,EAAE,SAAS,cAAc,EAAE,GACjC,6BAA6B,CAqG/B"}
+{"version":3,"file":"analysis-receipt.d.ts","sourceRoot":"","sources":["../../../src/operations/semantic-advisor/analysis-receipt.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AACnD,OAAO,EAAE,KAAK,OAAO,EAA6B,MAAM,aAAa,CAAC;AACtE,OAAO,KAAK,EACV,6BAA6B,EAI7B,4BAA4B,EAC5B,0BAA0B,EAC1B,mBAAmB,EACnB,iBAAiB,EACjB,cAAc,EACf,MAAM,YAAY,CAAC;AA0CpB,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,OAAO,EAAE,OAAO,EAChB,WAAW,EAAE,SAAS,0BAA0B,EAAE,EAClD,OAAO,EAAE,SAAS,cAAc,EAAE,EAClC,YAAY,EAAE,SAAS,mBAAmB,EAAE,EAC5C,eAAe,EAAE,SAAS,4BAA4B,EAAE,EACxD,cAAc,EAAE,SAAS,iBAAiB,EAAE,GAC3C,6BAA6B,CA4G/B"}