@kortexya/reasoninglayer 0.1.3 → 0.1.5

package/dist/index.d.ts

@@ -94,6 +94,14 @@ interface ErrorResponse {
     details?: unknown;
 }
 
+/**
+ * SDK version — sent as `X-SDK-Version` header on every request.
+ *
+ * @remarks
+ * 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.1.5";
 /**
  * Configuration for the Reasoning Layer client.
  *
@@ -777,6 +785,124 @@ interface SortSimilarityResponse {
     /** Similarity score (0.0 to 1.0). */
     similarity: number;
 }
+/** Request to learn sort similarities from effect features. */
+interface LearnSortSimilaritiesRequest {
+    /** Effect feature name to learn similarities from. */
+    effect_feature: string;
+    /** Minimum number of samples required (default: server-side). */
+    min_samples?: number;
+    /** Minimum similarity threshold (0.0-1.0). */
+    min_similarity?: number;
+}
+/** Response from learning sort similarities. */
+interface LearnSortSimilaritiesResponse {
+    /** Effect feature that was analyzed. */
+    effect_feature: string;
+    /** Number of similarities learned. */
+    learned_count: number;
+    /** Human-readable message. */
+    message: string;
+    /** Minimum samples used. */
+    min_samples: number;
+    /** Minimum similarity threshold used. */
+    min_similarity: number;
+}
+/** Provenance information for a learned similarity. */
+interface LearnedSimilarityProvenanceDto {
+    /** Confidence in the learned similarity. */
+    confidence?: number | null;
+    /** Effect feature that was analyzed. */
+    effect_feature: string;
+    /** Learning method used. */
+    method: string;
+    /** Number of samples for sort 1. */
+    sort1_samples: number;
+    /** Number of samples for sort 2. */
+    sort2_samples: number;
+    /** Source of the similarity. */
+    source?: string | null;
+}
+/** Status of a learned similarity (discriminated union by `type`). */
+type LearnedSimilarityStatusDto = {
+    type: 'Proposed';
+    learned_at: string;
+} | {
+    type: 'Approved';
+    approved_at: string;
+    approved_by: string;
+} | {
+    type: 'Rejected';
+    rejected_at: string;
+    rejected_by: string;
+    reason: string;
+} | {
+    type: 'Conflicted';
+    learned_degree: number;
+    expert_degree: number;
+    conflict_description: string;
+};
+/** A learned similarity between two sorts. */
+interface LearnedSimilarityDto {
+    /** First sort ID (UUID). */
+    sort1_id: string;
+    /** Second sort ID (UUID). */
+    sort2_id: string;
+    /** Similarity degree (0.0-1.0). */
+    degree: number;
+    /** Status of the similarity. */
+    status: LearnedSimilarityStatusDto;
+    /** Provenance information. */
+    provenance: LearnedSimilarityProvenanceDto;
+    /** When the similarity was created (ISO 8601). */
+    created_at: string;
+    /** When the similarity was last updated (ISO 8601). */
+    updated_at: string;
+}
+/** Response containing a list of learned similarities. */
+interface LearnedSimilarityListResponse {
+    /** Total number of similarities. */
+    count: number;
+    /** Number pending review. */
+    pending_count: number;
+    /** Number approved. */
+    approved_count: number;
+    /** Number with conflicts. */
+    conflicted_count: number;
+    /** The similarities. */
+    similarities: LearnedSimilarityDto[];
+}
+/** Request to approve a learned similarity. */
+interface ApproveLearnedSimilarityRequest {
+    /** First sort ID (UUID). */
+    sort1_id: string;
+    /** Second sort ID (UUID). */
+    sort2_id: string;
+}
+/** Response from approving a learned similarity. */
+interface ApproveLearnedSimilarityResponse {
+    /** Whether the approval succeeded. */
+    success: boolean;
+    /** Human-readable message. */
+    message: string;
+    /** The similarity degree. */
+    degree: number;
+}
+/** Request to reject a learned similarity. */
+interface RejectLearnedSimilarityRequest {
+    /** First sort ID (UUID). */
+    sort1_id: string;
+    /** Second sort ID (UUID). */
+    sort2_id: string;
+    /** Reason for rejection. */
+    reason: string;
+}
+/** Response from rejecting a learned similarity. */
+interface RejectLearnedSimilarityResponse {
+    /** Whether the rejection succeeded. */
+    success: boolean;
+    /** Human-readable message. */
+    message: string;
+}
 
 /**
  * Resource client for sort (type hierarchy) operations.
@@ -789,7 +915,9 @@ declare class SortsClient {
     /** @internal */
     protected readonly http: HttpClient;
     /** @internal */
-    constructor(http: HttpClient);
+    protected readonly tenantId: string;
+    /** @internal */
+    constructor(http: HttpClient, tenantId: string);
     /**
      * Create a new sort.
      *
@@ -927,6 +1055,37 @@ declare class SortsClient {
      * @param options - Per-call request options.
      */
     updateReviewStatus(sortId: string, request: UpdateReviewStatusRequest, options?: RequestOptions): Promise<void>;
+    /**
+     * Learn sort similarities from effect features.
+     *
+     * @param request - Learning parameters.
+     * @param options - Per-call request options.
+     * @returns Learning result with count of similarities found.
+     */
+    learnSimilarities(request: LearnSortSimilaritiesRequest, options?: RequestOptions): Promise<LearnSortSimilaritiesResponse>;
+    /**
+     * Get all learned similarities.
+     *
+     * @param options - Per-call request options.
+     * @returns List of learned similarities with status counts.
+     */
+    getLearnedSimilarities(options?: RequestOptions): Promise<LearnedSimilarityListResponse>;
+    /**
+     * Approve a learned similarity.
+     *
+     * @param request - Sort pair to approve.
+     * @param options - Per-call request options.
+     * @returns Approval result.
+     */
+    approveSimilarity(request: ApproveLearnedSimilarityRequest, options?: RequestOptions): Promise<ApproveLearnedSimilarityResponse>;
+    /**
+     * Reject a learned similarity.
+     *
+     * @param request - Sort pair to reject with reason.
+     * @param options - Per-call request options.
+     * @returns Rejection result.
+     */
+    rejectSimilarity(request: RejectLearnedSimilarityRequest, options?: RequestOptions): Promise<RejectLearnedSimilarityResponse>;
     /**
      * Return a metadata-aware variant of this client.
      *
@@ -944,8 +1103,9 @@ declare class SortsClient {
  */
 declare class SortsClientWithMetadata {
     private readonly http;
+    private readonly tenantId;
     /** @internal */
-    constructor(http: HttpClient);
+    constructor(http: HttpClient, tenantId: string);
     createSort(request: CreateSortRequest, options?: RequestOptions): Promise<ApiResponse<SortDto>>;
     getSort(sortId: string, options?: RequestOptions): Promise<ApiResponse<SortDto>>;
     deleteSort(sortId: string, options?: RequestOptions): Promise<ApiResponse<void>>;
@@ -963,6 +1123,10 @@ declare class SortsClientWithMetadata {
     compareSorts(request: SortCompareRequest, options?: RequestOptions): Promise<ApiResponse<SortCompareResponse>>;
     indexSorts(options?: RequestOptions): Promise<ApiResponse<void>>;
     updateReviewStatus(sortId: string, request: UpdateReviewStatusRequest, options?: RequestOptions): Promise<ApiResponse<void>>;
+    learnSimilarities(request: LearnSortSimilaritiesRequest, options?: RequestOptions): Promise<ApiResponse<LearnSortSimilaritiesResponse>>;
+    getLearnedSimilarities(options?: RequestOptions): Promise<ApiResponse<LearnedSimilarityListResponse>>;
+    approveSimilarity(request: ApproveLearnedSimilarityRequest, options?: RequestOptions): Promise<ApiResponse<ApproveLearnedSimilarityResponse>>;
+    rejectSimilarity(request: RejectLearnedSimilarityRequest, options?: RequestOptions): Promise<ApiResponse<RejectLearnedSimilarityResponse>>;
 }
 
 /**
@@ -1745,6 +1909,13 @@ interface BulkAddFactsResponse {
     /** Created term IDs. */
     term_ids: string[];
 }
