@kortexya/reasoninglayer 0.2.1 → 0.2.2

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.2.1";
+declare const SDK_VERSION = "0.2.2";
 /**
  * Configuration for the Reasoning Layer client.
  *
@@ -34647,6 +34647,358 @@ declare class RagClient {
     ontologyRag(request: OntologyRagRequest): Promise<OntologyRagResponse>;
 }
 
+/**
+ * Direction for the optimization objective.
+ */
+type OptimizationDirection = 'maximize' | 'minimize';
+/**
+ * Comparison operator for linear constraints.
+ */
+type ConstraintOperator = '<=' | '>=' | '=';
+/**
+ * A linear expression as a map from variable names to coefficients.
+ *
+ * @remarks
+ * Variables not present in the map have an implicit coefficient of 0.
+ *
+ * @example
+ * ```typescript
+ * // Represents: 3*chairs + 5*tables
+ * const expr: LinearExpression = { chairs: 3, tables: 5 };
+ * ```
+ */
+type LinearExpression = Record<string, number>;
+/**
+ * Bounds for a single decision variable.
+ *
+ * @example
+ * ```typescript
+ * // 0 <= x <= 100
+ * const bounds: VariableBounds = { min: 0, max: 100 };
+ * ```
+ */
+interface VariableBounds {
+    /** Lower bound (default: unbounded below). */
+    min?: number;
+    /** Upper bound (default: unbounded above). */
+    max?: number;
+}
+/**
+ * A single linear constraint: sum(coefficients[i] * variables[i]) op rhs.
+ *
+ * @example
+ * ```typescript
+ * // Represents: 1*chairs + 3*tables <= 12
+ * const constraint: LinearConstraint = {
+ *   coefficients: { chairs: 1, tables: 3 },
+ *   op: '<=',
+ *   rhs: 12,
+ *   label: 'wood',
+ * };
+ * ```
+ */
+interface LinearConstraint {
+    /** Coefficients per variable. Missing variables have coefficient 0. */
+    coefficients: LinearExpression;
+    /** Comparison operator: <=, >=, or =. */
+    op: ConstraintOperator;
+    /** Right-hand side constant. */
+    rhs: number;
+    /** Optional human-readable label for the constraint. */
+    label?: string;
+}
+/**
+ * Objective function to optimize.
+ *
+ * @example
+ * ```typescript
+ * // Maximize 3*chairs + 5*tables
+ * const obj: ObjectiveFunction = {
+ *   direction: 'maximize',
+ *   coefficients: { chairs: 3, tables: 5 },
+ * };
+ * ```
+ */
+interface ObjectiveFunction {
+    /** Optimization direction. */
+    direction: OptimizationDirection;
+    /** Coefficients per variable in the objective expression. */
+    coefficients: LinearExpression;
+}
+/**
+ * Complete linear program definition.
+ *
+ * @example
+ * ```typescript
+ * const problem: LinearProgramDefinition = {
+ *   objective: { direction: 'maximize', coefficients: { chairs: 3, tables: 5 } },
+ *   constraints: [
+ *     { coefficients: { chairs: 1, tables: 3 }, op: '<=', rhs: 12 },
+ *     { coefficients: { chairs: 2, tables: 1 }, op: '<=', rhs: 8 },
+ *   ],
+ *   bounds: { chairs: { min: 0 }, tables: { min: 0 } },
+ * };
+ * ```
+ */
+interface LinearProgramDefinition {
+    /** Objective function to maximize or minimize. */
+    objective: ObjectiveFunction;
+    /** Linear constraints. */
+    constraints: LinearConstraint[];
+    /** Variable bounds. Variables not listed are unbounded. */
+    bounds?: Record<string, VariableBounds>;
+}
+/**
+ * Options for the LP solve operation.
+ */
+interface SolveOptions {
+    /** Timeout in milliseconds for the backward chaining query (default: 30000). */
+    timeoutMs?: number;
+    /** Maximum proof depth (default: 50). */
+    maxDepth?: number;
+    /**
+     * Whether to clean up the temporary sort and rule after solving (default: true).
+     * Set to false to keep them for debugging.
+     */
+    cleanup?: boolean;
+}
+/**
+ * Result of an LP optimization.
+ *
+ * @remarks
+ * Discriminated union on `status`:
+ * - `'optimal'`: a feasible solution was found; `variables` and `objectiveValue` are populated.
+ * - `'infeasible'`: no feasible solution exists.
+ */
+type OptimizationResult = OptimalResult | InfeasibleResult;
+/**
+ * A successful optimization result with an optimal solution.
+ */
+interface OptimalResult {
+    /** The problem was solved to optimality. */
+    status: 'optimal';
+    /** Variable values at the optimum. */
+    variables: Record<string, number>;
+    /** Objective function value at the optimum. */
+    objectiveValue: number;
+    /** Solve time in milliseconds. */
+    solveTimeMs: number;
+}
+/**
+ * An infeasible optimization result — no feasible solution exists.
+ */
+interface InfeasibleResult {
+    /** No feasible solution exists. */
+    status: 'infeasible';
+    /** Solve time in milliseconds. */
+    solveTimeMs: number;
+}
+/**
+ * Specification for discovering LP variables from knowledge base terms.
+ */
+interface KBVariableSpec {
+    /** Sort name whose terms become decision variables. */
+    sort: string;
+    /** Feature name to use as the variable's human-readable name. */
+    nameFeature: string;
+}
+/**
+ * A resource constraint specification for KB-driven optimization.
+ *
+ * @remarks
+ * Maps a cost feature on variable terms to a capacity limit.
+ */
+interface KBResourceConstraint {
+    /** Feature name on variable terms representing cost for this resource. */
+    costFeature: string;
+    /** Comparison operator (default: '<='). */
+    op?: ConstraintOperator;
+    /** Capacity limit (right-hand side of the constraint). */
+    capacity: number;
+    /** Optional label for the constraint. */
+    label?: string;
+}
+/**
+ * Configuration for KB-driven LP optimization.
+ *
+ * @remarks
+ * Queries the knowledge base to discover decision variables and their coefficients,
+ * then solves the resulting LP problem automatically.
+ *
+ * @example
+ * ```typescript
+ * const result = await client.optimize.fromKnowledgeBase({
+ *   variables: { sort: 'product', nameFeature: 'name' },
+ *   objective: { direction: 'maximize', coefficientFeature: 'profit' },
+ *   resourceConstraints: [
+ *     { costFeature: 'wood_cost', capacity: 12, label: 'wood' },
+ *     { costFeature: 'labor_cost', capacity: 8, label: 'labor' },
+ *   ],
+ *   nonNegative: true,
+ * });
+ * ```
+ */
+interface KBOptimizationConfig {
+    /** How to discover decision variables from the knowledge base. */
+    variables: KBVariableSpec;
+    /** Objective function configuration. */
+    objective: {
+        /** Optimization direction. */
+        direction: OptimizationDirection;
+        /** Feature name on variable terms containing the objective coefficient. */
+        coefficientFeature: string;
+    };
+    /** Resource constraints derived from variable term features. */
+    resourceConstraints: KBResourceConstraint[];
+    /** Whether all variables must be non-negative (default: false). */
+    nonNegative?: boolean;
+    /** Additional explicit constraints to add beyond those discovered from the KB. */
+    additionalConstraints?: LinearConstraint[];
+}
+/**
+ * Result of a KB-driven optimization, including the discovered problem.
+ */
+interface KBOptimizationResult {
+    /** The optimization result. */
+    result: OptimizationResult;
+    /** The LP problem that was auto-generated from KB data (for inspection/debugging). */
+    generatedProblem: LinearProgramDefinition;
+    /** The terms that were discovered and used as variables. */
+    discoveredTerms: TermDto[];
+}
+
+/**
+ * Resource client for linear program optimization.
+ *
+ * @remarks
+ * This is a convenience layer that orchestrates the inference engine's built-in
+ * CLP(Q) simplex solver. Under the hood, it compiles LP problems into homoiconic
+ * rules with arithmetic constraint sorts, submits them via backward chaining,
+ * and extracts the solution.
+ *
+ * The optimization is performed entirely server-side using exact rational arithmetic
+ * (Rational64). Solutions are returned as floating-point approximations.
+ *
+ * @example
+ * ```typescript
+ * import { LP } from '@kortexya/reasoninglayer';
+ *
+ * const result = await client.optimize.solve({
+ *   objective: LP.maximize({ chairs: 3, tables: 5 }),
+ *   constraints: [
+ *     LP.constraint({ chairs: 1, tables: 3 }, '<=', 12),
+ *     LP.constraint({ chairs: 2, tables: 1 }, '<=', 8),
+ *   ],
+ *   bounds: LP.nonNegative('chairs', 'tables'),
+ * });
+ *
+ * if (result.status === 'optimal') {
+ *   console.log(result.variables);      // { chairs: 2.4, tables: 3.2 }
+ *   console.log(result.objectiveValue); // 23.2
+ * }
+ * ```
+ */
+declare class OptimizeClient {
+    /** @internal */
+    private readonly inferenceApi;
+    /** @internal */
+    private readonly sortsApi;
+    /** @internal */
+    private readonly queryApi;
+    /** @internal */
+    private readonly termsApi;
+    /** @internal */
+    private readonly tenantId;
+    /** @internal */
+    constructor(inferenceApi: Inference, sortsApi: Sorts, queryApi: Query, termsApi: Terms, tenantId: string);
+    /**
+     * Solve a linear program.
+     *
+     * @param problem - The LP problem definition with objective, constraints, and bounds.
+     * @param options - Optional solver configuration (timeout, cleanup, etc.).
+     * @returns The optimization result with variable values and objective value.
+     *
+     * @throws {Error} If the problem has no variables.
+     *
+     * @remarks
+     * Internally creates a temporary sort and inference rule, runs backward chaining
+     * to trigger the CLP(Q) simplex solver, then cleans up temporary artifacts.
+     *
+     * The solver uses exact rational arithmetic (Rational64). Solutions are converted
+     * to JavaScript numbers (f64 approximation) for the response.
+     *
+     * @example
+     * ```typescript
+     * import { LP } from '@kortexya/reasoninglayer';
+     *
+     * const result = await client.optimize.solve({
+     *   objective: LP.maximize({ x: 1, y: 2 }),
+     *   constraints: [
+     *     LP.constraint({ x: 1, y: 1 }, '<=', 10),
+     *   ],
+     *   bounds: LP.nonNegative('x', 'y'),
+     * });
+     *
+     * if (result.status === 'optimal') {
+     *   console.log(result.variables);      // { x: 0, y: 10 }
+     *   console.log(result.objectiveValue); // 20
+     * }
+     * ```
+     */
+    solve(problem: LinearProgramDefinition, options?: SolveOptions): Promise<OptimizationResult>;
+    /**
+     * Solve an LP problem with variables and coefficients discovered from the knowledge base.
+     *
+     * @param config - Configuration specifying which sorts/features to query and how to
+     *   map them to LP variables, objective, and constraints.
+     * @param options - Optional solver configuration.
+     * @returns The optimization result plus the auto-generated LP and discovered terms.
+     *
+     * @throws {Error} If the specified sort is not found.
+     * @throws {Error} If no terms are found for the variable sort.
+     * @throws {Error} If a required feature is missing or non-numeric on a term.
+     *
+     * @remarks
+     * This method queries existing knowledge base data to build the LP automatically:
+     * 1. Resolves the variable sort name to its sort ID
+     * 2. Queries all terms of that sort
+     * 3. Extracts feature values to compute objective coefficients and constraint coefficients
+     * 4. Builds and solves the LP
+     *
+     * @example
+     * ```typescript
+     * // Given products in the KB with features: name, profit, wood_cost, labor_cost
+     * const result = await client.optimize.fromKnowledgeBase({
+     *   variables: { sort: 'product', nameFeature: 'name' },
+     *   objective: { direction: 'maximize', coefficientFeature: 'profit' },
+     *   resourceConstraints: [
+     *     { costFeature: 'wood_cost', capacity: 12, label: 'wood' },
+     *     { costFeature: 'labor_cost', capacity: 8, label: 'labor' },
+     *   ],
+     *   nonNegative: true,
+     * });
+     *
+     * if (result.result.status === 'optimal') {
+     *   console.log(result.result.variables); // { chair: 2.4, table: 3.2 }
+     * }
+     * console.log(result.generatedProblem);   // The auto-generated LP for inspection
+     * ```
+     */
+    fromKnowledgeBase(config: KBOptimizationConfig, options?: SolveOptions): Promise<KBOptimizationResult>;
+    /**
+     * Resolve a sort name to its sort ID by listing the tenant's sorts.
+     *
+     * @internal
+     */
+    private resolveSortName;
+    /**
+     * Clean up temporary sort and rule artifacts (best-effort).
+     *
+     * @internal
+     */
+    private cleanupArtifacts;
+}
+
 /**
  * Main client for the Reasoning Layer API.
  *
@@ -34751,6 +35103,8 @@ declare class ReasoningLayerClient {
     readonly generation: GenerationClient;
     /** Ontology RAG operations (embedding search + feature unification). */
     readonly rag: RagClient;
