kibi-cli 1.0.1 → 2.0.0

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

@@ -0,0 +1,291 @@
+/**
+ * Predicate families added from consumer escalation evidence (Align
+ * dogfooding, 2026-08/09): fail-closed authorization, deployment
+ * preconditions, migration sequencing, diagnostic visibility, mutation
+ * authority, request deduplication, async boundaries, canonical
+ * identifiers, responsive breakpoints, and operational pauses.
+ */
+// implements REQ-mcp-suggest-predicates
+export const PREDICATE_CATALOG_5 = [
+    {
+        id: "FACT-SCHEMA-FAIL-CLOSED-AUTHORIZATION-RULE",
+        predicate_name: "fail_closed_authorization_rule",
+        title: "Fail-closed authorization rule",
+        description: "On invalid, missing, or failed authorization input the subject must deny access or stay unauthenticated instead of falling back to a default identity.",
+        argument_names: ["subject", "trigger", "denied_outcome"],
+        argument_types: ["entity", "condition", "outcome"],
+        argument_descriptions: [
+            "Component or route that must fail closed.",
+            "Invalid, missing, or failed authorization condition.",
+            "Required denied outcome, such as staying unauthenticated or redirecting to login.",
+        ],
+        keywords: [
+            "fail closed",
+            "fail-closed",
+            "deny",
+            "denied",
+            "unauthenticated",
+            "invalid role",
+            "missing role",
+            "default identity",
+        ],
+        aliases: ["fail closed without creating", "must fail closed"],
+        examples: [
+            "fail_closed_authorization_rule(protected_routes, invalid_or_missing_fallback_role, stay_unauthenticated)",
+        ],
+        tags: ["authorization", "security", "fail-closed"],
+    },
+    {
+        id: "FACT-SCHEMA-DEPLOYMENT-PRECONDITION-RULE",
+        predicate_name: "deployment_precondition_rule",
+        title: "Deployment precondition rule",
+        description: "A deployment or rollout must hold or abort until a named precondition holds, such as no unsupported legacy data remaining.",
+        argument_names: ["system", "precondition", "action"],
+        argument_types: ["entity", "condition", "outcome"],
+        argument_descriptions: [
+            "System, service, or release being deployed.",
+            "Precondition that must hold before deployment proceeds.",
+            "Required action when the precondition fails, such as holding deployment.",
+        ],
+        keywords: [
+            "deployment",
+            "deploy",
+            "hold",
+            "precondition",
+            "unsupported data",
+            "abort",
+            "rollout",
+        ],
+        aliases: ["deployment must hold", "block deployment"],
+        examples: [
+            "deployment_precondition_rule(annotation_storage, unsupported_legacy_rows_absent, hold_deployment)",
+        ],
+        tags: ["deployment", "release", "precondition"],
+    },
+    {
+        id: "FACT-SCHEMA-DATA-MIGRATION-RULE",
+        predicate_name: "data_migration_rule",
+        title: "Data migration rule",
+        description: "Legacy data converts to the canonical form in a bounded, verified sequence, typically once and without data loss, before canonical-only operation begins.",
+        argument_names: ["legacy_surface", "canonical_surface", "sequencing"],
+        argument_types: ["entity", "entity", "action"],
+        argument_descriptions: [
+            "Legacy payload, table, or format being converted.",
+            "Canonical payload, table, or format produced by the conversion.",
+            "Sequencing contract, such as one-time conversion or conversion before canonical-only reads.",
+        ],
+        keywords: [
+            "one-time conversion",
+            "converted once",
+            "no data loss",
+            "canonical",
+            "migration sequencing",
+            "conversion",
+        ],
+        aliases: [
+            "converted once with no data loss",
+            "one-time persisted conversion",
+        ],
+        examples: [
+            "data_migration_rule(fabricData, sceneData, one_time_conversion_before_canonical_only_reads)",
+        ],
+        tags: ["migration", "data", "sequencing"],
+    },
+    {
+        id: "FACT-SCHEMA-DIAGNOSTIC-VISIBILITY-RULE",
+        predicate_name: "diagnostic_visibility_rule",
+        title: "Diagnostic visibility rule",
+        description: "Internal error and transport detail stays confined to logs or debugging surfaces while user-facing surfaces show actionable, friendly messages.",
+        argument_names: [
+            "subject",
+            "internal_detail",
+            "user_surface",
+            "log_surface",
+        ],
+        argument_types: ["entity", "detail", "surface", "surface"],
+        argument_descriptions: [
+            "Flow or component whose diagnostics are governed.",
+            "Internal detail such as raw payloads, status lines, or backend errors.",
+            "User-facing surface and its required message style.",
+            "Log or debugging surface where internal detail is confined.",
+        ],
+        keywords: [
+            "logged",
+            "log only",
+            "not shown",
+            "must not be shown",
+            "actionable",
+            "user-friendly",
+            "debugging",
+            "raw transport",
+        ],
+        aliases: ["logged and must not be shown", "actionable error messages"],
+        examples: [
+            "diagnostic_visibility_rule(video_upload, tus_payload_and_http_status, friendly_terminal_recovery_message, server_logs)",
+        ],
+        tags: ["errors", "diagnostics", "ux"],
+    },
+    {
+        id: "FACT-SCHEMA-MUTATION-AUTHORITY-RULE",
+        predicate_name: "mutation_authority_rule",
+        title: "Mutation authority rule",
+        description: "A client-facing surface exposes only its declared mutation scope; authority for other mutations stays server-side.",
+        argument_names: ["surface", "mutation_scope", "authority"],
+        argument_types: ["entity", "scope", "entity"],
+        argument_descriptions: [
+            "Client, view, API, or table surface being constrained.",
+            "Declared mutation scope, such as read-only or no direct writes.",
+            "Server-side authority, such as database triggers or an RPC, that owns other mutations.",
+        ],
+        keywords: [
+            "read-only",
+            "read only",
+            "server-side",
+            "row-level security",
+            "rls",
+            "triggers",
+            "mutation",
+        ],
+        aliases: ["read-only for the client", "must happen server-side"],
+        examples: [
+            "mutation_authority_rule(notifications_table, client_read_only, server_side_database_triggers)",
+        ],
+        tags: ["security", "architecture", "api"],
+    },
+    {
+        id: "FACT-SCHEMA-REQUEST-DEDUPLICATION-RULE",
+        predicate_name: "request_deduplication_rule",
+        title: "Request deduplication rule",
+        description: "Concurrent duplicate requests for the same resource are coalesced into one underlying operation, preventing redundant work.",
+        argument_names: ["subject", "request", "scope"],
+        argument_types: ["entity", "action", "scope"],
+        argument_descriptions: [
+            "Component issuing the requests.",
+            "Request or query being deduplicated.",
+            "Scope of deduplication, such as the same user or key.",
+        ],
+        keywords: [
+            "deduplicated",
+            "deduplication",
+            "dedupe",
+            "in-flight",
+            "coalesce",
+            "parallel requests",
+            "redundant",
+        ],
+        aliases: ["must be deduplicated", "prevent redundant"],
+        examples: [
+            "request_deduplication_rule(profile_service, profile_fetch, same_user)",
+        ],
+        tags: ["performance", "reliability"],
+    },
+    {
+        id: "FACT-SCHEMA-ASYNC-BOUNDARY-RULE",
+        predicate_name: "async_boundary_rule",
+        title: "Async boundary rule",
+        description: "A callback or handler must return synchronously, without awaiting, while work runs deferred or in the background.",
+        argument_names: ["subject", "operation", "execution_policy"],
+        argument_types: ["entity", "action", "policy"],
+        argument_descriptions: [
+            "Callback, handler, or API boundary.",
+            "Operation that must not block the caller.",
+            "Required policy, such as return synchronously or defer to background.",
+        ],
+        keywords: [
+            "synchronously",
+            "return synchronously",
+            "not await",
+            "deferred",
+            "background",
+            "in flight",
+            "non-blocking",
+        ],
+        aliases: ["must return synchronously", "without setting a loading state"],
+        examples: [
+            "async_boundary_rule(onAuthStateChange, supabase_client_operations, return_synchronously_defer_work)",
+        ],
+        tags: ["async", "concurrency", "api"],
+    },
+    {
+        id: "FACT-SCHEMA-CANONICAL-IDENTIFIER-RULE",
+        predicate_name: "canonical_identifier_rule",
+        title: "Canonical identifier rule",
+        description: "References to a domain entity must resolve through one canonical identifier or key.",
+        argument_names: ["domain", "canonical_key", "resolution"],
+        argument_types: ["entity", "key", "action"],
+        argument_descriptions: [
+            "Domain entity or flow being referenced.",
+            "The canonical identifier or key.",
+            "Required resolution behavior for routes, lookups, or messaging.",
+        ],
+        keywords: [
+            "canonical id",
+            "canonical identifier",
+            "canonical",
+            "resolve against",
+            "single source of truth",
+            "videoid",
+        ],
+        aliases: ["resolve against a canonical", "canonical identity"],
+        examples: [
+            "canonical_identifier_rule(review_routes_and_messaging, canonical_video_id, resolve_routes_against_canonical_id)",
+        ],
+        tags: ["identity", "architecture"],
+    },
+    {
+        id: "FACT-SCHEMA-RESPONSIVE-BREAKPOINT-RULE",
+        predicate_name: "responsive_breakpoint_rule",
+        title: "Responsive breakpoint rule",
+        description: "A viewport is classified by explicit responsive breakpoints, such as landscape phones counting as mobile below a height threshold.",
+        argument_names: ["subject", "viewport", "classification"],
+        argument_types: ["entity", "condition", "category"],
+        argument_descriptions: [
+            "UI or layout being classified.",
+            "Viewport condition with explicit dimensions.",
+            "Resulting classification, such as mobile or desktop.",
+        ],
+        keywords: [
+            "breakpoint",
+            "landscape",
+            "portrait",
+            "viewport",
+            "responsive",
+            "mobile",
+            "width",
+            "height",
+        ],
+        aliases: ["treat as mobile", "counts as mobile"],
+        examples: [
+            "responsive_breakpoint_rule(app_shell, height_below_768px_in_landscape, mobile)",
+        ],
+        tags: ["ui", "responsive", "layout"],
+    },
+    {
+        id: "FACT-SCHEMA-OPERATIONAL-PAUSE-RULE",
+        predicate_name: "operational_pause_rule",
+        title: "Operational pause rule",
+        description: "An operational pause or kill switch blocks new operations of a kind while preserving already-started or completed work.",
+        argument_names: ["subject", "blocked_action", "preserved_action"],
+        argument_types: ["entity", "action", "action"],
+        argument_descriptions: [
+            "Operational control being paused.",
+            "New operations the pause must block.",
+            "Existing work the pause must preserve, such as resumable sessions.",
+        ],
+        keywords: [
+            "pause",
+            "paused",
+            "kill switch",
+            "block new",
+            "preserve",
+            "resumable",
+            "suspend",
+        ],
+        aliases: ["upload pause", "operational pause"],
+        examples: [
+            "operational_pause_rule(uploads, new_upload_sessions, existing_and_resumable_sessions)",
+        ],
+        tags: ["operations", "safety"],
+        // implements REQ-mcp-suggest-predicates
+    },
+];

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