+/** Response from getting all stored facts. */
+interface GetFactsResponse {
+    /** Number of facts. */
+    count: number;
+    /** The facts as PsiTerms. */
+    facts: PsiTermDto[];
+}
 /** Response from clearing all facts. */
 interface ClearFactsResponse {
     /** Number of facts cleared. */
@@ -1830,19 +2001,21 @@ declare class InferenceClient {
      */
     bulkAddFacts(request: BulkAddFactsRequest, options?: RequestOptions): Promise<BulkAddFactsResponse>;
     /**
-     * Get all stored facts.
+     * Get all stored facts for a tenant.
      *
+     * @param tenantId - Tenant UUID.
      * @param options - Per-call request options.
-     * @returns Array of facts as PsiTerms.
+     * @returns Facts with count.
      */
-    getFacts(options?: RequestOptions): Promise<PsiTermDto[]>;
+    getFacts(tenantId: string, options?: RequestOptions): Promise<GetFactsResponse>;
     /**
-     * Clear all stored facts.
+     * Clear all stored facts for a tenant.
      *
+     * @param tenantId - Tenant UUID.
      * @param options - Per-call request options.
      * @returns Clear result with facts_cleared count.
      */
-    clearFacts(options?: RequestOptions): Promise<ClearFactsResponse>;
+    clearFacts(tenantId: string, options?: RequestOptions): Promise<ClearFactsResponse>;
     /**
      * Run backward chaining inference (goal-directed proof search).
      *
@@ -1956,8 +2129,8 @@ declare class InferenceClientWithMetadata {
     addFact(request: AddFactRequest, options?: RequestOptions): Promise<ApiResponse<AddFactResponse>>;
     bulkAddRules(request: BulkAddRulesRequest, options?: RequestOptions): Promise<ApiResponse<BulkAddRulesResponse>>;
     bulkAddFacts(request: BulkAddFactsRequest, options?: RequestOptions): Promise<ApiResponse<BulkAddFactsResponse>>;
-    getFacts(options?: RequestOptions): Promise<ApiResponse<PsiTermDto[]>>;
-    clearFacts(options?: RequestOptions): Promise<ApiResponse<ClearFactsResponse>>;
+    getFacts(tenantId: string, options?: RequestOptions): Promise<ApiResponse<GetFactsResponse>>;
+    clearFacts(tenantId: string, options?: RequestOptions): Promise<ApiResponse<ClearFactsResponse>>;
     backwardChain(request: BackwardChainRequest, options?: RequestOptions): Promise<ApiResponse<BackwardChainResponse>>;
     forwardChain(request: ForwardChainRequest, options?: RequestOptions): Promise<ApiResponse<ForwardChainResponse>>;
     forwardChainTagged(request: ForwardChainRequest, options?: RequestOptions): Promise<ApiResponse<ForwardChainResponse>>;
@@ -2999,6 +3172,157 @@ interface ProvideFeedbackResponse {
     /** Rules whose utility was updated. */
     updated_rules: string[];
 }
+/** Attention target for the integrated cycle. */
+interface AttentionTargetDto {
+    /** Target term ID (UUID). */
+    target_id: string;
+    /** Attention type. */
+    attention_type: string;
+    /** Priority. */
+    priority: number;
+}
+/** An impasse encountered during the cycle. */
+interface ImpasseDto {
+    /** Blocked goal ID (UUID). */
+    blocked_goal: string;
+    /** Impasse type. */
+    impasse_type: string;
+    /** Recovery suggestions. */
+    recovery_suggestions: string[];
+}
+/** A prediction error detected. */
+interface PredictionErrorDto {
+    /** Predicted value. */
+    predicted: string;
+    /** Actual value. */
+    actual: string;
+    /** Error magnitude. */
+    magnitude: number;
+}
+/** Outcome of running the integrated cognitive cycle (all 9 modules). */
+interface IntegratedCycleOutcomeDto {
+    /** Actions executed during the cycle. */
+    actions_executed: string[];
+    /** Desires considered. */
+    desires_considered: string[];
+    /** Number of drive-generated goals. */
+    drive_goals_generated: number;
+    /** Number of episodes recorded. */
+    episodes_recorded: number;
+    /** Current attention focus, if any. */
+    focus?: AttentionTargetDto | null;
+    /** Goals achieved. */
+    goals_achieved: string[];
+    /** Goals that failed. */
+    goals_failed: string[];
+    /** Impasses handled. */
+    impasses_handled: ImpasseDto[];
+    /** Intentions committed. */
+    intentions_committed: IntentionDto[];
+    /** Number of perceptions processed. */
+    perceptions_processed: number;
+    /** Prediction errors detected. */
+    prediction_errors: PredictionErrorDto[];
+    /** Number of sensor percepts processed. */
+    sensor_percepts_processed: number;
+    /** Sort suggestions from the cycle. */
+    sort_suggestions: unknown[];
+    /** Subgoals generated. */
+    subgoals_generated: string[];
+    /** Overall success rate (0.0-1.0). */
+    success_rate: number;
+    /** Number of utilities updated. */
+    utilities_updated: number;
+}
+/** Configuration for the integrated cognitive engine. */
+interface IntegratedEngineConfigDto {
+    /** Enable agent-to-agent messaging (default: true). */
+    enable_agent_messaging?: boolean;
+    /** Enable episodic memory (default: true). */
+    enable_episodic_memory?: boolean;
+    /** Enable HTN decomposition (default: true). */
+    enable_htn_decomposition?: boolean;
+    /** Enable meta-cognition (default: true). */
+    enable_meta_cognition?: boolean;
+    /** Enable plan library (default: true). */
+    enable_plan_library?: boolean;
+    /** Enable simulation (default: true). */
+    enable_simulation?: boolean;
+    /** Maintenance interval in cycles (default: 10). */
+    maintenance_interval?: number;
+    /** Maximum goals per cycle (default: 3). */
+    max_goals_per_cycle?: number;
+    /** Maximum impasse depth (default: 5). */
+    max_impasse_depth?: number;
+    /** Minimum plan success rate threshold (default: 0.5). */
+    min_plan_success_rate?: number;
+    /** Simulation confidence threshold (default: 0.6). */
+    simulation_confidence_threshold?: number;
+    /** Surprise threshold (default: 0.5). */
+    surprise_threshold?: number;
+}
+/** Request to run the integrated cognitive cycle. */
+interface RunIntegratedCycleRequest {
+    /** Agent ID (UUID). */
+    agent_id: string;
+    /** Tenant ID (UUID). */
+    tenant_id: string;
+    /** Optional engine configuration overrides. */
+    config?: IntegratedEngineConfigDto | null;
+}
+/** Response from running the integrated cognitive cycle. */
+interface RunIntegratedCycleResponse {
+    /** Human-readable message. */
+    message: string;
+    /** Cycle outcome. */
+    outcome: IntegratedCycleOutcomeDto;
+    /** Duration in milliseconds. */
+    duration_ms: number;
+}
+/** Request to subscribe an agent to knowledge base changes. */
+interface SubscribeToKbRequest {
+    /** Agent ID (UUID). */
+    agent_id: string;
+    /** Tenant ID (UUID). */
+    tenant_id: string;
+    /** Sort names to watch for changes. */
+    watched_sorts: string[];
+    /** Feature names to watch for changes. */
+    watched_features?: string[];
+}
+/** Response from subscribing to KB changes. */
+interface SubscribeToKbResponse {
+    /** Whether the subscription was successful. */
+    success: boolean;
+    /** Human-readable message. */
+    message: string;
+    /** Subscription ID (UUID). */
+    subscription_id: string;
+}
+/** Request to record an episodic memory entry. */
+interface RecordEpisodeRequest {
+    /** Agent ID (UUID). */
+    agent_id: string;
+    /** Tenant ID (UUID). */
+    tenant_id: string;
+    /** Goal ID (UUID). */
+    goal_id: string;
+    /** Actions taken during this episode. */
+    actions: string[];
+    /** Context for the episode. */
+    context?: string[];
+    /** Episode outcome. */
+    outcome: EpisodeOutcomeDto;
+    /** Reward value. */
+    reward: number;
+}
+/** Response from recording an episode. */
+interface RecordEpisodeResponse {
+    /** Created episode ID (UUID). */
+    episode_id: string;
+    /** Human-readable message. */
+    message: string;
+}
 /**
  * Real-time agent event pushed via WebSocket.
  *
@@ -3244,6 +3568,30 @@ declare class CognitiveClient {
      * @returns The feedback result.
      */
     provideFeedback(request: ProvideFeedbackRequest, options?: RequestOptions): Promise<ProvideFeedbackResponse>;
+    /**
+     * Run a full integrated cognitive cycle (all 9 modules).
+     *
+     * @param request - Integrated cycle request with agent and tenant IDs.
+     * @param options - Per-call request options.
+     * @returns The integrated cycle outcome with duration.
+     */
+    integratedCycle(request: RunIntegratedCycleRequest, options?: RequestOptions): Promise<RunIntegratedCycleResponse>;
+    /**
+     * Subscribe an agent to knowledge base changes (HTTP-based).
+     *
+     * @param request - Subscription request with watched sorts/features.
+     * @param options - Per-call request options.
+     * @returns Subscription ID.
+     */
+    subscribeToKb(request: SubscribeToKbRequest, options?: RequestOptions): Promise<SubscribeToKbResponse>;
+    /**
+     * Record an episodic memory entry for an agent.
+     *
+     * @param request - Episode to record.
+     * @param options - Per-call request options.
+     * @returns The created episode ID.
+     */
+    recordEpisode(request: RecordEpisodeRequest, options?: RequestOptions): Promise<RecordEpisodeResponse>;
     /**
      * Subscribe to real-time events for a cognitive agent.
      *
@@ -3289,6 +3637,9 @@ declare class CognitiveClientWithMetadata {
     broadcastMessage(request: BroadcastMessageRequest, options?: RequestOptions): Promise<ApiResponse<BroadcastMessageResponse>>;
     markMessagesRead(request: MarkMessagesReadRequest, options?: RequestOptions): Promise<ApiResponse<MarkMessagesReadResponse>>;
     provideFeedback(request: ProvideFeedbackRequest, options?: RequestOptions): Promise<ApiResponse<ProvideFeedbackResponse>>;
+    integratedCycle(request: RunIntegratedCycleRequest, options?: RequestOptions): Promise<ApiResponse<RunIntegratedCycleResponse>>;
+    subscribeToKb(request: SubscribeToKbRequest, options?: RequestOptions): Promise<ApiResponse<SubscribeToKbResponse>>;
+    recordEpisode(request: RecordEpisodeRequest, options?: RequestOptions): Promise<ApiResponse<RecordEpisodeResponse>>;
 }
 
 /**
@@ -3706,6 +4057,50 @@ 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"). */
+    constraint_type: string;
+    /** Constraint-specific fields. */
+    [key: string]: unknown;
+}
+/** Request to create a constraint session. */
+interface CreateConstraintSessionRequest {
+    /** Optional initial variable bindings. */
+    initial_bindings?: Record<string, number> | null;
+    /** Optional list of variable names. */
+    variables?: string[];
+}
+/** Constraint session status. */
+interface ConstraintSessionStatus {
+    /** Session ID. */
+    session_id: string;
+    /** Number of constraints in the session. */
+    constraint_count: number;
+    /** Current variable bindings. */
+    bindings: Record<string, number>;
+    /** Whether all constraints are satisfiable. */
+    satisfiable: boolean;
+}
+/** Request to add constraints to a session. */
+interface AddConstraintsRequest {
+    /** Constraints to add. */
+    constraints: GeneralConstraintDto[];
+    /** Optional variable bindings. */
+    bindings?: Record<string, unknown> | null;
+}
+/** Request to bind variables in a constraint session. */
+interface BindVariablesRequest {
+    /** Variable name to value bindings. */
+    bindings: Record<string, number>;
+}
+/** Response from binding variables. */
+interface BindVariablesResponse {
+    /** Whether the constraints are still satisfiable with these bindings. */
+    satisfiable: boolean;
+    /** Updated variable bindings. */
+    bindings: Record<string, number>;
+}
 
 /**
  * Resource client for constraint operations.
@@ -3734,6 +4129,40 @@ declare class ConstraintsClient {
      * @returns Constraint graph with statistics and optional cycle/FD domain data.
      */
     getGraph(request: ConstraintGraphRequest, options?: RequestOptions): Promise<ConstraintGraphResponse>;
+    /**
+     * Create a constraint session.
+     *
+     * @param request - Session creation parameters.
+     * @param options - Per-call request options.
+     * @returns Session status.
+     */
+    createSession(request: CreateConstraintSessionRequest, options?: RequestOptions): Promise<ConstraintSessionStatus>;
+    /**
+     * Get a constraint session by ID.
+     *
+     * @param sessionId - Session ID.
+     * @param options - Per-call request options.
+     * @returns Session status.
+     */
+    getSession(sessionId: string, options?: RequestOptions): Promise<ConstraintSessionStatus>;
+    /**
+     * Add constraints to a session.
+     *
+     * @param sessionId - Session ID.
+     * @param request - Constraints to add.
+     * @param options - Per-call request options.
+     * @returns Updated session status.
+     */
+    addConstraints(sessionId: string, request: AddConstraintsRequest, options?: RequestOptions): Promise<ConstraintSessionStatus>;
+    /**
+     * Bind variables in a constraint session.
+     *
+     * @param sessionId - Session ID.
+     * @param request - Variable bindings.
+     * @param options - Per-call request options.
+     * @returns Binding result.
+     */
+    bindVariables(sessionId: string, request: BindVariablesRequest, options?: RequestOptions): Promise<BindVariablesResponse>;
     /**
      * Return a metadata-aware variant of this client.
      *
@@ -3752,6 +4181,10 @@ declare class ConstraintsClientWithMetadata {
     constructor(http: HttpClient);
     solve(request: SolveConstraintRequest, options?: RequestOptions): Promise<ApiResponse<SolveConstraintResponse>>;
     getGraph(request: ConstraintGraphRequest, options?: RequestOptions): Promise<ApiResponse<ConstraintGraphResponse>>;
+    createSession(request: CreateConstraintSessionRequest, options?: RequestOptions): Promise<ApiResponse<ConstraintSessionStatus>>;
+    getSession(sessionId: string, options?: RequestOptions): Promise<ApiResponse<ConstraintSessionStatus>>;
+    addConstraints(sessionId: string, request: AddConstraintsRequest, options?: RequestOptions): Promise<ApiResponse<ConstraintSessionStatus>>;
+    bindVariables(sessionId: string, request: BindVariablesRequest, options?: RequestOptions): Promise<ApiResponse<BindVariablesResponse>>;
 }
 
 /**
@@ -4171,6 +4604,157 @@ interface GoalStackResponse {
     /** Stack size. */
     size: number;
 }
