@kortexya/reasoninglayer 0.16.0 → 0.18.0

package/dist/index.cjs

@@ -1,7 +1,7 @@
 'use strict';
 
 // src/config.ts
-var SDK_VERSION = "0.16.0";
+var SDK_VERSION = "0.18.0";
 function resolveConfig(config) {
   if (!config.baseUrl) {
     throw new Error("ClientConfig.baseUrl is required");
@@ -5111,6 +5111,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
    *
@@ -7343,6 +7379,30 @@ var Health = class {
   });
 };
 
+// src/api-spec/generated/Scheduling.ts
+var Scheduling = class {
+  http;
+  constructor(http) {
+    this.http = http;
+  }
+  /**
+   * @description Classify every `(agent, day, shift)` cell in the input grid as confirmed-true, confirmed-false, or free. Input validation errors (duplicate agent IDs, out-of-range pins, role minima exceeding total demand, etc.) return HTTP 400. Infeasibility of a well-formed problem is a valid answer and returns HTTP 200 with `status = "infeasible"` and an empty `assignments` list.
+   *
+   * @tags scheduling
+   * @name Feasibility
+   * @summary `POST /api/v1/scheduling/feasibility`
+   * @request POST:/api/v1/scheduling/feasibility
+   */
+  feasibility = (data, params = {}) => this.http.request({
+    path: `/api/v1/scheduling/feasibility`,
+    method: "POST",
+    body: data,
+    type: "application/json" /* Json */,
+    format: "json",
+    ...params
+  });
+};
+
 // src/api-spec/generated/Admin.ts
 var Admin = class {
   http;
@@ -20404,6 +20464,99 @@ function extractNumericValue(features, featureName) {
   return null;
 }
 
+// src/normalizers/scheduling.ts
+function AgentSpecFromFrontToApi(spec) {
+  const dto = {
+    id: spec.id,
+    max_assignments: spec.maxAssignments
+  };
+  if (spec.roles !== void 0) {
+    dto.roles = spec.roles;
+  }
+  if (spec.unavailableDays !== void 0) {
+    dto.unavailable_days = spec.unavailableDays;
+  }
+  if (spec.restrictedToShift !== void 0 && spec.restrictedToShift !== null) {
+    dto.restricted_to_shift = spec.restrictedToShift;
+  }
+  return dto;
+}
+function ShiftDemandFromFrontToApi(demand) {
+  const dto = {
+    day: demand.day,
+    shift: demand.shift,
+    total: demand.total
+  };
+  if (demand.roleMinimums !== void 0) {
+    dto.role_minimums = demand.roleMinimums;
+  }
+  return dto;
+}
+function PinFromFrontToApi(pin) {
+  return {
+    agent_id: pin.agentId,
+    day: pin.day,
+    shift: pin.shift
+  };
+}
+function SchedulingFeasibilityRequestFromFrontToApi(request) {
+  const dto = {
+    agents: request.agents.map(AgentSpecFromFrontToApi),
+    days: request.days,
+    shifts_per_day: request.shiftsPerDay,
+    demands: request.demands.map(ShiftDemandFromFrontToApi)
+  };
+  if (request.pins !== void 0) {
+    dto.pins = request.pins.map(PinFromFrontToApi);
+  }
+  return dto;
+}
+function AssignmentFromApiToFront(dto) {
+  return {
+    agentId: dto.agent_id,
+    day: dto.day,
+    shift: dto.shift,
+    status: dto.status
+  };
+}
+function SchedulingFeasibilityResponseFromApiToFront(dto) {
+  return {
+    status: dto.status,
+    assignments: dto.assignments.map(AssignmentFromApiToFront)
+  };
+}
+
+// src/resources/scheduling.ts
+var SchedulingClient = class {
+  /** @internal */
+  api;
+  /** @internal */
+  constructor(api) {
+    this.api = api;
+  }
+  /**
+   * Classify every `(agent, day, shift)` cell in the input grid as
+   * `confirmed_true`, `confirmed_false`, or `free`.
+   *
+   * @param request - the scheduling problem to analyse.
+   * @returns a {@link SchedulingFeasibilityResponse} with per-cell classifications.
+   * @throws If the backend rejects the input (HTTP 400): duplicate agent
+   *   IDs, pins referencing unknown agents, role minima exceeding total
+   *   demand, out-of-range day/shift indices, etc.
+   *
+   * @remarks
+   * Infeasibility of a well-formed problem is a **valid answer** (HTTP 200
+   * with `status === "infeasible"`), not an error.  Only malformed input
+   * raises.
+   */
+  async feasibility(request) {
+    const response = await this.api.feasibility(
+      SchedulingFeasibilityRequestFromFrontToApi(request)
+    );
+    return SchedulingFeasibilityResponseFromApiToFront(response.data);
+  }
+};
+
 // src/normalizers/osfql.ts
 function OsfqlResponseFromApiToFront(dto) {
   return {
@@ -21554,6 +21707,8 @@ var ReasoningLayerClient = class {
   rag;
   /** Linear program optimization (CLP(Q) simplex solver via backward chaining). */
   optimize;
+  /** Scheduling feasibility via capacitated bipartite b-matching (staff rostering, assignment problems). */
+  scheduling;
   /** OSFQL execution operations. */
   osfql;
   /** Conversational AI operations (NL → OSFQL with self-correction). */
@@ -21629,10 +21784,11 @@ var ReasoningLayerClient = class {
       rlTraining: this.rlTraining
     };
   }
-  /** Advanced reasoning operations — optimization, ILP, CDL, execution, preferences, discovery. */
+  /** Advanced reasoning operations — optimization, ILP, CDL, execution, preferences, discovery, scheduling. */
   get reasoningOps() {
     return this._reasoning ??= {
       optimize: this.optimize,
+      scheduling: this.scheduling,
       ilp: this.ilp,
       cdl: this.cdl,
       execution: this.execution,
@@ -21787,6 +21943,7 @@ var ReasoningLayerClient = class {
     this.generation = new GenerationClient(generatedGeneration);
     this.rag = new RagClient(generatedRag);
     this.optimize = new OptimizeClient(generatedInference, generatedSorts, generatedQuery, generatedTerms, resolved.tenantId);
+    this.scheduling = new SchedulingClient(new Scheduling(generatedHttp));
     this.osfql = new OsfqlClient(generatedOsfql);
     this.conversation = new ConversationClient(generatedHttp);
     this.research = new ResearchClient(generatedHttp);
@@ -21931,6 +22088,9 @@ var rag_exports = {};
 // src/types/optimize.ts
 var optimize_exports = {};
 
+// src/types/scheduling.ts
+var scheduling_exports = {};
+
 // src/types/ilp.ts
 var ilp_exports = {};
 
@@ -22675,6 +22835,7 @@ exports.Reviews = reviews_exports;
 exports.Row = row_exports;
 exports.SDK_VERSION = SDK_VERSION;
 exports.Scenarios = scenarios_exports;
+exports.Scheduling = scheduling_exports;
 exports.SortBuilder = SortBuilder;
 exports.Sorts = sorts_exports;
 exports.Sources = sources_exports;