kibi-cli 0.19.0 → 2.0.0

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

@@ -1 +1 @@
-{"version":3,"file":"predicate-catalog-2.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-2.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAkNzD,CAAC"}
+{"version":3,"file":"predicate-catalog-2.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-2.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAkOzD,CAAC"}

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

@@ -101,7 +101,12 @@ export const PREDICATE_CATALOG_2 = [
         description: "Legacy data or APIs may only be used for migration or compatibility input.",
         argument_names: ["subject", "allowed_action", "scope"],
         argument_types: ["entity", "action", "scope"],
-        keywords: ["legacy", "migration input", "only be read"],
+        keywords: ["legacy", "migration input", "only be read", "canonical-only"],
+        aliases: [
+            "canonical data only",
+            "never fall back to legacy",
+            "read canonical only",
+        ],
         examples: [
             "migration_boundary_rule(legacy_fabricdata, read, migration_input)",
         ],
@@ -175,7 +180,18 @@ export const PREDICATE_CATALOG_2 = [
         description: "Persisted data, APIs, or contracts must stay neutral to a renderer, vendor, runtime, or implementation detail.",
         argument_names: ["subject", "relation", "contract"],
         argument_types: ["entity", "relation", "contract"],
-        keywords: ["renderer-neutral", "contract", "runtime snapshots", "vendor"],
+        keywords: [
+            "renderer-neutral",
+            "contract",
+            "runtime snapshots",
+            "vendor",
+            "renderer replacements",
+            "swappable",
+        ],
+        aliases: [
+            "renderer-neutral persistence",
+            "loadable across renderer replacements",
+        ],
         examples: [
             "abstraction_boundary_rule(annotation_drawing_data, persisted_as, renderer-neutral_scene_contract)",
         ],

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

@@ -1 +1 @@
-{"version":3,"file":"predicate-catalog-3.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-3.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EA0MzD,CAAC"}
+{"version":3,"file":"predicate-catalog-3.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-3.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EA0NzD,CAAC"}

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

@@ -186,7 +186,23 @@ export const PREDICATE_CATALOG_3 = [
         description: "A subject constrains a resource by operator, threshold, and unit.",
         argument_names: ["subject", "resource", "operator", "threshold", "unit"],
         argument_types: ["entity", "resource", "operator", "number", "unit"],
-        keywords: ["limit", "maximum", "minimum", "latency", "timeout", "size"],
+        keywords: [
+            "limit",
+            "maximum",
+            "minimum",
+            "latency",
+            "timeout",
+            "size",
+            "fps",
+            "frame rate",
+            "complete in",
+            "time budget",
+        ],
+        paraphrase_templates: [
+            "must complete in under a bounded duration",
+            "must stay at a bounded frame rate",
+            "must respond within a time budget",
+        ],
         examples: ["resource_constraint(api.search, latency, lte, 200, ms)"],
         tags: ["performance", "constraint"],
     },

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

@@ -1 +1 @@
-{"version":3,"file":"predicate-catalog-4.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-4.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAoJzD,CAAC"}
+{"version":3,"file":"predicate-catalog-4.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-4.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAGrE,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAoTzD,CAAC"}

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

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

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

@@ -0,0 +1,10 @@
+import type { PredicateSchemaCandidate } from "./predicate-types.js";
+/**
+ * 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.
+ */
+export declare const PREDICATE_CATALOG_5: PredicateSchemaCandidate[];
+//# sourceMappingURL=predicate-catalog-5.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"predicate-catalog-5.d.ts","sourceRoot":"","sources":["../../../src/operations/modeling/predicate-catalog-5.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,sBAAsB,CAAC;AAErE;;;;;;GAMG;AAEH,eAAO,MAAM,mBAAmB,EAAE,wBAAwB,EAoSzD,CAAC"}

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-inference-1.d.ts.map

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

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

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

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

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

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

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

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

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

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

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

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

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