+/** A goal to be residuated (suspended until data becomes available). */
+interface ResiduationGoalDto {
+    /** Operation type. */
+    operation_type: string;
+    /** Goal arguments. */
+    arguments?: string[];
+    /** Result target variable. */
+    result_target?: string | null;
+}
+/** Feature binding for term binding operations. */
+interface FeatureBindingDto {
+    /** Feature name. */
+    name: string;
+    /** Feature value. */
+    value: ExecutionValueDto;
+}
+/** Detailed information about a residuation. */
+interface ResiduationDetailDto {
+    /** Residuation ID. */
+    id: string;
+    /** The residuated goal. */
+    goal: ResiduationGoalDto;
+    /** Best sort found so far. */
+    best_sort?: string | null;
+    /** Best value found so far. */
+    best_value?: ExecutionValueDto | null;
+    /** Whether this residuation is pending. */
+    is_pending: boolean;
+}
+/** An evaluated value from goal evaluation. */
+interface EvaluatedValueDto {
+    /** Term name. */
+    term_name: string;
+    /** Evaluated value. */
+    value?: ExecutionValueDto | null;
+    /** Threshold for evaluation. */
+    threshold?: string | null;
+    /** Comparison result. */
+    comparison?: string | null;
+}
+/** Result of evaluating a goal after releasing residuations. */
+interface GoalEvaluationResultDto {
+    /** The evaluated goal. */
+    goal: ResiduationGoalDto;
+    /** Whether the goal was satisfied. */
+    satisfied: boolean;
+    /** Confidence in the evaluation (0.0-1.0). */
+    confidence: number;
+    /** Human-readable explanation. */
+    explanation: string;
+    /** Evaluated values. */
+    evaluated_values: EvaluatedValueDto[];
+}
+/** Request to residuate a goal (suspend until data becomes available). */
+interface ResiduateGoalRequest {
+    /** Session ID. */
+    session_id: string;
+    /** Term ID to associate with. */
+    term_id: string;
+    /** Goal to residuate. */
+    goal: ResiduationGoalDto;
+    /** Best sort found so far. */
+    best_sort?: string | null;
+    /** Best value found so far. */
+    best_value?: ExecutionValueDto | null;
+}
+/** Response from residuating a goal. */
+interface ResiduateGoalResponse {
+    /** Residuation ID. */
+    residuation_id: string;
+    /** Term ID. */
+    term_id: string;
+    /** Number of suspended residuations. */
+    suspended_count: number;
+    /** Best sort found. */
+    best_sort?: string | null;
+}
+/** Request to bind a term with features. */
+interface BindTermRequest {
+    /** Term ID. */
+    term_id: string;
+    /** Sort ID. */
+    sort_id: string;
+    /** Feature bindings. */
+    features?: FeatureBindingDto[];
+}
+/** Response from binding a term. */
+interface BindTermResponse {
+    /** Session ID. */
+    session_id: string;
+    /** Tenant ID (UUID). */
+    tenant_id: string;
+    /** Trail length after binding. */
+    trail_length: number;
+    /** Choice point count. */
+    choice_point_count: number;
+    /** Bindings count. */
+    bindings_count: number;
+    /** Evaluation results from released residuations. */
+    evaluation_results?: GoalEvaluationResultDto[];
+}
+/** Request to release residuations for a term. */
+interface ReleaseResiduationsRequest {
+    /** Session ID. */
+    session_id: string;
+    /** Term ID. */
+    term_id: string;
+}
+/** Response from releasing residuations. */
+interface ReleaseResiduationsResponse {
+    /** Number of released residuations. */
+    released_count: number;
+    /** Released goals. */
+    released_goals: ResiduationGoalDto[];
+    /** Evaluation results. */
+    evaluation_results: GoalEvaluationResultDto[];
+    /** Number of remaining suspended residuations. */
+    remaining_suspended: number;
+}
+/** Request to append residuations from one term to another. */
+interface AppendResiduationsRequest {
+    /** Session ID. */
+    session_id: string;
+    /** Source term ID. */
+    source_term_id: string;
+    /** Target term ID. */
+    target_term_id: string;
+}
+/** Response from appending residuations. */
+interface AppendResiduationsResponse {
+    /** Target term ID. */
+    target_term_id: string;
+    /** Number of residuations appended. */
+    appended_count: number;
+    /** Total residuations on target. */
+    total_residuations: number;
+}
+/** Request to get residuations for a term. */
+interface GetResiduationsRequest {
+    /** Session ID. */
+    session_id: string;
+    /** Term ID. */
+    term_id: string;
+}
+/** Response with residuation details for a term. */
+interface GetResiduationsResponse {
+    /** Term ID. */
+    term_id: string;
+    /** Residuation details. */
+    residuations: ResiduationDetailDto[];
+}
 
 /**
  * Resource client for execution session operations.
@@ -4239,6 +4823,51 @@ declare class ExecutionClient {
      * @returns Choice point data.
      */
     getChoicePoints(sessionId: string, options?: RequestOptions): Promise<unknown>;
