@kortexya/reasoninglayer 7.1.0 → 7.2.0

package/dist/index.d.cts

@@ -233,7 +233,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 = "7.1.0";
+declare const SDK_VERSION = "7.2.0";
 /**
  * Authentication mode for the SDK.
  *
@@ -1213,23 +1213,26 @@ interface AdmissibleDto$1 {
 /** Resume native exploration without applying an expert answer. */
 interface AdvanceExplorationRequestDto {
     /**
-     * Maximum new implication-closed candidates examined in this call.
+     * Optional bound on new implication-closed candidates examined in this
+     * call. Absent or null: unbounded.
      * @min 0
      */
-    max_candidates?: number;
+    max_candidates?: number | null;
     /**
-     * Native work budget for this call, in primitive operations. It is
-     * checked between search steps, so a call may end past it by at most one
-     * step's cost. Zero suspends before work.
+     * Optional native work budget for this call, in primitive operations.
+     * It is checked between search steps, so a call may end past it by at
+     * most one step's cost. Zero suspends before work. Absent or null:
+     * unbounded, so the call advances to the next question or exhaustion.
      * @min 0
      */
-    max_work?: number;
+    max_work?: number | null;
     /**
-     * Search deadline in milliseconds, checked between native primitives.
+     * Optional search deadline in milliseconds, checked between native
+     * primitives. Absent or null: no deadline.
      * @format int64
      * @min 0
      */
-    search_timeout_ms?: number;
+    search_timeout_ms?: number | null;
 }
 /**
  * What a UI action's program would do, previewed without running it — the
@@ -9214,17 +9217,19 @@ interface ConfigSectionResponse {
  */
 interface ConfirmRequestDto {
     /**
-     * Maximum new implication-closed candidates examined in this call.
+     * Optional bound on new implication-closed candidates examined in this
+     * call. Absent or null: unbounded.
      * @min 0
      */
-    max_candidates?: number;
+    max_candidates?: number | null;
     /**
-     * Native work budget for this call, in primitive operations. It is
-     * checked between search steps, so a call may end past it by at most one
-     * step's cost. Zero suspends before work.
+     * Optional native work budget for this call, in primitive operations.
+     * It is checked between search steps, so a call may end past it by at
+     * most one step's cost. Zero suspends before work. Absent or null:
+     * unbounded, so the call advances to the next question or exhaustion.
      * @min 0
      */
-    max_work?: number;
+    max_work?: number | null;
     /**
      * The question being confirmed. It must be the session's pending
      * question, else `409` (`exploration_question_not_pending`) and nothing
@@ -9233,11 +9238,12 @@ interface ConfirmRequestDto {
      */
     question_id: ExplorationQuestionId;
     /**
-     * Search deadline in milliseconds, checked between native primitives.
+     * Optional search deadline in milliseconds, checked between native
+     * primitives. Absent or null: no deadline.
      * @format int64
      * @min 0
      */
-    search_timeout_ms?: number;
+    search_timeout_ms?: number | null;
 }
 /**
  * Response after confirming an implication.
@@ -14215,6 +14221,13 @@ interface DocumentStatsDto$1 {
      * @min 0
      */
     total_tokens: number;