+    /** Linear program optimization (CLP(Q) simplex solver via backward chaining). */
+    readonly optimize: OptimizeClient;
     /**
      * Create a new ReasoningLayerClient.
      *
@@ -35762,6 +36116,114 @@ declare function psi(sortName: string, features?: Record<string, unknown>): Term
  */
 declare function allen(relation: AllenRelation, intervalA: string, intervalBTermId: string): ConstraintInputDto;
 
+/**
+ * Builder namespace for defining Linear Program optimization problems.
+ *
+ * @remarks
+ * Provides sugar functions for constructing {@link LinearProgramDefinition} objects
+ * that can be passed to `client.optimize.solve()`. All functions return plain objects —
+ * the builder is optional convenience, not required.
+ *
+ * **Serialization format**: The LP builder produces types consumed by the SDK's
+ * optimize client, which internally compiles them into untagged `TermInputDto`
+ * structures using CLP(Q) constraint sorts.
+ *
+ * @example
+ * ```typescript
+ * import { LP } from '@kortexya/reasoninglayer';
+ *
+ * const result = await client.optimize.solve({
+ *   objective: LP.maximize({ chairs: 3, tables: 5 }),
+ *   constraints: [
+ *     LP.constraint({ chairs: 1, tables: 3 }, '<=', 12),
+ *     LP.constraint({ chairs: 2, tables: 1 }, '<=', 8),
+ *   ],
+ *   bounds: LP.nonNegative('chairs', 'tables'),
+ * });
+ * ```
+ */
+declare const LP: {
+    /**
+     * Create a maximization objective.
+     *
+     * @param coefficients - Map of variable names to their objective coefficients.
+     * @returns An objective function to maximize.
+     *
+     * @remarks Serialization format: SDK-internal (compiled to constraint sorts).
+     *
+     * @example
+     * ```typescript
+     * LP.maximize({ chairs: 3, tables: 5 })
+     * // { direction: 'maximize', coefficients: { chairs: 3, tables: 5 } }
+     * ```
+     */
+    readonly maximize: (coefficients: LinearExpression) => ObjectiveFunction;
+    /**
+     * Create a minimization objective.
+     *
+     * @param coefficients - Map of variable names to their objective coefficients.
+     * @returns An objective function to minimize.
+     *
+     * @remarks Serialization format: SDK-internal (compiled to constraint sorts).
+     *
+     * @example
+     * ```typescript
+     * LP.minimize({ cost_a: 2, cost_b: 5 })
+     * // { direction: 'minimize', coefficients: { cost_a: 2, cost_b: 5 } }
+     * ```
+     */
+    readonly minimize: (coefficients: LinearExpression) => ObjectiveFunction;
+    /**
+     * Create a linear constraint.
+     *
+     * @param coefficients - Map of variable names to their constraint coefficients.
+     * @param op - Comparison operator: '<=', '>=', or '='.
+     * @param rhs - Right-hand side constant.
+     * @param label - Optional human-readable label.
+     * @returns A linear constraint.
+     *
+     * @remarks Serialization format: SDK-internal (compiled to constraint sorts).
+     *
+     * @example
+     * ```typescript
+     * LP.constraint({ chairs: 1, tables: 3 }, '<=', 12, 'wood')
+     * // { coefficients: { chairs: 1, tables: 3 }, op: '<=', rhs: 12, label: 'wood' }
+     * ```
+     */
+    readonly constraint: (coefficients: LinearExpression, op: ConstraintOperator, rhs: number, label?: string) => LinearConstraint;
+    /**
+     * Create non-negativity bounds (>= 0) for the given variables.
+     *
+     * @param variables - Variable names to constrain to be non-negative.
+     * @returns A bounds map with `{ min: 0 }` for each variable.
+     *
+     * @remarks Serialization format: SDK-internal (compiled to constraint sorts).
+     *
+     * @example
+     * ```typescript
+     * LP.nonNegative('chairs', 'tables')
+     * // { chairs: { min: 0 }, tables: { min: 0 } }
+     * ```
+     */
+    readonly nonNegative: (...variables: string[]) => Record<string, VariableBounds>;
+    /**
+     * Create bounds for a variable.
+     *
+     * @param min - Lower bound (omit for unbounded below).
+     * @param max - Upper bound (omit for unbounded above).
+     * @returns Variable bounds specification.
+     *
+     * @remarks Serialization format: SDK-internal (compiled to constraint sorts).
+     *
+     * @example
+     * ```typescript
+     * LP.bounds(0, 100)
+     * // { min: 0, max: 100 }
+     * ```
+     */
+    readonly bounds: (min?: number, max?: number) => VariableBounds;
+};
+
 /**
  * Check if a string matches UUID v4 format.
  *
@@ -35816,4 +36278,4 @@ declare function isUuid(s: string): boolean;
  */
 declare function discriminateFeatureValue(value: unknown): FeatureValueDto;
 