+    /**
+     * Residuate a goal (suspend until data becomes available).
+     *
+     * @param sessionId - Session ID.
+     * @param request - Residuation request.
+     * @param options - Per-call request options.
+     * @returns Residuation result.
+     */
+    residuate(sessionId: string, request: ResiduateGoalRequest, options?: RequestOptions): Promise<ResiduateGoalResponse>;
+    /**
+     * Bind a term with sort and feature values.
+     *
+     * @param sessionId - Session ID.
+     * @param request - Binding request.
+     * @param options - Per-call request options.
+     * @returns Binding result with evaluation results from released residuations.
+     */
+    bind(sessionId: string, request: BindTermRequest, options?: RequestOptions): Promise<BindTermResponse>;
+    /**
+     * Release residuations for a term (attempt evaluation).
+     *
+     * @param sessionId - Session ID.
+     * @param request - Release request.
+     * @param options - Per-call request options.
+     * @returns Released goals and evaluation results.
+     */
+    releaseResiduations(sessionId: string, request: ReleaseResiduationsRequest, options?: RequestOptions): Promise<ReleaseResiduationsResponse>;
+    /**
+     * Append residuations from a source term to a target term.
+     *
+     * @param sessionId - Session ID.
+     * @param request - Append request.
+     * @param options - Per-call request options.
+     * @returns Append result.
+     */
+    appendResiduations(sessionId: string, request: AppendResiduationsRequest, options?: RequestOptions): Promise<AppendResiduationsResponse>;
+    /**
+     * Get residuations for a term.
+     *
+     * @param sessionId - Session ID.
+     * @param request - Get residuations request.
+     * @param options - Per-call request options.
+     * @returns Residuation details.
+     */
+    getResiduations(sessionId: string, request: GetResiduationsRequest, options?: RequestOptions): Promise<GetResiduationsResponse>;
     /**
      * Return a metadata-aware variant of this client.
      *
@@ -4262,6 +4891,11 @@ declare class ExecutionClientWithMetadata {
     getGoalStack(sessionId: string, options?: RequestOptions): Promise<ApiResponse<GoalStackResponse>>;
     getTrail(sessionId: string, options?: RequestOptions): Promise<ApiResponse<unknown>>;
     getChoicePoints(sessionId: string, options?: RequestOptions): Promise<ApiResponse<unknown>>;
+    residuate(sessionId: string, request: ResiduateGoalRequest, options?: RequestOptions): Promise<ApiResponse<ResiduateGoalResponse>>;
+    bind(sessionId: string, request: BindTermRequest, options?: RequestOptions): Promise<ApiResponse<BindTermResponse>>;
+    releaseResiduations(sessionId: string, request: ReleaseResiduationsRequest, options?: RequestOptions): Promise<ApiResponse<ReleaseResiduationsResponse>>;
+    appendResiduations(sessionId: string, request: AppendResiduationsRequest, options?: RequestOptions): Promise<ApiResponse<AppendResiduationsResponse>>;
+    getResiduations(sessionId: string, request: GetResiduationsRequest, options?: RequestOptions): Promise<ApiResponse<GetResiduationsResponse>>;
 }
 
 /**
@@ -9545,14 +10179,1236 @@ declare class ExtractClientWithMetadata {
     extractEntities(request: ExtractEntitiesRequest, options?: RequestOptions): Promise<ApiResponse<ExtractEntitiesResponse>>;
 }
 
+/** A single step in the agent's execution trajectory. */
+interface TrajectoryStepDto {
+    /** Action/tool name executed. */
+    action: string;
+    /** Specific tool identifier (if different from action). */
+    tool_used?: string;
+    /** Tool input parameters. */
+    input?: Record<string, unknown> | unknown;
+    /** Tool output/result. */
+    output?: Record<string, unknown> | unknown;
+    /** Whether the tool call succeeded. */
+    success?: boolean;
+    /** Error message if the tool call failed. */
+    error?: string;
+    /** ISO 8601 timestamp of the step. */
+    timestamp?: string;
+    /** Actual content returned by file-reading tools. */
+    file_content?: string;
+}
+/** Configuration overrides for the judge pipeline. */
+interface JudgeConfigDto {
+    /** Minimum safety score (0.0-1.0, default: 0.8). */
+    min_safety_score?: number;
+    /** T-norm strategy: "min", "product", or "lukasiewicz". */
+    tnorm_strategy?: string;
+    /** Enable faithfulness/deception detection. */
+    enable_faithfulness?: boolean;
+    /** Generate cryptographic certificate for safe verdicts. */
+    enable_certificate?: boolean;
+    /** Maximum refinement rounds (0 = single pass). */
+    max_refinement_rounds?: number;
+}
+/** Request to run the FormalJudge oversight pipeline. */
+interface FormalJudgeRequest {
+    /** User instruction (what the agent was asked to do). */
+    user_intent: string;
+    /** Agent execution trajectory (ordered list of tool calls + results). */
+    trajectory: TrajectoryStepDto[];
+    /** Agent's final output/answer. */
+    final_output?: string;
+    /** Raw execution log (for full provenance). */
+    execution_log?: string;
+    /** Optional pipeline configuration overrides. */
+    config?: JudgeConfigDto | null;
+}
+/** Per-layer verification result. */
+interface LayerResultDto {
+    /** Layer name (e.g., "L0_format", "L6_resource"). */
+    layer: string;
+    /** Layer satisfaction score (0.0-1.0). */
+    score: number;
+    /** Number of facts checked in this layer. */
+    facts_checked: number;
+    /** Number of facts that passed. */
+    facts_satisfied: number;
+    /** Number of facts that failed. */
+    facts_violated: number;
+    /** Number of facts pending (residuated). */
+    facts_residuated: number;
+    /** Human-readable descriptions of each violation in this layer. */
+    violation_descriptions?: string[];
+    /** Term IDs of residuated (pending) facts. */
+    residuated_fact_ids?: string[];
+}
+/** A specific constraint violation. */
+interface ViolationDto {
+    /** Layer where the violation occurred. */
+    layer: string;
+    /** Human-readable description. */
+    description: string;
+    /** The term ID of the violated fact. */
+    fact_id: string;
+    /** Constraint type that was violated. */
+    constraint_type?: string;
+}
+/** A fix suggestion for a violation. */
+interface FixSuggestionDto {
+    /** Human-readable fix description. */
+    description: string;
+    /** Confidence in the fix suggestion (0.0-1.0). */
+    confidence: number;
+    /** Type of fix (e.g., "add_fact", "modify_feature", "narrow_sort", "add_rule"). */
+    fix_type?: string;
+}
 /**
- * Main client for the Reasoning Layer API.
+ * A failed proof trace with causal chain.
  *
- * Provides access to all resource clients through a shared HTTP connection
- * with configured authentication, retry, and timeout behavior.
+ * @remarks
+ * Contains recursive `parent` field for multi-level causal chains.
+ */
+interface ProofTraceDto {
+    /** The goal terms that couldn't be proved. */
+    goal_term_ids: string[];
+    /** The specific term where failure occurred. */
+    failure_point?: string;
+    /** Why the proof failed (human-readable classification). */
+    failure_reason: string;
+    /** Detailed reason description. */
+    failure_details: string;
+    /** Depth at which failure occurred in the proof tree. */
+    depth: number;
+    /** Suggested fixes from the proof engine. */
+    suggestions: FixSuggestionDto[];
+    /** Nested parent trace (for multi-level causal chains). */
+    parent?: ProofTraceDto;
+}
+/** Individual constraint attestation within a certificate. */
+interface AttestationDto {
+    /** Constraint identifier (e.g., layer name). */
+    constraint_id: string;
+    /** Constraint type (e.g., "temporal", "resource", "tool_contract"). */
+    constraint_type: string;
+    /** Whether the constraint is satisfied. */
+    satisfied: boolean;
+    /** Human-readable verification description. */
+    verification_details: string;
+    /** Hash of the constraint definition. */
+    constraint_hash: string;
+}
+/** Full validity certificate with per-layer cryptographic attestations. */
+interface CertificateDto {
+    /** Certificate ID. */
+    id: string;
+    /** Merkle root hash for quick verification. */
+    proof_root?: string;
+    /** When the certificate was issued (unix ms). */
+    issued_at: number;
+    /** Problem name. */
+    problem_name: string;
+    /** Number of constraints verified. */
+    constraints_verified: number;
+    /** Whether all constraints are satisfied. */
+    all_satisfied: boolean;
+    /** Number of inference steps in the proof. */
+    inference_steps: number;
+    /** Solving time in milliseconds. */
+    solve_time_ms?: number;
+    /** Per-layer constraint attestations. */
+    attestations: AttestationDto[];
+}
+/** Statistics about how facts were extracted. */
+interface ExtractionStatsDto {
+    /** Facts extracted deterministically (no LLM). */
+    deterministic_facts: number;
+    /** Facts extracted via LLM (semantic). */
+    semantic_facts: number;
+    /** Total number of LLM calls made. */
+    total_llm_calls: number;
+}
+/** Per-agent sub-verdict within a multi-agent trajectory. */
+interface AgentSubVerdictDto {
+    /** Agent identifier. */
+    agent_id: string;
+    /** Agent's verdict. */
+    verdict: string;
+    /** Agent's score. */
+    score: number;
+}
+/** Response from the FormalJudge oversight pipeline. */
+interface FormalJudgeResponse {
+    /** Overall verdict: "safe", "unsafe", "partial", or "residuated". */
+    verdict: string;
+    /** Overall aggregated score (T-norm of layer scores, 0.0-1.0). */
+    overall_score: number;
+    /** Per-layer verification results. */
+    layer_results: LayerResultDto[];
+    /** Specific constraint violations. */
+    violations: ViolationDto[];
+    /** Actionable fix suggestions. */
+    fix_suggestions: FixSuggestionDto[];
+    /** Faithfulness/deception detection score. */
+    faithfulness_score?: number | null;
+    /** Number of fabricated facts detected. */
+    fabrications_detected: number;
+    /** Deception predicates that triggered. */
+    detected_deception_predicates: string[];
+    /** Whether the master deception predicate triggered. */
+    is_deceptive?: boolean | null;
+    /** Deception fact map: all 25 atomic deception facts with boolean answers. */
+    deception_fact_map?: Record<string, boolean> | null;
+    /** Failed proof traces with causal chains for violated constraints. */
+    proof_traces?: ProofTraceDto[];
+    /** Full validity certificate (if safe and enabled). */
+    certificate?: CertificateDto | null;
+    /** Merkle root hash of the validity certificate. */
+    certificate_hash?: string | null;
+    /** Processing time in milliseconds. */
+    elapsed_ms: number;
+    /** Extraction statistics (deterministic vs. semantic). */
+    extraction_stats: ExtractionStatsDto;
+    /** Per-agent sub-verdicts (multi-agent trajectories). */
+    agent_sub_verdicts?: AgentSubVerdictDto[];
+}
+/** Response from the iterative refinement pipeline. */
+interface FormalJudgeRefinementResponse {
+    /** Results from each refinement round. */
+    rounds: FormalJudgeResponse[];
+    /** Total number of refinement rounds executed. */
+    total_rounds: number;
+    /** Whether the final verdict converged to safe. */
+    converged: boolean;
+    /** Total processing time across all rounds (ms). */
+    total_elapsed_ms: number;
+}
+
+/**
+ * Resource client for FormalJudge oversight operations.
  *
- * @example
- * ```typescript
+ * @remarks
+ * Provides neuro-symbolic agentic oversight verification.
+ * Single-pass verification judges agent trajectories against formal safety constraints.
+ * Iterative refinement re-runs the pipeline to converge on a safe verdict.
+ */
+declare class OversightClient {
+    /** @internal */
+    protected readonly http: HttpClient;
+    /** @internal */
+    constructor(http: HttpClient);
+    /**
+     * Run single-pass FormalJudge oversight verification.
+     *
+     * @param request - Judge request with trajectory and user intent.
+     * @param options - Per-call request options.
+     * @returns Verdict, scores, violations, and optional certificate.
+     */
+    judge(request: FormalJudgeRequest, options?: RequestOptions): Promise<FormalJudgeResponse>;
+    /**
+     * Run iterative refinement FormalJudge pipeline.
+     *
+     * @param request - Judge request with trajectory and user intent.
+     * @param options - Per-call request options.
+     * @returns Results from each refinement round with convergence status.
+     */
+    refine(request: FormalJudgeRequest, options?: RequestOptions): Promise<FormalJudgeRefinementResponse>;
+    /**
+     * Return a metadata-aware variant of this client.
+     *
+     * @returns A new client instance whose methods return `Promise<ApiResponse<T>>`.
+     */
+    withMetadata(): OversightClientWithMetadata;
+}
+/**
+ * Metadata-aware variant of {@link OversightClient}.
+ *
+ * Every method returns `Promise<ApiResponse<T>>` instead of `Promise<T>`.
+ */
+declare class OversightClientWithMetadata {
+    private readonly http;
+    /** @internal */
+    constructor(http: HttpClient);
+    /**
+     * Run single-pass FormalJudge oversight verification.
+     *
+     * @param request - Judge request with trajectory and user intent.
+     * @param options - Per-call request options.
+     * @returns Verdict, scores, violations, and optional certificate wrapped in {@link ApiResponse}.
+     */
+    judge(request: FormalJudgeRequest, options?: RequestOptions): Promise<ApiResponse<FormalJudgeResponse>>;
+    /**
+     * Run iterative refinement FormalJudge pipeline.
+     *
+     * @param request - Judge request with trajectory and user intent.
+     * @param options - Per-call request options.
+     * @returns Results from each refinement round with convergence status wrapped in {@link ApiResponse}.
+     */
+    refine(request: FormalJudgeRequest, options?: RequestOptions): Promise<ApiResponse<FormalJudgeRefinementResponse>>;
+}
+
+/** Request for differentiable forward chaining (Phases 1+2). */
+interface DifferentiableFcRequest {
+    /** Maximum forward chaining iterations (default: 20). */
+    max_iterations?: number;
+    /** Softmax temperature for rule attention (default: 1.0). */
+    temperature?: number;
+    /** Minimum weight threshold for fact propagation (default: 0.01). */
+    min_weight_threshold?: number;
+}
+/** Request for soft unification (Phase 2). */
+interface SoftUnifyRequest {
+    /** First term ID (UUID). */
+    term_a_id: string;
+    /** Second term ID (UUID). */
+    term_b_id: string;
+}
+/** Request for tagged forward chaining (Phase 1). */
+interface TaggedFcRequest {
+    /** Maximum forward chaining iterations (default: 50). */
+    max_iterations?: number;
+}
+/** Request for monadic fixpoint (Phase 3). */
+interface MonadicFixpointRequest {
+    /** Maximum T-mu iterations (default: 50). */
+    max_iterations?: number;
+}
+/** A pair of feature vectors for derived inference. */
+interface FeaturePair {
+    /** Feature vector A. */
+    features_a: number[];
+    /** Feature vector B. */
+    features_b: number[];
+}
+/** Request for derived inference (Phase 4). */
+interface DerivedInferenceRequest {
+    /** Pairs of feature vectors for inference. */
+    pairs: FeaturePair[];
+}
+/** Request for safety classification (Phase 5). */
+interface ClassifySafetyRequest {
+    /** Text to classify for safety violations. */
+    text: string;
+    /** Classification threshold override (default: spec threshold). */
+    threshold?: number;
+}
+/** Request for dynamic sort addition (Phase 6). */
+interface DynamicAddSortRequest {
+    /** Name of the new sort. */
+    sort_name: string;
+    /** Names of parent sorts in the hierarchy. */
+    parent_sort_names?: string[];
+    /** Feature names associated with this sort. */
+    feature_names?: string[];
+}
+/** A weighted fact with provenance information. */
+interface WeightedFactDto {
+    /** Term ID. */
+    term_id: string;
+    /** Sort name. */
+    sort_name: string;
+    /** Weight (confidence). */
+    weight: number;
+    /** Derivation depth. */
+    depth: number;
+    /** Contributing rule names. */
+    contributing_rules: string[];
+}
+/** Per-iteration metrics from differentiable FC. */
+interface IterationMetricDto {
+    /** Iteration number. */
+    iteration: number;
+    /** Number of active rules. */
+    active_rules: number;
+    /** Maximum attention weight. */
+    max_attention: number;
+    /** Entropy of attention distribution. */
+    entropy: number;
+    /** Number of new facts derived. */
+    new_facts: number;
+    /** Mean weight of derived facts. */
+    mean_weight: number;
+}
+/** Summary of symbolic forward chaining result. */
+interface SymbolicResultDto {
+    /** Total facts after chaining. */
+    total_facts: number;
+    /** Number of derived facts. */
+    derived_count: number;
+    /** Number of iterations performed. */
+    iterations: number;
+    /** Whether fixpoint was reached. */
+    fixpoint_reached: boolean;
+}
+/** Response for differentiable forward chaining. */
+interface DifferentiableFcResponse {
+    /** Weighted facts with provenance. */
+    weighted_facts: WeightedFactDto[];
+    /** Per-iteration metrics. */
+    iteration_metrics: IterationMetricDto[];
+    /** Symbolic result summary. */
+    symbolic_result: SymbolicResultDto;
+    /** Processing time in milliseconds. */
+    elapsed_ms: number;
+}
+/** Response for soft unification. */
+interface SoftUnifyResponse {
+    /** Overall confidence score (0.0-1.0). */
+    confidence: number;
+    /** Sort compatibility score. */
+    sort_score: number;
+    /** Feature compatibility score. */
+    feature_score: number;
+    /** Whether the terms are hard-compatible (classical unification). */
+    hard_compatible: boolean;
+    /** Processing time in milliseconds. */
+    elapsed_ms: number;
+}
+/** A fact with a probabilistic semiring tag. */
+interface TaggedFactDto {
+    /** Term ID. */
+    term_id: string;
+    /** Sort name. */
+    sort_name: string;
+    /** Probability (0.0-1.0). */
+    probability: number;
+}
+/** Response for tagged forward chaining. */
+interface TaggedFcResponse {
+    /** Facts with probabilistic tags. */
+    tagged_facts: TaggedFactDto[];
+    /** Number of iterations performed. */
+    iterations: number;
+    /** Whether fixpoint was reached. */
+    fixpoint_reached: boolean;
+    /** Number of derived facts. */
+    derived_count: number;
+    /** Processing time in milliseconds. */
+    elapsed_ms: number;
+}
+/** A monadic fact with depth and confidence. */
+interface MonadicFactDto {
+    /** Term ID. */
+    term_id: string;
+    /** Sort name. */
+    sort_name: string;
+    /** Derivation depth. */
+    derivation_depth: number;
+    /** Confidence (0.0-1.0). */
+    confidence: number;
+    /** Whether this is a given (base) fact. */
+    is_given: boolean;
+}
+/** Response for monadic fixpoint. */
+interface MonadicFixpointResponse {
+    /** Facts with monadic metadata. */
+    facts: MonadicFactDto[];
+    /** Number of iterations performed. */
+    iterations: number;
+    /** Whether fixpoint was reached. */
+    fixpoint_reached: boolean;
+    /** Number of given facts. */
+    given_count: number;
+    /** Number of derived facts. */
+    derived_count: number;
+    /** Maximum derivation depth. */
+    max_depth: number;
+    /** Processing time in milliseconds. */
+    elapsed_ms: number;
+}
+/** Single pair inference result from the derived layer. */
+interface DerivedInferenceResultDto {
+    /** Match score. */
+    match_score: number;
+    /** Gate value. */
+    gate_value: number;
+    /** Whether to proceed. */
+    proceed: boolean;
+    /** Combined confidence. */
+    combined_confidence: number;
+    /** Sort predictions (sort name to probability). */
+    sort_predictions: Record<string, number>;
+}
+/** Architecture information for the derived layer. */
+interface ArchitectureInfoDto {
+    /** Number of parameters. */
+    parameters: number;
+    /** Number of sorts. */
+    sort_count: number;
+    /** Embedding dimension. */
+    embedding_dim: number;
+    /** Whether the constraint is satisfied. */
+    constraint_satisfied: boolean;
+}
+/** Response for derived inference. */
+interface DerivedInferenceResponse {
+    /** Per-pair inference results. */
+    results: DerivedInferenceResultDto[];
+    /** Architecture information. */
+    architecture: ArchitectureInfoDto;
+}
+/** Safety model architecture info. */
+interface SafetyModelInfoDto {
+    /** Number of parameters. */
+    parameters: number;
+    /** Embedding dimension. */
+    embedding_dim: number;
+    /** Number of safety categories. */
+    categories: number;
+    /** Number of safety questions. */
+    questions: number;
+}
+/** Response for safety classification. */
+interface ClassifySafetyResponse {
+    /** Per-question safety decisions. */
+    question_decisions: Record<string, boolean>;
+    /** Per-question safety probabilities. */
+    question_probabilities: Record<string, number>;
+    /** Per-category activation scores. */
+    category_activations: Record<string, number>;
+    /** Safety model information. */
+    model_info: SafetyModelInfoDto;
+    /** Processing time in milliseconds. */
+    elapsed_ms: number;
+}
+/** Post-adaptation verification result. */
+interface VerificationDto {
+    /** Whether the constraint is satisfied after adaptation. */
+    constraint_satisfied: boolean;
+    /** Maximum violation magnitude. */
+    max_violation: number;
+    /** Sort count after adaptation. */
+    sort_count: number;
+}
+/** Response for dynamic sort addition. */
+interface DynamicAddSortResponse {
+    /** Created sort ID. */
+    sort_id: string;
+    /** Sort index in the architecture. */
+    sort_index: number;
+    /** Initialization method used. */
+    initialization: string;
+    /** Adaptation time in microseconds. */
+    adaptation_time_us: number;
+    /** Whether predictions were preserved. */
+    predictions_preserved: boolean;
+    /** Maximum deviation from original predictions. */
+    max_deviation: number;
+    /** Post-adaptation verification result. */
+    verification?: VerificationDto;
+}
+/** Status of a CDL component. */
+interface CdlComponentStatus {
+    /** Whether the component is active. */
+    active: boolean;
+    /** Number of parameters. */
+    parameters: number;
+}
+/** Response for CDL status. */
+interface CdlStatusResponse {
+    /** Whether CDL is enabled. */
+    enabled: boolean;
+    /** Derived layer status. */
+    derived_layer?: CdlComponentStatus;
+    /** Fact grounding status. */
+    fact_grounding?: CdlComponentStatus;
+    /** Dynamic architecture status. */
+    dynamic_architecture?: CdlComponentStatus;
+}
+
+/**
+ * Resource client for Categorical Deep Learning (CDL) operations.
+ *
+ * @remarks
+ * CDL combines differentiable neural layers with symbolic OSF inference.
+ * All 6 CDL phases are exposed:
+ * - Phase 1: Tagged forward chaining (provenance semirings)
+ * - Phase 2: Differentiable forward chaining + soft unification
+ * - Phase 3: Monadic fixpoint (OSF monad iteration)
+ * - Phase 4: Derived inference (composed CDL neural layer)
+ * - Phase 5: Safety classification (CDL fact grounding)
+ * - Phase 6: Dynamic sort addition (self-modifying architecture)
+ */
+declare class CdlClient {
+    /** @internal */
+    protected readonly http: HttpClient;
+    /** @internal */
+    constructor(http: HttpClient);
+    /**
+     * Run differentiable forward chaining (Phases 1+2).
+     *
+     * @param request - Forward chaining parameters.
+     * @param options - Per-call request options.
+     * @returns Weighted facts, iteration metrics, and symbolic result.
+     */
+    differentiableForwardChain(request: DifferentiableFcRequest, options?: RequestOptions): Promise<DifferentiableFcResponse>;
+    /**
+     * Perform soft (differentiable) unification between two terms (Phase 2).
+     *
+     * @param request - Soft unification request with two term IDs.
+     * @param options - Per-call request options.
+     * @returns Confidence scores and compatibility.
+     */
+    softUnify(request: SoftUnifyRequest, options?: RequestOptions): Promise<SoftUnifyResponse>;
+    /**
+     * Run tagged forward chaining with probabilistic semiring (Phase 1).
+     *
+     * @param request - Tagged forward chaining parameters.
+     * @param options - Per-call request options.
+     * @returns Tagged facts with probabilities.
+     */
+    taggedForwardChain(request: TaggedFcRequest, options?: RequestOptions): Promise<TaggedFcResponse>;
+    /**
+     * Run monadic fixpoint inference (Phase 3).
+     *
+     * @param request - Monadic fixpoint parameters.
+     * @param options - Per-call request options.
+     * @returns Facts with monadic metadata.
+     */
+    monadicFixpoint(request: MonadicFixpointRequest, options?: RequestOptions): Promise<MonadicFixpointResponse>;
+    /**
+     * Run derived inference through composed CDL layer (Phase 4).
+     *
+     * @param request - Feature pairs for inference.
+     * @param options - Per-call request options.
+     * @returns Inference results with architecture info.
+     */
+    derivedInference(request: DerivedInferenceRequest, options?: RequestOptions): Promise<DerivedInferenceResponse>;
+    /**
+     * Classify text for safety violations using CDL fact grounding (Phase 5).
+     *
+     * @param request - Safety classification request.
+     * @param options - Per-call request options.
+     * @returns Safety decisions, probabilities, and model info.
+     */
+    classifySafety(request: ClassifySafetyRequest, options?: RequestOptions): Promise<ClassifySafetyResponse>;
+    /**
+     * Dynamically add a sort to the CDL architecture (Phase 6).
+     *
+     * @param request - Sort definition.
+     * @param options - Per-call request options.
+     * @returns Adaptation result with verification.
+     */
+    dynamicAddSort(request: DynamicAddSortRequest, options?: RequestOptions): Promise<DynamicAddSortResponse>;
+    /**
+     * Get CDL subsystem status.
+     *
+     * @param options - Per-call request options.
+     * @returns CDL component statuses.
+     */
+    getStatus(options?: RequestOptions): Promise<CdlStatusResponse>;
+    /**
+     * Return a metadata-aware variant of this client.
+     *
+     * @returns A new client instance whose methods return `Promise<ApiResponse<T>>`.
+     */
+    withMetadata(): CdlClientWithMetadata;
+}
+/**
+ * Metadata-aware variant of {@link CdlClient}.
+ *
+ * Every method returns `Promise<ApiResponse<T>>` instead of `Promise<T>`.
+ */
+declare class CdlClientWithMetadata {
+    private readonly http;
+    /** @internal */
+    constructor(http: HttpClient);
+    differentiableForwardChain(request: DifferentiableFcRequest, options?: RequestOptions): Promise<ApiResponse<DifferentiableFcResponse>>;
+    softUnify(request: SoftUnifyRequest, options?: RequestOptions): Promise<ApiResponse<SoftUnifyResponse>>;
+    taggedForwardChain(request: TaggedFcRequest, options?: RequestOptions): Promise<ApiResponse<TaggedFcResponse>>;
+    monadicFixpoint(request: MonadicFixpointRequest, options?: RequestOptions): Promise<ApiResponse<MonadicFixpointResponse>>;
+    derivedInference(request: DerivedInferenceRequest, options?: RequestOptions): Promise<ApiResponse<DerivedInferenceResponse>>;
+    classifySafety(request: ClassifySafetyRequest, options?: RequestOptions): Promise<ApiResponse<ClassifySafetyResponse>>;
+    dynamicAddSort(request: DynamicAddSortRequest, options?: RequestOptions): Promise<ApiResponse<DynamicAddSortResponse>>;
+    getStatus(options?: RequestOptions): Promise<ApiResponse<CdlStatusResponse>>;
+}
+
+/** Response for neuro-symbolic status. */
+interface NeuroSymbolicStatusResponse {
+    /** Whether the neuro-symbolic system is enabled. */
+    enabled: boolean;
+    /** Status details. */
+    status?: Record<string, unknown> | null;
+}
+/** Response for neuro-symbolic diagnostics. */
+interface DiagnosticsResponse {
+    /** Whether the neuro-symbolic system is enabled. */
+    enabled: boolean;
+    /** Diagnostics details. */
+    diagnostics?: Record<string, unknown> | null;
+}
+/** Response from triggering training. */
+interface TrainingTriggerResponse {
+    /** Whether training was triggered. */
+    triggered: boolean;
+    /** Training result details. */
+    result?: Record<string, unknown> | null;
+    /** Error message if training failed. */
+    error?: string | null;
+}
+/** Response from GFlowNet training. */
+interface GFlowNetTrainResponse {
+    /** Whether training was triggered. */
+    triggered: boolean;
+    /** Final loss value. */
+    loss: number;
+    /** Number of trajectories consumed. */
+    trajectories_consumed: number;
+    /** Error message if training failed. */
+    error?: string | null;
+}
+/** Ground truth entry for end-to-end training. */
+interface GroundTruthEntry {
+    /** Input term ID. */
+    term_id: string;
+    /** Expected sort name. */
+    expected_sort: string;
+}
+/** Request for end-to-end training. */
+interface E2eTrainingRequest {
+    /** Number of training epochs. */
+    epochs?: number;
+    /** Maximum number of facts to use. */
+    max_facts?: number;
+    /** Maximum number of iterations per epoch. */
+    max_iterations?: number;
+    /** Ground truth entries for supervised training. */
+    ground_truth?: GroundTruthEntry[];
+}
+/** Response from end-to-end training. */
+interface E2eTrainingResponse {
+    /** Whether training was triggered. */
+    triggered: boolean;
+    /** Human-readable message. */
+    message: string;
+    /** Number of epochs completed. */
+    epochs_completed: number;
+    /** Per-epoch results. */
+    epoch_results: Record<string, unknown>[];
+    /** Initial loss. */
+    initial_loss?: number | null;
+    /** Final loss. */
+    final_loss?: number | null;
+    /** Final accuracy. */
+    final_accuracy?: number | null;
+    /** Error message if training failed. */
+    error?: string | null;
+}
+/** Response from saving weights. */
+interface SaveWeightsResponse {
+    /** Whether weights were saved successfully. */
+    success: boolean;
+    /** Error message if saving failed. */
+    error?: string | null;
+}
+/** Containment verification results. */
+interface ContainmentVerificationDto {
+    /** Total number of containment checks. */
+    total_checks: number;
+    /** Number of checks that passed. */
+    passed: number;
+    /** Number of checks that failed. */
+    failed: number;
+    /** Pass rate (0.0-1.0). */
+    pass_rate: number;
+}
+/** Meet preservation verification results. */
+interface MeetPreservationDto {
+    /** Total number of meet checks. */
+    total_checks: number;
+    /** Number of checks that passed. */
+    passed: number;
+    /** Number of checks that failed. */
+    failed: number;
+    /** Pass rate (0.0-1.0). */
+    pass_rate: number;
+}
+/** Specificity verification results. */
+interface SpecificityDto {
+    /** Total number of specificity checks. */
+    total_checks: number;
+    /** Number of checks that passed. */
+    passed: number;
+    /** Number of checks that failed. */
+    failed: number;
+    /** Pass rate (0.0-1.0). */
+    pass_rate: number;
+}
+/** Response from verifying embeddings. */
+interface EmbeddingVerificationResponse {
+    /** Whether embeddings are available. */
+    available: boolean;
+    /** Number of sort embeddings. */
+    sort_count?: number | null;
+    /** Embedding dimension. */
+    embedding_dim?: number | null;
+    /** Containment verification results. */
+    containment?: ContainmentVerificationDto | null;
+    /** Meet preservation verification results. */
+    meet_preservation?: MeetPreservationDto | null;
+    /** Specificity verification results. */
+    specificity?: SpecificityDto | null;
+    /** Error message. */
+    error?: string | null;
+}
+/** Request for sort box lookup. */
+interface SortBoxRequest {
+    /** Sort name to look up. */
+    sort_name: string;
+}
+/** Response for sort box lookup. */
+interface SortBoxResponse {
+    /** Sort name. */
+    sort_name: string;
+    /** Whether the sort box was found. */
+    found: boolean;
+    /** Embedding dimension. */
+    dim?: number | null;
+    /** Minimum coordinates. */
+    min_coords?: number[] | null;
+    /** Maximum coordinates. */
+    max_coords?: number[] | null;
+    /** Log volume of the box. */
+    log_volume?: number | null;
+    /** Error message. */
+    error?: string | null;
+}
+
+/**
+ * Resource client for neuro-symbolic operations.
+ *
+ * @remarks
+ * Provides training and embedding management for the neuro-symbolic subsystem.
+ * All endpoints are under the admin namespace.
+ */
+declare class NeuroSymbolicClient {
+    /** @internal */
+    protected readonly http: HttpClient;
+    /** @internal */
+    constructor(http: HttpClient);
+    /**
+     * Get neuro-symbolic system status.
+     *
+     * @param options - Per-call request options.
+     * @returns System status.
+     */
+    getStatus(options?: RequestOptions): Promise<NeuroSymbolicStatusResponse>;
+    /**
+     * Get neuro-symbolic diagnostics.
+     *
+     * @param options - Per-call request options.
+     * @returns Diagnostics information.
+     */
+    getDiagnostics(options?: RequestOptions): Promise<DiagnosticsResponse>;
+    /**
+     * Trigger scorer training.
+     *
+     * @param options - Per-call request options.
+     * @returns Training trigger result.
+     */
+    trainScorer(options?: RequestOptions): Promise<TrainingTriggerResponse>;
+    /**
+     * Trigger embedding training.
+     *
+     * @param options - Per-call request options.
+     * @returns Training trigger result.
+     */
+    trainEmbeddings(options?: RequestOptions): Promise<TrainingTriggerResponse>;
+    /**
+     * Trigger GFlowNet training.
+     *
+     * @param options - Per-call request options.
+     * @returns GFlowNet training result.
+     */
+    trainGflownet(options?: RequestOptions): Promise<GFlowNetTrainResponse>;
+    /**
+     * Run end-to-end training.
+     *
+     * @param request - Training configuration.
+     * @param options - Per-call request options.
+     * @returns Training results.
+     */
+    trainE2e(request: E2eTrainingRequest, options?: RequestOptions): Promise<E2eTrainingResponse>;
+    /**
+     * Save trained weights.
+     *
+     * @param options - Per-call request options.
+     * @returns Save result.
+     */
+    saveWeights(options?: RequestOptions): Promise<SaveWeightsResponse>;
+    /**
+     * Verify embedding quality.
+     *
+     * @param options - Per-call request options.
+     * @returns Verification results for containment, meet preservation, and specificity.
+     */
+    verifyEmbeddings(options?: RequestOptions): Promise<EmbeddingVerificationResponse>;
+    /**
+     * Look up a sort's box embedding.
+     *
+     * @param request - Sort box lookup request.
+     * @param options - Per-call request options.
+     * @returns Sort box coordinates and volume.
+     */
+    sortBoxLookup(request: SortBoxRequest, options?: RequestOptions): Promise<SortBoxResponse>;
+    /**
+     * Return a metadata-aware variant of this client.
+     *
+     * @returns A new client instance whose methods return `Promise<ApiResponse<T>>`.
+     */
+    withMetadata(): NeuroSymbolicClientWithMetadata;
+}
+/**
+ * Metadata-aware variant of {@link NeuroSymbolicClient}.
+ *
+ * Every method returns `Promise<ApiResponse<T>>` instead of `Promise<T>`.
+ */
+declare class NeuroSymbolicClientWithMetadata {
+    private readonly http;
+    /** @internal */
+    constructor(http: HttpClient);
+    getStatus(options?: RequestOptions): Promise<ApiResponse<NeuroSymbolicStatusResponse>>;
+    getDiagnostics(options?: RequestOptions): Promise<ApiResponse<DiagnosticsResponse>>;
+    trainScorer(options?: RequestOptions): Promise<ApiResponse<TrainingTriggerResponse>>;
+    trainEmbeddings(options?: RequestOptions): Promise<ApiResponse<TrainingTriggerResponse>>;
+    trainGflownet(options?: RequestOptions): Promise<ApiResponse<GFlowNetTrainResponse>>;
+    trainE2e(request: E2eTrainingRequest, options?: RequestOptions): Promise<ApiResponse<E2eTrainingResponse>>;
+    saveWeights(options?: RequestOptions): Promise<ApiResponse<SaveWeightsResponse>>;
+    verifyEmbeddings(options?: RequestOptions): Promise<ApiResponse<EmbeddingVerificationResponse>>;
+    sortBoxLookup(request: SortBoxRequest, options?: RequestOptions): Promise<ApiResponse<SortBoxResponse>>;
+}
+
+/** Request for sort discovery analysis. */
+interface SortDiscoveryRequest {
+    /** Maximum number of concepts to discover. */
+    max_concepts?: number;
+    /** Minimum extent size (number of terms in a concept). */
+    min_extent_size?: number;
+    /** Minimum intent size (number of attributes in a concept). */
+    min_intent_size?: number;
+    /** Maximum number of terms to analyze. */
+    max_terms?: number;
+    /** Minimum confidence for sort recommendations. */
+    min_confidence?: number;
+    /** Whether to auto-create sorts above threshold. */
+    auto_create_sorts?: boolean;
+    /** Threshold for auto-creating sorts. */
+    auto_create_threshold?: number;
+    /** Fuzzy alpha-cut thresholds for multi-level analysis. */
+    fuzzy_thresholds?: number[];
+}
+/** A sort recommendation from discovery. */
+interface SortRecommendation {
+    /** Recommended sort name. */
+    sort_name: string;
+    /** Features that characterize this sort. */
+    features: string[];
+    /** Number of terms that match this sort. */
+    term_count: number;
+    /** Confidence score (0.0-1.0). */
+    confidence: number;
+    /** Suggested parent sort. */
+    parent_sort?: string;
+    /** Human-readable explanation. */
+    explanation: string;
+}
+/** A fuzzy concept level from multi-threshold analysis. */
+interface FuzzyConceptLevel {
+    /** Alpha threshold. */
+    alpha: number;
+    /** Number of concepts at this level. */
+    concept_count: number;
+    /** Number of novel concepts at this level. */
+    novel_at_this_level: number;
+}
+/** Response from sort discovery analysis. */
+interface SortDiscoveryResponse {
+    /** Whether the analysis succeeded. */
+    success: boolean;
+    /** Number of terms analyzed. */
+    terms_analyzed: number;
+    /** Total concepts found. */
+    total_concepts: number;
+    /** Concepts matching existing sorts. */
+    concepts_matching_existing: number;
+    /** Novel concepts discovered. */
+    novel_concepts_discovered: number;
+    /** Sorts that were auto-created. */
+    sorts_created: string[];
+    /** Sort recommendations. */
+    recommendations: SortRecommendation[];
+    /** Processing time in milliseconds. */
+    processing_time_ms: number;
+    /** Fuzzy concept levels (if fuzzy thresholds were provided). */
+    fuzzy_levels?: FuzzyConceptLevel[];
+}
+/** Request to start an attribute exploration session. */
+interface StartExplorationRequest {
+    /** Maximum number of concepts. */
+    max_concepts?: number;
+    /** Minimum extent size. */
+    min_extent_size?: number;
+    /** Minimum intent size. */
+    min_intent_size?: number;
+    /** Maximum number of terms. */
+    max_terms?: number;
+}
+/** A question posed during attribute exploration. */
+interface ExplorationQuestion {
+    /** Premise attributes. */
+    premise: string[];
+    /** Conclusion attributes. */
+    conclusion: string[];
+    /** Human-readable question text. */
+    question_text: string;
+}
+/** Response from starting an exploration session. */
+interface StartExplorationResponse {
+    /** Session ID. */
+    session_id: string;
+    /** Number of attributes. */
+    attribute_count: number;
+    /** Number of objects. */
+    object_count: number;
+    /** First question, if any. */
+    question?: ExplorationQuestion;
+}
+/** Progress of an exploration session. */
+interface ExplorationProgress {
+    /** Number of implications confirmed. */
+    implications_confirmed: number;
+    /** Number of implications refuted. */
+    implications_refuted: number;
+    /** Number of counterexamples added. */
+    counterexamples_added: number;
+    /** Whether exploration is complete. */
+    is_complete: boolean;
+}
+/** Response from confirming an implication. */
+interface ConfirmResponse {
+    /** Next question, if any. */
+    next_question?: ExplorationQuestion;
+    /** Current progress. */
+    progress: ExplorationProgress;
+}
+/** Request to refute an implication with a counterexample. */
+interface RefuteRequest {
+    /** Label for the counterexample. */
+    label: string;
+    /** Features of the counterexample. */
+    features: string[];
+}
+/** Response from refuting an implication. */
+interface RefuteResponse {
+    /** Next question, if any. */
+    next_question?: ExplorationQuestion;
+    /** Current progress. */
+    progress: ExplorationProgress;
+}
+/** An implication discovered during exploration. */
+interface Implication {
+    /** Premise attributes. */
+    premise: string[];
+    /** Conclusion attributes. */
+    conclusion: string[];
+}
+/** Response for exploration session status. */
+interface ExplorationStatusResponse {
+    /** Session ID. */
+    session_id: string;
+    /** Current progress. */
+    progress: ExplorationProgress;
+    /** Confirmed implications so far. */
+    confirmed_implications: Implication[];
+}
+/** Response from completing an exploration session. */
+interface ExplorationCompleteResponse {
+    /** Total implications discovered. */
+    total_implications: number;
+    /** All discovered implications. */
+    implications: Implication[];
+    /** Number of counterexamples added. */
+    counterexamples_added: number;
+    /** Number of rules created from implications. */
+    rules_created: number;
+}
+
+/**
+ * Resource client for analysis and Formal Concept Analysis (FCA) operations.
+ *
+ * @remarks
+ * Provides sort discovery from existing terms and interactive attribute exploration
+ * for discovering implications in the knowledge base.
+ */
+declare class AnalysisClient {
+    /** @internal */
+    protected readonly http: HttpClient;
+    /** @internal */
+    constructor(http: HttpClient);
+    /**
+     * Run sort discovery analysis on existing terms.
+     *
+     * @param request - Discovery parameters.
+     * @param options - Per-call request options.
+     * @returns Discovery results with recommendations.
+     */
+    sortDiscovery(request: SortDiscoveryRequest, options?: RequestOptions): Promise<SortDiscoveryResponse>;
+    /**
+     * Start an interactive attribute exploration session.
+     *
+     * @param request - Exploration parameters.
+     * @param options - Per-call request options.
+     * @returns Session ID and first question.
+     */
+    startExploration(request: StartExplorationRequest, options?: RequestOptions): Promise<StartExplorationResponse>;
+    /**
+     * Confirm the current implication in an exploration session.
+     *
+     * @param sessionId - Exploration session ID.
+     * @param options - Per-call request options.
+     * @returns Next question and progress.
+     */
+    confirmImplication(sessionId: string, options?: RequestOptions): Promise<ConfirmResponse>;
+    /**
+     * Refute the current implication with a counterexample.
+     *
+     * @param sessionId - Exploration session ID.
+     * @param request - Counterexample.
+     * @param options - Per-call request options.
+     * @returns Next question and progress.
+     */
+    refuteImplication(sessionId: string, request: RefuteRequest, options?: RequestOptions): Promise<RefuteResponse>;
+    /**
+     * Get the current status of an exploration session.
+     *
+     * @param sessionId - Exploration session ID.
+     * @param options - Per-call request options.
+     * @returns Session status with progress and confirmed implications.
+     */
+    getExplorationStatus(sessionId: string, options?: RequestOptions): Promise<ExplorationStatusResponse>;
+    /**
+     * Complete an exploration session and create rules from the discovered basis.
+     *
+     * @param sessionId - Exploration session ID.
+     * @param options - Per-call request options.
+     * @returns Final implications and rules created.
+     */
+    completeExploration(sessionId: string, options?: RequestOptions): Promise<ExplorationCompleteResponse>;
+    /**
+     * Return a metadata-aware variant of this client.
+     *
+     * @returns A new client instance whose methods return `Promise<ApiResponse<T>>`.
+     */
+    withMetadata(): AnalysisClientWithMetadata;
+}
+/**
+ * Metadata-aware variant of {@link AnalysisClient}.
+ *
+ * Every method returns `Promise<ApiResponse<T>>` instead of `Promise<T>`.
+ */
+declare class AnalysisClientWithMetadata {
+    private readonly http;
+    /** @internal */
+    constructor(http: HttpClient);
+    sortDiscovery(request: SortDiscoveryRequest, options?: RequestOptions): Promise<ApiResponse<SortDiscoveryResponse>>;
+    startExploration(request: StartExplorationRequest, options?: RequestOptions): Promise<ApiResponse<StartExplorationResponse>>;
+    confirmImplication(sessionId: string, options?: RequestOptions): Promise<ApiResponse<ConfirmResponse>>;
+    refuteImplication(sessionId: string, request: RefuteRequest, options?: RequestOptions): Promise<ApiResponse<RefuteResponse>>;
+    getExplorationStatus(sessionId: string, options?: RequestOptions): Promise<ApiResponse<ExplorationStatusResponse>>;
+    completeExploration(sessionId: string, options?: RequestOptions): Promise<ApiResponse<ExplorationCompleteResponse>>;
+}
+
+/** Request to record a user's sort selection for preference learning. */
+interface RecordSelectionRequest {
+    /** Term ID that was selected (UUID). */
+    term_id: string;
+    /** User ID who made the selection (UUID). */
+    user_id: string;
+}
+/** Response from recording a selection. */
+interface RecordSelectionResponse {
+    /** Whether the recording succeeded. */
+    success: boolean;
+    /** Total number of selections for this user. */
+    selection_count: number;
+}
+/** Request to predict user preferences. */
+interface PredictPreferencesRequest {
+    /** User ID (UUID). */
+    user_id: string;
+    /** Sort ID to predict within (UUID). */
+    sort_id: string;
+    /** Candidate term IDs to rank (UUIDs). */
+    candidate_ids: string[];
+}
+/** A single preference prediction. */
+interface PreferencePrediction {
+    /** Term ID (UUID). */
+    term_id: string;
+    /** Predicted preference score. */
+    score: number;
+}
+/** Response from predicting preferences. */
+interface PredictPreferencesResponse {
+    /** Predictions sorted by score. */
+    predictions: PreferencePrediction[];
+}
+
+/**
+ * Resource client for Bayesian preference learning operations.
+ *
+ * @remarks
+ * Provides user preference recording and prediction for term ranking.
+ */
+declare class PreferencesClient {
+    /** @internal */
+    protected readonly http: HttpClient;
+    /** @internal */
+    constructor(http: HttpClient);
+    /**
+     * Record a user's term selection for preference learning.
+     *
+     * @param request - Selection to record.
+     * @param options - Per-call request options.
+     * @returns Recording result.
+     */
+    recordSelection(request: RecordSelectionRequest, options?: RequestOptions): Promise<RecordSelectionResponse>;
+    /**
+     * Predict user preferences for candidate terms.
+     *
+     * @param request - Prediction request with candidates.
+     * @param options - Per-call request options.
+     * @returns Predictions sorted by score.
+     */
+    predict(request: PredictPreferencesRequest, options?: RequestOptions): Promise<PredictPreferencesResponse>;
+    /**
+     * Return a metadata-aware variant of this client.
+     *
+     * @returns A new client instance whose methods return `Promise<ApiResponse<T>>`.
+     */
+    withMetadata(): PreferencesClientWithMetadata;
+}
+/**
+ * Metadata-aware variant of {@link PreferencesClient}.
+ *
+ * Every method returns `Promise<ApiResponse<T>>` instead of `Promise<T>`.
+ */
+declare class PreferencesClientWithMetadata {
+    private readonly http;
+    /** @internal */
+    constructor(http: HttpClient);
+    recordSelection(request: RecordSelectionRequest, options?: RequestOptions): Promise<ApiResponse<RecordSelectionResponse>>;
+    predict(request: PredictPreferencesRequest, options?: RequestOptions): Promise<ApiResponse<PredictPreferencesResponse>>;
+}
+
+/**
+ * Main client for the Reasoning Layer API.
+ *
+ * Provides access to all resource clients through a shared HTTP connection
+ * with configured authentication, retry, and timeout behavior.
+ *
+ * @example
+ * ```typescript
  * import { ReasoningLayerClient } from '@kortexya/reasoning-layer';
  *
  * const client = new ReasoningLayerClient({
@@ -9619,6 +11475,16 @@ declare class ReasoningLayerClient {
     readonly discovery: DiscoveryClient;
     /** Entity extraction operations. */
     readonly extract: ExtractClient;
