@kortexya/reasoninglayer 1.3.0 → 1.4.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 = "1.3.0";
+declare const SDK_VERSION = "1.4.0";
 /**
  * Authentication mode for the SDK.
  *
@@ -18637,6 +18637,17 @@ interface ReferenceValue {
     type: 'Reference';
     value: string;
 }
+/**
+ * A reference to a sort by UUID. Produces `{"type": "SortId", "value": "uuid"}`.
+ *
+ * Used by homoiconic meta-constraints (e.g. `sort_constraint`) whose feature
+ * targets a sort as a first-class value. Maps to the backend `Value::SortId`
+ * variant which the chainer dispatches directly.
+ */
+interface SortIdValue {
+    type: 'SortId';
+    value: string;
+}
 /** A list of values. Produces `{"type": "List", "value": [...]}`. */
 interface ListValue {
     type: 'List';
@@ -18689,7 +18700,7 @@ interface SetValue {
  * (BigInteger, DateTime, Geometry, etc.) to `ValueDto::String` with Rust debug format.
  * You may encounter strings like `"DateTime(2024-01-15T10:30:00Z)"`.
  */
-type ValueDto = StringValue | IntegerValue | RealValue | BooleanValue | UninstantiatedValue | ReferenceValue | ListValue | FuzzyScalarValue | FuzzyNumberValue | SetValue;
+type ValueDto = StringValue | IntegerValue | RealValue | BooleanValue | UninstantiatedValue | ReferenceValue | SortIdValue | ListValue | FuzzyScalarValue | FuzzyNumberValue | SetValue;
 /**
  * Triangular fuzzy membership function.
  *
@@ -19004,6 +19015,7 @@ type values_SetValue = SetValue;
 type values_SigmoidDifferenceShape = SigmoidDifferenceShape;
 type values_SigmoidProductShape = SigmoidProductShape;
 type values_SigmoidShape = SigmoidShape;
+type values_SortIdValue = SortIdValue;
 type values_SpikeShape = SpikeShape;
 type values_StringValue = StringValue;
 type values_TaggedFeatureValueDto = TaggedFeatureValueDto;
@@ -19013,7 +19025,7 @@ type values_UninstantiatedValue = UninstantiatedValue;
 type values_ValueDto = ValueDto;
 type values_ZShapeShape = ZShapeShape;
 declare namespace values {
-  export type { values_BellShape as BellShape, values_BooleanValue as BooleanValue, values_CauchyShape as CauchyShape, values_CosineShape as CosineShape, values_CyclicGaussianShape as CyclicGaussianShape, values_FeatureTargetDto as FeatureTargetDto, values_FeatureValueDto as FeatureValueDto, values_FuzzyNumberValue as FuzzyNumberValue, values_FuzzyScalarValue as FuzzyScalarValue, values_FuzzyShapeDto as FuzzyShapeDto, values_GaussianProductShape as GaussianProductShape, values_GaussianShape as GaussianShape, values_IntegerValue as IntegerValue, values_ListValue as ListValue, values_PiShapeShape as PiShapeShape, values_PiecewiseLinearShape as PiecewiseLinearShape, values_RealValue as RealValue, values_ReferenceValue as ReferenceValue, values_SShapeShape as SShapeShape, values_SetValue as SetValue, values_SigmoidDifferenceShape as SigmoidDifferenceShape, values_SigmoidProductShape as SigmoidProductShape, values_SigmoidShape as SigmoidShape, values_SpikeShape as SpikeShape, values_StringValue as StringValue, values_TaggedFeatureValueDto as TaggedFeatureValueDto, values_TrapezoidalShape as TrapezoidalShape, values_TriangularShape as TriangularShape, values_UninstantiatedValue as UninstantiatedValue, values_ValueDto as ValueDto, values_ZShapeShape as ZShapeShape };
+  export type { values_BellShape as BellShape, values_BooleanValue as BooleanValue, values_CauchyShape as CauchyShape, values_CosineShape as CosineShape, values_CyclicGaussianShape as CyclicGaussianShape, values_FeatureTargetDto as FeatureTargetDto, values_FeatureValueDto as FeatureValueDto, values_FuzzyNumberValue as FuzzyNumberValue, values_FuzzyScalarValue as FuzzyScalarValue, values_FuzzyShapeDto as FuzzyShapeDto, values_GaussianProductShape as GaussianProductShape, values_GaussianShape as GaussianShape, values_IntegerValue as IntegerValue, values_ListValue as ListValue, values_PiShapeShape as PiShapeShape, values_PiecewiseLinearShape as PiecewiseLinearShape, values_RealValue as RealValue, values_ReferenceValue as ReferenceValue, values_SShapeShape as SShapeShape, values_SetValue as SetValue, values_SigmoidDifferenceShape as SigmoidDifferenceShape, values_SigmoidProductShape as SigmoidProductShape, values_SigmoidShape as SigmoidShape, values_SortIdValue as SortIdValue, values_SpikeShape as SpikeShape, values_StringValue as StringValue, values_TaggedFeatureValueDto as TaggedFeatureValueDto, values_TrapezoidalShape as TrapezoidalShape, values_TriangularShape as TriangularShape, values_UninstantiatedValue as UninstantiatedValue, values_ValueDto as ValueDto, values_ZShapeShape as ZShapeShape };
 }
 
 /**
@@ -20674,11 +20686,22 @@ interface TermInputInlineByName {
  * Use `FeatureInput.*` builders to construct these values safely.
  * Do NOT use with term CRUD endpoints — use {@link import('./values.js').ValueDto} instead.
  */
-type FeatureInputValueDto = FeatureInputTermRef | FeatureInputConstrainedVariable | FeatureInputVariable | FeatureInputInlineTerm | FeatureInputInlineTermByName | FeatureInputValueDto[] | string | number | boolean;
+type FeatureInputValueDto = FeatureInputTermRef | FeatureInputSortRef | FeatureInputConstrainedVariable | FeatureInputVariable | FeatureInputInlineTerm | FeatureInputInlineTermByName | FeatureInputValueDto[] | string | number | boolean;
 /** Reference an existing term by UUID. */
 interface FeatureInputTermRef {
     termId: string;
 }
+/**
+ * Reference a sort by UUID — used by homoiconic meta-constraints (e.g.
+ * `sort_constraint`) that name a sort as a first-class value.
+ *
+ * Wire format: `{ "sort_ref": "<uuid>" }` (not `sort_id`, which would
+ * collide with {@link FeatureInputInlineTerm} under serde-untagged
+ * deserialization on the backend).
+ */
+interface FeatureInputSortRef {
+    sortRef: string;
+}
 /**
  * A constrained variable in a feature value position.
  *
@@ -20710,6 +20733,7 @@ interface FeatureInputInlineTermByName {
 type homoiconic_FeatureInputConstrainedVariable = FeatureInputConstrainedVariable;
 type homoiconic_FeatureInputInlineTerm = FeatureInputInlineTerm;
 type homoiconic_FeatureInputInlineTermByName = FeatureInputInlineTermByName;
+type homoiconic_FeatureInputSortRef = FeatureInputSortRef;
 type homoiconic_FeatureInputTermRef = FeatureInputTermRef;
 type homoiconic_FeatureInputValueDto = FeatureInputValueDto;
 type homoiconic_FeatureInputVariable = FeatureInputVariable;
@@ -20719,7 +20743,7 @@ type homoiconic_TermInputInline = TermInputInline;
 type homoiconic_TermInputInlineByName = TermInputInlineByName;
 type homoiconic_TermInputRef = TermInputRef;
 declare namespace homoiconic {
-  export type { homoiconic_FeatureInputConstrainedVariable as FeatureInputConstrainedVariable, homoiconic_FeatureInputInlineTerm as FeatureInputInlineTerm, homoiconic_FeatureInputInlineTermByName as FeatureInputInlineTermByName, homoiconic_FeatureInputTermRef as FeatureInputTermRef, homoiconic_FeatureInputValueDto as FeatureInputValueDto, homoiconic_FeatureInputVariable as FeatureInputVariable, homoiconic_PsiTermDto as PsiTermDto, homoiconic_TermInputDto as TermInputDto, homoiconic_TermInputInline as TermInputInline, homoiconic_TermInputInlineByName as TermInputInlineByName, homoiconic_TermInputRef as TermInputRef };
+  export type { homoiconic_FeatureInputConstrainedVariable as FeatureInputConstrainedVariable, homoiconic_FeatureInputInlineTerm as FeatureInputInlineTerm, homoiconic_FeatureInputInlineTermByName as FeatureInputInlineTermByName, homoiconic_FeatureInputSortRef as FeatureInputSortRef, homoiconic_FeatureInputTermRef as FeatureInputTermRef, homoiconic_FeatureInputValueDto as FeatureInputValueDto, homoiconic_FeatureInputVariable as FeatureInputVariable, homoiconic_PsiTermDto as PsiTermDto, homoiconic_TermInputDto as TermInputDto, homoiconic_TermInputInline as TermInputInline, homoiconic_TermInputInlineByName as TermInputInlineByName, homoiconic_TermInputRef as TermInputRef };
 }
 
 /**
@@ -43981,6 +44005,24 @@ declare const Value: {
      * ```
      */
     readonly reference: (id: string) => ReferenceValue;
+    /**
+     * Create a reference to a sort by UUID.
+     *
+     * @param id - The UUID of the sort.
+     * @returns A tagged `SortIdValue`: `{"type": "SortId", "value": "uuid"}`.
+     *
+     * @remarks
+     * Used by homoiconic meta-constraints — primarily `Constraint.typeOf(...)`
+     * — whose feature targets a sort as a first-class value. The chainer
+     * dispatches this directly via `Value::SortId`.
+     *
+     * @example
+     * ```typescript
+     * Value.sortId("550e8400-e29b-41d4-a716-446655440000")
+     * // { type: 'SortId', value: '550e8400-e29b-41d4-a716-446655440000' }
+     * ```
+     */
+    readonly sortId: (id: string) => SortIdValue;
     /**
      * Create a fuzzy scalar with a value and membership degree.
      *
@@ -44371,6 +44413,127 @@ declare const FuzzyShape: {
     readonly piecewiseLinear: (points: [number, number][]) => PiecewiseLinearShape;
 };
 
+/**
+ * Operators accepted by {@link Constraint.where} — boolean comparisons.
+ * The chainer's `guard_constraint` reads the operator as a string; it
+ * residuates the constraint until both sides are bound (or numerically
+ * evaluable), then evaluates the comparison.
+ */
+type ComparisonOp = '<' | '<=' | '=' | '!=' | '>=' | '>';
+/**
+ * Operators accepted by {@link Constraint.equation} — binary arithmetic.
+ * The op selects the chainer sort: `+` → `plus_constraint`, `-` →
+ * `minus_constraint`, `*` → `times_constraint`, `/` → `div_constraint`.
+ * Each reads `x`, `y`, `z` as `z = x op y`.
+ */
+type ArithmeticOp = '+' | '-' | '*' | '/';
+/** A reference to a variable or term used as a constraint operand. */
+type Operand = string | TermInputArg | number | boolean;
+/**
+ * Builders for the chainer's homoiconic meta-constraints. Each function
+ * returns a single `TermInputArg` representing one constraint term — drop
+ * the result into a clause body or rule antecedents.
+ *
+ * @remarks
+ * These wrap the underlying meta-sort names (`sort_constraint`,
+ * `feature_constraint`, `guard_constraint`, `plus_constraint`, etc.) and
+ * use the exact feature keys the chainer reads. Hand-rolled `psi('...')`
+ * calls with guessed keys silently fail — use these builders instead.
+ *
+ * @example
+ * ```typescript
+ * import { Constraint, psi } from '@kortexya/reasoninglayer';
+ *
+ * // "?E is a term of sort flow_edge_constraint, with edges leaving X"
+ * const body = [
+ *   Constraint.typeOf('?E', flowEdgeSortUuid),
+ *   Constraint.has('?E', 'src', '?X'),
+ *   Constraint.has('?E', 'dst', '?Y'),
+ *   Constraint.has('?E', 'cap', '?C'),
+ *   Constraint.intRange('?Amount', 1, 100),
+ *   Constraint.where('?Amount', '<=', '?C'),
+ *   Constraint.solveFor('?Amount'),
+ * ];
+ * ```
+ */
+declare const Constraint: {
+    /**
+     * State that a variable is a term of a given sort. The chainer enumerates
+     * every persisted term of that sort via backtracking.
+     *
+     * @param variable - Variable name (e.g. `'?E'`) or pre-built variable Ψ-term.
+     * @param sortUuid - UUID of the target sort (resolve from
+     *   `client.inference.getMetaSorts()` or your own `createSort` response).
+     * @returns A `sort_constraint` term.
+     */
+    readonly typeOf: (variable: string, sortUuid: string) => TermInputArg;
+    /**
+     * State that a variable's feature equals a target. The chainer unifies
+     * the variable's feature value with the target.
+     *
+     * **Important**: the chainer's `feature_constraint` only unifies
+     * term-references with term-references. The variable's feature on the
+     * persisted side must itself be a `Value::Reference`. Comparing against
+     * literals (e.g. `has('?N', 'name', 'S')` where `name` is stored as a
+     * plain string) silently returns zero solutions — that's a chainer
+     * design constraint, not a builder bug.
+     *
+     * @param variable - The owning variable (e.g. `'?Edge'`).
+     * @param feature - The feature name (e.g. `'src'`).
+     * @param target - The target — typically another variable (`'?Src'`)
+     *   or an existing term referenced by its UUID via `'!<uuid>'`.
+     * @returns A `feature_constraint` term.
+     */
+    readonly has: (variable: string, feature: string, target: Operand) => TermInputArg;
+    /**
+     * State a boolean comparison between two operands. The chainer
+     * residuates the constraint until both sides are bound; when they are,
+     * the comparison must hold or the proof branch fails.
+     *
+     * @param left - Left operand — variable, literal number, or term ref.
+     * @param op - Comparison operator.
+     * @param right - Right operand.
+     * @returns A `guard_constraint` term.
+     */
+    readonly where: (left: Operand, op: ComparisonOp, right: Operand) => TermInputArg;
+    /**
+     * State that `result = left op right`. Selects the chainer sort by op:
+     * `+` → `plus_constraint`, `-` → `minus_constraint`, `*` →
+     * `times_constraint`, `/` → `div_constraint`. The chainer reads each
+     * operand as either a Reference variable or a numeric literal, and can
+     * run forward, reverse, or verify depending on which operands are
+     * bound.
+     *
+     * @param result - Result variable or value (`z`).
+     * @param op - Arithmetic operator.
+     * @param left - Left operand (`x`).
+     * @param right - Right operand (`y`).
+     * @returns The appropriate arithmetic-constraint term.
+     */
+    readonly equation: (result: Operand, op: ArithmeticOp, left: Operand, right: Operand) => TermInputArg;
+    /**
+     * Constrain a variable to be an integer in the inclusive range
+     * `[min, max]`. Required before the chainer's labeling step can assign
+     * a concrete value via {@link Constraint.solveFor}.
+     *
+     * @param variable - Variable name to constrain.
+     * @param min - Lower bound (inclusive).
+     * @param max - Upper bound (inclusive).
+     * @returns An `fd_domain_constraint` term.
+     */
+    readonly intRange: (variable: string, min: number, max: number) => TermInputArg;
+    /**
+     * Search for concrete integer assignments to the listed variables that
+     * satisfy every other constraint mentioning them. Place this at the END
+     * of a clause body — it's the labeling/search step that turns a
+     * constraint network into solutions.
+     *
+     * @param variables - Variable names to assign.
+     * @returns An `fd_labeling_constraint` term.
+     */
+    readonly solveFor: (...variables: string[]) => TermInputArg;
+};
+
 /**
  * Create a guard constraint as a `TermInputDto`.
  *
@@ -45219,4 +45382,4 @@ declare function toUntaggedFeatures(features: PlainFeatureMap): Record<string, F
  */
 declare function toTermInputDto(input: PsiTermInput | TermInputDto): TermInputDto;
 
-export { ANY_ROLE, actionReviews as ActionReviews, type AddFactRequest, type AddFactResponse, type AddRuleRequest, type AddRuleResponse, admin as Admin, type AiGroup, analysis as Analysis, type AnalysisGroup, ApiError, type ApiResponse, type AuthConfig, AuthenticationError, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkCreateSortsRequest, type BulkCreateSortsResponse, cdl as CDL, causal as Causal, type ClassifyEdgesInput, type ClassifyEdgesVars, type ClearTermsResponse, type ClientConfig, cognitive as Cognitive, collections as Collections, communities as Communities, compliance as Compliance, type ConstrainedPlainVar, ConstraintViolationError, constraints as Constraints, control as Control, conversation as Conversation, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationSummaryDto, type ConversationTurnsResponse, type CoreGroup, type CreateResearchSessionRequest, type CreateResearchSessionResponse, type CreateSortRequest, type CreateTermRequest, type DataGroup, discovery as Discovery, type ErrorResponse$1 as ErrorResponse, execution as Execution, extract as Extract, type FeatureInputValueDto, type FeatureValueDto, Flow, type FlowProblem as FlowBuilderProblem, type FlowEdgeInput, type FlowEdgeOptions, flowNetworks as FlowNetworks, type FlowNode, type FlowProblemInputBase, ForbiddenError, type ForwardChainRequest, type ForwardChainResponse, functions as Functions, fuzzy as Fuzzy, FuzzyShape, type FuzzyShapeDto, generation as Generation, type GlbRequest, type GlbResponse, health as Health, homoiconic as Homoiconic, ilp as ILP, imageExtraction as ImageExtraction, inference as Inference, type IngestPaperRequest, type IngestPaperResponse, ingestion as Ingestion, IngestionFailedError, IngestionSession, type IngestionSyncOptions, type Interceptor, InternalServerError, type JsonValue$1 as JsonValue, LP, type ListConversationsResponse, type LubRequest, type LubResponse, type MaxFlowInput, type MaxFlowVars, type MinCostMaxFlowInput, type MinCostMaxFlowVars, type MinCutInput, type MinCutVars, namespaces as Namespaces, NetworkError, neuroSymbolic as NeuroSymbolic, NotFoundError, ontology as Ontology, operations as Operations, optimize as Optimize, type OsfSearchRequest, type OsfSearchResponse, osfql as Osfql, type OsfqlRequest, type OsfqlResponse, type OsfqlValue, oversight as Oversight, type PaginationParams, type PaperMetadataDto, type PaperSource, type PlainFeatureMap, type PlainFeatureValue, plainValues as PlainValues, preferences as Preferences, proofEngine as ProofEngine, type PsiTermDto, type PsiTermInput, query as Query, rag as RAG, RateLimitError, type RateLimitInfo, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type RequestOptions, research as Research, type ResearchContradictionsResponse, type ResearchCycleResponse, type ResearchFindingsResponse, type ResearchGapsResponse, type ResearchReportResponse, type ResearchSessionResponse, reviews as Reviews, row as Row, SDK_VERSION, scenarios as Scenarios, scheduling as Scheduling, type SearchPapersRequest, type SearchPapersResponse, SortBuilder, type SortDto, type SortInfoDto, sorts as Sorts, sources as Sources, spaces as Spaces, statistical as Statistical, synthetic as Synthetic, type SystemGroup, type TermDto, type TermInputArg, type TermInputDto, type TermListResponse, type TermPatternDto, type TermResponse, terms as Terms, TimeoutError, type TurnDto, type UpdateTermRequest, utilities as Utilities, ValidationError, Value, type ValueDto, values as Values, type VerifyClaimRequest, type VerifyClaimResponse, visualization as Visualization, WebSocketClient, WebSocketConnection, webhookActions as WebhookActions, type WorkflowGroup, allen, constrained, discriminateFeatureValue, guard, isConstrainedPlainVar, isPsiTermInput, isTaggedValueDto, isUuid, psi, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };
+export { ANY_ROLE, actionReviews as ActionReviews, type AddFactRequest, type AddFactResponse, type AddRuleRequest, type AddRuleResponse, admin as Admin, type AiGroup, analysis as Analysis, type AnalysisGroup, ApiError, type ApiResponse, type ArithmeticOp, type AuthConfig, AuthenticationError, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkCreateSortsRequest, type BulkCreateSortsResponse, cdl as CDL, causal as Causal, type ClassifyEdgesInput, type ClassifyEdgesVars, type ClearTermsResponse, type ClientConfig, cognitive as Cognitive, collections as Collections, communities as Communities, type ComparisonOp, compliance as Compliance, type ConstrainedPlainVar, Constraint, ConstraintViolationError, constraints as Constraints, control as Control, conversation as Conversation, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationSummaryDto, type ConversationTurnsResponse, type CoreGroup, type CreateResearchSessionRequest, type CreateResearchSessionResponse, type CreateSortRequest, type CreateTermRequest, type DataGroup, discovery as Discovery, type ErrorResponse$1 as ErrorResponse, execution as Execution, extract as Extract, type FeatureInputValueDto, type FeatureValueDto, Flow, type FlowProblem as FlowBuilderProblem, type FlowEdgeInput, type FlowEdgeOptions, flowNetworks as FlowNetworks, type FlowNode, type FlowProblemInputBase, ForbiddenError, type ForwardChainRequest, type ForwardChainResponse, functions as Functions, fuzzy as Fuzzy, FuzzyShape, type FuzzyShapeDto, generation as Generation, type GlbRequest, type GlbResponse, health as Health, homoiconic as Homoiconic, ilp as ILP, imageExtraction as ImageExtraction, inference as Inference, type IngestPaperRequest, type IngestPaperResponse, ingestion as Ingestion, IngestionFailedError, IngestionSession, type IngestionSyncOptions, type Interceptor, InternalServerError, type JsonValue$1 as JsonValue, LP, type ListConversationsResponse, type LubRequest, type LubResponse, type MaxFlowInput, type MaxFlowVars, type MinCostMaxFlowInput, type MinCostMaxFlowVars, type MinCutInput, type MinCutVars, namespaces as Namespaces, NetworkError, neuroSymbolic as NeuroSymbolic, NotFoundError, ontology as Ontology, type Operand, operations as Operations, optimize as Optimize, type OsfSearchRequest, type OsfSearchResponse, osfql as Osfql, type OsfqlRequest, type OsfqlResponse, type OsfqlValue, oversight as Oversight, type PaginationParams, type PaperMetadataDto, type PaperSource, type PlainFeatureMap, type PlainFeatureValue, plainValues as PlainValues, preferences as Preferences, proofEngine as ProofEngine, type PsiTermDto, type PsiTermInput, query as Query, rag as RAG, RateLimitError, type RateLimitInfo, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type RequestOptions, research as Research, type ResearchContradictionsResponse, type ResearchCycleResponse, type ResearchFindingsResponse, type ResearchGapsResponse, type ResearchReportResponse, type ResearchSessionResponse, reviews as Reviews, row as Row, SDK_VERSION, scenarios as Scenarios, scheduling as Scheduling, type SearchPapersRequest, type SearchPapersResponse, SortBuilder, type SortDto, type SortInfoDto, sorts as Sorts, sources as Sources, spaces as Spaces, statistical as Statistical, synthetic as Synthetic, type SystemGroup, type TermDto, type TermInputArg, type TermInputDto, type TermListResponse, type TermPatternDto, type TermResponse, terms as Terms, TimeoutError, type TurnDto, type UpdateTermRequest, utilities as Utilities, ValidationError, Value, type ValueDto, values as Values, type VerifyClaimRequest, type VerifyClaimResponse, visualization as Visualization, WebSocketClient, WebSocketConnection, webhookActions as WebhookActions, type WorkflowGroup, allen, constrained, discriminateFeatureValue, guard, isConstrainedPlainVar, isPsiTermInput, isTaggedValueDto, isUuid, psi, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };

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 = "1.3.0";
+declare const SDK_VERSION = "1.4.0";
 /**
  * Authentication mode for the SDK.
  *
@@ -18637,6 +18637,17 @@ interface ReferenceValue {
     type: 'Reference';
     value: string;
 }
+/**
+ * A reference to a sort by UUID. Produces `{"type": "SortId", "value": "uuid"}`.
+ *
+ * Used by homoiconic meta-constraints (e.g. `sort_constraint`) whose feature
+ * targets a sort as a first-class value. Maps to the backend `Value::SortId`
+ * variant which the chainer dispatches directly.
+ */
+interface SortIdValue {
+    type: 'SortId';
+    value: string;
+}
 /** A list of values. Produces `{"type": "List", "value": [...]}`. */
 interface ListValue {
     type: 'List';
@@ -18689,7 +18700,7 @@ interface SetValue {
  * (BigInteger, DateTime, Geometry, etc.) to `ValueDto::String` with Rust debug format.
  * You may encounter strings like `"DateTime(2024-01-15T10:30:00Z)"`.
  */
-type ValueDto = StringValue | IntegerValue | RealValue | BooleanValue | UninstantiatedValue | ReferenceValue | ListValue | FuzzyScalarValue | FuzzyNumberValue | SetValue;
+type ValueDto = StringValue | IntegerValue | RealValue | BooleanValue | UninstantiatedValue | ReferenceValue | SortIdValue | ListValue | FuzzyScalarValue | FuzzyNumberValue | SetValue;
 /**
  * Triangular fuzzy membership function.
  *
@@ -19004,6 +19015,7 @@ type values_SetValue = SetValue;
 type values_SigmoidDifferenceShape = SigmoidDifferenceShape;
 type values_SigmoidProductShape = SigmoidProductShape;
 type values_SigmoidShape = SigmoidShape;
+type values_SortIdValue = SortIdValue;
 type values_SpikeShape = SpikeShape;
 type values_StringValue = StringValue;
 type values_TaggedFeatureValueDto = TaggedFeatureValueDto;
@@ -19013,7 +19025,7 @@ type values_UninstantiatedValue = UninstantiatedValue;
 type values_ValueDto = ValueDto;
 type values_ZShapeShape = ZShapeShape;
 declare namespace values {
-  export type { values_BellShape as BellShape, values_BooleanValue as BooleanValue, values_CauchyShape as CauchyShape, values_CosineShape as CosineShape, values_CyclicGaussianShape as CyclicGaussianShape, values_FeatureTargetDto as FeatureTargetDto, values_FeatureValueDto as FeatureValueDto, values_FuzzyNumberValue as FuzzyNumberValue, values_FuzzyScalarValue as FuzzyScalarValue, values_FuzzyShapeDto as FuzzyShapeDto, values_GaussianProductShape as GaussianProductShape, values_GaussianShape as GaussianShape, values_IntegerValue as IntegerValue, values_ListValue as ListValue, values_PiShapeShape as PiShapeShape, values_PiecewiseLinearShape as PiecewiseLinearShape, values_RealValue as RealValue, values_ReferenceValue as ReferenceValue, values_SShapeShape as SShapeShape, values_SetValue as SetValue, values_SigmoidDifferenceShape as SigmoidDifferenceShape, values_SigmoidProductShape as SigmoidProductShape, values_SigmoidShape as SigmoidShape, values_SpikeShape as SpikeShape, values_StringValue as StringValue, values_TaggedFeatureValueDto as TaggedFeatureValueDto, values_TrapezoidalShape as TrapezoidalShape, values_TriangularShape as TriangularShape, values_UninstantiatedValue as UninstantiatedValue, values_ValueDto as ValueDto, values_ZShapeShape as ZShapeShape };
+  export type { values_BellShape as BellShape, values_BooleanValue as BooleanValue, values_CauchyShape as CauchyShape, values_CosineShape as CosineShape, values_CyclicGaussianShape as CyclicGaussianShape, values_FeatureTargetDto as FeatureTargetDto, values_FeatureValueDto as FeatureValueDto, values_FuzzyNumberValue as FuzzyNumberValue, values_FuzzyScalarValue as FuzzyScalarValue, values_FuzzyShapeDto as FuzzyShapeDto, values_GaussianProductShape as GaussianProductShape, values_GaussianShape as GaussianShape, values_IntegerValue as IntegerValue, values_ListValue as ListValue, values_PiShapeShape as PiShapeShape, values_PiecewiseLinearShape as PiecewiseLinearShape, values_RealValue as RealValue, values_ReferenceValue as ReferenceValue, values_SShapeShape as SShapeShape, values_SetValue as SetValue, values_SigmoidDifferenceShape as SigmoidDifferenceShape, values_SigmoidProductShape as SigmoidProductShape, values_SigmoidShape as SigmoidShape, values_SortIdValue as SortIdValue, values_SpikeShape as SpikeShape, values_StringValue as StringValue, values_TaggedFeatureValueDto as TaggedFeatureValueDto, values_TrapezoidalShape as TrapezoidalShape, values_TriangularShape as TriangularShape, values_UninstantiatedValue as UninstantiatedValue, values_ValueDto as ValueDto, values_ZShapeShape as ZShapeShape };
 }
 
 /**
@@ -20674,11 +20686,22 @@ interface TermInputInlineByName {
  * Use `FeatureInput.*` builders to construct these values safely.
  * Do NOT use with term CRUD endpoints — use {@link import('./values.js').ValueDto} instead.
  */
-type FeatureInputValueDto = FeatureInputTermRef | FeatureInputConstrainedVariable | FeatureInputVariable | FeatureInputInlineTerm | FeatureInputInlineTermByName | FeatureInputValueDto[] | string | number | boolean;
+type FeatureInputValueDto = FeatureInputTermRef | FeatureInputSortRef | FeatureInputConstrainedVariable | FeatureInputVariable | FeatureInputInlineTerm | FeatureInputInlineTermByName | FeatureInputValueDto[] | string | number | boolean;
 /** Reference an existing term by UUID. */
 interface FeatureInputTermRef {
     termId: string;
 }
+/**
+ * Reference a sort by UUID — used by homoiconic meta-constraints (e.g.
+ * `sort_constraint`) that name a sort as a first-class value.
+ *
+ * Wire format: `{ "sort_ref": "<uuid>" }` (not `sort_id`, which would
+ * collide with {@link FeatureInputInlineTerm} under serde-untagged
+ * deserialization on the backend).
+ */
+interface FeatureInputSortRef {
+    sortRef: string;
+}
 /**
  * A constrained variable in a feature value position.
  *
@@ -20710,6 +20733,7 @@ interface FeatureInputInlineTermByName {
 type homoiconic_FeatureInputConstrainedVariable = FeatureInputConstrainedVariable;
 type homoiconic_FeatureInputInlineTerm = FeatureInputInlineTerm;
 type homoiconic_FeatureInputInlineTermByName = FeatureInputInlineTermByName;
+type homoiconic_FeatureInputSortRef = FeatureInputSortRef;
 type homoiconic_FeatureInputTermRef = FeatureInputTermRef;
 type homoiconic_FeatureInputValueDto = FeatureInputValueDto;
 type homoiconic_FeatureInputVariable = FeatureInputVariable;
@@ -20719,7 +20743,7 @@ type homoiconic_TermInputInline = TermInputInline;
 type homoiconic_TermInputInlineByName = TermInputInlineByName;
 type homoiconic_TermInputRef = TermInputRef;
 declare namespace homoiconic {
-  export type { homoiconic_FeatureInputConstrainedVariable as FeatureInputConstrainedVariable, homoiconic_FeatureInputInlineTerm as FeatureInputInlineTerm, homoiconic_FeatureInputInlineTermByName as FeatureInputInlineTermByName, homoiconic_FeatureInputTermRef as FeatureInputTermRef, homoiconic_FeatureInputValueDto as FeatureInputValueDto, homoiconic_FeatureInputVariable as FeatureInputVariable, homoiconic_PsiTermDto as PsiTermDto, homoiconic_TermInputDto as TermInputDto, homoiconic_TermInputInline as TermInputInline, homoiconic_TermInputInlineByName as TermInputInlineByName, homoiconic_TermInputRef as TermInputRef };
+  export type { homoiconic_FeatureInputConstrainedVariable as FeatureInputConstrainedVariable, homoiconic_FeatureInputInlineTerm as FeatureInputInlineTerm, homoiconic_FeatureInputInlineTermByName as FeatureInputInlineTermByName, homoiconic_FeatureInputSortRef as FeatureInputSortRef, homoiconic_FeatureInputTermRef as FeatureInputTermRef, homoiconic_FeatureInputValueDto as FeatureInputValueDto, homoiconic_FeatureInputVariable as FeatureInputVariable, homoiconic_PsiTermDto as PsiTermDto, homoiconic_TermInputDto as TermInputDto, homoiconic_TermInputInline as TermInputInline, homoiconic_TermInputInlineByName as TermInputInlineByName, homoiconic_TermInputRef as TermInputRef };
 }
 
 /**
@@ -43981,6 +44005,24 @@ declare const Value: {
      * ```
      */
     readonly reference: (id: string) => ReferenceValue;
+    /**
+     * Create a reference to a sort by UUID.
+     *
+     * @param id - The UUID of the sort.
+     * @returns A tagged `SortIdValue`: `{"type": "SortId", "value": "uuid"}`.
+     *
+     * @remarks
+     * Used by homoiconic meta-constraints — primarily `Constraint.typeOf(...)`
+     * — whose feature targets a sort as a first-class value. The chainer
+     * dispatches this directly via `Value::SortId`.
+     *
+     * @example
+     * ```typescript
+     * Value.sortId("550e8400-e29b-41d4-a716-446655440000")
+     * // { type: 'SortId', value: '550e8400-e29b-41d4-a716-446655440000' }
+     * ```
+     */
+    readonly sortId: (id: string) => SortIdValue;
     /**
      * Create a fuzzy scalar with a value and membership degree.
      *
@@ -44371,6 +44413,127 @@ declare const FuzzyShape: {
     readonly piecewiseLinear: (points: [number, number][]) => PiecewiseLinearShape;
 };
 
+/**
+ * Operators accepted by {@link Constraint.where} — boolean comparisons.
+ * The chainer's `guard_constraint` reads the operator as a string; it
+ * residuates the constraint until both sides are bound (or numerically
+ * evaluable), then evaluates the comparison.
+ */
+type ComparisonOp = '<' | '<=' | '=' | '!=' | '>=' | '>';
+/**
+ * Operators accepted by {@link Constraint.equation} — binary arithmetic.
+ * The op selects the chainer sort: `+` → `plus_constraint`, `-` →
+ * `minus_constraint`, `*` → `times_constraint`, `/` → `div_constraint`.
+ * Each reads `x`, `y`, `z` as `z = x op y`.
+ */
+type ArithmeticOp = '+' | '-' | '*' | '/';
+/** A reference to a variable or term used as a constraint operand. */
+type Operand = string | TermInputArg | number | boolean;
+/**
+ * Builders for the chainer's homoiconic meta-constraints. Each function
+ * returns a single `TermInputArg` representing one constraint term — drop
+ * the result into a clause body or rule antecedents.
+ *
+ * @remarks
+ * These wrap the underlying meta-sort names (`sort_constraint`,
+ * `feature_constraint`, `guard_constraint`, `plus_constraint`, etc.) and
+ * use the exact feature keys the chainer reads. Hand-rolled `psi('...')`
+ * calls with guessed keys silently fail — use these builders instead.
+ *
+ * @example
+ * ```typescript
+ * import { Constraint, psi } from '@kortexya/reasoninglayer';
+ *
+ * // "?E is a term of sort flow_edge_constraint, with edges leaving X"
+ * const body = [
+ *   Constraint.typeOf('?E', flowEdgeSortUuid),
+ *   Constraint.has('?E', 'src', '?X'),
+ *   Constraint.has('?E', 'dst', '?Y'),
+ *   Constraint.has('?E', 'cap', '?C'),
+ *   Constraint.intRange('?Amount', 1, 100),
+ *   Constraint.where('?Amount', '<=', '?C'),
+ *   Constraint.solveFor('?Amount'),
+ * ];
+ * ```
+ */
+declare const Constraint: {
+    /**
+     * State that a variable is a term of a given sort. The chainer enumerates
+     * every persisted term of that sort via backtracking.
+     *
+     * @param variable - Variable name (e.g. `'?E'`) or pre-built variable Ψ-term.
+     * @param sortUuid - UUID of the target sort (resolve from
+     *   `client.inference.getMetaSorts()` or your own `createSort` response).
+     * @returns A `sort_constraint` term.
+     */
+    readonly typeOf: (variable: string, sortUuid: string) => TermInputArg;
+    /**
+     * State that a variable's feature equals a target. The chainer unifies
+     * the variable's feature value with the target.
+     *
+     * **Important**: the chainer's `feature_constraint` only unifies
+     * term-references with term-references. The variable's feature on the
+     * persisted side must itself be a `Value::Reference`. Comparing against
+     * literals (e.g. `has('?N', 'name', 'S')` where `name` is stored as a
+     * plain string) silently returns zero solutions — that's a chainer
+     * design constraint, not a builder bug.
+     *
+     * @param variable - The owning variable (e.g. `'?Edge'`).
+     * @param feature - The feature name (e.g. `'src'`).
+     * @param target - The target — typically another variable (`'?Src'`)
+     *   or an existing term referenced by its UUID via `'!<uuid>'`.
+     * @returns A `feature_constraint` term.
+     */
+    readonly has: (variable: string, feature: string, target: Operand) => TermInputArg;
+    /**
+     * State a boolean comparison between two operands. The chainer
+     * residuates the constraint until both sides are bound; when they are,
+     * the comparison must hold or the proof branch fails.
+     *
+     * @param left - Left operand — variable, literal number, or term ref.
+     * @param op - Comparison operator.
+     * @param right - Right operand.
+     * @returns A `guard_constraint` term.
+     */
+    readonly where: (left: Operand, op: ComparisonOp, right: Operand) => TermInputArg;
+    /**
+     * State that `result = left op right`. Selects the chainer sort by op:
+     * `+` → `plus_constraint`, `-` → `minus_constraint`, `*` →
+     * `times_constraint`, `/` → `div_constraint`. The chainer reads each
+     * operand as either a Reference variable or a numeric literal, and can
+     * run forward, reverse, or verify depending on which operands are
+     * bound.
+     *
+     * @param result - Result variable or value (`z`).
+     * @param op - Arithmetic operator.
+     * @param left - Left operand (`x`).
+     * @param right - Right operand (`y`).
+     * @returns The appropriate arithmetic-constraint term.
+     */
+    readonly equation: (result: Operand, op: ArithmeticOp, left: Operand, right: Operand) => TermInputArg;
+    /**
+     * Constrain a variable to be an integer in the inclusive range
+     * `[min, max]`. Required before the chainer's labeling step can assign
+     * a concrete value via {@link Constraint.solveFor}.
+     *
+     * @param variable - Variable name to constrain.
+     * @param min - Lower bound (inclusive).
+     * @param max - Upper bound (inclusive).
+     * @returns An `fd_domain_constraint` term.
+     */
+    readonly intRange: (variable: string, min: number, max: number) => TermInputArg;
+    /**
+     * Search for concrete integer assignments to the listed variables that
+     * satisfy every other constraint mentioning them. Place this at the END
+     * of a clause body — it's the labeling/search step that turns a
+     * constraint network into solutions.
+     *
+     * @param variables - Variable names to assign.
+     * @returns An `fd_labeling_constraint` term.
+     */
+    readonly solveFor: (...variables: string[]) => TermInputArg;
+};
+
 /**
  * Create a guard constraint as a `TermInputDto`.
  *
@@ -45219,4 +45382,4 @@ declare function toUntaggedFeatures(features: PlainFeatureMap): Record<string, F
  */
 declare function toTermInputDto(input: PsiTermInput | TermInputDto): TermInputDto;
 
-export { ANY_ROLE, actionReviews as ActionReviews, type AddFactRequest, type AddFactResponse, type AddRuleRequest, type AddRuleResponse, admin as Admin, type AiGroup, analysis as Analysis, type AnalysisGroup, ApiError, type ApiResponse, type AuthConfig, AuthenticationError, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkCreateSortsRequest, type BulkCreateSortsResponse, cdl as CDL, causal as Causal, type ClassifyEdgesInput, type ClassifyEdgesVars, type ClearTermsResponse, type ClientConfig, cognitive as Cognitive, collections as Collections, communities as Communities, compliance as Compliance, type ConstrainedPlainVar, ConstraintViolationError, constraints as Constraints, control as Control, conversation as Conversation, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationSummaryDto, type ConversationTurnsResponse, type CoreGroup, type CreateResearchSessionRequest, type CreateResearchSessionResponse, type CreateSortRequest, type CreateTermRequest, type DataGroup, discovery as Discovery, type ErrorResponse$1 as ErrorResponse, execution as Execution, extract as Extract, type FeatureInputValueDto, type FeatureValueDto, Flow, type FlowProblem as FlowBuilderProblem, type FlowEdgeInput, type FlowEdgeOptions, flowNetworks as FlowNetworks, type FlowNode, type FlowProblemInputBase, ForbiddenError, type ForwardChainRequest, type ForwardChainResponse, functions as Functions, fuzzy as Fuzzy, FuzzyShape, type FuzzyShapeDto, generation as Generation, type GlbRequest, type GlbResponse, health as Health, homoiconic as Homoiconic, ilp as ILP, imageExtraction as ImageExtraction, inference as Inference, type IngestPaperRequest, type IngestPaperResponse, ingestion as Ingestion, IngestionFailedError, IngestionSession, type IngestionSyncOptions, type Interceptor, InternalServerError, type JsonValue$1 as JsonValue, LP, type ListConversationsResponse, type LubRequest, type LubResponse, type MaxFlowInput, type MaxFlowVars, type MinCostMaxFlowInput, type MinCostMaxFlowVars, type MinCutInput, type MinCutVars, namespaces as Namespaces, NetworkError, neuroSymbolic as NeuroSymbolic, NotFoundError, ontology as Ontology, operations as Operations, optimize as Optimize, type OsfSearchRequest, type OsfSearchResponse, osfql as Osfql, type OsfqlRequest, type OsfqlResponse, type OsfqlValue, oversight as Oversight, type PaginationParams, type PaperMetadataDto, type PaperSource, type PlainFeatureMap, type PlainFeatureValue, plainValues as PlainValues, preferences as Preferences, proofEngine as ProofEngine, type PsiTermDto, type PsiTermInput, query as Query, rag as RAG, RateLimitError, type RateLimitInfo, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type RequestOptions, research as Research, type ResearchContradictionsResponse, type ResearchCycleResponse, type ResearchFindingsResponse, type ResearchGapsResponse, type ResearchReportResponse, type ResearchSessionResponse, reviews as Reviews, row as Row, SDK_VERSION, scenarios as Scenarios, scheduling as Scheduling, type SearchPapersRequest, type SearchPapersResponse, SortBuilder, type SortDto, type SortInfoDto, sorts as Sorts, sources as Sources, spaces as Spaces, statistical as Statistical, synthetic as Synthetic, type SystemGroup, type TermDto, type TermInputArg, type TermInputDto, type TermListResponse, type TermPatternDto, type TermResponse, terms as Terms, TimeoutError, type TurnDto, type UpdateTermRequest, utilities as Utilities, ValidationError, Value, type ValueDto, values as Values, type VerifyClaimRequest, type VerifyClaimResponse, visualization as Visualization, WebSocketClient, WebSocketConnection, webhookActions as WebhookActions, type WorkflowGroup, allen, constrained, discriminateFeatureValue, guard, isConstrainedPlainVar, isPsiTermInput, isTaggedValueDto, isUuid, psi, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };
+export { ANY_ROLE, actionReviews as ActionReviews, type AddFactRequest, type AddFactResponse, type AddRuleRequest, type AddRuleResponse, admin as Admin, type AiGroup, analysis as Analysis, type AnalysisGroup, ApiError, type ApiResponse, type ArithmeticOp, type AuthConfig, AuthenticationError, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkCreateSortsRequest, type BulkCreateSortsResponse, cdl as CDL, causal as Causal, type ClassifyEdgesInput, type ClassifyEdgesVars, type ClearTermsResponse, type ClientConfig, cognitive as Cognitive, collections as Collections, communities as Communities, type ComparisonOp, compliance as Compliance, type ConstrainedPlainVar, Constraint, ConstraintViolationError, constraints as Constraints, control as Control, conversation as Conversation, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationSummaryDto, type ConversationTurnsResponse, type CoreGroup, type CreateResearchSessionRequest, type CreateResearchSessionResponse, type CreateSortRequest, type CreateTermRequest, type DataGroup, discovery as Discovery, type ErrorResponse$1 as ErrorResponse, execution as Execution, extract as Extract, type FeatureInputValueDto, type FeatureValueDto, Flow, type FlowProblem as FlowBuilderProblem, type FlowEdgeInput, type FlowEdgeOptions, flowNetworks as FlowNetworks, type FlowNode, type FlowProblemInputBase, ForbiddenError, type ForwardChainRequest, type ForwardChainResponse, functions as Functions, fuzzy as Fuzzy, FuzzyShape, type FuzzyShapeDto, generation as Generation, type GlbRequest, type GlbResponse, health as Health, homoiconic as Homoiconic, ilp as ILP, imageExtraction as ImageExtraction, inference as Inference, type IngestPaperRequest, type IngestPaperResponse, ingestion as Ingestion, IngestionFailedError, IngestionSession, type IngestionSyncOptions, type Interceptor, InternalServerError, type JsonValue$1 as JsonValue, LP, type ListConversationsResponse, type LubRequest, type LubResponse, type MaxFlowInput, type MaxFlowVars, type MinCostMaxFlowInput, type MinCostMaxFlowVars, type MinCutInput, type MinCutVars, namespaces as Namespaces, NetworkError, neuroSymbolic as NeuroSymbolic, NotFoundError, ontology as Ontology, type Operand, operations as Operations, optimize as Optimize, type OsfSearchRequest, type OsfSearchResponse, osfql as Osfql, type OsfqlRequest, type OsfqlResponse, type OsfqlValue, oversight as Oversight, type PaginationParams, type PaperMetadataDto, type PaperSource, type PlainFeatureMap, type PlainFeatureValue, plainValues as PlainValues, preferences as Preferences, proofEngine as ProofEngine, type PsiTermDto, type PsiTermInput, query as Query, rag as RAG, RateLimitError, type RateLimitInfo, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type RequestOptions, research as Research, type ResearchContradictionsResponse, type ResearchCycleResponse, type ResearchFindingsResponse, type ResearchGapsResponse, type ResearchReportResponse, type ResearchSessionResponse, reviews as Reviews, row as Row, SDK_VERSION, scenarios as Scenarios, scheduling as Scheduling, type SearchPapersRequest, type SearchPapersResponse, SortBuilder, type SortDto, type SortInfoDto, sorts as Sorts, sources as Sources, spaces as Spaces, statistical as Statistical, synthetic as Synthetic, type SystemGroup, type TermDto, type TermInputArg, type TermInputDto, type TermListResponse, type TermPatternDto, type TermResponse, terms as Terms, TimeoutError, type TurnDto, type UpdateTermRequest, utilities as Utilities, ValidationError, Value, type ValueDto, values as Values, type VerifyClaimRequest, type VerifyClaimResponse, visualization as Visualization, WebSocketClient, WebSocketConnection, webhookActions as WebhookActions, type WorkflowGroup, allen, constrained, discriminateFeatureValue, guard, isConstrainedPlainVar, isPsiTermInput, isTaggedValueDto, isUuid, psi, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };