@kortexya/reasoninglayer 0.2.6 → 0.2.8

package/dist/index.d.cts

@@ -109,7 +109,7 @@ type JsonValue$1 = string | number | boolean | null | JsonValue$1[] | object;
  * This is the single source of truth for the version constant.
  * The `scripts/release.sh` script updates this value alongside `package.json`.
  */
-declare const SDK_VERSION = "0.2.6";
+declare const SDK_VERSION = "0.2.8";
 /**
  * Configuration for the Reasoning Layer client.
  *
@@ -2632,6 +2632,29 @@ type ConstraintInputDto$1 = {
     relation: string;
     type: "Allen";
 };
+/**
+ * Session status information
+ *
+ * Renamed to avoid utoipa schema collision with the oversight module's
+ * `SessionStatusResponse` (which has `alerts`, `current_score`, etc.).
+ */
+interface ConstraintSessionStatusResponse {
+    all_satisfied: boolean;
+    /** @min 0 */
+    constraint_count: number;
+    /** @format date-time */
+    created_at: string;
+    current_bindings: Record<string, number>;
+    /** @format date-time */
+    last_accessed: string;
+    metadata: Record<string, string>;
+    /** @min 0 */
+    satisfied_count: number;
+    /** @format uuid */
+    session_id: string;
+    /** @min 0 */
+    suspended_count: number;
+}
 /** Containment verification sub-DTO. */
 interface ContainmentVerificationDto$1 {
     /**
@@ -2834,6 +2857,17 @@ interface CreateCollectionRequest$1 {
     /** Tags for categorization */
     tags: string[];
 }
