@kortexya/reasoninglayer 0.16.0 → 0.17.0

package/dist/index.d.cts

@@ -109,7 +109,7 @@ type JsonValue$1 = string | number | boolean | null | JsonValue$1[] | object;
  * This is the single source of truth for the version constant.
  * The `scripts/release.sh` script updates this value alongside `package.json`.
  */
-declare const SDK_VERSION = "0.16.0";
+declare const SDK_VERSION = "0.17.0";
 /**
  * Configuration for the Reasoning Layer client.
  *
@@ -13646,7 +13646,7 @@ interface SearchCommunitiesResponse$1 {
  * Defaults to `solutions` for full backward compatibility with existing clients
  * that do not send a `mode` field.
  */
-type SearchModeDto$1 = "solutions" | "feasibility";
+type SearchModeDto$1 = "solutions" | "feasibility" | "scheduling";
 /** Request to search for solutions */
 interface SearchRequest {
     /**
@@ -14254,12 +14254,27 @@ interface SortInfoDto$1 {
 /** Response for sort list operations */
 interface SortListResponse$1 {
     /**
-     * Total count
+     * Number of sorts in **this response** — not the tenant total
+     * when pagination is active.
      * @min 0
      */
     count: number;
-    /** List of sorts */
+    /**
+     * Offset of the first sort in this response.
+     * @min 0
+     */
+    offset?: number;
+    /**
+     * Sorts in this page (or all sorts when no ``limit`` query
+     * parameter was supplied).
+     */
     sorts: SortDto$1[];
+    /**
+     * Total number of sorts the tenant owns after filters, across
+     * all pages. Lets the client know when to stop paginating.
+     * @min 0
+     */
+    total?: number;
 }
 /** API representation of sort origin/provenance */
 type SortOriginDto$1 = {
@@ -15566,6 +15581,73 @@ interface TriggerDependencyResponse$1 {
     /** The visualization graph */
     graph: VisualizationGraphDto$1;
 }
+/**
+ * Request body for `POST /api/v1/triz/invent` — the structured-input,
+ * no-LLM path into the TRIZ invention engine.
+ */
+interface TrizInventRequest {
+    /**
+     * Human-readable context (e.g. "drug_discovery", "kinase_program_279").
+     * The engine uses this in explanations but not in the reasoning.
+     */
+    domain_context?: string;
+    /**
+     * Sort names the caller has pre-seeded under this tenant. Required:
+     * without them the KB-matching step (`query_kb_for_triz_data`) has
+     * no domain hints and falls through to the LLM-synthetic path —
+     * defeating the purpose of this endpoint.
+     */
+    domains?: string[];
+    improving_parameter: string;
+    /** @format uuid */
+    tenant_id: string;
+    worsening_parameter: string;
+}
+/** Request body for `POST /api/v1/triz/record-outcome`. */
+interface TrizRecordOutcomeRequest {
+    /**
+     * UUID of the ``triz_inventive_proposal`` term the engine emitted.
+     * @format uuid
+     */
+    invention_term_id: string;
+    /**
+     * Measured performance ratio (e.g. potency fold, selectivity
+     * fold). ``0.0`` if unmeasured — the engine still records the
+     * success/failure signal.
+     * @format double
+     */
+    measured_ratio?: number;
+    /** Free-text notes on the outcome for downstream audit. */
+    notes?: string;
+    /**
+     * Whether the invention succeeded in downstream validation /
+     * experimental testing.
+     */
+    success: boolean;
+    /** @format uuid */
+    tenant_id: string;
+}
+/** Response payload for outcome recording. */
+interface TrizRecordOutcomeResponse {
+    error?: string | null;
+    /**
+     * Number of learned-mapping terms whose confidence was adjusted.
+     * @min 0
+     */
+    mappings_updated: number;
+    /**
+     * UUID of the newly-created ``triz_invention_outcome`` audit term.
+     * @format uuid
+     */
+    outcome_term_id?: string | null;
+    recorded: boolean;
+    success: boolean;
+    /**
+     * New post-update average confidence across the adjusted mappings.
+     * @format double
+     */
+    updated_confidence: number;
+}
 /** DTO for UIAction — all actions reference OSFQL execution */
 type UIActionDto$1 = {
     field_types: Record<string, string>;
@@ -16748,10 +16830,26 @@ declare class Sorts<SecurityDataType = unknown> {
          * Defaults to false (system sorts are excluded by default).
          */
         include_system?: boolean;
+        /**
+         * Maximum number of sorts to return. When omitted, no cap is
+         * applied (legacy behaviour). Recommended page size for
+         * production tenants: 50_000.
+         * @min 0
+         */
+        limit?: number | null;
         /** Filter to only show LLM-extracted sorts */
         llm_extracted?: boolean | null;
         /** Filter to only show sorts needing review */
         needs_review?: boolean | null;
+        /**
+         * Zero-indexed pagination offset. Combined with ``limit`` this
+         * lets clients stream a production tenant (1 M+ sorts, ~500 MB
+         * uncompressed) as a sequence of small responses, avoiding the
+         * ``IncompleteRead`` a single-response transfer reliably hits
+         * above ~30 MB.
+         * @min 0
+         */
+        offset?: number | null;
     }, params?: RequestParams) => Promise<HttpResponse<SortListResponse$1, any>>;
     /**
      * @description POST /api/v1/sorts/learned-similarities/reject Rejects a proposed or conflicted learned similarity with a reason. Rejected similarities are not used in reasoning.
@@ -20551,6 +20649,26 @@ declare class Query<SecurityDataType = unknown> {
      * @secure
      */
     osfSearch: (data: OsfSearchRequest$1, params?: RequestParams) => Promise<HttpResponse<OsfSearchResponse$1, any>>;
+    /**
+     * @description Skips the NL → structured-problem LLM hop entirely. Caller must have seeded the tenant KB with ≥ 3 successful + ≥ 2 limited Ψ-terms per domain (`/api/v1/terms/bulk` or `/api/v1/inference/facts/bulk`). Returns the same `NlQueryResponse` shape as the NL route so the UI can render either output uniformly.
+     *
+     * @tags query
+     * @name TrizInvent
+     * @summary Handle `POST /api/v1/triz/invent` — deterministic TRIZ invention.
+     * @request POST:/api/v1/triz/invent
+     * @secure
+     */
+    trizInvent: (data: TrizInventRequest, params?: RequestParams) => Promise<HttpResponse<NlQueryResponse$1, any>>;
+    /**
+     * No description
+     *
+     * @tags query
+     * @name TrizRecordOutcome
+     * @summary Handle `POST /api/v1/triz/record-outcome` — persist a measured outcome for a previously-emitted TRIZ proposal and learn from it.
+     * @request POST:/api/v1/triz/record-outcome
+     * @secure
+     */
+    trizRecordOutcome: (data: TrizRecordOutcomeRequest, params?: RequestParams) => Promise<HttpResponse<TrizRecordOutcomeResponse, any>>;
     /**
      * @description This performs unification AND validates the result against the GLB sort's witnesses. ## How It Differs from Regular Unification **Regular `/api/v1/term-store/sessions/:id/unify` (POST)**: - Computes GLB and unifies terms - Validates sort constraints (required features, type hints) - Does NOT check witnesses **This endpoint `/api/v1/query/validated-unify` (POST)**: - Computes GLB and unifies terms - Validates sort constraints - ALSO checks witnesses on the result - Returns proof of validity ## Example Unifying `person(name => "Alice")` with `grandparent(grandchild => "Charlie")`: 1. Computes GLB of person and grandparent 2. Creates unified term with both features 3. Checks grandparent witnesses: ∃Y. parent(Alice,Y) ∧ parent(Y,Charlie) 4. Returns unified term + witness proof
      *
@@ -30924,8 +31042,15 @@ interface CommitRequest {
  * - `"solutions"`: enumerate complete, valid assignments (default — backward compatible).
  * - `"feasibility"`: run 2×N per-variable SAT queries and return reachability info.
  *   Much faster than full enumeration for large spaces.
- */
-type SearchModeDto = 'solutions' | 'feasibility';
+ * - `"scheduling"`: route the space through the specialised **bipartite network-flow
+ *   engine** for scheduling-shaped problems (nurses × days × shifts with per-slot
+ *   demand and role minimums). Orders of magnitude faster than `"feasibility"` for
+ *   problems that fit this shape, and always returns fully `verified: true` results.
+ *   If the underlying problem's constraint shape cannot be modelled by the flow
+ *   engine, the backend responds with a 400 and the caller should fall back to
+ *   `"feasibility"`.
+ */
+type SearchModeDto = 'solutions' | 'feasibility' | 'scheduling';
 /**
  * Reachability of a single binary choice-point variable.
  *

package/dist/index.d.ts

@@ -109,7 +109,7 @@ type JsonValue$1 = string | number | boolean | null | JsonValue$1[] | object;
  * This is the single source of truth for the version constant.
  * The `scripts/release.sh` script updates this value alongside `package.json`.
  */
-declare const SDK_VERSION = "0.16.0";
+declare const SDK_VERSION = "0.17.0";
 /**
  * Configuration for the Reasoning Layer client.
  *
@@ -13646,7 +13646,7 @@ interface SearchCommunitiesResponse$1 {
  * Defaults to `solutions` for full backward compatibility with existing clients
  * that do not send a `mode` field.
  */
-type SearchModeDto$1 = "solutions" | "feasibility";
+type SearchModeDto$1 = "solutions" | "feasibility" | "scheduling";
 /** Request to search for solutions */
 interface SearchRequest {
     /**
@@ -14254,12 +14254,27 @@ interface SortInfoDto$1 {
 /** Response for sort list operations */
 interface SortListResponse$1 {
     /**
-     * Total count
+     * Number of sorts in **this response** — not the tenant total
+     * when pagination is active.
      * @min 0
      */
     count: number;
-    /** List of sorts */
+    /**
+     * Offset of the first sort in this response.
+     * @min 0
+     */
+    offset?: number;
+    /**
+     * Sorts in this page (or all sorts when no ``limit`` query
+     * parameter was supplied).
+     */
     sorts: SortDto$1[];
+    /**
+     * Total number of sorts the tenant owns after filters, across
+     * all pages. Lets the client know when to stop paginating.
+     * @min 0
+     */
+    total?: number;
 }
 /** API representation of sort origin/provenance */
 type SortOriginDto$1 = {
@@ -15566,6 +15581,73 @@ interface TriggerDependencyResponse$1 {
     /** The visualization graph */
     graph: VisualizationGraphDto$1;
 }
+/**
+ * Request body for `POST /api/v1/triz/invent` — the structured-input,
+ * no-LLM path into the TRIZ invention engine.
+ */
+interface TrizInventRequest {
+    /**
+     * Human-readable context (e.g. "drug_discovery", "kinase_program_279").
+     * The engine uses this in explanations but not in the reasoning.
+     */
+    domain_context?: string;
+    /**
+     * Sort names the caller has pre-seeded under this tenant. Required:
+     * without them the KB-matching step (`query_kb_for_triz_data`) has
+     * no domain hints and falls through to the LLM-synthetic path —
+     * defeating the purpose of this endpoint.
+     */
+    domains?: string[];
+    improving_parameter: string;
+    /** @format uuid */
+    tenant_id: string;
+    worsening_parameter: string;
+}
+/** Request body for `POST /api/v1/triz/record-outcome`. */
+interface TrizRecordOutcomeRequest {
+    /**
+     * UUID of the ``triz_inventive_proposal`` term the engine emitted.
+     * @format uuid
+     */
+    invention_term_id: string;
+    /**
+     * Measured performance ratio (e.g. potency fold, selectivity
+     * fold). ``0.0`` if unmeasured — the engine still records the
+     * success/failure signal.
+     * @format double
+     */
+    measured_ratio?: number;
+    /** Free-text notes on the outcome for downstream audit. */
+    notes?: string;
+    /**
+     * Whether the invention succeeded in downstream validation /
+     * experimental testing.
+     */
+    success: boolean;
+    /** @format uuid */
+    tenant_id: string;
+}
+/** Response payload for outcome recording. */
+interface TrizRecordOutcomeResponse {
+    error?: string | null;
+    /**
+     * Number of learned-mapping terms whose confidence was adjusted.
+     * @min 0
+     */
+    mappings_updated: number;
+    /**
+     * UUID of the newly-created ``triz_invention_outcome`` audit term.
+     * @format uuid
+     */
+    outcome_term_id?: string | null;
+    recorded: boolean;
+    success: boolean;
+    /**
+     * New post-update average confidence across the adjusted mappings.
+     * @format double
+     */
+    updated_confidence: number;
+}
 /** DTO for UIAction — all actions reference OSFQL execution */
 type UIActionDto$1 = {
     field_types: Record<string, string>;
@@ -16748,10 +16830,26 @@ declare class Sorts<SecurityDataType = unknown> {
          * Defaults to false (system sorts are excluded by default).
          */
         include_system?: boolean;
+        /**
+         * Maximum number of sorts to return. When omitted, no cap is
+         * applied (legacy behaviour). Recommended page size for
+         * production tenants: 50_000.
+         * @min 0
+         */
+        limit?: number | null;
         /** Filter to only show LLM-extracted sorts */
         llm_extracted?: boolean | null;
         /** Filter to only show sorts needing review */
         needs_review?: boolean | null;
+        /**
+         * Zero-indexed pagination offset. Combined with ``limit`` this
+         * lets clients stream a production tenant (1 M+ sorts, ~500 MB
+         * uncompressed) as a sequence of small responses, avoiding the
+         * ``IncompleteRead`` a single-response transfer reliably hits
+         * above ~30 MB.
+         * @min 0
+         */
+        offset?: number | null;
     }, params?: RequestParams) => Promise<HttpResponse<SortListResponse$1, any>>;
     /**
      * @description POST /api/v1/sorts/learned-similarities/reject Rejects a proposed or conflicted learned similarity with a reason. Rejected similarities are not used in reasoning.
@@ -20551,6 +20649,26 @@ declare class Query<SecurityDataType = unknown> {
      * @secure
      */
     osfSearch: (data: OsfSearchRequest$1, params?: RequestParams) => Promise<HttpResponse<OsfSearchResponse$1, any>>;
+    /**
+     * @description Skips the NL → structured-problem LLM hop entirely. Caller must have seeded the tenant KB with ≥ 3 successful + ≥ 2 limited Ψ-terms per domain (`/api/v1/terms/bulk` or `/api/v1/inference/facts/bulk`). Returns the same `NlQueryResponse` shape as the NL route so the UI can render either output uniformly.
+     *
+     * @tags query
+     * @name TrizInvent
+     * @summary Handle `POST /api/v1/triz/invent` — deterministic TRIZ invention.
+     * @request POST:/api/v1/triz/invent
+     * @secure
+     */
+    trizInvent: (data: TrizInventRequest, params?: RequestParams) => Promise<HttpResponse<NlQueryResponse$1, any>>;
+    /**
+     * No description
+     *
+     * @tags query
+     * @name TrizRecordOutcome
+     * @summary Handle `POST /api/v1/triz/record-outcome` — persist a measured outcome for a previously-emitted TRIZ proposal and learn from it.
+     * @request POST:/api/v1/triz/record-outcome
+     * @secure
+     */
+    trizRecordOutcome: (data: TrizRecordOutcomeRequest, params?: RequestParams) => Promise<HttpResponse<TrizRecordOutcomeResponse, any>>;
     /**
      * @description This performs unification AND validates the result against the GLB sort's witnesses. ## How It Differs from Regular Unification **Regular `/api/v1/term-store/sessions/:id/unify` (POST)**: - Computes GLB and unifies terms - Validates sort constraints (required features, type hints) - Does NOT check witnesses **This endpoint `/api/v1/query/validated-unify` (POST)**: - Computes GLB and unifies terms - Validates sort constraints - ALSO checks witnesses on the result - Returns proof of validity ## Example Unifying `person(name => "Alice")` with `grandparent(grandchild => "Charlie")`: 1. Computes GLB of person and grandparent 2. Creates unified term with both features 3. Checks grandparent witnesses: ∃Y. parent(Alice,Y) ∧ parent(Y,Charlie) 4. Returns unified term + witness proof
      *
@@ -30924,8 +31042,15 @@ interface CommitRequest {
  * - `"solutions"`: enumerate complete, valid assignments (default — backward compatible).
  * - `"feasibility"`: run 2×N per-variable SAT queries and return reachability info.
  *   Much faster than full enumeration for large spaces.
- */
-type SearchModeDto = 'solutions' | 'feasibility';
+ * - `"scheduling"`: route the space through the specialised **bipartite network-flow
+ *   engine** for scheduling-shaped problems (nurses × days × shifts with per-slot
+ *   demand and role minimums). Orders of magnitude faster than `"feasibility"` for
+ *   problems that fit this shape, and always returns fully `verified: true` results.
+ *   If the underlying problem's constraint shape cannot be modelled by the flow
+ *   engine, the backend responds with a 400 and the caller should fall back to
+ *   `"feasibility"`.
+ */
+type SearchModeDto = 'solutions' | 'feasibility' | 'scheduling';
 /**
  * Reachability of a single binary choice-point variable.
  *

package/dist/index.js

@@ -1,5 +1,5 @@
 // src/config.ts
-var SDK_VERSION = "0.16.0";
+var SDK_VERSION = "0.17.0";
 function resolveConfig(config) {
   if (!config.baseUrl) {
     throw new Error("ClientConfig.baseUrl is required");
@@ -5109,6 +5109,42 @@ var Query = class {
     format: "json",
     ...params
   });
+  /**
+   * @description Skips the NL → structured-problem LLM hop entirely. Caller must have seeded the tenant KB with ≥ 3 successful + ≥ 2 limited Ψ-terms per domain (`/api/v1/terms/bulk` or `/api/v1/inference/facts/bulk`). Returns the same `NlQueryResponse` shape as the NL route so the UI can render either output uniformly.
+   *
+   * @tags query
+   * @name TrizInvent
+   * @summary Handle `POST /api/v1/triz/invent` — deterministic TRIZ invention.
+   * @request POST:/api/v1/triz/invent
+   * @secure
+   */
+  trizInvent = (data, params = {}) => this.http.request({
+    path: `/api/v1/triz/invent`,
+    method: "POST",
+    body: data,
+    secure: true,
+    type: "application/json" /* Json */,
+    format: "json",
+    ...params
+  });
+  /**
+   * No description
+   *
+   * @tags query
+   * @name TrizRecordOutcome
+   * @summary Handle `POST /api/v1/triz/record-outcome` — persist a measured outcome for a previously-emitted TRIZ proposal and learn from it.
+   * @request POST:/api/v1/triz/record-outcome
+   * @secure
+   */
+  trizRecordOutcome = (data, params = {}) => this.http.request({
+    path: `/api/v1/triz/record-outcome`,
+    method: "POST",
+    body: data,
+    secure: true,
+    type: "application/json" /* Json */,
+    format: "json",
+    ...params
+  });
   /**
    * @description This performs unification AND validates the result against the GLB sort's witnesses. ## How It Differs from Regular Unification **Regular `/api/v1/term-store/sessions/:id/unify` (POST)**: - Computes GLB and unifies terms - Validates sort constraints (required features, type hints) - Does NOT check witnesses **This endpoint `/api/v1/query/validated-unify` (POST)**: - Computes GLB and unifies terms - Validates sort constraints - ALSO checks witnesses on the result - Returns proof of validity ## Example Unifying `person(name => "Alice")` with `grandparent(grandchild => "Charlie")`: 1. Computes GLB of person and grandparent 2. Creates unified term with both features 3. Checks grandparent witnesses: ∃Y. parent(Alice,Y) ∧ parent(Y,Charlie) 4. Returns unified term + witness proof
    *