+    /** FormalJudge oversight operations (safety verification, refinement). */
+    readonly oversight: OversightClient;
+    /** Categorical Deep Learning operations (differentiable FC, soft unification, safety). */
+    readonly cdl: CdlClient;
+    /** Neuro-symbolic operations (training, embeddings, diagnostics). */
+    readonly neuroSymbolic: NeuroSymbolicClient;
+    /** Analysis and FCA operations (sort discovery, attribute exploration). */
+    readonly analysis: AnalysisClient;
+    /** Bayesian preference learning operations (selection recording, prediction). */
+    readonly preferences: PreferencesClient;
     /**
      * Create a new ReasoningLayerClient.
      *
@@ -10684,6 +12550,4 @@ declare function isUuid(s: string): boolean;
  */
 declare function discriminateFeatureValue(value: unknown): FeatureValueDto;
 
-declare const SDK_VERSION = "0.1.0";
-
-export { type ActionReviewDecision, type ActionReviewDto, type ActionReviewSummary, type ActivationDto, type AddBeliefRequest, type AddBeliefResponse, type AddCausalRelationRequest, type AddCausalRelationResponse, type AddCognitiveRuleRequest, type AddCognitiveRuleResponse, 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 AgentSubscription, type AllenRelation, ApiError, type ApiResponse, type ApproveActionRequest, type ApproveEntityRequest, type ArithValueDto, type ArithmeticConstraintDto, type ArithmeticExprDto, type AscRequest, type AssignValueDto, type BacktrackResponse, type BacktrackableAssignRequest, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BatchCopyRequest, type BatchStringCompareRequest, type BayesianPredictRequest, type BayesianPredictResponse, type BeliefDto, type BindingDto, type BitwiseOperationType, type BitwiseRequest, type BooleanValue, type BoundConstraintDto, type BroadcastMessageRequest, type BroadcastMessageResponse, type BulkAddFactsRequest, type BulkAddFactsResponse, type BulkAddRulesRequest, type BulkAddRulesResponse, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkApproveActionsRequest, type BulkApproveRequest, type BulkCreateSortsRequest, type BulkCreateSortsResponse, type BulkMergeRequest, type BulkRejectActionsRequest, type BulkRejectRequest, type BulkSortDefinition, type BySortQueryRequest, type CallOnceRequest, type CausalAncestorRequest, type CausalAncestorResponse, type CausalChainDto, type CausalEdgeDto, type CausalProofTreeDto, type CausalRelationshipDto$1 as CausalRelationshipDto, type CausesRequest, type CausesResponse, type ChoicePointDto, type ChoiceSelection, type ChrRequest, type ClearFactsResponse, type ClientConfig, type CognitiveGoalDto, type CognitiveTermInput, type CollectionDto, type CommitRequest, type CommunityDetectionConfigDto, type CommunityDetectionStatsDto, type CommunityDto, type CommunityMatchDto, type CommunitySearchModeDto, type CommunitySearchStatsDto, type CondRequest, type ConditionalIndependenceRequest, type ConditionalIndependenceResponse, type ConflictResolution, type ConstraintDto, type ConstraintGraphRequest, type ConstraintGraphResponse, type ConstraintGraphStats, type ConstraintInputDto, ConstraintViolationError, 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 CreateExecutionSessionRequest, type CreateGoalRequest, type CreateGoalResponse, type CreateRootNamespaceRequest, type CreateScenarioRequest, type CreateScenarioResponse, type CreateSortRequest, type CreateSpaceRequest, type CreateTermRequest, type CuriosityTargetDto, type CutRequest, type CycleDto, type CycleOutcomeDto, type CyclicGaussianShape, type DSeparatedRequest, type DSeparatedResponse, type DecodeGlbResponse, type DeepCopyRequest, type DeleteGoalResponse, type DetectCommunitiesRequest, type DetectCommunitiesResponse, type DiscoverCausalRequest, type DiscoverCausalResponse, type DiscoverEffectsRequest, type DiscoverEffectsResponse, type DiscoverSchemaRequest, type DiscoverSchemaResponse, type DiscoveredEffectDto, type DiscoveredRelationDto, type DiscoveredSortDto, type DiscoveredSourceRelationDto, type DiscoveryStateDto, type DiscoveryStatusResponse, type DocumentMetadataDto, type DocumentParseStatsDto, type DocumentParser, type DocumentSource, type DocumentType, type DriveDeficitDto, type DriveDto, type DynamicDiscoveryRequest, type DynamicDiscoveryResponse, type DynamicQueryClauseDto, type DynamicQueryGroupDto, type DynamicQueryRequest, type DynamicQueryResponse, type DynamicQueryResultDto, type EffectDto, type EntailmentRequest, type EntailmentResponse, type EpisodeDto, type EpisodeOutcomeDto, type EpisodeStatsResponse, type ErrorResponse, type EvaluatePatternRequest, type EvaluatePatternResponse, type EvidenceAssessmentRequest, type ExecutionGoalDto, type ExecutionSessionResponse, type ExecutionValueDto, type ExtendedAgentStateDto, type ExtractEntitiesRequest, type ExtractEntitiesResponse, type ExtractedEntityDto, type ExtractedRelationDto, type FdDomainStateDto, type FeatureDescriptorDto, FeatureInput, type FeatureInputConstrainedVariable, type FeatureInputInlineTerm, type FeatureInputInlineTermByName, type FeatureInputTermRef, type FeatureInputValueDto, type FeatureInputVariable, type FeatureRequirementDto, type FeatureTypeDto, type FeatureValueDto, type FindallRequest, type ForallRequest, type ForwardChainRequest, type ForwardChainResponse, 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 GaussianShape, type GetCausalModelResponse, type GetMembershipsRequest, type GetMembershipsResponse, type GetScenarioResponse, type GetSortSimilarityRequest, type GlbLubComputationTrace, type GlbLubOperation, type GlbLubTraceRequest, type GlbRequest, type GlbResponse, type GlobalAssignRequest, type GlobalGetRequest, type GlobalIncrementRequest, type GoalDto, type GoalStackEntryDto, type GoalStackResponse, type GuardOp, type HomoiconicSubstitutionDto, type HtnMethodDto, type HypergraphRequest, type HypergraphResponse, type ImpliesRequest, type IngestDocumentBatchRequest, type IngestDocumentBatchResponse, type IngestDocumentRequest, type IngestDocumentResponse, type IngestFromSourceRequest, type IngestFromSourceResponse, type IngestMarkdownBatchRequest, type IngestMarkdownRequest, type IngestMarkdownResponse, type IngestRdfRequest, type IngestRdfResponse, type IngestionConfigDto, type IngestionSessionResponse, type IngestionSessionStatusDto, type IngestionStatsDto, type IntegerValue, type IntegrationGroupDto, type IntentionDto, type Interceptor, InternalServerError, type InterventionObservationRequest, type InterventionObservationResponse, type InterventionRequest, type InterventionResponse, type KbChangeDto, type KbChangeType, type LatticeVisualizationRequest, type LatticeVisualizationResponse, type LayoutAlgorithmDto, type LayoutDirectionDto, type LearnPatternRequest, type LearnPatternResponse, type ListIncompleteDocumentsResponse, type ListIngestionSessionsResponse, type ListPatternsResponse, type ListScenariosResponse, type ListSourcesResponse, type ListValue, type LiteralInputDto, type LubRequest, type LubResponse, type MarkMessagesReadRequest, type MarkMessagesReadResponse, type MarkdownDocumentDto, type MatchedEntityDto, type MathFunctionRequest, type MathFunctionType, type MembershipDto, type MergeEntityRequest, type MetaSortsResponse, type MissingInfoDto, type ModifyActionRequest, type ModularArithRequest, type ModularOperationType, type MotivationStateDto, type NafProveRequest, type NafProveResponse, type NamespaceDto, NetworkError, type NlQueryRequest, type NlQueryResponse, NotFoundError, type NumberToStringRequest, type ObserveMultiRequest, type ObserveMultiResponse, type ObservePairRequest, type ObservePairResponse, type ObserveSingleRequest, type ObserveSingleResponse, type OcrConfigDto, type OsfSearchRequest, type OsfSearchResponse, type OsfSearchStatsDto, type PaginationParams, type ParsedDocumentMetadataDto, type PartialCorrelationRequest, type PartialCorrelationResponse, type PredictEffectRequest, type PredictEffectResponse, type PredictFromDiscoveryRequest, type PredictFromDiscoveryResponse, type ProofDto, type ProofNodeDto, type ProofStatisticsDto, type ProvenanceTagDto, type ProvideFeedbackRequest, type ProvideFeedbackResponse, type PsiTermDto, type QueryResultDto, type QueryTerm, RateLimitError, type RateLimitInfo, type RdfFormatDto, type ReExtractRequest, type RealValue, ReasoningLayerClient, ReasoningLayerError, type RecallEpisodesRequest, type RecallEpisodesResponse, type RecalledEpisodeDto, type ReferenceValue, type RegisterSourceRequest, type RegisterSourceResponse, type RejectActionRequest, type RejectEntityRequest, type RelOpDto, type RelationalArithRequest, type RequestOptions, type ResidualWitnessDto, type ResiduationDto, type ResiduationKind, type ResiduationRequest, type ResiduationResponse, type ResiduationStateFilter, type ResiduationStateRequest, type ResiduationStateResponse, type ResourceCoordinationRequest, type ResourceSpec, type ResumeDocumentIngestionRequest, type ResumeDocumentIngestionResponse, type ResumptionOptionDto, 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 RuleUtilityDto, type RunCycleRequest, type RunCycleResponse, SDK_VERSION, type ScenarioDto, type SearchCommunitiesRequest, type SearchCommunitiesResponse, type SearchStatsDto, type SearchStrategyDto, type SendMessageRequest, type SendMessageResponse, type SetSortSimilarityRequest, type SetValue, type SolutionDto, type SolveConstraintRequest, type SolveConstraintResponse, SortBuilder, type SortCompareOperator, type SortCompareRequest, type SortCompareResponse, type SortDto, type SortOriginDto, type SortSimilarityResponse, type SortStatusDto, type SortSuggestionDto, type SortSummaryDto, type SourceDetailResponse, type SourceSummaryDto, type SpaceResponse, type SpaceSearchRequest, type SpaceSearchResponse, type SpaceSolutionDto, type SpaceStatusDto, type StartIngestionSessionRequest, type StatisticalSuccessResponse, type StringCompareOperator, type StringComparePredicateRequest, type StringCompareRequest, type StringConcatRequest, type StringLengthRequest, type StringOpParams, type StringOpRequest, type StringOperationType, type StringValue, type StructuredIngestionStatsDto, type SubstringRequest, type SuspendedQueryDto, type SynthesizeRequest, type SynthesizeResponse, type TemporalPlanRequest, type TermDto, TermInput, type TermInputDto, type TermInputInline, type TermInputInlineByName, type TermInputRef, type TermPatternDto, type TermResponse, type TermState, TimeoutError, type TrailEntryDto, type TrainingExample, type TrapezoidalShape, type TriangularShape, type TriggerDependencyRequest, type TriggerDependencyResponse, type UndoRequest, type UnifiableQueryRequest, type UninstantiatedValue, type UpdateCollectionRequest, type UpdateMetadataRequest, type UpdateReviewStatusRequest, type UpdateScenarioRequest, type UpdateScenarioResponse, type UpdateTermRequest, type ValidatedTermResponse, type ValidatedUnifyResponse, ValidationError, Value, type ValueDto, type ValuePatternDto, type VerifyScenarioRequest, type VerifyScenarioResponse, type VisibilityDto, type VisualizationGraphDto, WebSocketClient, WebSocketConnection, type WitnessInstantiationDto, type WitnessProofDto, allen, discriminateFeatureValue, guard, isUuid, psi };
+export { type ActionReviewDecision, type ActionReviewDto, type ActionReviewSummary, type ActivationDto, type AddBeliefRequest, type AddBeliefResponse, type AddCausalRelationRequest, type AddCausalRelationResponse, type AddCognitiveRuleRequest, type AddCognitiveRuleResponse, type AddConstraintsRequest, 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 ApproveActionRequest, type ApproveEntityRequest, type ApproveLearnedSimilarityRequest, type ApproveLearnedSimilarityResponse, type ArchitectureInfoDto, type ArithValueDto, type ArithmeticConstraintDto, type ArithmeticExprDto, type AscRequest, type AssignValueDto, type AttentionTargetDto, type AttestationDto, type BacktrackResponse, type BacktrackableAssignRequest, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BatchCopyRequest, type BatchStringCompareRequest, type BayesianPredictRequest, type BayesianPredictResponse, type BeliefDto, type BindTermRequest, type BindTermResponse, type BindVariablesRequest, type BindVariablesResponse, type BindingDto, type BitwiseOperationType, type BitwiseRequest, type BooleanValue, type BoundConstraintDto, type BroadcastMessageRequest, type BroadcastMessageResponse, type BulkAddFactsRequest, type BulkAddFactsResponse, type BulkAddRulesRequest, type BulkAddRulesResponse, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkApproveActionsRequest, type BulkApproveRequest, type BulkCreateSortsRequest, type BulkCreateSortsResponse, type BulkMergeRequest, type BulkRejectActionsRequest, type BulkRejectRequest, type BulkSortDefinition, type BySortQueryRequest, 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 CertificateDto, type ChoicePointDto, type ChoiceSelection, type ChrRequest, type ClassifySafetyRequest, type ClassifySafetyResponse, type ClearFactsResponse, type ClientConfig, type CognitiveGoalDto, type CognitiveTermInput, type CollectionDto, type CommitRequest, type CommunityDetectionConfigDto, type CommunityDetectionStatsDto, type CommunityDto, type CommunityMatchDto, type CommunitySearchModeDto, type CommunitySearchStatsDto, type CondRequest, type ConditionalIndependenceRequest, type ConditionalIndependenceResponse, type ConfirmResponse, type ConflictResolution, type ConstraintDto, type ConstraintGraphRequest, type ConstraintGraphResponse, type ConstraintGraphStats, type ConstraintInputDto, type ConstraintSessionStatus, ConstraintViolationError, type ContainmentVerificationDto, type ControlNafRequest, type CopyModeDto, type CopyTermRequest, type CorrectEntityRequest, type CorrelationRequest, type CorrelationResponse, type CounterfactualRequest, type CounterfactualResponse, type CounterfactualTraceDto, type CreateAgentRequest, type CreateAgentResponse, type CreateChildNamespaceRequest, type CreateCognitiveSortRequest, type CreateCognitiveSortResponse, type CreateCollectionRequest, type CreateConstraintSessionRequest, type CreateExecutionSessionRequest, type CreateGoalRequest, type CreateGoalResponse, type CreateRootNamespaceRequest, type CreateScenarioRequest, type CreateScenarioResponse, type CreateSortRequest, type CreateSpaceRequest, type CreateTermRequest, type CuriosityTargetDto, type CutRequest, type CycleDto, type CycleOutcomeDto, type CyclicGaussianShape, type DSeparatedRequest, type DSeparatedResponse, type DecodeGlbResponse, type DeepCopyRequest, type DeleteGoalResponse, type DerivedInferenceRequest, type DerivedInferenceResponse, type DerivedInferenceResultDto, type DetectCommunitiesRequest, type DetectCommunitiesResponse, type DiagnosticsResponse, type DifferentiableFcRequest, type DifferentiableFcResponse, type DiscoverCausalRequest, type DiscoverCausalResponse, type DiscoverEffectsRequest, type DiscoverEffectsResponse, type DiscoverSchemaRequest, type DiscoverSchemaResponse, type DiscoveredEffectDto, type DiscoveredRelationDto, type DiscoveredSortDto, type DiscoveredSourceRelationDto, type DiscoveryStateDto, type DiscoveryStatusResponse, 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 EmbeddingVerificationResponse, type EntailmentRequest, type EntailmentResponse, type EpisodeDto, type EpisodeOutcomeDto, type EpisodeStatsResponse, type ErrorResponse, type EvaluatePatternRequest, type EvaluatePatternResponse, type EvaluatedValueDto, type EvidenceAssessmentRequest, type ExecutionGoalDto, type ExecutionSessionResponse, type ExecutionValueDto, type ExplorationCompleteResponse, type ExplorationProgress, type ExplorationQuestion, type ExplorationStatusResponse, type ExtendedAgentStateDto, type ExtractEntitiesRequest, type ExtractEntitiesResponse, type ExtractedEntityDto, type ExtractedRelationDto, type ExtractionStatsDto, type FdDomainStateDto, type FeatureBindingDto, type FeatureDescriptorDto, FeatureInput, type FeatureInputConstrainedVariable, type FeatureInputInlineTerm, type FeatureInputInlineTermByName, type FeatureInputTermRef, type FeatureInputValueDto, type FeatureInputVariable, type FeaturePair, type FeatureRequirementDto, type FeatureTypeDto, type FeatureValueDto, type FindallRequest, type FixSuggestionDto, type ForallRequest, type FormalJudgeRefinementResponse, type FormalJudgeRequest, type FormalJudgeResponse, type ForwardChainRequest, type ForwardChainResponse, 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 GetCausalModelResponse, type GetFactsResponse, type GetMembershipsRequest, type GetMembershipsResponse, type GetResiduationsRequest, type GetResiduationsResponse, type GetScenarioResponse, type GetSortSimilarityRequest, 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 GroundTruthEntry, type GuardOp, type HomoiconicSubstitutionDto, type HtnMethodDto, type HypergraphRequest, type HypergraphResponse, type ImpasseDto, type Implication, type ImpliesRequest, type IngestDocumentBatchRequest, type IngestDocumentBatchResponse, type IngestDocumentRequest, type IngestDocumentResponse, type IngestFromSourceRequest, type IngestFromSourceResponse, type IngestMarkdownBatchRequest, type IngestMarkdownRequest, type IngestMarkdownResponse, type IngestRdfRequest, type IngestRdfResponse, type IngestionConfigDto, type IngestionSessionResponse, type IngestionSessionStatusDto, type IngestionStatsDto, type IntegerValue, type IntegratedCycleOutcomeDto, type IntegratedEngineConfigDto, type IntegrationGroupDto, type IntentionDto, type Interceptor, InternalServerError, type InterventionObservationRequest, type InterventionObservationResponse, type InterventionRequest, type InterventionResponse, type IterationMetricDto, type JudgeConfigDto, type KbChangeDto, type KbChangeType, type LatticeVisualizationRequest, type LatticeVisualizationResponse, type LayerResultDto, type LayoutAlgorithmDto, type LayoutDirectionDto, type LearnPatternRequest, type LearnPatternResponse, type LearnSortSimilaritiesRequest, type LearnSortSimilaritiesResponse, type LearnedSimilarityDto, type LearnedSimilarityListResponse, type LearnedSimilarityProvenanceDto, type LearnedSimilarityStatusDto, type ListIncompleteDocumentsResponse, type ListIngestionSessionsResponse, type ListPatternsResponse, type ListScenariosResponse, type ListSourcesResponse, type ListValue, type LiteralInputDto, type LubRequest, type LubResponse, type MarkMessagesReadRequest, type MarkMessagesReadResponse, type MarkdownDocumentDto, type MatchedEntityDto, 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, NetworkError, type NeuroSymbolicStatusResponse, type NlQueryRequest, type NlQueryResponse, NotFoundError, type NumberToStringRequest, type ObserveMultiRequest, type ObserveMultiResponse, type ObservePairRequest, type ObservePairResponse, type ObserveSingleRequest, type ObserveSingleResponse, type OcrConfigDto, type OsfSearchRequest, type OsfSearchResponse, type OsfSearchStatsDto, type PaginationParams, type ParsedDocumentMetadataDto, type PartialCorrelationRequest, type PartialCorrelationResponse, type PredictEffectRequest, type PredictEffectResponse, type PredictFromDiscoveryRequest, type PredictFromDiscoveryResponse, type PredictPreferencesRequest, type PredictPreferencesResponse, type PredictionErrorDto, type PreferencePrediction, type ProofDto, type ProofNodeDto, type ProofStatisticsDto, type ProofTraceDto, type ProvenanceTagDto, type ProvideFeedbackRequest, type ProvideFeedbackResponse, type PsiTermDto, 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 RefuteRequest, type RefuteResponse, type RegisterSourceRequest, type RegisterSourceResponse, type RejectActionRequest, type RejectEntityRequest, type RejectLearnedSimilarityRequest, type RejectLearnedSimilarityResponse, type RelOpDto, 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 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 RuleUtilityDto, type RunCycleRequest, type RunCycleResponse, type RunIntegratedCycleRequest, type RunIntegratedCycleResponse, SDK_VERSION, type SafetyModelInfoDto, type SaveWeightsResponse, type ScenarioDto, type SearchCommunitiesRequest, type SearchCommunitiesResponse, type SearchStatsDto, type SearchStrategyDto, type SendMessageRequest, type SendMessageResponse, type SetSortSimilarityRequest, type SetValue, type SoftUnifyRequest, type SoftUnifyResponse, type SolutionDto, type SolveConstraintRequest, type SolveConstraintResponse, type SortBoxRequest, type SortBoxResponse, SortBuilder, type SortCompareOperator, type SortCompareRequest, type SortCompareResponse, type SortDiscoveryRequest, type SortDiscoveryResponse, type SortDto, 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 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 TaggedFactDto, type TaggedFcRequest, type TaggedFcResponse, type TemporalPlanRequest, type TermDto, TermInput, type TermInputDto, type TermInputInline, type TermInputInlineByName, type TermInputRef, type TermPatternDto, type TermResponse, type TermState, TimeoutError, type TrailEntryDto, type TrainingExample, type TrainingTriggerResponse, type TrajectoryStepDto, type TrapezoidalShape, type TriangularShape, type TriggerDependencyRequest, type TriggerDependencyResponse, type UndoRequest, type UnifiableQueryRequest, type UninstantiatedValue, type UpdateCollectionRequest, type UpdateMetadataRequest, type UpdateReviewStatusRequest, type UpdateScenarioRequest, type UpdateScenarioResponse, type UpdateTermRequest, type ValidatedTermResponse, type ValidatedUnifyResponse, ValidationError, Value, type ValueDto, type ValuePatternDto, type VerificationDto, type VerifyScenarioRequest, type VerifyScenarioResponse, type ViolationDto, type VisibilityDto, type VisualizationGraphDto, WebSocketClient, WebSocketConnection, type WeightedFactDto, type WitnessInstantiationDto, type WitnessProofDto, allen, discriminateFeatureValue, guard, isUuid, psi };