@kortexya/reasoninglayer 0.2.4 → 0.2.5

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.4";
+declare const SDK_VERSION = "0.2.5";
 /**
  * Configuration for the Reasoning Layer client.
  *
@@ -5555,7 +5555,7 @@ interface FinalizeSessionRequest {
  * # Tenant Context
  * The tenant is determined from the `X-Tenant-Id` header.
  */
-interface FindBySortRequest {
+interface FindBySortRequest$1 {
     /**
      * Optional feature-level filter. Each entry maps a feature name to the
      * expected string value. Only terms whose features match ALL entries are
@@ -16657,6 +16657,22 @@ interface BySortQueryRequest {
     /** Maximum number of results to return. */
     max_results?: number;
 }
+/**
+ * Request to find terms by sort ID or sort name, with optional filter.
+ *
+ * @remarks
+ * Used by `POST /api/v1/terms/find-by-sort`. Accepts either `sort_id` (UUID)
+ * or `sort_name` (human-readable name), plus an optional filter object for
+ * feature-based filtering.
+ */
+interface FindBySortRequest {
+    /** Sort UUID to search for. */
+    sort_id?: string | null;
+    /** Sort name to search for (alternative to sort_id). */
+    sort_name?: string | null;
+    /** Optional filter for feature-based filtering. */
+    filter?: Record<string, string> | null;
+}
 /**
  * Request to validate a term against its sort's type witnesses.
  *
@@ -18052,7 +18068,7 @@ declare class Query<SecurityDataType = unknown> {
      * @request POST:/api/v1/query/by-sort
      * @secure
      */
-    findBySort: (data: FindBySortRequest, params?: RequestParams) => Promise<HttpResponse<TermListResponse$1, any>>;
+    findBySort: (data: FindBySortRequest$1, params?: RequestParams) => Promise<HttpResponse<TermListResponse$1, any>>;
     /**
      * No description
      *
@@ -20923,6 +20939,449 @@ interface StepVerificationResponse {
     total_steps: number;
 }
 
+/**
+ * Layout algorithm hint for graph rendering.
+ *
+ * @remarks
+ * Can be a predefined algorithm or a custom algorithm name.
+ */
+type LayoutAlgorithmDto = 'force_directed' | 'sugiyama' | 'circular' | 'grid' | 'radial' | {
+    custom: string;
+};
+/**
+ * Layout direction hint for hierarchical graph layouts.
+ */
+type LayoutDirectionDto = 'top_bottom' | 'bottom_top' | 'left_right' | 'right_left';
+/**
+ * GLB/LUB operation type.
+ */
+type GlbLubOperation = 'glb' | 'lub';
+/**
+ * Kind of residuation to visualize.
+ */
+type ResiduationKind = 'inference' | 'fuzzy' | 'extraction' | 'all';
+/**
+ * State filter for residuation visualization.
+ */
+type ResiduationStateFilter = 'pending' | 'suspended' | 'ready' | 'completed' | 'all';
+/**
+ * Node type in the visualization graph.
+ *
+ * @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' | 'relation' | {
+    custom: string;
+};
+/**
+ * Edge type in the visualization graph.
+ *
+ * @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' | 'relation_source' | 'relation_target' | {
+    custom: string;
+};
+/**
+ * Hyperedge type in the visualization graph.
+ *
+ * @remarks
+ * Can be a predefined hyperedge type or a custom type name.
+ */
+type HyperedgeTypeDto = 'term_features' | 'constraint_variables' | 'unification_result' | {
+    custom: string;
+};
+/**
+ * Type of waiting condition for a residuation.
+ */
+type WaitingConditionType = 'feature_binding' | 'sort_narrowing' | 'term_creation' | 'external_input' | 'constraint_satisfaction';
+/**
+ * State of a residuation.
+ */
+type ResiduationStateDto = 'pending' | 'suspended' | 'ready' | 'completed' | 'failed';
+/**
+ * A node in the visualization graph.
+ */
+interface GraphNodeDto {
+    /** Color of the node (hex string). */
+    color?: string | null;
+    /** Optional entity ID this node represents (UUID). */
+    entity_id?: string | null;
+    /** Unique identifier for this node. */
+    id: string;
+    /** Display label for the node. */
+    label: string;
+    /** Level in hierarchy (for lattice visualization). */
+    level?: number | null;
+    /** Type of node. */
+    node_type: NodeTypeDto;
+    /** Additional properties. */
+    properties?: Record<string, string>;
+    /** Size of the node (for rendering). */
+    size?: number | null;
+}
+/**
+ * An edge connecting two nodes in the visualization graph.
+ */
+interface GraphEdgeDto {
+    /** Color of the edge (hex string). */
+    color?: string | null;
+    /** Curvature for curved edges (0.0 = straight, 1.0 = max curve). */
+    curvature?: number | null;
+    /** Type of edge. */
+    edge_type: EdgeTypeDto;
+    /** Unique identifier for this edge. */
+    id: string;
+    /** Optional edge label. */
+    label?: string | null;
+    /** Additional properties. */
+    properties?: Record<string, string>;
+    /** Source node ID. */
+    source: string;
+    /** Target node ID. */
+    target: string;
+    /** Weight of the edge (for weighted graphs). */
+    weight?: number | null;
+}
+/**
+ * A hyperedge connecting multiple nodes in the visualization graph.
+ */
+interface HyperedgeDto {
+    /** Color of the hyperedge (hex string). */
+    color?: string | null;
+    /** Type of hyperedge. */
+    hyperedge_type: HyperedgeTypeDto;
+    /** Unique identifier for this hyperedge. */
+    id: string;
+    /** Display label for the hyperedge. */
+    label?: string | null;
+    /** IDs of all nodes connected by this hyperedge. */
+    nodes: string[];
+    /** Whether the nodes are ordered. */
+    ordered: boolean;
+    /** Additional properties. */
+    properties?: Record<string, string>;
+    /** Optional source term ID (UUID). */
+    source_term_id?: string | null;
+}
+/**
+ * Metadata about a visualization graph.
+ */
+interface GraphMetadataDto {
+    /** Description of what this graph represents. */
+    description?: string | null;
+    /** Total number of edges. */
+    edge_count: number;
+    /** Additional metadata. */
+    extra?: Record<string, string>;
+    /** Total number of hyperedges. */
+    hyperedge_count: number;
+    /** Whether the graph is directed. */
+    is_directed: boolean;
+    /** Total number of nodes. */
+    node_count: number;
+    /** Title of the graph. */
+    title?: string | null;
+}
+/**
+ * Layout hints for rendering a visualization graph.
+ */
+interface LayoutHintsDto {
+    /** Preferred layout algorithm. */
+    algorithm: LayoutAlgorithmDto;
+    /** Cluster definitions. */
+    clusters?: Record<string, string[]>;
+    /** Direction for hierarchical layouts. */
+    direction?: LayoutDirectionDto | null;
+    /** Level spacing for hierarchical layouts (pixels). */
+    level_spacing?: number | null;
+    /** Node spacing (pixels). */
+    node_spacing?: number | null;
+}
+/**
+ * Unified graph response for all visualization types.
+ *
+ * @remarks
+ * Contains nodes, edges, optional hyperedges, layout hints, and metadata.
+ */
+interface VisualizationGraphDto {
+    /** DOT format output (if requested). */
+    dot_output?: string | null;
+    /** All edges in the graph. */
+    edges: GraphEdgeDto[];
+    /** Unique identifier for this graph (UUID). */
+    graph_id: string;
+    /** All hyperedges in the graph. */
+    hyperedges?: HyperedgeDto[];
+    /** Layout hints for rendering. */
+    layout?: LayoutHintsDto | null;
+    /** Metadata about the graph. */
+    metadata: GraphMetadataDto;
+    /** All nodes in the graph. */
+    nodes: GraphNodeDto[];
+}
+/**
+ * Summary of a sort for trace responses.
+ */
+interface SortSummaryDto {
+    /** Sort ID (UUID). */
+    id: string;
+    /** Whether this is a synthetic sort. */
+    is_synthetic: boolean;
+    /** Sort name. */
+    name: string;
+}
+/**
+ * Request for OSF term hypergraph visualization.
+ */
+interface HypergraphRequest {
+    /** Whether to generate DOT output. */
+    generate_dot?: boolean;
+    /** Whether to include hyperedges. */
+    include_hyperedges?: boolean;
+    /** Maximum depth to traverse. */
+    max_depth?: number;
+    /** Root term ID to start from (UUID). */
+    root_term_id: string;
+    /** S-threshold for s-connected components (0.0 = no filtering). */
+    s_threshold?: number;
+}
+/**
+ * An s-connected component in the hypergraph.
+ */
+interface ComponentDto {
+    /** Component ID. */
+    id: string;
+    /** Node IDs in the component. */
+    nodes: string[];
+    /** S-value (connectivity threshold). */
+    s_value: number;
+}
+/**
+ * Degree distribution for the hypergraph.
+ */
+interface DegreeDistributionDto {
+    /** Average node degree. */
+    avg_node_degree: number;
+    /** Hyperedge size histogram (size -> count). */
+    hyperedge_sizes: Record<number, number>;
+    /** Maximum node degree. */
+    max_node_degree: number;
+    /** Node degree histogram (degree -> count). */
+    node_degrees: Record<number, number>;
+}
+/**
+ * Statistics about the hypergraph.
+ */
+interface HypergraphStats {
+    /** Number of connected components. */
+    component_count: number;
+    /** Total number of coreferences. */
+    total_coreferences: number;
+    /** Total number of features. */
+    total_features: number;
+    /** Total number of terms. */
+    total_terms: number;
+}
+/**
+ * Response for hypergraph visualization.
+ */
+interface HypergraphResponse {
+    /** S-connected components (if s_threshold > 0). */
+    components?: ComponentDto[];
+    /** Degree distribution. */
+    degree_distribution: DegreeDistributionDto;
+    /** The visualization graph. */
+    graph: VisualizationGraphDto;
+    /** Statistics. */
+    stats: HypergraphStats;
+}
+/**
+ * Request for lattice (sort hierarchy) visualization.
+ */
+interface LatticeVisualizationRequest {
+    /** Whether to generate DOT output. */
+    generate_dot?: boolean;
+    /** Whether to include synthetic sorts (GLB/LUB created). */
+    include_synthetic?: boolean;
+    /** Layout algorithm preference. */
+    layout_algorithm?: LayoutAlgorithmDto;
+    /** Layout direction preference. */
+    layout_direction?: LayoutDirectionDto;
+    /** Maximum depth to traverse (default: unlimited). */
+    max_depth?: number | null;
+    /** Optional root sort ID to start from (UUID). */
+    root_sort_id?: string | null;
+}
+/**
+ * Statistics about the lattice.
+ */
+interface LatticeStats {
+    /** Number of leaf sorts (no children). */
+    leaf_sorts: number;
+    /** Maximum depth of the hierarchy. */
+    max_depth: number;
+    /** Number of sorts with multiple parents (multiple inheritance). */
+    multiple_inheritance_count: number;
+    /** Number of root sorts (no parents). */
+    root_sorts: number;
+    /** Number of synthetic sorts. */
+    synthetic_sorts: number;
+    /** Total number of sorts. */
+    total_sorts: number;
+}
+/**
+ * Response for lattice visualization.
+ */
+interface LatticeVisualizationResponse {
+    /** The visualization graph. */
+    graph: VisualizationGraphDto;
+    /** Statistics about the lattice. */
+    stats: LatticeStats;
+}
+/**
+ * Request for GLB/LUB computation trace.
+ */
+interface GlbLubTraceRequest {
+    /** Whether to generate DOT output with trace highlighted. */
+    generate_dot?: boolean;
+    /** Operation type (GLB or LUB). */
+    operation: GlbLubOperation;
+    /** First sort ID (UUID). */
+    sort1_id: string;
+    /** Second sort ID (UUID). */
+    sort2_id: string;
+}
+/**
+ * A step in the GLB/LUB computation trace.
+ */
+interface GlbLubTraceStep {
+    /** Whether this step created a synthetic sort. */
+    created_synthetic: boolean;
+    /** Description of the step. */
+    description: string;
+    /** Sort IDs involved in this step. */
+    involved_sorts: string[];
+    /** Step number. */
+    step: number;
+}
+/**
+ * Response for GLB/LUB computation trace.
+ */
+interface GlbLubComputationTrace {
+    /** Whether the result was from cache. */
+    cache_hit: boolean;
+    /** Visualization graph with highlighted path. */
+    graph?: VisualizationGraphDto | null;
+    /** The requested operation. */
+    operation: GlbLubOperation;
+    /** Result sort (if found). */
+    result?: SortSummaryDto | null;
+    /** First input sort. */
+    sort1: SortSummaryDto;
+    /** Second input sort. */
+    sort2: SortSummaryDto;
+    /** Computation steps. */
+    steps: GlbLubTraceStep[];
+    /** Whether a synthetic sort was created. */
+    synthetic_created: boolean;
+}
+/**
+ * What a residuation is waiting for.
+ */
+interface WaitingConditionDto {
+    /** Condition type. */
+    condition_type: WaitingConditionType;
+    /** Description. */
+    description: string;
+    /** Feature name (if waiting on feature). */
+    feature_name?: string | null;
+    /** Target term/variable ID (UUID). */
+    target_id?: string | null;
+}
+/**
+ * A residuated term in the visualization.
+ */
+interface ResiduatedTermDto {
+    /** Creation timestamp (ms since epoch). */
+    created_at: number;
+    /** Optional description. */
+    description?: string | null;
+    /** Residuation ID. */
+    id: string;
+    /** Kind of residuation. */
+    kind: ResiduationKind;
+    /** Current state. */
+    state: ResiduationStateDto;
+    /** Term ID being waited on (UUID). */
+    term_id: string;
+    /** What this residuation is waiting for. */
+    waiting_for: WaitingConditionDto[];
+}
+/**
+ * Statistics about residuation state.
+ */
+interface ResiduationStats {
+    /** Completed count. */
+    completed: number;
+    /** Failed count. */
+    failed: number;
+    /** Pending count. */
+    pending: number;
+    /** Ready count. */
+    ready: number;
+    /** Suspended count. */
+    suspended: number;
+    /** Total residuations. */
+    total: number;
+}
+/**
+ * Request for residuation state diagram.
+ */
+interface ResiduationStateRequest {
+    /** Whether to generate DOT output. */
+    generate_dot?: boolean;
+    /** Whether to include trigger dependencies. */
+    include_dependencies?: boolean;
+    /** Kind of residuation to visualize. */
+    kind?: ResiduationKind;
+    /** State filter. */
+    state?: ResiduationStateFilter;
+}
+/**
+ * Response for residuation state diagram.
+ */
+interface ResiduationStateResponse {
+    /** Dependency edges (for graph visualization). */
+    dependency_edges: GraphEdgeDto[];
+    /** Dependency nodes (for graph visualization). */
+    dependency_nodes: GraphNodeDto[];
+    /** The visualization graph. */
+    graph?: VisualizationGraphDto | null;
+    /** Residuated terms. */
+    residuated_terms: ResiduatedTermDto[];
+    /** Statistics. */
+    stats: ResiduationStats;
+}
+/**
+ * Request for trigger dependency graph.
+ */
+interface TriggerDependencyRequest {
+    /** Whether to generate DOT output. */
+    generate_dot?: boolean;
+    /** Focus on specific residuation ID. */
+    residuation_id?: string | null;
+}
+/**
+ * Response for trigger dependency graph.
+ */
+interface TriggerDependencyResponse {
+    /** Critical paths (longest dependency chains). */
+    critical_paths: string[][];
+    /** The visualization graph. */
+    graph: VisualizationGraphDto;
+}
+
 /**
  * Relational operators for arithmetic constraints.
  */
@@ -21053,15 +21512,10 @@ interface FdDomainStateDto {
 }
 /**
  * Response for constraint graph visualization.
- *
- * @remarks
- * The `graph` field contains the full visualization graph data structure.
- * The detailed graph types (nodes, edges, metadata) are left as `unknown`
- * since they are complex visualization structures rarely consumed directly.
  */
 interface ConstraintGraphResponse {
     /** The visualization graph. */
-    graph: unknown;
+    graph: VisualizationGraphDto;
     /** Statistics. */
     stats: ConstraintGraphStats;
     /** Detected cycles (if requested). */
@@ -21069,13 +21523,32 @@ interface ConstraintGraphResponse {
     /** FD domain states (if requested). */
     fd_domains?: FdDomainStateDto[];
 }
-/** A general constraint (opaque in OpenAPI due to recursive types). */
-interface GeneralConstraintDto {
-    /** Constraint type (e.g., "arithmetic", "basic", "conjunction", "disjunction"). */
+/**
+ * General constraint DTO (recursive tagged union).
+ *
+ * @remarks
+ * Discriminated by the `type` field. Matches Rust
+ * `#[serde(tag = "type", rename_all = "snake_case")]`.
+ *
+ * The `arithmetic` variant flattens `ArithmeticConstraintDto` which adds
+ * its own `constraint_type` discriminator (`"relation"` or `"domain"`).
+ *
+ * OpenAPI generates this as opaque `object` due to recursion —
+ * the proper tagged union is defined here.
+ */
+type GeneralConstraintDto = ({
+    type: 'arithmetic';
+} & ArithmeticConstraintDto) | {
+    type: 'basic';
     constraint_type: string;
-    /** Constraint-specific fields. */
-    [key: string]: unknown;
-}
+    value?: unknown | null;
+} | {
+    type: 'conjunction';
+    constraints: GeneralConstraintDto[];
+} | {
+    type: 'disjunction';
+    constraints: GeneralConstraintDto[];
+};
 /**
  * Request to create a constraint session.
  *
@@ -22712,449 +23185,6 @@ interface PushGoalResponse {
     stack_size: number;
 }
 
-/**
- * Layout algorithm hint for graph rendering.
- *
- * @remarks
- * Can be a predefined algorithm or a custom algorithm name.
- */
-type LayoutAlgorithmDto = 'force_directed' | 'sugiyama' | 'circular' | 'grid' | 'radial' | {
-    custom: string;
-};
-/**
- * Layout direction hint for hierarchical graph layouts.
- */
-type LayoutDirectionDto = 'top_bottom' | 'bottom_top' | 'left_right' | 'right_left';
-/**
- * GLB/LUB operation type.
- */
-type GlbLubOperation = 'glb' | 'lub';
-/**
- * Kind of residuation to visualize.
- */
-type ResiduationKind = 'inference' | 'fuzzy' | 'extraction' | 'all';
-/**
- * State filter for residuation visualization.
- */
-type ResiduationStateFilter = 'pending' | 'suspended' | 'ready' | 'completed' | 'all';
-/**
- * Node type in the visualization graph.
- *
- * @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' | 'relation' | {
-    custom: string;
-};
-/**
- * Edge type in the visualization graph.
- *
- * @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' | 'relation_source' | 'relation_target' | {
-    custom: string;
-};
-/**
- * Hyperedge type in the visualization graph.
- *
- * @remarks
- * Can be a predefined hyperedge type or a custom type name.
- */
-type HyperedgeTypeDto = 'term_features' | 'constraint_variables' | 'unification_result' | {
-    custom: string;
-};
-/**
- * Type of waiting condition for a residuation.
- */
-type WaitingConditionType = 'feature_binding' | 'sort_narrowing' | 'term_creation' | 'external_input' | 'constraint_satisfaction';
-/**
- * State of a residuation.
- */
-type ResiduationStateDto = 'pending' | 'suspended' | 'ready' | 'completed' | 'failed';
-/**
- * A node in the visualization graph.
- */
-interface GraphNodeDto {
-    /** Color of the node (hex string). */
-    color?: string | null;
-    /** Optional entity ID this node represents (UUID). */
-    entity_id?: string | null;
-    /** Unique identifier for this node. */
-    id: string;
-    /** Display label for the node. */
-    label: string;
-    /** Level in hierarchy (for lattice visualization). */
-    level?: number | null;
-    /** Type of node. */
-    node_type: NodeTypeDto;
-    /** Additional properties. */
-    properties?: Record<string, string>;
-    /** Size of the node (for rendering). */
-    size?: number | null;
-}
-/**
- * An edge connecting two nodes in the visualization graph.
- */
-interface GraphEdgeDto {
-    /** Color of the edge (hex string). */
-    color?: string | null;
-    /** Curvature for curved edges (0.0 = straight, 1.0 = max curve). */
-    curvature?: number | null;
-    /** Type of edge. */
-    edge_type: EdgeTypeDto;
-    /** Unique identifier for this edge. */
-    id: string;
-    /** Optional edge label. */
-    label?: string | null;
-    /** Additional properties. */
-    properties?: Record<string, string>;
-    /** Source node ID. */
-    source: string;
-    /** Target node ID. */
-    target: string;
-    /** Weight of the edge (for weighted graphs). */
-    weight?: number | null;
-}
-/**
- * A hyperedge connecting multiple nodes in the visualization graph.
- */
-interface HyperedgeDto {
-    /** Color of the hyperedge (hex string). */
-    color?: string | null;
-    /** Type of hyperedge. */
-    hyperedge_type: HyperedgeTypeDto;
-    /** Unique identifier for this hyperedge. */
-    id: string;
-    /** Display label for the hyperedge. */
-    label?: string | null;
-    /** IDs of all nodes connected by this hyperedge. */
-    nodes: string[];
-    /** Whether the nodes are ordered. */
-    ordered: boolean;
-    /** Additional properties. */
-    properties?: Record<string, string>;
-    /** Optional source term ID (UUID). */
-    source_term_id?: string | null;
-}
-/**
- * Metadata about a visualization graph.
- */
-interface GraphMetadataDto {
-    /** Description of what this graph represents. */
-    description?: string | null;
-    /** Total number of edges. */
-    edge_count: number;
-    /** Additional metadata. */
-    extra?: Record<string, string>;
-    /** Total number of hyperedges. */
-    hyperedge_count: number;
-    /** Whether the graph is directed. */
-    is_directed: boolean;
-    /** Total number of nodes. */
-    node_count: number;
-    /** Title of the graph. */
-    title?: string | null;
-}
-/**
- * Layout hints for rendering a visualization graph.
- */
-interface LayoutHintsDto {
-    /** Preferred layout algorithm. */
-    algorithm: LayoutAlgorithmDto;
-    /** Cluster definitions. */
-    clusters?: Record<string, string[]>;
-    /** Direction for hierarchical layouts. */
-    direction?: LayoutDirectionDto | null;
-    /** Level spacing for hierarchical layouts (pixels). */
-    level_spacing?: number | null;
-    /** Node spacing (pixels). */
-    node_spacing?: number | null;
-}
-/**
- * Unified graph response for all visualization types.
- *
- * @remarks
- * Contains nodes, edges, optional hyperedges, layout hints, and metadata.
- */
-interface VisualizationGraphDto {
-    /** DOT format output (if requested). */
-    dot_output?: string | null;
-    /** All edges in the graph. */
-    edges: GraphEdgeDto[];
-    /** Unique identifier for this graph (UUID). */
-    graph_id: string;
-    /** All hyperedges in the graph. */
-    hyperedges?: HyperedgeDto[];
-    /** Layout hints for rendering. */
-    layout?: LayoutHintsDto | null;
-    /** Metadata about the graph. */
-    metadata: GraphMetadataDto;
-    /** All nodes in the graph. */
-    nodes: GraphNodeDto[];
-}
-/**
- * Summary of a sort for trace responses.
- */
-interface SortSummaryDto {
-    /** Sort ID (UUID). */
-    id: string;
-    /** Whether this is a synthetic sort. */
-    is_synthetic: boolean;
-    /** Sort name. */
-    name: string;
-}
-/**
- * Request for OSF term hypergraph visualization.
- */
-interface HypergraphRequest {
-    /** Whether to generate DOT output. */
-    generate_dot?: boolean;
-    /** Whether to include hyperedges. */
-    include_hyperedges?: boolean;
-    /** Maximum depth to traverse. */
-    max_depth?: number;
-    /** Root term ID to start from (UUID). */
-    root_term_id: string;
-    /** S-threshold for s-connected components (0.0 = no filtering). */
-    s_threshold?: number;
-}
-/**
- * An s-connected component in the hypergraph.
- */
-interface ComponentDto {
-    /** Component ID. */
-    id: string;
-    /** Node IDs in the component. */
-    nodes: string[];
-    /** S-value (connectivity threshold). */
-    s_value: number;
-}
-/**
- * Degree distribution for the hypergraph.
- */
-interface DegreeDistributionDto {
-    /** Average node degree. */
-    avg_node_degree: number;
-    /** Hyperedge size histogram (size -> count). */
-    hyperedge_sizes: Record<number, number>;
-    /** Maximum node degree. */
-    max_node_degree: number;
-    /** Node degree histogram (degree -> count). */
-    node_degrees: Record<number, number>;
-}
-/**
- * Statistics about the hypergraph.
- */
-interface HypergraphStats {
-    /** Number of connected components. */
-    component_count: number;
-    /** Total number of coreferences. */
-    total_coreferences: number;
-    /** Total number of features. */
-    total_features: number;
-    /** Total number of terms. */
-    total_terms: number;
-}
-/**
- * Response for hypergraph visualization.
- */
-interface HypergraphResponse {
-    /** S-connected components (if s_threshold > 0). */
-    components?: ComponentDto[];
-    /** Degree distribution. */
-    degree_distribution: DegreeDistributionDto;
-    /** The visualization graph. */
-    graph: VisualizationGraphDto;
-    /** Statistics. */
-    stats: HypergraphStats;
-}
-/**
- * Request for lattice (sort hierarchy) visualization.
- */
-interface LatticeVisualizationRequest {
-    /** Whether to generate DOT output. */
-    generate_dot?: boolean;
-    /** Whether to include synthetic sorts (GLB/LUB created). */
-    include_synthetic?: boolean;
-    /** Layout algorithm preference. */
-    layout_algorithm?: LayoutAlgorithmDto;
-    /** Layout direction preference. */
-    layout_direction?: LayoutDirectionDto;
-    /** Maximum depth to traverse (default: unlimited). */
-    max_depth?: number | null;
-    /** Optional root sort ID to start from (UUID). */
-    root_sort_id?: string | null;
-}
-/**
- * Statistics about the lattice.
- */
-interface LatticeStats {
-    /** Number of leaf sorts (no children). */
-    leaf_sorts: number;
-    /** Maximum depth of the hierarchy. */
-    max_depth: number;
-    /** Number of sorts with multiple parents (multiple inheritance). */
-    multiple_inheritance_count: number;
-    /** Number of root sorts (no parents). */
-    root_sorts: number;
-    /** Number of synthetic sorts. */
-    synthetic_sorts: number;
-    /** Total number of sorts. */
-    total_sorts: number;
-}
-/**
- * Response for lattice visualization.
- */
-interface LatticeVisualizationResponse {
-    /** The visualization graph. */
-    graph: VisualizationGraphDto;
-    /** Statistics about the lattice. */
-    stats: LatticeStats;
-}
-/**
- * Request for GLB/LUB computation trace.
- */
-interface GlbLubTraceRequest {
-    /** Whether to generate DOT output with trace highlighted. */
-    generate_dot?: boolean;
-    /** Operation type (GLB or LUB). */
-    operation: GlbLubOperation;
-    /** First sort ID (UUID). */
-    sort1_id: string;
-    /** Second sort ID (UUID). */
-    sort2_id: string;
-}
-/**
- * A step in the GLB/LUB computation trace.
- */
-interface GlbLubTraceStep {
-    /** Whether this step created a synthetic sort. */
-    created_synthetic: boolean;
-    /** Description of the step. */
-    description: string;
-    /** Sort IDs involved in this step. */
-    involved_sorts: string[];
-    /** Step number. */
-    step: number;
-}
-/**
- * Response for GLB/LUB computation trace.
- */
-interface GlbLubComputationTrace {
-    /** Whether the result was from cache. */
-    cache_hit: boolean;
-    /** Visualization graph with highlighted path. */
-    graph?: VisualizationGraphDto | null;
-    /** The requested operation. */
-    operation: GlbLubOperation;
-    /** Result sort (if found). */
-    result?: SortSummaryDto | null;
-    /** First input sort. */
-    sort1: SortSummaryDto;
-    /** Second input sort. */
-    sort2: SortSummaryDto;
-    /** Computation steps. */
-    steps: GlbLubTraceStep[];
-    /** Whether a synthetic sort was created. */
-    synthetic_created: boolean;
-}
-/**
- * What a residuation is waiting for.
- */
-interface WaitingConditionDto {
-    /** Condition type. */
-    condition_type: WaitingConditionType;
-    /** Description. */
-    description: string;
-    /** Feature name (if waiting on feature). */
-    feature_name?: string | null;
-    /** Target term/variable ID (UUID). */
-    target_id?: string | null;
-}
-/**
- * A residuated term in the visualization.
- */
-interface ResiduatedTermDto {
-    /** Creation timestamp (ms since epoch). */
-    created_at: number;
-    /** Optional description. */
-    description?: string | null;
-    /** Residuation ID. */
-    id: string;
-    /** Kind of residuation. */
-    kind: ResiduationKind;
-    /** Current state. */
-    state: ResiduationStateDto;
-    /** Term ID being waited on (UUID). */
-    term_id: string;
-    /** What this residuation is waiting for. */
-    waiting_for: WaitingConditionDto[];
-}
-/**
- * Statistics about residuation state.
- */
-interface ResiduationStats {
-    /** Completed count. */
-    completed: number;
-    /** Failed count. */
-    failed: number;
-    /** Pending count. */
-    pending: number;
-    /** Ready count. */
-    ready: number;
-    /** Suspended count. */
-    suspended: number;
-    /** Total residuations. */
-    total: number;
-}
-/**
- * Request for residuation state diagram.
- */
-interface ResiduationStateRequest {
-    /** Whether to generate DOT output. */
-    generate_dot?: boolean;
-    /** Whether to include trigger dependencies. */
-    include_dependencies?: boolean;
-    /** Kind of residuation to visualize. */
-    kind?: ResiduationKind;
-    /** State filter. */
-    state?: ResiduationStateFilter;
-}
-/**
- * Response for residuation state diagram.
- */
-interface ResiduationStateResponse {
-    /** Dependency edges (for graph visualization). */
-    dependency_edges: GraphEdgeDto[];
-    /** Dependency nodes (for graph visualization). */
-    dependency_nodes: GraphNodeDto[];
-    /** The visualization graph. */
-    graph?: VisualizationGraphDto | null;
-    /** Residuated terms. */
-    residuated_terms: ResiduatedTermDto[];
-    /** Statistics. */
-    stats: ResiduationStats;
-}
-/**
- * Request for trigger dependency graph.
- */
-interface TriggerDependencyRequest {
-    /** Whether to generate DOT output. */
-    generate_dot?: boolean;
-    /** Focus on specific residuation ID. */
-    residuation_id?: string | null;
-}
-/**
- * Response for trigger dependency graph.
- */
-interface TriggerDependencyResponse {
-    /** Critical paths (longest dependency chains). */
-    critical_paths: string[][];
-    /** The visualization graph. */
-    graph: VisualizationGraphDto;
-}
-
 /**
  * Resource client for execution session operations.
  *
@@ -36416,4 +36446,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 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 };
+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 FindBySortRequest, 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 };