@kortexya/reasoninglayer 1.7.0 → 1.8.1

package/dist/index.d.cts

@@ -109,7 +109,7 @@ type JsonValue$1 = string | number | boolean | null | JsonValue$1[] | object;
  * This is the single source of truth for the version constant.
  * The `scripts/release.sh` script updates this value alongside `package.json`.
  */
-declare const SDK_VERSION = "1.7.0";
+declare const SDK_VERSION = "1.8.1";
 /**
  * Authentication mode for the SDK.
  *
@@ -937,6 +937,14 @@ interface AlignmentStatsDto {
      */
     entities_unaligned: number;
 }
+interface AnalyzeDocumentsRequestDto {
+    documents: DocumentInputDto[];
+    include_fix_suggestions?: boolean;
+    include_proof_traces?: boolean;
+    /** @min 0 */
+    max_rules?: number;
+    rule_sort_filter?: string[];
+}
 /** Request body for `POST /api/v1/operations/anti-unify`. */
 interface AntiUnifyRequest$1 {
     /**
@@ -5199,6 +5207,31 @@ interface DlqListResponse {
      */
     total: number;
 }
+/** Response DTO wrapping the analysis report. */
+interface DocumentAnalysisResponse {
+    /** Per-document analysis results. */
+    documents: any[];
+    /**
+     * Overall compliance score (0.0-1.0).
+     * @format double
+     */
+    overall_compliance: number;
+    /**
+     * Total rules evaluated.
+     * @min 0
+     */
+    total_rules_evaluated: number;
+    /**
+     * Total rules failed.
+     * @min 0
+     */
+    total_rules_failed: number;
+    /**
+     * Total rules passed.
+     * @min 0
+     */
+    total_rules_passed: number;
+}
 /** A single document in a batch request */
 interface DocumentBatchItem$1 {
     /** Document source (base64 or URL) */
@@ -5223,6 +5256,11 @@ interface DocumentBatchResultDto$1 {
     /** Whether this document was processed successfully */
     success: boolean;
 }
+interface DocumentInputDto {
+    content: string;
+    name: string;
+    type_hint?: string | null;
+}
 /** Metadata about a document */
 interface DocumentMetadataDto$1 {
     /** Creation date (ISO 8601) */
@@ -8519,7 +8557,7 @@ interface GetHtnMethodsResponse {
     methods: HtnMethodDto$1[];
 }
 /** Request to get an agent's inbox. */
-interface GetInboxRequest {
+interface GetInboxRequest$1 {
     /**
      * Agent ID
      * @format uuid
@@ -8534,9 +8572,9 @@ interface GetInboxRequest {
     tenant_id: string;
 }
 /** Response with inbox messages. */
-interface GetInboxResponse {
+interface GetInboxResponse$1 {
     /** Messages (sorted by priority, then timestamp) */
-    messages: InboxMessageDto[];
+    messages: InboxMessageDto$1[];
     /**
      * Total count
      * @min 0
@@ -9494,7 +9532,7 @@ interface ImportOwlResponse$1 {
     sorts_created: string[];
 }
 /** A message in the inbox. */
-interface InboxMessageDto {
+interface InboxMessageDto$1 {
     /** Message content (arbitrary JSON) */
     content: JsonValue;
     /**
@@ -11384,7 +11422,7 @@ interface MarkdownDocumentDto$1 {
     metadata?: null | DocumentMetadataDto$1;
 }
 /** An entity matched while resolving a stage. */
-interface MatchedEntityDto$1 {
+interface MatchedEntityDto$2 {
     /**
      * Match confidence in [0, 1].
      * @format double
@@ -12990,7 +13028,7 @@ interface OsfSearchRequest$1 {
 /** Response from pure OSF search */
 interface OsfSearchResponse$1 {
     /** Matched entities with provenance */
-    entities: MatchedEntityDto$1[];
+    entities: MatchedEntityDto$2[];
     /** Discovered relations between entities */
     relations: DiscoveredRelationDto$1[];
     /** Search statistics */
@@ -13754,6 +13792,10 @@ interface ProofDto$1 {
     certainty: number;
     /** @format uuid */
     goal_term_id: string;
+    /** Human-readable rendering of the proven goal (the conclusion). */
+    goal_display?: string;
+    /** Human-readable rendering of the rule applied (None for a fact). */
+    rule_label?: string;
     /** @format uuid */
     rule_term_id?: string;
     /** Child proof nodes (recursive) */
@@ -21678,7 +21720,7 @@ interface OsfSearchRequest {
 /**
  * A matched entity in a structured search result.
  */
-interface MatchedEntityDto {
+interface MatchedEntityDto$1 {
     /** Match confidence in [0, 1]. */
     confidence: number;
     /** Why it matched (e.g. `"exact"`, `"fuzzy_glb"`, `"salience"`). */
@@ -21766,7 +21808,7 @@ interface OsfSearchStatsDto {
  */
 interface OsfSearchResponse {
     /** Matched entities with provenance. */
-    entities: MatchedEntityDto[];
+    entities: MatchedEntityDto$1[];
     /** Discovered relations between entities. */
     relations: DiscoveredRelationDto[];
     /** If query was incomplete, information about what's missing. */
@@ -21907,7 +21949,6 @@ interface NlQueryResponse {
 type query_BySortQueryRequest = BySortQueryRequest;
 type query_DiscoveredRelationDto = DiscoveredRelationDto;
 type query_FindBySortRequest = FindBySortRequest;
-type query_MatchedEntityDto = MatchedEntityDto;
 type query_MissingInfoDto = MissingInfoDto;
 type query_NlQueryMode = NlQueryMode;
 type query_NlQueryRequest = NlQueryRequest;
@@ -21926,7 +21967,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, query_MatchedEntityDto 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_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 };
 }
 
 /**
@@ -22636,6 +22677,17 @@ interface ProofDto {
     goalTermId: string;
     /** The rule term ID used to prove this goal. */
     ruleTermId?: string;
+    /**
+     * Human-readable rendering of the goal proven at this step — the conclusion,
+     * e.g. `iam_permission(action: "view_file", object: "design.pdf", subject: "alice")`.
+     * Lets a client render a readable proof tree without resolving term IDs.
+     */
+    goalDisplay?: string;
+    /**
+     * Human-readable rendering of the rule applied at this step (its head Ψ-term).
+     * Absent for a stored fact / axiom (no rule was applied).
+     */
+    ruleLabel?: string;
     /** The substitution applied at this proof step. */
     substitution: HomoiconicSubstitutionDto;
     /** Sub-proofs for intermediate goals. */
@@ -24132,7 +24184,7 @@ declare class CognitiveAgentsMessaging<SecurityDataType = unknown> {
      * @summary Get an agent's inbox.
      * @request POST:/api/v1/cognitive/agents/messages/inbox
      */
-    getInbox: (data: GetInboxRequest, params?: RequestParams) => Promise<HttpResponse<GetInboxResponse, void>>;
+    getInbox: (data: GetInboxRequest$1, params?: RequestParams) => Promise<HttpResponse<GetInboxResponse$1, void>>;
     /**
      * No description
      *
@@ -25114,6 +25166,45 @@ interface MarkMessagesReadResponse {
     /** Message. */
     message: string;
 }
+/**
+ * Request to get an agent's inbox.
+ */
+interface GetInboxRequest {
+    /** Recipient agent ID (UUID). */
+    agentId: string;
+    /** Tenant ID (UUID). */
+    tenantId: string;
+    /** Whether to include already-read messages (default: false). */
+    includeRead?: boolean;
+}
+/**
+ * A message in an agent's inbox.
+ */
+interface InboxMessageDto {
+    /** Message ID (UUID). */
+    messageId: string;
+    /** Sender agent ID (UUID). */
+    fromAgentId: string;
+    /** Message content (arbitrary JSON). */
+    content: JsonValue$1;
+    /** Priority (0-10, higher is more urgent). */
+    priority: number;
+    /** Timestamp (epoch). */
+    timestamp: number;
+    /** Whether the message has been read. */
+    read: boolean;
+}
+/**
+ * Response with an agent's inbox messages.
+ */
+interface GetInboxResponse {
+    /** Messages (sorted by priority, then timestamp). */
+    messages: InboxMessageDto[];
+    /** Number of unread messages. */
+    unreadCount: number;
+    /** Total number of messages returned. */
+    totalCount: number;
+}
 /**
  * Request to adaptively modify agent rules during inference.
  *
@@ -25695,8 +25786,11 @@ type cognitive_GetAgentStateResponse = GetAgentStateResponse;
 type cognitive_GetEpisodeStatsRequest = GetEpisodeStatsRequest;
 type cognitive_GetExtendedAgentStateRequest = GetExtendedAgentStateRequest;
 type cognitive_GetExtendedAgentStateResponse = GetExtendedAgentStateResponse;
+type cognitive_GetInboxRequest = GetInboxRequest;
+type cognitive_GetInboxResponse = GetInboxResponse;
 type cognitive_HtnMethodDto = HtnMethodDto;
 type cognitive_ImpasseDto = ImpasseDto;
+type cognitive_InboxMessageDto = InboxMessageDto;
 type cognitive_IntegratedCycleOutcomeDto = IntegratedCycleOutcomeDto;
 type cognitive_IntegratedEngineConfigDto = IntegratedEngineConfigDto;
 type cognitive_IntentionDto = IntentionDto;
@@ -25732,7 +25826,7 @@ type cognitive_SubscribeToKbResponse = SubscribeToKbResponse;
 type cognitive_UpdatePlanStatsRequest = UpdatePlanStatsRequest;
 type cognitive_UpdatePlanStatsResponse = UpdatePlanStatsResponse;
 declare namespace cognitive {
-  export type { cognitive_ActivationDto as ActivationDto, cognitive_AdaptiveModifyRequest as AdaptiveModifyRequest, cognitive_AdaptiveModifyResponse as AdaptiveModifyResponse, cognitive_AddBeliefRequest as AddBeliefRequest, cognitive_AddBeliefResponse as AddBeliefResponse, cognitive_AddCognitiveRuleRequest as AddCognitiveRuleRequest, cognitive_AddCognitiveRuleResponse as AddCognitiveRuleResponse, cognitive_AddGoalRequest as AddGoalRequest, cognitive_AddGoalResponse as AddGoalResponse, cognitive_AddHtnMethodRequest as AddHtnMethodRequest, cognitive_AddHtnMethodResponse as AddHtnMethodResponse, cognitive_AgentBeliefDto as AgentBeliefDto, cognitive_AgentConfigDto as AgentConfigDto, cognitive_AgentEvent as AgentEvent, cognitive_AgentEventHandlers as AgentEventHandlers, cognitive_AgentGoalDto as AgentGoalDto, cognitive_AgentStateDto as AgentStateDto, cognitive_AgentSubscription as AgentSubscription, cognitive_AttentionTargetDto as AttentionTargetDto, cognitive_BeliefDto as BeliefDto, cognitive_BroadcastMessageRequest as BroadcastMessageRequest, cognitive_BroadcastMessageResponse as BroadcastMessageResponse, cognitive_CognitiveGoalDto as CognitiveGoalDto, cognitive_CognitiveTermInput as CognitiveTermInput, cognitive_CreateAgentRequest as CreateAgentRequest, cognitive_CreateAgentResponse as CreateAgentResponse, cognitive_CreateCognitiveSortRequest as CreateCognitiveSortRequest, cognitive_CreateCognitiveSortResponse as CreateCognitiveSortResponse, cognitive_CuriosityTargetDto as CuriosityTargetDto, cognitive_CycleOutcomeDto as CycleOutcomeDto, cognitive_DeleteAgentResponse as DeleteAgentResponse, cognitive_DeletePlanRequest as DeletePlanRequest, cognitive_DeletePlanResponse as DeletePlanResponse, cognitive_DriveDeficitDto as DriveDeficitDto, cognitive_DriveDto as DriveDto, cognitive_EpisodeDto as EpisodeDto, cognitive_EpisodeOutcomeDto as EpisodeOutcomeDto, cognitive_EpisodeStatsResponse as EpisodeStatsResponse, cognitive_ExtendedAgentStateDto as ExtendedAgentStateDto, cognitive_FindPlansRequest as FindPlansRequest, cognitive_FindPlansResponse as FindPlansResponse, cognitive_GetAgentDrivesRequest as GetAgentDrivesRequest, cognitive_GetAgentStateRequest as GetAgentStateRequest, cognitive_GetAgentStateResponse as GetAgentStateResponse, cognitive_GetEpisodeStatsRequest as GetEpisodeStatsRequest, cognitive_GetExtendedAgentStateRequest as GetExtendedAgentStateRequest, cognitive_GetExtendedAgentStateResponse as GetExtendedAgentStateResponse, cognitive_HtnMethodDto as HtnMethodDto, cognitive_ImpasseDto as ImpasseDto, cognitive_IntegratedCycleOutcomeDto as IntegratedCycleOutcomeDto, cognitive_IntegratedEngineConfigDto as IntegratedEngineConfigDto, cognitive_IntentionDto as IntentionDto, cognitive_KbChangeDto as KbChangeDto, cognitive_KbChangeType as KbChangeType, cognitive_LearnFromCorrectionRequest as LearnFromCorrectionRequest, cognitive_LearnFromCorrectionResponse as LearnFromCorrectionResponse, cognitive_MarkMessagesReadRequest as MarkMessagesReadRequest, cognitive_MarkMessagesReadResponse as MarkMessagesReadResponse, cognitive_MotivationStateDto as MotivationStateDto, cognitive_PlanMatchDto as PlanMatchDto, cognitive_PredictionErrorDto as PredictionErrorDto, cognitive_ProvideFeedbackRequest as ProvideFeedbackRequest, cognitive_ProvideFeedbackResponse as ProvideFeedbackResponse, cognitive_RecallEpisodesRequest as RecallEpisodesRequest, cognitive_RecallEpisodesResponse as RecallEpisodesResponse, cognitive_RecalledEpisodeDto as RecalledEpisodeDto, cognitive_RecordEpisodeRequest as RecordEpisodeRequest, cognitive_RecordEpisodeResponse as RecordEpisodeResponse, cognitive_ReflectionQueryRequest as ReflectionQueryRequest, cognitive_ReflectionQueryResponse as ReflectionQueryResponse, cognitive_RuleUtilityDto as RuleUtilityDto, cognitive_RunCycleRequest as RunCycleRequest, cognitive_RunCycleResponse as RunCycleResponse, cognitive_RunIntegratedCycleRequest as RunIntegratedCycleRequest, cognitive_RunIntegratedCycleResponse as RunIntegratedCycleResponse, cognitive_SendMessageRequest as SendMessageRequest, cognitive_SendMessageResponse as SendMessageResponse, cognitive_StorePlanRequest as StorePlanRequest, cognitive_StorePlanResponse as StorePlanResponse, cognitive_SubscribeToKbRequest as SubscribeToKbRequest, cognitive_SubscribeToKbResponse as SubscribeToKbResponse, cognitive_UpdatePlanStatsRequest as UpdatePlanStatsRequest, cognitive_UpdatePlanStatsResponse as UpdatePlanStatsResponse };
+  export type { cognitive_ActivationDto as ActivationDto, cognitive_AdaptiveModifyRequest as AdaptiveModifyRequest, cognitive_AdaptiveModifyResponse as AdaptiveModifyResponse, cognitive_AddBeliefRequest as AddBeliefRequest, cognitive_AddBeliefResponse as AddBeliefResponse, cognitive_AddCognitiveRuleRequest as AddCognitiveRuleRequest, cognitive_AddCognitiveRuleResponse as AddCognitiveRuleResponse, cognitive_AddGoalRequest as AddGoalRequest, cognitive_AddGoalResponse as AddGoalResponse, cognitive_AddHtnMethodRequest as AddHtnMethodRequest, cognitive_AddHtnMethodResponse as AddHtnMethodResponse, cognitive_AgentBeliefDto as AgentBeliefDto, cognitive_AgentConfigDto as AgentConfigDto, cognitive_AgentEvent as AgentEvent, cognitive_AgentEventHandlers as AgentEventHandlers, cognitive_AgentGoalDto as AgentGoalDto, cognitive_AgentStateDto as AgentStateDto, cognitive_AgentSubscription as AgentSubscription, cognitive_AttentionTargetDto as AttentionTargetDto, cognitive_BeliefDto as BeliefDto, cognitive_BroadcastMessageRequest as BroadcastMessageRequest, cognitive_BroadcastMessageResponse as BroadcastMessageResponse, cognitive_CognitiveGoalDto as CognitiveGoalDto, cognitive_CognitiveTermInput as CognitiveTermInput, cognitive_CreateAgentRequest as CreateAgentRequest, cognitive_CreateAgentResponse as CreateAgentResponse, cognitive_CreateCognitiveSortRequest as CreateCognitiveSortRequest, cognitive_CreateCognitiveSortResponse as CreateCognitiveSortResponse, cognitive_CuriosityTargetDto as CuriosityTargetDto, cognitive_CycleOutcomeDto as CycleOutcomeDto, cognitive_DeleteAgentResponse as DeleteAgentResponse, cognitive_DeletePlanRequest as DeletePlanRequest, cognitive_DeletePlanResponse as DeletePlanResponse, cognitive_DriveDeficitDto as DriveDeficitDto, cognitive_DriveDto as DriveDto, cognitive_EpisodeDto as EpisodeDto, cognitive_EpisodeOutcomeDto as EpisodeOutcomeDto, cognitive_EpisodeStatsResponse as EpisodeStatsResponse, cognitive_ExtendedAgentStateDto as ExtendedAgentStateDto, cognitive_FindPlansRequest as FindPlansRequest, cognitive_FindPlansResponse as FindPlansResponse, cognitive_GetAgentDrivesRequest as GetAgentDrivesRequest, cognitive_GetAgentStateRequest as GetAgentStateRequest, cognitive_GetAgentStateResponse as GetAgentStateResponse, cognitive_GetEpisodeStatsRequest as GetEpisodeStatsRequest, cognitive_GetExtendedAgentStateRequest as GetExtendedAgentStateRequest, cognitive_GetExtendedAgentStateResponse as GetExtendedAgentStateResponse, cognitive_GetInboxRequest as GetInboxRequest, cognitive_GetInboxResponse as GetInboxResponse, cognitive_HtnMethodDto as HtnMethodDto, cognitive_ImpasseDto as ImpasseDto, cognitive_InboxMessageDto as InboxMessageDto, cognitive_IntegratedCycleOutcomeDto as IntegratedCycleOutcomeDto, cognitive_IntegratedEngineConfigDto as IntegratedEngineConfigDto, cognitive_IntentionDto as IntentionDto, cognitive_KbChangeDto as KbChangeDto, cognitive_KbChangeType as KbChangeType, cognitive_LearnFromCorrectionRequest as LearnFromCorrectionRequest, cognitive_LearnFromCorrectionResponse as LearnFromCorrectionResponse, cognitive_MarkMessagesReadRequest as MarkMessagesReadRequest, cognitive_MarkMessagesReadResponse as MarkMessagesReadResponse, cognitive_MotivationStateDto as MotivationStateDto, cognitive_PlanMatchDto as PlanMatchDto, cognitive_PredictionErrorDto as PredictionErrorDto, cognitive_ProvideFeedbackRequest as ProvideFeedbackRequest, cognitive_ProvideFeedbackResponse as ProvideFeedbackResponse, cognitive_RecallEpisodesRequest as RecallEpisodesRequest, cognitive_RecallEpisodesResponse as RecallEpisodesResponse, cognitive_RecalledEpisodeDto as RecalledEpisodeDto, cognitive_RecordEpisodeRequest as RecordEpisodeRequest, cognitive_RecordEpisodeResponse as RecordEpisodeResponse, cognitive_ReflectionQueryRequest as ReflectionQueryRequest, cognitive_ReflectionQueryResponse as ReflectionQueryResponse, cognitive_RuleUtilityDto as RuleUtilityDto, cognitive_RunCycleRequest as RunCycleRequest, cognitive_RunCycleResponse as RunCycleResponse, cognitive_RunIntegratedCycleRequest as RunIntegratedCycleRequest, cognitive_RunIntegratedCycleResponse as RunIntegratedCycleResponse, cognitive_SendMessageRequest as SendMessageRequest, cognitive_SendMessageResponse as SendMessageResponse, cognitive_StorePlanRequest as StorePlanRequest, cognitive_StorePlanResponse as StorePlanResponse, cognitive_SubscribeToKbRequest as SubscribeToKbRequest, cognitive_SubscribeToKbResponse as SubscribeToKbResponse, cognitive_UpdatePlanStatsRequest as UpdatePlanStatsRequest, cognitive_UpdatePlanStatsResponse as UpdatePlanStatsResponse };
 }
 
 /**
@@ -25763,6 +25857,18 @@ declare class CognitiveClient {
     private readonly tenantId;
     /** @internal */
     constructor(api: Cognitive, episodicMemory: CognitiveAgentsEpisodicMemory, htn: CognitiveAgentsHtn, messaging: CognitiveAgentsMessaging, planLibrary: CognitiveAgentsPlanLibrary, tenantId: string, ws?: WebSocketClient | null);
+    /**
+     * List all of the tenant's cognitive agents.
+     *
+     * @returns Every agent's basic BDI state (beliefs, goals, pending status).
+     *
+     * @remarks
+     * Uses GET `/api/v1/cognitive/agents`. Lazy-hydrates from the database on the
+     * backend, so agents created by another client/process are included — not just
+     * those created in the current session. Tenant is identified by the
+     * `X-Tenant-Id` header (set automatically).
+     */
+    listAgents(): Promise<AgentStateDto[]>;
     /**
      * Create a new cognitive agent.
      *
@@ -25915,6 +26021,17 @@ declare class CognitiveClient {
      * @returns The result.
      */
     markMessagesRead(request: Omit<MarkMessagesReadRequest, 'tenantId'>): Promise<MarkMessagesReadResponse>;
+    /**
+     * Get an agent's inbox (messages addressed to it from other agents).
+     *
+     * @param request - Recipient agent ID and whether to include read messages.
+     * @returns The agent's messages with unread/total counts.
+     *
+     * @remarks
+     * Uses POST `/api/v1/cognitive/agents/messages/inbox`. The inbox is per-agent;
+     * aggregate across a roster by calling this for each agent.
+     */
+    getInbox(request: Omit<GetInboxRequest, 'tenantId'>): Promise<GetInboxResponse>;
     /**
      * Provide feedback on an agent result.
      *
@@ -31491,7 +31608,13 @@ declare class Reviews<SecurityDataType = unknown> {
      * @request GET:/api/v1/reviews/pending
      * @secure
      */
-    listPendingReviews: (params?: RequestParams) => Promise<HttpResponse<ListPendingReviewsResponse, void>>;
+    listPendingReviews: (query: {
+        /**
+         * Tenant ID to list pending reviews for
+         * @format uuid
+         */
+        tenant_id: string;
+    }, params?: RequestParams) => Promise<HttpResponse<ListPendingReviewsResponse, void>>;
     /**
      * @description POST /api/v1/reviews/merge Merges the entity's features into an existing term.
      *
@@ -31537,8 +31660,12 @@ declare class Reviews<SecurityDataType = unknown> {
 declare class ReviewsClient {
     /** @internal */
     private readonly api;
+    /** @internal — tenant scope; forwarded as the `tenant_id` query the
+     * pending-reviews / summary endpoints require (the `X-Tenant-Id` header
+     * alone is not sufficient for these GET routes). */
+    private readonly tenantId;
     /** @internal */
-    constructor(api: Reviews);
+    constructor(api: Reviews, tenantId: string);
     /**
      * Add an entity to the pending review queue.
      *
@@ -31589,7 +31716,11 @@ declare class ReviewsClient {
      */
     mergeEntity(request: MergeEntityRequest): Promise<unknown>;
     /**
-     * List all pending reviews.
+     * List all pending reviews for the configured tenant.
+     *
+     * `GET /api/v1/reviews/pending` requires `tenant_id` as a query parameter
+     * (the `X-Tenant-Id` header is not honoured for this route), so we forward
+     * the client's tenant scope explicitly — omitting it yields a 400.
      *
      * @returns List of pending review entries.
      */
@@ -37201,6 +37332,162 @@ declare class ExtractClient {
     extractEntities(request: ExtractEntitiesRequest): Promise<ExtractEntitiesResponse>;
 }
 
+declare class DocumentAnalysis<SecurityDataType = unknown> {
+    http: HttpClient<SecurityDataType>;
+    constructor(http: HttpClient<SecurityDataType>);
+    /**
+     * No description
+     *
+     * @tags document-analysis
+     * @name AnalyzeDocuments
+     * @request POST:/api/v1/documents/analyze
+     * @secure
+     */
+    analyzeDocuments: (data: AnalyzeDocumentsRequestDto, params?: RequestParams) => Promise<HttpResponse<DocumentAnalysisResponse, void>>;
+}
+
+/** A single document to analyse (name + raw text content). */
+interface DocumentInput {
+    /** Document name/identifier (e.g. "contract.pdf"). */
+    name: string;
+    /** Full document text content. */
+    content: string;
+    /** Optional document type hint (e.g. "nda", "invoice"). */
+    typeHint?: string | null;
+}
+/** Request to analyse documents against knowledge-base compliance rules. */
+interface AnalyzeDocumentsRequest {
+    /** Documents to analyse. */
+    documents: DocumentInput[];
+    /**
+     * Focus rule discovery on these rule-sort categories. Empty (the default)
+     * discovers all applicable rules from the entity types present.
+     */
+    ruleSortFilter?: string[];
+    /** Include per-rule proof traces (default true). */
+    includeProofTraces?: boolean;
+    /** Include fix suggestions for failed rules (default true). */
+    includeFixSuggestions?: boolean;
+    /** Max rules to evaluate per document (0 = unlimited, the default). */
+    maxRules?: number;
+}
+/** Status of a single rule check. */
+type DocumentRuleStatus = 'pass' | 'fail' | 'inconclusive' | 'not_applicable';
+/** Severity of a single rule. */
+type DocumentRuleSeverity = 'critical' | 'major' | 'minor' | 'informational';
+/** One reasoning step in a rule's proof trace. */
+interface DocumentProofStep {
+    /** Step type (e.g. "backward_chain", "unification", "fact_match"). */
+    stepType: string;
+    /** Human-readable description of the step. */
+    description: string;
+    /** Confidence at this step (0.0-1.0). */
+    confidence: number;
+    /** Rule or fact used at this step. */
+    ruleUsed?: string | null;
+}
+/** An entity extracted from a document during analysis. */
+interface DocumentExtractedEntity {
+    /** Entity sort (type) name. */
+    sortName: string;
+    /** Extracted feature key/value pairs. */
+    features: Record<string, string>;
+    /** Extraction confidence (0.0-1.0). */
+    confidence: number;
+    /** Source text span the entity was extracted from. */
+    sourceText?: string | null;
+}
+/** Result of evaluating one rule against a document. */
+interface DocumentRuleResult {
+    /** Rule identifier (sort name + feature key). */
+    ruleId: string;
+    /** Human-readable rule description. */
+    ruleDescription: string;
+    /** Which rule sort/category this belongs to. */
+    ruleSort: string;
+    /** Rule severity. */
+    severity: DocumentRuleSeverity;
+    /** Whether the rule passed/failed/was inconclusive/not applicable. */
+    status: DocumentRuleStatus;
+    /** Confidence in the result (0.0-1.0). */
+    confidence: number;
+    /** Evidence supporting the result. */
+    evidence: string[];
+    /** Proof trace (when requested): chain of reasoning steps. */
+    proofTrace?: DocumentProofStep[] | null;
+    /** Fix suggestion (when requested and the rule failed). */
+    fixSuggestion?: string | null;
+    /** The relevant clause/section excerpt of the document. */
+    relevantExcerpt?: string | null;
+}
+/** Per-document analysis result. */
+interface DocumentResult {
+    /** Document name. */
+    documentName: string;
+    /** Detected document type (sort name in the KB), if any. */
+    detectedType?: string | null;
+    /** Compliance score for this document (0.0-1.0). */
+    complianceScore: number;
+    /** Per-rule results. */
+    ruleResults: DocumentRuleResult[];
+    /** Entities extracted from the document. */
+    extractedEntities: DocumentExtractedEntity[];
+    /** LLM-generated summary of the document's compliance. */
+    summary: string;
+}
+/** Complete document-analysis report. */
+interface DocumentAnalysisReport {
+    /** Per-document results. */
+    documents: DocumentResult[];
+    /** Overall compliance score across all documents (0.0-1.0). */
+    overallCompliance: number;
+    /** Total rules evaluated across all documents. */
+    totalRulesEvaluated: number;
+    /** Total rules that passed. */
+    totalRulesPassed: number;
+    /** Total rules that failed. */
+    totalRulesFailed: number;
+}
+
+type documents_AnalyzeDocumentsRequest = AnalyzeDocumentsRequest;
+type documents_DocumentAnalysisReport = DocumentAnalysisReport;
+type documents_DocumentExtractedEntity = DocumentExtractedEntity;
+type documents_DocumentInput = DocumentInput;
+type documents_DocumentProofStep = DocumentProofStep;
+type documents_DocumentResult = DocumentResult;
+type documents_DocumentRuleResult = DocumentRuleResult;
+type documents_DocumentRuleSeverity = DocumentRuleSeverity;
+type documents_DocumentRuleStatus = DocumentRuleStatus;
+declare namespace documents {
+  export type { documents_AnalyzeDocumentsRequest as AnalyzeDocumentsRequest, documents_DocumentAnalysisReport as DocumentAnalysisReport, documents_DocumentExtractedEntity as DocumentExtractedEntity, documents_DocumentInput as DocumentInput, documents_DocumentProofStep as DocumentProofStep, documents_DocumentResult as DocumentResult, documents_DocumentRuleResult as DocumentRuleResult, documents_DocumentRuleSeverity as DocumentRuleSeverity, documents_DocumentRuleStatus as DocumentRuleStatus };
+}
+
+/**
+ * Resource client for document compliance analysis.
+ *
+ * @remarks
+ * Checks raw document content against the knowledge base's compliance rules:
+ * extracts entities, discovers applicable rules, evaluates each one, and
+ * returns per-rule pass/fail results with proof traces and fix suggestions.
+ * Backed by `POST /api/v1/documents/analyze`.
+ *
+ * Uses normalizers to convert between camelCase (SDK surface) and snake_case
+ * (wire format) at the boundary.
+ */
+declare class DocumentsClient {
+    /** @internal */
+    private readonly api;
+    /** @internal */
+    constructor(api: DocumentAnalysis);
+    /**
+     * Analyse documents against the knowledge base's compliance rules.
+     *
+     * @param request - Documents (name + content) plus optional rule-sort focus.
+     * @returns Per-document rule results, scores, entities and proof traces.
+     */
+    analyze(request: AnalyzeDocumentsRequest): Promise<DocumentAnalysisReport>;
+}
+
 declare class Oversight<SecurityDataType = unknown> {
     http: HttpClient<SecurityDataType>;
     constructor(http: HttpClient<SecurityDataType>);
@@ -43650,6 +43937,73 @@ interface ClaimAnnotationDto {
     /** Derivation chain summary. */
     derivationSummary?: DerivationSummaryDto | null;
 }
+/**
+ * Cognitive strategy that influenced how a response was generated.
+ *
+ * @remarks
+ * Present only when a cognitive agent exists for the tenant and the integrated
+ * cognitive engine ran a lightweight cycle before classification (selecting an
+ * Explore/Exploit/Observe/Consolidate mode that guided the LLM prompts).
+ */
+interface CognitiveStrategyDto {
+    /** Cognitive mode selected by System M (Explore/Exploit/Observe/Consolidate). */
+    mode: string;
+    /** Human-readable strategy description. */
+    strategy: string;
+    /** Whether RL-trained Q-values influenced this decision. */
+    rlActive: boolean;
+}
+/**
+ * An entity matched while resolving a reasoning-trace stage.
+ */
+interface MatchedEntityDto {
+    /** Display label of the entity. */
+    name: string;
+    /** Sort name the entity belongs to. */
+    sortName: string;
+    /** Term ID (string form), if the match resolved to a stored term. */
+    termId?: string;
+    /** Match confidence in [0, 1]. */
+    confidence: number;
+    /** Why it matched (e.g. "exact", "fuzzy_glb", "salience"). */
+    matchReason: string;
+}
+/**
+ * One executed stage of the conversation pipeline (LLM-as-sensor trace).
+ */
+interface ReasoningStageDto {
+    /** Stage id, e.g. "classify_intent". */
+    name: string;
+    /** Execution order. */
+    order: number;
+    /** "sensor" (LLM was consulted) or "symbolic" (deterministic). */
+    kind: string;
+    /** For sensor stages: the sensor point consulted. */
+    sensorPoint?: string;
+    /** Whether the LLM was actually invoked at this stage. */
+    llmUsed: boolean;
+    /** Optional confidence for this stage (0.0–1.0). */
+    confidence?: number;
+    /** Entities matched at this stage (sort + term id). */
+    matchedEntities: MatchedEntityDto[];
+    /** OSFQL executed/produced at this stage, if any. */
+    osfql?: string;
+    /** Symbolic strategy used, if any. */
+    strategy?: string;
+    /** Free-text detail for display. */
+    detail?: string;
+}
+/**
+ * LLM-as-sensor reasoning trace for one answer: the ordered pipeline stages
+ * (each marked symbolic vs sensor, with matched entities and the OSFQL path)
+ * that produced the response. Powers the chat's explainability/audit timeline.
+ */
+interface ReasoningTraceDto {
+    /** Pipeline stages in execution order. */
+    stages: ReasoningStageDto[];
+    /** Number of stages that actually invoked the LLM (the bounded sensor calls). */
+    llmCalls: number;
+}
 /**
  * UI customization detected from a conversation response.
  */
@@ -43707,6 +44061,18 @@ interface ConversationMessageResponse {
     proofTrace?: ProofTraceNodeDto | null;
     /** UI customizations detected in this response (for multi-turn UI evolution). */
     uiCustomizations?: UICustomizationDto[] | 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.
+     */
+    cognitiveStrategy?: CognitiveStrategyDto | null;
+    /**
+     * LLM-as-sensor reasoning trace: the ordered pipeline stages
+     * (`prepare_context → classify_intent → execute_osfql → generate_response`),
+     * each tagged symbolic/sensor with matched entities and the OSFQL path.
+     * Powers the chat's reasoning/audit explainability timeline.
+     */
+    reasoningTrace?: ReasoningTraceDto | null;
     /** SHA-256 hash of the validity certificate. */
     validityCertificateHash?: string | null;
     /** ID of the validity certificate (if generate_certificate was true). */
@@ -43806,6 +44172,7 @@ interface SessionGraphDto {
 }
 
 type conversation_ClaimAnnotationDto = ClaimAnnotationDto;
+type conversation_CognitiveStrategyDto = CognitiveStrategyDto;
 type conversation_ConversationMessageRequest = ConversationMessageRequest;
 type conversation_ConversationMessageResponse = ConversationMessageResponse;
 type conversation_ConversationSummaryDto = ConversationSummaryDto;
@@ -43813,13 +44180,16 @@ type conversation_ConversationTurnsResponse = ConversationTurnsResponse;
 type conversation_DerivationSummaryDto = DerivationSummaryDto;
 type conversation_FocusEntryDto = FocusEntryDto;
 type conversation_ListConversationsResponse = ListConversationsResponse;
+type conversation_MatchedEntityDto = MatchedEntityDto;
 type conversation_ProofTraceNodeDto = ProofTraceNodeDto;
+type conversation_ReasoningStageDto = ReasoningStageDto;
+type conversation_ReasoningTraceDto = ReasoningTraceDto;
 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_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_ProofTraceNodeDto as ProofTraceNodeDto, 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_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_ResolvedCoreferenceDto as ResolvedCoreferenceDto, conversation_SessionGraphDto as SessionGraphDto, SourceExcerptDto$1 as SourceExcerptDto, conversation_TurnDto as TurnDto, conversation_UICustomizationDto as UICustomizationDto };
 }
 
 /**
@@ -43944,6 +44314,95 @@ declare class ConversationClient {
     deleteConversation(conversationId: string): Promise<void>;
 }
 
+/**
+ * Types for the verification resource (`/api/v1/verification/*`).
+ *
+ * @module
+ */
+/**
+ * Validity-certificate detail returned by
+ * `GET /api/v1/verification/certificates/{id}`.
+ *
+ * @remarks
+ * When the conversation pipeline grounds an answer it persists an OSFQL-soundness
+ * certificate into the verification certificate store, keyed by the answer's
+ * `validityCertificateId`. Fetching it back yields the durable soundness seal for
+ * *that specific answer* — its verdict, content hash, proof method and the
+ * rule-program version that served the proof — distinct from the tenant-wide
+ * audit-ledger hash chain that {@link "../resources/compliance".ComplianceClient.verify}
+ * re-walks.
+ *
+ * Not every answer's `validityCertificateId` is fetchable here: the conversation
+ * route falls back to a prose-provenance certificate id (not persisted in this
+ * store) when no OSFQL-soundness certificate was minted, so a `404` is expected
+ * for those — handle it as "no per-answer certificate available".
+ */
+interface CertificateDetail {
+    /** Certificate id, echoing the requested id. */
+    certificateId: string;
+    /** Human-readable property the certificate attests (e.g. the OSFQL basis). */
+    propertyLabel: string;
+    /** Proof method recorded by the issuer (e.g. "DeterministicTrace"), if any. */
+    method?: string;
+    /** Hex-encoded SHA-256 of the certificate body. */
+    contentSha256Hex: string;
+    /**
+     * Verdict kind — one of "ProvenSafe" | "Falsified" | "EmpiricallySafe" |
+     * "Residuated". The wire carries an externally-tagged union; this is its tag.
+     */
+    verdict: string;
+    /** Partial confidence carried by a `Residuated` verdict, when present. */
+    verdictPartial?: number;
+    /** Hex SHA-256 of the rule program active at issuance, when the issuer pinned one. */
+    ruleProgramHash?: string;
+    /** In-process rule-program revision ordinal at issuance, when tracked. */
+    ruleRevision?: number;
+}
+
+type verification_CertificateDetail = CertificateDetail;
+declare namespace verification {
+  export type { verification_CertificateDetail as CertificateDetail };
+}
+
+/**
+ * Resource client for verification certificates (`/api/v1/verification/*`).
+ *
+ * @remarks
+ * Exposes the per-answer validity-certificate lookup. The conversation pipeline
+ * persists an OSFQL-soundness certificate when it grounds an answer (keyed by the
+ * answer's `validityCertificateId`); {@link VerificationClient.getCertificate}
+ * fetches that certificate back so callers can show the answer's own soundness
+ * seal rather than re-walking the tenant-wide audit ledger.
+ */
+declare class VerificationClient {
+    /** @internal */
+    private readonly http;
+    /** @internal */
+    constructor(http: HttpClient);
+    /**
+     * Fetch a validity certificate by id.
+     *
+     * @param certificateId - The certificate id (an answer's `validityCertificateId`).
+     * @returns The certificate's verdict, content hash, proof method and rule-program pin.
+     * @throws {ApiError} If the certificate is unknown (`404`) or the request fails.
+     *
+     * @remarks
+     * A `404` is expected when the id is a prose-provenance fallback certificate
+     * (not persisted in the verification store) rather than an OSFQL-soundness one —
+     * treat it as "no per-answer certificate available".
+     *
+     * @example
+     * ```typescript
+     * const answer = await client.conversation.sendMessage({ message, generateCertificate: true });
+     * if (answer.validityCertificateId) {
+     *   const cert = await client.verification.getCertificate(answer.validityCertificateId);
+     *   console.log(cert.verdict, cert.contentSha256Hex);
+     * }
+     * ```
+     */
+    getCertificate(certificateId: string): Promise<CertificateDetail>;
+}
+
 /** Source of paper metadata. */
 type PaperSource = 'PubMed' | 'SemanticScholar' | 'CrossRef' | 'ArXiv';
 /** Request to search for papers across external sources. */
@@ -47849,6 +48308,8 @@ declare class ReasoningLayerClient {
     readonly discovery: DiscoveryClient;
     /** Entity extraction operations. */
     readonly extract: ExtractClient;
+    /** Document compliance analysis (check document content against KB rules). */
+    readonly documents: DocumentsClient;
     /** FormalJudge oversight operations (safety verification, refinement). */
     readonly oversight: OversightClient;
     /** Categorical Deep Learning operations (differentiable FC, soft unification, safety). */
@@ -47889,6 +48350,8 @@ declare class ReasoningLayerClient {
     readonly osfql: OsfqlClient;
     /** Conversational AI operations (NL → OSFQL with self-correction). */
     readonly conversation: ConversationClient;
+    /** Validity-certificate lookup (per-answer soundness seals). */
+    readonly verification: VerificationClient;
     /** Verified scientific research pipeline operations. */
     readonly research: ResearchClient;
     /** Knowledge graph context assembly operations (LLM prompt building). */
@@ -49389,4 +49852,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, type AiGroup, analysis as Analysis, type AnalysisGroup, ApiError, type ApiResponse, type ArithmeticOp, type AuthConfig, AuthenticationError, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkCreateSortsRequest, type BulkCreateSortsResponse, cdl as CDL, causal as Causal, type ClassifyEdgesInput, type ClassifyEdgesVars, type ClearTermsResponse, type ClientConfig, cognitive as Cognitive, collections as Collections, communities as Communities, type ComparisonOp, compliance as Compliance, complianceMarkings as ComplianceMarkings, type ConstrainedPlainVar, Constraint, ConstraintViolationError, constraints as Constraints, control as Control, conversation as Conversation, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationSummaryDto, type ConversationTurnsResponse, type CoreGroup, type CreateResearchSessionRequest, type CreateResearchSessionResponse, type CreateSortRequest, type CreateTermRequest, type DataGroup, discovery as Discovery, type ErrorResponse$1 as ErrorResponse, execution as Execution, extract as Extract, feasibility as Feasibility, type FeatureInputValueDto, type FeatureValueDto, Flow, type FlowProblem as FlowBuilderProblem, type FlowEdgeInput, type FlowEdgeOptions, flowNetworks as FlowNetworks, type FlowNode, type FlowProblemInputBase, ForbiddenError, type ForwardChainRequest, type ForwardChainResponse, functions as Functions, fuzzy as Fuzzy, FuzzyShape, type FuzzyShapeDto, generation as Generation, type GlbRequest, type GlbResponse, 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 Interceptor, InternalServerError, type JsonValue$1 as JsonValue, LP, type ListConversationsResponse, type LubRequest, type LubResponse, 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, ontologyFacade as OntologyFacade, type Operand, operations as Operations, optimize as Optimize, 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, preferences as Preferences, proofEngine as ProofEngine, type PsiTermDto, type PsiTermInput, query as Query, rag as RAG, RateLimitError, type RateLimitInfo, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type RequestOptions, research as Research, type ResearchContradictionsResponse, type ResearchCycleResponse, type ResearchFindingsResponse, type ResearchGapsResponse, type ResearchReportResponse, type ResearchSessionResponse, reviews as Reviews, row as Row, SDK_VERSION, scenarios as Scenarios, scheduling as Scheduling, type SearchPapersRequest, type SearchPapersResponse, solver as Solver, SortBuilder, type SortDto, type SortInfoDto, sorts as Sorts, sources as Sources, spaces as Spaces, statistical as Statistical, synthetic as Synthetic, type SystemGroup, type TermDto, type TermInputArg, type TermInputDto, type TermListResponse, type TermPatternDto, type TermResponse, terms as Terms, TimeoutError, type TurnDto, type UpdateTermRequest, utilities as Utilities, ValidationError, Value, type ValueDto, values as Values, type VerifyClaimRequest, type VerifyClaimResponse, visualization as Visualization, WebSocketClient, WebSocketConnection, webhookActions as WebhookActions, type WorkflowGroup, 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, type AiGroup, analysis as Analysis, type AnalysisGroup, ApiError, type ApiResponse, type ArithmeticOp, type AuthConfig, AuthenticationError, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkCreateSortsRequest, type BulkCreateSortsResponse, cdl as CDL, causal as Causal, type CertificateDetail, type ClassifyEdgesInput, type ClassifyEdgesVars, type ClearTermsResponse, type ClientConfig, cognitive as Cognitive, type CognitiveStrategyDto, collections as Collections, communities as Communities, type ComparisonOp, compliance as Compliance, complianceMarkings as ComplianceMarkings, type ConstrainedPlainVar, Constraint, ConstraintViolationError, constraints as Constraints, control as Control, conversation as Conversation, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationSummaryDto, type ConversationTurnsResponse, type CoreGroup, type CreateResearchSessionRequest, type CreateResearchSessionResponse, type CreateSortRequest, type CreateTermRequest, type DataGroup, discovery as Discovery, documents as Documents, type ErrorResponse$1 as ErrorResponse, execution as Execution, extract as Extract, feasibility as Feasibility, type FeatureInputValueDto, type FeatureValueDto, Flow, type FlowProblem as FlowBuilderProblem, type FlowEdgeInput, type FlowEdgeOptions, flowNetworks as FlowNetworks, type FlowNode, type FlowProblemInputBase, type FocusEntryDto, ForbiddenError, type ForwardChainRequest, type ForwardChainResponse, functions as Functions, fuzzy as Fuzzy, FuzzyShape, type FuzzyShapeDto, generation as Generation, type GlbRequest, type GlbResponse, 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 Interceptor, InternalServerError, type JsonValue$1 as JsonValue, LP, type ListConversationsResponse, type LubRequest, type LubResponse, 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, ontologyFacade as OntologyFacade, type Operand, operations as Operations, optimize as Optimize, 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, preferences as Preferences, proofEngine as ProofEngine, type PsiTermDto, type PsiTermInput, 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 ResolvedCoreferenceDto, reviews as Reviews, row as Row, SDK_VERSION, scenarios as Scenarios, scheduling as Scheduling, type SearchPapersRequest, type SearchPapersResponse, type SessionGraphDto, solver as Solver, SortBuilder, type SortDto, type SortInfoDto, sorts as Sorts, sources as Sources, spaces as Spaces, statistical as Statistical, synthetic as Synthetic, type SystemGroup, type TermDto, type TermInputArg, type TermInputDto, type TermListResponse, type TermPatternDto, type TermResponse, terms as Terms, TimeoutError, type TurnDto, type UpdateTermRequest, utilities as Utilities, ValidationError, Value, type ValueDto, values as Values, verification as Verification, type VerifyClaimRequest, type VerifyClaimResponse, visualization as Visualization, WebSocketClient, WebSocketConnection, webhookActions as WebhookActions, type WorkflowGroup, allen, constrained, discriminateFeatureValue, guard, isConstrainedPlainVar, isPsiTermInput, isTaggedValueDto, isUuid, psi, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };