@kortexya/reasoninglayer 0.13.0 → 0.15.1

package/dist/index.d.ts

@@ -109,7 +109,7 @@ type JsonValue$1 = string | number | boolean | null | JsonValue$1[] | object;
  * This is the single source of truth for the version constant.
  * The `scripts/release.sh` script updates this value alongside `package.json`.
  */
-declare const SDK_VERSION = "0.13.0";
+declare const SDK_VERSION = "0.15.1";
 /**
  * Configuration for the Reasoning Layer client.
  *
@@ -711,6 +711,39 @@ interface AgentSubVerdictDto$1 {
     /** Per-agent verdict: "safe", "unsafe", "partial", or "residuated" */
     verdict: string;
 }
+/** Statistics for source text alignment quality */
+interface AlignmentStatsDto {
+    /**
+     * Average fuzzy match ratio for fuzzy-aligned entities
+     * @format double
+     */
+    avg_fuzzy_ratio: number;
+    /**
+     * Number of entities with exact source text match
+     * @min 0
+     */
+    entities_aligned_exact: number;
+    /**
+     * Number of entities with fuzzy source text match
+     * @min 0
+     */
+    entities_aligned_fuzzy: number;
+    /**
+     * Number of entities with lesser (partial) source text match
+     * @min 0
+     */
+    entities_aligned_lesser: number;
+    /**
+     * Number of entities filtered out by alignment quality gate
+     * @min 0
+     */
+    entities_filtered_by_alignment: number;
+    /**
+     * Number of entities that could not be aligned to source text
+     * @min 0
+     */
+    entities_unaligned: number;
+}
 /** Request to append residuations during unification */
 interface AppendResiduationsRequest$1 {
     session_id: string;
@@ -2941,6 +2974,57 @@ interface ContainmentVerificationDto$1 {
      */
     violation_count: number;
 }
+/**
+ * Configuration for training on conversation data.
+ *
+ * Controls how synthetic conversation transcripts are generated
+ * and scored during RL training with conversation environments.
+ */
+interface ConversationTrainingConfigDto {
+    /**
+     * Optional agent ID to scope training to a specific agent's conversations
+     * @format uuid
+     */
+    agent_id?: string | null;
+    /**
+     * Optional conversation IDs to train on specifically. When empty and
+     * use_real_conversations is true, uses the most recent conversations.
+     */
+    conversation_ids?: string[];
+    /**
+     * Maximum turns per episode (default: 20)
+     * @min 0
+     */
+    max_turns?: number;
+    /**
+     * Number of synthetic transcripts to generate for training (default: 10)
+     * @min 0
+     */
+    num_transcripts?: number;
+    /**
+     * Reward for goal completion (default: 1.0)
+     * @format double
+     */
+    reward_goal_completion?: number;
+    /**
+     * Step cost penalty (default: -0.01)
+     * @format double
+     */
+    reward_step_cost?: number;
+    /**
+     * Reward for successful proof (default: 0.3)
+     * @format double
+     */
+    reward_successful_proof?: number;
+    /** Conversation topics for synthetic transcript generation */
+    topics?: string[];
+    /**
+     * When true, loads actual conversation history from the knowledge base
+     * instead of generating synthetic transcripts. The most recent N conversations
+     * are used (controlled by num_transcripts).
+     */
+    use_real_conversations?: boolean;
+}
 /** A single coordinated resource set (N resources matched together) */
 interface CoordinatedResourceSet$1 {
     /**
@@ -4384,16 +4468,6 @@ interface DocumentProgressDto$1 {
     inference_rules_applied: number;
     /** LLM model name (if applicable). */
     model_name?: string | null;
-    /**
-     * OSF residuations created.
-     * @min 0
-     */
-    osf_residuations_created: number;
-    /**
-     * OSF residuations resumed.
-     * @min 0
-     */
-    osf_residuations_resumed: number;
     /**
      * References resolved.
      * @min 0
@@ -4419,6 +4493,16 @@ interface DocumentProgressDto$1 {
      * @min 0
      */
     relations_integrated: number;
+    /**
+     * Residuations created (suspended operations).
+     * @min 0
+     */
+    residuations_created: number;
+    /**
+     * Residuations resumed.
+     * @min 0
+     */
+    residuations_resumed: number;
     /**
      * Reviews persisted.
      * @min 0
@@ -4436,11 +4520,6 @@ interface DocumentProgressDto$1 {
      * @min 0
      */
     sorts_reused: number;
-    /**
-     * Sorts reused via GLB/feature matching.
-     * @min 0
-     */
-    sorts_reused_glb: number;
     /**
      * Sorts reused via semantic matching.
      * @min 0
@@ -5025,6 +5104,27 @@ interface EntityDto$1 {
      */
     sort_id: string;
 }
+/** Audit record for one substring-based entity merge. */
+interface EntityMergeAuditDto {
+    /**
+     * Term ID of the entity that was merged away (the shorter form).
+     * @format uuid
+     */
+    merged_from_id: string;
+    /** Name of the merged-away entity. */
+    merged_from_name: string;
+    /** Original sort name of the merged-away entity. */
+    merged_from_sort: string;
+    /**
+     * Term ID of the surviving entity (the longer/canonical form).
+     * @format uuid
+     */
+    merged_into_id: string;
+    /** Name of the surviving entity. */
+    merged_into_name: string;
+    /** Sort name of the surviving entity (which won the merge). */
+    merged_into_sort: string;
+}
 /** Per-entity verification detail. */
 interface EntityVerificationDetailDto$1 {
     /**
@@ -5362,6 +5462,25 @@ interface EvidenceAssessmentResponse$1 {
      */
     truthfulness: number;
 }
+/** DTO for evidence derivation configuration (wire format). */
+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[]>;
+    /**
+     * Default quality weight for NER-derived evidence (0.0-1.0).
+     * @format double
+     */
+    default_quality_weight?: number;
+    /** Sort name to use for derived evidence terms. */
+    evidence_sort_name?: string;
+    /** Relation names that indicate contradiction. */
+    negative_relations?: string[];
+    /** Relation names that indicate support. */
+    positive_relations?: string[];
+}
 /** A single piece of evidence used in assessment */
 interface EvidenceItemDto$1 {
     /**
@@ -5749,6 +5868,90 @@ interface ExtractionStatsDto$1 {
      */
     total_llm_calls: number;
 }