+/**
+ * Request to create a new constraint session
+ *
+ * Renamed to avoid utoipa schema collision with the oversight module's
+ * `CreateSessionRequest` (which has `user_intent`, `initial_steps`, etc.).
+ */
+interface CreateConstraintSessionRequest$1 {
+    description?: string | null;
+    metadata?: object | null;
+    name?: string | null;
+}
 /** Request to create a curried function */
 interface CreateCurriedFunctionRequest$1 {
     /** @min 0 */
@@ -3036,7 +3070,7 @@ interface CreateSpaceRequest$1 {
     /** Choice points to create */
     choice_points: ChoicePointDto$1[];
     /** Initial constraints (for testing/simple cases) */
-    constraints: ConstraintDto$1[];
+    constraints: SpaceConstraintDto$1[];
     /** Description of the computation */
     description?: string | null;
 }
@@ -5441,6 +5475,42 @@ interface FeatureConfigDto$1 {
     /** Feature name for source IDs (default: "source_activity_id") */
     source_feature?: string;
 }
+/** Feature constraint for FeatureSetConstraint */
+type FeatureConstraintDto = {
+    type: "integer_equals";
+    /** @format int64 */
+    value: number;
+} | {
+    type: "integer_min";
+    /** @format int64 */
+    value: number;
+} | {
+    type: "integer_max";
+    /** @format int64 */
+    value: number;
+} | {
+    /** @format int64 */
+    max: number;
+    /** @format int64 */
+    min: number;
+    type: "integer_range";
+} | {
+    type: "string_equals";
+    value: string;
+} | {
+    type: "string_one_of";
+    values: string[];
+} | {
+    allow_subsorts: boolean;
+    sort: string;
+    type: "sort_constraint";
+} | {
+    term_id: string;
+    type: "set_contains";
+} | {
+    term_id: string;
+    type: "set_not_contains";
+};
 /** API representation of a feature descriptor */
 interface FeatureDescriptorDto$1 {
     /** Optional constraint on the feature value */
@@ -13019,6 +13089,190 @@ interface SourceSummaryDto$1 {
     /** Source type */
     source_type: string;
 }
+/**
+ * A constraint in the space
+ *
+ * Renamed from `ConstraintDto` to avoid utoipa schema collision with the
+ * sort-level `ConstraintDto` (Integer/String/Boolean feature constraints).
+ */
+type SpaceConstraintDto$1 = {
+    term1_id: string;
+    term2_id: string;
+    type: "unification";
+} | {
+    expression: string;
+    type: "arithmetic";
+} | {
+    type: "all_different";
+    variables: string[];
+} | {
+    assignment: string;
+    /** @format int64 */
+    id: number;
+    type: "feature_assign";
+    variable: string;
+} | {
+    /** @format int64 */
+    total: number;
+    type: "sum_less_equal";
+    variables: string[];
+} | {
+    /** @format int64 */
+    total: number;
+    type: "sum_greater_equal";
+    variables: string[];
+} | {
+    index: string;
+    result: string;
+    table: number[];
+    type: "element";
+} | {
+    index: string;
+    result: string;
+    type: "element_var_array";
+    vars: string[];
+} | {
+    a: string;
+    b: string;
+    bool: string;
+    type: "reified_equal";
+} | {
+    a: string;
+    b: string;
+    bool: string;
+    type: "reified_less_equal";
+} | {
+    /** @format int64 */
+    total: number;
+    type: "sum_equal";
+    variables: string[];
+} | {
+    lower: number[];
+    type: "set_domain";
+    upper: number[];
+    variable: string;
+} | {
+    /** @min 0 */
+    cardinality: number;
+    type: "set_cardinality_equal";
+    variable: string;
+} | {
+    /** @min 0 */
+    min: number;
+    type: "set_cardinality_min";
+    variable: string;
+} | {
+    /** @min 0 */
+    max: number;
+    type: "set_cardinality_max";
+    variable: string;
+} | {
+    /** @format int64 */
+    element: number;
+    set: string;
+    type: "set_member";
+} | {
+    /** @format int64 */
+    element: number;
+    set: string;
+    type: "set_not_member";
+} | {
+    a: string;
+    b: string;
+    type: "set_subset";
+} | {
+    a: string;
+    b: string;
+    type: "set_disjoint";
+} | {
+    a: string;
+    b: string;
+    result: string;
+    type: "set_union";
+} | {
+    a: string;
+    b: string;
+    result: string;
+    type: "set_intersection";
+} | {
+    a: string;
+    b: string;
+    result: string;
+    type: "set_difference";
+} | {
+    /** Whether to allow subsorts of element_sort (default: true) */
+    allow_subsorts?: boolean;
+    /** Optional sort constraint: all elements must be of this sort */
+    element_sort?: string | null;
+    /** Term IDs that MUST be in the set (as UUID strings) */
+    lower: string[];
+    type: "osf_set_domain";
+    /** Term IDs that MAY be in the set (as UUID strings) */
+    upper: string[];
+    variable: string;
+} | {
+    /** The constraint type and value */
+    constraint: FeatureConstraintDto;
+    /** The feature name to check on each term */
+    feature_name: string;
+    /** The set variable to constrain */
+    set_var: string;
+    type: "feature_set_constraint";
+} | {
+    /** The feature name that holds the set */
+    feature_name: string;
+    /** The FS variable to link to */
+    set_var: string;
+    /** The term whose feature is set-valued (UUID string) */
+    term_id: string;
+    type: "set_feature_link";
+} | {
+    /** @min 0 */
+    cardinality: number;
+    type: "osf_set_cardinality_equal";
+    variable: string;
+} | {
+    /** @min 0 */
+    min: number;
+    type: "osf_set_cardinality_min";
+    variable: string;
+} | {
+    /** @min 0 */
+    max: number;
+    type: "osf_set_cardinality_max";
+    variable: string;
+} | {
+    set: string;
+    term: string;
+    type: "osf_set_member";
+} | {
+    set: string;
+    term: string;
+    type: "osf_set_not_member";
+} | {
+    a: string;
+    b: string;
+    type: "osf_set_subset";
+} | {
+    a: string;
+    b: string;
+    type: "osf_set_disjoint";
+} | {
+    a: string;
+    b: string;
+    result: string;
+    type: "osf_set_union";
+} | {
+    a: string;
+    b: string;
+    result: string;
+    type: "osf_set_intersection";
+} | {
+    a: string;
+    b: string;
+    result: string;
+    type: "osf_set_difference";
+};
 /** Response when creating or querying a space */
 interface SpaceResponse$1 {
     /**
@@ -20598,7 +20852,7 @@ declare class FuzzyClient {
      * @param request - Search request with query term and K.
      * @returns Top-K results sorted by similarity degree.
      */
-    searchTopK(request: FuzzySearchTopKRequest): Promise<FuzzySearchTopKResponse>;
+    searchTopK(request: FuzzySearchTopKRequest): Promise<SimilaritySearchResponse>;
     /**
      * Predict the effect for a query point.
      *
@@ -20650,7 +20904,7 @@ declare class Constraints<SecurityDataType = unknown> {
      * @request POST:/api/v1/constraint-sessions
      * @secure
      */
-    createSession: (data: CreateSessionRequest, params?: RequestParams) => Promise<HttpResponse<CreateSessionResponse, void>>;
+    createSession: (data: CreateConstraintSessionRequest$1, params?: RequestParams) => Promise<HttpResponse<CreateSessionResponse, void>>;
     /**
      * No description
      *
@@ -20670,7 +20924,7 @@ declare class Constraints<SecurityDataType = unknown> {
      * @request GET:/api/v1/constraint-sessions/{session_id}
      * @secure
      */
-    getSessionStatus: (sessionId: string, params?: RequestParams) => Promise<HttpResponse<SessionStatusResponse, void>>;
+    getSessionStatus: (sessionId: string, params?: RequestParams) => Promise<HttpResponse<ConstraintSessionStatusResponse, void>>;
     /**
      * No description
      *
@@ -20680,7 +20934,7 @@ declare class Constraints<SecurityDataType = unknown> {
      * @request GET:/api/v1/constraint-sessions
      * @secure
      */
-    listSessions: (params?: RequestParams) => Promise<HttpResponse<SessionStatusResponse[], void>>;
+    listSessions: (params?: RequestParams) => Promise<HttpResponse<ConstraintSessionStatusResponse[], void>>;
     /**
      * @description For problems where you have all constraints upfront and want immediate results. Uses IncrementalConstraintStore internally with automatic cleanup. Process: 1. Creates temporary constraint store 2. Binds initial variables (if provided) 3. Adds all constraints 4. Solves via automatic propagation 5. Returns solution (store auto-cleans) For incremental solving where constraints arrive over time: Use POST /api/v1/constraint-sessions and related endpoints.
      *
@@ -20693,288 +20947,6 @@ declare class Constraints<SecurityDataType = unknown> {
     solveConstraints: (data: SolveConstraintRequest$1, params?: RequestParams) => Promise<HttpResponse<SolveConstraintResponse$1, void>>;
 }
 
-/** A single step in the agent's execution trajectory. */
-interface TrajectoryStepDto {
-    /** Action/tool name executed. */
-    action: string;
-    /** Agent identifier for multi-agent systems (CrewAI, AutoGen, OpenAI Agents SDK). */
-    agent_id?: string | null;
-    /** Human-readable agent name for multi-agent systems. */
-    agent_name?: string | null;
-    /** Error message if the tool call failed. */
-    error?: string | null;
-    /** Actual content returned by file-reading tools. */
-    file_content?: string | null;
-    /** Tool input parameters (JSON). */
-    input?: unknown;
-    /** Tool output/result (JSON). */
-    output?: unknown;
-    /** Whether the tool call succeeded. */
-    success?: boolean | null;
-    /** ISO 8601 timestamp of the step. */
-    timestamp?: string | null;
-    /** Specific tool identifier (if different from action). */
-    tool_used?: string | null;
-}
-/** 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 {
-    /** Description of the violation. */
-    description: string;
-    /** Related fact ID (if applicable). */
-    related_fact_id?: string | null;
-    /** Severity: "error" or "warning". */
-    severity: string;
-}
-/** A fix suggestion for a violation. */
-interface FixSuggestionDto {
-    /** Confidence in the fix suggestion (0.0-1.0). */
-    confidence: number;
-    /** Human-readable fix description. */
-    description: string;
-    /** Type of fix (e.g., "add_fact", "modify_feature", "narrow_sort", "add_rule"). */
-    fix_type?: string | null;
-}
-/**
- * A failed proof trace with causal chain.
- *
- * @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 | null;
-    /** 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 | null;
-    /** 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 {
-    /** Per-agent sub-verdicts for multi-agent trajectories. */
-    agent_sub_verdicts?: AgentSubVerdictDto[];
-    /** Full validity certificate with per-layer attestations (if safe and enabled). */
-    certificate?: null | CertificateDto;
-    /** Merkle root hash of the validity certificate (if safe). */
-    certificate_hash?: string | null;
-    /** Deception fact map: all 25 atomic deception facts with boolean answers. */
-    deception_fact_map?: object | null;
-    /** Deception predicates that triggered. */
-    detected_deception_predicates?: string[];
-    /** Processing time in milliseconds. */
-    elapsed_ms: number;
-    /** Extraction statistics (deterministic vs. semantic). */
-    extraction_stats: ExtractionStatsDto;
-    /** Number of fabricated facts detected. */
-    fabrications_detected: number;
-    /** Faithfulness/deception detection score (if enabled). */
-    faithfulness_score?: number | null;
-    /** Actionable fix suggestions for violations. */
-    fix_suggestions: FixSuggestionDto[];
-    /** Whether the master deception predicate triggered. */
-    is_deceptive?: boolean | null;
-    /** Per-layer verification results. */
-    layer_results: LayerResultDto[];
-    /** Overall aggregated score (T-norm of layer scores, 0.0-1.0). */
-    overall_score: number;
-    /** Failed proof traces with causal chains for violated constraints. */
-    proof_traces?: ProofTraceDto[];
-    /** Overall verdict: "safe", "unsafe", "partial", or "residuated". */
-    verdict: string;
-    /** Specific constraint violations (if any). */
-    violations: ViolationDto[];
-}
-/** 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;
-}
-/** Request to create a live oversight session. */
-interface CreateOversightSessionRequest {
-    /** Optional pipeline configuration overrides. */
-    config?: JudgeConfigDto | null;
-    /** Optional initial trajectory steps (if some steps already executed). */
-    initial_steps?: TrajectoryStepDto[];
-    /** User instruction (what the agent is being asked to do). */
-    user_intent: string;
-}
-/** Response from creating a live oversight session. */
-interface CreateOversightSessionResponse {
-    /** Unix timestamp (ms) when session was created. */
-    created_at: number;
-    /** Unique session identifier. */
-    session_id: string;
-    /** Session status (should be "active"). */
-    status: string;
-}
-/** Request to finalize a live oversight session. */
-interface FinalizeOversightSessionRequest {
-    /** Optional execution log (for full provenance). */
-    execution_log?: string | null;
-    /** Optional final output from the agent (for faithfulness check). */
-    final_output?: string | null;
-}
-/** Request to ingest a single trajectory step. */
-interface IngestStepRequest {
-    /** The trajectory step to ingest. */
-    step: TrajectoryStepDto;
-}
-/** An alert generated during live oversight. */
-interface OversightAlertDto {
-    /** Agent ID responsible (for multi-agent systems). */
-    agent_id?: string | null;
-    /** Verification layer that triggered the alert. */
-    layer: string;
-    /** Human-readable alert message. */
-    message: string;
-    /** Alert severity: "info", "warning", or "critical". */
-    severity: string;
-    /** Index of the trajectory step that triggered the alert. */
-    step_index: number;
-}
-/** Response from getting session status. */
-interface OversightSessionStatusResponse {
-    /** All alerts accumulated during the session. */
-    alerts?: OversightAlertDto[];
-    /** Unix timestamp (ms) when session was created. */
-    created_at: number;
-    /** Current running score (if any steps verified). */
-    current_score?: number | null;
-    /** Current running verdict (if any steps verified). */
-    current_verdict?: string | null;
-    /** Unique session identifier. */
-    session_id: string;
-    /** Session status: "active", "finalizing", "completed", "cancelled". */
-    status: string;
-    /** Number of steps ingested. */
-    step_count: number;
-    /** Unix timestamp (ms) of last update. */
-    updated_at: number;
-}
-/** Response from ingesting a trajectory step. */
-interface StepVerificationResponse {
-    /** Alerts triggered by this step. */
-    alerts?: OversightAlertDto[];
-    /** Incremental overall score (0.0-1.0). */
-    incremental_score: number;
-    /** Incremental verdict after this step: "safe", "unsafe", "partial", or "residuated". */
-    incremental_verdict: string;
-    /** Index of the ingested step. */
-    step_index: number;
-    /** Total steps ingested so far. */
-    total_steps: number;
-}
-
 /**
  * Layout algorithm hint for graph rendering.
  *
@@ -21589,16 +21561,16 @@ type GeneralConstraintDto = ({
  * Request to create a constraint session.
  *
  * @remarks
- * Matches the generated `CreateSessionRequest` type used by the constraint sessions endpoint.
- * The backend shares the same request shape for both oversight and constraint sessions.
+ * Matches the generated `CreateConstraintSessionRequest` type. Previously collided
+ * with the oversight `CreateSessionRequest` (which has `user_intent`). Now distinct.
  */
 interface CreateConstraintSessionRequest {
-    /** Optional pipeline configuration overrides. */
-    config?: JudgeConfigDto | null;
-    /** Optional initial trajectory steps (if some steps already executed). */
-    initial_steps?: TrajectoryStepDto[];
-    /** User instruction (what the agent is being asked to do). */
-    user_intent: string;
+    /** Optional session name. */
+    name?: string | null;
+    /** Optional session description. */
+    description?: string | null;
+    /** Optional metadata key-value pairs. */
+    metadata?: Record<string, string> | null;
 }
 /**
  * Response from creating a constraint session.
@@ -21619,26 +21591,29 @@ interface CreateConstraintSessionResponse {
  * Full session status returned by `GET /api/v1/constraint-sessions/{session_id}`.
  *
  * @remarks
- * Matches the generated `SessionStatusResponse` type. The backend shares this type
- * between oversight and constraint sessions.
+ * Matches the generated `ConstraintSessionStatusResponse` type. Previously collided
+ * with the oversight `SessionStatusResponse` (which has `alerts`, `current_score`).
+ * Now distinct with constraint solver fields.
  */
 interface ConstraintSessionStatus {
-    /** All alerts accumulated during the session. */
-    alerts?: OversightAlertDto[];
-    /** Unix timestamp (ms) when session was created. */
-    created_at: number;
-    /** Current running score (if any steps verified). */
-    current_score?: number | null;
-    /** Current running verdict (if any steps verified). */
-    current_verdict?: string | null;
     /** Unique session identifier. */
     session_id: string;
-    /** Session status: "active", "finalizing", "completed", "cancelled". */
-    status: string;
-    /** Number of steps ingested. */
-    step_count: number;
-    /** Unix timestamp (ms) of last update. */
-    updated_at: number;
+    /** ISO 8601 timestamp when session was created. */
+    created_at: string;
+    /** ISO 8601 timestamp of last access. */
+    last_accessed: string;
+    /** Total number of constraints in the session. */
+    constraint_count: number;
+    /** Number of satisfied constraints. */
+    satisfied_count: number;
+    /** Number of suspended constraints. */
+    suspended_count: number;
+    /** Current variable bindings. */
+    current_bindings: Record<string, number>;
+    /** Whether all constraints are satisfied. */
+    all_satisfied: boolean;
+    /** Session metadata. */
+    metadata: Record<string, string>;
 }
 /** Request to add constraints to a session. */
 interface AddConstraintsRequest {
@@ -27406,6 +27381,14 @@ declare class Spaces<SecurityDataType = unknown> {
     }, params?: RequestParams) => Promise<HttpResponse<SearchResponse, void>>;
 }
 
