@kortexya/reasoninglayer 1.17.0 → 1.19.0

package/dist/index.d.ts

@@ -109,7 +109,7 @@ type JsonValue$1 = string | number | boolean | null | JsonValue$1[] | object;
  * This is the single source of truth for the version constant.
  * The `scripts/release.sh` script updates this value alongside `package.json`.
  */
-declare const SDK_VERSION = "1.17.0";
+declare const SDK_VERSION = "1.19.0";
 /**
  * Authentication mode for the SDK.
  *
@@ -253,13 +253,7 @@ interface HttpResponse<D extends unknown, E extends unknown = unknown> extends R
     error: E;
 }
 type CancelToken = Symbol | string | number;
-declare enum ContentType {
-    Json = "application/json",
-    JsonApi = "application/vnd.api+json",
-    FormData = "multipart/form-data",
-    UrlEncoded = "application/x-www-form-urlencoded",
-    Text = "text/plain"
-}
+type ContentType = "application/json" | "application/vnd.api+json" | "multipart/form-data" | "application/x-www-form-urlencoded" | "text/plain";
 declare class HttpClient<SecurityDataType = unknown> {
     baseUrl: string;
     private securityData;
@@ -401,9 +395,9 @@ type ActionReviewStatusDto$1 = "pending" | "approved" | "rejected" | "modified"
 /** Summary statistics for pending action reviews */
 interface ActionReviewSummaryDto$1 {
     /** Breakdown by action sort */
-    by_action_sort: Record<string, number>;
+    by_action_sort: Partial<Record<string, number>>;
     /** Breakdown by review reason */
-    by_reason: Record<string, number>;
+    by_reason: Partial<Record<string, number>>;
     /**
      * Reviews expiring soon (< 15 minutes)
      * @min 0
@@ -620,14 +614,14 @@ interface AddConnectorResponse$1 {
 }
 /** Request to add constraints to an existing session */
 interface AddConstraintsRequest$1 {
-    bindings?: object | null;
+    bindings?: Partial<Record<string, number>> | null;
     constraints: GeneralConstraintDto$1[];
 }
 /** Response from adding constraints */
 interface AddConstraintsResponse$1 {
     /** @min 0 */
     added_count: number;
-    current_bindings: Record<string, number>;
+    current_bindings: Partial<Record<string, number>>;
     message?: string | null;
     /** @min 0 */
     satisfied_count: number;
@@ -731,7 +725,7 @@ interface AddPendingReviewRequest$1 {
     /** @format double */
     confidence: number;
     entity_id: string;
-    features: Record<string, any>;
+    features: Partial<Record<string, any>>;
     /** @format uuid */
     owner_id: string;
     /** Reason why an entity requires review */
@@ -807,6 +801,13 @@ interface AgUiContextItem {
     /** The value. */
     value?: string;
 }
+/** A function invocation inside a tool call. */
+interface AgUiFunctionCall {
+    /** JSON-encoded arguments. */
+    arguments?: string;
+    /** Function name. */
+    name: string;
+}
 /** A conversation message. */
 interface AgUiMessage {
     /** Text content. */
@@ -818,7 +819,7 @@ interface AgUiMessage {
     /** For `tool` messages: the call this message answers. */
     toolCallId?: string | null;
     /** Tool calls issued by an assistant message. */
-    toolCalls?: any[] | null;
+    toolCalls?: AgUiToolCall[] | null;
 }
 /** A frontend tool definition offered by the client. */
 interface AgUiTool {
@@ -829,6 +830,15 @@ interface AgUiTool {
     /** JSON Schema of the tool parameters. */
     parameters?: any;
 }
+/** A tool call embedded in an assistant message. */
+interface AgUiToolCall {
+    /** The function invocation. */
+    function: AgUiFunctionCall;
+    /** Tool call id. */
+    id: string;
+    /** Call type (`function`). */
+    type?: string;
+}
 /** Belief state DTO. */
 interface AgentBeliefDto$1 {
     /**
@@ -837,7 +847,7 @@ interface AgentBeliefDto$1 {
      */
     confidence: number;
     /** Features as key-value pairs (excluding confidence and source) */
-    features?: Record<string, JsonValue>;
+    features?: Partial<Record<string, JsonValue>>;
     /** Sort name of the belief */
     sort_name: string;
     /** Source */
@@ -882,7 +892,7 @@ interface AgentGoalDto$1 {
      */
     attempts: number;
     /** User-facing features (excluding internal: agent_id, status, priority, attempts, goal_sort, confidence, source, when) */
-    features?: Record<string, JsonValue>;
+    features?: Partial<Record<string, JsonValue>>;
     /** Sort name of the goal (e.g. "tech_conference_plan") */
     goal_sort?: string | null;
     /**
@@ -1229,7 +1239,7 @@ type AnonymizationMode$1 = {
      * Quasi-identifier field definitions.  At least one entry required.
      * Key = field name; value = generalisation strategy.
      */
-    quasi_identifiers: Record<string, object>;
+    quasi_identifiers: Partial<Record<string, object>>;
     type: "k_anonymity";
 } | {
     /**
@@ -1238,7 +1248,7 @@ type AnonymizationMode$1 = {
      * heuristics).  Providing explicit mappings is more reliable for
      * domain-specific schemas.
      */
-    field_identifiers?: Record<string, object>;
+    field_identifiers?: Partial<Record<string, object>>;
     type: "safe_harbor";
 };
 /** Request body for `POST /api/v1/anonymize`. */
@@ -1256,7 +1266,7 @@ interface AnonymizeRequest$1 {
      * caller (e.g. `"42"`) to remain format-agnostic at the API boundary.
      * Maximum 10 000 records per request.
      */
-    records: Record<string, string>[];
+    records: Partial<Record<string, string>>[];
 }
 /** Response body for `POST /api/v1/anonymize`. */
 interface AnonymizeResponse$1 {
@@ -1272,7 +1282,7 @@ interface AnonymizeResponse$1 {
      * Harbor, PHI fields within each record are replaced with
      * `"[SUPPRESSED]"` — no records are removed.
      */
-    output_records: Record<string, string>[];
+    output_records: Partial<Record<string, string>>[];
     /**
      * Safe Harbor de-identification summary.  Present when mode is
      * `safe_harbor`; null otherwise.
@@ -1364,8 +1374,8 @@ interface AntiUnifyResponse$1 {
     lgg_term_id: string;
 }
 interface AppendRequest$1 {
-    data_versions?: Record<string, string>;
-    extra?: Record<string, any>;
+    data_versions?: Partial<Record<string, string>>;
+    extra?: Partial<Record<string, any>>;
     request_hash: string;
     request_path: string;
     response_hash: string;
@@ -1393,7 +1403,7 @@ interface ApplyActionRequest$1 {
     /** Multi-term edits to commit atomically when the action is `Ready`. */
     edits?: TermEditDto[];
     /** Bound input features (`feature → JSON value`). */
-    inputs?: Record<string, any>;
+    inputs?: Partial<Record<string, any>>;
 }
 /** Outcome of applying an action (the `outcome` field discriminates). */
 type ApplyActionResponse$1 = {
@@ -1612,7 +1622,7 @@ interface AssembleContextResponseDto {
 }
 /** Assembled concept DTO */
 interface AssembledConceptDto$1 {
-    features: Record<string, string>;
+    features: Partial<Record<string, string>>;
     name: string;
     /** @format double */
     relevance: number;
@@ -1949,8 +1959,8 @@ interface AuditPage$1 {
  */
 interface AuditRecord$1 {
     actor?: null | UserId;
-    data_versions: Record<string, string>;
-    extra: Record<string, object>;
+    data_versions: Partial<Record<string, string>>;
+    extra: Partial<Record<string, object>>;
     git_revision: string;
     id: AuditRecordId;
     prev_hash: string;
@@ -2022,7 +2032,7 @@ interface AugmentationTargetDto$1 {
  * `ontology/generate` question contract so frontends reuse one form).
  */
 interface AuthoringClarificationQuestionDto$1 {
-    choices?: any[] | null;
+    choices?: string[] | null;
     default?: string | null;
     field: string;
     id: string;
@@ -2047,7 +2057,7 @@ interface AuthzDryRunRequest$1 {
      * sort lattice (an unknown sort name resolves to no ancestors, matching
      * the contract's "empty if unknown").
      */
-    sortAncestors?: any[] | null;
+    sortAncestors?: string[] | null;
     /**
      * Term features for row-level evaluation, as a plain JSON object
      * (string / number / boolean / array values). Omit (or `null`) for a
@@ -2381,7 +2391,7 @@ type BayesianEffectDto$1 = {
     d: number;
     shape: "pi_shape";
 } | {
-    points: any[][];
+    points: [number, number][];
     shape: "piecewise_linear";
 };
 /**
@@ -2472,7 +2482,7 @@ interface BayesianPredictResponse$1 {
  */
 interface BeliefDto$1 {
     /** Features as key-value pairs (raw JSON values) */
-    features?: Record<string, JsonValue>;
+    features?: Partial<Record<string, JsonValue>>;
     /**
      * Sort name for the belief (for human-friendly input)
      * Kept as "sort" for backward compatibility with existing clients
@@ -2543,12 +2553,12 @@ interface BindVariableResponse$1 {
 }
 /** Request to bind variables in a session */
 interface BindVariablesRequest$1 {
-    bindings: Record<string, number>;
+    bindings: Partial<Record<string, number>>;
 }
 /** Response from binding variables */
 interface BindVariablesResponse$1 {
     all_satisfied: boolean;
-    current_bindings: Record<string, number>;
+    current_bindings: Partial<Record<string, number>>;
     message?: string | null;
     /** @min 0 */
     newly_satisfied: number;
@@ -2590,6 +2600,15 @@ interface BindingSummaryDto$1 {
     feature_count: number;
     /** Primary key column names. */
     key_columns: string[];
+    /**
+     * Where those key columns came from, and what that implies for the
+     * durability of ids derived from them (#131).
+     *
+     * The column names cannot say it: `["title"]` looks identical whether a
+     * uniqueness constraint backs it or an operator ticked it, and those two
+     * have opposite durability.
+     */
+    key_provenance: KeyProvenanceDto;
     /** Sort ID (UUID string). */
     sort_id: string;
     /**
@@ -2991,7 +3010,7 @@ interface BulkCreateSortsResponse$1 {
     /** Any errors encountered (sort name -> error message) */
     errors?: BulkSortError$1[];
     /** Mapping of sort name -> sort ID */
-    sort_ids: Record<string, string>;
+    sort_ids: Partial<Record<string, string>>;
 }
 /**
  * Request for bulk fuzzy inference - multiple goals in one HTTP request.
@@ -3005,7 +3024,7 @@ interface BulkFuzzyProveRequest$1 {
      * Array of saved goal IDs to load and prove.
      * Either `goals` or `goal_ids` must be provided, but not both.
      */
-    goal_ids?: any[] | null;
+    goal_ids?: string[] | null;
     /**
      * Array of goals to prove (each goal is a TermInputDto).
      * Either `goals` or `goal_ids` must be provided, but not both.
@@ -3046,7 +3065,7 @@ interface BulkFuzzyProveResponse$1 {
      * TRUE HOMOICONICITY: Goal IDs if goals were saved (when save_goals=true).
      * In the same order as the request goals.
      */
-    goal_ids?: any[] | null;
+    goal_ids?: string[] | null;
     /** Results for each goal, in the same order as the request */
     results: FuzzyProveResponse$1[];
     /**
@@ -3148,7 +3167,7 @@ interface BulkRetractTermsResponse {
 /** Response from bulk review actions */
 interface BulkReviewResponse {
     /** Review IDs that failed with reasons */
-    failed_ids: any[][];
+    failed_ids: [string, string][];
     /**
      * Number of reviews that failed
      * @min 0
@@ -3200,7 +3219,7 @@ interface CalibrateRequest$1 {
     /** Extraction predictions with confidence and correctness. */
     predictions: ExtractionPredictionDto$1[];
     /** Sort ID to name mapping. */
-    sort_names: Record<string, string>;
+    sort_names: Partial<Record<string, string>>;
 }
 /** ECE calibration report. */
 interface CalibrationReportDto$1 {
@@ -3233,7 +3252,7 @@ interface CalibrationSampleDto {
      * Per-class predicted probabilities / scores produced by the classifier.
      * The `true_label` key must be present.  Each value must be in `[0, 1]`.
      */
-    class_scores: Record<string, number>;
+    class_scores: Partial<Record<string, number>>;
     /** Caller-assigned identifier for this sample. */
     input_id: string;
     /** Ground-truth class label for this sample. */
@@ -3271,7 +3290,7 @@ interface CandidateEntityDto {
      */
     confidence?: number;
     /** Extracted features, by name. */
-    features?: Record<string, CandidateValueDto>;
+    features?: Partial<Record<string, CandidateValueDto>>;
     /** Batch-local id, used to attach relations to this entity. */
     local_id: string;
     /** Sort name this entity claims. */
@@ -3402,7 +3421,7 @@ interface CausalActionSpecDto$1 {
 }
 interface CausalAnalyzeAssumptionsDto$1 {
     /** Discovery method allow-list. Defaults to all supported discovery methods. */
-    allowed_methods?: any[] | null;
+    allowed_methods?: string[] | null;
     /** Assignment mechanism for effect/decision questions. Default: observed. */
     assignment?: null | AssignmentMechanismDto;
     /** ANM independence-test config. */
@@ -4032,7 +4051,7 @@ type ClaimVerdictDto = {
 };
 /** Clarification question DTO (reused from ontology_generate pattern). */
 interface ClarificationQuestionDto$1 {
-    choices?: any[] | null;
+    choices?: string[] | null;
     default?: string | null;
     field: string;
     id: string;
@@ -4082,7 +4101,7 @@ interface ClassifyProblemRequest$1 {
      * Variables to classify.  Omit (or send empty) to classify every
      * binary variable.
      */
-    variables_of_interest?: any[] | null;
+    variables_of_interest?: string[] | null;
 }
 /** Response body for `POST /api/v1/solver/classify`. */
 interface ClassifyProblemResponse$1 {
@@ -4090,12 +4109,12 @@ interface ClassifyProblemResponse$1 {
      * Variable-name → baseline solve value.  Useful for displaying a
      * concrete witness alongside the classification.
      */
-    baseline_values: Record<string, number>;
+    baseline_values: Partial<Record<string, number>>;
     /**
      * Variable-name → classification.  Empty when baseline is
      * infeasible.
      */
-    classifications: Record<string, VariableClassification$1>;
+    classifications: Partial<Record<string, VariableClassification$1>>;
     message?: string | null;
     /** @format double */
     solve_time_ms: number;
@@ -4116,7 +4135,7 @@ interface ClassifySafetyRequest$1 {
 /** Response for safety classification. */
 interface ClassifySafetyResponse$1 {
     /** Per-category activations. */
-    category_activations: Record<string, number>;
+    category_activations: Partial<Record<string, number>>;
     /**
      * Elapsed time in milliseconds.
      * @format int64
@@ -4126,9 +4145,9 @@ interface ClassifySafetyResponse$1 {
     /** Model architecture info. */
     model_info: SafetyModelInfoDto$1;
     /** Per-question binary decisions. */
-    question_decisions: Record<string, boolean>;
+    question_decisions: Partial<Record<string, boolean>>;
     /** Per-question probabilities. */
-    question_probabilities: Record<string, number>;
+    question_probabilities: Partial<Record<string, number>>;
 }
 /** Response for cleanup operations */
 interface CleanupResponse$1 {
@@ -4307,7 +4326,7 @@ interface ClusteredObservationDto$1 {
  */
 interface CognitiveTermInput$1 {
     /** Features as key-value pairs (raw JSON values) */
-    features?: Record<string, JsonValue>;
+    features?: Partial<Record<string, JsonValue>>;
     /**
      * Sort name (for human-friendly input)
      * Kept as "sort" for backward compatibility with existing clients
@@ -4340,7 +4359,7 @@ interface CoherenceAnalyzeRequestDto {
      */
     rules_osfql?: string | null;
     /** Explicit claim term ids, in reading order (highest precedence). */
-    term_ids?: any[] | null;
+    term_ids?: string[] | null;
     /**
      * Consult the tenant KB's homoiconic rules in the derivation layer.
      * Default true (rules ARE the tenant's declared constraints; an empty
@@ -4833,11 +4852,11 @@ interface ComputeLubResponse$1 {
 interface ConceptMatchDto$1 {
     canonical_name: string;
     concept_id: string;
-    features: Record<string, any>;
+    features: Partial<Record<string, any>>;
     /** @format double */
     match_degree: number;
     match_reason: string;
-    name_variants?: object | null;
+    name_variants?: Partial<Record<string, string>> | null;
     source_ids: string[];
 }
 /** Request for conditional execution */
@@ -5356,10 +5375,10 @@ interface ConstraintSessionStatusResponse {
     constraint_count: number;
     /** @format date-time */
     created_at: string;
-    current_bindings: Record<string, number>;
+    current_bindings: Partial<Record<string, number>>;
     /** @format date-time */
     last_accessed: string;
-    metadata: Record<string, string>;
+    metadata: Partial<Record<string, string>>;
     /** @min 0 */
     satisfied_count: number;
     /** @format uuid */
@@ -5440,6 +5459,72 @@ interface ContinuousTreatmentObservationDto$1 {
      */
     y: number;
 }
+/** A detected contradiction between two claims. */
+interface Contradiction {
+    /** OSFKB term ID of the first claim. */
+    claim_a_id: string;
+    /**
+     * Papers the first claim was extracted from.
+     *
+     * Without it "these two claims disagree" is unactionable — a reader cannot
+     * tell which literature each side comes from.
+     * Defaulted so sessions persisted before attribution existed still load.
+     */
+    claim_a_sources?: PaperRef[];
+    /** OSFKB term ID of the second claim. */
+    claim_b_id: string;
+    /**
+     * Papers the second claim was extracted from.
+     *
+     * Defaulted so sessions persisted before attribution existed still load.
+     */
+    claim_b_sources?: PaperRef[];
+    /**
+     * Disentailment confidence score.
+     * @format double
+     */
+    confidence: number;
+    /** Explanation of the contradiction. */
+    explanation: string;
+    /** Resolution of the contradiction, if resolved via evidence comparison. */
+    resolution?: null | ContradictionResolution;
+    /** Statement of the first claim. */
+    statement_a: string;
+    /** Statement of the second claim. */
+    statement_b: string;
+}
+/**
+ * Resolution of a detected contradiction based on evidence strength comparison.
+ *
+ * When two claims contradict each other, we compare their evidence assessment
+ * scores to determine which claim is better supported. The claim with stronger
+ * evidence is preferred; the weaker one is dismissed.
+ */
+interface ContradictionResolution {
+    /**
+     * Confidence in the resolution (0.0-1.0).
+     * @format double
+     */
+    confidence: number;
+    /** ID of the dismissed claim (weaker evidence). */
+    dismissed_claim_id: string;
+    /**
+     * Truthfulness score of the dismissed claim.
+     * @format double
+     */
+    dismissed_truthfulness: number;
+    /** Human-readable explanation of the resolution. */
+    explanation: string;
+    /** ID of the preferred claim (stronger evidence). */
+    preferred_claim_id: string;
+    /**
+     * Truthfulness score of the preferred claim.
+     * @format double
+     */
+    preferred_truthfulness: number;
+    /** Strategy used to resolve the contradiction. */
+    strategy: ResolutionStrategy;
+}
 /**
  * Configuration for training on conversation data.
  *
@@ -5491,6 +5576,11 @@ interface ConversationTrainingConfigDto$1 {
      */
     use_real_conversations?: boolean;
 }
+/** Conversation turn in request format */
+interface ConversationTurnDto$1 {
+    content: string;
+    role: string;
+}
 /** A single coordinated resource set (N resources matched together) */
 interface CoordinatedResourceSet$1 {
     /**
@@ -5572,7 +5662,7 @@ interface CorpusScopeDto {
     /** Collection path (exact match) to scope to. */
     collection?: string | null;
     /** Explicit document ids (overrides `collection` when present). */
-    document_ids?: any[] | null;
+    document_ids?: string[] | null;
     /**
      * Max documents in scope (default 200, hard cap 1000).
      * @min 0
@@ -5582,7 +5672,7 @@ interface CorpusScopeDto {
 /** Request to correct an entity before approval */
 interface CorrectEntityRequest$1 {
     /** Corrected features */
-    features?: object | null;
+    features?: Partial<Record<string, any>> | null;
     /** Correction notes */
     notes?: string | null;
     /**
@@ -5644,13 +5734,13 @@ interface CorrelationResponse$1 {
  */
 interface CounterExampleDto {
     /** Present for `"lasso"`: the repeating cycle (re-enters at its first state). */
-    cycle?: any[] | null;
+    cycle?: number[] | null;
     /** Discriminator: `"finite_path"` or `"lasso"`. */
     kind: string;
     /** Present for `"lasso"`: finite prefix before the cycle begins. */
-    prefix?: any[] | null;
+    prefix?: number[] | null;
     /** Present for `"finite_path"`: sequence of state IDs showing the failure. */
-    trace?: any[] | null;
+    trace?: number[] | null;
 }
 /** Request to evaluate a counterfactual query */
 interface CounterfactualRequest$1 {
@@ -5661,7 +5751,7 @@ interface CounterfactualRequest$1 {
     /** Consequent: the variable we're querying in the counterfactual world */
     consequent_variable: string;
     /** Factual evidence (observed values in the actual world) */
-    evidence: Record<string, any>;
+    evidence: Partial<Record<string, any>>;
 }
 /** Response for counterfactual query */
 interface CounterfactualResponse$1 {
@@ -5814,7 +5904,7 @@ interface CreateCollectionRequest$1 {
  */
 interface CreateConstraintSessionRequest$1 {
     description?: string | null;
-    metadata?: object | null;
+    metadata?: Partial<Record<string, string>> | null;
     name?: string | null;
 }
 /** Request to create a curried function */
@@ -5923,6 +6013,40 @@ interface CreateModuleResponse$1 {
     module_name: string;
     success: boolean;
 }
+/** Request to create a new research session. */
+interface CreateResearchSessionRequest$1 {
+    /**
+     * Maximum number of research cycles (overrides config default).
+     * @min 0
+     */
+    max_cycles?: number | null;
+    /**
+     * Maximum number of papers to ingest (overrides config default).
+     * @min 0
+     */
+    max_papers?: number | null;
+    /** Restrict paper search to specific sources. */
+    paper_sources?: string[] | null;
+    /** The research question to investigate. */
+    question: string;
+}
+/** Response after creating a research session (matches SDK's `CreateResearchSessionResponse`). */
+interface CreateResearchSessionResponse$1 {
+    /** When the session was created (ISO 8601). */
+    created_at: string;
+    /** The research question. */
+    question: string;
+    /**
+     * The assigned session ID.
+     * @format uuid
+     */
+    session_id: string;
+    /**
+     * Current session status — the phase name alone; see
+     * [`ResearchSessionStatusLabel`].
+     */
+    status: ResearchSessionStatusLabel;
+}
 /**
  * Request to create a root namespace
  *
@@ -5945,7 +6069,7 @@ interface CreateScenarioRequest$1 {
     /** Optional custom agent name. */
     agent_name?: string | null;
     /** Answers to clarification questions (2nd call in multi-turn flow). */
-    answers?: object | null;
+    answers?: Partial<Record<string, string>> | null;
     /** Whether to create a cognitive agent from the scenario. */
     create_agent?: boolean;
     /** Whether to generate curriculum stages. */
@@ -6061,7 +6185,7 @@ interface CreateSpaceRequest$1 {
 /** Request to create a term in the term store */
 interface CreateStoreTermRequest$1 {
     /** Optional features to set on the term */
-    features?: Record<string, object>;
+    features?: Partial<Record<string, object>>;
     sort_id: string;
 }
 /**
@@ -6107,7 +6231,7 @@ interface CreateTermInCollectionRequest$1 {
      */
     collection_id: string;
     /** Term features */
-    features: Record<string, ValueDto$1>;
+    features: Partial<Record<string, ValueDto$1>>;
     /**
      * Namespace ID
      * @format uuid
@@ -6132,7 +6256,7 @@ interface CreateTermInCollectionRequest$1 {
  */
 interface CreateTermRequest$1 {
     /** Features map */
-    features: Record<string, ValueDto$1>;
+    features: Partial<Record<string, ValueDto$1>>;
     /**
      * Optional client-supplied TermId. When present, the term is created
      * with that id; if a term with that id already exists in the tenant,
@@ -6328,7 +6452,7 @@ interface DataMixingStatsDto$1 {
      */
     real_ratio: number;
     /** Per-sort coverage counts. */
-    sort_coverage: Record<string, number>;
+    sort_coverage: Partial<Record<string, number>>;
     /**
      * Number of synthetic examples.
      * @min 0
@@ -6345,6 +6469,17 @@ interface DataMixingStatsDto$1 {
      */
     total_count: number;
 }
+interface DataNeededDto {
+    /**
+     * Additional samples needed
+     * @min 0
+     */
+    samples_needed: number;
+    /** First variable */
+    var_x: string;
+    /** Second variable */
+    var_y: string;
+}
 /** A single data point in the time series. */
 interface DataPointDto$1 {
     /**
@@ -6353,16 +6488,16 @@ interface DataPointDto$1 {
      */
     timestamp: string;
     /** Feature values. */
-    values: Record<string, number>;
+    values: Partial<Record<string, number>>;
 }
 /** Statistics for an enhanced training dataset. */
 interface DatasetStatisticsDto$1 {
     /** Examples by format (Extraction, QA, FillBlank, etc.). */
-    by_format: Record<string, number>;
+    by_format: Partial<Record<string, number>>;
     /** Examples by sort name. */
-    by_sort: Record<string, number>;
+    by_sort: Partial<Record<string, number>>;
     /** Examples by source type (real, synthetic, verbalized, enhanced_negative). */
-    by_source: Record<string, number>;
+    by_source: Partial<Record<string, number>>;
     /** Diversity analysis summary (if computed). */
     diversity_summary?: null | DiversityAnalysisDto$1;
     /**
@@ -6565,14 +6700,14 @@ interface DegreeDistributionDto$1 {
      */
     avg_node_degree: number;
     /** Hyperedge size histogram (size -> count) */
-    hyperedge_sizes: Record<number, number>;
+    hyperedge_sizes: Partial<Record<number, number>>;
     /**
      * Maximum node degree
      * @min 0
      */
     max_node_degree: number;
     /** Node degree histogram (degree -> count) */
-    node_degrees: Record<number, number>;
+    node_degrees: Partial<Record<number, number>>;
 }
 /** Response from deleting a cognitive agent. */
 interface DeleteAgentResponse$1 {
@@ -6732,7 +6867,7 @@ interface DerivedInferenceResultDto$1 {
     /** @format float */
     match_score: number;
     proceed: boolean;
-    sort_predictions: Record<string, number>;
+    sort_predictions: Partial<Record<string, number>>;
 }
 /** Request to detect communities from existing terms */
 interface DetectCommunitiesRequest$1 {
@@ -6843,7 +6978,7 @@ interface DiscoverCausalRequest$1 {
 }
 interface DiscoverCausalResponse$1 {
     /** Data still needed (if discovery incomplete) */
-    data_needed?: any[] | null;
+    data_needed?: DataNeededDto[] | null;
     /** Message explaining the result */
     message: string;
     /** Discovered causal relationships */
@@ -6897,7 +7032,7 @@ interface DiscoverEffectsResponse$1 {
      */
     root_sort_id: string;
     /** Created sort IDs (regime -> sort). */
-    sort_ids: Record<string, string>;
+    sort_ids: Partial<Record<string, string>>;
     /** Whether discovery succeeded. */
     success: boolean;
     /**
@@ -6963,7 +7098,7 @@ interface DiscoverSchemaRequest$1 {
      * Conjoins with the source config's `exclude_tables`; an exclusion always
      * wins over an inclusion.
      */
-    exclude_types?: any[] | null;
+    exclude_types?: string[] | null;
     /** Whether to include sample data in response (default: true) */
     include_sample_data?: boolean;
     /**
@@ -6983,7 +7118,7 @@ interface DiscoverSchemaRequest$1 {
      * `GET /api/v1/sources/{id}/tables` **without re-registering the source**
      * (#66, Gap 2).
      */
-    type_filter?: any[] | null;
+    type_filter?: string[] | null;
 }
 /** Response from schema discovery. */
 interface DiscoverSchemaResponse$1 {
@@ -7032,6 +7167,16 @@ interface DiscoveredFeatureDto$1 {
     constraints?: string[];
     /** Human-readable description */
     description?: string | null;
+    /**
+     * Which authority made this field the identifier, and what that key
+     * therefore guarantees (#131). Present exactly when `is_identifier`.
+     *
+     * `is_identifier` alone says a field earned the role without saying why,
+     * and the why is what decides whether ids derived from it survive a
+     * rebuild of the source: a uniqueness constraint does, a graph's internal
+     * record id does not.
+     */
+    identifier_provenance?: null | KeyProvenanceDto;
     /** Whether the field is a primary key/identifier */
     is_identifier: boolean;
     /** Whether the field is a relation */
@@ -7257,7 +7402,7 @@ interface DisentailmentResponse$1 {
 /** Diversity analysis summary. */
 interface DiversityAnalysisDto$1 {
     /** Distribution of examples across buckets (near, medium, far, unrelated). */
-    bucket_counts: Record<string, number>;
+    bucket_counts: Partial<Record<string, number>>;
     /** Whether diversity is balanced (no bucket has >60% of pairs). */
     is_balanced: boolean;
     /**
@@ -7982,7 +8127,7 @@ interface DoseResponseResponse$1 {
 /** Request an AI draft of a function from a natural-language description. */
 interface DraftFunctionRequest$1 {
     /** Answers to clarification questions (2nd call). */
-    answers?: object | null;
+    answers?: Partial<Record<string, string>> | null;
     /** A prior draft to revise (refine loop) — the model treats it as the base. */
     current_draft?: null | FunctionDraftDto$1;
     /** What the function should do, in plain language. */
@@ -8016,7 +8161,7 @@ type DraftFunctionResponse$1 = {
 /** Request an AI draft of one or more inference rules. */
 interface DraftRulesRequest$1 {
     /** Answers to clarification questions (2nd call). */
-    answers?: object | null;
+    answers?: Partial<Record<string, string>> | null;
     /** The desired rule(s), in plain language. */
     description: string;
     /** Session ID for multi-turn clarification (client-echoed; stateless server). */
@@ -8182,7 +8327,7 @@ interface DynamicDiscoveryRequest$1 {
      * Tiers are ordered from past to future (tier 0 = earliest).
      * Reference: Andrews et al. (2024) Int. J. Epidemiol.
      */
-    temporal_tiers?: any[] | null;
+    temporal_tiers?: string[][] | null;
     /** Enable active learning recommendations (default: true) */
     use_active_learning?: boolean | null;
     /** Enable GES refinement (default: true) */
@@ -8193,7 +8338,7 @@ interface DynamicDiscoveryResponse$1 {
      * Edge posteriors (for Hybrid/MCMC strategies)
      * Maps (from, to) -> probability
      */
-    edge_posteriors?: any[] | null;
+    edge_posteriors?: EdgePosteriorDto[] | null;
     /** GES refinement result */
     ges_result?: null | GESResultDto$1;
     /** Proof tree for audit trail */
@@ -8206,7 +8351,7 @@ interface DynamicDiscoveryResponse$1 {
      * Skeleton edges (for Hybrid strategy)
      * These are edges discovered by PC that passed CI tests
      */
-    skeleton?: any[] | null;
+    skeleton?: [string, string][] | null;
     /** Current state of discovery */
     state: DiscoveryStateDto$1;
     /** Strategy used for discovery */
@@ -8233,7 +8378,7 @@ interface DynamicQueryGroupDto$1 {
     /** Entities in this group */
     entities: DynamicQueryResultDto$1[];
     /** Group key values */
-    key: Record<string, any>;
+    key: Partial<Record<string, any>>;
 }
 /**
  * Request for dynamic query building
@@ -8281,9 +8426,9 @@ interface DynamicQueryResponse$1 {
 /** A result from dynamic query */
 interface DynamicQueryResultDto$1 {
     /** Variable bindings (from Bind patterns) */
-    bindings?: Record<string, any>;
+    bindings?: Partial<Record<string, any>>;
     /** Matched/projected features */
-    features: Record<string, any>;
+    features: Partial<Record<string, any>>;
     /**
      * Entity ID
      * @format uuid
@@ -8356,6 +8501,19 @@ interface EdgeCapacityUpdateDto {
     /** Edge label declared at construction or via a prior commit. */
     label: string;
 }
+/** Edge feasibility class. */
+type EdgeClassDto = "always_used" | "never_used" | "sometimes_used";
+/** Per-edge classification. */
+interface EdgeClassificationDto {
+    /** Class string: `"always_used"`, `"never_used"`, `"sometimes_used"`. */
+    class: EdgeClassDto;
+    /** Source node name. */
+    from: string;
+    /** Caller-supplied label, if any. */
+    label?: string | null;
+    /** Destination node name. */
+    to: string;
+}
 /** Flow snapshot for a single forward edge. */
 interface EdgeFlowDto {
     /**
@@ -8375,6 +8533,17 @@ interface EdgeFlowDto {
     /** Destination node name. */
     to: string;
 }
+interface EdgePosteriorDto {
+    /** Source variable */
+    from: string;
+    /**
+     * Posterior probability of this edge direction
+     * @format double
+     */
+    probability: number;
+    /** Target variable */
+    to: string;
+}
 /** Edge type in the graph */
 type EdgeTypeDto$1 = "subtype" | "multiple_inheritance" | "glb_path" | "lub_path" | "constraint_dependency" | "propagation" | "feature" | "coreference" | "trigger_dependency" | "relation_source" | "relation_target" | "identity" | "derivation" | {
     custom: string;
@@ -8504,7 +8673,7 @@ type EffectDto$1 = {
     };
 } | {
     piecewise_linear: {
-        points: any[][];
+        points: [number, number][];
     };
 };
 interface EffectPredictionDto$1 {
@@ -8515,6 +8684,24 @@ interface EffectPredictionDto$1 {
     /** @format double */
     std_dev: number;
 }
+/** Rank request: one query, and the candidates to score against it. */
+interface EmbeddingRankRequest$1 {
+    /**
+     * Candidate texts. Scored in place — the response is index-aligned with
+     * this list, so the caller can zip it back onto whatever it retrieved.
+     */
+    candidates: string[];
+    /** The text every candidate is scored against. */
+    query: string;
+}
+/** Rank response: one cosine similarity per candidate, in request order. */
+interface EmbeddingRankResponse$1 {
+    /**
+     * Cosine similarity in `[-1.0, 1.0]`, same length and same order as
+     * `candidates`. A candidate with no scoreable text scores `0.0`.
+     */
+    scores: number[];
+}
 /** Response for the embedding verification endpoint. */
 interface EmbeddingVerificationResponse$1 {
     /** Whether box embeddings are available. */
@@ -8541,7 +8728,7 @@ interface EmbeddingVerificationResponse$1 {
 /** A single training sample. */
 interface EmlSampleDto {
     /** Variable name → value (e.g. `{"x": 1.5}`). */
-    inputs: Record<string, number>;
+    inputs: Partial<Record<string, number>>;
     /**
      * Target output value.
      * @format double
@@ -8758,7 +8945,7 @@ interface EntailmentResponse$1 {
 /** A lightweight entity representation for verification requests. */
 interface EntityDto$1 {
     /** Feature name-value pairs. */
-    features: Record<string, any>;
+    features: Partial<Record<string, any>>;
     /**
      * Sort ID this entity belongs to.
      * @format uuid
@@ -9195,7 +9382,7 @@ interface EvidenceDerivationConfigDto$1 {
      * Relations whose polarity depends on the target entity's sort.
      * Maps relation name → list of target sort names that make it negative.
      */
-    context_dependent_relations?: Record<string, string[]>;
+    context_dependent_relations?: Partial<Record<string, string[]>>;
     /**
      * Default quality weight for NER-derived evidence (0.0-1.0).
      * @format double
@@ -9215,6 +9402,20 @@ interface EvidenceItemDto$1 {
      * @format double
      */
     contribution: number;
+    /**
+     * The evidence term's own human-readable sentence, when it has one.
+     *
+     * Without this the only identity an evidence row carried was `term_id`, so
+     * every consumer rendered supporting evidence as `Evidence item <uuid>`
+     * while the term itself held e.g. *"Aspirin reduces_risk_of Cardiovascular
+     * Disease"* — the assessment path reported its own findings unreadably
+     * (#138). Resolved from the term under the same deterministic display-name
+     * precedence `TermDto.display_name` uses, so the two never disagree.
+     *
+     * Optional and omitted when empty: a consumer written before this field
+     * existed deserializes the response unchanged and keeps its own fallback.
+     */
+    description?: string | null;
     /**
      * Quality weight of this evidence (0.0-1.0)
      * @format double
@@ -9228,6 +9429,40 @@ interface EvidenceItemDto$1 {
      */
     term_id: string;
 }
+/** Summary of a single evidence item. */
+interface EvidenceItemSummary {
+    /**
+     * Contribution to the overall assessment.
+     * @format double
+     */
+    contribution: number;
+    /** Description of the evidence. */
+    description: string;
+    /** DOI of the paper providing this evidence. */
+    paper_doi?: string | null;
+    /**
+     * Stable key of the paper providing this evidence.
+     *
+     * Present even when the paper has no DOI, which `paper_doi` cannot cover.
+     * Defaulted so sessions persisted before attribution existed still load.
+     */
+    paper_key?: string | null;
+    /**
+     * Title of the paper providing this evidence, for display.
+     *
+     * Defaulted so sessions persisted before attribution existed still load.
+     */
+    paper_title?: string | null;
+    /**
+     * Quality weight (0.0-1.0).
+     * @format double
+     */
+    quality_weight: number;
+    /** Whether this evidence supports the claim. */
+    supports: boolean;
+    /** OSFKB term ID of the evidence. */
+    term_id: string;
+}
 /** Evidence source DTO */
 type EvidenceSourceDto$1 = {
     relation_term_id?: string | null;
@@ -9520,7 +9755,7 @@ interface ExtractEntitiesRequest$1 {
      * Optional list of specific labels (sort names) to use for extraction.
      * If not provided, all tenant sort names are used as labels.
      */
-    labels?: any[] | null;
+    labels?: string[] | null;
     /** The text to extract entities from */
     text: string;
 }
@@ -9948,7 +10183,7 @@ type FeatureConstraintDto = {
 /** API representation of a feature descriptor */
 interface FeatureDescriptorDto$1 {
     /** Custom OWL annotations for this feature (e.g., isIdentifier, unit, enumValues) */
-    annotations?: Record<string, string>;
+    annotations?: Partial<Record<string, string>>;
     /**
      * Optional constraint on the feature value. Defaults to `None`
      * when absent so callers needn't send an explicit null.
@@ -10092,7 +10327,7 @@ interface FindBySortRequest$1 {
      * expected string value. Only terms whose features match ALL entries are
      * returned. Omit or pass an empty map to disable filtering.
      */
-    filter?: object | null;
+    filter?: Partial<Record<string, string>> | null;
     /**
      * Optional cap on the number of returned terms. When set, the handler
      * truncates the post-filter result list to this many terms. Useful for
@@ -10326,7 +10561,7 @@ interface ForecastRequestDto {
      * Decimal odds aligned to `entities`; enables the grouped-rank odds blend
      * when the model carries one.
      */
-    odds?: any[] | null;
+    odds?: number[] | null;
     /**
      * Grouped-rank: ordered combinations to return (default 5).
      * @min 0
@@ -10385,7 +10620,7 @@ interface FormalJudgeRequest$1 {
      * Risk categories from the benchmark dataset (e.g., ["Lead to property loss", "Violate laws"])
      * Used by the 3-agent per-task decomposition pipeline to generate task-specific atomic conditions.
      */
-    risk_categories?: any[] | null;
+    risk_categories?: string[] | null;
     /**
      * Agent execution trajectory (ordered list of tool calls + results)
      * Paper Table 5: `trajectory.tool_calls`
@@ -10413,7 +10648,7 @@ interface FormalJudgeResponse$1 {
      * Keys are fact type names (e.g., "ToolCallAttempted", "FabricatedContent"),
      * values are true/false for each atomic fact.
      */
-    deception_fact_map?: object | null;
+    deception_fact_map?: Partial<Record<string, boolean>> | null;
     /** Deception predicates that triggered (paper §B.6: φ1-φ4) */
     detected_deception_predicates?: string[];
     /**
@@ -10852,6 +11087,24 @@ interface FunctionsVisualizationResponse {
      */
     graph: VisualizationGraphDto$1;
 }
+/** Summary of fuzzy concept enumeration at one alpha-cut level. */
+interface FuzzyConceptLevelDto {
+    /**
+     * Alpha threshold for this level
+     * @format double
+     */
+    alpha: number;
+    /**
+     * Number of concepts discovered at this threshold
+     * @min 0
+     */
+    concept_count: number;
+    /**
+     * Number of concepts novel at this level (not found at higher alpha)
+     * @min 0
+     */
+    novel_at_this_level: number;
+}
 /** Request for fuzzy merge operation */
 interface FuzzyMergeRequest$1 {
     /**
@@ -10929,7 +11182,7 @@ interface FuzzyProveRequest$1 {
      * a diagnosis — another patient's fact of the same sort never does. A fact lacking the
      * feature is unconstrained (open world). Empty/absent ⇒ tenant-wide (legacy) behavior.
      */
-    scope?: Record<string, string>;
+    scope?: Partial<Record<string, string>>;
     /**
      * T-norm strategy: "min", "product", or "lukasiewicz"
      * @default "min"
@@ -11096,7 +11349,7 @@ type FuzzyShapeDto$1 = {
     kind: "PiShape";
 } | {
     kind: "PiecewiseLinear";
-    points: any[][];
+    points: [number, number][];
 };
 /** Request for fuzzy subsumption check */
 interface FuzzySubsumptionRequest$1 {
@@ -11305,7 +11558,7 @@ type GeneralConstraintDto$1 = object;
 /** Request body for `POST /api/v1/generate`. */
 interface GenerateDocumentRequest$1 {
     /** Additional metadata to guide generation (passed through to the backend). */
-    metadata?: Record<string, string>;
+    metadata?: Partial<Record<string, string>>;
     /**
      * Target modality for the output artifact.
      * Currently only `"text"` is supported.
@@ -11369,7 +11622,7 @@ interface GenerateNegativesResponse$1 {
 /** Request body for ontology generation. */
 interface GenerateOntologyRequest$1 {
     /** Answers to clarification questions (2nd call). */
-    answers?: object | null;
+    answers?: Partial<Record<string, string>> | null;
     /** The user's task description. */
     prompt: string;
     /** Session ID for multi-turn clarification. */
@@ -11518,7 +11771,7 @@ interface GenerationPromptResponse$1 {
 /** Generation statistics report. */
 interface GenerationReportDto$1 {
     /** Counts per generation method. */
-    by_method: Record<string, number>;
+    by_method: Partial<Record<string, number>>;
     /**
      * Number of forward-chained derived facts.
      * @min 0
@@ -11875,6 +12128,68 @@ interface GetScenarioResponse$1 {
      */
     webhook_actions_created: number;
 }
+/**
+ * Full research session state (matches SDK's `ResearchSessionResponse`).
+ *
+ * Returned by GET /research/sessions/{id}.
+ */
+interface GetSessionResponse {
+    /** When the session was created (ISO 8601). */
+    created_at: string;
+    /** Results from each completed cycle. */
+    cycles: ResearchCycleResultDto$1[];
+    /** Error message if status is Failed. */
+    error?: string | null;
+    /** Papers ingested so far (full metadata including title, authors, DOI, URL). */
+    papers: PaperMetadataDto$1[];
+    /** The research question. */
+    question: string;
+    /**
+     * Session ID.
+     * @format uuid
+     */
+    session_id: string;
+    /**
+     * Current session status — the phase name alone; see
+     * [`ResearchSessionStatusLabel`].
+     */
+    status: ResearchSessionStatusLabel;
+    /**
+     * Total contradictions.
+     * @min 0
+     */
+    total_contradictions: number;
+    /**
+     * Total findings.
+     * @min 0
+     */
+    total_findings: number;
+    /**
+     * Total knowledge gaps.
+     * @min 0
+     */
+    total_gaps: number;
+    /**
+     * Total papers ingested.
+     * @min 0
+     */
+    total_papers_ingested: number;
+    /**
+     * Total papers retrieved from external APIs, including by the cycle
+     * currently running.
+     *
+     * Live throughout a run, like every other counter here. `cycles` reports a
+     * cycle's retrieval only once that cycle completes — minutes after the
+     * papers arrived — so a consumer deriving the figure from `cycles` alone
+     * renders `0` over a visibly growing paper list for most of a session
+     * (#143). This is the field to read for "how many papers has this run
+     * found"; `cycles[].papers_retrieved` remains the per-cycle breakdown.
+     * @min 0
+     */
+    total_papers_retrieved: number;
+    /** When the session was last updated (ISO 8601). */
+    updated_at: string;
+}
 /** Request to get direct sort similarity */
 interface GetSortSimilarityRequest$1 {
     /**
@@ -11913,7 +12228,7 @@ interface GetStoreTermRequest$1 {
 /** Response with term details */
 interface GetStoreTermResponse$1 {
     bound_to?: string | null;
-    features: Record<string, object>;
+    features: Partial<Record<string, object>>;
     is_variable: boolean;
     sort_id: string;
     term_id: string;
@@ -12015,7 +12330,7 @@ interface GlobalIncrementResponse$1 {
  */
 interface GoalDto$1 {
     /** Features as key-value pairs (raw JSON values) */
-    features?: Record<string, JsonValue>;
+    features?: Partial<Record<string, JsonValue>>;
     /**
      * Sort name for the goal (for human-friendly input)
      * Kept as "sort" for backward compatibility with existing clients
@@ -12198,7 +12513,7 @@ interface GraphEdgeDto$1 {
     /** Optional edge label */
     label?: string | null;
     /** Additional properties */
-    properties?: Record<string, string>;
+    properties?: Partial<Record<string, string>>;
     /** Source node ID */
     source: string;
     /** Target node ID */
@@ -12219,7 +12534,7 @@ interface GraphMetadataDto$1 {
      */
     edge_count: number;
     /** Additional metadata */
-    extra?: Record<string, string>;
+    extra?: Partial<Record<string, string>>;
     /**
      * Total number of hyperedges
      * @min 0
@@ -12257,7 +12572,7 @@ interface GraphNodeDto$1 {
     /** Type of node */
     node_type: NodeTypeDto$1;
     /** Additional properties */
-    properties?: Record<string, string>;
+    properties?: Partial<Record<string, string>>;
     /**
      * Size of the node (for rendering)
      * @format double
@@ -12630,7 +12945,7 @@ interface HyperedgeDto$1 {
     /** Whether the nodes are ordered */
     ordered: boolean;
     /** Additional properties */
-    properties?: Record<string, string>;
+    properties?: Partial<Record<string, string>>;
     /**
      * Optional source term ID
      * @format uuid
@@ -12708,7 +13023,7 @@ interface HypergraphResponse$1 {
      * to `1.0`. Renderers are expected to map this to polygon fill
      * opacity so audit-ability is visually obvious.
      */
-    provenance_tags?: Record<string, number>;
+    provenance_tags?: Partial<Record<string, number>>;
     /** Statistics */
     stats: HypergraphStats$1;
 }
@@ -12775,7 +13090,7 @@ interface IdentifyEffectRequest$1 {
 /** Response for effect identification */
 interface IdentifyEffectResponse$1 {
     /** The adjustment set, when the estimand is an adjustment form */
-    adjustment_set?: any[] | null;
+    adjustment_set?: string[] | null;
     /** Every assumption the result consumes */
     assumptions: CausalAssumptionDto$1[];
     /** Ψ-term id of the persisted identification certificate */
@@ -12800,7 +13115,7 @@ interface IdentifyEffectResponse$1 {
      * criterion. Prefer these covariates when your data has them:
      * the estimation gate accepts either certified set.
      */
-    optimal_adjustment_set?: any[] | null;
+    optimal_adjustment_set?: string[] | null;
     /** Outcome variable */
     outcome: string;
     /** Refusal reason, when not identifiable */
@@ -12856,7 +13171,7 @@ interface ImageExtractedEntityDto$1 {
      */
     confidence: number;
     /** Features extracted for this entity (key → value) */
-    features: Record<string, any>;
+    features: Partial<Record<string, any>>;
     /** Local ID within the extraction (e.g., "e1", "e2") */
     local_id: string;
     /** Text mentions/labels found in the image for this entity */
@@ -12906,6 +13221,15 @@ interface ImageExtractionStatsDto$1 {
      */
     sorts_reused: number;
 }
+/** Image input for multimodal TRIZ analysis */
+interface ImageInputDto {
+    /** Base64-encoded image data */
+    data: string;
+    /** Optional description of the image */
+    description?: string;
+    /** MIME type (e.g., "image/png", "image/jpeg") */
+    mime: string;
+}
 /** A new sort (type) suggested by the vision LLM based on visual patterns. */
 interface ImageSuggestedSortDto$1 {
     /** Feature names suggested for this sort */
@@ -13193,7 +13517,7 @@ interface IngestFromSourceRequest$1 {
      */
     records_per_document?: number;
     /** Which types/tables to ingest (None = all) */
-    type_filter?: any[] | null;
+    type_filter?: string[] | null;
 }
 /** Response from structured data ingestion. */
 interface IngestFromSourceResponse$1 {
@@ -13250,7 +13574,7 @@ interface IngestKifRequest$1 {
      * `[relation, arg1, arg2, …]` of constant names. When present, the response's
      * `provable` field reports whether the goal is entailed by the imported axioms.
      */
-    query?: any[] | null;
+    query?: string[] | null;
 }
 /** Response body for `POST /api/v1/ingest/kif`. */
 interface IngestKifResponse$1 {
@@ -13305,9 +13629,9 @@ interface IngestKifResponse$1 {
      * The non-firing residue broken down by *why* it does not fire (shape tag → count) — the
      * higher-order / modal tail that no first-order rule engine reduces, made auditable.
      */
-    residue_by_shape: Record<string, number>;
+    residue_by_shape: Partial<Record<string, number>>;
     /** A few concrete example forms per residue shape, for auditing the irreducible tail. */
-    residue_examples: Record<string, string[]>;
+    residue_examples: Partial<Record<string, string[]>>;
     /**
      * All `=>` / `<=>` implications imported.
      * @min 0
@@ -13366,6 +13690,39 @@ interface IngestMarkdownRequest$1 {
      */
     owner_id: string;
 }
+/** Request to ingest a paper (matches SDK's `IngestPaperRequest`). */
+interface IngestPaperRequest$1 {
+    /** Paper identifier (DOI, PMID, arXiv ID, or URL). */
+    identifier: string;
+    /** Type of identifier: "doi", "pmid", "arxiv_id", or "url". */
+    identifier_type: string;
+    /**
+     * Session ID to associate ingestion with (optional).
+     * @format uuid
+     */
+    session_id?: string | null;
+}
+/** Response after ingesting a paper (matches SDK's `IngestPaperResponse`). */
+interface IngestPaperResponse$1 {
+    /**
+     * Number of claims extracted.
+     * @format int32
+     * @min 0
+     */
+    claims_extracted: number;
+    /**
+     * Number of entities extracted.
+     * @format int32
+     * @min 0
+     */
+    entities_extracted: number;
+    /** Error message if ingestion failed. */
+    error?: string | null;
+    /** Paper metadata (if resolved). */
+    metadata?: null | PaperMetadataDto$1;
+    /** Whether ingestion succeeded. */
+    success: boolean;
+}
 /** Request to ingest RDF/OWL data */
 interface IngestRdfRequest$1 {
     /**
@@ -13778,7 +14135,7 @@ interface InlineDocumentDto {
 /** Inline Ψ-term feature payload for a single prediction. */
 interface InlineInferenceTermDto {
     /** Per-antecedent flat feature vectors. */
-    antecedent_features: Record<string, number[]>;
+    antecedent_features: Partial<Record<string, number[]>>;
     /** Temporal feature sequence for the conclusion gate. */
     temporal_features: TemporalSequenceDto;
 }
@@ -14067,14 +14424,14 @@ interface IntegrationGroupDto$1 {
      */
     group_similarity: number;
     /** Matching feature values (the "join key" values) */
-    match_key: Record<string, any>;
+    match_key: Partial<Record<string, any>>;
     /**
      * ID of newly created merged entity (if create_merged was true)
      * @format uuid
      */
     merged_entity_id?: string | null;
     /** Merged features (if create_merged was true) */
-    merged_features?: object | null;
+    merged_features?: Partial<Record<string, any>> | null;
 }
 /** BDI Intention DTO. */
 interface IntentionDto$1 {
@@ -14150,7 +14507,7 @@ interface InterventionObservationResponse$1 {
      */
     remaining_uncertain_count: number;
     /** Edges that were resolved by this intervention */
-    resolved_edges: any[][];
+    resolved_edges: [string, string][];
     /** Success flag */
     success: boolean;
 }
@@ -14207,7 +14564,7 @@ interface InvokeActionRequest$1 {
     /** Name of the action to invoke */
     action_name: string;
     /** Input values for the action */
-    inputs?: Record<string, any>;
+    inputs?: Partial<Record<string, any>>;
     /**
      * Tenant context
      * @format uuid
@@ -14312,6 +14669,68 @@ type KbChangeDto$1 = {
     term2: string;
     type: "Coreference";
 };
+/**
+ * Where a key came from, and what it therefore guarantees (#131).
+ *
+ * Emitted on a binding listing and beside a discovered identifier, so the two
+ * answers an operator needs before ingesting — *is this key guaranteed?* and
+ * *do the term ids survive a rebuild of the source?* — are readable without
+ * inferring anything from a column's name.
+ */
+interface KeyProvenanceDto {
+    /**
+     * Which side settled the key: `discovery`, `client`, `nobody` (a keyless
+     * binding), or `unrecorded`.
+     */
+    chosen_by: string;
+    /**
+     * Whether term ids built from this key survive a rebuild of the source:
+     * `survives_source_rebuild` or `lifetime_scoped`.
+     *
+     * Absent for a client-supplied key, where it depends on which column was
+     * nominated and nothing declares that — and for a keyless or unrecorded
+     * binding, where there is nothing to answer about.
+     */
+    durability?: string | null;
+    /**
+     * One sentence stating what this key source means, for an operator who
+     * does not know the vocabulary.
+     */
+    explanation: string;
+    /**
+     * Whether some authority guarantees the key identifies exactly one
+     * record. Absent where the question has no answer — a keyless binding, or
+     * a provenance that was never recorded.
+     */
+    guaranteed_unique?: boolean | null;
+    /**
+     * Which authority chose the key. One of `source_constraint`,
+     * `synthetic_record_id`, `sequence_default`, `schema_declared_identifier`,
+     * `naming_convention`, `sampled_uniqueness`, `client_supplied`, `keyless`,
+     * `unrecorded`.
+     *
+     * The six discovery levels are reported directly rather than nested
+     * under a "discovered" wrapper, so one field answers "which of the key
+     * sources is this".
+     */
+    source: string;
+}
+/** A knowledge gap identified by goal residuation analysis. */
+interface KnowledgeGap {
+    /**
+     * Information gain score (higher = more valuable to fill).
+     * @format double
+     */
+    info_gain: number;
+    /** Rule head names that need this sort. */
+    needed_by: string[];
+    /** The sort name that is missing. */
+    sort_name: string;
+    /** Auto-generated search query to fill the gap. */
+    suggested_search_query?: string | null;
+    /** What would resolve this gap. */
+    wake_trigger: string;
+}
 /** One state in the Kripke model. */
 interface KripkeStateDto {
     /**
@@ -14341,7 +14760,7 @@ interface KripkeTransitionDto {
 /** One labelled training Ψ-term. */
 interface LabelledTermDto {
     /** Per-antecedent flat feature vectors. */
-    antecedent_features: Record<string, number[]>;
+    antecedent_features: Partial<Record<string, number[]>>;
     /** Ground-truth label for the conclusion sort. */
     label: MortalityLabelDto;
     /** Temporal feature sequence for the conclusion gate. */
@@ -14585,7 +15004,7 @@ interface LayoutHintsDto$1 {
     /** Preferred layout algorithm */
     algorithm: LayoutAlgorithmDto$1;
     /** Cluster definitions */
-    clusters?: Record<string, string[]>;
+    clusters?: Partial<Record<string, string[]>>;
     /** Direction for hierarchical layouts */
     direction?: null | LayoutDirectionDto$1;
     /**
@@ -14662,7 +15081,7 @@ interface LearnFromCorrectionRequest$1 {
      */
     agent_id: string;
     /** The correct answer pattern (as Ψ-term features, raw JSON values) */
-    correct_pattern: Record<string, JsonValue>;
+    correct_pattern: Partial<Record<string, JsonValue>>;
     /** Optional: The sort of the correct answer */
     correct_sort?: string | null;
     /**
@@ -14938,7 +15357,7 @@ interface LinTermDto {
  */
 interface LinearConstraint$2 {
     /** Variable-name → coefficient. */
-    coefficients: Record<string, number>;
+    coefficients: Partial<Record<string, number>>;
     /** Optional caller-supplied label, returned in error reports. */
     name?: string | null;
     /**
@@ -15194,6 +15613,11 @@ interface ListPendingReviewsResponse {
 interface ListPreferencesResponseDto {
     preferences: PreferenceDto$1[];
 }
+/** Returned by GET /research/sessions — the tenant's sessions, newest first. */
+interface ListResearchSessionsResponse$1 {
+    /** Session summaries. */
+    sessions: ResearchSessionSummaryDto$1[];
+}
 /** Response for GET /api/v1/scenarios — list all scenarios. */
 interface ListScenariosResponse$1 {
     /** List of scenario summaries, sorted by most recent first. */
@@ -15270,7 +15694,7 @@ interface ListTenantsResponse$1 {
 /** Response listing a tenant's cloned voices and the available preset voices. */
 interface ListVoicesResponse$1 {
     /** Preset speaker names per engine, from the loaded checkpoints. */
-    presets: Record<string, string[]>;
+    presets: Partial<Record<string, string[]>>;
     /** Voices this tenant has enrolled. */
     voices: VoiceProfileDto[];
 }
@@ -15351,26 +15775,58 @@ interface LtnQueryRequest$1 {
      * Ψ-term feature text to embed into the input vector when `features` is
      * absent and an embedding backend is configured (`ground`).
      */
-    feature_text?: any[] | null;
+    feature_text?: {
+        /** Feature name. */
+        name: string;
+        /** Feature value (free text). */
+        value: string;
+    }[] | null;
     /** An explicit input feature vector for the queried individual (`ground`). */
-    features?: any[] | null;
+    features?: number[] | null;
     /** The unseen instances to score (`generalisation`). */
-    instances?: any[] | null;
+    instances?: {
+        /** The individual to score. */
+        individual: string;
+        /**
+         * Its membership degree in the formula's sort, in `[0, 1]`.
+         * @format double
+         */
+        membership: number;
+    }[] | null;
     /** `"ground"`, `"truth"`, `"value"`, or `"generalisation"`. */
     kind: string;
     /** The neural predicate name (`ground`). */
     predicate?: string | null;
     /** The formula's rules (`truth`, `value`). */
-    rules?: any[] | null;
+    rules?: {
+        /**
+         * The rule's initial homoiconic certainty in `[0, 1]` (default `1.0`).
+         * @format double
+         */
+        certainty?: number | null;
+        /** The individual bound to the clause's variable. */
+        individual: string;
+        /**
+         * `individual`'s fuzzy membership degree in `sort`, in `[0, 1]`.
+         * @format double
+         */
+        membership: number;
+        /**
+         * The sort the clause constrains, by name. Minted as a child of the
+         * root sort within this request's self-contained theory. Absent ⇒ the
+         * root sort (`thing`) is used.
+         */
+        sort?: string | null;
+    }[] | null;
     /** The formula's sort, by name (`generalisation`). Absent ⇒ the root sort. */
     sort?: string | null;
 }
 /** The tagged-union query result. The populated fields depend on `kind`. */
 interface LtnQueryResponse$1 {
     /** The per-rule learned certainties (`value`). */
-    certainties?: any[] | null;
+    certainties?: number[] | null;
     /** Per-instance truth degrees, in request order (`generalisation`). */
-    generalisation?: any[] | null;
+    generalisation?: number[] | null;
     /**
      * The grounded truth degree (`ground`, when not residuated).
      * @format double
@@ -15388,7 +15844,7 @@ interface LtnQueryResponse$1 {
      * the grounding is waiting on (an unembedded individual, an unregistered
      * predicate).
      */
-    residuation_triggers?: any[] | null;
+    residuation_triggers?: string[] | null;
     /**
      * The formula's truth degree (`truth`).
      * @format double
@@ -15497,7 +15953,15 @@ interface LtnRefuteResponse$1 {
      * The counter-example certainty assignment over the KB rules
      * (`refuted`).
      */
-    witness?: any[] | null;
+    witness?: {
+        /**
+         * The certainty value at the counter-example grounding.
+         * @format double
+         */
+        certainty: number;
+        /** The KB rule's bound individual (echoes the request KB rule). */
+        individual: string;
+    }[] | null;
 }
 /** Request to train rule certainties (and, optionally, a neural predicate). */
 interface LtnTrainRequest$1 {
@@ -16948,7 +17412,7 @@ interface MissingInfoDto$1 {
 /** Request to modify and approve an action */
 interface ModifyActionRequest$1 {
     /** Modified input parameters (will override suggested params) */
-    modified_params: Record<string, any>;
+    modified_params: Partial<Record<string, any>>;
     /** Optional notes about the modification */
     notes?: string | null;
     /**
@@ -17207,16 +17671,16 @@ interface NlQueryRequest$1 {
     /** Optional: confirm a TRIZ session (triggers invention pipeline) */
     confirm_session?: boolean | null;
     /** Optional conversation history for context (llm mode only) */
-    conversation_history?: any[] | null;
+    conversation_history?: ConversationTurnDto$1[] | null;
     /** Optional: domain names to exclude from results */
-    exclude_domains?: any[] | null;
+    exclude_domains?: string[] | null;
     /**
      * Optional: focus on a specific proposal index (0-based) for refinement
      * @min 0
      */
     focus_proposal?: number | null;
     /** Optional images for multimodal TRIZ analysis (base64-encoded) */
-    images?: any[] | null;
+    images?: ImageInputDto[] | null;
     /** Translation mode: "llm" (default), "constraint", or "cognitive" */
     mode?: NlQueryMode$1;
     /** The natural language question */
@@ -17274,7 +17738,7 @@ interface NlQueryResponse$1 {
 /** Result item from NL query */
 interface NlQueryResultItem$1 {
     /** Features as key-value pairs */
-    features: Record<string, any>;
+    features: Partial<Record<string, any>>;
     /**
      * Term ID
      * @format uuid
@@ -17363,7 +17827,7 @@ interface ObjectTypeListResponse$1 {
 }
 /** Linear objective.  Omit to run feasibility-only. */
 interface Objective$1 {
-    coefficients?: Record<string, number>;
+    coefficients?: Partial<Record<string, number>>;
     /** @format double */
     constant?: number;
     /** Direction of the objective function. */
@@ -17407,7 +17871,7 @@ interface ObservationalProbabilitiesDto$1 {
 }
 interface ObserveMultiRequest$1 {
     /** Map of variable name to value */
-    observations: Record<string, number>;
+    observations: Partial<Record<string, number>>;
 }
 interface ObserveMultiResponse$1 {
     /** Success flag */
@@ -17477,7 +17941,7 @@ interface OcrConfigDto$1 {
 }
 /** Clarification question DTO for the API response. */
 interface OntologyClarificationQuestionDto$1 {
-    choices?: any[] | null;
+    choices?: string[] | null;
     default?: string | null;
     field: string;
     id: string;
@@ -17495,7 +17959,7 @@ interface OntologyRagRequestDto {
      * Optional: Map of concept_id → numeric value (e.g., mastery, score, confidence)
      * The interpretation of these values is domain-specific
      */
-    concept_values?: object | null;
+    concept_values?: Partial<Record<string, number>> | null;
     /**
      * Feature configuration - allows caller to specify feature names
      * If not provided, uses defaults (requires, teaches, related, etc.)
@@ -18127,7 +18591,7 @@ interface OsfqlRequest$1 {
 /** Response from executing an OSFQL program. */
 interface OsfqlResponse$1 {
     /** Variable bindings from MATCH queries. */
-    bindings: Record<string, OsfqlValueDto>[];
+    bindings: Partial<Record<string, OsfqlValueDto>>[];
     /** IDs of newly defined sorts (from DEFINE statements). */
     defined_sort_ids?: string[];
     /** Diagnostic messages from the execution pipeline. */
@@ -18137,7 +18601,7 @@ interface OsfqlResponse$1 {
      * resolved to a nested Ψ-term (`OsfqlValueDto::Term`, coreference inlined). A document IS a
      * Ψ-term — there is no separate document type. Omitted when the program has no `FETCH`.
      */
-    fetched?: Record<string, OsfqlValueDto>[];
+    fetched?: Partial<Record<string, OsfqlValueDto>>[];
     /** IDs of produced/modified terms (from INSERT, DERIVE, etc.). */
     produced_term_ids: string[];
     /**
@@ -18228,6 +18692,79 @@ interface OversightAlertDto$1 {
      */
     step_index: number;
 }
+/** Metadata about a scientific paper (matches SDK's `PaperMetadataDto`). */
+interface PaperMetadataDto$1 {
+    /** Abstract text. */
+    abstract_text?: string | null;
+    /** arXiv ID. */
+    arxiv_id?: string | null;
+    /** Author names. */
+    authors: string[];
+    /**
+     * Citation count.
+     * @format int32
+     * @min 0
+     */
+    citation_count?: number | null;
+    /** Digital Object Identifier. */
+    doi?: string | null;
+    /** URL to full text. */
+    full_text_url?: string | null;
+    /** Journal or venue name. */
+    journal?: string | null;
+    /**
+     * Stable paper identity (`doi:…`, `pmid:…`, `arxiv:…` or `title:…`).
+     *
+     * The one field on this DTO that is guaranteed present for every paper —
+     * `doi`, `pmid` and `arxiv_id` are each optional. It is the join key
+     * between a paper listed here and the `paper_key` carried by findings,
+     * evidence items and contradiction sides, which is what lets a client
+     * render "this claim comes from that paper" without a second lookup.
+     */
+    paper_key: string;
+    /** PubMed ID. */
+    pmid?: string | null;
+    /** Source database. */
+    source: PaperSource$1;
+    /** Paper title. */
+    title: string;
+    /**
+     * Publication year.
+     * @format int32
+     * @min 0
+     */
+    year?: number | null;
+}
+/**
+ * A citable reference to the paper a statement came from.
+ *
+ * Everything the pipeline produces is keyed internally by OSFKB term UUIDs,
+ * which no consumer can resolve back to a document. `PaperRef` is the
+ * human- and machine-resolvable counterpart: `paper_key` is the stable
+ * identity produced by `PaperMetadata::paper_key`, and `doi`/`title` are
+ * carried alongside so a reader never has to make a second lookup to render
+ * the citation.
+ */
+interface PaperRef {
+    /** DOI of the paper, when it has one. */
+    doi?: string | null;
+    /** Stable paper identity (`doi:…`, `pmid:…`, `arxiv:…` or `title:…`). */
+    paper_key: string;
+    /** Paper title, for display. */
+    title: string;
+}
+/** A search result with relevance score (matches SDK's `PaperSearchResultDto`). */
+interface PaperSearchResultDto$1 {
+    /** Paper metadata. */
+    metadata: PaperMetadataDto$1;
+    /**
+     * Relevance score (0.0-1.0).
+     * @format double
+     */
+    relevance_score?: number | null;
+}
+/** Source of paper metadata. */
+type PaperSource$1 = "PubMed" | "SemanticScholar" | "CrossRef" | "ArXiv";
 /** A typed action parameter (named feature with an appropriateness type). */
 interface ParamSpecDto {
     /** Feature name. */
@@ -18310,7 +18847,7 @@ interface PathResponse$1 {
      */
     component_count: number;
     /** The shortest path as a node sequence (source..=target), if reachable. */
-    path?: any[] | null;
+    path?: string[] | null;
 }
 /** Pattern for matching function arguments */
 type PatternDto$1 = {
@@ -18403,14 +18940,14 @@ interface PendingActionReviewDto$1 {
     /** Current status */
     status: ActionReviewStatusDto$1;
     /** Suggested input parameters for the action */
-    suggested_params: Record<string, any>;
+    suggested_params: Partial<Record<string, any>>;
 }
 /** Summary of a pending invocation. */
 interface PendingInvocationDto$1 {
     /** Action name */
     action_name: string;
     /** Input values */
-    inputs: Record<string, any>;
+    inputs: Partial<Record<string, any>>;
     /** Invocation ID */
     invocation_id: string;
     /** When invoked (ISO 8601) */
@@ -18443,7 +18980,7 @@ interface PendingReviewEntityDto {
     /** Candidate matches for deduplication */
     candidates: ReviewCandidateMatchDto$1[];
     /** Character interval in source text where entity was found (start, end) */
-    char_interval?: any[] | null;
+    char_interval?: number[] | null;
     /**
      * Extraction confidence score (0.0 - 1.0)
      * @format double
@@ -18454,7 +18991,7 @@ interface PendingReviewEntityDto {
     /** Entity local ID (from extraction) */
     entity_id: string;
     /** Extracted features as key-value pairs */
-    features: Record<string, any>;
+    features: Partial<Record<string, any>>;
     /** Why this entity needs review */
     reason: ReviewReason$1;
     /**
@@ -18812,7 +19349,7 @@ interface PredictEffectResponse$1 {
      * ALL effects as FuzzyNumbers (multi-parameter drug design)
      * Keys: effect_potency, effect_lipophilicity, effect_metabolic_stability, etc.
      */
-    all_effects?: Record<string, EffectDto$1>;
+    all_effects?: Partial<Record<string, EffectDto$1>>;
     /**
      * Combined confidence/degree from Bayesian merging
      * @format double
@@ -18842,7 +19379,7 @@ interface PredictEffectResponse$1 {
 /** Request to predict effect for a query point. */
 interface PredictFromDiscoveryRequest$1 {
     /** Current feature values. */
-    current_values: Record<string, number>;
+    current_values: Partial<Record<string, number>>;
     /**
      * The root sort ID from discovery.
      * @format uuid
@@ -18867,7 +19404,7 @@ interface PredictFromDiscoveryResponse$1 {
      */
     avg_similarity: number;
     /** Predicted effects by horizon. */
-    predictions: Record<string, EffectPredictionDto$1>;
+    predictions: Partial<Record<string, EffectPredictionDto$1>>;
     /**
      * Query time in milliseconds.
      * @min 0
@@ -19211,7 +19748,7 @@ interface PropertyGraphErrorResponse$1 {
 /** Execution response for a GQL/Cypher/Gremlin query after lowering to OSFQL. */
 interface PropertyGraphExecuteResponse$1 {
     /** Variable bindings returned by OSFQL `MATCH`. */
-    bindings: Record<string, OsfqlValueDto>[];
+    bindings: Partial<Record<string, OsfqlValueDto>>[];
     /** Sort ids produced by `DEFINE`; normally empty for property-graph compatibility. */
     defined_sort_ids: string[];
     /** Diagnostics emitted by the OSFQL executor. */
@@ -19262,6 +19799,17 @@ interface ProvenanceDto {
      */
     source_fact_id: string;
 }
+/** A step in the provenance chain linking a finding to its sources. */
+interface ProvenanceStep {
+    /** Description of what happened at this step. */
+    description: string;
+    /** OSFKB entity ID involved in this step. */
+    entity_id?: string | null;
+    /** Type of step: "extraction", "inference", "assessment". */
+    step_type: string;
+    /** Timestamp of this step (ISO 8601). */
+    timestamp?: string | null;
+}
 /**
  * Provenance tag for a derived fact from tagged forward chaining.
  * Maps a derived fact (by index) to its probabilistic confidence score.
@@ -19352,7 +19900,7 @@ interface PsiTermDto$1 {
      * - constraint.sort: `{var: Uuid, sort_id: Uuid}`
      * - variable: `{_name?: String}`
      */
-    features: Record<string, FeatureValueDto$1>;
+    features: Partial<Record<string, FeatureValueDto$1>>;
     /**
      * Sort ID (for programmatic use)
      * @format uuid
@@ -19454,7 +20002,7 @@ type QueryTerm$1 = {
     term_id: string;
     type: "by_id";
 } | {
-    features: Record<string, ValueDto$1>;
+    features: Partial<Record<string, ValueDto$1>>;
     /** @format uuid */
     sort_id: string;
     type: "inline";
@@ -19536,7 +20084,7 @@ interface ReExtractRequest$1 {
     /** Use different extraction strategy */
     extraction_strategy?: string | null;
     /** Focus on specific sorts */
-    focus_sorts?: any[] | null;
+    focus_sorts?: string[] | null;
     /** Specific prompt/instructions for extraction */
     instructions?: string | null;
     /**
@@ -19886,7 +20434,7 @@ interface RegisterExternalActionRequest$1 {
     /** Unique name for this action (becomes the sort name) */
     name: string;
     /** Optional input features with default values */
-    optional_inputs?: Record<string, any>;
+    optional_inputs?: Partial<Record<string, any>>;
     /** Output feature names (bound after callback) */
     outputs?: string[];
     /** Required input feature names */
@@ -20168,6 +20716,22 @@ interface RepairHintDto {
     /** The feature or predicate the hint applies to. */
     target: string;
 }
+/** Oversight verification result for the report. */
+interface ReportVerification {
+    /**
+     * Computation time in milliseconds.
+     * @format int64
+     * @min 0
+     */
+    computation_time_ms: number;
+    /**
+     * Overall verification score (0.0-1.0).
+     * @format double
+     */
+    score: number;
+    /** Overall verdict: "safe", "unsafe", "undetermined". */
+    verdict: string;
+}
 /** Request to reprocess failed documents */
 interface ReprocessFailedRequest {
     /**
@@ -20189,10 +20753,320 @@ interface ReprocessFailedResponse {
     /** @min 0 */
     requeued_count: number;
 }
+/** Response with contradictions. */
+interface ResearchContradictionsResponse$1 {
+    /** All detected contradictions. */
+    contradictions: Contradiction[];
+    /**
+     * Session ID.
+     * @format uuid
+     */
+    session_id: string;
+    /**
+     * Total number of contradictions.
+     * @min 0
+     */
+    total: number;
+}
+/** Results from a single research cycle (matches SDK's `ResearchCycleResultDto`). */
+interface ResearchCycleResultDto$1 {
+    /**
+     * Claims merged via entailment detection.
+     * @min 0
+     */
+    claims_merged?: number;
+    /**
+     * Claims verified.
+     * @min 0
+     */
+    claims_verified: number;
+    /**
+     * Contradictions detected.
+     * @min 0
+     */
+    contradictions_detected: number;
+    /**
+     * Contradictions resolved via evidence comparison.
+     * @min 0
+     */
+    contradictions_resolved?: number;
+    /**
+     * Cycle number (1-indexed).
+     * @format int32
+     * @min 0
+     */
+    cycle_number: number;
+    /**
+     * Knowledge gaps detected at start of cycle.
+     * @min 0
+     */
+    gaps_detected: number;
+    /**
+     * Gaps resolved during this cycle.
+     * @min 0
+     */
+    gaps_resolved: number;
+    /**
+     * Papers successfully ingested.
+     * @min 0
+     */
+    papers_ingested: number;
+    /**
+     * Papers retrieved from external APIs.
+     * @min 0
+     */
+    papers_retrieved: number;
+    /**
+     * Processing time for this cycle in milliseconds.
+     * @format int64
+     * @min 0
+     */
+    processing_time_ms: number;
+    /** Search queries used. */
+    search_queries: string[];
+}
+/**
+ * Error response body.
+ *
+ * Registered in the workspace OpenAPI document as `ResearchErrorResponse`.
+ * `osfkb-api` already publishes a component named `ErrorResponse`, and
+ * `utoipa`'s merge takes only what the target does not already have — an
+ * unrenamed component here would be dropped silently and every research error
+ * response would `$ref` the api crate's type instead. The two happen to have
+ * the same shape today; nothing keeps them that way.
+ */
+interface ResearchErrorResponse {
+    /** Error message. */
+    error: string;
+}
+/** A verified research finding. */
+interface ResearchFinding {
+    /** OSFKB term ID of the claim. */
+    claim_id: string;
+    /** Evidence items contradicting the claim. */
+    contradicting_evidence: EvidenceItemSummary[];
+    /** Assessment label ("Strongly Supported", "Contradicted", etc.). */
+    label: string;
+    /** Full provenance chain from source to finding. */
+    provenance_chain: ProvenanceStep[];
+    /** Whether the assessment was residuated (suspended due to insufficient evidence). */
+    residuated: boolean;
+    /** Specific features that are residuated, enabling targeted gap filling. */
+    residuated_features?: ResiduatedFeature[];
+    /** Reason for residuation if applicable. */
+    residuation_reason?: string | null;
+    /**
+     * Papers the claim was extracted from.
+     *
+     * `claim_id` is an OSFKB term UUID and is not resolvable by a consumer;
+     * this is what makes the finding citable. Resolved by walking the claim's
+     * term id through the session's paper→term links, so a claim drawn from
+     * several papers carries several refs, in link order.
+     * Defaulted so sessions persisted before attribution existed still load.
+     */
+    sources?: PaperRef[];
+    /** The claim statement. */
+    statement: string;
+    /** Evidence items supporting the claim. */
+    supporting_evidence: EvidenceItemSummary[];
+    /**
+     * Evidence assessment truthfulness score (0.0-1.0).
+     * @format double
+     */
+    truthfulness: number;
+}
+/** Response with research findings. */
+interface ResearchFindingsResponse$1 {
+    /** All verified findings. */
+    findings: ResearchFinding[];
+    /**
+     * Session ID.
+     * @format uuid
+     */
+    session_id: string;
+    /**
+     * Total number of findings.
+     * @min 0
+     */
+    total: number;
+}
+/** Response with knowledge gaps. */
+interface ResearchGapsResponse$1 {
+    /** All detected knowledge gaps. */
+    gaps: KnowledgeGap[];
+    /**
+     * Session ID.
+     * @format uuid
+     */
+    session_id: string;
+    /**
+     * Total number of gaps.
+     * @min 0
+     */
+    total: number;
+}
+/** Response with the research report (matches SDK's `ResearchReportResponse`). */
+interface ResearchReportResponse$1 {
+    /** Detected contradictions. */
+    contradictions: Contradiction[];
+    /** Findings with provenance. */
+    findings: ResearchFinding[];
+    /** Generated report content (markdown). */
+    generated_content?: string | null;
+    /** Unresolved knowledge gaps. */
+    knowledge_gaps: KnowledgeGap[];
+    /** The research question. */
+    question: string;
+    /**
+     * Session ID.
+     * @format uuid
+     */
+    session_id: string;
+    /** Research statistics. */
+    statistics: ResearchStatisticsDto$1;
+    /** Executive summary. */
+    summary: string;
+    /** Oversight verification result. */
+    verification?: null | ReportVerification;
+}
+/**
+ * The wire spelling of a session's status: the phase name alone, without the
+ * payload [`ResearchSessionStatus::Failed`] carries.
+ *
+ * The domain status is an externally-tagged enum with data on one variant, so
+ * it serializes as `{"Failed":{"error":"…"}}` — a shape no consumer wants on a
+ * field named `status`, and one that changes shape between variants. This is
+ * the flat projection the API has always sent (`"Created"`, `"Failed"`, …);
+ * a `Failed` session's message travels separately, in
+ * [`GetSessionResponse::error`].
+ *
+ * **It is a type, not a `String`, so that it reaches the OpenAPI document as a
+ * closed enum.** As a `String` the spec said "any string", and every generated
+ * client had to hand-maintain the list of eight — a list with nothing checking
+ * it against this match. The TypeScript SDK's `ResearchSessionStatusDto` union
+ * is now generated from this declaration, so adding a variant here propagates
+ * instead of drifting (#144).
+ */
+type ResearchSessionStatusLabel = "Created" | "Bootstrapping" | "Retrieving" | "Ingesting" | "Verifying" | "Reporting" | "Completed" | "Failed";
+/** One row in the session list (GET /research/sessions). */
+interface ResearchSessionSummaryDto$1 {
+    /** When the session was created (ISO 8601). */
+    created_at: string;
+    /** The research question. */
+    question: string;
+    /**
+     * Session ID.
+     * @format uuid
+     */
+    session_id: string;
+    /**
+     * Current session status — the phase name alone; see
+     * [`ResearchSessionStatusLabel`].
+     */
+    status: ResearchSessionStatusLabel;
+    /**
+     * Total contradictions.
+     * @min 0
+     */
+    total_contradictions: number;
+    /**
+     * Total findings.
+     * @min 0
+     */
+    total_findings: number;
+    /**
+     * Total knowledge gaps.
+     * @min 0
+     */
+    total_gaps: number;
+    /**
+     * Total papers ingested.
+     * @min 0
+     */
+    total_papers_ingested: number;
+    /**
+     * Total papers retrieved from external APIs, including by the cycle
+     * currently running — the list view's half of the same live progress
+     * [`GetSessionResponse::total_papers_retrieved`] carries.
+     * @min 0
+     */
+    total_papers_retrieved: number;
+    /** When the session was last updated (ISO 8601). */
+    updated_at: string;
+}
+/** Statistics DTO for API responses (matches SDK's `ResearchStatisticsDto`). */
+interface ResearchStatisticsDto$1 {
+    /**
+     * Claims merged via entailment detection.
+     * @format int32
+     * @min 0
+     */
+    claims_merged?: number;
+    /**
+     * Contradictions resolved via evidence comparison.
+     * @format int32
+     * @min 0
+     */
+    contradictions_resolved?: number;
+    /**
+     * Knowledge gaps remaining.
+     * @format int32
+     * @min 0
+     */
+    gaps_remaining: number;
+    /**
+     * Knowledge gaps resolved.
+     * @format int32
+     * @min 0
+     */
+    gaps_resolved: number;
+    /**
+     * Total claims extracted.
+     * @format int32
+     * @min 0
+     */
+    total_claims_extracted: number;
+    /**
+     * Total claims verified.
+     * @format int32
+     * @min 0
+     */
+    total_claims_verified: number;
+    /**
+     * Total contradictions detected.
+     * @format int32
+     * @min 0
+     */
+    total_contradictions: number;
+    /**
+     * Total number of research cycles.
+     * @format int32
+     * @min 0
+     */
+    total_cycles: number;
+    /**
+     * Total papers successfully ingested.
+     * @format int32
+     * @min 0
+     */
+    total_papers_ingested: number;
+    /**
+     * Total papers retrieved from external APIs.
+     * @format int32
+     * @min 0
+     */
+    total_papers_retrieved: number;
+    /**
+     * Total processing time in milliseconds.
+     * @format int64
+     * @min 0
+     */
+    total_processing_time_ms: number;
+}
 /** Residuated witness waiting for information */
 interface ResidualWitnessDto$1 {
     /** Partial bindings found so far */
-    partial_bindings: Record<string, string>;
+    partial_bindings: Partial<Record<string, string>>;
     /** What would trigger re-evaluation */
     trigger: string;
     /** ID of the witness that couldn't be satisfied yet */
@@ -20229,6 +21103,24 @@ interface ResiduatedEntry {
     /** What would resolve this: "Provide a fact with sort <name>" */
     wake_trigger: string;
 }
+/**
+ * A feature that is residuated (suspended due to missing data).
+ *
+ * Tracks per-feature residuation rather than binary residuation at the claim level.
+ * Each residuated feature represents a specific piece of missing information that,
+ * if resolved, would strengthen or change the claim assessment.
+ */
+interface ResiduatedFeature {
+    /** Feature name that is missing or incomplete. */
+    feature_name: string;
+    /**
+     * Information gain from resolving this feature (0.0-1.0).
+     * @format double
+     */
+    info_gain: number;
+    /** What sort/type would satisfy this feature. */
+    needed_sort?: string | null;
+}
 /** A residuated term */
 interface ResiduatedTermDto$1 {
     /**
@@ -20264,7 +21156,7 @@ interface ResiduationDetailDto$1 {
 /** A residuation (witness that couldn't be satisfied yet) */
 interface ResiduationDto$1 {
     /** Partial bindings found so far */
-    partial_bindings: Record<string, string>;
+    partial_bindings: Partial<Record<string, string>>;
     /** What would trigger re-evaluation */
     trigger: string;
     /** ID of the witness that residuated */
@@ -20360,6 +21252,8 @@ interface ResiduationStats$1 {
      */
     total: number;
 }
+/** Strategy used to resolve a contradiction between two claims. */
+type ResolutionStrategy = "EvidenceStrength" | "EvidenceCount" | "Unresolvable";
 /** Request to resolve a qualified name */
 interface ResolveSymbolRequest$1 {
     /** Qualified name (e.g., "module#symbol" or just "symbol") */
@@ -20591,7 +21485,7 @@ interface ReviewCandidateMatchDto$1 {
     /** Display name for the candidate */
     display_name: string;
     /** Key features for comparison */
-    features: Record<string, any>;
+    features: Partial<Record<string, any>>;
     /**
      * Similarity score (0.0 - 1.0)
      * @format double
@@ -20612,9 +21506,9 @@ type ReviewStatus = "pending" | "approved" | "rejected" | "corrected" | "merged"
 /** Summary statistics for pending reviews */
 interface ReviewSummaryDto {
     /** Breakdown by reason */
-    by_reason: Record<string, number>;
+    by_reason: Partial<Record<string, number>>;
     /** Breakdown by sort */
-    by_sort: Record<string, number>;
+    by_sort: Partial<Record<string, number>>;
     /**
      * Entities with high confidence (>0.8)
      * @min 0
@@ -20637,7 +21531,7 @@ interface ReviewSummaryDto {
  */
 interface RewardScoreRequest$1 {
     /** Feature → value constraints, as `[["maker","Tesla"], ...]`. Optional. */
-    constraints?: any[][];
+    constraints?: [string, string][];
     /**
      * Bounded sample size used the first time this tenant's model is mined. Optional.
      * @min 0
@@ -20915,7 +21809,7 @@ interface RlTrainResponse$1 {
     /** Contrastive losses from encoder training (empty if no encoder) */
     contrastive_losses?: number[];
     /** Conversation-specific metrics when training on conversation environment */
-    conversation_decisions?: Record<string, number>;
+    conversation_decisions?: Partial<Record<string, number>>;
     /**
      * Auto-curriculum adjustments
      * @min 0
@@ -20953,14 +21847,14 @@ interface RlTrainResponse$1 {
      */
     expert_avg_entropy?: number;
     /** Average expert weights (empty map if gating disabled) */
-    expert_avg_weights?: Record<string, number>;
+    expert_avg_weights?: Partial<Record<string, number>>;
     /**
      * Expert collapse recoveries count
      * @min 0
      */
     expert_collapse_recoveries?: number;
     /** Final expert weights at end of training */
-    expert_final_weights?: Record<string, number>;
+    expert_final_weights?: Partial<Record<string, number>>;
     /**
      * Final contrastive temperature after feedback adaptation
      * @format float
@@ -20982,14 +21876,14 @@ interface RlTrainResponse$1 {
      */
     imagination_transitions?: number;
     /** Mode distribution (how often each cognitive mode was selected) */
-    mode_distribution?: Record<string, number>;
+    mode_distribution?: Partial<Record<string, number>>;
     /**
      * Number of peer demonstrations consumed from self-play trajectory exchange
      * @min 0
      */
     peer_demonstrations_consumed?: number;
     /** Plasticity phase transitions observed (episode, phase) */
-    plasticity_phase_transitions?: any[][];
+    plasticity_phase_transitions?: [number, number][];
     /**
      * Number of reactive decisions from deliberation scaling
      * @min 0
@@ -21126,7 +22020,7 @@ interface RowIntegrateResponse$1 {
 /** A matched entity from row search */
 interface RowMatchDto$1 {
     /** All features of the entity */
-    features: Record<string, any>;
+    features: Partial<Record<string, any>>;
     /**
      * Entity ID
      * @format uuid
@@ -21440,6 +22334,23 @@ interface RunIntegratedCycleResponse$1 {
     /** Outcome of the integrated cycle */
     outcome: IntegratedCycleOutcomeDto$1;
 }
+/** Response from running a research cycle (matches SDK's `ResearchCycleResponse`). */
+interface RunResearchCycleResponse {
+    /** Whether the session has converged (no more cycles needed). */
+    converged: boolean;
+    /** Results from this cycle. */
+    cycle: ResearchCycleResultDto$1;
+    /**
+     * Session ID.
+     * @format uuid
+     */
+    session_id: string;
+    /**
+     * Current session status — the phase name alone; see
+     * [`ResearchSessionStatusLabel`].
+     */
+    status: ResearchSessionStatusLabel;
+}
 /** Aggregated Safe Harbor result across the record batch. */
 interface SafeHarborSummary$1 {
     /**
@@ -21512,7 +22423,7 @@ interface SatSolveResponse$1 {
      * When `result` is `"satisfiable"`: the Boolean assignment for each variable
      * (index 0 = `model[0]`, etc.). Absent otherwise.
      */
-    model?: any[] | null;
+    model?: boolean[] | null;
     /** Satisfiability verdict. */
     result: SatVerdict$1;
     /** Solver statistics (decisions, conflicts, propagations, restarts). */
@@ -21691,11 +22602,11 @@ interface ScmCounterfactualRequest$1 {
     /** Deterministic structural assignments */
     assignments: StructuralAssignmentDto$1[];
     /** The FACTUAL evidence (what was actually observed) */
-    evidence: Record<string, number>;
+    evidence: Partial<Record<string, number>>;
     /** Exogenous noise variables with their distributions */
     exogenous: ExogenousNoiseDto$1[];
     /** The hypothetical interventions do(V = v) */
-    interventions: Record<string, number>;
+    interventions: Partial<Record<string, number>>;
     /** The variable whose counterfactual distribution is queried */
     query: string;
 }
@@ -21785,6 +22696,28 @@ interface SearchCommunitiesResponse$1 {
  * that do not send a `mode` field.
  */
 type SearchModeDto$1 = "solutions" | "feasibility";
+/** Request to search for papers. */
+interface SearchPapersRequest$1 {
+    /**
+     * Maximum number of results.
+     * @min 0
+     */
+    max_results?: number | null;
+    /** Search query string. */
+    query: string;
+    /** Restrict to specific sources (e.g., ["PubMed", "SemanticScholar"]). */
+    sources?: string[] | null;
+}
+/** Response from paper search (matches SDK's `SearchPapersResponse`). */
+interface SearchPapersResponse$1 {
+    /** Search results. */
+    results: PaperSearchResultDto$1[];
+    /**
+     * Total results found (may exceed returned count).
+     * @min 0
+     */
+    total_found: number;
+}
 /** Request to search for solutions */
 interface SearchRequest {
     /**
@@ -21840,7 +22773,7 @@ type SearchResponse = {
      * Per-variable feasibility.  Key is the variable name as registered
      * in the space's choice points.
      */
-    variables: Record<string, VariableFeasibilityDto$1>;
+    variables: Partial<Record<string, VariableFeasibilityDto$1>>;
 };
 /**
  * PG-direct name search across the tenant's sorts. Used by the
@@ -22046,7 +22979,7 @@ interface SessionStatusResponse {
  */
 interface SetActionReviewConfigRequest$1 {
     /** Action sorts that always require approval */
-    always_require_approval?: any[] | null;
+    always_require_approval?: string[] | null;
     /**
      * Default timeout for reviews, in seconds
      * @format int64
@@ -22066,7 +22999,7 @@ interface SetActionReviewConfigRequest$1 {
      */
     max_pending_reviews?: number | null;
     /** Action sorts that never require approval (override) */
-    never_require_approval?: any[] | null;
+    never_require_approval?: string[] | null;
 }
 /** Response after applying the action-review configuration. */
 interface SetActionReviewConfigResponse$1 {
@@ -22196,7 +23129,7 @@ interface ShiftDemandInput {
      * by any eligible agent.  Role names must match tags used in
      * [`AgentInput::roles`].
      */
-    role_minimums?: Record<string, number>;
+    role_minimums?: Partial<Record<string, number>>;
     /** @min 0 */
     shift: number;
     /**
@@ -22426,7 +23359,7 @@ interface SmtCheckResponse$1 {
      *
      * `true` → this equality holds in the model; `false` → it does not hold.
      */
-    assignments?: object | null;
+    assignments?: Partial<Record<number, boolean>> | null;
     /** Satisfiability verdict. */
     result: SmtVerdict$1;
     /** Reason string for `"unknown"` results. Absent otherwise. */
@@ -22546,11 +23479,11 @@ type SolutionStatus$1 = "optimal" | "feasible" | "infeasible" | "unbounded" | "u
 /** Request to solve a constraint problem */
 interface SolveConstraintRequest$1 {
     constraints: ArithmeticConstraintDto$1[];
-    initial_bindings?: object | null;
+    initial_bindings?: Partial<Record<string, number>> | null;
 }
 /** Response from solving a constraint problem */
 interface SolveConstraintResponse$1 {
-    bindings: Record<string, number>;
+    bindings: Partial<Record<string, number>>;
     message?: string | null;
     success: boolean;
     suspended_constraints: string[];
@@ -22568,7 +23501,7 @@ interface SolveFlowNetworkResponse$1 {
     /** Echo of the algorithm dispatched. */
     algorithm: FlowAlgorithmDto;
     /** Per-edge classification (classify_* algorithms only). */
-    classifications?: any[] | null;
+    classifications?: EdgeClassificationDto[] | null;
     /** Per-edge flow snapshot. */
     edge_flows: EdgeFlowDto[];
     /** Min-cut partition (min_cut algorithm only). */
@@ -22624,7 +23557,7 @@ interface SolveProblemResponse$1 {
     /** Status reported by the solver. */
     status: SolutionStatus$1;
     /** Variable-name → optimal value.  Empty for infeasible/unbounded. */
-    values: Record<string, number>;
+    values: Partial<Record<string, number>>;
 }
 /**
  * Response body for `GET /api/v1/solver/health`. Typed so the OpenAPI
@@ -22710,9 +23643,9 @@ interface SortBoxResponse$1 {
      */
     log_volume?: number | null;
     /** Maximum coordinates of the box. */
-    max_coords?: any[] | null;
+    max_coords?: number[] | null;
     /** Minimum coordinates of the box. */
-    min_coords?: any[] | null;
+    min_coords?: number[] | null;
     /** The sort name that was looked up. */
     sort_name: string;
 }
@@ -22729,7 +23662,7 @@ interface SortCalibrationDto$1 {
      */
     ece: number;
     /** Feature-level ECE (if computed). */
-    feature_ece: Record<string, number>;
+    feature_ece: Partial<Record<string, number>>;
     /** Whether the sort is overconfident. */
     is_overconfident: boolean;
     /** Whether the sort is underconfident. */
@@ -22848,7 +23781,7 @@ interface SortDiscoveryResponseDto {
      */
     concepts_matching_existing: number;
     /** Fuzzy concept levels (only present when fuzzy_thresholds was non-empty) */
-    fuzzy_levels?: any[] | null;
+    fuzzy_levels?: FuzzyConceptLevelDto[] | null;
     /**
      * Novel concepts discovered (potential new sorts)
      * @min 0
@@ -22879,7 +23812,7 @@ interface SortDiscoveryResponseDto {
 /** API representation of a sort with full OSF schema */
 interface SortDto$1 {
     /** Custom OWL annotations (e.g., icon, color) */
-    annotations?: Record<string, string>;
+    annotations?: Partial<Record<string, string>>;
     /** Bound constraints on feature values */
     bound_constraints?: BoundConstraintDto$1[];
     /** Human-readable description for semantic search */
@@ -23533,7 +24466,7 @@ interface SpaceSolutionDto$1 {
     /** The choices made at each choice point */
     choices: ChoiceSelection$1[];
     /** Trace events (e.g., LIFE feature creation) */
-    events?: any[] | null;
+    events?: TraceEventDto$1[] | null;
     /** ID of the space containing this solution */
     space_id: string;
     /** Status (should be Succeeded) */
@@ -24041,8 +24974,8 @@ interface SummaryResponse$1 {
      * @min 0
      */
     n_records: number;
-    per_actor: Record<string, number>;
-    per_request_path: Record<string, number>;
+    per_actor: Partial<Record<string, number>>;
+    per_request_path: Partial<Record<string, number>>;
     tenant_id: string;
     ts_first?: string | null;
     ts_last?: string | null;
@@ -24498,7 +25431,7 @@ interface TemporalPlanRequest$1 {
      * Optional fields that must have unique values across selections (e.g., ["cuisine"])
      * When None or empty, allows same term to be selected multiple times
      */
-    no_repeat_fields?: any[] | null;
+    no_repeat_fields?: string[] | null;
     /**
      * Number of terms to select (e.g., 7 for weekly plan)
      * @min 0
@@ -24523,7 +25456,7 @@ interface TemporalPlanRequest$1 {
      * Optional quality scores for top-k selection (term_id -> score)
      * When provided, selects highest-quality diverse candidates
      */
-    top_k?: object | null;
+    top_k?: Partial<Record<string, number>> | null;
 }
 /** Response from temporal planning */
 interface TemporalPlanResponse$1 {
@@ -24659,7 +25592,7 @@ interface TermDto$1 {
      */
     display_name?: string | null;
     /** Features map */
-    features: Record<string, ValueDto$1>;
+    features: Partial<Record<string, ValueDto$1>>;
     /**
      * Term ID
      * @format uuid
@@ -24674,7 +25607,7 @@ interface TermDto$1 {
      * Summaries of referenced terms — maps UUID string to display info.
      * Enriched at API layer via DomainTermStore lookups, zero extra I/O.
      */
-    referenced_terms?: Record<string, ReferencedTermSummary$1>;
+    referenced_terms?: Partial<Record<string, ReferencedTermSummary$1>>;
     /**
      * Sort ID
      * @format uuid
@@ -24752,7 +25685,7 @@ interface TermListResponse$1 {
 /** Term pattern for unification queries */
 interface TermPatternDto$1 {
     /** Features to match */
-    features: Record<string, ValueDto$1>;
+    features: Partial<Record<string, ValueDto$1>>;
     /**
      * Sort ID of the pattern
      * @format uuid
@@ -24798,7 +25731,7 @@ interface TerminationDto {
      * When termination could not be established and an obstruction was found, the
      * human-readable cycle of interacting positions that can grow without bound.
      */
-    diverging_cycle?: any[] | null;
+    diverging_cycle?: string[] | null;
     /**
      * The deepest chain of freshly-created values any reasoning step can produce
      * (the ranking-function bound). `0` means the rules never invent new values
@@ -24824,7 +25757,7 @@ interface TestInputDto {
      * calibration.  Each value must be in `[0, 1]`.  At least one
      * class entry required.
      */
-    class_scores: Record<string, number>;
+    class_scores: Partial<Record<string, number>>;
     /** Caller-assigned identifier echoed in the response. */
     input_id: string;
 }
@@ -24934,6 +25867,17 @@ interface ToolCallInfo$1 {
     /** Tool name that was invoked */
     name: string;
 }
+/** Trace event payload */
+interface TraceEventDto$1 {
+    assignment: string;
+    /** 'feature_created' | 'feature_verified' | 'feature_conflict' */
+    event_type: string;
+    /** @format int64 */
+    id: number;
+    /** @format int64 */
+    value_label: number;
+    variable?: string | null;
+}
 /** Trail entry DTO */
 type TrailEntryDto$1 = {
     feature_name: string;
@@ -25142,7 +26086,7 @@ interface TranslateRdfRequest$1 {
  */
 interface TranslateRdfResponse$1 {
     /** The document's `@prefix` declarations (`prefix → namespace IRI`). */
-    prefixes: Record<string, string>;
+    prefixes: Partial<Record<string, string>>;
     /** Distinct sort names referenced by the produced terms. */
     sorts: string[];
     /**
@@ -25353,7 +26297,7 @@ type TypedConstraintDto = {
  * the new `RunOsfql` variant, since the tier is fixed by kind for the others).
  */
 type UIActionDto$1 = {
-    field_types: Record<string, string>;
+    field_types: Partial<Record<string, string>>;
     osfql_template: string;
     /**
      * Safety tier assigned per entry — a coarse pre-filter. The security boundary
@@ -25399,7 +26343,7 @@ type UIActionDto$1 = {
     statement_id?: string | null;
     type: "load_data";
 } | {
-    field_types: Record<string, string>;
+    field_types: Partial<Record<string, string>>;
     osfql_template: string;
     /**
      * Safety tier assigned per entry — a coarse pre-filter. The security boundary
@@ -25513,7 +26457,7 @@ type UIActionDto$1 = {
     statement_id?: string | null;
     type: "refresh";
 } | {
-    field_types: Record<string, string>;
+    field_types: Partial<Record<string, string>>;
     osfql_template: string;
     /**
      * Safety tier assigned per entry — a coarse pre-filter. The security boundary
@@ -25559,9 +26503,9 @@ interface UIActionRequest$1 {
      */
     dry_run?: boolean;
     /** Field type metadata (field_name → type hint like "string", "integer", "boolean") */
-    field_types?: object | null;
+    field_types?: Partial<Record<string, string>> | null;
     /** Original field values for update operations (used for RETRACT to identify the term) */
-    original_values?: object | null;
+    original_values?: Partial<Record<string, any>> | null;
     /**
      * Raw OSFQL override (if provided, used directly instead of building from
      * values). Gated: rejected with 400 unless `OSFKB_UI_RAW_OSFQL=1`.
@@ -25580,14 +26524,14 @@ interface UIActionRequest$1 {
     /** Term ID for update/delete operations */
     term_id?: string | null;
     /** Field values for submit/update (field_name → JSON value) */
-    values?: object | null;
+    values?: Partial<Record<string, any>> | null;
 }
 /** Response from executing a UI action */
 interface UIActionResponse$1 {
     /** Present on dry-run of RETRACT/UPDATE: the rows the statement would hit. */
     affected_preview?: null | AffectedPreviewDto$1;
     /** Read-back rows for `run_osfql` reads (GOALS/GET GLOBAL/HIERARCHY/AGGREGATE). */
-    bindings?: any[] | null;
+    bindings?: object[] | null;
     /** Diagnostics from OSFQL execution */
     diagnostics?: string[];
     /** Echo: true means this was a dry-run preview and nothing was mutated. */
@@ -25652,10 +26596,33 @@ interface UICatalogResponse$1 {
      */
     count: number;
 }
+/**
+ * A single UI customization instruction from the frontend.
+ *
+ * Customizations are accumulated across chat turns and sent alongside
+ * the describe request. The assembly service applies them as patches
+ * on top of the base descriptor generated from the sort definition.
+ */
+interface UICustomizationDto$2 {
+    /** Component descriptor for add_component / add_tab */
+    component?: null | UIDescriptorDto$1;
+    /** Type of customization */
+    customization_type: string;
+    /** Layout mode for change_layout */
+    layout_mode?: null | LayoutModeDto$1;
+    /** Additional params (label, column name, style values, etc.) */
+    params?: Partial<Record<string, any>> | null;
+    /** Props to override on an existing component */
+    props_override?: Partial<Record<string, any>> | null;
+    /** JSONPath-style target for modifications (e.g., "children[0].props") */
+    target_path?: string | null;
+    /** Target slot for component additions/removals */
+    target_slot?: string | null;
+}
 /** Request to generate a UI descriptor for a sort. */
 interface UIDescribeRequest$1 {
     /** Accumulated UI customizations from multi-turn conversation */
-    customizations?: any[] | null;
+    customizations?: UICustomizationDto$2[] | null;
     /** Whether to load data via OSFQL (Table/Detail views, default: true) */
     load_data?: boolean;
     /**
@@ -25810,7 +26777,7 @@ interface UIGenerateResponse$1 {
 type UiSort$1 = "app" | "page" | "dashboard" | "grid" | "flex" | "stack" | "box" | "card" | "divider" | "spacer" | "navbar" | "sidebar" | "tabs" | "tab_panel" | "breadcrumbs" | "menu" | "menu_item" | "link" | "router" | "route" | "data_table" | "column" | "list" | "list_item" | "tree" | "tree_node" | "chart" | "stat" | "badge" | "avatar" | "icon" | "image" | "video" | "text" | "heading" | "paragraph" | "code" | "markdown" | "label" | "form" | "form_field" | "input" | "textarea" | "select" | "option" | "checkbox" | "radio" | "radio_group" | "toggle" | "slider" | "date_picker" | "time_picker" | "date_range_picker" | "file_upload" | "color_picker" | "autocomplete" | "search_input" | "button" | "button_group" | "icon_button" | "fab" | "dropdown_button" | "modal" | "dialog" | "drawer" | "popover" | "tooltip" | "toast" | "alert" | "progress" | "spinner" | "skeleton" | "accordion" | "accordion_item" | "collapsible" | "carousel" | "drag_drop_zone" | "draggable" | "drop_target" | "resizable" | "sortable_list" | "command_palette" | "wizard" | "wizard_step" | "timeline" | "timeline_item" | "kanban_board" | "kanban_column" | "kanban_card" | "calendar" | "rich_text_editor" | "conditional" | "for_each" | "show" | "suspense" | "error_boundary" | "portal" | "data_source" | "computed" | "state" | "effect" | "on_event" | "on_click" | "on_submit" | "on_change" | "sequence" | "navigate" | "api_call" | "set_state" | "show_toast" | "open_modal" | "close_modal" | "animate" | "transition" | "keyframes" | "auth_provider" | "protected_route" | "login_form" | "logout_button" | "user_profile" | "permission_gate" | "session_timeout" | "i18n_provider" | "trans" | "language_switcher" | "locale_date" | "locale_number" | "locale_currency" | "bidi" | "responsive" | "show_on_breakpoint" | "hide_on_breakpoint" | "container_query" | "aspect_ratio" | "theme_provider" | "theme_toggle" | "css_var" | "styled" | "color_scheme" | "screen_reader_only" | "skip_link" | "focus_trap" | "live_region" | "keyboard_nav" | "accessible_label" | "focus_ring" | "virtual_list" | "virtual_grid" | "virtual_table" | "infinite_scroll" | "lazy_load" | "code_split" | "prefetch" | "offline_indicator" | "sync_status" | "cache_control" | "background_sync" | "install_prompt" | "update_available" | "undo_provider" | "undo_button" | "redo_button" | "history_browser" | "snapshot" | "restore_point" | "hotkey" | "shortcut_hint" | "key_combo" | "shortcut_scope" | "global_search" | "search_results" | "search_highlight" | "search_filters" | "recent_searches" | "copy_button" | "paste_handler" | "share_button" | "qr_code" | "export_button" | "print_button" | "print_only" | "screen_only" | "pdf_preview" | "presence_indicator" | "cursor_overlay" | "typing_indicator" | "conflict_resolver" | "realtime_diff" | "notification_center" | "push_notification" | "inbox" | "unread_badge" | "notification_settings" | "debug_panel" | "state_inspector" | "perf_monitor" | "network_inspector" | "error_reporter" | "position" | "layer" | "overlay" | "fixed" | "sticky" | "form_state_provider" | "field_error" | "validation_schema" | "async_validator" | "cross_field_validation" | "pagination" | "cursor_pagination" | "load_more" | "page_size_selector" | "search_params" | "route_params" | "deep_link" | "url_state" | "query_binding" | "scroll_container" | "scroll_snap" | "scroll_lock" | "scroll_restore" | "scroll_to" | "scroll_spy" | "selection_provider" | "selectable" | "selection_actions" | "range_selection" | "gesture_handler" | "swipe_action" | "pinch_zoom" | "long_press" | "pan_gesture" | "multi_touch" | "file_download" | "file_preview" | "file_progress" | "file_browser" | "drop_zone" | "image_cropper" | "animation_controller" | "animation_timeline" | "spring" | "motion_value" | "animate_presence" | "stagger" | "focus_scope" | "focus_manager" | "auto_focus" | "restore_focus" | "merge_conflict" | "conflict_resolution" | "version_indicator" | "tenant_provider" | "tenant_switcher" | "tenant_branding" | "audit_log" | "activity_feed" | "change_history" | "feature_gate" | "feature_provider" | "beta_badge" | "experiment" | "variant" | "experiment_provider" | "analytics" | "page_view" | "click_tracker" | "event_tracker" | "rate_limit_indicator" | "maintenance_mode" | "system_status" | "scheduled_downtime" | "document_head" | "meta_tag" | "document_title" | "open_graph" | "structured_data" | "video_call" | "audio_call" | "screen_share" | "media_stream" | "camera_capture" | "audio_recorder" | "canvas2_d" | "web_g_l" | "drawing_canvas" | "signature_pad" | "geolocation" | "device_orientation" | "camera" | "barcode_scanner" | "local_storage_binding" | "session_storage_binding" | "indexed_db_binding";
 interface UncertainEdgeDto$1 {
     /** Possible directions */
-    possible_directions: any[][];
+    possible_directions: [string, string][];
     /**
      * Uncertainty score (0 = certain, 1 = completely uncertain)
      * @format double
@@ -26069,7 +27036,7 @@ interface UpdateSortReviewRequest {
 /** Request to update a term */
 interface UpdateTermRequest$1 {
     /** Features to update */
-    features: Record<string, ValueDto$1>;
+    features: Partial<Record<string, ValueDto$1>>;
 }
 /** Request to update namespace visibility */
 interface UpdateVisibilityRequest$1 {
@@ -26497,10 +27464,55 @@ interface VerificationStepDto$1 {
     /** Whether this step passed verification. */
     passed: boolean;
 }
+/** Request to verify a specific claim (matches SDK's `VerifyClaimRequest`). */
+interface VerifyClaimRequest$1 {
+    /** Claim term ID (UUID). */
+    claim_term_id: string;
+    /** Evidence sort ID (UUID). */
+    evidence_sort_id: string;
+    /**
+     * Session whose knowledge base holds the claim, if any.
+     *
+     * A session's terms live under a tenant of its own (the session id), so a
+     * claim minted by a research run is invisible to a lookup against the
+     * configured tenant — without this the route could not reach any session's
+     * claims at all (#137). Absent, the claim is looked up under the configured
+     * tenant, which is where a caller working outside a session put it.
+     *
+     * The session must belong to the caller's tenant; a session id from another
+     * tenant is refused exactly as it is on every other by-id route.
+     * @format uuid
+     */
+    session_id?: string | null;
+}
+/** Response from claim verification (matches SDK's `VerifyClaimResponse`). */
+interface VerifyClaimResponse$1 {
+    /**
+     * Number of contradicting evidence items.
+     * @min 0
+     */
+    contradicting_count: number;
+    /** Assessment label. */
+    label: string;
+    /** Whether assessment was residuated. */
+    residuated: boolean;
+    /** Reason for residuation. */
+    residuation_reason?: string | null;
+    /**
+     * Number of supporting evidence items.
+     * @min 0
+     */
+    supporting_count: number;
+    /**
+     * Truthfulness score (0.0-1.0).
+     * @format double
+     */
+    truthfulness: number;
+}
 /** Request to verify faithfulness of generated text against source entities. */
 interface VerifyFaithfulnessRequest$1 {
     /** Extracted entity features (from generated text). */
-    extracted: Record<string, string>;
+    extracted: Partial<Record<string, string>>;
     /**
      * Minimum entity recovery rate (default: 0.5).
      * @format double
@@ -26512,7 +27524,7 @@ interface VerifyFaithfulnessRequest$1 {
      */
     min_score?: number | null;
     /** Original entity features (source of truth). */
-    original: Record<string, string>;
+    original: Partial<Record<string, string>>;
 }
 /** Response from faithfulness verification. */
 interface VerifyFaithfulnessResponse$1 {
@@ -26798,7 +27810,7 @@ interface WebhookCallbackRequest$1 {
      */
     notify_tenant_id?: string | null;
     /** Output values to bind to the Ψ-term features */
-    outputs?: Record<string, any>;
+    outputs?: Partial<Record<string, any>>;
     /** Status of the action: "success", "failed", or "cancelled" */
     status: string;
 }
@@ -26836,7 +27848,7 @@ interface WitnessInstantiationDto$1 {
      * The bindings that satisfy the witness
      * e.g., {"?Y": "bob"} for grandparent witness ∃Y. parent(X,Y) ∧ parent(Y,Z)
      */
-    bindings: Record<string, string>;
+    bindings: Partial<Record<string, string>>;
     /**
      * Confidence in the witness (1.0 = certain)
      * @format double
@@ -26850,7 +27862,7 @@ interface WitnessInstantiationDto$1 {
 /** Witness proof for a term */
 interface WitnessProofDto$1 {
     /** Variable bindings that satisfy the witness */
-    bindings: Record<string, string>;
+    bindings: Partial<Record<string, string>>;
     /**
      * Confidence/certainty of the proof
      * @format double
@@ -29054,6 +30066,18 @@ declare namespace terms {
   export type { terms_BulkAddTermsRequest as BulkAddTermsRequest, terms_BulkAddTermsResponse as BulkAddTermsResponse, terms_ClearTermsResponse as ClearTermsResponse, terms_CreateTermRequest as CreateTermRequest, terms_ReferencedTermSummary as ReferencedTermSummary, terms_ResidualWitnessDto as ResidualWitnessDto, terms_ResiduationDto as ResiduationDto, terms_TermDto as TermDto, terms_TermResponse as TermResponse, terms_TermState as TermState, terms_UpdateTermRequest as UpdateTermRequest, terms_ValidatedTermResponse as ValidatedTermResponse, terms_ValidatedUnifyResponse as ValidatedUnifyResponse, terms_WitnessInstantiationDto as WitnessInstantiationDto, terms_WitnessProofDto as WitnessProofDto };
 }
 
+/**
+ * One prior turn of a conversation, passed as context to an `llm`-mode query.
+ *
+ * Both fields are single words on the wire, so this is the same shape in both
+ * directions. It was typed `unknown` until the backend described the surface.
+ */
+interface ConversationTurnDto {
+    /** Who produced the turn — `"user"` or `"assistant"`. */
+    role: string;
+    /** The turn's text. */
+    content: string;
+}
 /** Translation mode for natural language queries. */
 type NlQueryMode = 'llm' | 'constraint' | 'cognitive' | 'triz' | 'grounded_sql';
 /** A result item from a natural language query. */
@@ -29307,7 +30331,7 @@ interface NlQueryRequest {
     /** Tenant ID for the query. */
     tenantId: string;
     /** Optional conversation history for context (llm mode only). */
-    conversationHistory?: unknown[] | null;
+    conversationHistory?: ConversationTurnDto[] | null;
     /** Optional session ID for cognitive mode (persists agent learning across queries). */
     sessionId?: string | null;
 }
@@ -29336,6 +30360,7 @@ interface NlQueryResponse {
 }
 
 type query_BySortQueryRequest = BySortQueryRequest;
+type query_ConversationTurnDto = ConversationTurnDto;
 type query_DiscoveredRelationDto = DiscoveredRelationDto;
 type query_FindBySortRequest = FindBySortRequest;
 type query_MissingInfoDto = MissingInfoDto;
@@ -29356,7 +30381,7 @@ type query_UnificationQueryResponse = UnificationQueryResponse;
 type query_ValidateTermRequest = ValidateTermRequest;
 type query_ValidatedUnifyRequest = ValidatedUnifyRequest;
 declare namespace query {
-  export type { query_BySortQueryRequest as BySortQueryRequest, query_DiscoveredRelationDto as DiscoveredRelationDto, query_FindBySortRequest as FindBySortRequest, MatchedEntityDto$1 as MatchedEntityDto, query_MissingInfoDto as MissingInfoDto, query_NlQueryMode as NlQueryMode, query_NlQueryRequest as NlQueryRequest, query_NlQueryResponse as NlQueryResponse, query_NlQueryResultItem as NlQueryResultItem, query_OsfSearchRequest as OsfSearchRequest, query_OsfSearchResponse as OsfSearchResponse, query_OsfSearchStatsDto as OsfSearchStatsDto, query_ResumptionOptionDto as ResumptionOptionDto, query_SuspendedQueryDto as SuspendedQueryDto, query_TermListResponse as TermListResponse, query_TermPatternDto as TermPatternDto, query_ToolCallInfo as ToolCallInfo, query_UnifiableQueryRequest as UnifiableQueryRequest, query_UnificationQueryResponse as UnificationQueryResponse, query_ValidateTermRequest as ValidateTermRequest, query_ValidatedUnifyRequest as ValidatedUnifyRequest };
+  export type { query_BySortQueryRequest as BySortQueryRequest, query_ConversationTurnDto as ConversationTurnDto, query_DiscoveredRelationDto as DiscoveredRelationDto, query_FindBySortRequest as FindBySortRequest, MatchedEntityDto$1 as MatchedEntityDto, query_MissingInfoDto as MissingInfoDto, query_NlQueryMode as NlQueryMode, query_NlQueryRequest as NlQueryRequest, query_NlQueryResponse as NlQueryResponse, query_NlQueryResultItem as NlQueryResultItem, query_OsfSearchRequest as OsfSearchRequest, query_OsfSearchResponse as OsfSearchResponse, query_OsfSearchStatsDto as OsfSearchStatsDto, query_ResumptionOptionDto as ResumptionOptionDto, query_SuspendedQueryDto as SuspendedQueryDto, query_TermListResponse as TermListResponse, query_TermPatternDto as TermPatternDto, query_ToolCallInfo as ToolCallInfo, query_UnifiableQueryRequest as UnifiableQueryRequest, query_UnificationQueryResponse as UnificationQueryResponse, query_ValidateTermRequest as ValidateTermRequest, query_ValidatedUnifyRequest as ValidatedUnifyRequest };
 }
 
 /**
@@ -31414,7 +32439,7 @@ declare class Query<SecurityDataType = unknown> {
     http: HttpClient<SecurityDataType>;
     constructor(http: HttpClient<SecurityDataType>);
     /**
-     * @description Returns all terms with the specified sort OR any of its subtypes. This implements proper OSF polymorphic query semantics where querying a parent sort returns all instances of that sort and its descendants.
+     * @description Returns all terms with the specified sort OR any of its subtypes. This implements proper OSF polymorphic query semantics where querying a parent sort returns all instances of that sort and its descendants. ## Resolving `sort_name` A name can denote more than one id (see `sort_name_candidates`), and no cheap probe tells which of them the query can actually answer from: on the production adapter `get_sort` and `get_sort_ids_by_names` are bare reads of an in-memory cache with no persistence fallback, while the query's own `get_compatible_sorts` does fall back to Postgres. Confirming a candidate with `get_sort` would therefore 404 every tenant sort created before the last restart — a guard strictly stricter than the thing it guards. So the candidates are **tried** against the real query; only `SortNotFound` moves on to the next, every other failure is returned as-is. A phantom id (minted into the tenant lattice by ingestion and never persisted, #138) cannot be returned: the query authority refuses it and the loop skips past it. When no candidate answers, the sort is not queryable and the honest reply is 404 naming the sort the CALLER asked for — never a 400 leaking an internal `SortId` the caller never supplied. Every candidate that answers **contributes**; the answer is their union, deduplicated by term id. Registration now keeps a tenant to one sort per name (#139), so two answering candidates mean rows a pre-fix engine left behind: one name, two sorts, and the tenant's terms of that type divided between them. Stopping at the first — what this route did — returned one half and reported nothing about the other, because an id the caller never supplied going unqueried raises no error. In the ordinary case exactly one candidate answers and the route runs exactly one term query, as it always did.
      *
      * @tags query
      * @name FindBySort
@@ -31992,11 +33017,11 @@ declare class CognitiveAgentsMessaging<SecurityDataType = unknown> {
      * No description
      *
      * @tags Cognitive Agents - Messaging
-     * @name SendMessage
+     * @name SendAgentMessage
      * @summary Send a message to another agent.
      * @request POST:/api/v1/cognitive/agents/messages
      */
-    sendMessage: (data: SendMessageRequest$1, params?: RequestParams) => Promise<HttpResponse<SendMessageResponse$1, void>>;
+    sendAgentMessage: (data: SendMessageRequest$1, params?: RequestParams) => Promise<HttpResponse<SendMessageResponse$1, void>>;
 }
 
 declare class CognitiveAgentsPlanLibrary<SecurityDataType = unknown> {
@@ -34736,12 +35761,12 @@ declare class Constraints<SecurityDataType = unknown> {
      * No description
      *
      * @tags constraints
-     * @name CreateSession
+     * @name CreateConstraintSession
      * @summary Create a new constraint session
      * @request POST:/api/v1/constraint-sessions
      * @secure
      */
-    createSession: (data: CreateConstraintSessionRequest$1, params?: RequestParams) => Promise<HttpResponse<CreateSessionResponse, void>>;
+    createConstraintSession: (data: CreateConstraintSessionRequest$1, params?: RequestParams) => Promise<HttpResponse<CreateSessionResponse, void>>;
     /**
      * No description
      *
@@ -34756,12 +35781,12 @@ declare class Constraints<SecurityDataType = unknown> {
      * No description
      *
      * @tags constraints
-     * @name GetSessionStatus
+     * @name GetConstraintSessionStatus
      * @summary Get status of a constraint session
      * @request GET:/api/v1/constraint-sessions/{session_id}
      * @secure
      */
-    getSessionStatus: (sessionId: string, params?: RequestParams) => Promise<HttpResponse<ConstraintSessionStatusResponse, void>>;
+    getConstraintSessionStatus: (sessionId: string, params?: RequestParams) => Promise<HttpResponse<ConstraintSessionStatusResponse, void>>;
     /**
      * No description
      *
@@ -35495,8 +36520,14 @@ interface ConstraintSessionStatus {
 interface AddConstraintsRequest {
     /** Constraints to add. */
     constraints: GeneralConstraintDto[];
-    /** Optional variable bindings. */
-    bindings?: Record<string, unknown> | null;
+    /**
+     * Optional variable bindings.
+     *
+     * Values are the integers a finite-domain variable takes. Typed `unknown`
+     * until the generated contract said otherwise, so nothing checked what a
+     * caller put here.
+     */
+    bindings?: Record<string, number> | null;
 }
 /**
  * Response from adding constraints to a session.
@@ -43301,6 +44332,19 @@ interface EvidenceAssessmentRequest {
 interface EvidenceItemDto {
     /** Contribution to the assessment (quality * support direction). */
     contribution: number;
+    /**
+     * The evidence term's own human-readable sentence, e.g.
+     * `"Aspirin reduces_risk_of Cancer"`.
+     *
+     * `termId` is a UUID no consumer can render, so without this an evidence row
+     * could only be shown as `Evidence item <uuid>`. The backend resolves it from
+     * the term under the same display-name precedence `TermDto.displayName` uses,
+     * so the sentence shown here and the one shown for the term never disagree.
+     *
+     * `null` when talking to a backend that predates evidence descriptions, or
+     * when the evidence term carries no description of its own.
+     */
+    description?: string | null;
     /** Quality weight of this evidence (0.0-1.0). */
     qualityWeight: number;
     /** Whether this evidence supports (true) or contradicts (false) the subject. */
@@ -43579,6 +44623,13 @@ declare class ReasoningClient {
     /**
      * Assess the truthfulness/validity of a subject based on related evidence.
      *
+     * @remarks
+     * Each item in the supporting/contradicting breakdown carries a
+     * `description` — the evidence term's own sentence,
+     * e.g. `"Aspirin reduces_risk_of Cancer"` — so evidence can be rendered
+     * without a second lookup by `termId`. It is `null` against a backend that
+     * predates the field.
+     *
      * @param request - Evidence assessment request.
      * @returns Assessment result with truthfulness score, label, and evidence breakdown.
      */
@@ -49449,11 +50500,11 @@ declare class Oversight<SecurityDataType = unknown> {
      * @description Create a new live oversight session.
      *
      * @tags oversight
-     * @name CreateSession
+     * @name CreateOversightSession
      * @summary POST /api/v1/oversight/sessions
      * @request POST:/api/v1/oversight/sessions
      */
-    createSession: (data: CreateSessionRequest, params?: RequestParams) => Promise<HttpResponse<CreateSessionResponse, void>>;
+    createOversightSession: (data: CreateSessionRequest, params?: RequestParams) => Promise<HttpResponse<CreateSessionResponse, void>>;
     /**
      * @description Finalize a live oversight session, running full verification and returning the final verdict.
      *
@@ -49467,11 +50518,11 @@ declare class Oversight<SecurityDataType = unknown> {
      * @description Get the current status of a live oversight session.
      *
      * @tags oversight
-     * @name GetSessionStatus
+     * @name GetOversightSessionStatus
      * @summary GET /api/v1/oversight/sessions/:session_id/status
      * @request GET:/api/v1/oversight/sessions/{session_id}/status
      */
-    getSessionStatus: (sessionId: string, params?: RequestParams) => Promise<HttpResponse<SessionStatusResponse, void>>;
+    getOversightSessionStatus: (sessionId: string, params?: RequestParams) => Promise<HttpResponse<SessionStatusResponse, void>>;
     /**
      * @description Ingest a single trajectory step and return incremental verification result.
      *
@@ -51792,12 +52843,12 @@ declare class Synthetic<SecurityDataType = unknown> {
      * @description Computes per-sort and per-feature Expected Calibration Error, identifies augmentation targets, and allocates exponential budgets for targeted synthetic data generation.
      *
      * @tags synthetic
-     * @name Calibrate
+     * @name CalibrateSynthetic
      * @summary Run ECE calibration on extraction predictions.
      * @request POST:/api/v1/synthetic/calibrate
      * @secure
      */
-    calibrate: (data: CalibrateRequest$1, params?: RequestParams) => Promise<HttpResponse<CalibrationReportDto$1, void>>;
+    calibrateSynthetic: (data: CalibrateRequest$1, params?: RequestParams) => Promise<HttpResponse<CalibrationReportDto$1, void>>;
     /**
      * @description Computes structural similarity using Wu-Palmer sort distance and Jaccard feature overlap. Returns novelty score and closest match. # Authorization Requires X-Tenant-Id header for tenant-scoped operations.
      *
@@ -54732,7 +55783,7 @@ interface OntologyRagRequest {
      * Optional map of concept_id to numeric value (e.g., mastery, score, confidence).
      * The interpretation of these values is domain-specific.
      */
-    conceptValues?: Record<string, unknown> | null;
+    conceptValues?: Record<string, number> | null;
     /**
      * Feature configuration -- allows caller to specify feature names.
      * If not provided, uses defaults.
@@ -56501,7 +57552,7 @@ interface ReasoningTraceDto {
 /**
  * UI customization detected from a conversation response.
  */
-interface UICustomizationDto {
+interface UICustomizationDto$1 {
     /** Type of customization. */
     customizationType: string;
     /** JSONPath-style target for modifications. */
@@ -56554,7 +57605,7 @@ interface ConversationMessageResponse {
     /** Proof tree for this response (populated when PROVE / backward chaining was used). */
     proofTrace?: ProofTraceNodeDto | null;
     /** UI customizations detected in this response (for multi-turn UI evolution). */
-    uiCustomizations?: UICustomizationDto[] | null;
+    uiCustomizations?: UICustomizationDto$1[] | null;
     /**
      * Cognitive strategy used for this response (when RL training is active and a
      * cognitive agent exists for the tenant). Absent on plain conversation turns.
@@ -56756,9 +57807,8 @@ type conversation_RecordTurnResponse = RecordTurnResponse;
 type conversation_ResolvedCoreferenceDto = ResolvedCoreferenceDto;
 type conversation_SessionGraphDto = SessionGraphDto;
 type conversation_TurnDto = TurnDto;
-type conversation_UICustomizationDto = UICustomizationDto;
 declare namespace conversation {
-  export type { conversation_ClaimAnnotationDto as ClaimAnnotationDto, conversation_CognitiveStrategyDto as CognitiveStrategyDto, conversation_CompareModelDto as CompareModelDto, conversation_ConversationMessageRequest as ConversationMessageRequest, conversation_ConversationMessageResponse as ConversationMessageResponse, conversation_ConversationSummaryDto as ConversationSummaryDto, conversation_ConversationTurnsResponse as ConversationTurnsResponse, conversation_DerivationSummaryDto as DerivationSummaryDto, conversation_FocusEntryDto as FocusEntryDto, conversation_ListConversationsResponse as ListConversationsResponse, conversation_MatchedEntityDto as MatchedEntityDto, conversation_ProofTraceNodeDto as ProofTraceNodeDto, conversation_ReasoningStageDto as ReasoningStageDto, conversation_ReasoningTraceDto as ReasoningTraceDto, conversation_RecordTurnRequest as RecordTurnRequest, conversation_RecordTurnResponse as RecordTurnResponse, conversation_ResolvedCoreferenceDto as ResolvedCoreferenceDto, conversation_SessionGraphDto as SessionGraphDto, SourceExcerptDto$1 as SourceExcerptDto, conversation_TurnDto as TurnDto, conversation_UICustomizationDto as UICustomizationDto };
+  export type { conversation_ClaimAnnotationDto as ClaimAnnotationDto, conversation_CognitiveStrategyDto as CognitiveStrategyDto, conversation_CompareModelDto as CompareModelDto, conversation_ConversationMessageRequest as ConversationMessageRequest, conversation_ConversationMessageResponse as ConversationMessageResponse, conversation_ConversationSummaryDto as ConversationSummaryDto, conversation_ConversationTurnsResponse as ConversationTurnsResponse, conversation_DerivationSummaryDto as DerivationSummaryDto, conversation_FocusEntryDto as FocusEntryDto, conversation_ListConversationsResponse as ListConversationsResponse, conversation_MatchedEntityDto as MatchedEntityDto, conversation_ProofTraceNodeDto as ProofTraceNodeDto, conversation_ReasoningStageDto as ReasoningStageDto, conversation_ReasoningTraceDto as ReasoningTraceDto, conversation_RecordTurnRequest as RecordTurnRequest, conversation_RecordTurnResponse as RecordTurnResponse, conversation_ResolvedCoreferenceDto as ResolvedCoreferenceDto, conversation_SessionGraphDto as SessionGraphDto, SourceExcerptDto$1 as SourceExcerptDto, conversation_TurnDto as TurnDto, UICustomizationDto$1 as UICustomizationDto };
 }
 
 /**
@@ -57023,6 +58073,151 @@ declare class VerificationClient {
     getCertificate(certificateId: string): Promise<CertificateDetail>;
 }
 
+declare class Research<SecurityDataType = unknown> {
+    http: HttpClient<SecurityDataType>;
+    constructor(http: HttpClient<SecurityDataType>);
+    /**
+     * No description
+     *
+     * @tags research
+     * @name ResearchCreateSession
+     * @summary POST /research/sessions -- Create a new research session.
+     * @request POST:/api/v1/research/sessions
+     * @secure
+     */
+    researchCreateSession: (data: CreateResearchSessionRequest$1, params?: RequestParams) => Promise<HttpResponse<CreateResearchSessionResponse$1, ResearchErrorResponse>>;
+    /**
+     * No description
+     *
+     * @tags research
+     * @name ResearchDeleteSession
+     * @summary DELETE /research/sessions/{id} -- Delete a session.
+     * @request DELETE:/api/v1/research/sessions/{id}
+     * @secure
+     */
+    researchDeleteSession: (id: string, params?: RequestParams) => Promise<HttpResponse<void, ResearchErrorResponse>>;
+    /**
+     * No description
+     *
+     * @tags research
+     * @name ResearchGetContradictions
+     * @summary GET /research/sessions/{id}/contradictions -- Get contradictions.
+     * @request GET:/api/v1/research/sessions/{id}/contradictions
+     * @secure
+     */
+    researchGetContradictions: (id: string, params?: RequestParams) => Promise<HttpResponse<ResearchContradictionsResponse$1, ResearchErrorResponse>>;
+    /**
+     * No description
+     *
+     * @tags research
+     * @name ResearchGetFindings
+     * @summary GET /research/sessions/{id}/findings -- Get findings.
+     * @request GET:/api/v1/research/sessions/{id}/findings
+     * @secure
+     */
+    researchGetFindings: (id: string, params?: RequestParams) => Promise<HttpResponse<ResearchFindingsResponse$1, ResearchErrorResponse>>;
+    /**
+     * No description
+     *
+     * @tags research
+     * @name ResearchGetGaps
+     * @summary GET /research/sessions/{id}/gaps -- Get knowledge gaps.
+     * @request GET:/api/v1/research/sessions/{id}/gaps
+     * @secure
+     */
+    researchGetGaps: (id: string, params?: RequestParams) => Promise<HttpResponse<ResearchGapsResponse$1, ResearchErrorResponse>>;
+    /**
+     * @description Returns the cached report if already assembled (e.g., from run_to_completion). Otherwise assembles a fresh report from the session's current state.
+     *
+     * @tags research
+     * @name ResearchGetReport
+     * @summary GET /research/sessions/{id}/report -- Get research report.
+     * @request GET:/api/v1/research/sessions/{id}/report
+     * @secure
+     */
+    researchGetReport: (id: string, params?: RequestParams) => Promise<HttpResponse<ResearchReportResponse$1, ResearchErrorResponse>>;
+    /**
+     * No description
+     *
+     * @tags research
+     * @name ResearchGetSession
+     * @summary GET /research/sessions/{id} -- Get session status.
+     * @request GET:/api/v1/research/sessions/{id}
+     * @secure
+     */
+    researchGetSession: (id: string, params?: RequestParams) => Promise<HttpResponse<GetSessionResponse, ResearchErrorResponse>>;
+    /**
+     * @description With a `session_id`, a successful ingest is RECORDED on that session — see [`record_ingest_on_session`] — so the paper appears in `GET /sessions/{id}`'s `papers` and every term the ingestion touched resolves back to it. Without one, the paper is ingested under the configured owner and nothing is recorded: there is no session to attribute it to, and picking one would be a guess. The markdown itself is `paper_to_markdown`'s — the same function a cycle ingests through — over the same `fetch_full_text` lane, gated on the same `full_text_ingestion` switch. A paper ingested by hand is therefore the same document in the KB as one the pipeline found, which is the only way the two can be reasoned over together. **Which knowledge base it lands in follows the session.** With a `session_id` the paper is ingested through that session's own client (the `SessionScope` tenanted by the session id) — the KB `/run` and `/complete` drive and the one the session's own discovery reads. Without a `session_id` there is no session tenant to adopt and the configured one stands: the paper is ingested for the deployment, not for any session, and nothing is recorded either. This route used to ingest into the configured tenant unconditionally. The recorded `PaperTermLink` then named term ids in a KB the session never searches, so it resolved nothing — attribution that exists on the session row and nowhere the reasoning can reach.
+     *
+     * @tags research
+     * @name ResearchIngestPaper
+     * @summary POST /research/papers/ingest -- Ingest a paper.
+     * @request POST:/api/v1/research/papers/ingest
+     * @secure
+     */
+    researchIngestPaper: (data: IngestPaperRequest$1, params?: RequestParams) => Promise<HttpResponse<IngestPaperResponse$1, ResearchErrorResponse>>;
+    /**
+     * @description Tenant-scoped via the `X-Tenant-Id` header (matching how chat conversations are listed). Returns lightweight summaries, newest first.
+     *
+     * @tags research
+     * @name ResearchListSessions
+     * @summary GET /research/sessions -- List the requesting tenant's research sessions.
+     * @request GET:/api/v1/research/sessions
+     * @secure
+     */
+    researchListSessions: (params?: RequestParams) => Promise<HttpResponse<ListResearchSessionsResponse$1, ResearchErrorResponse>>;
+    /**
+     * @description A session interrupted (e.g. swept to `Failed` after a server restart killed its in-process pipeline) is otherwise stuck — this re-runs the SAME pipeline, continuing from its persisted partial progress (papers ingested, findings, cycles). Rejects an already-`Completed` session with 409.
+     *
+     * @tags research
+     * @name ResearchResumeSession
+     * @summary POST /research/sessions/{id}/resume -- Resume an interrupted/failed session.
+     * @request POST:/api/v1/research/sessions/{id}/resume
+     * @secure
+     */
+    researchResumeSession: (id: string, params?: RequestParams) => Promise<HttpResponse<ResearchReportResponse$1, ResearchErrorResponse>>;
+    /**
+     * @description The cycle runs against the SESSION's knowledge base — the tenant named by the session id, built by the one `session_scope` helper — which is the same KB `POST /sessions/{id}/complete` drives and the same one this session's own discovery reads. **This route used to run on the app-state orchestrator**, i.e. the deployment's `OSFKB_TENANT_ID`, so a cycle here and a cycle under `/complete` built two different knowledge bases for one session: entities the cycle ingested were unreachable from the session's own `find_by_sort`, and they merged instead with every other session's and with the chat data sharing the config tenant — the exact outcome the per-session tenant exists to prevent. Nothing in this repository, its SDKs or the two frontends calls `/run`; it is an operator-driven single-step route, so no client depended on the old destination. **Consequence for a session that ran `/run` before this fix:** those cycles' terms are in the config tenant and are NOT migrated. The session row itself is unaffected — cycles, findings, contradictions and gaps live on the session, not in the KB, so every `GET` on it reads back exactly what it did — but the term ids those older cycles recorded resolve in the config tenant only. A further `/run` (or `/complete`) on such a session ingests into the session's own KB, which starts out without that earlier work; re-running it there is the only way to bring it across.
+     *
+     * @tags research
+     * @name ResearchRunCycle
+     * @summary POST /research/sessions/{id}/run -- Run one research cycle.
+     * @request POST:/api/v1/research/sessions/{id}/run
+     * @secure
+     */
+    researchRunCycle: (id: string, params?: RequestParams) => Promise<HttpResponse<RunResearchCycleResponse, ResearchErrorResponse>>;
+    /**
+     * @description The research pipeline is long-running (multiple cycles, each ingesting papers through the LLM — minutes, sometimes longer than any reasonable HTTP client/proxy timeout). It runs in a DETACHED [`tokio::spawn`] task so that a client disconnect or timeout on THIS request does not cancel the run: tokio tasks are not aborted when their `JoinHandle` is dropped, so the work continues and keeps syncing status into `state.sessions` for `GET /sessions/{id}` pollers (the UI fires this fire-and-forget, then polls). If the client stays connected we still await the task and return the full report, preserving the synchronous response contract. `run_pipeline` releases the write lock between expensive operations so that `GET /sessions/{id}` can read the current status while the pipeline runs.
+     *
+     * @tags research
+     * @name ResearchRunToCompletion
+     * @summary POST /research/sessions/{id}/complete -- Run to completion.
+     * @request POST:/api/v1/research/sessions/{id}/complete
+     * @secure
+     */
+    researchRunToCompletion: (id: string, params?: RequestParams) => Promise<HttpResponse<ResearchReportResponse$1, ResearchErrorResponse>>;
+    /**
+     * No description
+     *
+     * @tags research
+     * @name ResearchSearchPapers
+     * @summary POST /research/papers/search -- Search for papers.
+     * @request POST:/api/v1/research/papers/search
+     * @secure
+     */
+    researchSearchPapers: (data: SearchPapersRequest$1, params?: RequestParams) => Promise<HttpResponse<SearchPapersResponse$1, any>>;
+    /**
+     * No description
+     *
+     * @tags research
+     * @name ResearchVerifyClaim
+     * @summary POST /research/claims/verify -- Verify a claim.
+     * @request POST:/api/v1/research/claims/verify
+     * @secure
+     */
+    researchVerifyClaim: (data: VerifyClaimRequest$1, params?: RequestParams) => Promise<HttpResponse<VerifyClaimResponse$1, ResearchErrorResponse>>;
+}
+
 /** Source of paper metadata. */
 type PaperSource = 'PubMed' | 'SemanticScholar' | 'CrossRef' | 'ArXiv';
 /** Request to search for papers across external sources. */
@@ -57064,8 +58259,10 @@ interface PaperMetadataDto {
      * The join key between a paper listed on a session and the `paperKey`
      * carried by findings, evidence items and contradiction sides — `doi`,
      * `pmid` and `arxivId` are each individually optional, so this is the only
-     * identifier guaranteed for every paper. `null` only when talking to a
-     * backend that predates paper attribution.
+     * identifier guaranteed for every paper. The backend derives it for every
+     * one, and the spec marks it required; it is optional here only so the SDK
+     * keeps working against a deployment that predates paper attribution, where
+     * it arrives as `null`.
      */
     paperKey?: string | null;
 }
@@ -57143,6 +58340,17 @@ interface ResearchSessionResponse {
      * length. Empty against a backend that does not send it.
      */
     papers: PaperMetadataDto[];
+    /**
+     * Total papers retrieved from external sources, including by the cycle
+     * currently running.
+     *
+     * Live throughout a run, unlike `cycles[].papersRetrieved`, which a cycle
+     * only publishes once it completes — minutes after the papers arrived.
+     * Deriving the figure from `cycles` alone therefore renders `0` over a
+     * visibly growing paper list for most of a session; read this instead, and
+     * keep `cycles[].papersRetrieved` for the per-cycle breakdown.
+     */
+    totalPapersRetrieved: number;
     /** Total papers ingested. */
     totalPapersIngested: number;
     /** Total findings. */
@@ -57164,6 +58372,12 @@ interface ResearchSessionSummaryDto {
     question: string;
     /** Current session status. */
     status: ResearchSessionStatusDto;
+    /**
+     * Total papers retrieved from external sources, including by the cycle
+     * currently running — the list view's half of the same live progress
+     * {@link ResearchSessionResponse.totalPapersRetrieved} carries.
+     */
+    totalPapersRetrieved: number;
     /** Total papers ingested. */
     totalPapersIngested: number;
     /** Total findings. */
@@ -57207,13 +58421,6 @@ interface ResearchCycleResultDto {
     /** Search queries used. */
     searchQueries: string[];
 }
-/** Optional parameters for running a research cycle. */
-interface RunResearchCycleRequest {
-    /** Additional search queries to include. */
-    additionalQueries?: string[];
-    /** Override maximum papers for this cycle. */
-    maxPapersThisCycle?: number;
-}
 /** Response from running a research cycle. */
 interface ResearchCycleResponse {
     /** Session ID. */
@@ -57479,6 +58686,18 @@ interface VerifyClaimRequest {
     claimTermId: string;
     /** Evidence sort ID (UUID). */
     evidenceSortId: string;
+    /**
+     * Session whose knowledge base holds the claim, if any.
+     *
+     * A research session's terms live under a tenant of its own, so a claim a
+     * run produced is invisible to a lookup against the deployment's configured
+     * tenant — name the session and the verification is performed where the term
+     * actually is. Omit it for a claim asserted outside any session.
+     *
+     * The session must belong to the caller's tenant; another tenant's session id
+     * answers 404, exactly as an absent one does.
+     */
+    sessionId?: string | null;
 }
 /** Response from claim verification. */
 interface VerifyClaimResponse {
@@ -57524,13 +58743,12 @@ type research_ResearchSessionSummaryDto = ResearchSessionSummaryDto;
 type research_ResearchStatisticsDto = ResearchStatisticsDto;
 type research_ResiduatedFeatureDto = ResiduatedFeatureDto;
 type research_ResolutionStrategyDto = ResolutionStrategyDto;
-type research_RunResearchCycleRequest = RunResearchCycleRequest;
 type research_SearchPapersRequest = SearchPapersRequest;
 type research_SearchPapersResponse = SearchPapersResponse;
 type research_VerifyClaimRequest = VerifyClaimRequest;
 type research_VerifyClaimResponse = VerifyClaimResponse;
 declare namespace research {
-  export type { research_ContradictionDto as ContradictionDto, research_ContradictionResolutionDto as ContradictionResolutionDto, research_CreateResearchSessionRequest as CreateResearchSessionRequest, research_CreateResearchSessionResponse as CreateResearchSessionResponse, research_EvidenceItemSummaryDto as EvidenceItemSummaryDto, research_IngestPaperRequest as IngestPaperRequest, research_IngestPaperResponse as IngestPaperResponse, research_KnowledgeGapDto as KnowledgeGapDto, research_ListResearchSessionsResponse as ListResearchSessionsResponse, research_PaperMetadataDto as PaperMetadataDto, research_PaperRefDto as PaperRefDto, research_PaperSearchResultDto as PaperSearchResultDto, research_PaperSource as PaperSource, research_ProvenanceStepDto as ProvenanceStepDto, research_ReportVerificationDto as ReportVerificationDto, research_ResearchContradictionsResponse as ResearchContradictionsResponse, research_ResearchCycleResponse as ResearchCycleResponse, research_ResearchCycleResultDto as ResearchCycleResultDto, research_ResearchFindingDto as ResearchFindingDto, research_ResearchFindingsResponse as ResearchFindingsResponse, research_ResearchGapsResponse as ResearchGapsResponse, research_ResearchReportResponse as ResearchReportResponse, research_ResearchSessionResponse as ResearchSessionResponse, research_ResearchSessionStatusDto as ResearchSessionStatusDto, research_ResearchSessionSummaryDto as ResearchSessionSummaryDto, research_ResearchStatisticsDto as ResearchStatisticsDto, research_ResiduatedFeatureDto as ResiduatedFeatureDto, research_ResolutionStrategyDto as ResolutionStrategyDto, research_RunResearchCycleRequest as RunResearchCycleRequest, research_SearchPapersRequest as SearchPapersRequest, research_SearchPapersResponse as SearchPapersResponse, research_VerifyClaimRequest as VerifyClaimRequest, research_VerifyClaimResponse as VerifyClaimResponse };
+  export type { research_ContradictionDto as ContradictionDto, research_ContradictionResolutionDto as ContradictionResolutionDto, research_CreateResearchSessionRequest as CreateResearchSessionRequest, research_CreateResearchSessionResponse as CreateResearchSessionResponse, research_EvidenceItemSummaryDto as EvidenceItemSummaryDto, research_IngestPaperRequest as IngestPaperRequest, research_IngestPaperResponse as IngestPaperResponse, research_KnowledgeGapDto as KnowledgeGapDto, research_ListResearchSessionsResponse as ListResearchSessionsResponse, research_PaperMetadataDto as PaperMetadataDto, research_PaperRefDto as PaperRefDto, research_PaperSearchResultDto as PaperSearchResultDto, research_PaperSource as PaperSource, research_ProvenanceStepDto as ProvenanceStepDto, research_ReportVerificationDto as ReportVerificationDto, research_ResearchContradictionsResponse as ResearchContradictionsResponse, research_ResearchCycleResponse as ResearchCycleResponse, research_ResearchCycleResultDto as ResearchCycleResultDto, research_ResearchFindingDto as ResearchFindingDto, research_ResearchFindingsResponse as ResearchFindingsResponse, research_ResearchGapsResponse as ResearchGapsResponse, research_ResearchReportResponse as ResearchReportResponse, research_ResearchSessionResponse as ResearchSessionResponse, research_ResearchSessionStatusDto as ResearchSessionStatusDto, research_ResearchSessionSummaryDto as ResearchSessionSummaryDto, research_ResearchStatisticsDto as ResearchStatisticsDto, research_ResiduatedFeatureDto as ResiduatedFeatureDto, research_ResolutionStrategyDto as ResolutionStrategyDto, research_SearchPapersRequest as SearchPapersRequest, research_SearchPapersResponse as SearchPapersResponse, research_VerifyClaimRequest as VerifyClaimRequest, research_VerifyClaimResponse as VerifyClaimResponse };
 }
 
 /**
@@ -57546,14 +58764,14 @@ declare namespace research {
  * Research sessions progress through states: Created -> Bootstrapping ->
  * Retrieving -> Ingesting -> Verifying -> Reporting -> Completed (or Failed).
  *
- * Delegates to the generated HTTP client for type-safe transport with
- * automatic serialization, authentication, retry, and timeout behavior.
+ * Delegates to the generated `Research` route class for type-safe transport
+ * with automatic serialization, authentication, retry, and timeout behavior.
  */
 declare class ResearchClient {
     /** @internal */
-    private readonly http;
+    private readonly api;
     /** @internal */
-    constructor(http: HttpClient);
+    constructor(api: Research);
     /**
      * Create a new research session for a given research question.
      *
@@ -57621,7 +58839,6 @@ declare class ResearchClient {
      * Run a single research cycle within a session.
      *
      * @param sessionId - The session ID (UUID).
-     * @param request - Optional parameters for the cycle (additional queries, paper limit).
      * @returns Cycle results and whether the session has converged.
      * @throws {ApiError} If the session does not exist or the request fails.
      *
@@ -57631,39 +58848,52 @@ declare class ResearchClient {
      * claims, and detect contradictions. The `converged` field indicates
      * whether further cycles are needed.
      *
+     * The endpoint takes no body: the cycle's budget and queries come from the
+     * session, which fixed them when it was created. This method used to accept
+     * `additionalQueries` and `maxPapersThisCycle` and send them as one; the
+     * handler has no body extractor, so they were read by nothing and silently
+     * changed nothing. Set the budget through `maxPapers` on
+     * {@link createSession} instead.
+     *
      * @example
      * ```typescript
-     * const result = await client.research.runCycle('session-uuid', {
-     *   additionalQueries: ['beta-lactamase gene transfer'],
-     *   maxPapersThisCycle: 10,
-     * });
+     * const result = await client.research.runCycle('session-uuid');
      * console.log(result.cycle.papersIngested);       // 8
      * console.log(result.cycle.contradictionsDetected); // 1
      * console.log(result.converged);                    // false
      * ```
      */
-    runCycle(sessionId: string, request?: RunResearchCycleRequest): Promise<ResearchCycleResponse>;
+    runCycle(sessionId: string): Promise<ResearchCycleResponse>;
     /**
      * Run the research session to completion (all remaining cycles).
      *
      * @param sessionId - The session ID (UUID).
-     * @returns Final session state after all cycles have completed.
-     * @throws {ApiError} If the session does not exist or the request fails.
+     * @returns The assembled report — the same body {@link getReport} serves.
+     * @throws {ApiError} 404 if the session does not exist, 409 if a pipeline is
+     *   already running for it.
      *
      * @remarks
      * Runs cycles until convergence (no new knowledge gaps) or the maximum
      * cycle count is reached. This may take significant time depending on
-     * the research question complexity and paper availability.
+     * the research question complexity and paper availability, so the run is
+     * detached server-side: a client that disconnects does not cancel it. Poll
+     * {@link getSession} for progress.
+     *
+     * **This returns a report, not a session.** It was typed as
+     * {@link ResearchSessionResponse} and normalized as one, so every field a
+     * session has and a report does not — `cycles`, `papers`, `status`, the
+     * totals — came back `undefined` while typed as present. The endpoint has
+     * always answered with the report.
      *
      * @example
      * ```typescript
-     * const session = await client.research.runToCompletion('session-uuid');
-     * console.log(session.status);              // "Completed"
-     * console.log(session.totalPapersIngested);  // 47
-     * console.log(session.cycles.length);        // 4
+     * const report = await client.research.runToCompletion('session-uuid');
+     * console.log(report.summary);
+     * console.log(report.statistics.totalPapersIngested);  // 47
+     * console.log(report.statistics.totalCycles);          // 4
      * ```
      */
-    runToCompletion(sessionId: string): Promise<ResearchSessionResponse>;
+    runToCompletion(sessionId: string): Promise<ResearchReportResponse>;
     /**
      * Resume an interrupted or failed research session.
      *
@@ -57675,14 +58905,17 @@ declare class ResearchClient {
      * typically calls this fire-and-forget and polls {@link getSession}.
      *
      * @param sessionId - The session ID (UUID) to resume.
-     * @throws {ApiError} 409 if the session is already `Completed`, 404 if unknown.
+     * @returns The assembled report, on the same terms as {@link runToCompletion}
+     *   — a report, not a session.
+     * @throws {ApiError} 409 if the session is already `Completed` or a pipeline
+     *   is already running for it, 404 if unknown.
      *
      * @example
      * ```ts
      * await client.research.resumeSession('session-uuid');
      * ```
      */
-    resumeSession(sessionId: string): Promise<ResearchSessionResponse>;
+    resumeSession(sessionId: string): Promise<ResearchReportResponse>;
     /**
      * Delete a research session and all associated data.
      *
@@ -58367,6 +59600,15 @@ declare class Ui<SecurityDataType = unknown> {
 
 /** Layout mode for the UI surface. Re-exported from generated types (no camelCase diff). */
 type LayoutModeDto = LayoutModeDto$1;
+/**
+ * One accumulated UI customization from a multi-turn conversation.
+ *
+ * Re-exported from the generated types: the wire shape is already snake_case
+ * throughout (`customization_type`, `props_override`), so there is no camelCase
+ * counterpart to hand-write. Typed as `unknown[]` until the backend described
+ * this surface, which is why nothing checked what a caller put here.
+ */
+type UICustomizationDto = UICustomizationDto$2;
 /**
  * Safety tier the server assigns to an OSFQL statement carried by a UI action.
  *
@@ -58512,7 +59754,7 @@ interface UIAssemblyStatsDto {
 }
 /** Request to describe a UI for a sort. */
 interface UIDescribeRequest {
-    customizations?: unknown[] | null;
+    customizations?: UICustomizationDto[] | null;
     loadData?: boolean;
     maxComponents?: number;
     maxDepth?: number;
@@ -58697,6 +59939,7 @@ type ui_UIActionResponse = UIActionResponse;
 type ui_UIAssemblyStatsDto = UIAssemblyStatsDto;
 type ui_UICatalogEntry = UICatalogEntry;
 type ui_UICatalogResponse = UICatalogResponse;
+type ui_UICustomizationDto = UICustomizationDto;
 type ui_UIDescribeRequest = UIDescribeRequest;
 type ui_UIDescribeResponse = UIDescribeResponse;
 type ui_UIDescriptorDto = UIDescriptorDto;
@@ -58706,7 +59949,7 @@ type ui_UiSort = UiSort;
 type ui_ValidationRuleDto = ValidationRuleDto;
 type ui_ValidationTypeDto = ValidationTypeDto;
 declare namespace ui {
-  export type { ui_AffectedPreviewDto as AffectedPreviewDto, ui_LayoutModeDto as LayoutModeDto, ui_LayoutSlotDto as LayoutSlotDto, ui_LayoutSurfaceDto as LayoutSurfaceDto, ui_RiskTier as RiskTier, ui_UIActionDto as UIActionDto, ui_UIActionRequest as UIActionRequest, ui_UIActionResponse as UIActionResponse, ui_UIAssemblyStatsDto as UIAssemblyStatsDto, ui_UICatalogEntry as UICatalogEntry, ui_UICatalogResponse as UICatalogResponse, ui_UIDescribeRequest as UIDescribeRequest, ui_UIDescribeResponse as UIDescribeResponse, ui_UIDescriptorDto as UIDescriptorDto, ui_UIGenerateRequest as UIGenerateRequest, ui_UIGenerateResponse as UIGenerateResponse, ui_UiSort as UiSort, ui_ValidationRuleDto as ValidationRuleDto, ui_ValidationTypeDto as ValidationTypeDto };
+  export type { ui_AffectedPreviewDto as AffectedPreviewDto, ui_LayoutModeDto as LayoutModeDto, ui_LayoutSlotDto as LayoutSlotDto, ui_LayoutSurfaceDto as LayoutSurfaceDto, ui_RiskTier as RiskTier, ui_UIActionDto as UIActionDto, ui_UIActionRequest as UIActionRequest, ui_UIActionResponse as UIActionResponse, ui_UIAssemblyStatsDto as UIAssemblyStatsDto, ui_UICatalogEntry as UICatalogEntry, ui_UICatalogResponse as UICatalogResponse, ui_UICustomizationDto as UICustomizationDto, ui_UIDescribeRequest as UIDescribeRequest, ui_UIDescribeResponse as UIDescribeResponse, ui_UIDescriptorDto as UIDescriptorDto, ui_UIGenerateRequest as UIGenerateRequest, ui_UIGenerateResponse as UIGenerateResponse, ui_UiSort as UiSort, ui_ValidationRuleDto as ValidationRuleDto, ui_ValidationTypeDto as ValidationTypeDto };
 }
 
 /**
@@ -58846,22 +60089,22 @@ declare class Compliance<SecurityDataType = unknown> {
      * No description
      *
      * @tags compliance
-     * @name GetSnapshot
+     * @name GetPredictionSnapshot
      * @summary `GET /api/v1/predictions/snapshot/{id}`
      * @request GET:/api/v1/predictions/snapshot/{id}
      * @secure
      */
-    getSnapshot: (id: string, params?: RequestParams) => Promise<HttpResponse<PredictionSnapshot$1, any>>;
+    getPredictionSnapshot: (id: string, params?: RequestParams) => Promise<HttpResponse<PredictionSnapshot$1, any>>;
     /**
      * No description
      *
      * @tags compliance
-     * @name List
+     * @name ListAuditReceipts
      * @summary `GET /api/v1/compliance/audit/list`
      * @request GET:/api/v1/compliance/audit/list
      * @secure
      */
-    list: (query?: {
+    listAuditReceipts: (query?: {
         /**
          * Return the full filtered set (export use case), bypassing the
          * bounded `limit`/`offset` window.
@@ -69806,11 +71049,11 @@ declare class Conformal<SecurityDataType = unknown> {
      * @description Compute a split-conformal non-conformity threshold from a labeled calibration set.  Returns the threshold `τ` and a coverage certificate. The returned `threshold` should be passed verbatim to `POST /api/v1/conformal/predict`.
      *
      * @tags conformal
-     * @name Calibrate
+     * @name CalibrateConformal
      * @summary `POST /api/v1/conformal/calibrate`
      * @request POST:/api/v1/conformal/calibrate
      */
-    calibrate: (data: ConformalCalibrateRequest$1, params?: RequestParams) => Promise<HttpResponse<ConformalCalibrateResponse$1, void>>;
+    calibrateConformal: (data: ConformalCalibrateRequest$1, params?: RequestParams) => Promise<HttpResponse<ConformalCalibrateResponse$1, void>>;
     /**
      * @description Apply a pre-computed conformal threshold to unlabeled test inputs and return prediction sets with coverage certificates. A class `y` is included in an input's prediction set iff `1 − class_scores[y] ≤ threshold` (equivalently, `class_scores[y] ≥ 1 − threshold`). When no class meets this criterion the prediction set is empty and `abstains = true` is set on that input's result.
      *
@@ -70621,7 +71864,7 @@ declare class Speech<SecurityDataType = unknown> {
      * @request POST:/api/v1/speech/synthesize
      * @secure
      */
-    synthesizeSpeech: (data: SynthesizeSpeechRequest$1, params?: RequestParams) => Promise<HttpResponse<void, void>>;
+    synthesizeSpeech: (data: SynthesizeSpeechRequest$1, params?: RequestParams) => Promise<HttpResponse<Blob, void>>;
     /**
      * @description POST /api/v1/speech/transcribe
      *
@@ -70938,12 +72181,12 @@ declare class Connectors<SecurityDataType = unknown> {
      * @description GET /api/v1/connectors/manage
      *
      * @tags connectors
-     * @name List
+     * @name ListConnectors
      * @summary List tenant's connectors.
      * @request GET:/api/v1/connectors/manage
      * @secure
      */
-    list: (params?: RequestParams) => Promise<HttpResponse<ConnectorInstanceDto[], void>>;
+    listConnectors: (params?: RequestParams) => Promise<HttpResponse<ConnectorInstanceDto[], void>>;
     /**
      * @description GET /api/v1/connector-types
      *
@@ -71151,6 +72394,148 @@ declare class ConnectorsClient {
     oauthCallback(name: string, query?: OAuthCallbackQuery): Promise<Response>;
 }
 
+declare class Embeddings<SecurityDataType = unknown> {
+    http: HttpClient<SecurityDataType>;
+    constructor(http: HttpClient<SecurityDataType>);
+    /**
+     * @description POST /api/v1/embeddings/rank
+     *
+     * @tags embeddings
+     * @name RankEmbeddings
+     * @summary Score every candidate against the query by embedding cosine similarity.
+     * @request POST:/api/v1/embeddings/rank
+     * @secure
+     */
+    rankEmbeddings: (data: EmbeddingRankRequest$1, params?: RequestParams) => Promise<HttpResponse<EmbeddingRankResponse$1, void>>;
+}
+
+/**
+ * Embedding-space ranking — `POST /api/v1/embeddings/rank`.
+ *
+ * Scores candidate texts against a query by cosine similarity in the
+ * deployment's shared sentence-embedding space. The endpoint never reorders and
+ * never truncates: it reports one similarity per candidate, in request order,
+ * and leaves the ranking policy to the caller.
+ *
+ * Distinct from the RAG search in `types/rag.ts` (which retrieves from the
+ * knowledge base) — nothing here reads or writes the KB.
+ *
+ * @module
+ */
+/** Body of `POST /api/v1/embeddings/rank` — one query, and the texts to score against it. */
+interface EmbeddingRankRequest {
+    /**
+     * Candidate texts, scored in place — the response is index-aligned with this
+     * list, so the caller can zip the scores back onto whatever it retrieved.
+     *
+     * An empty list is valid and yields an empty score list. The backend caps the
+     * list at 512 candidates and answers `400` above that; rank in pages instead.
+     * A blank candidate is not an error — it keeps its slot and scores `0`.
+     */
+    candidates: string[];
+    /**
+     * The text every candidate is scored against. Must be non-blank
+     * (the backend answers `400` otherwise).
+     *
+     * Capped at 8192 **characters**, as is each candidate; longer text is a `400`.
+     */
+    query: string;
+}
+/** Response of `POST /api/v1/embeddings/rank`. */
+interface EmbeddingRankResponse {
+    /**
+     * Cosine similarity in `[-1, 1]`, same length and same order as the request's
+     * `candidates` — index `i` scores `candidates[i]`.
+     *
+     * Higher is more similar. A candidate with no scoreable text (blank or
+     * whitespace-only) scores `0`, which is the same value an orthogonal candidate
+     * gets: absence of signal, not evidence of dissimilarity.
+     */
+    scores: number[];
+}
+
+type embeddings_EmbeddingRankRequest = EmbeddingRankRequest;
+type embeddings_EmbeddingRankResponse = EmbeddingRankResponse;
+declare namespace embeddings {
+  export type { embeddings_EmbeddingRankRequest as EmbeddingRankRequest, embeddings_EmbeddingRankResponse as EmbeddingRankResponse };
+}
+
+/**
+ * Resource client for embedding-space ranking
+ * (`POST /api/v1/embeddings/rank`).
+ *
+ * @remarks
+ * Scores candidate texts against a query by cosine similarity in the
+ * deployment's shared sentence-embedding space — the same embedder the backend
+ * already loads, so a caller does not have to ship a second sentence
+ * transformer into its own process just to choose which of N retrieved items to
+ * spend an expensive step on.
+ *
+ * The endpoint is a pure function of the request: it reads no tenant data,
+ * writes nothing, and never reorders or truncates. It reports a similarity per
+ * candidate and stops there; the ranking policy stays with the caller.
+ *
+ * Uses the snake_case wire format (every field here happens to be a single
+ * word); no value serialization (`ValueDto` / `FeatureValueDto`) is involved.
+ *
+ * Delegates to the generated `Embeddings` route class for the type-safe HTTP call.
+ */
+declare class EmbeddingsClient {
+    /** @internal */
+    private readonly api;
+    /** @internal */
+    constructor(api: Embeddings);
+    /**
+     * Score every candidate against the query by embedding cosine similarity.
+     *
+     * @param request - The query and the candidate texts to score against it.
+     * @returns `scores` — one cosine similarity in `[-1, 1]` per candidate,
+     *   **index-aligned with `request.candidates`** (index `i` scores
+     *   `candidates[i]`) and the same length, so the scores can be zipped straight
+     *   back onto whatever was retrieved. Higher is more similar; a candidate
+     *   whose text is blank scores `0`.
+     * @throws {BadRequestError} `400` — the query is blank, the candidate list is
+     *   over the backend's 512-candidate cap, or the query / a candidate is over
+     *   8192 characters.
+     * @throws {ApiError} `503` when the deployment has **no embedding backend
+     *   configured** (or its embedder is unreachable / misconfigured). The SDK
+     *   surfaces every 5xx as an `InternalServerError`; read its `status` to tell
+     *   `503` (no embedder) from `500` (ranking failed).
+     *
+     * @remarks
+     * Distinguish "no embedder" from "no similarity": a deployment without an
+     * embedding backend answers `503` rather than a fabricated score, precisely so
+     * a caller cannot mistake it for "everything scored 0" and silently rank by
+     * noise. The documented fallback on a `503` is to keep the source order.
+     *
+     * An empty `candidates` list is valid, not an error: it answers `200` with an
+     * empty `scores` array, so a caller that retrieved nothing still gets a
+     * well-formed, index-aligned response.
+     *
+     * A `0` score is absence of signal, not evidence of dissimilarity — it is also
+     * what an orthogonal candidate and a blank candidate both receive.
+     *
+     * @example
+     * ```typescript
+     * const retrieved = [
+     *   { id: 'doc-1', text: 'Chaperones assist protein folding in the cytosol.' },
+     *   { id: 'doc-2', text: 'Quarterly revenue rose 12% year over year.' },
+     * ];
+     *
+     * const { scores } = await client.embeddings.rank({
+     *   query: 'how proteins fold',
+     *   candidates: retrieved.map((doc) => doc.text),
+     * });
+     *
+     * // Scores are index-aligned — zip them back onto what was retrieved.
+     * const ranked = retrieved
+     *   .map((doc, i) => ({ doc, score: scores[i] }))
+     *   .sort((a, b) => b.score - a.score);
+     * ```
+     */
+    rank(request: EmbeddingRankRequest): Promise<EmbeddingRankResponse>;
+}
+
 /** Core knowledge base operations — types, records, rules, functions, constraints, and queries. */
 interface CoreGroup {
     readonly types: SortsClient;
@@ -71442,6 +72827,8 @@ declare class ReasoningLayerClient {
     readonly speech: SpeechClient;
     /** External data connectors — register / list / remove / connect / disconnect + OAuth callback. */
     readonly connectors: ConnectorsClient;
+    /** Embedding-space ranking — cosine score per candidate against a query, index-aligned. */
+    readonly embeddings: EmbeddingsClient;
     private _core?;
     private _ai?;
     private _reasoning?;
@@ -72916,4 +74303,4 @@ declare function toUntaggedFeatures(features: PlainFeatureMap): Record<string, F
  */
 declare function toTermInputDto(input: PsiTermInput | TermInputDto): TermInputDto;
 
-export { ANY_ROLE, actionReviews as ActionReviews, actions as Actions, type AddFactRequest, type AddFactResponse, type AddRuleRequest, type AddRuleResponse, admin as Admin, agui as Agui, type AguiContextItem, type AguiEvent, type AguiFunctionCall, type AguiMessage, type AguiRole, type AguiRunOptions, type AguiTool, type AguiToolCall, type AiGroup, type AlcConcept, analysis as Analysis, type AnalysisGroup, anonymization as Anonymization, ApiError, type ApiResponse, type ArithmeticOp, type AuthConfig, AuthenticationError, authz as Authz, type AuthzAction, type AuthzDryRunRequest, type AuthzDryRunResponse, type AuthzEffect, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkCreateSortsRequest, type BulkCreateSortsResponse, cdl as CDL, type CascadeOptions, type CatalogPage, causal as Causal, type CertificateDetail, chase as Chase, type ChaseArgDto, type ChaseAtomDto, type ChaseRunRequest, type ChaseRunResponse, type CheckDocumentRequest, type CheckDocumentResponse, type CheckFinding, type CheckSummary, type ClaimAssessment, type ClaimCitation, type ClaimSubtype, type ClaimVerdict, type ClassifyEdgesInput, type ClassifyEdgesVars, type ClearTermsResponse, type ClientConfig, cognitive as Cognitive, type CognitiveStrategyDto, coherence as Coherence, type CoherenceAnalyzeRequest, type CoherenceAnalyzeResponse, collections as Collections, communities as Communities, type CompareDocumentsRequest, type ComparisonOp, compliance as Compliance, complianceMarkings as ComplianceMarkings, conformal as Conformal, conformance as Conformance, type ConformanceCheckResponse, type ConformanceRepairResponse, type ConformanceRequest, connectors as Connectors, type ConstrainedPlainVar, Constraint, ConstraintViolationError, constraints as Constraints, control as Control, conversation as Conversation, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationSummaryDto, type ConversationTurnsResponse, type CoreGroup, corpus as Corpus, type CorpusBridgesRequest, type CorpusBridgesResponse, type CorpusCommunitiesRequest, type CorpusCommunitiesResponse, type CorpusCrossCuttingRequest, type CorpusCrossCuttingResponse, type CorpusScope, type CreateResearchSessionRequest, type CreateResearchSessionResponse, type CreateSortRequest, type CreateTermRequest, type CtlFormula, dl as DL, type DataGroup, demo as Demo, discovery as Discovery, type DlSatisfiableRequest, type DlSatisfiableResponse, type DlSubsumesRequest, type DlSubsumesResponse, documentCheck as DocumentCheck, documents as Documents, type EqLiteralDto, type EqualityAtomDto, type ErrorResponse$1 as ErrorResponse, execution as Execution, extract as Extract, feasibility as Feasibility, type FeatureInputValueDto, type FeatureValueDto, type FindingKind, type FindingSeverity, Flow, type FlowProblem as FlowBuilderProblem, type FlowEdgeInput, type FlowEdgeOptions, flowNetworks as FlowNetworks, type FlowNode, type FlowProblemInputBase, type FocusEntryDto, ForbiddenError, forecast as Forecast, type ForecastDomain, type ForecastDomainsResponse, type ForecastEntityInput, type ForecastRequest, type ForecastResponse, type ForwardChainRequest, type ForwardChainResponse, functions as Functions, fuzzy as Fuzzy, FuzzyShape, type FuzzyShapeDto, generation as Generation, type GlbRequest, type GlbResponse, type GraphSparqlQueryRequest, type GraphSparqlResults, guardrail as Guardrail, type GuardrailReport, type GuardrailRequest, type GuardrailSummary, health as Health, homoiconic as Homoiconic, ilp as ILP, imageExtraction as ImageExtraction, inference as Inference, type IngestPaperRequest, type IngestPaperResponse, ingestion as Ingestion, IngestionFailedError, IngestionSession, type IngestionSyncOptions, type InlineDocument, type InstallList, type InstallPluginRequest, type InstallPluginResponse, type InstallState, type InstallSummary, type Interceptor, InternalServerError, type JsonValue$1 as JsonValue, type KripkeState, type KripkeTransition, LP, ltn as LTN, type ListCatalogParams, type ListConversationsResponse, type ListInstallsParams, type ListResearchSessionsResponse, type LtnInstance, type LtnQueryRequest, type LtnQueryResponse, type LtnRefuteRequest, type LtnRefuteResponse, type LtnRule, type LtnTrainRequest, type LtnTrainResponse, type LubRequest, type LubResponse, marketplace as Marketplace, type MarketplaceScope, type MaxFlowInput, type MaxFlowVars, type MinCostMaxFlowInput, type MinCostMaxFlowVars, type MinCutInput, type MinCutVars, namespaces as Namespaces, NetworkError, neuroSymbolic as NeuroSymbolic, NotFoundError, ontology as Ontology, ontologyAlignment as OntologyAlignment, ontologyBridge as OntologyBridge, ontologyExport as OntologyExport, type OntologyExportDocument, type OntologyExportFormat, type OntologyExportOptions, ontologyFacade as OntologyFacade, type Operand, operations as Operations, optimize as Optimize, osfDiff as OsfDiff, type OsfDiffReport, type OsfDiffRequest, type OsfDiffResponse, type OsfDiffSelector, type OsfDiffSequenceReport, type OsfDiffSequenceRequest, type OsfDiffSequenceResponse, type OsfDiffTemporalRequest, type OsfSearchRequest, type OsfSearchResponse, osfql as Osfql, type OsfqlRequest, type OsfqlResponse, type OsfqlValue, oversight as Oversight, type PaginationParams, type PaperMetadataDto, type PaperSource, type PlainFeatureMap, type PlainFeatureValue, plainValues as PlainValues, type PluginDependency, type PluginDetail, type PluginManifest, type PluginSummary, type PluginVersion, preferences as Preferences, proofEngine as ProofEngine, propertyGraph as PropertyGraph, type PropertyGraphErrorResponse, type PropertyGraphExecuteResponse, type PropertyGraphQueryRequest, type PropertyGraphTranslateResponse, type PropertyGraphValue, type PsiTermDto, type PsiTermInput, type PublishPluginRequest, type PublishPluginResponse, query as Query, rag as RAG, RateLimitError, type RateLimitInfo, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type ReasoningStageDto, type ReasoningTraceDto, type RequestOptions, research as Research, type ResearchContradictionsResponse, type ResearchCycleResponse, type ResearchFindingsResponse, type ResearchGapsResponse, type ResearchReportResponse, type ResearchSessionResponse, type ResearchSessionSummaryDto, type ResolvedCoreferenceDto, reviews as Reviews, reward as Reward, row as Row, type RuleAggregatorDto, type RunAgentRequest, SDK_VERSION, sat as Sat, type SatLiteralDto, type SatSolveRequest, type SatSolveResponse, type SatVerdict, scenarios as Scenarios, scheduling as Scheduling, type SearchCatalogRequest, type SearchCatalogResponse, type SearchPapersRequest, type SearchPapersResponse, type SessionGraphDto, type SimpleTgdDto, smt as Smt, type SmtCheckRequest, type SmtCheckResponse, type SmtFunctionApplicationDto, type SmtVerdict, solver as Solver, SortBuilder, type SortDto, type SortInfoDto, sorts as Sorts, sources as Sources, spaces as Spaces, sparql as Sparql, type SparqlAskResults, type SparqlBindingSet, type SparqlEntailmentRegime, type SparqlQueryRequest, type SparqlQueryResults, type SparqlRdfTerm, type SparqlSelectResults, type SparqlTranslation, type SparqlUpdateRequest, type SparqlUpdateTranslation, speakers as Speakers, speech as Speech, statistical as Statistical, streaming as Streaming, synthetic as Synthetic, type SystemGroup, temporal as Temporal, type TemporalModelCheckRequest, type TemporalModelCheckResponse, type TemporalSeriesRequest, type TemporalSeriesResponse, type TemporalSeriesSpec, type TermDto, type TermInputArg, type TermInputDto, type TermListResponse, type TermPatternDto, type TermResponse, type TermSetSelector, terms as Terms, TimeoutError, translation as Translation, type TurnDto, ui as UI, type UpdateTermRequest, type UpgradeInstallRequest, utilities as Utilities, ValidationError, Value, type ValueDto, values as Values, verification as Verification, type VerifyClaimRequest, type VerifyClaimResponse, vision as Vision, visualization as Visualization, WebSocketClient, WebSocketConnection, webhookActions as WebhookActions, type WorkflowGroup, type YankPluginRequest, type YankPluginResponse, allen, constrained, discriminateFeatureValue, guard, isConstrainedPlainVar, isPsiTermInput, isTaggedValueDto, isUuid, psi, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };
+export { ANY_ROLE, actionReviews as ActionReviews, actions as Actions, type AddFactRequest, type AddFactResponse, type AddRuleRequest, type AddRuleResponse, admin as Admin, agui as Agui, type AguiContextItem, type AguiEvent, type AguiFunctionCall, type AguiMessage, type AguiRole, type AguiRunOptions, type AguiTool, type AguiToolCall, type AiGroup, type AlcConcept, analysis as Analysis, type AnalysisGroup, anonymization as Anonymization, ApiError, type ApiResponse, type ArithmeticOp, type AuthConfig, AuthenticationError, authz as Authz, type AuthzAction, type AuthzDryRunRequest, type AuthzDryRunResponse, type AuthzEffect, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkCreateSortsRequest, type BulkCreateSortsResponse, cdl as CDL, type CascadeOptions, type CatalogPage, causal as Causal, type CertificateDetail, chase as Chase, type ChaseArgDto, type ChaseAtomDto, type ChaseRunRequest, type ChaseRunResponse, type CheckDocumentRequest, type CheckDocumentResponse, type CheckFinding, type CheckSummary, type ClaimAssessment, type ClaimCitation, type ClaimSubtype, type ClaimVerdict, type ClassifyEdgesInput, type ClassifyEdgesVars, type ClearTermsResponse, type ClientConfig, cognitive as Cognitive, type CognitiveStrategyDto, coherence as Coherence, type CoherenceAnalyzeRequest, type CoherenceAnalyzeResponse, collections as Collections, communities as Communities, type CompareDocumentsRequest, type ComparisonOp, compliance as Compliance, complianceMarkings as ComplianceMarkings, conformal as Conformal, conformance as Conformance, type ConformanceCheckResponse, type ConformanceRepairResponse, type ConformanceRequest, connectors as Connectors, type ConstrainedPlainVar, Constraint, ConstraintViolationError, constraints as Constraints, control as Control, conversation as Conversation, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationSummaryDto, type ConversationTurnsResponse, type CoreGroup, corpus as Corpus, type CorpusBridgesRequest, type CorpusBridgesResponse, type CorpusCommunitiesRequest, type CorpusCommunitiesResponse, type CorpusCrossCuttingRequest, type CorpusCrossCuttingResponse, type CorpusScope, type CreateResearchSessionRequest, type CreateResearchSessionResponse, type CreateSortRequest, type CreateTermRequest, type CtlFormula, dl as DL, type DataGroup, demo as Demo, discovery as Discovery, type DlSatisfiableRequest, type DlSatisfiableResponse, type DlSubsumesRequest, type DlSubsumesResponse, documentCheck as DocumentCheck, documents as Documents, embeddings as Embeddings, type EqLiteralDto, type EqualityAtomDto, type ErrorResponse$1 as ErrorResponse, execution as Execution, extract as Extract, feasibility as Feasibility, type FeatureInputValueDto, type FeatureValueDto, type FindingKind, type FindingSeverity, Flow, type FlowProblem as FlowBuilderProblem, type FlowEdgeInput, type FlowEdgeOptions, flowNetworks as FlowNetworks, type FlowNode, type FlowProblemInputBase, type FocusEntryDto, ForbiddenError, forecast as Forecast, type ForecastDomain, type ForecastDomainsResponse, type ForecastEntityInput, type ForecastRequest, type ForecastResponse, type ForwardChainRequest, type ForwardChainResponse, functions as Functions, fuzzy as Fuzzy, FuzzyShape, type FuzzyShapeDto, generation as Generation, type GlbRequest, type GlbResponse, type GraphSparqlQueryRequest, type GraphSparqlResults, guardrail as Guardrail, type GuardrailReport, type GuardrailRequest, type GuardrailSummary, health as Health, homoiconic as Homoiconic, ilp as ILP, imageExtraction as ImageExtraction, inference as Inference, type IngestPaperRequest, type IngestPaperResponse, ingestion as Ingestion, IngestionFailedError, IngestionSession, type IngestionSyncOptions, type InlineDocument, type InstallList, type InstallPluginRequest, type InstallPluginResponse, type InstallState, type InstallSummary, type Interceptor, InternalServerError, type JsonValue$1 as JsonValue, type KripkeState, type KripkeTransition, LP, ltn as LTN, type ListCatalogParams, type ListConversationsResponse, type ListInstallsParams, type ListResearchSessionsResponse, type LtnInstance, type LtnQueryRequest, type LtnQueryResponse, type LtnRefuteRequest, type LtnRefuteResponse, type LtnRule, type LtnTrainRequest, type LtnTrainResponse, type LubRequest, type LubResponse, marketplace as Marketplace, type MarketplaceScope, type MaxFlowInput, type MaxFlowVars, type MinCostMaxFlowInput, type MinCostMaxFlowVars, type MinCutInput, type MinCutVars, namespaces as Namespaces, NetworkError, neuroSymbolic as NeuroSymbolic, NotFoundError, ontology as Ontology, ontologyAlignment as OntologyAlignment, ontologyBridge as OntologyBridge, ontologyExport as OntologyExport, type OntologyExportDocument, type OntologyExportFormat, type OntologyExportOptions, ontologyFacade as OntologyFacade, type Operand, operations as Operations, optimize as Optimize, osfDiff as OsfDiff, type OsfDiffReport, type OsfDiffRequest, type OsfDiffResponse, type OsfDiffSelector, type OsfDiffSequenceReport, type OsfDiffSequenceRequest, type OsfDiffSequenceResponse, type OsfDiffTemporalRequest, type OsfSearchRequest, type OsfSearchResponse, osfql as Osfql, type OsfqlRequest, type OsfqlResponse, type OsfqlValue, oversight as Oversight, type PaginationParams, type PaperMetadataDto, type PaperSource, type PlainFeatureMap, type PlainFeatureValue, plainValues as PlainValues, type PluginDependency, type PluginDetail, type PluginManifest, type PluginSummary, type PluginVersion, preferences as Preferences, proofEngine as ProofEngine, propertyGraph as PropertyGraph, type PropertyGraphErrorResponse, type PropertyGraphExecuteResponse, type PropertyGraphQueryRequest, type PropertyGraphTranslateResponse, type PropertyGraphValue, type PsiTermDto, type PsiTermInput, type PublishPluginRequest, type PublishPluginResponse, query as Query, rag as RAG, RateLimitError, type RateLimitInfo, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type ReasoningStageDto, type ReasoningTraceDto, type RequestOptions, research as Research, type ResearchContradictionsResponse, type ResearchCycleResponse, type ResearchFindingsResponse, type ResearchGapsResponse, type ResearchReportResponse, type ResearchSessionResponse, type ResearchSessionSummaryDto, type ResolvedCoreferenceDto, reviews as Reviews, reward as Reward, row as Row, type RuleAggregatorDto, type RunAgentRequest, SDK_VERSION, sat as Sat, type SatLiteralDto, type SatSolveRequest, type SatSolveResponse, type SatVerdict, scenarios as Scenarios, scheduling as Scheduling, type SearchCatalogRequest, type SearchCatalogResponse, type SearchPapersRequest, type SearchPapersResponse, type SessionGraphDto, type SimpleTgdDto, smt as Smt, type SmtCheckRequest, type SmtCheckResponse, type SmtFunctionApplicationDto, type SmtVerdict, solver as Solver, SortBuilder, type SortDto, type SortInfoDto, sorts as Sorts, sources as Sources, spaces as Spaces, sparql as Sparql, type SparqlAskResults, type SparqlBindingSet, type SparqlEntailmentRegime, type SparqlQueryRequest, type SparqlQueryResults, type SparqlRdfTerm, type SparqlSelectResults, type SparqlTranslation, type SparqlUpdateRequest, type SparqlUpdateTranslation, speakers as Speakers, speech as Speech, statistical as Statistical, streaming as Streaming, synthetic as Synthetic, type SystemGroup, temporal as Temporal, type TemporalModelCheckRequest, type TemporalModelCheckResponse, type TemporalSeriesRequest, type TemporalSeriesResponse, type TemporalSeriesSpec, type TermDto, type TermInputArg, type TermInputDto, type TermListResponse, type TermPatternDto, type TermResponse, type TermSetSelector, terms as Terms, TimeoutError, translation as Translation, type TurnDto, ui as UI, type UpdateTermRequest, type UpgradeInstallRequest, utilities as Utilities, ValidationError, Value, type ValueDto, values as Values, verification as Verification, type VerifyClaimRequest, type VerifyClaimResponse, vision as Vision, visualization as Visualization, WebSocketClient, WebSocketConnection, webhookActions as WebhookActions, type WorkflowGroup, type YankPluginRequest, type YankPluginResponse, allen, constrained, discriminateFeatureValue, guard, isConstrainedPlainVar, isPsiTermInput, isTaggedValueDto, isUuid, psi, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };