@kortexya/reasoninglayer 0.2.3 → 0.2.4

package/dist/index.d.cts

@@ -109,7 +109,7 @@ type JsonValue$1 = string | number | boolean | null | JsonValue$1[] | object;
  * This is the single source of truth for the version constant.
  * The `scripts/release.sh` script updates this value alongside `package.json`.
  */
-declare const SDK_VERSION = "0.2.3";
+declare const SDK_VERSION = "0.2.4";
 /**
  * Configuration for the Reasoning Layer client.
  *
@@ -2375,7 +2375,7 @@ interface ComputeGlbRequest {
     sort2_id: string;
 }
 /** Response for GLB computation */
-interface ComputeGlbResponse {
+interface ComputeGlbResponse$1 {
     /**
      * GLB sort ID if exists
      * @format uuid
@@ -2396,7 +2396,7 @@ interface ComputeLubRequest {
     sort2_id: string;
 }
 /** Response for LUB computation */
-interface ComputeLubResponse {
+interface ComputeLubResponse$1 {
     /**
      * LUB sort ID if exists
      * @format uuid
@@ -4513,7 +4513,7 @@ interface E2ETrainingResponse$1 {
     triggered: boolean;
 }
 /** Edge type in the graph */
-type EdgeTypeDto$1 = "subtype" | "multiple_inheritance" | "glb_path" | "lub_path" | "constraint_dependency" | "propagation" | "feature" | "coreference" | "trigger_dependency" | {
+type EdgeTypeDto$1 = "subtype" | "multiple_inheritance" | "glb_path" | "lub_path" | "constraint_dependency" | "propagation" | "feature" | "coreference" | "trigger_dependency" | "relation_source" | "relation_target" | {
     custom: string;
 };
 /** FuzzyNumber shape for effect prediction response */
@@ -5620,7 +5620,7 @@ interface FindRulesResponse$1 {
     matching_rules: RuleDto$1[];
 }
 /** Request for similarity search */
-type FindSimilarRequest = QueryTerm$1 & {
+type FindSimilarRequest$1 = QueryTerm$1 & {
     /**
      * Whether to fail unification when encountering unknown data (Uninstantiated) with constraints
      * When true: recipes with unknown allergen data will be filtered out (safety-critical mode)
@@ -6559,7 +6559,7 @@ interface GetCausalModelResponse$1 {
     variables: string[];
 }
 /** Request to get episode statistics. */
-interface GetEpisodeStatsRequest {
+interface GetEpisodeStatsRequest$1 {
     /**
      * Agent ID
      * @format uuid
@@ -7251,6 +7251,8 @@ interface HypergraphRequest$1 {
     generate_dot?: boolean;
     /** Whether to include hyperedges */
     include_hyperedges?: boolean;
+    /** Whether to include relation Psi-terms as intermediate hypergraph nodes */
+    include_relations?: boolean;
     /**
      * Maximum depth to traverse
      * @format int32
@@ -7545,7 +7547,7 @@ interface IngestDocumentResponse$1 {
     /** Document parsing statistics */
     parse_stats: DocumentParseStatsDto$1;
     /** Entities that need human review */
-    pending_review?: PendingReviewDto$1[];
+    pending_review?: PendingReviewDto$2[];
     /**
      * Session ID for tracking and resumption (if session tracking is enabled)
      * Use this ID with /api/v1/ingest/sessions/{id} endpoints to check status or resume
@@ -9955,7 +9957,7 @@ interface NlQueryResultItem$1 {
     sort_name: string;
 }
 /** Node type in the graph */
-type NodeTypeDto$1 = "sort" | "synthetic_sort" | "root_sort" | "bottom_sort" | "constraint" | "fd_variable" | "term" | "feature" | "reference" | "residuated_term" | "trigger" | {
+type NodeTypeDto$1 = "sort" | "synthetic_sort" | "root_sort" | "bottom_sort" | "constraint" | "fd_variable" | "term" | "feature" | "reference" | "residuated_term" | "trigger" | "relation" | {
     custom: string;
 };
 /** Number format options */
@@ -10392,7 +10394,7 @@ interface PendingInvocationDto$1 {
     timeout_at: string;
 }
 /** Entity pending human review */
-interface PendingReviewDto$1 {
+interface PendingReviewDto$2 {
     /** Candidate matches for deduplication */
     candidates: CandidateMatchDto$1[];
     /** Entity local identifier */
@@ -11823,7 +11825,7 @@ interface ResumeDocumentIngestionResponse$1 {
     /** Error message if resume failed */
     error?: string | null;
     /** Entities pending human review */
-    pending_review?: PendingReviewDto$1[];
+    pending_review?: PendingReviewDto$2[];
     /**
      * Chunk that was resumed from
      * @min 0
@@ -12882,7 +12884,7 @@ interface SortInfoDto$1 {
     name?: string | null;
 }
 /** Response for sort list operations */
-interface SortListResponse {
+interface SortListResponse$1 {
     /**
      * Total count
      * @min 0
@@ -12948,7 +12950,7 @@ interface SortRecommendationDto {
     term_count: number;
 }
 /** Response for sort operations */
-interface SortResponse {
+interface SortResponse$1 {
     /** The sort */
     sort: SortDto$1;
 }
@@ -14025,7 +14027,7 @@ interface UnificationQueryRequest {
     pattern: TermPatternDto$1;
 }
 /** Response for unification query */
-interface UnificationQueryResponse {
+interface UnificationQueryResponse$1 {
     /**
      * Total count
      * @min 0
@@ -14761,7 +14763,7 @@ declare class Sorts<SecurityDataType = unknown> {
      * @request POST:/api/v1/sorts
      * @secure
      */
-    addSort: (data: CreateSortRequest$1, params?: RequestParams) => Promise<HttpResponse<SortResponse, void>>;
+    addSort: (data: CreateSortRequest$1, params?: RequestParams) => Promise<HttpResponse<SortResponse$1, void>>;
     /**
      * @description POST /api/v1/sorts/learned-similarities/approve Approves a proposed or conflicted learned similarity. Once approved, the similarity is added to the active similarity relation and will be used in reasoning.
      *
@@ -14798,7 +14800,7 @@ declare class Sorts<SecurityDataType = unknown> {
      * @summary Compute GLB (Greatest Lower Bound) of two sorts
      * @request POST:/api/v1/sorts/glb
      */
-    computeGlb: (data: ComputeGlbRequest, params?: RequestParams) => Promise<HttpResponse<ComputeGlbResponse, any>>;
+    computeGlb: (data: ComputeGlbRequest, params?: RequestParams) => Promise<HttpResponse<ComputeGlbResponse$1, any>>;
     /**
      * No description
      *
@@ -14807,7 +14809,7 @@ declare class Sorts<SecurityDataType = unknown> {
      * @summary Compute LUB (Least Upper Bound) of two sorts
      * @request POST:/api/v1/sorts/lub
      */
-    computeLub: (data: ComputeLubRequest, params?: RequestParams) => Promise<HttpResponse<ComputeLubResponse, any>>;
+    computeLub: (data: ComputeLubRequest, params?: RequestParams) => Promise<HttpResponse<ComputeLubResponse$1, any>>;
     /**
      * @description Computes the bit-vector intersection (GLB) and decodes it into a human-readable type disjunction. This is Life1.0's decode() function. # Returns - `sort_ids`: List of sort IDs in the disjunction - `sort_names`: List of sort names in the disjunction - `formatted`: Human-readable format (e.g., "int | real") - `is_bottom`: True if the GLB is empty (incompatible sorts)
      *
@@ -14835,7 +14837,7 @@ declare class Sorts<SecurityDataType = unknown> {
      * @summary Get compatible sorts for a given sort
      * @request GET:/api/v1/sorts/{id}/compatible
      */
-    getCompatibleSorts: (id: string, params?: RequestParams) => Promise<HttpResponse<SortListResponse, any>>;
+    getCompatibleSorts: (id: string, params?: RequestParams) => Promise<HttpResponse<SortListResponse$1, any>>;
     /**
      * @description Per Definition IV.9 (Milanese & Pasi 2024): s₁ ≈ s₂ ⇔ ≾̇(s₁, s₂) > 0 AND ≾̇(s₂, s₁) > 0
      *
@@ -14862,7 +14864,7 @@ declare class Sorts<SecurityDataType = unknown> {
      * @summary Get a sort by ID
      * @request GET:/api/v1/sorts/{id}
      */
-    getSort: (id: string, params?: RequestParams) => Promise<HttpResponse<SortResponse, void>>;
+    getSort: (id: string, params?: RequestParams) => Promise<HttpResponse<SortResponse$1, void>>;
     /**
      * No description
      *
@@ -14929,7 +14931,7 @@ declare class Sorts<SecurityDataType = unknown> {
         llm_extracted?: boolean | null;
         /** Filter to only show sorts needing review */
         needs_review?: boolean | null;
-    }, params?: RequestParams) => Promise<HttpResponse<SortListResponse, any>>;
+    }, params?: RequestParams) => Promise<HttpResponse<SortListResponse$1, any>>;
     /**
      * @description POST /api/v1/sorts/learned-similarities/reject Rejects a proposed or conflicted learned similarity with a reason. Rejected similarities are not used in reasoning.
      *
@@ -14956,7 +14958,7 @@ declare class Sorts<SecurityDataType = unknown> {
      * @summary Update the review status of a sort (approve or mark for review)
      * @request POST:/api/v1/sorts/{id}/review
      */
-    updateSortReview: (id: string, data: UpdateSortReviewRequest, params?: RequestParams) => Promise<HttpResponse<SortResponse, any>>;
+    updateSortReview: (id: string, data: UpdateSortReviewRequest, params?: RequestParams) => Promise<HttpResponse<SortResponse$1, any>>;
 }
 
 declare class Types<SecurityDataType = unknown> {
@@ -15204,6 +15206,38 @@ interface CyclicGaussianShape {
  * ```
  */
 type FuzzyShapeDto = TriangularShape | TrapezoidalShape | GaussianShape | CyclicGaussianShape;
+/**
+ * Tagged feature value types used in OsfConstraintDto Feature variant.
+ *
+ * @remarks
+ * Similar to {@link ValueDto} but only includes 6 variants (no Uninstantiated,
+ * FuzzyScalar, FuzzyNumber, or Set). Discriminated by `"type"` field.
+ */
+type TaggedFeatureValueDto = {
+    type: 'String';
+    value: string;
+} | {
+    type: 'Integer';
+    value: number;
+} | {
+    type: 'Real';
+    value: number;
+} | {
+    type: 'Boolean';
+    value: boolean;
+} | {
+    type: 'Reference';
+    value: string;
+} | {
+    type: 'List';
+    value: TaggedFeatureValueDto[];
+};
+/**
+ * Feature target type used in OsfConstraintDto.
+ *
+ * Either a {@link TaggedFeatureValueDto} or a plain string (feature path reference).
+ */
+type FeatureTargetDto = TaggedFeatureValueDto | string;
 /**
  * Untagged value type used by homoiconic inference endpoints.
  *
@@ -15428,6 +15462,24 @@ interface SortDto {
     /** Whether this sort needs human review. */
     needs_review?: boolean;
 }
+/**
+ * Response wrapper for sort endpoints.
+ *
+ * @remarks
+ * Sort CRUD endpoints (create, get) return `SortResponse`, not raw `SortDto`.
+ * The SDK unwraps this internally for convenience.
+ */
+interface SortResponse {
+    /** The sort. */
+    sort: SortDto;
+}
+/** Response for sort list operations. */
+interface SortListResponse {
+    /** List of sorts. */
+    sorts: SortDto[];
+    /** Total count. */
+    count: number;
+}
 /**
  * Request to create a new sort.
  *
@@ -15533,6 +15585,20 @@ interface LubResponse {
     /** The LUB sort UUID, or null if no common upper bound exists. */
     lub?: string | null;
 }
+/**
+ * Response from computing the Greatest Lower Bound (GLB).
+ *
+ * @remarks
+ * Alias of GlbResponse — the backend exposes this under the `/compute-glb` endpoint.
+ */
+type ComputeGlbResponse = GlbResponse;
+/**
+ * Response from computing the Least Upper Bound (LUB).
+ *
+ * @remarks
+ * Alias of LubResponse — the backend exposes this under the `/compute-lub` endpoint.
+ */
+type ComputeLubResponse = LubResponse;
 /**
  * Result of decoding a GLB as a type disjunction.
  *
@@ -16550,6 +16616,18 @@ interface TermListResponse {
     /** Total count. */
     count: number;
 }
+/**
+ * Response wrapper for unification queries (e.g., `findUnifiable`).
+ *
+ * @remarks
+ * The SDK unwraps this internally, returning `TermDto[]` to the caller.
+ */
+interface UnificationQueryResponse {
+    /** Matching terms. */
+    results: TermDto[];
+    /** Total count. */
+    count: number;
+}
 /**
  * Request to find terms unifiable with a given pattern.
  *
@@ -17984,7 +18062,7 @@ declare class Query<SecurityDataType = unknown> {
      * @request POST:/api/v1/query/unifiable
      * @secure
      */
-    findUnifiable: (data: UnificationQueryRequest, params?: RequestParams) => Promise<HttpResponse<UnificationQueryResponse, any>>;
+    findUnifiable: (data: UnificationQueryRequest, params?: RequestParams) => Promise<HttpResponse<UnificationQueryResponse$1, any>>;
     /**
      * @description Supports two modes: - "llm" (default): Uses LLM prompt engineering (Anthropic/local) - "constraint": Uses fine-tuned FunctionGemma constraint model Both modes translate NL → constraints → execution → results
      *
@@ -18286,7 +18364,7 @@ declare class CognitiveAgentsEpisodicMemory<SecurityDataType = unknown> {
      * @summary Get episode statistics.
      * @request POST:/api/v1/cognitive/agents/episodes/stats
      */
-    getEpisodeStats: (data: GetEpisodeStatsRequest, params?: RequestParams) => Promise<HttpResponse<EpisodeStatsResponse$1, void>>;
+    getEpisodeStats: (data: GetEpisodeStatsRequest$1, params?: RequestParams) => Promise<HttpResponse<EpisodeStatsResponse$1, void>>;
     /**
      * No description
      *
@@ -18574,6 +18652,19 @@ interface SortSuggestionDto {
     /** Suggested name for the new sort. */
     suggested_name: string;
 }
+/**
+ * An entity pending human review.
+ */
+interface PendingReviewDto$1 {
+    /** Candidate matches for deduplication. */
+    candidates: ReviewCandidateMatchDto[];
+    /** Entity local identifier. */
+    entity_id: string;
+    /** Reason why review is needed. */
+    reason: string;
+    /** Entity sort name. */
+    sort: string;
+}
 /**
  * Request to add a pending review for an entity.
  *
@@ -18962,6 +19053,17 @@ interface EpisodeStatsResponse {
     /** Average reward. */
     average_reward: number;
 }
+/**
+ * Request to get episode statistics for an agent.
+ */
+interface GetEpisodeStatsRequest {
+    /** Agent ID (UUID). */
+    agent_id: string;
+    /** Optional goal filter (UUID). */
+    goal_id?: string | null;
+    /** Tenant ID (UUID). */
+    tenant_id: string;
+}
 /**
  * A recalled episode with full details.
  */
@@ -20123,7 +20225,7 @@ declare class Fuzzy<SecurityDataType = unknown> {
      * @request POST:/api/v1/fuzzy/similar
      * @secure
      */
-    findSimilar: (data: FindSimilarRequest, params?: RequestParams) => Promise<HttpResponse<SimilaritySearchResponse, any>>;
+    findSimilar: (data: FindSimilarRequest$1, params?: RequestParams) => Promise<HttpResponse<SimilaritySearchResponse, any>>;
     /**
      * @description POST /api/v1/fuzzy/top-k Implements **Top-K similarity search** commonly used in RAG (Retrieval-Augmented Generation) systems. Returns the K most similar terms to a query, sorted by fuzzy similarity degree in **descending order** (best matches first). # Algorithm 1. Filter candidates by `min_degree` threshold (if specified) 2. Compute fuzzy similarity degree μ ∈ [0,1] for each candidate 3. Sort by similarity (descending - highest first) 4. Return top K results # Request Body ```json { "query": { "term_id": "uuid"  // Or inline query with sort_id + features }, "k": 5, "min_degree": 0.7  // Optional: minimum similarity threshold } ``` # Response ```json { "results": [ { "term": { "id": "...", "sort": "...", "features": {...} }, "degree": 0.95, "confidence_percent": 95.0 }, // ... up to K results, sorted by degree (descending) ], "count": 5 } ``` # Sorting Guarantee Results are **always sorted by similarity** (highest first): `response.results[i].degree >= response.results[i+1].degree` # Use Cases - **RAG Context Retrieval**: Find most relevant knowledge for LLM prompts - **Semantic Search**: Find similar items without exact matches - **Recommendation Systems**: Suggest similar items to users - **Deduplication**: Identify near-duplicate entries # Example Find 3 most similar sensors with at least 60% similarity: ```bash curl -X POST http://localhost:8080/api/v1/fuzzy/top-k \ -H "Content-Type: application/json" \ -d '{ "query": { "term_id": "abc-123" }, "k": 3, "min_degree": 0.6 }' ``` Response (sorted by similarity): ```json { "results": [ { "term": {...}, "degree": 0.92, "confidence_percent": 92.0 }, { "term": {...}, "degree": 0.85, "confidence_percent": 85.0 }, { "term": {...}, "degree": 0.73, "confidence_percent": 73.0 } ], "count": 3 } ```
      *
@@ -20253,15 +20355,37 @@ type QueryTerm = {
     sort_id: string;
     features: Record<string, ValueDto>;
 };
+/**
+ * Request to find similar terms using fuzzy unification.
+ *
+ * @remarks
+ * Intersection of QueryTerm with similarity search parameters.
+ * The query term fields are spread inline (flat shape matching the wire format).
+ */
+type FindSimilarRequest = QueryTerm & {
+    /** Minimum similarity degree (0.0 to 1.0). */
+    min_degree?: number;
+    /**
+     * String similarity strategy:
+     * - `"fast"`: Exact -> Normalized -> Jaccard only (NO embeddings)
+     * - `"hybrid"`: Exact -> Normalized -> Jaccard -> Embeddings (default)
+     * - `"semantic"`: Exact -> Normalized -> Embeddings (skip Jaccard)
+     */
+    similarity_mode?: string;
+    /**
+     * Whether to fail when encountering unknown (Uninstantiated) values
+     * instead of residuating. `false` = enable residuation (default).
+     */
+    fail_on_unknown?: boolean;
+};
 /**
  * Request for fuzzy top-K search.
  *
  * @remarks
- * The query term fields are spread into this type (intersection with QueryTerm).
+ * Intersection of QueryTerm with top-K search parameters.
+ * The query term fields are spread inline (flat shape matching the wire format).
  */
-interface FuzzySearchTopKRequest {
-    /** Query term specifier. */
-    query_term: QueryTerm;
+type FuzzySearchTopKRequest = QueryTerm & {
     /** Number of results to return. */
     k: number;
     /** Optional minimum similarity degree. */
@@ -20278,7 +20402,7 @@ interface FuzzySearchTopKRequest {
      * instead of residuating. `false` = enable residuation (default).
      */
     fail_on_unknown?: boolean;
-}
+};
 /**
  * A single result from fuzzy top-K search.
  */
@@ -20324,11 +20448,10 @@ type EffectDto = {
  * Request to predict an effect for a query point.
  *
  * @remarks
- * Extends QueryTerm with effect prediction parameters.
+ * Intersection of QueryTerm with effect prediction parameters.
+ * The query term fields are spread inline (flat shape matching the wire format).
  */
-interface PredictEffectRequest {
-    /** Query term specifier. */
-    query_term: QueryTerm;
+type PredictEffectRequest = QueryTerm & {
     /** Name of the feature containing the FuzzyNumber effect to aggregate. */
     effect_var: string;
     /** Minimum similarity degree for matching terms (0.0 to 1.0). */
@@ -20346,7 +20469,7 @@ interface PredictEffectRequest {
     similarity_mode?: string;
     /** Gating method: None (default fuzzy), or "learned" for metric-gated similarity. */
     gating?: string | null;
-}
+};
 /**
  * Response from effect prediction.
  */
@@ -22620,7 +22743,7 @@ type ResiduationStateFilter = 'pending' | 'suspended' | 'ready' | 'completed' |
  * @remarks
  * Can be a predefined node type or a custom type name.
  */
-type NodeTypeDto = 'sort' | 'synthetic_sort' | 'root_sort' | 'bottom_sort' | 'constraint' | 'fd_variable' | 'term' | 'feature' | 'reference' | 'residuated_term' | 'trigger' | {
+type NodeTypeDto = 'sort' | 'synthetic_sort' | 'root_sort' | 'bottom_sort' | 'constraint' | 'fd_variable' | 'term' | 'feature' | 'reference' | 'residuated_term' | 'trigger' | 'relation' | {
     custom: string;
 };
 /**
@@ -22629,7 +22752,7 @@ type NodeTypeDto = 'sort' | 'synthetic_sort' | 'root_sort' | 'bottom_sort' | 'co
  * @remarks
  * Can be a predefined edge type or a custom type name.
  */
-type EdgeTypeDto = 'subtype' | 'multiple_inheritance' | 'glb_path' | 'lub_path' | 'constraint_dependency' | 'propagation' | 'feature' | 'coreference' | 'trigger_dependency' | {
+type EdgeTypeDto = 'subtype' | 'multiple_inheritance' | 'glb_path' | 'lub_path' | 'constraint_dependency' | 'propagation' | 'feature' | 'coreference' | 'trigger_dependency' | 'relation_source' | 'relation_target' | {
     custom: string;
 };
 /**
@@ -27279,6 +27402,21 @@ interface SearchStatsDto {
     /** Number of times the neural scorer was invoked. */
     scorer_calls: number;
 }
+/**
+ * Trace event from LIFE feature operations during search.
+ */
+interface TraceEventDto {
+    /** Assignment path (e.g., "row-0"). */
+    assignment: string;
+    /** Event type: 'feature_created', 'feature_verified', or 'feature_conflict'. */
+    event_type: string;
+    /** Numeric identifier. */
+    id: number;
+    /** Numeric value label. */
+    value_label: number;
+    /** Variable name, if applicable (e.g., "c34"). */
+    variable?: string | null;
+}
 /**
  * A solution from a search.
  */
@@ -27290,7 +27428,7 @@ interface SpaceSolutionDto {
     /** The choices made at each choice point. */
     choices: ChoiceSelection[];
     /** Trace events (e.g., LIFE feature creation). */
-    events?: unknown[] | null;
+    events?: TraceEventDto[] | null;
 }
 /**
  * Request to create a new computation space.
@@ -36278,4 +36416,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 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 };
+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 AddSymbolRequest, type AddSymbolResponse, 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 ArithmeticRecursionOp, 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 BacktrackableAssignResponse, 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 BulkSortError, type BySortQueryRequest, type CalibrateRequest, type CalibrationReportDto, type CallOnceRequest, type CallOnceResponse, type CandidateMatchDto, 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 ChunkFailureDto, 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 CommunityReportDto, type CommunityReportSummaryDto, type CommunitySearchModeDto, type CommunitySearchStatsDto, type CommunityStatsDto, type ComponentDto, type ComponentHealthDto, type ComputeGlbResponse, type ComputeLubResponse, type ConceptMatchDto, type CondRequest, type CondResponse, 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 CoordinatedResourceSet, 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 CreateModuleRequest, type CreateModuleResponse, 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 CutResponse, type CycleDto, type CycleOutcomeDto, type CycleOutcomeSummaryDto, type CyclicGaussianShape, type DSeparatedRequest, type DSeparatedResponse, type DataMixingStatsDto, type DataPointDto, type DatasetStatisticsDto, type DecodeGlbResponse, type DeepCopyRequest, type DegreeDistributionDto, 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 DiscoveredFeatureDto, type DiscoveredRelationDto, type DiscoveredSortDto, type DiscoveredSourceRelationDto, type DiscoveryConfigDto, type DiscoveryProofNodeDto, type DiscoveryProofStatsDto, type DiscoveryProofTreeDto, type DiscoveryStateDto, type DiscoveryStatusResponse, type DiscoveryStrategy, type DisentailmentRequest, type DisentailmentResponse, type DiversityAnalysisDto, type DocumentBatchItem, type DocumentBatchResultDto, 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 EdgeTypeDto, 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 EvaluationResult, type EvidenceAssessmentRequest, type EvidenceAssessmentResponse, type EvidenceItemDto, 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 FeatureTargetDto, type FeatureTypeDto, type FeatureValueDto, type FindPlansRequest, type FindPlansResponse, type FindRulesRequest, type FindRulesResponse, type FindSimilarRequest, type FindallRequest, type FindallResponse, type FixSuggestionDto, type ForallRequest, type ForallResponse, 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 GESResultDto, 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 GetEpisodeStatsRequest, 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 GlbLubTraceStep, type GlbRequest, type GlbResponse, type GlobalAssignRequest, type GlobalAssignResponse, type GlobalGetRequest, type GlobalGetResponse, type GlobalIncrementRequest, type GlobalIncrementResponse, type GoalDto, type GoalEvaluationResultDto, type GoalResiduationRequest, type GoalResiduationResponse, type GoalStackEntryDto, type GoalStackResponse, type GoalSummaryDto, type GraphEdgeDto, type GraphMetadataDto, type GraphNodeDto, type GroundTruthEntry, type GroundingStatsDto, type GuardOp, type HomoiconicSubstitutionDto, type HorizonDto, type HtnMethodDto, type HyperedgeDto, type HyperedgeTypeDto, type HypergraphRequest, type HypergraphResponse, type HypergraphStats, type ImageExtractedEntityDto, type ImageExtractedRelationDto, type ImageExtractionStatsDto, type ImageSuggestedSortDto, type ImpasseDto, type Implication, type ImpliesRequest, type ImpliesResponse, type ImportModuleRequest, type ImportModuleResponse, type IncompleteDocumentDto, 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 InterventionRecommendationDto, type InterventionRequest, type InterventionResponse, type InvokeActionRequest, type InvokeActionResponse, type IterationMetricDto, type JsonValue$1 as JsonValue, type JudgeConfigDto, type KBOptimizationConfig, type KBOptimizationResult, type KBResourceConstraint, type KBVariableSpec, type KbChangeDto, type KbChangeType, LP, type LatticeStats, type LatticeVisualizationRequest, type LatticeVisualizationResponse, type LayerResultDto, type LayerResultSummaryDto, type LayoutAlgorithmDto, type LayoutDirectionDto, type LayoutHintsDto, type LazyEvalRequest, type LazyEvalResponse, type LearnFromCorrectionRequest, type LearnFromCorrectionResponse, type LearnPatternConfigDto, type LearnPatternRequest, type LearnPatternResponse, type LearnSortSimilaritiesRequest, type LearnSortSimilaritiesResponse, type LearnedPatternDto, 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 ListSymbolsRequest, type ListSymbolsResponse, 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 NafResponse, type NamespaceDto, type NamespaceListResponse, type NamespaceResponse, type NegativeExampleDto, NetworkError, type NeuroSymbolicStatusResponse, type NlQueryMode, type NlQueryRequest, type NlQueryResponse, type NlQueryResultItem, type NodeTypeDto, NotFoundError, type NumberFormatDto, type NumberToStringRequest, type NumberValueDto, 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 PatternSummaryDto, type PendingActionReviewDto, type PendingInvocationDto, type PendingReviewDto$1 as PendingReviewDto, type PipelineQualityStatsDto, 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 ReferencedTermSummary, 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 ResiduatedEntryDto, type ResiduatedTermDto, type ResiduationDetailDto, type ResiduationDto, type ResiduationGoalDto, type ResiduationKind, type ResiduationRequest, type ResiduationResponse, type ResiduationStateDto, type ResiduationStateFilter, type ResiduationStateRequest, type ResiduationStateResponse, type ResiduationStats, type ResolveSymbolRequest, type ResolveSymbolResponse, type ResourceCoordinationRequest, type ResourceCoordinationResponse, 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 SampledHypothesisDto, 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 SingleCopyRequest, 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 SortListResponse, type SortOriginDto, type SortRecommendation, type SortResponse, 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 SymbolDto, type SymbolKindDto, type SymbolicResultDto, type SynthesizeRequest, type SynthesizeResponse, type TaggedDerivedFact, type TaggedFactDto, type TaggedFcRequest, type TaggedFcResponse, type TaggedFeatureValueDto, type TaggedForwardChainRequest, type TaggedForwardChainResponse, type TemporalPlanRequest, type TemporalPlanResponse, type TenantInfoDto, type TermBindingDto, type TermDto, TermInput, type TermInputDto, type TermInputInline, type TermInputInlineByName, type TermInputRef, type TermListResponse, type TermPatternDto, type TermResponse, type TermState, type TermStoreSessionResponse, TimeoutError, type TokenUsageDto, type ToolCallInfo, type TraceEventDto, type TrailEntryDto, type TrainFromTracesResponse, type TrainingExample, type TrainingExampleDto, type TrainingTriggerResponse, type TrajectoryStepDto, type TrapezoidalShape, type TriangularShape, type TriggerDependencyRequest, type TriggerDependencyResponse, type UncertainEdgeDto, type UndoRequest, type UndoResponse, type UndoRuleStoreRequest, type UndoRuleStoreResponse, type UnifiableQueryRequest, type UnificationQueryResponse, 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, type WaitingConditionDto, type WaitingConditionType, WebSocketClient, WebSocketConnection, type WebhookCallbackRequest, type WebhookCallbackResponse, type WeightedFactDto, type WitnessInstantiationDto, type WitnessProofDto, allen, discriminateFeatureValue, guard, isUuid, psi };