+    /**
+     * The model calls this document's ingestion made and reused through the
+     * work cache, as a synchronous run reports them in `stats.work_cache`.
+     * Absent when it made and reused none, and from snapshots written before
+     * the field existed.
+     */
+    work_cache?: null | IngestionWorkCacheDto$1;
 }
 /** Document status counts DTO */
 interface DocumentStatusCounts$1 {
@@ -18021,6 +18034,15 @@ interface FeatureDescriptorDto$1 {
     min_count?: number | null;
     /** Feature name */
     name: string;
+    /**
+     * Every inherited range commitment; all entries apply simultaneously.
+     *
+     * Read-only: the engine derives it from the order. A write body may echo
+     * it (every relation reads back with one, and GET -> edit -> POST is the
+     * documented amendment), and the echo is accepted and ignored — a client
+     * cannot declare an inherited range.
+     */
+    range_conjunction?: string[];
     /**
      * Whether this feature is required.
      *
@@ -31348,14 +31370,29 @@ interface PatternDiscoveryRequest {
      * a validation target. Bound into the scope digest.
      */
     exclude_features?: string[];
-    /** @min 0 */
-    max_patterns?: number;
-    /** @min 0 */
-    max_proposals?: number;
-    /** @min 0 */
-    max_visited?: number;
-    /** @min 0 */
-    max_work?: number;
+    /**
+     * Optional page size: patterns returned before a complete-mode response
+     * ends with a continuation (a budgeted response stops at an output
+     * limit). Absent or null: every pattern in one response.
+     * @min 0
+     */
+    max_patterns?: number | null;
+    /**
+     * Optional bound on the learned proposals checked in budgeted mode.
+     * Absent or null: every proposal of the frozen artifact.
+     * @min 0
+     */
+    max_proposals?: number | null;
+    /**
+     * Optional bound on closed sets visited. Absent or null: unbounded.
+     * @min 0
+     */
+    max_visited?: number | null;
+    /**
+     * Optional bound on native work. Absent or null: unbounded.
+     * @min 0
+     */
+    max_work?: number | null;
     /** @min 0 */
     min_intent_size?: number;
     /** @min 0 */
@@ -31370,8 +31407,8 @@ interface PatternDiscoveryRequest {
     semantics?: ConceptFeatureSemanticsDto;
     term_ids: string[];
     /**
-     * Witnesses and counterexamples returned per explanation (1..=2000); the
-     * replay route serves later pages.
+     * Witnesses and counterexamples returned per explanation (default 256,
+     * any positive size); the replay route serves later pages.
      * @min 0
      */
     witness_page_size?: number;
@@ -34166,17 +34203,19 @@ interface RefuteRequestDto {
     /** Label for the counterexample object (e.g., entity name) */
     label: string;
     /**
-     * Maximum new implication-closed candidates examined in this call.
+     * Optional bound on new implication-closed candidates examined in this
+     * call. Absent or null: unbounded.
      * @min 0
      */
-    max_candidates?: number;
+    max_candidates?: number | null;
     /**
-     * Native work budget for this call, in primitive operations. It is
-     * checked between search steps, so a call may end past it by at most one
-     * step's cost. Zero suspends before work.
+     * Optional native work budget for this call, in primitive operations.
+     * It is checked between search steps, so a call may end past it by at
+     * most one step's cost. Zero suspends before work. Absent or null:
+     * unbounded, so the call advances to the next question or exhaustion.
      * @min 0
      */
-    max_work?: number;
+    max_work?: number | null;
     /**
      * The question being refuted. It must be the session's pending
      * question, else `409` (`exploration_question_not_pending`) and nothing
@@ -34184,11 +34223,12 @@ interface RefuteRequestDto {
      */
     question_id: ExplorationQuestionId;
     /**
-     * Search deadline in milliseconds, checked between native primitives.
+     * Optional search deadline in milliseconds, checked between native
+     * primitives. Absent or null: no deadline.
      * @format int64
      * @min 0
      */
-    search_timeout_ms?: number;
+    search_timeout_ms?: number | null;
     /**
      * A scaled session's counterexample: a record of feature values,
      * projected by the session's own scales into the attributes it holds.
@@ -41392,10 +41432,11 @@ interface StageTraceDto {
  */
 interface StartExplorationRequestDto {
     /**
-     * Maximum new implication-closed candidates examined in this call.
+     * Optional bound on new implication-closed candidates examined in this
+     * call. Absent or null: unbounded.
      * @min 0
      */
-    max_candidates?: number;
+    max_candidates?: number | null;
     /**
      * Deprecated concept filter. Only the historical default 10_000 is accepted.
      * Use max_work and max_candidates for implication exploration.
@@ -41403,18 +41444,20 @@ interface StartExplorationRequestDto {
      */
     max_concepts?: number;
     /**
-     * Maximum number of records to include in the context (default and server
-     * maximum: 50_000; a larger value is `400 exploration_population_limit`)
+     * Optional bound on the records included in the context; a larger scope
+     * is sampled and says so (`population_sampled`). Absent or null: every
+     * visible record. Zero explores nothing (`422`).
      * @min 0
      */
-    max_terms?: number;
+    max_terms?: number | null;
     /**
-     * Native work budget for this call, in primitive operations. It is
-     * checked between search steps, so a call may end past it by at most one
-     * step's cost. Zero suspends before work.
+     * Optional native work budget for this call, in primitive operations.
+     * It is checked between search steps, so a call may end past it by at
+     * most one step's cost. Zero suspends before work. Absent or null:
+     * unbounded, so the call advances to the next question or exhaustion.
      * @min 0
      */
-    max_work?: number;
+    max_work?: number | null;
     /**
      * Deprecated concept filter. Only the historical default 2 is accepted.
      * @min 0
@@ -41426,11 +41469,12 @@ interface StartExplorationRequestDto {
      */
     min_intent_size?: number;
     /**
-     * Search deadline in milliseconds, checked between native primitives.
+     * Optional search deadline in milliseconds, checked between native
+     * primitives. Absent or null: no deadline.
      * @format int64
      * @min 0
      */
-    search_timeout_ms?: number;
+    search_timeout_ms?: number | null;
     /**
      * How records become attributes: `schema_presence` (default) or
      * `scaled` with per-feature conceptual scales, as in sort discovery.
@@ -53981,6 +54025,12 @@ interface FeatureDescriptorDto {
      * `key: true` is stored as the `unique` annotation, so this map echoes it.
      */
     annotations?: Record<string, string>;
+    /**
+     * Every inherited range commitment of this feature: all entries apply at
+     * once. Read-only — the engine derives it from the sort order, so it is
+     * never sent; a write that echoes it is accepted and the echo ignored.
+     */
+    rangeConjunction?: string[];
     /**
      * Human-readable prose about the feature, used for semantic embeddings and
      * documentation.
@@ -70383,6 +70433,13 @@ interface DocumentStatsDto {
      * so each reports its own analysis.
      */
     fcaDiscovery?: FcaIngestionReport;
+    /**
+     * The model calls this document's ingestion made and reused through the
+     * work cache, as a synchronous run reports them in
+     * {@link IngestionStatsDto.workCache}. Absent when it made and reused none,
+     * and from an engine whose sessions do not keep them yet.
+     */
+    workCache?: IngestionWorkCacheDto;
 }
 /**
  * Response for session-level stats (all completed documents).
@@ -91050,12 +91107,23 @@ interface SortDiscoveryResponse {
  * and `search.stop` names the bound; resume with `advanceExploration`.
  */
 interface ExplorationSearchBounds {
-    /** Maximum new implication-closed candidates examined in this call. */
-    maxCandidates?: number;
-    /** Maximum native search steps in this call. `0` suspends before any work. */
-    maxWork?: number;
-    /** Search deadline in milliseconds, checked between native primitives. */
-    searchTimeoutMs?: number;
+    /**
+     * Maximum new implication-closed candidates examined in this call. Absent
+     * or `null`: unbounded.
+     */
+    maxCandidates?: number | null;
+    /**
+     * Native work budget for this call, in primitive operations, checked
+     * between search steps (a call may end past it by at most one step's cost).
+     * `0` suspends before any work. Absent or `null`: unbounded, so the call
+     * advances to the next question or exhaustion.
+     */
+    maxWork?: number | null;
+    /**
+     * Search deadline in milliseconds, checked between native primitives.
+     * Absent or `null`: no deadline.
+     */
+    searchTimeoutMs?: number | null;
 }
 /**
  * Why an exploration search step stopped.
@@ -91106,8 +91174,12 @@ interface StartExplorationRequest extends ExplorationSearchBounds {
     minExtentSize?: number;
     /** Minimum intent size. */
     minIntentSize?: number;
-    /** Maximum number of terms. */
-    maxTerms?: number;
+    /**
+     * Bound on the records included in the context; a larger scope is sampled
+     * and says so (`populationSampled`). Absent or `null`: every visible record.
+     * `0` explores nothing (422).
+     */
+    maxTerms?: number | null;
     /**
      * Explore only terms of these sorts and their subsorts (by name, in the
      * tenant's lattice).
@@ -91319,7 +91391,8 @@ interface ExplorationStatusResponse {
  * - `exploration_actor_required` (`403`) — the route needs a gateway human
  *   actor.
  * - `exploration_population_limit` (`400`) — start refused the declared
- *   population bound.
+ *   population bound. Engines from d327baf4ce on have no population cap and
+ *   no longer send it.
  * - `exploration_publication_unavailable` (`503`) — the authoritative snapshot
  *   or the atomic commit was unavailable; nothing was installed.
  *
@@ -91607,8 +91680,7 @@ declare class AnalysisClient {
      *   the first question, and the search report.
      * @throws {ForbiddenError} 403 with code `exploration_actor_required` when
      *   the request carries no gateway human actor (`authenticatedUser`).
-     * @throws {BadRequestError} 400 for an unknown sort name, a refused
-     *   population bound (`exploration_population_limit`), native-predicate
+     * @throws {BadRequestError} 400 for an unknown sort name, native-predicate
      *   semantics, or a scaled interpretation that is not complete.
      *
      * @remarks
@@ -91723,8 +91795,8 @@ declare class AnalysisClient {
      *
      * @param sessionId - Exploration session ID.
      * @param request - The bounds of this search step (`maxWork`,
-     *   `maxCandidates`, `searchTimeoutMs`); each omitted bound takes the
-     *   engine default.
+     *   `maxCandidates`, `searchTimeoutMs`); an omitted or `null` bound is
+     *   unbounded.
      * @param requestOptions - Per-call request options.
      * @returns The next question (absent when the search stopped again or was
      *   exhausted), the progress, and the search report.