+/** Adaptive: auto-select strategy based on learned patterns. The fallback field accepts any ExtractionStrategy variant (e.g. {"type": "llm"}). */
+interface ExtractionStrategyAdaptive$1 {
+    /**
+     * Extraction strategy — an internally tagged enum discriminated by the 'type' field.
+     * Variants:
+     * - `{"type": "llm"}` — LLM-based extraction
+     * - `{"type": "local_ner"}` — local NER model (GLiNER2)
+     * - `{"type": "hybrid", "ner_confidence_threshold": 0.8}` — NER + LLM fallback
+     * - `{"type": "schema_guided", ...}` — NER + pattern-based, LLM when needed
+     * - `{"type": "adaptive", "fallback": {...}}` — auto-select strategy
+     */
+    fallback: ExtractionStrategyDto;
+    /**
+     * Discriminator -- always "adaptive".
+     * @example "adaptive"
+     */
+    type: string;
+}
+/**
+ * ExtractionStrategyDto
+ * Extraction strategy — an internally tagged enum discriminated by the 'type' field.
+ * Variants:
+ * - `{"type": "llm"}` — LLM-based extraction
+ * - `{"type": "local_ner"}` — local NER model (GLiNER2)
+ * - `{"type": "hybrid", "ner_confidence_threshold": 0.8}` — NER + LLM fallback
+ * - `{"type": "schema_guided", ...}` — NER + pattern-based, LLM when needed
+ * - `{"type": "adaptive", "fallback": {...}}` — auto-select strategy
+ */
+type ExtractionStrategyDto = ({
+    type: "adaptive";
+} & ExtractionStrategyAdaptive$1) | ({
+    type: "hybrid";
+} & ExtractionStrategyHybrid$1) | ({
+    type: "llm";
+} & ExtractionStrategyLlm$1) | ({
+    type: "local_ner";
+} & ExtractionStrategyLocalNer$1) | ({
+    type: "schema_guided";
+} & ExtractionStrategySchemaGuided$1);
+interface ExtractionStrategyHybrid$1 {
+    /**
+     * NER confidence threshold below which to use LLM (0.0-1.0).
+     * @format float
+     */
+    ner_confidence_threshold: number;
+    /**
+     * Discriminator -- always `"hybrid"`.
+     * @example "hybrid"
+     */
+    type: string;
+}
+interface ExtractionStrategyLlm$1 {
+    /**
+     * Discriminator -- always `"llm"`.
+     * @example "llm"
+     */
+    type: string;
+}
+interface ExtractionStrategyLocalNer$1 {
+    /**
+     * Discriminator -- always `"local_ner"`.
+     * @example "local_ner"
+     */
+    type: string;
+}
+interface ExtractionStrategySchemaGuided$1 {
+    /** Whether to escalate to LLM for unknown entity types. */
+    escalate_unknown_types: boolean;
+    /**
+     * NER confidence threshold below which to escalate to LLM (0.0-1.0).
+     * @format float
+     */
+    ner_confidence_threshold: number;
+    /**
+     * Relation pattern confidence threshold (0.0-1.0).
+     * @format float
+     */
+    relation_confidence_threshold: number;
+    /**
+     * Discriminator -- always `"schema_guided"`.
+     * @example "schema_guided"
+     */
+    type: string;
+}
 /** A fact confidence entry for tagged forward chaining. */
 interface FactConfidenceEntry$1 {
     /**
@@ -6633,6 +6836,12 @@ interface FuzzySubsumptionRequest$1 {
      * @format uuid
      */
     general_term_id: string;
+    /**
+     * Enable lenient primitive matching (default: true).
+     * When true, string mismatches use semantic similarity instead of
+     * requiring exact equality, and the similarity oracle is consulted.
+     */
+    lenient?: boolean | null;
     /**
      * The specific (more concrete) term ID
      * @format uuid
@@ -8162,6 +8371,13 @@ interface IngestMarkdownRequest$1 {
 }
 /** Request to ingest RDF/OWL data */
 interface IngestRdfRequest$1 {
+    /**
+     * Whether to compute and store text embeddings for each ingested term.
+     *
+     * Default `true` because downstream extraction relies on embeddings.
+     * Set to `false` only for opt-in fast structural-only ingest.
+     */
+    compute_embeddings?: boolean;
     /** RDF content in Turtle, N-Triples, or RDF/XML format */
     content: string;
     /** Format of the RDF content */
@@ -8171,7 +8387,7 @@ interface IngestRdfRequest$1 {
     /** Whether to also parse SHACL shapes from the content */
     parse_shacl?: boolean;
 }
-/** Response from RDF ingestion */
+/** Response from RDF ingestion (sync mode, HTTP 201). */
 interface IngestRdfResponse$1 {
     /**
      * Number of SHACL shapes parsed
@@ -8237,6 +8453,14 @@ interface IngestionConfigDto$1 {
      * Default: true
      */
     enable_entity_filtering?: boolean;
+    /**
+     * Enable LLM-based evidence enrichment with statistical features.
+     * After evidence terms are derived, makes one LLM call to extract
+     * statistical measures (p-value, HR, CI, sample size, study design)
+     * and attach them as features on evidence terms.
+     * Default: false
+     */
+    enable_evidence_enrichment?: boolean;
     /**
      * Enable focused extraction prompts.
      * When schema discovery found types, uses a simplified prompt asking only
@@ -8244,6 +8468,17 @@ interface IngestionConfigDto$1 {
      * Default: true
      */
     enable_focused_extraction?: boolean;
+    /**
+     * Enable LLM-based coreference resolution for hard cases.
+     * When true, after structural deduplication the pipeline runs parallel
+     * per-pair LLM calls to resolve ambiguous coreferences (e.g.,
+     * "Stanley Reed" vs "Justice Reed"). Adds LLM calls proportional to the
+     * number of candidate pairs — violates the 0-LLM-token guarantee for the
+     * LocalNer strategy, so disabled by default. Opt in to improve entity
+     * deduplication quality at the cost of extra LLM calls.
+     * Default: false
+     */
+    enable_llm_coreference?: boolean;
     /**
      * Enable schema discovery before extraction.
      * Samples the document to discover entity/relation types before per-chunk extraction.
@@ -8257,16 +8492,30 @@ interface IngestionConfigDto$1 {
      * Default: false
      */
     enable_zero_degree_filtering?: boolean;
+    /**
+     * Configuration for deriving evidence terms from relational features.
+     * When set, entities with Reference features (from NER relations) automatically
+     * get linked evidence terms created, enabling OSFKB evidence assessment.
+     */
+    evidence_derivation_config?: null | EvidenceDerivationConfigDto$1;
     /** Whether to extract relations between entities */
     extract_relations?: boolean;
     /**
-     * Extraction strategy: "llm" (default), "local_ner" (GLiNER2), or "hybrid"
+     * Extraction strategy -- an internally tagged object with a `"type"` discriminator.
      *
-     * - `llm`: Use LLM for all extraction (most capable, but slower and requires API)
-     * - `local_ner`: Use local NER model like GLiNER2 (fast, no API costs, privacy-friendly)
-     * - `hybrid`: Use NER first, fall back to LLM for low-confidence entities
+     * Variants:
+     * - `{"type": "llm"}` -- LLM for all extraction (default, most capable)
+     * - `{"type": "local_ner"}` -- local NER model like GLiNER2 (fast, no API costs)
+     * - `{"type": "hybrid", "ner_confidence_threshold": 0.8}` -- NER first, LLM fallback
+     * - `{"type": "schema_guided", ...}` -- NER + pattern-based, LLM only when needed
+     * - `{"type": "adaptive", "fallback": {...}}` -- auto-select based on learned patterns
      */
-    extraction_strategy?: string;
+    extraction_strategy?: ExtractionStrategyDto;
+    /**
+     * When true, skip the auto-upgrade from Llm→LocalNer even if NER is available.
+     * Used for A/B comparison tests. Default: false.
+     */
+    force_extraction_strategy?: boolean;
     /**
      * Maximum tokens for schema context passed to LLM
      * @min 0
@@ -8355,6 +8604,8 @@ interface IngestionSessionResponse$1 {
 type IngestionSessionStatusDto$1 = "active" | "paused" | "complete" | "failed";
 /** Ingestion statistics */
 interface IngestionStatsDto$1 {
+    /** Source text alignment statistics (entity-to-source mapping quality) */
+    alignment_stats?: AlignmentStatsDto;
     /**
      * Number of chunks that failed extraction
      * @min 0
@@ -8392,6 +8643,11 @@ interface IngestionStatsDto$1 {
      * @min 0
      */
     entities_pending_review: number;
+    /**
+     * Audit trail for substring-based entity merges (surface-form coreference).
+     * E.g., "Brown v. Board" merged into "Brown v. Board of Education of Topeka".
+     */
+    entity_merge_audit?: EntityMergeAuditDto[];
     /**
      * Estimated USD cost of LLM API calls (if model pricing is available)
      * @format double
@@ -8430,6 +8686,21 @@ interface IngestionStatsDto$1 {
      * @min 0
      */
     relations_integrated: number;
+    /**
+     * Number of suspended relations that remained unresolved (orphaned)
+     * @min 0
+     */
+    relations_orphaned?: number;
+    /**
+     * Number of suspended relations successfully resumed when endpoints became available
+     * @min 0
+     */
+    relations_resumed?: number;
+    /**
+     * Number of relations suspended (endpoints not yet available)
+     * @min 0
+     */
+    relations_suspended?: number;
     /** Names of created/reused sorts */
     sort_names: string[];
     /**
@@ -8451,6 +8722,11 @@ interface IngestionStatsDto$1 {
 interface IntegratedCycleOutcomeDto$1 {
     /** Actions executed */
     actions_executed: string[];
+    /**
+     * Cognitive mode selected by System M meta-control (when enabled).
+     * One of: "Explore", "Exploit", "Observe", "Consolidate", or null if meta-control disabled.
+     */
+    cognitive_mode?: string | null;
     /** Desires considered */
     desires_considered: string[];
     /**
@@ -8481,6 +8757,16 @@ interface IntegratedCycleOutcomeDto$1 {
     perceptions_processed: number;
     /** Prediction errors observed */
     prediction_errors: PredictionErrorDto$1[];
+    /**
+     * Whether the RL policy influenced this cycle's decisions.
+     * True when enable_rl_policy is set and Q-values were found in the knowledge base.
+     */
+    rl_policy_active?: boolean;
+    /**
+     * Number of Q-value updates performed from rl_transition terms.
+     * @min 0
+     */
+    rl_transitions_processed?: number;
     /**
      * Number of sensor percepts processed from external sensor ports
      * @min 0
@@ -8529,11 +8815,24 @@ interface IntegratedEngineConfigDto$1 {
      * @default true
      */
     enable_meta_cognition?: boolean;
+    /**
+     * Enable meta-control: System M dynamically selects cognitive modes
+     * (Explore/Exploit/Observe/Consolidate) based on meta-signals.
+     * @default false
+     */
+    enable_meta_control?: boolean;
     /**
      * Enable plan library lookup
      * @default true
      */
     enable_plan_library?: boolean;
+    /**
+     * Enable RL policy: agent uses Q-values from rl_transition Psi-terms for action selection.
+     * When true, the agent reads trained Q-values from the shared TermStore (populated by
+     * RL training) to guide cognitive decisions. Requires prior RL training on the same tenant.
+     * @default false
+     */
+    enable_rl_policy?: boolean;
     /**
      * Enable mental simulation before execution
      * @default true
@@ -10479,11 +10778,22 @@ interface NeuroSymbolicStatusResponse$1 {
     status?: object | null;
 }
 /** Translation mode for NL queries */
-type NlQueryMode$1 = "llm" | "constraint" | "cognitive";
+type NlQueryMode$1 = "llm" | "constraint" | "cognitive" | "triz";
 /** Natural language query request */
 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;
+    /** Optional: domain names to exclude from results */
+    exclude_domains?: any[] | 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;
     /** Translation mode: "llm" (default), "constraint", or "cognitive" */
     mode?: NlQueryMode$1;
     /** The natural language question */
@@ -10516,14 +10826,20 @@ interface NlQueryResponse$1 {
     generated_osf?: string | null;
     /** Mode used for translation */
     mode: NlQueryMode$1;
+    /** Novelty scores for inventive proposals */
+    novelty_scores?: any[] | null;
     /** Original query */
     query: string;
     /** Results from query execution */
     results: NlQueryResultItem$1[];
+    /** Structured problem from TRIZ session (for user confirmation) */
+    structured_problem?: any;
     /** Whether the query was successful */
     success: boolean;
     /** Tool call info (constraint mode) */
     tool_call?: null | ToolCallInfo$1;
+    /** TRIZ session status (for multi-turn refinement) */
+    triz_session_status?: string | null;
 }
 /** Result item from NL query */
 interface NlQueryResultItem$1 {
@@ -11060,8 +11376,12 @@ interface PendingReviewDto$2 {
 }
 /** An entity pending review */
 interface PendingReviewEntityDto {
+    /** Alignment status: "exact", "fuzzy", "lesser", or "unaligned" */
+    alignment_status?: string | null;
     /** Candidate matches for deduplication */
     candidates: ReviewCandidateMatchDto$1[];
+    /** Character interval in source text where entity was found (start, end) */
+    char_interval?: any[] | null;
     /**
      * Extraction confidence score (0.0 - 1.0)
      * @format double
@@ -11107,25 +11427,20 @@ interface PipelineQualityStatsDto$1 {
      */
     dynamic_config_relation_threshold: number;
     /**
-     * Total formal concepts enumerated by FCA
+     * Entities rejected by validation
      * @min 0
      */
-    fca_concepts_enumerated: number;
+    entities_rejected: number;
     /**
-     * Concepts filtered (matching existing sorts)
-     * @min 0
-     */
-    fca_concepts_filtered: number;
-    /**
-     * Novel concepts discovered (not matching any existing sort)
+     * Entities auto-corrected to a better sort
      * @min 0
      */
-    fca_novel_concepts: number;
+    entities_sort_corrected: number;
     /**
-     * Sorts created from FCA-discovered concepts
+     * Entities that passed validation
      * @min 0
      */
-    fca_sorts_created: number;
+    entities_validated: number;
     /**
      * Axioms learned from entity feature patterns
      * @min 0
@@ -11137,75 +11452,76 @@ interface PipelineQualityStatsDto$1 {
      */
     feedback_pipeline_adjustments: number;
     /**
-     * LLM entities deduped against NER entities by normalized name in hybrid mode
+     * Total quality issues from forward chaining
      * @min 0
      */
-    hybrid_intra_batch_deduped: number;
+    forward_chaining_issues: number;
     /**
-     * Relations from inference rules deduplicated against existing
+     * Entities fully valid (all constraints pass)
      * @min 0
      */
-    inference_relations_deduped: number;
+    fully_valid: number;
     /**
-     * Inference rules successfully applied (expanded to relations)
+     * LLM entities deduped against NER entities by normalized name in hybrid mode
      * @min 0
      */
-    inference_rules_applied: number;
+    hybrid_intra_batch_deduped: number;
     /**
-     * Inference rules filtered due to low confidence
+     * Entities missing required features
      * @min 0
      */
-    inference_rules_filtered_low_confidence: number;
+    incomplete_entities: number;
     /**
-     * Inference rules with scope_sort not found among entities
+     * Entities with incompatible sort assignments
      * @min 0
      */
-    inference_rules_invalid_scope_sort: number;
+    inconsistent_sorts: number;
     /**
-     * Total inference rules extracted across all chunks
+     * Number of forward-chaining iterations executed.
      * @min 0
      */
-    inference_rules_total: number;
+    inference_iterations: number;
     /**
-     * Entities rejected by OSF validation
+     * Relations from inference rules deduplicated against existing
      * @min 0
      */
-    osf_entities_rejected: number;
+    inference_relations_deduped: number;
     /**
-     * Entities auto-corrected to a better sort
+     * Inference rules successfully applied (expanded to relations)
      * @min 0
      */
-    osf_entities_sort_corrected: number;
+    inference_rules_applied: number;
     /**
-     * Entities that passed OSF validation
+     * Inference rules filtered due to low confidence
      * @min 0
      */
-    osf_entities_validated: number;
+    inference_rules_filtered_low_confidence: number;
     /**
-     * Total quality issues from forward chaining
+     * Inference rules with scope_sort not found among entities
      * @min 0
      */
-    osf_forward_chaining_issues: number;
+    inference_rules_invalid_scope_sort: number;
     /**
-     * Entities fully valid (all constraints pass)
+     * Total inference rules extracted across all chunks
      * @min 0
      */
-    osf_fully_valid: number;
+    inference_rules_total: number;
     /**
-     * Entities missing required features (from forward chaining)
+     * Pattern rules generated from co-occurrence analysis.
+     * These are homoiconic Ψ-term rules persisted to the term store.
      * @min 0
      */
-    osf_incomplete_entities: number;
+    pattern_rules_persisted: number;
     /**
-     * Entities with incompatible sort assignments
+     * Total relations generated from inference rule expansion
      * @min 0
      */
-    osf_inconsistent_sorts: number;
+    relations_from_inference_rules: number;
     /**
-     * Total relations generated from inference rule expansion
+     * Total relations derived by forward chaining.
      * @min 0
      */
-    relations_from_inference_rules: number;
+    relations_inferred: number;
 }
 /** A matching plan from the library. */
 interface PlanMatchDto$1 {
@@ -12669,6 +12985,8 @@ interface RlPolicyConfigDto$1 {
  * - Cognitive: Uses `rl_cognitive_bridge::run()` (unified cognitive-RL loop)
  */
 interface RlTrainRequest$1 {
+    /** Configuration for conversation-based training (when environment_name starts with "conversation") */
+    conversation_config?: null | ConversationTrainingConfigDto;
     /**
      * Curiosity bonus amount (default: 0.1)
      * @format double
@@ -12744,6 +13062,12 @@ interface RlTrainRequest$1 {
      * @min 0
      */
     num_episodes: number;
+    /**
+     * Enable saving/loading DQN weights for persistence across restarts.
+     * When true, weights are saved to a tenant-specific path after training
+     * and loaded before training starts (continuing from last checkpoint).
+     */
+    persist_weights?: boolean;
     /** Optional RL policy configuration overrides */
     rl_config?: null | RlPolicyConfigDto$1;
     /** Trajectory exchange mode: "top_k" | "all_to_all" | "ring" */
@@ -12787,6 +13111,8 @@ interface RlTrainResponse$1 {
     collapse_episodes?: number[];
     /** 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>;
     /**
      * Auto-curriculum adjustments
      * @min 0
@@ -13296,6 +13622,13 @@ interface SearchCommunitiesResponse$1 {
     /** Search statistics */
     stats: CommunitySearchStatsDto$1;
 }
+/**
+ * Which computation the search endpoint should perform.
+ *
+ * Defaults to `solutions` for full backward compatibility with existing clients
+ * that do not send a `mode` field.
+ */
+type SearchModeDto$1 = "solutions" | "feasibility";
 /** Request to search for solutions */
 interface SearchRequest {
     /**
@@ -13305,10 +13638,15 @@ interface SearchRequest {
      */
     collect_traces?: boolean | null;
     /**
-     * Maximum number of solutions to find
+     * Maximum number of solutions to find (only used in `solutions` mode)
      * @min 0
      */
     max_solutions?: number | null;
+    /**
+     * Which computation to perform.  Omit or set to `"solutions"` for the
+     * default enumeration behaviour (backward compatible).
+     */
+    mode?: SearchModeDto$1;
     /** Search strategy to use */
     strategy: SearchStrategyDto$1;
     /**
@@ -13318,18 +13656,36 @@ interface SearchRequest {
      */
     use_neural_guidance?: boolean | null;
 }
-/** Response with search results */
-interface SearchResponse {
+/**
+ * Response from the search endpoint.
+ *
+ * The `kind` field is a discriminator — always read it first to know which
+ * variant you received before accessing the mode-specific fields.
+ */
+type SearchResponse = {
     /**
-     * Total number of solutions found
+     * Number of solutions found.
      * @min 0
      */
     count: number;
-    /** Search statistics (present when collect_traces is true or use_neural_guidance is true) */
+    kind: "solutions";
+    /**
+     * Search statistics (present when `collect_traces` or `use_neural_guidance`
+     * is true, or when the SAT solver was used).
+     */
     search_stats?: null | SearchStatsDto$1;
-    /** Solutions found */
+    /** Enumerated complete assignments. */
     solutions: SpaceSolutionDto$1[];
-}
+} | {
+    kind: "feasibility";
+    /** Solver statistics for the feasibility queries. */
+    search_stats?: null | SearchStatsDto$1;
+    /**
+     * Per-variable feasibility.  Key is the variable name as registered
+     * in the space's choice points.
+     */
+    variables: Record<string, VariableFeasibilityDto$1>;
+};
 /**
  * Search statistics collected during a search operation.
  *
@@ -13342,6 +13698,19 @@ interface SearchStatsDto$1 {
      * @min 0
      */
     backtracks: number;
+    /**
+     * Choice points that were forced by initial propagation (before any
+     * search decision). Each entry is an unbiased "confirmed" assignment:
+     * every solution in the search space respects it. Clients should use
+     * this list (not the intersection of enumerated solutions) to display
+     * which choices are definitively locked in.
+     */
+    forced_choices?: ChoiceSelection$1[];
+    /**
+     * Number of learned nogood clauses.
+     * @min 0
+     */
+    learned_clauses: number;
     /**
      * Total nodes visited during search.
      * @min 0
@@ -13352,6 +13721,11 @@ interface SearchStatsDto$1 {
      * @min 0
      */
     nodes_pruned: number;
+    /**
+     * Number of restarts performed (Luby restart strategy).
+     * @min 0
+     */
+    restarts: number;
     /**
      * Number of times the neural scorer was invoked.
      * @min 0
@@ -15787,6 +16161,24 @@ type ValuePatternDto$1 = {
     type: "bind";
     variable: string;
 };
+/**
+ * Feasibility of a single binary variable in the constraint space.
+ *
+ * Produced by `feasibility` mode search.  Both fields can be `false` only
+ * when the problem is UNSAT (no valid assignment exists).
+ */
+interface VariableFeasibilityDto$1 {
+    /**
+     * `true` if there exists at least one valid assignment where this variable
+     * is 0 (unselected / false).
+     */
+    can_be_false: boolean;
+    /**
+     * `true` if there exists at least one valid assignment where this variable
+     * is 1 (selected / true).
+     */
+    can_be_true: boolean;
+}
 /** Result of verbalizing a single PsiTerm. */
 interface VerbalizationResultDto$1 {
     /**
@@ -18122,7 +18514,7 @@ declare namespace terms {
 }
 
 /** Translation mode for natural language queries. */
-type NlQueryMode = 'llm' | 'constraint' | 'cognitive';
+type NlQueryMode = 'llm' | 'constraint' | 'cognitive' | 'triz';
 /** A result item from a natural language query. */
 interface NlQueryResultItem {
     /** Term ID. */
@@ -26082,15 +26474,18 @@ declare class Ingestion<SecurityDataType = unknown> {
      */
     ingestMarkdownBatch: (data: IngestMarkdownBatchRequest$1, params?: RequestParams) => Promise<HttpResponse<void, void>>;
     /**
-     * No description
+     * @description Defaults to async dispatch: returns `202` with a session id and the pipeline runs in a background tokio task. Pass `?sync=true` to run the whole pipeline inside the request and get a `201` with the full result — suitable only for small ontologies because the embedding loop dominates wall time on large inputs.
      *
      * @tags ingestion
      * @name IngestRdf
-     * @summary Ingest RDF/OWL/SHACL data and convert to OSF
+     * @summary Ingest RDF/OWL/SHACL data and convert to OSF.
      * @request POST:/api/v1/ingest/rdf
      * @secure
      */
-    ingestRdf: (data: IngestRdfRequest$1, params?: RequestParams) => Promise<HttpResponse<IngestRdfResponse$1, void>>;
+    ingestRdf: (query: {
+        /** When true, run synchronously (returns 201). Default false: returns 202 with a session id. */
+        sync: boolean;
+    }, data: IngestRdfRequest$1, params?: RequestParams) => Promise<HttpResponse<IngestRdfResponse$1, void>>;
     /**
      * @description Returns paginated list of chunk failures in the dead-letter queue.
      *
@@ -26257,10 +26652,10 @@ interface DocumentProgressDto {
     inferenceRulesApplied: number;
     /** LLM model name (if applicable). */
     modelName?: string | null;
-    /** OSF residuations created. */
-    osfResiduationsCreated: number;
-    /** OSF residuations resumed. */
-    osfResiduationsResumed: number;
+    /** Residuations created (suspended operations). */
+    residuationsCreated: number;
+    /** Residuations resumed. */
+    residuationsResumed: number;
     /** References resolved. */
     referencesResolved: number;
     /** Unresolved references. */
@@ -26279,8 +26674,6 @@ interface DocumentProgressDto {
     sortsCreated: number;
     /** Existing sorts reused (exact match). */
     sortsReused: number;
-    /** Sorts reused via GLB/feature matching. */
-    sortsReusedGlb: number;
     /** Sorts reused via semantic matching. */
     sortsReusedSemantic: number;
     /** When ingestion started (ISO 8601). */
@@ -26352,6 +26745,102 @@ interface IngestionPollOptions {
     /** Optional callback invoked with progress data on each poll cycle. */
     onProgress?: (progress: SessionProgressResponse) => void;
 }
+/**
+ * LLM-based extraction strategy — most capable, slower, requires API.
+ *
+ * @remarks
+ * Wire format: `{"type": "llm"}`
+ */
+interface ExtractionStrategyLlm {
+    type: 'llm';
+}
+/**
+ * Local NER extraction strategy — fast, no API costs, privacy-friendly.
+ *
+ * @remarks
+ * Wire format: `{"type": "local_ner"}`
+ */
+interface ExtractionStrategyLocalNer {
+    type: 'local_ner';
+}
+/**
+ * Hybrid extraction strategy — NER first, LLM fallback for low-confidence entities.
+ *
+ * @remarks
+ * Wire format: `{"type": "hybrid", "ner_confidence_threshold": 0.8}`
+ */
+interface ExtractionStrategyHybrid {
+    type: 'hybrid';
+    /** NER confidence threshold below which to escalate to LLM (0.0–1.0). */
+    nerConfidenceThreshold: number;
+}
+/**
+ * Schema-guided extraction strategy — NER + pattern-based, LLM only when needed.
+ *
+ * @remarks
+ * Wire format: `{"type": "schema_guided", "ner_confidence_threshold": 0.7, "relation_confidence_threshold": 0.6, "escalate_unknown_types": true}`
+ */
+interface ExtractionStrategySchemaGuided {
+    type: 'schema_guided';
+    /** NER confidence threshold below which to escalate to LLM (0.0–1.0). */
+    nerConfidenceThreshold: number;
+    /** Relation pattern confidence threshold (0.0–1.0). */
+    relationConfidenceThreshold: number;
+    /** Whether to escalate to LLM for unknown entity types. */
+    escalateUnknownTypes: boolean;
+}
+/**
+ * Adaptive extraction strategy — auto-select based on learned patterns.
+ *
+ * @remarks
+ * Wire format: `{"type": "adaptive", "fallback": {...}}`
+ */
+interface ExtractionStrategyAdaptive {
+    type: 'adaptive';
+    /** Fallback strategy when adaptive selection is inconclusive. */
+    fallback: ExtractionStrategy;
+}
+/**
+ * Extraction strategy for ingestion — an internally tagged discriminated union.
+ *
+ * @remarks
+ * The backend serializes this with `#[serde(tag = "type", rename_all = "snake_case")]`.
+ * The `type` field is the discriminator.
+ *
+ * @example
+ * ```ts
+ * // Simple strategies:
+ * const llm: ExtractionStrategy = { type: 'llm' };
+ * const ner: ExtractionStrategy = { type: 'local_ner' };
+ *
+ * // Strategies with parameters:
+ * const hybrid: ExtractionStrategy = { type: 'hybrid', nerConfidenceThreshold: 0.8 };
+ * const adaptive: ExtractionStrategy = { type: 'adaptive', fallback: { type: 'llm' } };
+ * ```
+ */
+type ExtractionStrategy = ExtractionStrategyLlm | ExtractionStrategyLocalNer | ExtractionStrategyHybrid | ExtractionStrategySchemaGuided | ExtractionStrategyAdaptive;
+/**
+ * Configuration for deriving evidence terms from relational features.
+ *
+ * @remarks
+ * When set, entities with Reference features (from NER relations) automatically
+ * get linked evidence terms created, enabling OSFKB evidence assessment.
+ */
+interface EvidenceDerivationConfigDto {
+    /**
+     * Relations whose polarity depends on the target entity's sort.
+     * Maps relation name to list of target sort names that make it negative.
+     */
+    contextDependentRelations?: Record<string, string[]>;
+    /** Default quality weight for NER-derived evidence (0.0–1.0). */
+    defaultQualityWeight?: number;
+    /** Sort name to use for derived evidence terms. */
+    evidenceSortName?: string;
+    /** Relation names that indicate contradiction. */
+    negativeRelations?: string[];
+    /** Relation names that indicate support. */
+    positiveRelations?: string[];
+}
 /**
  * Ingestion session status.
  */
@@ -26451,12 +26940,35 @@ interface IngestionConfigDto {
     enableFocusedExtraction?: boolean;
     /** Enable schema discovery before extraction. Default: true. */
     enableSchemaDiscovery?: boolean;
+    /** Enable LLM-based evidence enrichment with statistical features. Default: false. */
+    enableEvidenceEnrichment?: boolean;
     /** Enable zero-degree entity removal. Default: false. */
     enableZeroDegreeFiltering?: boolean;
+    /**
+     * Configuration for deriving evidence terms from relational features.
+     * When set, entities with Reference features automatically get linked evidence terms.
+     */
+    evidenceDerivationConfig?: EvidenceDerivationConfigDto | null;
     /** Whether to extract relations between entities. */
     extractRelations?: boolean;
-    /** Extraction strategy: "llm" (default), "local_ner", or "hybrid". */
-    extractionStrategy?: string;
+    /**
+     * Extraction strategy — an internally tagged discriminated union.
+     *
+     * @remarks
+     * Wire format uses `#[serde(tag = "type")]`. Pass an object with a `type` discriminator.
+     *
+     * @example
+     * ```ts
+     * { type: 'llm' }
+     * { type: 'hybrid', nerConfidenceThreshold: 0.8 }
+     * ```
+     */
+    extractionStrategy?: ExtractionStrategy;
+    /**
+     * When true, skip the auto-upgrade from Llm to LocalNer even if NER is available.
+     * Used for A/B comparison tests. Default: false.
+     */
+    forceExtractionStrategy?: boolean;
     /** Maximum tokens for schema context passed to LLM. */
     maxSchemaTokens?: number;
     /** NER confidence threshold (0.0 - 1.0). Default: 0.5. */
@@ -26467,6 +26979,12 @@ interface IngestionConfigDto {
     nerRelationConfidenceThreshold?: number;
     /** Relation labels for NER relation extraction. */
     nerRelationLabels?: string[];
+    /**
+     * Reject anonymized reference patterns from case studies.
+     * Filters patterns like "Monsieur X", "société A", "Company A".
+     * Only active when entity filtering is enabled. Default: true.
+     */
+    rejectAnonymizedReferences?: boolean;
     /** Skip fingerprint check (force re-ingestion). */
     skipFingerprint?: boolean;
     /** Skip automatic relation completion between extracted entities. */
@@ -26525,20 +27043,28 @@ interface PipelineQualityStatsDto {
     dynamicConfigEntityThreshold: number;
     /** Dynamic relation confidence threshold based on KB maturity. */
     dynamicConfigRelationThreshold: number;
-    /** Total formal concepts enumerated by FCA. */
-    fcaConceptsEnumerated: number;
-    /** Concepts filtered (matching existing sorts). */
-    fcaConceptsFiltered: number;
-    /** Novel concepts discovered (not matching any existing sort). */
-    fcaNovelConcepts: number;
-    /** Sorts created from FCA-discovered concepts. */
-    fcaSortsCreated: number;
+    /** Entities rejected by validation. */
+    entitiesRejected: number;
+    /** Entities auto-corrected to a better sort. */
+    entitiesSortCorrected: number;
+    /** Entities that passed validation. */
+    entitiesValidated: number;
     /** Axioms learned from entity feature patterns. */
     feedbackAxiomsLearned: number;
     /** Pipeline threshold adjustments applied by dynamic config. */
     feedbackPipelineAdjustments: number;
+    /** Total quality issues from forward chaining. */
+    forwardChainingIssues: number;
+    /** Entities fully valid (all constraints pass). */
+    fullyValid: number;
     /** LLM entities deduped against NER entities by normalized name in hybrid mode. */
     hybridIntraBatchDeduped: number;
+    /** Entities missing required features. */
+    incompleteEntities: number;
+    /** Entities with incompatible sort assignments. */
+    inconsistentSorts: number;
+    /** Number of forward-chaining iterations executed. */
+    inferenceIterations: number;
     /** Relations from inference rules deduplicated against existing. */
     inferenceRelationsDeduped: number;
     /** Inference rules successfully applied (expanded to relations). */
@@ -26549,18 +27075,12 @@ interface PipelineQualityStatsDto {
     inferenceRulesInvalidScopeSort: number;
     /** Total inference rules extracted across all chunks. */
     inferenceRulesTotal: number;
-    /** Entities rejected by validation. */
-    osfEntitiesRejected: number;
-    /** Entities auto-corrected to a better sort. */
-    osfEntitiesSortCorrected: number;
-    /** Entities that passed validation. */
-    osfEntitiesValidated: number;
-    /** Total quality issues from forward chaining. */
-    osfForwardChainingIssues: number;
-    /** Entities fully valid (all constraints pass). */
-    osfFullyValid: number;
-    /** Entities missing required features (from forward chaining). */
-    osfIncompleteEntities: number;
+    /** Pattern rules generated from co-occurrence analysis. */
+    patternRulesPersisted: number;
+    /** Total relations generated from inference rule expansion. */
+    relationsFromInferenceRules: number;
+    /** Total relations derived by forward chaining. */
+    relationsInferred: number;
 }
 /**
  * Token usage from LLM API calls during ingestion.
@@ -26805,6 +27325,11 @@ interface IngestRdfRequest {
     parseOntology?: boolean;
     /** Whether to also parse SHACL shapes from the content. */
     parseShacl?: boolean;
+    /**
+     * When true, run synchronously and return the result immediately (HTTP 201).
+     * When false (default), return HTTP 202 with a session ID for async polling.
+     */
+    sync?: boolean;
     /** Tenant ID for the ingested data. */
     tenantId: string;
 }
@@ -26962,6 +27487,13 @@ type ingestion_DocumentProgressDto = DocumentProgressDto;
 type ingestion_DocumentSource = DocumentSource;
 type ingestion_DocumentStatsDto = DocumentStatsDto;
 type ingestion_DocumentType = DocumentType;
+type ingestion_EvidenceDerivationConfigDto = EvidenceDerivationConfigDto;
+type ingestion_ExtractionStrategy = ExtractionStrategy;
+type ingestion_ExtractionStrategyAdaptive = ExtractionStrategyAdaptive;
+type ingestion_ExtractionStrategyHybrid = ExtractionStrategyHybrid;
+type ingestion_ExtractionStrategyLlm = ExtractionStrategyLlm;
+type ingestion_ExtractionStrategyLocalNer = ExtractionStrategyLocalNer;
+type ingestion_ExtractionStrategySchemaGuided = ExtractionStrategySchemaGuided;
 type ingestion_GroundingStatsDto = GroundingStatsDto;
 type ingestion_IncompleteDocumentDto = IncompleteDocumentDto;
 type ingestion_IngestDocumentBatchRequest = IngestDocumentBatchRequest;
@@ -26994,7 +27526,7 @@ type ingestion_StartIngestionSessionRequest = StartIngestionSessionRequest;
 type ingestion_StepLogEntryDto = StepLogEntryDto;
 type ingestion_TokenUsageDto = TokenUsageDto;
 declare namespace ingestion {
-  export type { ingestion_AsyncIngestionResponse as AsyncIngestionResponse, ingestion_CandidateMatchDto as CandidateMatchDto, ingestion_ChunkFailureDto as ChunkFailureDto, ingestion_CommunityStatsDto as CommunityStatsDto, ingestion_DocumentBatchItem as DocumentBatchItem, ingestion_DocumentBatchResultDto as DocumentBatchResultDto, ingestion_DocumentMetadataDto as DocumentMetadataDto, ingestion_DocumentParseStatsDto as DocumentParseStatsDto, ingestion_DocumentParser as DocumentParser, ingestion_DocumentProgressDto as DocumentProgressDto, ingestion_DocumentSource as DocumentSource, ingestion_DocumentStatsDto as DocumentStatsDto, ingestion_DocumentType as DocumentType, ingestion_GroundingStatsDto as GroundingStatsDto, ingestion_IncompleteDocumentDto as IncompleteDocumentDto, ingestion_IngestDocumentBatchRequest as IngestDocumentBatchRequest, ingestion_IngestDocumentBatchResponse as IngestDocumentBatchResponse, ingestion_IngestDocumentRequest as IngestDocumentRequest, ingestion_IngestDocumentResponse as IngestDocumentResponse, ingestion_IngestMarkdownBatchRequest as IngestMarkdownBatchRequest, ingestion_IngestMarkdownRequest as IngestMarkdownRequest, ingestion_IngestMarkdownResponse as IngestMarkdownResponse, ingestion_IngestRdfRequest as IngestRdfRequest, ingestion_IngestRdfResponse as IngestRdfResponse, ingestion_IngestionConfigDto as IngestionConfigDto, ingestion_IngestionPollOptions as IngestionPollOptions, ingestion_IngestionSessionResponse as IngestionSessionResponse, ingestion_IngestionSessionStatusDto as IngestionSessionStatusDto, ingestion_IngestionStatsDto as IngestionStatsDto, ingestion_ListIncompleteDocumentsResponse as ListIncompleteDocumentsResponse, ingestion_ListIngestionSessionsResponse as ListIngestionSessionsResponse, ingestion_MarkdownDocumentDto as MarkdownDocumentDto, ingestion_OcrConfigDto as OcrConfigDto, ingestion_ParsedDocumentMetadataDto as ParsedDocumentMetadataDto, ingestion_PendingReviewDto as PendingReviewDto, ingestion_PipelineQualityStatsDto as PipelineQualityStatsDto, ingestion_RdfFormatDto as RdfFormatDto, ingestion_ResumeDocumentIngestionRequest as ResumeDocumentIngestionRequest, ingestion_ResumeDocumentIngestionResponse as ResumeDocumentIngestionResponse, ingestion_SessionProgressResponse as SessionProgressResponse, ingestion_SessionStatsResponse as SessionStatsResponse, ingestion_StartIngestionSessionRequest as StartIngestionSessionRequest, ingestion_StepLogEntryDto as StepLogEntryDto, ingestion_TokenUsageDto as TokenUsageDto };
+  export type { ingestion_AsyncIngestionResponse as AsyncIngestionResponse, ingestion_CandidateMatchDto as CandidateMatchDto, ingestion_ChunkFailureDto as ChunkFailureDto, ingestion_CommunityStatsDto as CommunityStatsDto, ingestion_DocumentBatchItem as DocumentBatchItem, ingestion_DocumentBatchResultDto as DocumentBatchResultDto, ingestion_DocumentMetadataDto as DocumentMetadataDto, ingestion_DocumentParseStatsDto as DocumentParseStatsDto, ingestion_DocumentParser as DocumentParser, ingestion_DocumentProgressDto as DocumentProgressDto, ingestion_DocumentSource as DocumentSource, ingestion_DocumentStatsDto as DocumentStatsDto, ingestion_DocumentType as DocumentType, ingestion_EvidenceDerivationConfigDto as EvidenceDerivationConfigDto, ingestion_ExtractionStrategy as ExtractionStrategy, ingestion_ExtractionStrategyAdaptive as ExtractionStrategyAdaptive, ingestion_ExtractionStrategyHybrid as ExtractionStrategyHybrid, ingestion_ExtractionStrategyLlm as ExtractionStrategyLlm, ingestion_ExtractionStrategyLocalNer as ExtractionStrategyLocalNer, ingestion_ExtractionStrategySchemaGuided as ExtractionStrategySchemaGuided, ingestion_GroundingStatsDto as GroundingStatsDto, ingestion_IncompleteDocumentDto as IncompleteDocumentDto, ingestion_IngestDocumentBatchRequest as IngestDocumentBatchRequest, ingestion_IngestDocumentBatchResponse as IngestDocumentBatchResponse, ingestion_IngestDocumentRequest as IngestDocumentRequest, ingestion_IngestDocumentResponse as IngestDocumentResponse, ingestion_IngestMarkdownBatchRequest as IngestMarkdownBatchRequest, ingestion_IngestMarkdownRequest as IngestMarkdownRequest, ingestion_IngestMarkdownResponse as IngestMarkdownResponse, ingestion_IngestRdfRequest as IngestRdfRequest, ingestion_IngestRdfResponse as IngestRdfResponse, ingestion_IngestionConfigDto as IngestionConfigDto, ingestion_IngestionPollOptions as IngestionPollOptions, ingestion_IngestionSessionResponse as IngestionSessionResponse, ingestion_IngestionSessionStatusDto as IngestionSessionStatusDto, ingestion_IngestionStatsDto as IngestionStatsDto, ingestion_ListIncompleteDocumentsResponse as ListIncompleteDocumentsResponse, ingestion_ListIngestionSessionsResponse as ListIngestionSessionsResponse, ingestion_MarkdownDocumentDto as MarkdownDocumentDto, ingestion_OcrConfigDto as OcrConfigDto, ingestion_ParsedDocumentMetadataDto as ParsedDocumentMetadataDto, ingestion_PendingReviewDto as PendingReviewDto, ingestion_PipelineQualityStatsDto as PipelineQualityStatsDto, ingestion_RdfFormatDto as RdfFormatDto, ingestion_ResumeDocumentIngestionRequest as ResumeDocumentIngestionRequest, ingestion_ResumeDocumentIngestionResponse as ResumeDocumentIngestionResponse, ingestion_SessionProgressResponse as SessionProgressResponse, ingestion_SessionStatsResponse as SessionStatsResponse, ingestion_StartIngestionSessionRequest as StartIngestionSessionRequest, ingestion_StepLogEntryDto as StepLogEntryDto, ingestion_TokenUsageDto as TokenUsageDto };
 }
 
 /**
@@ -30261,6 +30793,15 @@ interface SearchStatsDto {
     solveTimeMs: number;
     /** Number of times the neural scorer was invoked. */
     scorerCalls: number;
+    /** Number of restarts performed (Luby restart strategy). */
+    restarts: number;
+    /** Number of learned nogood clauses. */
+    learnedClauses: number;
+    /**
+     * Choice points forced by initial propagation (before any search decision).
+     * Every solution in the search space respects these assignments unconditionally.
+     */
+    forcedChoices?: ChoiceSelection[];
 }
 /**
  * Trace event from LIFE feature operations during search.
@@ -30321,35 +30862,81 @@ interface CommitRequest {
     /** Index of the alternative to commit to. */
     alternativeIndex: number;
 }
+/**
+ * Which computation the search endpoint should perform.
+ *
+ * @remarks
+ * - `"solutions"`: enumerate complete, valid assignments (default — backward compatible).
+ * - `"feasibility"`: run 2×N per-variable SAT queries and return reachability info.
+ *   Much faster than full enumeration for large spaces.
+ */
+type SearchModeDto = 'solutions' | 'feasibility';
+/**
+ * Reachability of a single binary choice-point variable.
+ *
+ * @remarks
+ * Produced by `mode = "feasibility"` search.
+ * - `canBeTrue = true` means at least one valid assignment sets this variable to 1.
+ * - `canBeTrue = false && canBeFalse = false` means the problem is UNSAT.
+ */
+interface VariableFeasibilityDto {
+    /** True if at least one valid assignment sets this variable to 1 (selected). */
+    canBeTrue: boolean;
+    /** True if at least one valid assignment sets this variable to 0 (unselected). */
+    canBeFalse: boolean;
+}
 /**
  * Request to search for solutions.
  */
 interface SpaceSearchRequest {
     /** Search strategy to use. */
     strategy: SearchStrategyDto;
-    /** Maximum number of solutions to find. */
+    /** Maximum number of solutions to find (only used in `"solutions"` mode). */
     maxSolutions?: number | null;
     /** Enable trace collection during search. */
     collectTraces?: boolean | null;
     /** Wire the neural scorer into search (AlphaProof-style guidance). */
     useNeuralGuidance?: boolean | null;
+    /**
+     * Which computation to perform.
+     * Omit or set to `"solutions"` for the default enumeration behaviour (backward compatible).
+     */
+    mode?: SearchModeDto;
 }
 /**
- * Response with search results.
- */
-interface SpaceSearchResponse {
-    /** Solutions found. */
+ * Response from the search endpoint.
+ *
+ * @remarks
+ * Discriminated union on `kind`. Always read `kind` first:
+ * - `"solutions"`: standard enumeration result with `solutions` and `count`.
+ * - `"feasibility"`: per-variable reachability map in `variables`.
+ */
+type SpaceSearchResponse = {
+    /** Discriminator — always `"solutions"` for this variant. */
+    kind: 'solutions';
+    /** Enumerated complete assignments. */
     solutions: SpaceSolutionDto[];
-    /** Total number of solutions found. */
+    /** Number of solutions found. */
     count: number;
     /** Search statistics. */
     searchStats?: SearchStatsDto | null;
-}
+} | {
+    /** Discriminator — always `"feasibility"` for this variant. */
+    kind: 'feasibility';
+    /**
+     * Per-variable reachability. Key is the variable name as registered
+     * in the space's choice points.
+     */
+    variables: Record<string, VariableFeasibilityDto>;
+    /** Solver statistics for the feasibility queries. */
+    searchStats?: SearchStatsDto | null;
+};
 
 type spaces_ChoicePointDto = ChoicePointDto;
 type spaces_ChoiceSelection = ChoiceSelection;
 type spaces_CommitRequest = CommitRequest;
 type spaces_CreateSpaceRequest = CreateSpaceRequest;
+type spaces_SearchModeDto = SearchModeDto;
 type spaces_SearchStatsDto = SearchStatsDto;
 type spaces_SearchStrategyDto = SearchStrategyDto;
 type spaces_SpaceConstraintDto = SpaceConstraintDto;
@@ -30359,8 +30946,9 @@ type spaces_SpaceSearchResponse = SpaceSearchResponse;
 type spaces_SpaceSolutionDto = SpaceSolutionDto;
 type spaces_SpaceStatusDto = SpaceStatusDto;
 type spaces_TraceEventDto = TraceEventDto;
+type spaces_VariableFeasibilityDto = VariableFeasibilityDto;
 declare namespace spaces {
-  export type { spaces_ChoicePointDto as ChoicePointDto, spaces_ChoiceSelection as ChoiceSelection, spaces_CommitRequest as CommitRequest, spaces_CreateSpaceRequest as CreateSpaceRequest, spaces_SearchStatsDto as SearchStatsDto, spaces_SearchStrategyDto as SearchStrategyDto, spaces_SpaceConstraintDto as SpaceConstraintDto, spaces_SpaceResponse as SpaceResponse, spaces_SpaceSearchRequest as SpaceSearchRequest, spaces_SpaceSearchResponse as SpaceSearchResponse, spaces_SpaceSolutionDto as SpaceSolutionDto, spaces_SpaceStatusDto as SpaceStatusDto, spaces_TraceEventDto as TraceEventDto };
+  export type { spaces_ChoicePointDto as ChoicePointDto, spaces_ChoiceSelection as ChoiceSelection, spaces_CommitRequest as CommitRequest, spaces_CreateSpaceRequest as CreateSpaceRequest, spaces_SearchModeDto as SearchModeDto, spaces_SearchStatsDto as SearchStatsDto, spaces_SearchStrategyDto as SearchStrategyDto, spaces_SpaceConstraintDto as SpaceConstraintDto, spaces_SpaceResponse as SpaceResponse, spaces_SpaceSearchRequest as SpaceSearchRequest, spaces_SpaceSearchResponse as SpaceSearchResponse, spaces_SpaceSolutionDto as SpaceSolutionDto, spaces_SpaceStatusDto as SpaceStatusDto, spaces_TraceEventDto as TraceEventDto, spaces_VariableFeasibilityDto as VariableFeasibilityDto };
 }
 
 /**