@@ -1 +1 @@
-{"version":3,"file":"predicate-catalog.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACV,wBAAwB,EACxB,mBAAmB,EACpB,MAAM,sBAAsB,CAAC;AAM9B,eAAO,MAAM,mBAAmB,EAAE,mBAOjC,CAAC;AAGF,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAIxE,CAAC;AAGF,eAAO,MAAM,0BAA0B,EAAE,wBAAwB,EAKhE,CAAC"}
+{"version":3,"file":"predicate-catalog.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EACV,wBAAwB,EACxB,mBAAmB,EACpB,MAAM,sBAAsB,CAAC;AAO9B,eAAO,MAAM,mBAAmB,EAAE,mBAOjC,CAAC;AAGF,eAAO,MAAM,wBAAwB,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAKxE,CAAC;AAGF,eAAO,MAAM,0BAA0B,EAAE,wBAAwB,EAMhE,CAAC"}

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

@@ -2,9 +2,11 @@ import { PREDICATE_CATALOG_1 } from "./predicate-catalog-1.js";
 import { PREDICATE_CATALOG_2 } from "./predicate-catalog-2.js";
 import { PREDICATE_CATALOG_3 } from "./predicate-catalog-3.js";
 import { PREDICATE_CATALOG_4 } from "./predicate-catalog-4.js";