+/**
+ * A constraint in a computation space.
+ *
+ * @remarks
+ * Re-exported from generated types. Discriminated union with `type` field.
+ * Supports unification, arithmetic, all_different, set constraints, and OSF set constraints.
+ */
+type SpaceConstraintDto = SpaceConstraintDto$1;
 /**
  * Status of a computation space.
  *
@@ -27503,7 +27486,7 @@ interface CreateSpaceRequest {
     /** Choice points to create. */
     choice_points: ChoicePointDto[];
     /** Initial constraints (for testing/simple cases). */
-    constraints: ConstraintDto[];
+    constraints: SpaceConstraintDto$1[];
     /** Description of the computation. */
     description?: string | null;
 }
@@ -30153,6 +30136,288 @@ declare class Oversight<SecurityDataType = unknown> {
     judgeWithRefinement: (data: FormalJudgeRequest$1, params?: RequestParams) => Promise<HttpResponse<FormalJudgeRefinementResponse$1, void>>;
 }
 
+/** A single step in the agent's execution trajectory. */
+interface TrajectoryStepDto {
+    /** Action/tool name executed. */
+    action: string;
+    /** Agent identifier for multi-agent systems (CrewAI, AutoGen, OpenAI Agents SDK). */
+    agent_id?: string | null;
+    /** Human-readable agent name for multi-agent systems. */
+    agent_name?: string | null;
+    /** Error message if the tool call failed. */
+    error?: string | null;
+    /** Actual content returned by file-reading tools. */
+    file_content?: string | null;
+    /** Tool input parameters (JSON). */
+    input?: unknown;
+    /** Tool output/result (JSON). */
+    output?: unknown;
+    /** Whether the tool call succeeded. */
+    success?: boolean | null;
+    /** ISO 8601 timestamp of the step. */
+    timestamp?: string | null;
+    /** Specific tool identifier (if different from action). */
+    tool_used?: string | null;
+}
+/** 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 {
+    /** Description of the violation. */
+    description: string;
+    /** Related fact ID (if applicable). */
+    related_fact_id?: string | null;
+    /** Severity: "error" or "warning". */
+    severity: string;
+}
+/** A fix suggestion for a violation. */
+interface FixSuggestionDto {
+    /** Confidence in the fix suggestion (0.0-1.0). */
+    confidence: number;
+    /** Human-readable fix description. */
+    description: string;
+    /** Type of fix (e.g., "add_fact", "modify_feature", "narrow_sort", "add_rule"). */
+    fix_type?: string | null;
+}
+/**
+ * A failed proof trace with causal chain.
+ *
+ * @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 | null;
+    /** 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 | null;
+    /** 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 {
+    /** Per-agent sub-verdicts for multi-agent trajectories. */
+    agent_sub_verdicts?: AgentSubVerdictDto[];
+    /** Full validity certificate with per-layer attestations (if safe and enabled). */
+    certificate?: null | CertificateDto;
+    /** Merkle root hash of the validity certificate (if safe). */
+    certificate_hash?: string | null;
+    /** Deception fact map: all 25 atomic deception facts with boolean answers. */
+    deception_fact_map?: object | null;
+    /** Deception predicates that triggered. */
+    detected_deception_predicates?: string[];
+    /** Processing time in milliseconds. */
+    elapsed_ms: number;
+    /** Extraction statistics (deterministic vs. semantic). */
+    extraction_stats: ExtractionStatsDto;
+    /** Number of fabricated facts detected. */
+    fabrications_detected: number;
+    /** Faithfulness/deception detection score (if enabled). */
+    faithfulness_score?: number | null;
+    /** Actionable fix suggestions for violations. */
+    fix_suggestions: FixSuggestionDto[];
+    /** Whether the master deception predicate triggered. */
+    is_deceptive?: boolean | null;
+    /** Per-layer verification results. */
+    layer_results: LayerResultDto[];
+    /** Overall aggregated score (T-norm of layer scores, 0.0-1.0). */
+    overall_score: number;
+    /** Failed proof traces with causal chains for violated constraints. */
+    proof_traces?: ProofTraceDto[];
+    /** Overall verdict: "safe", "unsafe", "partial", or "residuated". */
+    verdict: string;
+    /** Specific constraint violations (if any). */
+    violations: ViolationDto[];
+}
+/** 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;
+}
+/** Request to create a live oversight session. */
+interface CreateOversightSessionRequest {
+    /** Optional pipeline configuration overrides. */
+    config?: JudgeConfigDto | null;
+    /** Optional initial trajectory steps (if some steps already executed). */
+    initial_steps?: TrajectoryStepDto[];
+    /** User instruction (what the agent is being asked to do). */
+    user_intent: string;
+}
+/** Response from creating a live oversight session. */
+interface CreateOversightSessionResponse {
+    /** Unix timestamp (ms) when session was created. */
+    created_at: number;
+    /** Unique session identifier. */
+    session_id: string;
+    /** Session status (should be "active"). */
+    status: string;
+}
+/** Request to finalize a live oversight session. */
+interface FinalizeOversightSessionRequest {
+    /** Optional execution log (for full provenance). */
+    execution_log?: string | null;
+    /** Optional final output from the agent (for faithfulness check). */
+    final_output?: string | null;
+}
+/** Request to ingest a single trajectory step. */
+interface IngestStepRequest {
+    /** The trajectory step to ingest. */
+    step: TrajectoryStepDto;
+}
+/** An alert generated during live oversight. */
+interface OversightAlertDto {
+    /** Agent ID responsible (for multi-agent systems). */
+    agent_id?: string | null;
+    /** Verification layer that triggered the alert. */
+    layer: string;
+    /** Human-readable alert message. */
+    message: string;
+    /** Alert severity: "info", "warning", or "critical". */
+    severity: string;
+    /** Index of the trajectory step that triggered the alert. */
+    step_index: number;
+}
+/** Response from getting session status. */
+interface OversightSessionStatusResponse {
+    /** All alerts accumulated during the session. */
+    alerts?: OversightAlertDto[];
+    /** Unix timestamp (ms) when session was created. */
+    created_at: number;
+    /** Current running score (if any steps verified). */
+    current_score?: number | null;
+    /** Current running verdict (if any steps verified). */
+    current_verdict?: string | null;
+    /** Unique session identifier. */
+    session_id: string;
+    /** Session status: "active", "finalizing", "completed", "cancelled". */
+    status: string;
+    /** Number of steps ingested. */
+    step_count: number;
+    /** Unix timestamp (ms) of last update. */
+    updated_at: number;
+}
+/** Response from ingesting a trajectory step. */
+interface StepVerificationResponse {
+    /** Alerts triggered by this step. */
+    alerts?: OversightAlertDto[];
+    /** Incremental overall score (0.0-1.0). */
+    incremental_score: number;
+    /** Incremental verdict after this step: "safe", "unsafe", "partial", or "residuated". */
+    incremental_verdict: string;
+    /** Index of the ingested step. */
+    step_index: number;
+    /** Total steps ingested so far. */
+    total_steps: number;
+}
+
 /**
  * Resource client for FormalJudge oversight operations.
  *
@@ -36483,4 +36748,4 @@ declare function isUuid(s: string): boolean;
  */
 declare function discriminateFeatureValue(value: unknown): FeatureValueDto;
 