-export { type ActionReviewReasonDto, type ActionReviewResponse, type ActionReviewStatusDto, type ActionReviewSummaryDto, type ActivationDto, type AdaptiveModifyRequest, type AdaptiveModifyResponse, type AddBeliefRequest, type AddBeliefResponse, type AddCausalRelationRequest, type AddCausalRelationResponse, type AddCognitiveRuleRequest, type AddCognitiveRuleResponse, type AddConstraintsRequest, type AddConstraintsResponse, type AddExportRequest, type AddFactRequest, type AddFactResponse, type AddGoalRequest, type AddGoalResponse, type AddHtnMethodRequest, type AddHtnMethodResponse, type AddImportRequest, type AddPendingReviewRequest, type AddRuleRequest, type AddRuleResponse, type AgentBeliefDto, type AgentConfigDto, type AgentEvent, type AgentEventHandlers, type AgentGoalDto, type AgentStateDto, type AgentSubVerdictDto, type AgentSubscription, type AllenRelation, ApiError, type ApiResponse, type AppendResiduationsRequest, type AppendResiduationsResponse, type ApplyCurriedRequest, type ApplyCurriedResponse, type ApproveActionRequest, type ApproveEntityRequest, type ApproveLearnedSimilarityRequest, type ApproveLearnedSimilarityResponse, type ArchitectureInfoDto, type ArithOpDto, type ArithValueDto, type ArithmeticConstraintDto, type ArithmeticExprDto, type ArtifactDto, type AscRequest, type AssertRuleRequest, type AssertRuleResponse, type AssignValueDto, type AttentionTargetDto, type AttestationDto, type AugmentationTargetDto, type BacktrackResponse, type BacktrackTermStoreRequest, type BacktrackTermStoreResponse, type BacktrackableAssignRequest, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BatchCopyRequest, type BatchStringCompareRequest, type BayesianEffectDto, type BayesianPredictRequest, type BayesianPredictResponse, type BeliefDto, type BinaryOperatorDto, type BindTermRequest, type BindTermResponse, type BindVariableRequest, type BindVariableResponse, type BindVariablesRequest, type BindVariablesResponse, type BindingDto, type BindingsResponse, type BitwiseOperationType, type BitwiseRequest, type BooleanValue, type BoundConstraintDto, type BroadcastMessageRequest, type BroadcastMessageResponse, type BuildInfoDto, type BulkActionReviewResponse, type BulkAddFactsRequest, type BulkAddFactsResponse, type BulkAddRulesRequest, type BulkAddRulesResponse, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkApproveActionsRequest, type BulkApproveRequest, type BulkCreateSortsRequest, type BulkCreateSortsResponse, type BulkFuzzyProveRequest, type BulkFuzzyProveResponse, type BulkMergeRequest, type BulkRejectActionsRequest, type BulkRejectRequest, type BulkSetSimilaritiesRequest, type BulkSetSimilaritiesResponse, type BulkSortDefinition, type BySortQueryRequest, type CalibrateRequest, type CalibrationReportDto, type CallOnceRequest, type CausalAncestorRequest, type CausalAncestorResponse, type CausalChainDto, type CausalEdgeDto, type CausalProofTreeDto, type CausalRelationshipDto$1 as CausalRelationshipDto, type CausesRequest, type CausesResponse, type CdlComponentStatus, type CdlStatusResponse, type CdlVerificationDto, type CertificateDto, type CheckDiversityRequest, type CheckDiversityResponse, type ChoicePointDto, type ChoicePointMarkerResponse, type ChoiceSelection, type ChrRequest, type ClarificationQuestionDto, type ClassifySafetyRequest, type ClassifySafetyResponse, type CleanupResponse, type CleanupSessionsResponse, type CleanupStaleSessionsParams, type ClearFactsResponse, type ClearTermsResponse, type ClientConfig, type CognitiveGoalDto, type CognitiveTermInput, type CollectionDto, type CommitRequest, type CommunityDetectionConfigDto, type CommunityDetectionStatsDto, type CommunityDto, type CommunityMatchDto, type CommunitySearchModeDto, type CommunitySearchStatsDto, type ComponentHealthDto, type ConceptMatchDto, type CondRequest, type ConditionalIndependenceRequest, type ConditionalIndependenceResponse, type ConfirmResponse, type ConflictResolution, type ConstraintCheckDto, type ConstraintDto, type ConstraintGraphRequest, type ConstraintGraphResponse, type ConstraintGraphStats, type ConstraintInputDto, type ConstraintSessionStatus, ConstraintViolationError, type ContainmentVerificationDto, type ControlNafRequest, type CopyModeDto, type CopyTermRequest, type CorrectEntityRequest, type CorrelationRequest, type CorrelationResponse, type CounterfactualRequest, type CounterfactualResponse, type CounterfactualTraceDto, type CreateAgentRequest, type CreateAgentResponse, type CreateChildNamespaceRequest, type CreateCognitiveSortRequest, type CreateCognitiveSortResponse, type CreateCollectionRequest, type CreateConstraintSessionRequest, type CreateConstraintSessionResponse, type CreateCurriedFunctionRequest, type CreateExecutionSessionRequest, type CreateGoalRequest, type CreateGoalResponse, type CreateRootNamespaceRequest, type CreateRuleStoreRequest, type CreateScenarioRequest, type CreateScenarioResponse, type CreateSortRequest, type CreateSpaceRequest, type CreateStoreTermRequest, type CreateTermRequest, type CreateTermStoreRequest, type CreateVariableRequest, type CuriosityTargetDto, type CurriedFunctionResponse, type CurryingContextResponse, type CutRequest, type CycleDto, type CycleOutcomeDto, type CycleOutcomeSummaryDto, type CyclicGaussianShape, type DSeparatedRequest, type DSeparatedResponse, type DataMixingStatsDto, type DataPointDto, type DatasetStatisticsDto, type DecodeGlbResponse, type DeepCopyRequest, type DeleteGoalResponse, type DeletePlanRequest, type DeletePlanResponse, type DependentInfoDto, type DereferenceRequest, type DereferenceResponse, type DerivedInferenceRequest, type DerivedInferenceResponse, type DerivedInferenceResultDto, type DetectCommunitiesRequest, type DetectCommunitiesResponse, type DetectMissingAttributesRequest, type DiagnosticDto, type DiagnosticsResponse, type DifferentiableFcRequest, type DifferentiableFcResponse, type DiscoverCausalRequest, type DiscoverCausalResponse, type DiscoverEffectsRequest, type DiscoverEffectsResponse, type DiscoverSchemaRequest, type DiscoverSchemaResponse, type DiscoveredRelationDto, type DiscoveredSortDto, type DiscoveredSourceRelationDto, type DiscoveryConfigDto, type DiscoveryStateDto, type DiscoveryStatusResponse, type DiversityAnalysisDto, type DocumentMetadataDto, type DocumentParseStatsDto, type DocumentParser, type DocumentSource, type DocumentType, type DriveDeficitDto, type DriveDto, type DynamicAddSortRequest, type DynamicAddSortResponse, type DynamicDiscoveryRequest, type DynamicDiscoveryResponse, type DynamicQueryClauseDto, type DynamicQueryGroupDto, type DynamicQueryRequest, type DynamicQueryResponse, type DynamicQueryResultDto, type E2ETrainingRequest, type E2ETrainingResponse, type EffectDto, type EffectPredictionDto, type EmbeddingVerificationResponse, type EnrichedHealthResponse, type EntailmentRequest, type EntailmentResponse, type EntityDto, type EntityVerificationDetailDto, type EpisodeDto, type EpisodeOutcomeDto, type EpisodeStatsResponse, type EquivalenceClassDto, type ErrorResponse, type EvalBuiltinRequest, type EvalBuiltinResponse, type EvalFunctionInfoDto, type EvaluateFunctionRequest, type EvaluateFunctionResponse, type EvaluatePatternRequest, type EvaluatePatternResponse, type EvaluatedValueDto, type EvidenceAssessmentRequest, type EvidenceSourceDto, type ExecutionGoalDto, type ExecutionSessionResponse, type ExecutionSessionStatsResponse, type ExecutionValueDto, type ExplorationCompleteResponse, type ExplorationProgress, type ExplorationQuestion, type ExplorationStatusResponse, type ExportJsonlResponse, type ExpressionDto, type ExtendedAgentStateDto, type ExternalActionSummaryDto, type ExtractEntitiesRequest, type ExtractEntitiesResponse, type ExtractImageRequest, type ExtractImageResponse, type ExtractedEntityDto, type ExtractionPredictionDto, type ExtractionStatsDto, type FactConfidenceEntry, type FactoryResetResponse, type FailedReviewDto, type FdDomainStateDto, type FeatureBindingDto, type FeatureConfigDto, type FeatureDescriptorDto, FeatureInput, type FeatureInputConstrainedVariable, type FeatureInputInlineTerm, type FeatureInputInlineTermByName, type FeatureInputTermRef, type FeatureInputValueDto, type FeatureInputVariable, type FeatureMismatchDto, type FeaturePair, type FeatureRequirementDto, type FeatureTypeDto, type FeatureValueDto, type FindPlansRequest, type FindPlansResponse, type FindRulesRequest, type FindRulesResponse, type FindallRequest, type FixSuggestionDto, type ForallRequest, type FormalJudgeRefinementResponse, type FormalJudgeRequest, type FormalJudgeResponse, type FormalVerdictDto, type ForwardChainRequest, type ForwardChainResponse, type FunctionBodyDto, type FunctionClauseDto, type FunctionGuardDto, type FunctionValueDto, type FuzzyConceptLevel, type FuzzyMergeRequest, type FuzzyMergeResponse, type FuzzyNumberValue, type FuzzyProveRequest, type FuzzyProveResponse, type FuzzyScalarValue, type FuzzySearchResultItem, type FuzzySearchTopKRequest, type FuzzySearchTopKResponse, FuzzyShape, type FuzzyShapeDto, type FuzzySubsumptionRequest, type FuzzySubsumptionResponse, type FuzzyUnifyRequest, type FuzzyUnifyResponse, type GFlowNetSampleRequest, type GFlowNetSampleResponse, type GFlowNetTrainResponse, type GaussianShape, type GeneralConstraintDto, type GenerateDocumentRequest, type GenerateDocumentResponse, type GenerateNegativesRequest, type GenerateNegativesResponse, type GenerateOntologyRequest, type GenerateOntologyResponse, type GenerateSyntheticDataRequest, type GenerateSyntheticDataResponse, type GenerationPromptRequest, type GenerationPromptResponse, type GenerationProvenanceDto, type GenerationReportDto, type GenerationVerificationDto, type GetAgentDrivesRequest, type GetAgentStateRequest, type GetAgentStateResponse, type GetBindingsRequest, type GetCausalModelResponse, type GetEquivalenceClassesResponse, type GetExtendedAgentStateRequest, type GetExtendedAgentStateResponse, type GetFactsResponse, type GetMembershipsRequest, type GetMembershipsResponse, type GetPreorderDegreeRequest, type GetPreorderDegreeResponse, type GetResiduationsRequest, type GetResiduationsResponse, type GetScenarioResponse, type GetSortSimilarityRequest, type GetSortSimilarityResponse, type GetStoreTermRequest, type GetStoreTermResponse, type GlbLubComputationTrace, type GlbLubOperation, type GlbLubTraceRequest, type GlbRequest, type GlbResponse, type GlobalAssignRequest, type GlobalGetRequest, type GlobalIncrementRequest, type GoalDto, type GoalEvaluationResultDto, type GoalStackEntryDto, type GoalStackResponse, type GoalSummaryDto, type GroundTruthEntry, type GuardOp, type HomoiconicSubstitutionDto, type HorizonDto, type HtnMethodDto, type HypergraphRequest, type HypergraphResponse, type ImageExtractedEntityDto, type ImageExtractedRelationDto, type ImageExtractionStatsDto, type ImageSuggestedSortDto, type ImpasseDto, type Implication, type ImpliesRequest, type IngestDocumentBatchRequest, type IngestDocumentBatchResponse, type IngestDocumentRequest, type IngestDocumentResponse, type IngestFromSourceRequest, type IngestFromSourceResponse, type IngestMarkdownBatchRequest, type IngestMarkdownRequest, type IngestMarkdownResponse, type IngestRdfRequest, type IngestRdfResponse, type IngestionConfigDto, type IngestionSessionResponse, type IngestionSessionStatusDto, type IngestionStatsDto, type IntegerValue, type IntegratedCycleOutcomeDto, type IntegratedEngineConfigDto, type IntegrationGroupDto, type IntentionDto, type Interceptor, InternalServerError, type InterventionObservationRequest, type InterventionObservationResponse, type InterventionRequest, type InterventionResponse, type InvokeActionRequest, type InvokeActionResponse, type IterationMetricDto, type JudgeConfigDto, type KbChangeDto, type KbChangeType, type LatticeVisualizationRequest, type LatticeVisualizationResponse, type LayerResultDto, type LayerResultSummaryDto, type LayoutAlgorithmDto, type LayoutDirectionDto, type LazyEvalRequest, type LazyEvalResponse, type LearnFromCorrectionRequest, type LearnFromCorrectionResponse, type LearnPatternRequest, type LearnPatternResponse, type LearnSortSimilaritiesRequest, type LearnSortSimilaritiesResponse, type LearnedSimilarityDto, type LearnedSimilarityListResponse, type LearnedSimilarityProvenanceDto, type LearnedSimilarityStatusDto, type ListActionReviewsResponse, type ListEvalFunctionsRequest, type ListEvalFunctionsResponse, type ListExternalActionsResponse, type ListGoalsResponse, type ListIncompleteDocumentsResponse, type ListIngestionSessionsResponse, type ListPatternsResponse, type ListPendingInvocationsResponse, type ListScenariosResponse, type ListSourcesResponse, type ListTenantsResponse, type ListValue, type LiteralInputDto, type LubRequest, type LubResponse, type MarkChoicePointRequest, type MarkMessagesReadRequest, type MarkMessagesReadResponse, type MarkPendingRequest, type MarkPendingResponse, type MarkRuleStoreRequest, type MarkRuleStoreResponse, type MarkTermStoreRequest, type MarkTermStoreResponse, type MarkdownDocumentDto, type MatchedEntityDto, type MaterializationSummaryDto, type MathFunctionRequest, type MathFunctionType, type MeetPreservationDto, type MembershipDto, type MergeEntityRequest, type MetaSortsResponse, type MissingInfoDto, type ModifyActionRequest, type ModularArithRequest, type ModularOperationType, type MonadicFactDto, type MonadicFixpointRequest, type MonadicFixpointResponse, type MotivationStateDto, type NafProveRequest, type NafProveResponse, type NamespaceDto, type NamespaceListResponse, type NamespaceResponse, type NegativeExampleDto, NetworkError, type NeuroSymbolicStatusResponse, type NlQueryRequest, type NlQueryResponse, NotFoundError, type NumberToStringRequest, type ObserveMultiRequest, type ObserveMultiResponse, type ObservePairRequest, type ObservePairResponse, type ObserveSingleRequest, type ObserveSingleResponse, type OcrConfigDto, type OntologyClarificationQuestionDto, type OntologyRagRequest, type OntologyRagResponse, type OntologyRagStatsDto, type OsfSearchRequest, type OsfSearchResponse, type OsfSearchStatsDto, type PaginationParams, type ParsedDocumentMetadataDto, type PartialCorrelationRequest, type PartialCorrelationResponse, type PatternDto, type PendingActionReviewDto, type PendingInvocationDto, type PlanMatchDto, type PositionalArgumentDto, type PredictEffectRequest, type PredictEffectResponse, type PredictFromDiscoveryRequest, type PredictFromDiscoveryResponse, type PredictPreferencesRequest, type PredictPreferencesResponse, type PredictionErrorDto, type PreferencePrediction, type PrerequisiteInfoDto, type ProofDto, type ProofEngineCreateTermResponse, type ProofNodeDto, type ProofStatisticsDto, type ProofTraceDto, type ProvenanceTagDto, type ProvideFeedbackRequest, type ProvideFeedbackResponse, type PsiTermDto, type PushGoalRequest, type PushGoalResponse, type QueryResultDto, type QueryTerm, RateLimitError, type RateLimitInfo, type RdfFormatDto, type ReExtractRequest, type RealValue, ReasoningLayerClient, ReasoningLayerError, type RecallEpisodesRequest, type RecallEpisodesResponse, type RecalledEpisodeDto, type RecordEpisodeRequest, type RecordEpisodeResponse, type RecordSelectionRequest, type RecordSelectionResponse, type ReferenceValue, type ReflectionQueryRequest, type ReflectionQueryResponse, type RefuteRequest, type RefuteResponse, type RegisterExternalActionRequest, type RegisterExternalActionResponse, type RegisterFunctionRequest, type RegisterFunctionResponse, type RegisterSourceRequest, type RegisterSourceResponse, type RejectActionRequest, type RejectEntityRequest, type RejectLearnedSimilarityRequest, type RejectLearnedSimilarityResponse, type RelOpDto, type RelatedInfoDto, type RelationTypeDto, type RelationalArithRequest, type ReleaseResiduationsRequest, type ReleaseResiduationsResponse, type RequestOptions, type ResidualWitnessDto, type ResiduateGoalRequest, type ResiduateGoalResponse, type ResiduationDetailDto, type ResiduationDto, type ResiduationGoalDto, type ResiduationKind, type ResiduationRequest, type ResiduationResponse, type ResiduationStateFilter, type ResiduationStateRequest, type ResiduationStateResponse, type ResourceCoordinationRequest, type ResourceSpec, type ResumeDocumentIngestionRequest, type ResumeDocumentIngestionResponse, type ResumptionOptionDto, type RetractRuleRequest, type RetractRuleResponse, type ReviewCandidateMatchDto, type ReviewReason, type RootCauseAnalysisRequest, type RootCauseAnalysisResponse, type RootCauseDto, type RootCauseWithProofResponse, type RowIntegrateRequest, type RowIntegrateResponse, type RowMatchDto, type RowSearchRequest, type RowSearchResponse, type RowSimilarityRequest, type RowSimilarityResponse, type RowTypeDto, type RowUnifyRequest, type RowUnifyResponse, type RuleClauseDto, type RuleConstraintDto, type RuleDto, type RuleStoreResponse, type RuleUtilityDto, type RunCycleRequest, type RunCycleResponse, type RunIntegratedCycleRequest, type RunIntegratedCycleResponse, SDK_VERSION, type SafetyModelInfoDto, type SaveWeightsResponse, type ScenarioSummaryDto, type SearchCommunitiesRequest, type SearchCommunitiesResponse, type SearchStatsDto, type SearchStrategyDto, type SendMessageRequest, type SendMessageResponse, type SetFeatureRequest, type SetFeatureResponse, type SetSortSimilarityRequest, type SetSortSimilarityResponse, type SetValue, type SimilarityEntryDto, type SoftUnifyRequest, type SoftUnifyResponse, type SolutionDto, type SolveConstraintRequest, type SolveConstraintResponse, type SortBoxRequest, type SortBoxResponse, SortBuilder, type SortCalibrationDto, type SortCompareOperator, type SortCompareRequest, type SortCompareResponse, type SortDiscoveryRequest, type SortDiscoveryResponse, type SortDto, type SortInfoDto, type SortOriginDto, type SortRecommendation, type SortSimilarityResponse, type SortStatusDto, type SortSuggestionDto, type SortSummaryDto, type SourceDetailResponse, type SourceSummaryDto, type SpaceResponse, type SpaceSearchRequest, type SpaceSearchResponse, type SpaceSolutionDto, type SpaceStatusDto, type SpecificityDto, type StartExplorationRequest, type StartExplorationResponse, type StartIngestionSessionRequest, type StatisticalSuccessResponse, type StorePlanRequest, type StorePlanResponse, type StringCompareOperator, type StringComparePredicateRequest, type StringCompareRequest, type StringConcatRequest, type StringLengthRequest, type StringOpParams, type StringOpRequest, type StringOperationType, type StringValue, type StructuredIngestionStatsDto, type SubscribeToKbRequest, type SubscribeToKbResponse, type SubstringRequest, type SuspendedQueryDto, type SymbolicResultDto, type SynthesizeRequest, type SynthesizeResponse, type TaggedDerivedFact, type TaggedFactDto, type TaggedFcRequest, type TaggedFcResponse, type TaggedForwardChainRequest, type TaggedForwardChainResponse, type TemporalPlanRequest, type TenantInfoDto, type TermBindingDto, type TermDto, TermInput, type TermInputDto, type TermInputInline, type TermInputInlineByName, type TermInputRef, type TermPatternDto, type TermResponse, type TermState, type TermStoreSessionResponse, TimeoutError, type TrailEntryDto, type TrainFromTracesResponse, type TrainingExample, type TrainingExampleDto, type TrainingTriggerResponse, type TrajectoryStepDto, type TrapezoidalShape, type TriangularShape, type TriggerDependencyRequest, type TriggerDependencyResponse, type UndoRequest, type UndoRuleStoreRequest, type UndoRuleStoreResponse, type UnifiableQueryRequest, type UnifyTermsRequest, type UnifyTermsResponse, type UninstantiatedValue, type UpdateCollectionRequest, type UpdateMetadataRequest, type UpdatePlanStatsRequest, type UpdatePlanStatsResponse, type UpdateReviewStatusRequest, type UpdateScenarioRequest, type UpdateScenarioResponse, type UpdateTermRequest, type UpdateVisibilityRequest, type ValidateTermRequest, type ValidatedTermResponse, type ValidatedUnifyRequest, type ValidatedUnifyResponse, ValidationError, Value, type ValueDto, type ValuePatternDto, type VerbalizationResultDto, type VerbalizeTermRequest, type VerbalizeTermResponse, type VerificationStepDto, type VerifyFaithfulnessRequest, type VerifyFaithfulnessResponse, type VerifyRoundTripRequest, type VerifyRoundTripResponse, type VerifyScenarioRequest, type VerifyScenarioResponse, type ViolationDto, type VisibilityDto, type VisualizationGraphDto, WebSocketClient, WebSocketConnection, type WebhookCallbackRequest, type WebhookCallbackResponse, type WeightedFactDto, type WitnessInstantiationDto, type WitnessProofDto, allen, discriminateFeatureValue, guard, isUuid, psi };
+export { type ActionReviewReasonDto, type ActionReviewResponse, type ActionReviewStatusDto, type ActionReviewSummaryDto, type ActivationDto, type AdaptiveModifyRequest, type AdaptiveModifyResponse, type AddBeliefRequest, type AddBeliefResponse, type AddCausalRelationRequest, type AddCausalRelationResponse, type AddCognitiveRuleRequest, type AddCognitiveRuleResponse, type AddConstraintsRequest, type AddConstraintsResponse, type AddExportRequest, type AddFactRequest, type AddFactResponse, type AddGoalRequest, type AddGoalResponse, type AddHtnMethodRequest, type AddHtnMethodResponse, type AddImportRequest, type AddPendingReviewRequest, type AddRuleRequest, type AddRuleResponse, type AgentBeliefDto, type AgentConfigDto, type AgentEvent, type AgentEventHandlers, type AgentGoalDto, type AgentStateDto, type AgentSubVerdictDto, type AgentSubscription, type AllenRelation, ApiError, type ApiResponse, type AppendResiduationsRequest, type AppendResiduationsResponse, type ApplyCurriedRequest, type ApplyCurriedResponse, type ApproveActionRequest, type ApproveEntityRequest, type ApproveLearnedSimilarityRequest, type ApproveLearnedSimilarityResponse, type ArchitectureInfoDto, type ArithOpDto, type ArithValueDto, type ArithmeticConstraintDto, type ArithmeticExprDto, type ArtifactDto, type AscRequest, type AssertRuleRequest, type AssertRuleResponse, type AssignValueDto, type AttentionTargetDto, type AttestationDto, type AugmentationTargetDto, type BacktrackResponse, type BacktrackTermStoreRequest, type BacktrackTermStoreResponse, type BacktrackableAssignRequest, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BatchCopyRequest, type BatchStringCompareRequest, type BayesianEffectDto, type BayesianPredictRequest, type BayesianPredictResponse, type BeliefDto, type BinaryOperatorDto, type BindTermRequest, type BindTermResponse, type BindVariableRequest, type BindVariableResponse, type BindVariablesRequest, type BindVariablesResponse, type BindingDto, type BindingsResponse, type BitwiseOperationType, type BitwiseRequest, type BooleanValue, type BoundConstraintDto, type BroadcastMessageRequest, type BroadcastMessageResponse, type BuildInfoDto, type BulkActionReviewResponse, type BulkAddFactsRequest, type BulkAddFactsResponse, type BulkAddRulesRequest, type BulkAddRulesResponse, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkApproveActionsRequest, type BulkApproveRequest, type BulkCreateSortsRequest, type BulkCreateSortsResponse, type BulkFuzzyProveRequest, type BulkFuzzyProveResponse, type BulkMergeRequest, type BulkRejectActionsRequest, type BulkRejectRequest, type BulkSetSimilaritiesRequest, type BulkSetSimilaritiesResponse, type BulkSortDefinition, type BySortQueryRequest, type CalibrateRequest, type CalibrationReportDto, type CallOnceRequest, type CausalAncestorRequest, type CausalAncestorResponse, type CausalChainDto, type CausalEdgeDto, type CausalProofTreeDto, type CausalRelationshipDto$1 as CausalRelationshipDto, type CausesRequest, type CausesResponse, type CdlComponentStatus, type CdlStatusResponse, type CdlVerificationDto, type CertificateDto, type CheckDiversityRequest, type CheckDiversityResponse, type ChoicePointDto, type ChoicePointMarkerResponse, type ChoiceSelection, type ChrRequest, type ClarificationQuestionDto, type ClassifySafetyRequest, type ClassifySafetyResponse, type CleanupResponse, type CleanupSessionsResponse, type CleanupStaleSessionsParams, type ClearFactsResponse, type ClearTermsResponse, type ClientConfig, type CognitiveGoalDto, type CognitiveTermInput, type CollectionDto, type CommitRequest, type CommunityDetectionConfigDto, type CommunityDetectionStatsDto, type CommunityDto, type CommunityMatchDto, type CommunitySearchModeDto, type CommunitySearchStatsDto, type ComponentHealthDto, type ConceptMatchDto, type CondRequest, type ConditionalIndependenceRequest, type ConditionalIndependenceResponse, type ConfirmResponse, type ConflictResolution, type ConstraintCheckDto, type ConstraintDto, type ConstraintGraphRequest, type ConstraintGraphResponse, type ConstraintGraphStats, type ConstraintInputDto, type ConstraintOperator, type ConstraintSessionStatus, ConstraintViolationError, type ContainmentVerificationDto, type ControlNafRequest, type CopyModeDto, type CopyTermRequest, type CorrectEntityRequest, type CorrelationRequest, type CorrelationResponse, type CounterfactualRequest, type CounterfactualResponse, type CounterfactualTraceDto, type CreateAgentRequest, type CreateAgentResponse, type CreateChildNamespaceRequest, type CreateCognitiveSortRequest, type CreateCognitiveSortResponse, type CreateCollectionRequest, type CreateConstraintSessionRequest, type CreateConstraintSessionResponse, type CreateCurriedFunctionRequest, type CreateExecutionSessionRequest, type CreateGoalRequest, type CreateGoalResponse, type CreateRootNamespaceRequest, type CreateRuleStoreRequest, type CreateScenarioRequest, type CreateScenarioResponse, type CreateSortRequest, type CreateSpaceRequest, type CreateStoreTermRequest, type CreateTermRequest, type CreateTermStoreRequest, type CreateVariableRequest, type CuriosityTargetDto, type CurriedFunctionResponse, type CurryingContextResponse, type CutRequest, type CycleDto, type CycleOutcomeDto, type CycleOutcomeSummaryDto, type CyclicGaussianShape, type DSeparatedRequest, type DSeparatedResponse, type DataMixingStatsDto, type DataPointDto, type DatasetStatisticsDto, type DecodeGlbResponse, type DeepCopyRequest, type DeleteGoalResponse, type DeletePlanRequest, type DeletePlanResponse, type DependentInfoDto, type DereferenceRequest, type DereferenceResponse, type DerivedInferenceRequest, type DerivedInferenceResponse, type DerivedInferenceResultDto, type DetectCommunitiesRequest, type DetectCommunitiesResponse, type DetectMissingAttributesRequest, type DiagnosticDto, type DiagnosticsResponse, type DifferentiableFcRequest, type DifferentiableFcResponse, type DiscoverCausalRequest, type DiscoverCausalResponse, type DiscoverEffectsRequest, type DiscoverEffectsResponse, type DiscoverSchemaRequest, type DiscoverSchemaResponse, type DiscoveredRelationDto, type DiscoveredSortDto, type DiscoveredSourceRelationDto, type DiscoveryConfigDto, type DiscoveryStateDto, type DiscoveryStatusResponse, type DiversityAnalysisDto, type DocumentMetadataDto, type DocumentParseStatsDto, type DocumentParser, type DocumentSource, type DocumentType, type DriveDeficitDto, type DriveDto, type DynamicAddSortRequest, type DynamicAddSortResponse, type DynamicDiscoveryRequest, type DynamicDiscoveryResponse, type DynamicQueryClauseDto, type DynamicQueryGroupDto, type DynamicQueryRequest, type DynamicQueryResponse, type DynamicQueryResultDto, type E2ETrainingRequest, type E2ETrainingResponse, type EffectDto, type EffectPredictionDto, type EmbeddingVerificationResponse, type EnrichedHealthResponse, type EntailmentRequest, type EntailmentResponse, type EntityDto, type EntityVerificationDetailDto, type EpisodeDto, type EpisodeOutcomeDto, type EpisodeStatsResponse, type EquivalenceClassDto, type ErrorResponse, type EvalBuiltinRequest, type EvalBuiltinResponse, type EvalFunctionInfoDto, type EvaluateFunctionRequest, type EvaluateFunctionResponse, type EvaluatePatternRequest, type EvaluatePatternResponse, type EvaluatedValueDto, type EvidenceAssessmentRequest, type EvidenceSourceDto, type ExecutionGoalDto, type ExecutionSessionResponse, type ExecutionSessionStatsResponse, type ExecutionValueDto, type ExplorationCompleteResponse, type ExplorationProgress, type ExplorationQuestion, type ExplorationStatusResponse, type ExportJsonlResponse, type ExpressionDto, type ExtendedAgentStateDto, type ExternalActionSummaryDto, type ExtractEntitiesRequest, type ExtractEntitiesResponse, type ExtractImageRequest, type ExtractImageResponse, type ExtractedEntityDto, type ExtractionPredictionDto, type ExtractionStatsDto, type FactConfidenceEntry, type FactoryResetResponse, type FailedReviewDto, type FdDomainStateDto, type FeatureBindingDto, type FeatureConfigDto, type FeatureDescriptorDto, FeatureInput, type FeatureInputConstrainedVariable, type FeatureInputInlineTerm, type FeatureInputInlineTermByName, type FeatureInputTermRef, type FeatureInputValueDto, type FeatureInputVariable, type FeatureMismatchDto, type FeaturePair, type FeatureRequirementDto, type FeatureTypeDto, type FeatureValueDto, type FindPlansRequest, type FindPlansResponse, type FindRulesRequest, type FindRulesResponse, type FindallRequest, type FixSuggestionDto, type ForallRequest, type FormalJudgeRefinementResponse, type FormalJudgeRequest, type FormalJudgeResponse, type FormalVerdictDto, type ForwardChainRequest, type ForwardChainResponse, type FunctionBodyDto, type FunctionClauseDto, type FunctionGuardDto, type FunctionValueDto, type FuzzyConceptLevel, type FuzzyMergeRequest, type FuzzyMergeResponse, type FuzzyNumberValue, type FuzzyProveRequest, type FuzzyProveResponse, type FuzzyScalarValue, type FuzzySearchResultItem, type FuzzySearchTopKRequest, type FuzzySearchTopKResponse, FuzzyShape, type FuzzyShapeDto, type FuzzySubsumptionRequest, type FuzzySubsumptionResponse, type FuzzyUnifyRequest, type FuzzyUnifyResponse, type GFlowNetSampleRequest, type GFlowNetSampleResponse, type GFlowNetTrainResponse, type GaussianShape, type GeneralConstraintDto, type GenerateDocumentRequest, type GenerateDocumentResponse, type GenerateNegativesRequest, type GenerateNegativesResponse, type GenerateOntologyRequest, type GenerateOntologyResponse, type GenerateSyntheticDataRequest, type GenerateSyntheticDataResponse, type GenerationPromptRequest, type GenerationPromptResponse, type GenerationProvenanceDto, type GenerationReportDto, type GenerationVerificationDto, type GetAgentDrivesRequest, type GetAgentStateRequest, type GetAgentStateResponse, type GetBindingsRequest, type GetCausalModelResponse, type GetEquivalenceClassesResponse, type GetExtendedAgentStateRequest, type GetExtendedAgentStateResponse, type GetFactsResponse, type GetMembershipsRequest, type GetMembershipsResponse, type GetPreorderDegreeRequest, type GetPreorderDegreeResponse, type GetResiduationsRequest, type GetResiduationsResponse, type GetScenarioResponse, type GetSortSimilarityRequest, type GetSortSimilarityResponse, type GetStoreTermRequest, type GetStoreTermResponse, type GlbLubComputationTrace, type GlbLubOperation, type GlbLubTraceRequest, type GlbRequest, type GlbResponse, type GlobalAssignRequest, type GlobalGetRequest, type GlobalIncrementRequest, type GoalDto, type GoalEvaluationResultDto, type GoalStackEntryDto, type GoalStackResponse, type GoalSummaryDto, type GroundTruthEntry, type GuardOp, type HomoiconicSubstitutionDto, type HorizonDto, type HtnMethodDto, type HypergraphRequest, type HypergraphResponse, type ImageExtractedEntityDto, type ImageExtractedRelationDto, type ImageExtractionStatsDto, type ImageSuggestedSortDto, type ImpasseDto, type Implication, type ImpliesRequest, type InfeasibleResult, type IngestDocumentBatchRequest, type IngestDocumentBatchResponse, type IngestDocumentRequest, type IngestDocumentResponse, type IngestFromSourceRequest, type IngestFromSourceResponse, type IngestMarkdownBatchRequest, type IngestMarkdownRequest, type IngestMarkdownResponse, type IngestRdfRequest, type IngestRdfResponse, type IngestionConfigDto, type IngestionSessionResponse, type IngestionSessionStatusDto, type IngestionStatsDto, type IntegerValue, type IntegratedCycleOutcomeDto, type IntegratedEngineConfigDto, type IntegrationGroupDto, type IntentionDto, type Interceptor, InternalServerError, type InterventionObservationRequest, type InterventionObservationResponse, type InterventionRequest, type InterventionResponse, type InvokeActionRequest, type InvokeActionResponse, type IterationMetricDto, type JudgeConfigDto, type KBOptimizationConfig, type KBOptimizationResult, type KBResourceConstraint, type KBVariableSpec, type KbChangeDto, type KbChangeType, LP, type LatticeVisualizationRequest, type LatticeVisualizationResponse, type LayerResultDto, type LayerResultSummaryDto, type LayoutAlgorithmDto, type LayoutDirectionDto, type LazyEvalRequest, type LazyEvalResponse, type LearnFromCorrectionRequest, type LearnFromCorrectionResponse, type LearnPatternRequest, type LearnPatternResponse, type LearnSortSimilaritiesRequest, type LearnSortSimilaritiesResponse, type LearnedSimilarityDto, type LearnedSimilarityListResponse, type LearnedSimilarityProvenanceDto, type LearnedSimilarityStatusDto, type LinearConstraint, type LinearExpression, type LinearProgramDefinition, type ListActionReviewsResponse, type ListEvalFunctionsRequest, type ListEvalFunctionsResponse, type ListExternalActionsResponse, type ListGoalsResponse, type ListIncompleteDocumentsResponse, type ListIngestionSessionsResponse, type ListPatternsResponse, type ListPendingInvocationsResponse, type ListScenariosResponse, type ListSourcesResponse, type ListTenantsResponse, type ListValue, type LiteralInputDto, type LubRequest, type LubResponse, type MarkChoicePointRequest, type MarkMessagesReadRequest, type MarkMessagesReadResponse, type MarkPendingRequest, type MarkPendingResponse, type MarkRuleStoreRequest, type MarkRuleStoreResponse, type MarkTermStoreRequest, type MarkTermStoreResponse, type MarkdownDocumentDto, type MatchedEntityDto, type MaterializationSummaryDto, type MathFunctionRequest, type MathFunctionType, type MeetPreservationDto, type MembershipDto, type MergeEntityRequest, type MetaSortsResponse, type MissingInfoDto, type ModifyActionRequest, type ModularArithRequest, type ModularOperationType, type MonadicFactDto, type MonadicFixpointRequest, type MonadicFixpointResponse, type MotivationStateDto, type NafProveRequest, type NafProveResponse, type NamespaceDto, type NamespaceListResponse, type NamespaceResponse, type NegativeExampleDto, NetworkError, type NeuroSymbolicStatusResponse, type NlQueryRequest, type NlQueryResponse, NotFoundError, type NumberToStringRequest, type ObjectiveFunction, type ObserveMultiRequest, type ObserveMultiResponse, type ObservePairRequest, type ObservePairResponse, type ObserveSingleRequest, type ObserveSingleResponse, type OcrConfigDto, type OntologyClarificationQuestionDto, type OntologyRagRequest, type OntologyRagResponse, type OntologyRagStatsDto, type OptimalResult, type OptimizationDirection, type OptimizationResult, type OsfSearchRequest, type OsfSearchResponse, type OsfSearchStatsDto, type PaginationParams, type ParsedDocumentMetadataDto, type PartialCorrelationRequest, type PartialCorrelationResponse, type PatternDto, type PendingActionReviewDto, type PendingInvocationDto, type PlanMatchDto, type PositionalArgumentDto, type PredictEffectRequest, type PredictEffectResponse, type PredictFromDiscoveryRequest, type PredictFromDiscoveryResponse, type PredictPreferencesRequest, type PredictPreferencesResponse, type PredictionErrorDto, type PreferencePrediction, type PrerequisiteInfoDto, type ProofDto, type ProofEngineCreateTermResponse, type ProofNodeDto, type ProofStatisticsDto, type ProofTraceDto, type ProvenanceTagDto, type ProvideFeedbackRequest, type ProvideFeedbackResponse, type PsiTermDto, type PushGoalRequest, type PushGoalResponse, type QueryResultDto, type QueryTerm, RateLimitError, type RateLimitInfo, type RdfFormatDto, type ReExtractRequest, type RealValue, ReasoningLayerClient, ReasoningLayerError, type RecallEpisodesRequest, type RecallEpisodesResponse, type RecalledEpisodeDto, type RecordEpisodeRequest, type RecordEpisodeResponse, type RecordSelectionRequest, type RecordSelectionResponse, type ReferenceValue, type ReflectionQueryRequest, type ReflectionQueryResponse, type RefuteRequest, type RefuteResponse, type RegisterExternalActionRequest, type RegisterExternalActionResponse, type RegisterFunctionRequest, type RegisterFunctionResponse, type RegisterSourceRequest, type RegisterSourceResponse, type RejectActionRequest, type RejectEntityRequest, type RejectLearnedSimilarityRequest, type RejectLearnedSimilarityResponse, type RelOpDto, type RelatedInfoDto, type RelationTypeDto, type RelationalArithRequest, type ReleaseResiduationsRequest, type ReleaseResiduationsResponse, type RequestOptions, type ResidualWitnessDto, type ResiduateGoalRequest, type ResiduateGoalResponse, type ResiduationDetailDto, type ResiduationDto, type ResiduationGoalDto, type ResiduationKind, type ResiduationRequest, type ResiduationResponse, type ResiduationStateFilter, type ResiduationStateRequest, type ResiduationStateResponse, type ResourceCoordinationRequest, type ResourceSpec, type ResumeDocumentIngestionRequest, type ResumeDocumentIngestionResponse, type ResumptionOptionDto, type RetractRuleRequest, type RetractRuleResponse, type ReviewCandidateMatchDto, type ReviewReason, type RootCauseAnalysisRequest, type RootCauseAnalysisResponse, type RootCauseDto, type RootCauseWithProofResponse, type RowIntegrateRequest, type RowIntegrateResponse, type RowMatchDto, type RowSearchRequest, type RowSearchResponse, type RowSimilarityRequest, type RowSimilarityResponse, type RowTypeDto, type RowUnifyRequest, type RowUnifyResponse, type RuleClauseDto, type RuleConstraintDto, type RuleDto, type RuleStoreResponse, type RuleUtilityDto, type RunCycleRequest, type RunCycleResponse, type RunIntegratedCycleRequest, type RunIntegratedCycleResponse, SDK_VERSION, type SafetyModelInfoDto, type SaveWeightsResponse, type ScenarioSummaryDto, type SearchCommunitiesRequest, type SearchCommunitiesResponse, type SearchStatsDto, type SearchStrategyDto, type SendMessageRequest, type SendMessageResponse, type SetFeatureRequest, type SetFeatureResponse, type SetSortSimilarityRequest, type SetSortSimilarityResponse, type SetValue, type SimilarityEntryDto, type SoftUnifyRequest, type SoftUnifyResponse, type SolutionDto, type SolveConstraintRequest, type SolveConstraintResponse, type SolveOptions, type SortBoxRequest, type SortBoxResponse, SortBuilder, type SortCalibrationDto, type SortCompareOperator, type SortCompareRequest, type SortCompareResponse, type SortDiscoveryRequest, type SortDiscoveryResponse, type SortDto, type SortInfoDto, type SortOriginDto, type SortRecommendation, type SortSimilarityResponse, type SortStatusDto, type SortSuggestionDto, type SortSummaryDto, type SourceDetailResponse, type SourceSummaryDto, type SpaceResponse, type SpaceSearchRequest, type SpaceSearchResponse, type SpaceSolutionDto, type SpaceStatusDto, type SpecificityDto, type StartExplorationRequest, type StartExplorationResponse, type StartIngestionSessionRequest, type StatisticalSuccessResponse, type StorePlanRequest, type StorePlanResponse, type StringCompareOperator, type StringComparePredicateRequest, type StringCompareRequest, type StringConcatRequest, type StringLengthRequest, type StringOpParams, type StringOpRequest, type StringOperationType, type StringValue, type StructuredIngestionStatsDto, type SubscribeToKbRequest, type SubscribeToKbResponse, type SubstringRequest, type SuspendedQueryDto, type SymbolicResultDto, type SynthesizeRequest, type SynthesizeResponse, type TaggedDerivedFact, type TaggedFactDto, type TaggedFcRequest, type TaggedFcResponse, type TaggedForwardChainRequest, type TaggedForwardChainResponse, type TemporalPlanRequest, type TenantInfoDto, type TermBindingDto, type TermDto, TermInput, type TermInputDto, type TermInputInline, type TermInputInlineByName, type TermInputRef, type TermPatternDto, type TermResponse, type TermState, type TermStoreSessionResponse, TimeoutError, type TrailEntryDto, type TrainFromTracesResponse, type TrainingExample, type TrainingExampleDto, type TrainingTriggerResponse, type TrajectoryStepDto, type TrapezoidalShape, type TriangularShape, type TriggerDependencyRequest, type TriggerDependencyResponse, type UndoRequest, type UndoRuleStoreRequest, type UndoRuleStoreResponse, type UnifiableQueryRequest, type UnifyTermsRequest, type UnifyTermsResponse, type UninstantiatedValue, type UpdateCollectionRequest, type UpdateMetadataRequest, type UpdatePlanStatsRequest, type UpdatePlanStatsResponse, type UpdateReviewStatusRequest, type UpdateScenarioRequest, type UpdateScenarioResponse, type UpdateTermRequest, type UpdateVisibilityRequest, type ValidateTermRequest, type ValidatedTermResponse, type ValidatedUnifyRequest, type ValidatedUnifyResponse, ValidationError, Value, type ValueDto, type ValuePatternDto, type VariableBounds, type VerbalizationResultDto, type VerbalizeTermRequest, type VerbalizeTermResponse, type VerificationStepDto, type VerifyFaithfulnessRequest, type VerifyFaithfulnessResponse, type VerifyRoundTripRequest, type VerifyRoundTripResponse, type VerifyScenarioRequest, type VerifyScenarioResponse, type ViolationDto, type VisibilityDto, type VisualizationGraphDto, WebSocketClient, WebSocketConnection, type WebhookCallbackRequest, type WebhookCallbackResponse, type WeightedFactDto, type WitnessInstantiationDto, type WitnessProofDto, allen, discriminateFeatureValue, guard, isUuid, psi };