+import { PREDICATE_CATALOG_5 } from "./predicate-catalog-5.js";
 import { PREDICATE_USAGE_HINTS_1 } from "./predicate-usage-hints-1.js";
 import { PREDICATE_USAGE_HINTS_2 } from "./predicate-usage-hints-2.js";
 import { PREDICATE_USAGE_HINTS_3 } from "./predicate-usage-hints-3.js";
+import { PREDICATE_USAGE_HINTS_4 } from "./predicate-usage-hints-4.js";
 // implements REQ-mcp-suggest-predicates
 export const DEFAULT_USAGE_HINTS = {
     use_when: [
@@ -19,6 +21,7 @@ export const USAGE_HINTS_BY_PREDICATE = {
     ...PREDICATE_USAGE_HINTS_1,
     ...PREDICATE_USAGE_HINTS_2,
     ...PREDICATE_USAGE_HINTS_3,
+    ...PREDICATE_USAGE_HINTS_4,
 };
 // implements REQ-mcp-suggest-predicates
 export const BUILT_IN_PREDICATE_SCHEMAS = [
@@ -26,4 +29,5 @@ export const BUILT_IN_PREDICATE_SCHEMAS = [
     ...PREDICATE_CATALOG_2,
     ...PREDICATE_CATALOG_3,
     ...PREDICATE_CATALOG_4,
+    ...PREDICATE_CATALOG_5,
 ];

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

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

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

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

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

@@ -1,6 +1,9 @@
 import { parseEntityFromList, parseListOfLists } from "../../prolog/codec.js";
 import { DEFAULT_USAGE_HINTS, USAGE_HINTS_BY_PREDICATE, } from "./predicate-catalog.js";
 import { hashId, normalizeOptionalString } from "./predicate-utils.js";
+export function optionalPredicateName(value) {
+    return typeof value === "string" ? value : undefined;
+}
 // implements REQ-mcp-suggest-predicates
 export function schemaForCandidate(schema) {
     return {
@@ -49,9 +52,7 @@ export async function loadExistingPredicateSchemas(prolog, includeExistingSchema
 export function predicateSchemaFromEntity(entity) {
     if (entity.fact_kind !== "predicate_schema")
         return [];
-    const predicateName = normalizeOptionalString(typeof entity.predicate_name === "string"
-        ? entity.predicate_name
-        : undefined);
+    const predicateName = normalizeOptionalString(optionalPredicateName(entity.predicate_name));
     if (!predicateName)
         return [];
     const usageHints = usageHintsFromEntity(entity);

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

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

@@ -150,8 +150,11 @@ export function rankSchema(schema, text) {
     const morphologyHits = schema.keywords.filter((keyword) => textTokens.map(stem).includes(stem(keyword.toLowerCase()))).length;
     const specificity = specificityBonus(schema);
     let total;
-    if (exact !== null) {
+    if (exact !== null && exact > 0) {
         // Exact structural matches retain the established deterministic score.
+        // An exact score of 0 means the predicate's rigid pattern did not match;
+        // it is a miss, not a veto: lexical evidence still competes for
+        // retrieval and the semantic applicability gate remains the authority.
         total = exact;
     }
     else if (keywordHits === 0 &&

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

@@ -95,7 +95,7 @@ export interface SuggestPredicatesResult {
         requirementId: string | null;
         subject: string;
         candidates: PredicateSuggestion[];
-        recommendedAction: "apply_requires_predicate" | "provide_argument_bindings" | "resolve_schema_reference" | "record_ontology_gap";
+        recommendedAction: "apply_requires_predicate" | "provide_argument_bindings" | "resolve_schema_reference" | "record_ontology_gap" | "review_nonlogical";
         recommendedPredicateSchema: RecommendedPredicateSchema | null;
         applyPlan: Array<Record<string, unknown>>;
         relationshipPlan: Record<string, unknown> | null;

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,wEAAwE;IACxE,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,mGAAmG;IACnG,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,WAAW,CAAC,EAAE,mBAAmB,CAAC;CACnC;AAGD,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAC1C,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,4EAA4E;IAC5E,QAAQ,CAAC,gBAAgB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7D,qEAAqE;IACrE,QAAQ,CAAC,YAAY,CAAC,EAAE,iBAAiB,CAAC;IAC1C,mFAAmF;IACnF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAClD,CAAC;AAGF,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,cAAc,EAAE,UAAU,GAAG,YAAY,CAAC;IAC1C,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,+EAA+E;IAC/E,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,iFAAiF;IACjF,8BAA8B,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAClE,WAAW,EAAE,UAAU,GAAG,UAAU,CAAC;IACrC,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gBAAgB,EAAE,wBAAwB,CAAC;IAC3C,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,IAAI,CAAC,wBAAwB,EAAE,UAAU,CAAC,GAAG;QACnD,WAAW,EAAE,mBAAmB,CAAC;KAClC,CAAC;CACH;AAED,MAAM,MAAM,iBAAiB,GACzB,UAAU,GACV,WAAW,GACX,UAAU,GACV,aAAa,CAAC;AAElB,MAAM,WAAW,wBAAwB;IACvC,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,0BAA0B;IACzC,cAAc,EAAE,MAAM,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;CACrB;AAGD,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,iBAAiB,EAAE;QACjB,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;QAC7B,OAAO,EAAE,MAAM,CAAC;QAChB,UAAU,EAAE,mBAAmB,EAAE,CAAC;QAClC,iBAAiB,EACb,0BAA0B,GAC1B,2BAA2B,GAC3B,0BAA0B,GAC1B,qBAAqB,CAAC;QAC1B,0BAA0B,EAAE,0BAA0B,GAAG,IAAI,CAAC;QAC9D,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1C,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;QACjD,QAAQ,EAAE,MAAM,EAAE,CAAC;KACpB,CAAC;IACF,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC3C"}
+{"version":3,"file":"predicate-types.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-types.ts"],"names":[],"mappings":"AACA,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,MAAM,CAAC;AAGlD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,eAAe,EAAE,MAAM,EAAE,CAAC;CAC3B;AAGD,MAAM,WAAW,wBAAwB;IACvC,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,wEAAwE;IACxE,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,mGAAmG;IACnG,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,oBAAoB,CAAC,EAAE,MAAM,EAAE,CAAC;IAChC,QAAQ,EAAE,MAAM,EAAE,CAAC;IACnB,IAAI,EAAE,MAAM,EAAE,CAAC;IACf,WAAW,CAAC,EAAE,mBAAmB,CAAC;CACnC;AAGD,MAAM,MAAM,qBAAqB,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG;IACtE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,sBAAsB,CAAC,EAAE,OAAO,CAAC;IAC1C,+EAA+E;IAC/E,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,4EAA4E;IAC5E,QAAQ,CAAC,gBAAgB,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC7D,qEAAqE;IACrE,QAAQ,CAAC,YAAY,CAAC,EAAE,iBAAiB,CAAC;IAC1C,mFAAmF;IACnF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAClD,CAAC;AAGF,MAAM,WAAW,mBAAmB;IAClC,EAAE,EAAE,MAAM,CAAC;IACX,cAAc,EAAE,MAAM,CAAC;IACvB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,aAAa,EAAE,MAAM,CAAC;IACtB,QAAQ,EAAE,iBAAiB,CAAC;IAC5B,cAAc,EAAE,UAAU,GAAG,YAAY,CAAC;IAC1C,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,+EAA+E;IAC/E,kBAAkB,EAAE,iBAAiB,CAAC;IACtC,iFAAiF;IACjF,8BAA8B,EAAE,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAC;IAClE,WAAW,EAAE,UAAU,GAAG,UAAU,CAAC;IACrC,iBAAiB,EAAE,MAAM,EAAE,CAAC;IAC5B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,gBAAgB,EAAE,wBAAwB,CAAC;IAC3C,KAAK,EAAE,MAAM,CAAC;IACd,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,IAAI,CAAC,wBAAwB,EAAE,UAAU,CAAC,GAAG;QACnD,WAAW,EAAE,mBAAmB,CAAC;KAClC,CAAC;CACH;AAED,MAAM,MAAM,iBAAiB,GACzB,UAAU,GACV,WAAW,GACX,UAAU,GACV,aAAa,CAAC;AAElB,MAAM,WAAW,wBAAwB;IACvC,aAAa,EAAE,MAAM,CAAC;IACtB,YAAY,EAAE,MAAM,CAAC;IACrB,kBAAkB,EAAE,MAAM,CAAC;IAC3B,WAAW,EAAE,MAAM,CAAC;IACpB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,iBAAiB,EAAE,MAAM,CAAC;IAC1B,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,0BAA0B;IACzC,cAAc,EAAE,MAAM,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,CAAC;IACpB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,qBAAqB,CAAC,EAAE,MAAM,EAAE,CAAC;IACjC,kBAAkB,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC3C,mBAAmB,EAAE,MAAM,EAAE,CAAC;IAC9B,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;CACrB;AAGD,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC/C,iBAAiB,EAAE;QACjB,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;QACtB,aAAa,EAAE,MAAM,GAAG,IAAI,CAAC;QAC7B,OAAO,EAAE,MAAM,CAAC;QAChB,UAAU,EAAE,mBAAmB,EAAE,CAAC;QAClC,iBAAiB,EACb,0BAA0B,GAC1B,2BAA2B,GAC3B,0BAA0B,GAC1B,qBAAqB,GACrB,mBAAmB,CAAC;QACxB,0BAA0B,EAAE,0BAA0B,GAAG,IAAI,CAAC;QAC9D,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;QAC1C,gBAAgB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;QACjD,QAAQ,EAAE,MAAM,EAAE,CAAC;KACpB,CAAC;IACF,SAAS,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAC3C"}

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

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

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

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

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

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

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

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

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

@@ -1 +1 @@
-{"version":3,"file":"suggest-predicates.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/suggest-predicates.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAChB,UAAU,EACX,MAAM,0CAA0C,CAAC;AAmBlD,OAAO,KAAK,EAGV,qBAAqB,EACrB,uBAAuB,EACxB,MAAM,sBAAsB,CAAC;AAG9B,YAAY,EACV,iBAAiB,EACjB,wBAAwB,EACxB,mBAAmB,EACnB,0BAA0B,EAC1B,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,sBAAsB,CAAC;AA4G9B,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,UAAU,GAAG,IAAI,EACzB,IAAI,EAAE,qBAAqB,GAC1B,OAAO,CAAC,uBAAuB,CAAC,CA0KlC;AAED,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,qBAAqB,EAC3B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,uBAAuB,CAAC,CAElC"}
+{"version":3,"file":"suggest-predicates.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/suggest-predicates.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAChB,UAAU,EACX,MAAM,0CAA0C,CAAC;AAmBlD,OAAO,KAAK,EAEV,mBAAmB,EACnB,qBAAqB,EACrB,uBAAuB,EACxB,MAAM,sBAAsB,CAAC;AAG9B,YAAY,EACV,iBAAiB,EACjB,wBAAwB,EACxB,mBAAmB,EACnB,0BAA0B,EAC1B,qBAAqB,EACrB,uBAAuB,GACxB,MAAM,sBAAsB,CAAC;AAoG9B,wBAAgB,sCAAsC,CACpD,IAAI,EAAE,IAAI,CAAC,mBAAmB,EAAE,qBAAqB,GAAG,gBAAgB,CAAC,EACzE,KAAK,EAAE,IAAI,CAAC,mBAAmB,EAAE,qBAAqB,GAAG,gBAAgB,CAAC,GACzE,MAAM,CAIR;AAED,wBAAgB,2CAA2C,CACzD,IAAI,EAAE,IAAI,CACR,mBAAmB,EACnB,qBAAqB,GAAG,OAAO,GAAG,gBAAgB,CACnD,EACD,KAAK,EAAE,IAAI,CACT,mBAAmB,EACnB,qBAAqB,GAAG,OAAO,GAAG,gBAAgB,CACnD,GACA,MAAM,CAKR;AAqCD,wBAAsB,yBAAyB,CAC7C,MAAM,EAAE,UAAU,GAAG,IAAI,EACzB,IAAI,EAAE,qBAAqB,GAC1B,OAAO,CAAC,uBAAuB,CAAC,CAgLlC;AAED,wBAAsB,wBAAwB,CAC5C,IAAI,EAAE,qBAAqB,EAC3B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,uBAAuB,CAAC,CAElC"}

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

@@ -14,15 +14,14 @@ const NON_ASSERTIVE_PROPOSITION_ROLES = new Set([
     "example",
     "subjective",
 ]);
-function assertivePropositionCount(text) {
-    const analysis = analyzeSemanticAdvisorInput({
+function analyzeInputPropositions(text) {
+    return analyzeSemanticAdvisorInput({
         payload: {
             type: "req",
             id: "REQ-KIBI-PREDICATE-SUGGESTION-INPUT",
             properties: { semantic_text: text },
         },
-    });
-    return analysis.receipt.propositions.filter((proposition) => !NON_ASSERTIVE_PROPOSITION_ROLES.has(proposition.role)).length;
+    }).receipt.propositions;
 }
 function compoundInputAbstention(args, text, subject, propositionCount) {
     const claimKey = semanticClaimKey(text);
@@ -52,6 +51,34 @@ function compoundInputAbstention(args, text, subject, propositionCount) {
         applyPlan,
     };
 }
+function nonlogicalInputRouting(args, text, subject) {
+    const claimKey = semanticClaimKey(text);
+    const warning = "The semantic advisor classifies this prose as nonlogical (rationale, example, or subjective context); it does not assert a verifiable domain proposition. Advisor routing wins: no predicate candidates, schema draft, or write plan were generated, and the claim was not added to logic_claims.";
+    const applyPlan = [];
+    return {
+        content: [
+            {
+                type: "text",
+                text: "Predicate suggestion abstained because the semantic advisor classifies this prose as nonlogical (rationale, example, or subjective context). Keep it outside logic_claims; no candidate, ontology-gap observation, or schema draft was generated.",
+            },
+        ],
+        structuredContent: {
+            text,
+            claimKey,
+            logicClaims: Array.from(new Set(args.existingLogicClaims ?? [])),
+            source: args.source ?? null,
+            requirementId: args.requirementId ?? null,
+            subject,
+            candidates: [],
+            recommendedAction: "review_nonlogical",
+            recommendedPredicateSchema: null,
+            applyPlan,
+            relationshipPlan: null,
+            warnings: [warning],
+        },
+        applyPlan,
+    };
+}
 function uniqueSchemas(schemas) {
     const seen = new Set();
     return schemas.filter((schema) => {
@@ -62,14 +89,22 @@ function uniqueSchemas(schemas) {
         return true;
     });
 }
+export function compareEligibleByApplicabilityThenName(left, right) {
+    if (right.applicability_score !== left.applicability_score)
+        return right.applicability_score - left.applicability_score;
+    return left.predicate_name.localeCompare(right.predicate_name);
+}
+export function compareEligibleByApplicabilityScoreThenName(left, right) {
+    if (right.applicability_score !== left.applicability_score)
+        return right.applicability_score - left.applicability_score;
+    if (right.score !== left.score)
+        return right.score - left.score;
+    return left.predicate_name.localeCompare(right.predicate_name);
+}
 function withMarginRejection(candidates) {
     const eligible = candidates
         .filter((candidate) => candidate.eligibility === "eligible")
-        .sort((left, right) => {
-        if (right.applicability_score !== left.applicability_score)
-            return right.applicability_score - left.applicability_score;
-        return left.predicate_name.localeCompare(right.predicate_name);
-    });
+        .sort(compareEligibleByApplicabilityThenName);
     const top = eligible[0];
     const second = eligible[1];
     if (!top ||
@@ -97,9 +132,13 @@ function withMarginRejection(candidates) {
 export async function handleKbSuggestPredicates(prolog, args) {
     const text = normalizeText(args.text);
     const subject = inferSubject(text, args.subjectHint);
-    const propositionCount = assertivePropositionCount(text);
-    if (propositionCount > 1) {
-        return compoundInputAbstention(args, text, subject, propositionCount);
+    const propositions = analyzeInputPropositions(text);
+    const assertivePropositionCount = propositions.filter((proposition) => !NON_ASSERTIVE_PROPOSITION_ROLES.has(proposition.role)).length;
+    if (propositions.length > 0 && assertivePropositionCount === 0) {
+        return nonlogicalInputRouting(args, text, subject);
+    }
+    if (assertivePropositionCount > 1) {
+        return compoundInputAbstention(args, text, subject, assertivePropositionCount);
     }
     const maxCandidates = clampInteger(args.maxCandidates, DEFAULT_MAX_CANDIDATES, 1, 20);
     const minScore = clampScore(args.minScore ?? DEFAULT_MIN_SCORE);
@@ -163,13 +202,7 @@ export async function handleKbSuggestPredicates(prolog, args) {
         : [];
     const recommendedCandidate = candidates
         .filter((candidate) => candidate.eligibility === "eligible")
-        .sort((left, right) => {
-        if (right.applicability_score !== left.applicability_score)
-            return right.applicability_score - left.applicability_score;
-        if (right.score !== left.score)
-            return right.score - left.score;
-        return left.predicate_name.localeCompare(right.predicate_name);
-    })[0];
+        .sort(compareEligibleByApplicabilityScoreThenName)[0];
     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.");
     }

package/dist/operations/mutation/contradictions.d.ts

@@ -1,3 +1,4 @@
+import type { PrologErrorRecord } from "../../prolog/error-terms.js";
 import type { RelationshipInput } from "./types.js";
 type TransactionInput = {
     readonly entity: Readonly<Record<string, unknown>>;
@@ -5,6 +6,6 @@ type TransactionInput = {
     readonly skipContradictionCheck: boolean;
 };
 export declare function buildUpsertCommitGoal(input: TransactionInput): string;
-export declare function formatUpsertError(entityId: string, raw?: string): string;
+export declare function formatUpsertError(entityId: string, raw?: string, record?: PrologErrorRecord): string;
 export {};
 //# sourceMappingURL=contradictions.d.ts.map