-export { type ActionReviewReasonDto, type ActionReviewResponse, type ActionReviewStatusDto, type ActionReviewSummaryDto, type ActivationDto, type AdaptiveModifyRequest, type AdaptiveModifyResponse, type AddBeliefRequest, type AddBeliefResponse, type AddCausalRelationRequest, type AddCausalRelationResponse, type AddCognitiveRuleRequest, type AddCognitiveRuleResponse, type AddConstraintsRequest, type AddConstraintsResponse, type AddExportRequest, type AddFactRequest, type AddFactResponse, type AddGoalRequest, type AddGoalResponse, type AddHtnMethodRequest, type AddHtnMethodResponse, type AddImportRequest, type AddPendingReviewRequest, type AddRuleRequest, type AddRuleResponse, type AddSymbolRequest, type AddSymbolResponse, type AgentBeliefDto, type AgentConfigDto, type AgentEvent, type AgentEventHandlers, type AgentGoalDto, type AgentStateDto, type AgentSubVerdictDto, type AgentSubscription, type AllenRelation, ApiError, type ApiResponse, type AppendResiduationsRequest, type AppendResiduationsResponse, type ApplyCurriedRequest, type ApplyCurriedResponse, type ApproveActionRequest, type ApproveEntityRequest, type ApproveLearnedSimilarityRequest, type ApproveLearnedSimilarityResponse, type ArchitectureInfoDto, type ArithOpDto, type ArithValueDto, type ArithmeticConstraintDto, type ArithmeticExprDto, type ArithmeticRecursionOp, type ArtifactDto, type AscRequest, type AssertRuleRequest, type AssertRuleResponse, type AssignValueDto, type AttentionTargetDto, type AttestationDto, type AugmentationTargetDto, type BacktrackResponse, type BacktrackTermStoreRequest, type BacktrackTermStoreResponse, type BacktrackableAssignRequest, type BacktrackableAssignResponse, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BatchCopyRequest, type BatchStringCompareRequest, type BayesianEffectDto, type BayesianPredictRequest, type BayesianPredictResponse, type BeliefDto, type BinaryOperatorDto, type BindTermRequest, type BindTermResponse, type BindVariableRequest, type BindVariableResponse, type BindVariablesRequest, type BindVariablesResponse, type BindingDto, type BindingsResponse, type BitwiseOperationType, type BitwiseRequest, type BooleanValue, type BoundConstraintDto, type BroadcastMessageRequest, type BroadcastMessageResponse, type BuildInfoDto, type BulkActionReviewResponse, type BulkAddFactsRequest, type BulkAddFactsResponse, type BulkAddRulesRequest, type BulkAddRulesResponse, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkApproveActionsRequest, type BulkApproveRequest, type BulkCreateSortsRequest, type BulkCreateSortsResponse, type BulkFuzzyProveRequest, type BulkFuzzyProveResponse, type BulkMergeRequest, type BulkRejectActionsRequest, type BulkRejectRequest, type BulkSetSimilaritiesRequest, type BulkSetSimilaritiesResponse, type BulkSortDefinition, type BulkSortError, type BySortQueryRequest, type CalibrateRequest, type CalibrationReportDto, type CallOnceRequest, type CallOnceResponse, type CandidateMatchDto, type CausalAncestorRequest, type CausalAncestorResponse, type CausalChainDto, type CausalEdgeDto, type CausalProofTreeDto, type CausalRelationshipDto$1 as CausalRelationshipDto, type CausesRequest, type CausesResponse, type CdlComponentStatus, type CdlStatusResponse, type CdlVerificationDto, type CertificateDto, type CheckDiversityRequest, type CheckDiversityResponse, type ChoicePointDto, type ChoicePointMarkerResponse, type ChoiceSelection, type ChrRequest, type ChunkFailureDto, type ClarificationQuestionDto, type ClassifySafetyRequest, type ClassifySafetyResponse, type CleanupResponse, type CleanupSessionsResponse, type CleanupStaleSessionsParams, type ClearFactsResponse, type ClearTermsResponse, type ClientConfig, type CognitiveGoalDto, type CognitiveTermInput, type CollectionDto, type CommitRequest, type CommunityDetectionConfigDto, type CommunityDetectionStatsDto, type CommunityDto, type CommunityMatchDto, type CommunityReportDto, type CommunityReportSummaryDto, type CommunitySearchModeDto, type CommunitySearchStatsDto, type CommunityStatsDto, type ComponentDto, type ComponentHealthDto, type ComputeGlbResponse, type ComputeLubResponse, type ConceptMatchDto, type CondRequest, type CondResponse, type ConditionalIndependenceRequest, type ConditionalIndependenceResponse, type ConfirmResponse, type ConflictResolution, type ConstraintCheckDto, type ConstraintDto, type ConstraintGraphRequest, type ConstraintGraphResponse, type ConstraintGraphStats, type ConstraintInputDto, type ConstraintOperator, type ConstraintSessionStatus, ConstraintViolationError, type ContainmentVerificationDto, type ControlNafRequest, type CoordinatedResourceSet, type CopyModeDto, type CopyTermRequest, type CorrectEntityRequest, type CorrelationRequest, type CorrelationResponse, type CounterfactualRequest, type CounterfactualResponse, type CounterfactualTraceDto, type CreateAgentRequest, type CreateAgentResponse, type CreateChildNamespaceRequest, type CreateCognitiveSortRequest, type CreateCognitiveSortResponse, type CreateCollectionRequest, type CreateConstraintSessionRequest, type CreateConstraintSessionResponse, type CreateCurriedFunctionRequest, type CreateExecutionSessionRequest, type CreateGoalRequest, type CreateGoalResponse, type CreateModuleRequest, type CreateModuleResponse, type CreateRootNamespaceRequest, type CreateRuleStoreRequest, type CreateScenarioRequest, type CreateScenarioResponse, type CreateSortRequest, type CreateSpaceRequest, type CreateStoreTermRequest, type CreateTermRequest, type CreateTermStoreRequest, type CreateVariableRequest, type CuriosityTargetDto, type CurriedFunctionResponse, type CurryingContextResponse, type CutRequest, type CutResponse, type CycleDto, type CycleOutcomeDto, type CycleOutcomeSummaryDto, type CyclicGaussianShape, type DSeparatedRequest, type DSeparatedResponse, type DataMixingStatsDto, type DataPointDto, type DatasetStatisticsDto, type DecodeGlbResponse, type DeepCopyRequest, type DegreeDistributionDto, type DeleteGoalResponse, type DeletePlanRequest, type DeletePlanResponse, type DependentInfoDto, type DereferenceRequest, type DereferenceResponse, type DerivedInferenceRequest, type DerivedInferenceResponse, type DerivedInferenceResultDto, type DetectCommunitiesRequest, type DetectCommunitiesResponse, type DetectMissingAttributesRequest, type DiagnosticDto, type DiagnosticsResponse, type DifferentiableFcRequest, type DifferentiableFcResponse, type DiscoverCausalRequest, type DiscoverCausalResponse, type DiscoverEffectsRequest, type DiscoverEffectsResponse, type DiscoverSchemaRequest, type DiscoverSchemaResponse, type DiscoveredFeatureDto, type DiscoveredRelationDto, type DiscoveredSortDto, type DiscoveredSourceRelationDto, type DiscoveryConfigDto, type DiscoveryProofNodeDto, type DiscoveryProofStatsDto, type DiscoveryProofTreeDto, type DiscoveryStateDto, type DiscoveryStatusResponse, type DiscoveryStrategy, type DisentailmentRequest, type DisentailmentResponse, type DiversityAnalysisDto, type DocumentBatchItem, type DocumentBatchResultDto, type DocumentMetadataDto, type DocumentParseStatsDto, type DocumentParser, type DocumentSource, type DocumentType, type DriveDeficitDto, type DriveDto, type DynamicAddSortRequest, type DynamicAddSortResponse, type DynamicDiscoveryRequest, type DynamicDiscoveryResponse, type DynamicQueryClauseDto, type DynamicQueryGroupDto, type DynamicQueryRequest, type DynamicQueryResponse, type DynamicQueryResultDto, type E2ETrainingRequest, type E2ETrainingResponse, type EdgeTypeDto, type EffectDto, type EffectPredictionDto, type EmbeddingVerificationResponse, type EnrichedHealthResponse, type EntailmentRequest, type EntailmentResponse, type EntityDto, type EntityVerificationDetailDto, type EpisodeDto, type EpisodeOutcomeDto, type EpisodeStatsResponse, type EquivalenceClassDto, type ErrorResponse, type EvalBuiltinRequest, type EvalBuiltinResponse, type EvalFunctionInfoDto, type EvaluateFunctionRequest, type EvaluateFunctionResponse, type EvaluatePatternRequest, type EvaluatePatternResponse, type EvaluatedValueDto, type EvaluationResult, type EvidenceAssessmentRequest, type EvidenceAssessmentResponse, type EvidenceItemDto, type EvidenceSourceDto, type ExecutionGoalDto, type ExecutionSessionResponse, type ExecutionSessionStatsResponse, type ExecutionValueDto, type ExplorationCompleteResponse, type ExplorationProgress, type ExplorationQuestion, type ExplorationStatusResponse, type ExportJsonlResponse, type ExpressionDto, type ExtendedAgentStateDto, type ExternalActionSummaryDto, type ExtractEntitiesRequest, type ExtractEntitiesResponse, type ExtractImageRequest, type ExtractImageResponse, type ExtractedEntityDto, type ExtractionPredictionDto, type ExtractionStatsDto, type FactConfidenceEntry, type FactoryResetResponse, type FailedReviewDto, type FdDomainStateDto, type FeatureBindingDto, type FeatureConfigDto, type FeatureDescriptorDto, FeatureInput, type FeatureInputConstrainedVariable, type FeatureInputInlineTerm, type FeatureInputInlineTermByName, type FeatureInputTermRef, type FeatureInputValueDto, type FeatureInputVariable, type FeatureMismatchDto, type FeaturePair, type FeatureRequirementDto, type FeatureTargetDto, type FeatureTypeDto, type FeatureValueDto, type FindBySortRequest, type FindPlansRequest, type FindPlansResponse, type FindRulesRequest, type FindRulesResponse, type FindSimilarRequest, type FindallRequest, type FindallResponse, type FixSuggestionDto, type ForallRequest, type ForallResponse, type FormalJudgeRefinementResponse, type FormalJudgeRequest, type FormalJudgeResponse, type FormalVerdictDto, type ForwardChainRequest, type ForwardChainResponse, type FunctionBodyDto, type FunctionClauseDto, type FunctionGuardDto, type FunctionValueDto, type FuzzyConceptLevel, type FuzzyMergeRequest, type FuzzyMergeResponse, type FuzzyNumberValue, type FuzzyProveRequest, type FuzzyProveResponse, type FuzzyScalarValue, type FuzzySearchResultItem, type FuzzySearchTopKRequest, type FuzzySearchTopKResponse, FuzzyShape, type FuzzyShapeDto, type FuzzySubsumptionRequest, type FuzzySubsumptionResponse, type FuzzyUnifyRequest, type FuzzyUnifyResponse, type GESResultDto, type GFlowNetSampleRequest, type GFlowNetSampleResponse, type GFlowNetTrainResponse, type GaussianShape, type GeneralConstraintDto, type GenerateDocumentRequest, type GenerateDocumentResponse, type GenerateNegativesRequest, type GenerateNegativesResponse, type GenerateOntologyRequest, type GenerateOntologyResponse, type GenerateSyntheticDataRequest, type GenerateSyntheticDataResponse, type GenerationPromptRequest, type GenerationPromptResponse, type GenerationProvenanceDto, type GenerationReportDto, type GenerationVerificationDto, type GetAgentDrivesRequest, type GetAgentStateRequest, type GetAgentStateResponse, type GetBindingsRequest, type GetCausalModelResponse, type GetEpisodeStatsRequest, type GetEquivalenceClassesResponse, type GetExtendedAgentStateRequest, type GetExtendedAgentStateResponse, type GetFactsResponse, type GetMembershipsRequest, type GetMembershipsResponse, type GetPreorderDegreeRequest, type GetPreorderDegreeResponse, type GetResiduationsRequest, type GetResiduationsResponse, type GetScenarioResponse, type GetSortSimilarityRequest, type GetSortSimilarityResponse, type GetStoreTermRequest, type GetStoreTermResponse, type GlbLubComputationTrace, type GlbLubOperation, type GlbLubTraceRequest, type GlbLubTraceStep, type GlbRequest, type GlbResponse, type GlobalAssignRequest, type GlobalAssignResponse, type GlobalGetRequest, type GlobalGetResponse, type GlobalIncrementRequest, type GlobalIncrementResponse, type GoalDto, type GoalEvaluationResultDto, type GoalResiduationRequest, type GoalResiduationResponse, type GoalStackEntryDto, type GoalStackResponse, type GoalSummaryDto, type GraphEdgeDto, type GraphMetadataDto, type GraphNodeDto, type GroundTruthEntry, type GroundingStatsDto, type GuardOp, type HomoiconicSubstitutionDto, type HorizonDto, type HtnMethodDto, type HyperedgeDto, type HyperedgeTypeDto, type HypergraphRequest, type HypergraphResponse, type HypergraphStats, type ImageExtractedEntityDto, type ImageExtractedRelationDto, type ImageExtractionStatsDto, type ImageSuggestedSortDto, type ImpasseDto, type Implication, type ImpliesRequest, type ImpliesResponse, type ImportModuleRequest, type ImportModuleResponse, type IncompleteDocumentDto, type InfeasibleResult, type IngestDocumentBatchRequest, type IngestDocumentBatchResponse, type IngestDocumentRequest, type IngestDocumentResponse, type IngestFromSourceRequest, type IngestFromSourceResponse, type IngestMarkdownBatchRequest, type IngestMarkdownRequest, type IngestMarkdownResponse, type IngestRdfRequest, type IngestRdfResponse, type IngestionConfigDto, type IngestionSessionResponse, type IngestionSessionStatusDto, type IngestionStatsDto, type IntegerValue, type IntegratedCycleOutcomeDto, type IntegratedEngineConfigDto, type IntegrationGroupDto, type IntentionDto, type Interceptor, InternalServerError, type InterventionObservationRequest, type InterventionObservationResponse, type InterventionRecommendationDto, type InterventionRequest, type InterventionResponse, type InvokeActionRequest, type InvokeActionResponse, type IterationMetricDto, type JsonValue$1 as JsonValue, type JudgeConfigDto, type KBOptimizationConfig, type KBOptimizationResult, type KBResourceConstraint, type KBVariableSpec, type KbChangeDto, type KbChangeType, LP, type LatticeStats, type LatticeVisualizationRequest, type LatticeVisualizationResponse, type LayerResultDto, type LayerResultSummaryDto, type LayoutAlgorithmDto, type LayoutDirectionDto, type LayoutHintsDto, type LazyEvalRequest, type LazyEvalResponse, type LearnFromCorrectionRequest, type LearnFromCorrectionResponse, type LearnPatternConfigDto, type LearnPatternRequest, type LearnPatternResponse, type LearnSortSimilaritiesRequest, type LearnSortSimilaritiesResponse, type LearnedPatternDto, type LearnedSimilarityDto, type LearnedSimilarityListResponse, type LearnedSimilarityProvenanceDto, type LearnedSimilarityStatusDto, type LinearConstraint, type LinearExpression, type LinearProgramDefinition, type ListActionReviewsResponse, type ListEvalFunctionsRequest, type ListEvalFunctionsResponse, type ListExternalActionsResponse, type ListGoalsResponse, type ListIncompleteDocumentsResponse, type ListIngestionSessionsResponse, type ListPatternsResponse, type ListPendingInvocationsResponse, type ListScenariosResponse, type ListSourcesResponse, type ListSymbolsRequest, type ListSymbolsResponse, type ListTenantsResponse, type ListValue, type LiteralInputDto, type LubRequest, type LubResponse, type MarkChoicePointRequest, type MarkMessagesReadRequest, type MarkMessagesReadResponse, type MarkPendingRequest, type MarkPendingResponse, type MarkRuleStoreRequest, type MarkRuleStoreResponse, type MarkTermStoreRequest, type MarkTermStoreResponse, type MarkdownDocumentDto, type MatchedEntityDto, type MaterializationSummaryDto, type MathFunctionRequest, type MathFunctionType, type MeetPreservationDto, type MembershipDto, type MergeEntityRequest, type MetaSortsResponse, type MissingInfoDto, type ModifyActionRequest, type ModularArithRequest, type ModularOperationType, type MonadicFactDto, type MonadicFixpointRequest, type MonadicFixpointResponse, type MotivationStateDto, type NafProveRequest, type NafProveResponse, type NafResponse, type NamespaceDto, type NamespaceListResponse, type NamespaceResponse, type NegativeExampleDto, NetworkError, type NeuroSymbolicStatusResponse, type NlQueryMode, type NlQueryRequest, type NlQueryResponse, type NlQueryResultItem, type NodeTypeDto, NotFoundError, type NumberFormatDto, type NumberToStringRequest, type NumberValueDto, type ObjectiveFunction, type ObserveMultiRequest, type ObserveMultiResponse, type ObservePairRequest, type ObservePairResponse, type ObserveSingleRequest, type ObserveSingleResponse, type OcrConfigDto, type OntologyClarificationQuestionDto, type OntologyRagRequest, type OntologyRagResponse, type OntologyRagStatsDto, type OptimalResult, type OptimizationDirection, type OptimizationResult, type OsfSearchRequest, type OsfSearchResponse, type OsfSearchStatsDto, type PaginationParams, type ParsedDocumentMetadataDto, type PartialCorrelationRequest, type PartialCorrelationResponse, type PatternDto, type PatternSummaryDto, type PendingActionReviewDto, type PendingInvocationDto, type PendingReviewDto$1 as PendingReviewDto, type PipelineQualityStatsDto, type PlanMatchDto, type PositionalArgumentDto, type PredictEffectRequest, type PredictEffectResponse, type PredictFromDiscoveryRequest, type PredictFromDiscoveryResponse, type PredictPreferencesRequest, type PredictPreferencesResponse, type PredictionErrorDto, type PreferencePrediction, type PrerequisiteInfoDto, type ProofDto, type ProofEngineCreateTermResponse, type ProofNodeDto, type ProofStatisticsDto, type ProofTraceDto, type ProvenanceTagDto, type ProvideFeedbackRequest, type ProvideFeedbackResponse, type PsiTermDto, type PushGoalRequest, type PushGoalResponse, type QueryResultDto, type QueryTerm, RateLimitError, type RateLimitInfo, type RdfFormatDto, type ReExtractRequest, type RealValue, ReasoningLayerClient, ReasoningLayerError, type RecallEpisodesRequest, type RecallEpisodesResponse, type RecalledEpisodeDto, type RecordEpisodeRequest, type RecordEpisodeResponse, type RecordSelectionRequest, type RecordSelectionResponse, type ReferenceValue, type ReferencedTermSummary, type ReflectionQueryRequest, type ReflectionQueryResponse, type RefuteRequest, type RefuteResponse, type RegisterExternalActionRequest, type RegisterExternalActionResponse, type RegisterFunctionRequest, type RegisterFunctionResponse, type RegisterSourceRequest, type RegisterSourceResponse, type RejectActionRequest, type RejectEntityRequest, type RejectLearnedSimilarityRequest, type RejectLearnedSimilarityResponse, type RelOpDto, type RelatedInfoDto, type RelationTypeDto, type RelationalArithRequest, type ReleaseResiduationsRequest, type ReleaseResiduationsResponse, type RequestOptions, type ResidualWitnessDto, type ResiduateGoalRequest, type ResiduateGoalResponse, type ResiduatedEntryDto, type ResiduatedTermDto, type ResiduationDetailDto, type ResiduationDto, type ResiduationGoalDto, type ResiduationKind, type ResiduationRequest, type ResiduationResponse, type ResiduationStateDto, type ResiduationStateFilter, type ResiduationStateRequest, type ResiduationStateResponse, type ResiduationStats, type ResolveSymbolRequest, type ResolveSymbolResponse, type ResourceCoordinationRequest, type ResourceCoordinationResponse, type ResourceSpec, type ResumeDocumentIngestionRequest, type ResumeDocumentIngestionResponse, type ResumptionOptionDto, type RetractRuleRequest, type RetractRuleResponse, type ReviewCandidateMatchDto, type ReviewReason, type RootCauseAnalysisRequest, type RootCauseAnalysisResponse, type RootCauseDto, type RootCauseWithProofResponse, type RowIntegrateRequest, type RowIntegrateResponse, type RowMatchDto, type RowSearchRequest, type RowSearchResponse, type RowSimilarityRequest, type RowSimilarityResponse, type RowTypeDto, type RowUnifyRequest, type RowUnifyResponse, type RuleClauseDto, type RuleConstraintDto, type RuleDto, type RuleStoreResponse, type RuleUtilityDto, type RunCycleRequest, type RunCycleResponse, type RunIntegratedCycleRequest, type RunIntegratedCycleResponse, SDK_VERSION, type SafetyModelInfoDto, type SampledHypothesisDto, type SaveWeightsResponse, type ScenarioSummaryDto, type SearchCommunitiesRequest, type SearchCommunitiesResponse, type SearchStatsDto, type SearchStrategyDto, type SendMessageRequest, type SendMessageResponse, type SetFeatureRequest, type SetFeatureResponse, type SetSortSimilarityRequest, type SetSortSimilarityResponse, type SetValue, type SimilarityEntryDto, type SimilarityMatch, type SimilaritySearchResponse, type SingleCopyRequest, type SoftUnifyRequest, type SoftUnifyResponse, type SolutionDto, type SolveConstraintRequest, type SolveConstraintResponse, type SolveOptions, type SortBoxRequest, type SortBoxResponse, SortBuilder, type SortCalibrationDto, type SortCompareOperator, type SortCompareRequest, type SortCompareResponse, type SortDiscoveryRequest, type SortDiscoveryResponse, type SortDto, type SortInfoDto, type SortListResponse, type SortOriginDto, type SortRecommendation, type SortResponse, type SortSimilarityResponse, type SortStatusDto, type SortSuggestionDto, type SortSummaryDto, type SourceDetailResponse, type SourceSummaryDto, type SpaceResponse, type SpaceSearchRequest, type SpaceSearchResponse, type SpaceSolutionDto, type SpaceStatusDto, type SpecificityDto, type StartExplorationRequest, type StartExplorationResponse, type StartIngestionSessionRequest, type StatisticalSuccessResponse, type StorePlanRequest, type StorePlanResponse, type StringCompareOperator, type StringComparePredicateRequest, type StringCompareRequest, type StringConcatRequest, type StringLengthRequest, type StringOpParams, type StringOpRequest, type StringOperationType, type StringValue, type StructuredIngestionStatsDto, type SubscribeToKbRequest, type SubscribeToKbResponse, type SubstringRequest, type SuspendedQueryDto, type SymbolDto, type SymbolKindDto, type SymbolicResultDto, type SynthesizeRequest, type SynthesizeResponse, type TaggedDerivedFact, type TaggedFactDto, type TaggedFcRequest, type TaggedFcResponse, type TaggedFeatureValueDto, type TaggedForwardChainRequest, type TaggedForwardChainResponse, type TemporalPlanRequest, type TemporalPlanResponse, type TenantInfoDto, type TermBindingDto, type TermDto, TermInput, type TermInputDto, type TermInputInline, type TermInputInlineByName, type TermInputRef, type TermListResponse, type TermPatternDto, type TermResponse, type TermState, type TermStoreSessionResponse, TimeoutError, type TokenUsageDto, type ToolCallInfo, type TraceEventDto, type TrailEntryDto, type TrainFromTracesResponse, type TrainingExample, type TrainingExampleDto, type TrainingTriggerResponse, type TrajectoryStepDto, type TrapezoidalShape, type TriangularShape, type TriggerDependencyRequest, type TriggerDependencyResponse, type UncertainEdgeDto, type UndoRequest, type UndoResponse, type UndoRuleStoreRequest, type UndoRuleStoreResponse, type UnifiableQueryRequest, type UnificationQueryResponse, type UnifyTermsRequest, type UnifyTermsResponse, type UninstantiatedValue, type UpdateCollectionRequest, type UpdateMetadataRequest, type UpdatePlanStatsRequest, type UpdatePlanStatsResponse, type UpdateReviewStatusRequest, type UpdateScenarioRequest, type UpdateScenarioResponse, type UpdateTermRequest, type UpdateVisibilityRequest, type ValidateTermRequest, type ValidatedTermResponse, type ValidatedUnifyRequest, type ValidatedUnifyResponse, ValidationError, Value, type ValueDto, type ValuePatternDto, type VariableBounds, type VerbalizationResultDto, type VerbalizeTermRequest, type VerbalizeTermResponse, type VerificationStepDto, type VerifyFaithfulnessRequest, type VerifyFaithfulnessResponse, type VerifyRoundTripRequest, type VerifyRoundTripResponse, type VerifyScenarioRequest, type VerifyScenarioResponse, type ViolationDto, type VisibilityDto, type VisualizationGraphDto, type WaitingConditionDto, type WaitingConditionType, WebSocketClient, WebSocketConnection, type WebhookCallbackRequest, type WebhookCallbackResponse, type WeightedFactDto, type WitnessInstantiationDto, type WitnessProofDto, allen, discriminateFeatureValue, guard, isUuid, psi };
+export { type ActionReviewReasonDto, type ActionReviewResponse, type ActionReviewStatusDto, type ActionReviewSummaryDto, type ActivationDto, type AdaptiveModifyRequest, type AdaptiveModifyResponse, type AddBeliefRequest, type AddBeliefResponse, type AddCausalRelationRequest, type AddCausalRelationResponse, type AddCognitiveRuleRequest, type AddCognitiveRuleResponse, type AddConstraintsRequest, type AddConstraintsResponse, type AddExportRequest, type AddFactRequest, type AddFactResponse, type AddGoalRequest, type AddGoalResponse, type AddHtnMethodRequest, type AddHtnMethodResponse, type AddImportRequest, type AddPendingReviewRequest, type AddRuleRequest, type AddRuleResponse, type AddSymbolRequest, type AddSymbolResponse, type AgentBeliefDto, type AgentConfigDto, type AgentEvent, type AgentEventHandlers, type AgentGoalDto, type AgentStateDto, type AgentSubVerdictDto, type AgentSubscription, type AllenRelation, ApiError, type ApiResponse, type AppendResiduationsRequest, type AppendResiduationsResponse, type ApplyCurriedRequest, type ApplyCurriedResponse, type ApproveActionRequest, type ApproveEntityRequest, type ApproveLearnedSimilarityRequest, type ApproveLearnedSimilarityResponse, type ArchitectureInfoDto, type ArithOpDto, type ArithValueDto, type ArithmeticConstraintDto, type ArithmeticExprDto, type ArithmeticRecursionOp, type ArtifactDto, type AscRequest, type AssertRuleRequest, type AssertRuleResponse, type AssignValueDto, type AttentionTargetDto, type AttestationDto, type AugmentationTargetDto, type BacktrackResponse, type BacktrackTermStoreRequest, type BacktrackTermStoreResponse, type BacktrackableAssignRequest, type BacktrackableAssignResponse, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BatchCopyRequest, type BatchStringCompareRequest, type BayesianEffectDto, type BayesianPredictRequest, type BayesianPredictResponse, type BeliefDto, type BinaryOperatorDto, type BindTermRequest, type BindTermResponse, type BindVariableRequest, type BindVariableResponse, type BindVariablesRequest, type BindVariablesResponse, type BindingDto, type BindingsResponse, type BitwiseOperationType, type BitwiseRequest, type BooleanValue, type BoundConstraintDto, type BroadcastMessageRequest, type BroadcastMessageResponse, type BuildInfoDto, type BulkActionReviewResponse, type BulkAddFactsRequest, type BulkAddFactsResponse, type BulkAddRulesRequest, type BulkAddRulesResponse, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkApproveActionsRequest, type BulkApproveRequest, type BulkCreateSortsRequest, type BulkCreateSortsResponse, type BulkFuzzyProveRequest, type BulkFuzzyProveResponse, type BulkMergeRequest, type BulkRejectActionsRequest, type BulkRejectRequest, type BulkSetSimilaritiesRequest, type BulkSetSimilaritiesResponse, type BulkSortDefinition, type BulkSortError, type BySortQueryRequest, type CalibrateRequest, type CalibrationReportDto, type CallOnceRequest, type CallOnceResponse, type CandidateMatchDto, type CausalAncestorRequest, type CausalAncestorResponse, type CausalChainDto, type CausalEdgeDto, type CausalProofTreeDto, type CausalRelationshipDto$1 as CausalRelationshipDto, type CausesRequest, type CausesResponse, type CdlComponentStatus, type CdlStatusResponse, type CdlVerificationDto, type CertificateDto, type CheckDiversityRequest, type CheckDiversityResponse, type ChoicePointDto, type ChoicePointMarkerResponse, type ChoiceSelection, type ChrRequest, type ChunkFailureDto, type ClarificationQuestionDto, type ClassifySafetyRequest, type ClassifySafetyResponse, type CleanupResponse, type CleanupSessionsResponse, type CleanupStaleSessionsParams, type ClearFactsResponse, type ClearTermsResponse, type ClientConfig, type CognitiveGoalDto, type CognitiveTermInput, type CollectionDto, type CommitRequest, type CommunityDetectionConfigDto, type CommunityDetectionStatsDto, type CommunityDto, type CommunityMatchDto, type CommunityReportDto, type CommunityReportSummaryDto, type CommunitySearchModeDto, type CommunitySearchStatsDto, type CommunityStatsDto, type ComponentDto, type ComponentHealthDto, type ComputeGlbResponse, type ComputeLubResponse, type ConceptMatchDto, type CondRequest, type CondResponse, type ConditionalIndependenceRequest, type ConditionalIndependenceResponse, type ConfirmResponse, type ConflictResolution, type ConstraintCheckDto, type ConstraintDto, type ConstraintGraphRequest, type ConstraintGraphResponse, type ConstraintGraphStats, type ConstraintInputDto, type ConstraintOperator, type ConstraintSessionStatus, ConstraintViolationError, type ContainmentVerificationDto, type ControlNafRequest, type CoordinatedResourceSet, type CopyModeDto, type CopyTermRequest, type CorrectEntityRequest, type CorrelationRequest, type CorrelationResponse, type CounterfactualRequest, type CounterfactualResponse, type CounterfactualTraceDto, type CreateAgentRequest, type CreateAgentResponse, type CreateChildNamespaceRequest, type CreateCognitiveSortRequest, type CreateCognitiveSortResponse, type CreateCollectionRequest, type CreateConstraintSessionRequest, type CreateConstraintSessionResponse, type CreateCurriedFunctionRequest, type CreateExecutionSessionRequest, type CreateGoalRequest, type CreateGoalResponse, type CreateModuleRequest, type CreateModuleResponse, type CreateRootNamespaceRequest, type CreateRuleStoreRequest, type CreateScenarioRequest, type CreateScenarioResponse, type CreateSortRequest, type CreateSpaceRequest, type CreateStoreTermRequest, type CreateTermRequest, type CreateTermStoreRequest, type CreateVariableRequest, type CuriosityTargetDto, type CurriedFunctionResponse, type CurryingContextResponse, type CutRequest, type CutResponse, type CycleDto, type CycleOutcomeDto, type CycleOutcomeSummaryDto, type CyclicGaussianShape, type DSeparatedRequest, type DSeparatedResponse, type DataMixingStatsDto, type DataPointDto, type DatasetStatisticsDto, type DecodeGlbResponse, type DeepCopyRequest, type DegreeDistributionDto, type DeleteGoalResponse, type DeletePlanRequest, type DeletePlanResponse, type DependentInfoDto, type DereferenceRequest, type DereferenceResponse, type DerivedInferenceRequest, type DerivedInferenceResponse, type DerivedInferenceResultDto, type DetectCommunitiesRequest, type DetectCommunitiesResponse, type DetectMissingAttributesRequest, type DiagnosticDto, type DiagnosticsResponse, type DifferentiableFcRequest, type DifferentiableFcResponse, type DiscoverCausalRequest, type DiscoverCausalResponse, type DiscoverEffectsRequest, type DiscoverEffectsResponse, type DiscoverSchemaRequest, type DiscoverSchemaResponse, type DiscoveredFeatureDto, type DiscoveredRelationDto, type DiscoveredSortDto, type DiscoveredSourceRelationDto, type DiscoveryConfigDto, type DiscoveryProofNodeDto, type DiscoveryProofStatsDto, type DiscoveryProofTreeDto, type DiscoveryStateDto, type DiscoveryStatusResponse, type DiscoveryStrategy, type DisentailmentRequest, type DisentailmentResponse, type DiversityAnalysisDto, type DocumentBatchItem, type DocumentBatchResultDto, type DocumentMetadataDto, type DocumentParseStatsDto, type DocumentParser, type DocumentSource, type DocumentType, type DriveDeficitDto, type DriveDto, type DynamicAddSortRequest, type DynamicAddSortResponse, type DynamicDiscoveryRequest, type DynamicDiscoveryResponse, type DynamicQueryClauseDto, type DynamicQueryGroupDto, type DynamicQueryRequest, type DynamicQueryResponse, type DynamicQueryResultDto, type E2ETrainingRequest, type E2ETrainingResponse, type EdgeTypeDto, type EffectDto, type EffectPredictionDto, type EmbeddingVerificationResponse, type EnrichedHealthResponse, type EntailmentRequest, type EntailmentResponse, type EntityDto, type EntityVerificationDetailDto, type EpisodeDto, type EpisodeOutcomeDto, type EpisodeStatsResponse, type EquivalenceClassDto, type ErrorResponse, type EvalBuiltinRequest, type EvalBuiltinResponse, type EvalFunctionInfoDto, type EvaluateFunctionRequest, type EvaluateFunctionResponse, type EvaluatePatternRequest, type EvaluatePatternResponse, type EvaluatedValueDto, type EvaluationResult, type EvidenceAssessmentRequest, type EvidenceAssessmentResponse, type EvidenceItemDto, type EvidenceSourceDto, type ExecutionGoalDto, type ExecutionSessionResponse, type ExecutionSessionStatsResponse, type ExecutionValueDto, type ExplorationCompleteResponse, type ExplorationProgress, type ExplorationQuestion, type ExplorationStatusResponse, type ExportJsonlResponse, type ExpressionDto, type ExtendedAgentStateDto, type ExternalActionSummaryDto, type ExtractEntitiesRequest, type ExtractEntitiesResponse, type ExtractImageRequest, type ExtractImageResponse, type ExtractedEntityDto, type ExtractionPredictionDto, type ExtractionStatsDto, type FactConfidenceEntry, type FactoryResetResponse, type FailedReviewDto, type FdDomainStateDto, type FeatureBindingDto, type FeatureConfigDto, type FeatureDescriptorDto, FeatureInput, type FeatureInputConstrainedVariable, type FeatureInputInlineTerm, type FeatureInputInlineTermByName, type FeatureInputTermRef, type FeatureInputValueDto, type FeatureInputVariable, type FeatureMismatchDto, type FeaturePair, type FeatureRequirementDto, type FeatureTargetDto, type FeatureTypeDto, type FeatureValueDto, type FindBySortRequest, type FindPlansRequest, type FindPlansResponse, type FindRulesRequest, type FindRulesResponse, type FindSimilarRequest, type FindallRequest, type FindallResponse, type FixSuggestionDto, type ForallRequest, type ForallResponse, type FormalJudgeRefinementResponse, type FormalJudgeRequest, type FormalJudgeResponse, type FormalVerdictDto, type ForwardChainRequest, type ForwardChainResponse, type FunctionBodyDto, type FunctionClauseDto, type FunctionGuardDto, type FunctionValueDto, type FuzzyConceptLevel, type FuzzyMergeRequest, type FuzzyMergeResponse, type FuzzyNumberValue, type FuzzyProveRequest, type FuzzyProveResponse, type FuzzyScalarValue, type FuzzySearchResultItem, type FuzzySearchTopKRequest, type FuzzySearchTopKResponse, FuzzyShape, type FuzzyShapeDto, type FuzzySubsumptionRequest, type FuzzySubsumptionResponse, type FuzzyUnifyRequest, type FuzzyUnifyResponse, type GESResultDto, type GFlowNetSampleRequest, type GFlowNetSampleResponse, type GFlowNetTrainResponse, type GaussianShape, type GeneralConstraintDto, type GenerateDocumentRequest, type GenerateDocumentResponse, type GenerateNegativesRequest, type GenerateNegativesResponse, type GenerateOntologyRequest, type GenerateOntologyResponse, type GenerateSyntheticDataRequest, type GenerateSyntheticDataResponse, type GenerationPromptRequest, type GenerationPromptResponse, type GenerationProvenanceDto, type GenerationReportDto, type GenerationVerificationDto, type GetAgentDrivesRequest, type GetAgentStateRequest, type GetAgentStateResponse, type GetBindingsRequest, type GetCausalModelResponse, type GetEpisodeStatsRequest, type GetEquivalenceClassesResponse, type GetExtendedAgentStateRequest, type GetExtendedAgentStateResponse, type GetFactsResponse, type GetMembershipsRequest, type GetMembershipsResponse, type GetPreorderDegreeRequest, type GetPreorderDegreeResponse, type GetResiduationsRequest, type GetResiduationsResponse, type GetScenarioResponse, type GetSortSimilarityRequest, type GetSortSimilarityResponse, type GetStoreTermRequest, type GetStoreTermResponse, type GlbLubComputationTrace, type GlbLubOperation, type GlbLubTraceRequest, type GlbLubTraceStep, type GlbRequest, type GlbResponse, type GlobalAssignRequest, type GlobalAssignResponse, type GlobalGetRequest, type GlobalGetResponse, type GlobalIncrementRequest, type GlobalIncrementResponse, type GoalDto, type GoalEvaluationResultDto, type GoalResiduationRequest, type GoalResiduationResponse, type GoalStackEntryDto, type GoalStackResponse, type GoalSummaryDto, type GraphEdgeDto, type GraphMetadataDto, type GraphNodeDto, type GroundTruthEntry, type GroundingStatsDto, type GuardOp, type HomoiconicSubstitutionDto, type HorizonDto, type HtnMethodDto, type HyperedgeDto, type HyperedgeTypeDto, type HypergraphRequest, type HypergraphResponse, type HypergraphStats, type ImageExtractedEntityDto, type ImageExtractedRelationDto, type ImageExtractionStatsDto, type ImageSuggestedSortDto, type ImpasseDto, type Implication, type ImpliesRequest, type ImpliesResponse, type ImportModuleRequest, type ImportModuleResponse, type IncompleteDocumentDto, type InfeasibleResult, type IngestDocumentBatchRequest, type IngestDocumentBatchResponse, type IngestDocumentRequest, type IngestDocumentResponse, type IngestFromSourceRequest, type IngestFromSourceResponse, type IngestMarkdownBatchRequest, type IngestMarkdownRequest, type IngestMarkdownResponse, type IngestRdfRequest, type IngestRdfResponse, type IngestionConfigDto, type IngestionSessionResponse, type IngestionSessionStatusDto, type IngestionStatsDto, type IntegerValue, type IntegratedCycleOutcomeDto, type IntegratedEngineConfigDto, type IntegrationGroupDto, type IntentionDto, type Interceptor, InternalServerError, type InterventionObservationRequest, type InterventionObservationResponse, type InterventionRecommendationDto, type InterventionRequest, type InterventionResponse, type InvokeActionRequest, type InvokeActionResponse, type IterationMetricDto, type JsonValue$1 as JsonValue, type JudgeConfigDto, type KBOptimizationConfig, type KBOptimizationResult, type KBResourceConstraint, type KBVariableSpec, type KbChangeDto, type KbChangeType, LP, type LatticeStats, type LatticeVisualizationRequest, type LatticeVisualizationResponse, type LayerResultDto, type LayerResultSummaryDto, type LayoutAlgorithmDto, type LayoutDirectionDto, type LayoutHintsDto, type LazyEvalRequest, type LazyEvalResponse, type LearnFromCorrectionRequest, type LearnFromCorrectionResponse, type LearnPatternConfigDto, type LearnPatternRequest, type LearnPatternResponse, type LearnSortSimilaritiesRequest, type LearnSortSimilaritiesResponse, type LearnedPatternDto, type LearnedSimilarityDto, type LearnedSimilarityListResponse, type LearnedSimilarityProvenanceDto, type LearnedSimilarityStatusDto, type LinearConstraint, type LinearExpression, type LinearProgramDefinition, type ListActionReviewsResponse, type ListEvalFunctionsRequest, type ListEvalFunctionsResponse, type ListExternalActionsResponse, type ListGoalsResponse, type ListIncompleteDocumentsResponse, type ListIngestionSessionsResponse, type ListPatternsResponse, type ListPendingInvocationsResponse, type ListScenariosResponse, type ListSourcesResponse, type ListSymbolsRequest, type ListSymbolsResponse, type ListTenantsResponse, type ListValue, type LiteralInputDto, type LubRequest, type LubResponse, type MarkChoicePointRequest, type MarkMessagesReadRequest, type MarkMessagesReadResponse, type MarkPendingRequest, type MarkPendingResponse, type MarkRuleStoreRequest, type MarkRuleStoreResponse, type MarkTermStoreRequest, type MarkTermStoreResponse, type MarkdownDocumentDto, type MatchedEntityDto, type MaterializationSummaryDto, type MathFunctionRequest, type MathFunctionType, type MeetPreservationDto, type MembershipDto, type MergeEntityRequest, type MetaSortsResponse, type MissingInfoDto, type ModifyActionRequest, type ModularArithRequest, type ModularOperationType, type MonadicFactDto, type MonadicFixpointRequest, type MonadicFixpointResponse, type MotivationStateDto, type NafProveRequest, type NafProveResponse, type NafResponse, type NamespaceDto, type NamespaceListResponse, type NamespaceResponse, type NegativeExampleDto, NetworkError, type NeuroSymbolicStatusResponse, type NlQueryMode, type NlQueryRequest, type NlQueryResponse, type NlQueryResultItem, type NodeTypeDto, NotFoundError, type NumberFormatDto, type NumberToStringRequest, type NumberValueDto, type ObjectiveFunction, type ObserveMultiRequest, type ObserveMultiResponse, type ObservePairRequest, type ObservePairResponse, type ObserveSingleRequest, type ObserveSingleResponse, type OcrConfigDto, type OntologyClarificationQuestionDto, type OntologyRagRequest, type OntologyRagResponse, type OntologyRagStatsDto, type OptimalResult, type OptimizationDirection, type OptimizationResult, type OsfSearchRequest, type OsfSearchResponse, type OsfSearchStatsDto, type PaginationParams, type ParsedDocumentMetadataDto, type PartialCorrelationRequest, type PartialCorrelationResponse, type PatternDto, type PatternSummaryDto, type PendingActionReviewDto, type PendingInvocationDto, type PendingReviewDto$1 as PendingReviewDto, type PipelineQualityStatsDto, type PlanMatchDto, type PositionalArgumentDto, type PredictEffectRequest, type PredictEffectResponse, type PredictFromDiscoveryRequest, type PredictFromDiscoveryResponse, type PredictPreferencesRequest, type PredictPreferencesResponse, type PredictionErrorDto, type PreferencePrediction, type PrerequisiteInfoDto, type ProofDto, type ProofEngineCreateTermResponse, type ProofNodeDto, type ProofStatisticsDto, type ProofTraceDto, type ProvenanceTagDto, type ProvideFeedbackRequest, type ProvideFeedbackResponse, type PsiTermDto, type PushGoalRequest, type PushGoalResponse, type QueryResultDto, type QueryTerm, RateLimitError, type RateLimitInfo, type RdfFormatDto, type ReExtractRequest, type RealValue, ReasoningLayerClient, ReasoningLayerError, type RecallEpisodesRequest, type RecallEpisodesResponse, type RecalledEpisodeDto, type RecordEpisodeRequest, type RecordEpisodeResponse, type RecordSelectionRequest, type RecordSelectionResponse, type ReferenceValue, type ReferencedTermSummary, type ReflectionQueryRequest, type ReflectionQueryResponse, type RefuteRequest, type RefuteResponse, type RegisterExternalActionRequest, type RegisterExternalActionResponse, type RegisterFunctionRequest, type RegisterFunctionResponse, type RegisterSourceRequest, type RegisterSourceResponse, type RejectActionRequest, type RejectEntityRequest, type RejectLearnedSimilarityRequest, type RejectLearnedSimilarityResponse, type RelOpDto, type RelatedInfoDto, type RelationTypeDto, type RelationalArithRequest, type ReleaseResiduationsRequest, type ReleaseResiduationsResponse, type RequestOptions, type ResidualWitnessDto, type ResiduateGoalRequest, type ResiduateGoalResponse, type ResiduatedEntryDto, type ResiduatedTermDto, type ResiduationDetailDto, type ResiduationDto, type ResiduationGoalDto, type ResiduationKind, type ResiduationRequest, type ResiduationResponse, type ResiduationStateDto, type ResiduationStateFilter, type ResiduationStateRequest, type ResiduationStateResponse, type ResiduationStats, type ResolveSymbolRequest, type ResolveSymbolResponse, type ResourceCoordinationRequest, type ResourceCoordinationResponse, type ResourceSpec, type ResumeDocumentIngestionRequest, type ResumeDocumentIngestionResponse, type ResumptionOptionDto, type RetractRuleRequest, type RetractRuleResponse, type ReviewCandidateMatchDto, type ReviewReason, type RootCauseAnalysisRequest, type RootCauseAnalysisResponse, type RootCauseDto, type RootCauseWithProofResponse, type RowIntegrateRequest, type RowIntegrateResponse, type RowMatchDto, type RowSearchRequest, type RowSearchResponse, type RowSimilarityRequest, type RowSimilarityResponse, type RowTypeDto, type RowUnifyRequest, type RowUnifyResponse, type RuleClauseDto, type RuleConstraintDto, type RuleDto, type RuleStoreResponse, type RuleUtilityDto, type RunCycleRequest, type RunCycleResponse, type RunIntegratedCycleRequest, type RunIntegratedCycleResponse, SDK_VERSION, type SafetyModelInfoDto, type SampledHypothesisDto, type SaveWeightsResponse, type ScenarioSummaryDto, type SearchCommunitiesRequest, type SearchCommunitiesResponse, type SearchStatsDto, type SearchStrategyDto, type SendMessageRequest, type SendMessageResponse, type SetFeatureRequest, type SetFeatureResponse, type SetSortSimilarityRequest, type SetSortSimilarityResponse, type SetValue, type SimilarityEntryDto, type SimilarityMatch, type SimilaritySearchResponse, type SingleCopyRequest, type SoftUnifyRequest, type SoftUnifyResponse, type SolutionDto, type SolveConstraintRequest, type SolveConstraintResponse, type SolveOptions, type SortBoxRequest, type SortBoxResponse, SortBuilder, type SortCalibrationDto, type SortCompareOperator, type SortCompareRequest, type SortCompareResponse, type SortDiscoveryRequest, type SortDiscoveryResponse, type SortDto, type SortInfoDto, type SortListResponse, type SortOriginDto, type SortRecommendation, type SortResponse, type SortSimilarityResponse, type SortStatusDto, type SortSuggestionDto, type SortSummaryDto, type SourceDetailResponse, type SourceSummaryDto, type SpaceConstraintDto, type SpaceResponse, type SpaceSearchRequest, type SpaceSearchResponse, type SpaceSolutionDto, type SpaceStatusDto, type SpecificityDto, type StartExplorationRequest, type StartExplorationResponse, type StartIngestionSessionRequest, type StatisticalSuccessResponse, type StorePlanRequest, type StorePlanResponse, type StringCompareOperator, type StringComparePredicateRequest, type StringCompareRequest, type StringConcatRequest, type StringLengthRequest, type StringOpParams, type StringOpRequest, type StringOperationType, type StringValue, type StructuredIngestionStatsDto, type SubscribeToKbRequest, type SubscribeToKbResponse, type SubstringRequest, type SuspendedQueryDto, type SymbolDto, type SymbolKindDto, type SymbolicResultDto, type SynthesizeRequest, type SynthesizeResponse, type TaggedDerivedFact, type TaggedFactDto, type TaggedFcRequest, type TaggedFcResponse, type TaggedFeatureValueDto, type TaggedForwardChainRequest, type TaggedForwardChainResponse, type TemporalPlanRequest, type TemporalPlanResponse, type TenantInfoDto, type TermBindingDto, type TermDto, TermInput, type TermInputDto, type TermInputInline, type TermInputInlineByName, type TermInputRef, type TermListResponse, type TermPatternDto, type TermResponse, type TermState, type TermStoreSessionResponse, TimeoutError, type TokenUsageDto, type ToolCallInfo, type TraceEventDto, type TrailEntryDto, type TrainFromTracesResponse, type TrainingExample, type TrainingExampleDto, type TrainingTriggerResponse, type TrajectoryStepDto, type TrapezoidalShape, type TriangularShape, type TriggerDependencyRequest, type TriggerDependencyResponse, type UncertainEdgeDto, type UndoRequest, type UndoResponse, type UndoRuleStoreRequest, type UndoRuleStoreResponse, type UnifiableQueryRequest, type UnificationQueryResponse, type UnifyTermsRequest, type UnifyTermsResponse, type UninstantiatedValue, type UpdateCollectionRequest, type UpdateMetadataRequest, type UpdatePlanStatsRequest, type UpdatePlanStatsResponse, type UpdateReviewStatusRequest, type UpdateScenarioRequest, type UpdateScenarioResponse, type UpdateTermRequest, type UpdateVisibilityRequest, type ValidateTermRequest, type ValidatedTermResponse, type ValidatedUnifyRequest, type ValidatedUnifyResponse, ValidationError, Value, type ValueDto, type ValuePatternDto, type VariableBounds, type VerbalizationResultDto, type VerbalizeTermRequest, type VerbalizeTermResponse, type VerificationStepDto, type VerifyFaithfulnessRequest, type VerifyFaithfulnessResponse, type VerifyRoundTripRequest, type VerifyRoundTripResponse, type VerifyScenarioRequest, type VerifyScenarioResponse, type ViolationDto, type VisibilityDto, type VisualizationGraphDto, type WaitingConditionDto, type WaitingConditionType, WebSocketClient, WebSocketConnection, type WebhookCallbackRequest, type WebhookCallbackResponse, type WeightedFactDto, type WitnessInstantiationDto, type WitnessProofDto, allen, discriminateFeatureValue, guard, isUuid, psi };