@kortexya/reasoninglayer 1.7.1 → 1.8.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/dist/index.d.cts CHANGED
@@ -109,7 +109,7 @@ type JsonValue$1 = string | number | boolean | null | JsonValue$1[] | object;
109
109
  * This is the single source of truth for the version constant.
110
110
  * The `scripts/release.sh` script updates this value alongside `package.json`.
111
111
  */
112
- declare const SDK_VERSION = "1.7.1";
112
+ declare const SDK_VERSION = "1.8.1";
113
113
  /**
114
114
  * Authentication mode for the SDK.
115
115
  *
@@ -937,6 +937,14 @@ interface AlignmentStatsDto {
937
937
  */
938
938
  entities_unaligned: number;
939
939
  }
940
+ interface AnalyzeDocumentsRequestDto {
941
+ documents: DocumentInputDto[];
942
+ include_fix_suggestions?: boolean;
943
+ include_proof_traces?: boolean;
944
+ /** @min 0 */
945
+ max_rules?: number;
946
+ rule_sort_filter?: string[];
947
+ }
940
948
  /** Request body for `POST /api/v1/operations/anti-unify`. */
941
949
  interface AntiUnifyRequest$1 {
942
950
  /**
@@ -5199,6 +5207,31 @@ interface DlqListResponse {
5199
5207
  */
5200
5208
  total: number;
5201
5209
  }
5210
+ /** Response DTO wrapping the analysis report. */
5211
+ interface DocumentAnalysisResponse {
5212
+ /** Per-document analysis results. */
5213
+ documents: any[];
5214
+ /**
5215
+ * Overall compliance score (0.0-1.0).
5216
+ * @format double
5217
+ */
5218
+ overall_compliance: number;
5219
+ /**
5220
+ * Total rules evaluated.
5221
+ * @min 0
5222
+ */
5223
+ total_rules_evaluated: number;
5224
+ /**
5225
+ * Total rules failed.
5226
+ * @min 0
5227
+ */
5228
+ total_rules_failed: number;
5229
+ /**
5230
+ * Total rules passed.
5231
+ * @min 0
5232
+ */
5233
+ total_rules_passed: number;
5234
+ }
5202
5235
  /** A single document in a batch request */
5203
5236
  interface DocumentBatchItem$1 {
5204
5237
  /** Document source (base64 or URL) */
@@ -5223,6 +5256,11 @@ interface DocumentBatchResultDto$1 {
5223
5256
  /** Whether this document was processed successfully */
5224
5257
  success: boolean;
5225
5258
  }
5259
+ interface DocumentInputDto {
5260
+ content: string;
5261
+ name: string;
5262
+ type_hint?: string | null;
5263
+ }
5226
5264
  /** Metadata about a document */
5227
5265
  interface DocumentMetadataDto$1 {
5228
5266
  /** Creation date (ISO 8601) */
@@ -8519,7 +8557,7 @@ interface GetHtnMethodsResponse {
8519
8557
  methods: HtnMethodDto$1[];
8520
8558
  }
8521
8559
  /** Request to get an agent's inbox. */
8522
- interface GetInboxRequest {
8560
+ interface GetInboxRequest$1 {
8523
8561
  /**
8524
8562
  * Agent ID
8525
8563
  * @format uuid
@@ -8534,9 +8572,9 @@ interface GetInboxRequest {
8534
8572
  tenant_id: string;
8535
8573
  }
8536
8574
  /** Response with inbox messages. */
8537
- interface GetInboxResponse {
8575
+ interface GetInboxResponse$1 {
8538
8576
  /** Messages (sorted by priority, then timestamp) */
8539
- messages: InboxMessageDto[];
8577
+ messages: InboxMessageDto$1[];
8540
8578
  /**
8541
8579
  * Total count
8542
8580
  * @min 0
@@ -9494,7 +9532,7 @@ interface ImportOwlResponse$1 {
9494
9532
  sorts_created: string[];
9495
9533
  }
9496
9534
  /** A message in the inbox. */
9497
- interface InboxMessageDto {
9535
+ interface InboxMessageDto$1 {
9498
9536
  /** Message content (arbitrary JSON) */
9499
9537
  content: JsonValue;
9500
9538
  /**
@@ -11384,7 +11422,7 @@ interface MarkdownDocumentDto$1 {
11384
11422
  metadata?: null | DocumentMetadataDto$1;
11385
11423
  }
11386
11424
  /** An entity matched while resolving a stage. */
11387
- interface MatchedEntityDto$1 {
11425
+ interface MatchedEntityDto$2 {
11388
11426
  /**
11389
11427
  * Match confidence in [0, 1].
11390
11428
  * @format double
@@ -12990,7 +13028,7 @@ interface OsfSearchRequest$1 {
12990
13028
  /** Response from pure OSF search */
12991
13029
  interface OsfSearchResponse$1 {
12992
13030
  /** Matched entities with provenance */
12993
- entities: MatchedEntityDto$1[];
13031
+ entities: MatchedEntityDto$2[];
12994
13032
  /** Discovered relations between entities */
12995
13033
  relations: DiscoveredRelationDto$1[];
12996
13034
  /** Search statistics */
@@ -21682,7 +21720,7 @@ interface OsfSearchRequest {
21682
21720
  /**
21683
21721
  * A matched entity in a structured search result.
21684
21722
  */
21685
- interface MatchedEntityDto {
21723
+ interface MatchedEntityDto$1 {
21686
21724
  /** Match confidence in [0, 1]. */
21687
21725
  confidence: number;
21688
21726
  /** Why it matched (e.g. `"exact"`, `"fuzzy_glb"`, `"salience"`). */
@@ -21770,7 +21808,7 @@ interface OsfSearchStatsDto {
21770
21808
  */
21771
21809
  interface OsfSearchResponse {
21772
21810
  /** Matched entities with provenance. */
21773
- entities: MatchedEntityDto[];
21811
+ entities: MatchedEntityDto$1[];
21774
21812
  /** Discovered relations between entities. */
21775
21813
  relations: DiscoveredRelationDto[];
21776
21814
  /** If query was incomplete, information about what's missing. */
@@ -21911,7 +21949,6 @@ interface NlQueryResponse {
21911
21949
  type query_BySortQueryRequest = BySortQueryRequest;
21912
21950
  type query_DiscoveredRelationDto = DiscoveredRelationDto;
21913
21951
  type query_FindBySortRequest = FindBySortRequest;
21914
- type query_MatchedEntityDto = MatchedEntityDto;
21915
21952
  type query_MissingInfoDto = MissingInfoDto;
21916
21953
  type query_NlQueryMode = NlQueryMode;
21917
21954
  type query_NlQueryRequest = NlQueryRequest;
@@ -21930,7 +21967,7 @@ type query_UnificationQueryResponse = UnificationQueryResponse;
21930
21967
  type query_ValidateTermRequest = ValidateTermRequest;
21931
21968
  type query_ValidatedUnifyRequest = ValidatedUnifyRequest;
21932
21969
  declare namespace query {
21933
- 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 };
21970
+ 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 };
21934
21971
  }
21935
21972
 
21936
21973
  /**
@@ -24147,7 +24184,7 @@ declare class CognitiveAgentsMessaging<SecurityDataType = unknown> {
24147
24184
  * @summary Get an agent's inbox.
24148
24185
  * @request POST:/api/v1/cognitive/agents/messages/inbox
24149
24186
  */
24150
- getInbox: (data: GetInboxRequest, params?: RequestParams) => Promise<HttpResponse<GetInboxResponse, void>>;
24187
+ getInbox: (data: GetInboxRequest$1, params?: RequestParams) => Promise<HttpResponse<GetInboxResponse$1, void>>;
24151
24188
  /**
24152
24189
  * No description
24153
24190
  *
@@ -25129,6 +25166,45 @@ interface MarkMessagesReadResponse {
25129
25166
  /** Message. */
25130
25167
  message: string;
25131
25168
  }
25169
+ /**
25170
+ * Request to get an agent's inbox.
25171
+ */
25172
+ interface GetInboxRequest {
25173
+ /** Recipient agent ID (UUID). */
25174
+ agentId: string;
25175
+ /** Tenant ID (UUID). */
25176
+ tenantId: string;
25177
+ /** Whether to include already-read messages (default: false). */
25178
+ includeRead?: boolean;
25179
+ }
25180
+ /**
25181
+ * A message in an agent's inbox.
25182
+ */
25183
+ interface InboxMessageDto {
25184
+ /** Message ID (UUID). */
25185
+ messageId: string;
25186
+ /** Sender agent ID (UUID). */
25187
+ fromAgentId: string;
25188
+ /** Message content (arbitrary JSON). */
25189
+ content: JsonValue$1;
25190
+ /** Priority (0-10, higher is more urgent). */
25191
+ priority: number;
25192
+ /** Timestamp (epoch). */
25193
+ timestamp: number;
25194
+ /** Whether the message has been read. */
25195
+ read: boolean;
25196
+ }
25197
+ /**
25198
+ * Response with an agent's inbox messages.
25199
+ */
25200
+ interface GetInboxResponse {
25201
+ /** Messages (sorted by priority, then timestamp). */
25202
+ messages: InboxMessageDto[];
25203
+ /** Number of unread messages. */
25204
+ unreadCount: number;
25205
+ /** Total number of messages returned. */
25206
+ totalCount: number;
25207
+ }
25132
25208
  /**
25133
25209
  * Request to adaptively modify agent rules during inference.
25134
25210
  *
@@ -25710,8 +25786,11 @@ type cognitive_GetAgentStateResponse = GetAgentStateResponse;
25710
25786
  type cognitive_GetEpisodeStatsRequest = GetEpisodeStatsRequest;
25711
25787
  type cognitive_GetExtendedAgentStateRequest = GetExtendedAgentStateRequest;
25712
25788
  type cognitive_GetExtendedAgentStateResponse = GetExtendedAgentStateResponse;
25789
+ type cognitive_GetInboxRequest = GetInboxRequest;
25790
+ type cognitive_GetInboxResponse = GetInboxResponse;
25713
25791
  type cognitive_HtnMethodDto = HtnMethodDto;
25714
25792
  type cognitive_ImpasseDto = ImpasseDto;
25793
+ type cognitive_InboxMessageDto = InboxMessageDto;
25715
25794
  type cognitive_IntegratedCycleOutcomeDto = IntegratedCycleOutcomeDto;
25716
25795
  type cognitive_IntegratedEngineConfigDto = IntegratedEngineConfigDto;
25717
25796
  type cognitive_IntentionDto = IntentionDto;
@@ -25747,7 +25826,7 @@ type cognitive_SubscribeToKbResponse = SubscribeToKbResponse;
25747
25826
  type cognitive_UpdatePlanStatsRequest = UpdatePlanStatsRequest;
25748
25827
  type cognitive_UpdatePlanStatsResponse = UpdatePlanStatsResponse;
25749
25828
  declare namespace cognitive {
25750
- 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 };
25829
+ 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 };
25751
25830
  }
25752
25831
 
25753
25832
  /**
@@ -25778,6 +25857,18 @@ declare class CognitiveClient {
25778
25857
  private readonly tenantId;
25779
25858
  /** @internal */
25780
25859
  constructor(api: Cognitive, episodicMemory: CognitiveAgentsEpisodicMemory, htn: CognitiveAgentsHtn, messaging: CognitiveAgentsMessaging, planLibrary: CognitiveAgentsPlanLibrary, tenantId: string, ws?: WebSocketClient | null);
25860
+ /**
25861
+ * List all of the tenant's cognitive agents.
25862
+ *
25863
+ * @returns Every agent's basic BDI state (beliefs, goals, pending status).
25864
+ *
25865
+ * @remarks
25866
+ * Uses GET `/api/v1/cognitive/agents`. Lazy-hydrates from the database on the
25867
+ * backend, so agents created by another client/process are included — not just
25868
+ * those created in the current session. Tenant is identified by the
25869
+ * `X-Tenant-Id` header (set automatically).
25870
+ */
25871
+ listAgents(): Promise<AgentStateDto[]>;
25781
25872
  /**
25782
25873
  * Create a new cognitive agent.
25783
25874
  *
@@ -25930,6 +26021,17 @@ declare class CognitiveClient {
25930
26021
  * @returns The result.
25931
26022
  */
25932
26023
  markMessagesRead(request: Omit<MarkMessagesReadRequest, 'tenantId'>): Promise<MarkMessagesReadResponse>;
26024
+ /**
26025
+ * Get an agent's inbox (messages addressed to it from other agents).
26026
+ *
26027
+ * @param request - Recipient agent ID and whether to include read messages.
26028
+ * @returns The agent's messages with unread/total counts.
26029
+ *
26030
+ * @remarks
26031
+ * Uses POST `/api/v1/cognitive/agents/messages/inbox`. The inbox is per-agent;
26032
+ * aggregate across a roster by calling this for each agent.
26033
+ */
26034
+ getInbox(request: Omit<GetInboxRequest, 'tenantId'>): Promise<GetInboxResponse>;
25933
26035
  /**
25934
26036
  * Provide feedback on an agent result.
25935
26037
  *
@@ -31506,7 +31608,13 @@ declare class Reviews<SecurityDataType = unknown> {
31506
31608
  * @request GET:/api/v1/reviews/pending
31507
31609
  * @secure
31508
31610
  */
31509
- listPendingReviews: (params?: RequestParams) => Promise<HttpResponse<ListPendingReviewsResponse, void>>;
31611
+ listPendingReviews: (query: {
31612
+ /**
31613
+ * Tenant ID to list pending reviews for
31614
+ * @format uuid
31615
+ */
31616
+ tenant_id: string;
31617
+ }, params?: RequestParams) => Promise<HttpResponse<ListPendingReviewsResponse, void>>;
31510
31618
  /**
31511
31619
  * @description POST /api/v1/reviews/merge Merges the entity's features into an existing term.
31512
31620
  *
@@ -31552,8 +31660,12 @@ declare class Reviews<SecurityDataType = unknown> {
31552
31660
  declare class ReviewsClient {
31553
31661
  /** @internal */
31554
31662
  private readonly api;
31663
+ /** @internal — tenant scope; forwarded as the `tenant_id` query the
31664
+ * pending-reviews / summary endpoints require (the `X-Tenant-Id` header
31665
+ * alone is not sufficient for these GET routes). */
31666
+ private readonly tenantId;
31555
31667
  /** @internal */
31556
- constructor(api: Reviews);
31668
+ constructor(api: Reviews, tenantId: string);
31557
31669
  /**
31558
31670
  * Add an entity to the pending review queue.
31559
31671
  *
@@ -31604,7 +31716,11 @@ declare class ReviewsClient {
31604
31716
  */
31605
31717
  mergeEntity(request: MergeEntityRequest): Promise<unknown>;
31606
31718
  /**
31607
- * List all pending reviews.
31719
+ * List all pending reviews for the configured tenant.
31720
+ *
31721
+ * `GET /api/v1/reviews/pending` requires `tenant_id` as a query parameter
31722
+ * (the `X-Tenant-Id` header is not honoured for this route), so we forward
31723
+ * the client's tenant scope explicitly — omitting it yields a 400.
31608
31724
  *
31609
31725
  * @returns List of pending review entries.
31610
31726
  */
@@ -37216,6 +37332,162 @@ declare class ExtractClient {
37216
37332
  extractEntities(request: ExtractEntitiesRequest): Promise<ExtractEntitiesResponse>;
37217
37333
  }
37218
37334
 
37335
+ declare class DocumentAnalysis<SecurityDataType = unknown> {
37336
+ http: HttpClient<SecurityDataType>;
37337
+ constructor(http: HttpClient<SecurityDataType>);
37338
+ /**
37339
+ * No description
37340
+ *
37341
+ * @tags document-analysis
37342
+ * @name AnalyzeDocuments
37343
+ * @request POST:/api/v1/documents/analyze
37344
+ * @secure
37345
+ */
37346
+ analyzeDocuments: (data: AnalyzeDocumentsRequestDto, params?: RequestParams) => Promise<HttpResponse<DocumentAnalysisResponse, void>>;
37347
+ }
37348
+
37349
+ /** A single document to analyse (name + raw text content). */
37350
+ interface DocumentInput {
37351
+ /** Document name/identifier (e.g. "contract.pdf"). */
37352
+ name: string;
37353
+ /** Full document text content. */
37354
+ content: string;
37355
+ /** Optional document type hint (e.g. "nda", "invoice"). */
37356
+ typeHint?: string | null;
37357
+ }
37358
+ /** Request to analyse documents against knowledge-base compliance rules. */
37359
+ interface AnalyzeDocumentsRequest {
37360
+ /** Documents to analyse. */
37361
+ documents: DocumentInput[];
37362
+ /**
37363
+ * Focus rule discovery on these rule-sort categories. Empty (the default)
37364
+ * discovers all applicable rules from the entity types present.
37365
+ */
37366
+ ruleSortFilter?: string[];
37367
+ /** Include per-rule proof traces (default true). */
37368
+ includeProofTraces?: boolean;
37369
+ /** Include fix suggestions for failed rules (default true). */
37370
+ includeFixSuggestions?: boolean;
37371
+ /** Max rules to evaluate per document (0 = unlimited, the default). */
37372
+ maxRules?: number;
37373
+ }
37374
+ /** Status of a single rule check. */
37375
+ type DocumentRuleStatus = 'pass' | 'fail' | 'inconclusive' | 'not_applicable';
37376
+ /** Severity of a single rule. */
37377
+ type DocumentRuleSeverity = 'critical' | 'major' | 'minor' | 'informational';
37378
+ /** One reasoning step in a rule's proof trace. */
37379
+ interface DocumentProofStep {
37380
+ /** Step type (e.g. "backward_chain", "unification", "fact_match"). */
37381
+ stepType: string;
37382
+ /** Human-readable description of the step. */
37383
+ description: string;
37384
+ /** Confidence at this step (0.0-1.0). */
37385
+ confidence: number;
37386
+ /** Rule or fact used at this step. */
37387
+ ruleUsed?: string | null;
37388
+ }
37389
+ /** An entity extracted from a document during analysis. */
37390
+ interface DocumentExtractedEntity {
37391
+ /** Entity sort (type) name. */
37392
+ sortName: string;
37393
+ /** Extracted feature key/value pairs. */
37394
+ features: Record<string, string>;
37395
+ /** Extraction confidence (0.0-1.0). */
37396
+ confidence: number;
37397
+ /** Source text span the entity was extracted from. */
37398
+ sourceText?: string | null;
37399
+ }
37400
+ /** Result of evaluating one rule against a document. */
37401
+ interface DocumentRuleResult {
37402
+ /** Rule identifier (sort name + feature key). */
37403
+ ruleId: string;
37404
+ /** Human-readable rule description. */
37405
+ ruleDescription: string;
37406
+ /** Which rule sort/category this belongs to. */
37407
+ ruleSort: string;
37408
+ /** Rule severity. */
37409
+ severity: DocumentRuleSeverity;
37410
+ /** Whether the rule passed/failed/was inconclusive/not applicable. */
37411
+ status: DocumentRuleStatus;
37412
+ /** Confidence in the result (0.0-1.0). */
37413
+ confidence: number;
37414
+ /** Evidence supporting the result. */
37415
+ evidence: string[];
37416
+ /** Proof trace (when requested): chain of reasoning steps. */
37417
+ proofTrace?: DocumentProofStep[] | null;
37418
+ /** Fix suggestion (when requested and the rule failed). */
37419
+ fixSuggestion?: string | null;
37420
+ /** The relevant clause/section excerpt of the document. */
37421
+ relevantExcerpt?: string | null;
37422
+ }
37423
+ /** Per-document analysis result. */
37424
+ interface DocumentResult {
37425
+ /** Document name. */
37426
+ documentName: string;
37427
+ /** Detected document type (sort name in the KB), if any. */
37428
+ detectedType?: string | null;
37429
+ /** Compliance score for this document (0.0-1.0). */
37430
+ complianceScore: number;
37431
+ /** Per-rule results. */
37432
+ ruleResults: DocumentRuleResult[];
37433
+ /** Entities extracted from the document. */
37434
+ extractedEntities: DocumentExtractedEntity[];
37435
+ /** LLM-generated summary of the document's compliance. */
37436
+ summary: string;
37437
+ }
37438
+ /** Complete document-analysis report. */
37439
+ interface DocumentAnalysisReport {
37440
+ /** Per-document results. */
37441
+ documents: DocumentResult[];
37442
+ /** Overall compliance score across all documents (0.0-1.0). */
37443
+ overallCompliance: number;
37444
+ /** Total rules evaluated across all documents. */
37445
+ totalRulesEvaluated: number;
37446
+ /** Total rules that passed. */
37447
+ totalRulesPassed: number;
37448
+ /** Total rules that failed. */
37449
+ totalRulesFailed: number;
37450
+ }
37451
+
37452
+ type documents_AnalyzeDocumentsRequest = AnalyzeDocumentsRequest;
37453
+ type documents_DocumentAnalysisReport = DocumentAnalysisReport;
37454
+ type documents_DocumentExtractedEntity = DocumentExtractedEntity;
37455
+ type documents_DocumentInput = DocumentInput;
37456
+ type documents_DocumentProofStep = DocumentProofStep;
37457
+ type documents_DocumentResult = DocumentResult;
37458
+ type documents_DocumentRuleResult = DocumentRuleResult;
37459
+ type documents_DocumentRuleSeverity = DocumentRuleSeverity;
37460
+ type documents_DocumentRuleStatus = DocumentRuleStatus;
37461
+ declare namespace documents {
37462
+ 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 };
37463
+ }
37464
+
37465
+ /**
37466
+ * Resource client for document compliance analysis.
37467
+ *
37468
+ * @remarks
37469
+ * Checks raw document content against the knowledge base's compliance rules:
37470
+ * extracts entities, discovers applicable rules, evaluates each one, and
37471
+ * returns per-rule pass/fail results with proof traces and fix suggestions.
37472
+ * Backed by `POST /api/v1/documents/analyze`.
37473
+ *
37474
+ * Uses normalizers to convert between camelCase (SDK surface) and snake_case
37475
+ * (wire format) at the boundary.
37476
+ */
37477
+ declare class DocumentsClient {
37478
+ /** @internal */
37479
+ private readonly api;
37480
+ /** @internal */
37481
+ constructor(api: DocumentAnalysis);
37482
+ /**
37483
+ * Analyse documents against the knowledge base's compliance rules.
37484
+ *
37485
+ * @param request - Documents (name + content) plus optional rule-sort focus.
37486
+ * @returns Per-document rule results, scores, entities and proof traces.
37487
+ */
37488
+ analyze(request: AnalyzeDocumentsRequest): Promise<DocumentAnalysisReport>;
37489
+ }
37490
+
37219
37491
  declare class Oversight<SecurityDataType = unknown> {
37220
37492
  http: HttpClient<SecurityDataType>;
37221
37493
  constructor(http: HttpClient<SecurityDataType>);
@@ -43665,6 +43937,73 @@ interface ClaimAnnotationDto {
43665
43937
  /** Derivation chain summary. */
43666
43938
  derivationSummary?: DerivationSummaryDto | null;
43667
43939
  }
43940
+ /**
43941
+ * Cognitive strategy that influenced how a response was generated.
43942
+ *
43943
+ * @remarks
43944
+ * Present only when a cognitive agent exists for the tenant and the integrated
43945
+ * cognitive engine ran a lightweight cycle before classification (selecting an
43946
+ * Explore/Exploit/Observe/Consolidate mode that guided the LLM prompts).
43947
+ */
43948
+ interface CognitiveStrategyDto {
43949
+ /** Cognitive mode selected by System M (Explore/Exploit/Observe/Consolidate). */
43950
+ mode: string;
43951
+ /** Human-readable strategy description. */
43952
+ strategy: string;
43953
+ /** Whether RL-trained Q-values influenced this decision. */
43954
+ rlActive: boolean;
43955
+ }
43956
+ /**
43957
+ * An entity matched while resolving a reasoning-trace stage.
43958
+ */
43959
+ interface MatchedEntityDto {
43960
+ /** Display label of the entity. */
43961
+ name: string;
43962
+ /** Sort name the entity belongs to. */
43963
+ sortName: string;
43964
+ /** Term ID (string form), if the match resolved to a stored term. */
43965
+ termId?: string;
43966
+ /** Match confidence in [0, 1]. */
43967
+ confidence: number;
43968
+ /** Why it matched (e.g. "exact", "fuzzy_glb", "salience"). */
43969
+ matchReason: string;
43970
+ }
43971
+ /**
43972
+ * One executed stage of the conversation pipeline (LLM-as-sensor trace).
43973
+ */
43974
+ interface ReasoningStageDto {
43975
+ /** Stage id, e.g. "classify_intent". */
43976
+ name: string;
43977
+ /** Execution order. */
43978
+ order: number;
43979
+ /** "sensor" (LLM was consulted) or "symbolic" (deterministic). */
43980
+ kind: string;
43981
+ /** For sensor stages: the sensor point consulted. */
43982
+ sensorPoint?: string;
43983
+ /** Whether the LLM was actually invoked at this stage. */
43984
+ llmUsed: boolean;
43985
+ /** Optional confidence for this stage (0.0–1.0). */
43986
+ confidence?: number;
43987
+ /** Entities matched at this stage (sort + term id). */
43988
+ matchedEntities: MatchedEntityDto[];
43989
+ /** OSFQL executed/produced at this stage, if any. */
43990
+ osfql?: string;
43991
+ /** Symbolic strategy used, if any. */
43992
+ strategy?: string;
43993
+ /** Free-text detail for display. */
43994
+ detail?: string;
43995
+ }
43996
+ /**
43997
+ * LLM-as-sensor reasoning trace for one answer: the ordered pipeline stages
43998
+ * (each marked symbolic vs sensor, with matched entities and the OSFQL path)
43999
+ * that produced the response. Powers the chat's explainability/audit timeline.
44000
+ */
44001
+ interface ReasoningTraceDto {
44002
+ /** Pipeline stages in execution order. */
44003
+ stages: ReasoningStageDto[];
44004
+ /** Number of stages that actually invoked the LLM (the bounded sensor calls). */
44005
+ llmCalls: number;
44006
+ }
43668
44007
  /**
43669
44008
  * UI customization detected from a conversation response.
43670
44009
  */
@@ -43722,6 +44061,18 @@ interface ConversationMessageResponse {
43722
44061
  proofTrace?: ProofTraceNodeDto | null;
43723
44062
  /** UI customizations detected in this response (for multi-turn UI evolution). */
43724
44063
  uiCustomizations?: UICustomizationDto[] | null;
44064
+ /**
44065
+ * Cognitive strategy used for this response (when RL training is active and a
44066
+ * cognitive agent exists for the tenant). Absent on plain conversation turns.
44067
+ */
44068
+ cognitiveStrategy?: CognitiveStrategyDto | null;
44069
+ /**
44070
+ * LLM-as-sensor reasoning trace: the ordered pipeline stages
44071
+ * (`prepare_context → classify_intent → execute_osfql → generate_response`),
44072
+ * each tagged symbolic/sensor with matched entities and the OSFQL path.
44073
+ * Powers the chat's reasoning/audit explainability timeline.
44074
+ */
44075
+ reasoningTrace?: ReasoningTraceDto | null;
43725
44076
  /** SHA-256 hash of the validity certificate. */
43726
44077
  validityCertificateHash?: string | null;
43727
44078
  /** ID of the validity certificate (if generate_certificate was true). */
@@ -43821,6 +44172,7 @@ interface SessionGraphDto {
43821
44172
  }
43822
44173
 
43823
44174
  type conversation_ClaimAnnotationDto = ClaimAnnotationDto;
44175
+ type conversation_CognitiveStrategyDto = CognitiveStrategyDto;
43824
44176
  type conversation_ConversationMessageRequest = ConversationMessageRequest;
43825
44177
  type conversation_ConversationMessageResponse = ConversationMessageResponse;
43826
44178
  type conversation_ConversationSummaryDto = ConversationSummaryDto;
@@ -43828,13 +44180,16 @@ type conversation_ConversationTurnsResponse = ConversationTurnsResponse;
43828
44180
  type conversation_DerivationSummaryDto = DerivationSummaryDto;
43829
44181
  type conversation_FocusEntryDto = FocusEntryDto;
43830
44182
  type conversation_ListConversationsResponse = ListConversationsResponse;
44183
+ type conversation_MatchedEntityDto = MatchedEntityDto;
43831
44184
  type conversation_ProofTraceNodeDto = ProofTraceNodeDto;
44185
+ type conversation_ReasoningStageDto = ReasoningStageDto;
44186
+ type conversation_ReasoningTraceDto = ReasoningTraceDto;
43832
44187
  type conversation_ResolvedCoreferenceDto = ResolvedCoreferenceDto;
43833
44188
  type conversation_SessionGraphDto = SessionGraphDto;
43834
44189
  type conversation_TurnDto = TurnDto;
43835
44190
  type conversation_UICustomizationDto = UICustomizationDto;
43836
44191
  declare namespace conversation {
43837
- 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 };
44192
+ 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 };
43838
44193
  }
43839
44194
 
43840
44195
  /**
@@ -43959,6 +44314,95 @@ declare class ConversationClient {
43959
44314
  deleteConversation(conversationId: string): Promise<void>;
43960
44315
  }
43961
44316
 
44317
+ /**
44318
+ * Types for the verification resource (`/api/v1/verification/*`).
44319
+ *
44320
+ * @module
44321
+ */
44322
+ /**
44323
+ * Validity-certificate detail returned by
44324
+ * `GET /api/v1/verification/certificates/{id}`.
44325
+ *
44326
+ * @remarks
44327
+ * When the conversation pipeline grounds an answer it persists an OSFQL-soundness
44328
+ * certificate into the verification certificate store, keyed by the answer's
44329
+ * `validityCertificateId`. Fetching it back yields the durable soundness seal for
44330
+ * *that specific answer* — its verdict, content hash, proof method and the
44331
+ * rule-program version that served the proof — distinct from the tenant-wide
44332
+ * audit-ledger hash chain that {@link "../resources/compliance".ComplianceClient.verify}
44333
+ * re-walks.
44334
+ *
44335
+ * Not every answer's `validityCertificateId` is fetchable here: the conversation
44336
+ * route falls back to a prose-provenance certificate id (not persisted in this
44337
+ * store) when no OSFQL-soundness certificate was minted, so a `404` is expected
44338
+ * for those — handle it as "no per-answer certificate available".
44339
+ */
44340
+ interface CertificateDetail {
44341
+ /** Certificate id, echoing the requested id. */
44342
+ certificateId: string;
44343
+ /** Human-readable property the certificate attests (e.g. the OSFQL basis). */
44344
+ propertyLabel: string;
44345
+ /** Proof method recorded by the issuer (e.g. "DeterministicTrace"), if any. */
44346
+ method?: string;
44347
+ /** Hex-encoded SHA-256 of the certificate body. */
44348
+ contentSha256Hex: string;
44349
+ /**
44350
+ * Verdict kind — one of "ProvenSafe" | "Falsified" | "EmpiricallySafe" |
44351
+ * "Residuated". The wire carries an externally-tagged union; this is its tag.
44352
+ */
44353
+ verdict: string;
44354
+ /** Partial confidence carried by a `Residuated` verdict, when present. */
44355
+ verdictPartial?: number;
44356
+ /** Hex SHA-256 of the rule program active at issuance, when the issuer pinned one. */
44357
+ ruleProgramHash?: string;
44358
+ /** In-process rule-program revision ordinal at issuance, when tracked. */
44359
+ ruleRevision?: number;
44360
+ }
44361
+
44362
+ type verification_CertificateDetail = CertificateDetail;
44363
+ declare namespace verification {
44364
+ export type { verification_CertificateDetail as CertificateDetail };
44365
+ }
44366
+
44367
+ /**
44368
+ * Resource client for verification certificates (`/api/v1/verification/*`).
44369
+ *
44370
+ * @remarks
44371
+ * Exposes the per-answer validity-certificate lookup. The conversation pipeline
44372
+ * persists an OSFQL-soundness certificate when it grounds an answer (keyed by the
44373
+ * answer's `validityCertificateId`); {@link VerificationClient.getCertificate}
44374
+ * fetches that certificate back so callers can show the answer's own soundness
44375
+ * seal rather than re-walking the tenant-wide audit ledger.
44376
+ */
44377
+ declare class VerificationClient {
44378
+ /** @internal */
44379
+ private readonly http;
44380
+ /** @internal */
44381
+ constructor(http: HttpClient);
44382
+ /**
44383
+ * Fetch a validity certificate by id.
44384
+ *
44385
+ * @param certificateId - The certificate id (an answer's `validityCertificateId`).
44386
+ * @returns The certificate's verdict, content hash, proof method and rule-program pin.
44387
+ * @throws {ApiError} If the certificate is unknown (`404`) or the request fails.
44388
+ *
44389
+ * @remarks
44390
+ * A `404` is expected when the id is a prose-provenance fallback certificate
44391
+ * (not persisted in the verification store) rather than an OSFQL-soundness one —
44392
+ * treat it as "no per-answer certificate available".
44393
+ *
44394
+ * @example
44395
+ * ```typescript
44396
+ * const answer = await client.conversation.sendMessage({ message, generateCertificate: true });
44397
+ * if (answer.validityCertificateId) {
44398
+ * const cert = await client.verification.getCertificate(answer.validityCertificateId);
44399
+ * console.log(cert.verdict, cert.contentSha256Hex);
44400
+ * }
44401
+ * ```
44402
+ */
44403
+ getCertificate(certificateId: string): Promise<CertificateDetail>;
44404
+ }
44405
+
43962
44406
  /** Source of paper metadata. */
43963
44407
  type PaperSource = 'PubMed' | 'SemanticScholar' | 'CrossRef' | 'ArXiv';
43964
44408
  /** Request to search for papers across external sources. */
@@ -47864,6 +48308,8 @@ declare class ReasoningLayerClient {
47864
48308
  readonly discovery: DiscoveryClient;
47865
48309
  /** Entity extraction operations. */
47866
48310
  readonly extract: ExtractClient;
48311
+ /** Document compliance analysis (check document content against KB rules). */
48312
+ readonly documents: DocumentsClient;
47867
48313
  /** FormalJudge oversight operations (safety verification, refinement). */
47868
48314
  readonly oversight: OversightClient;
47869
48315
  /** Categorical Deep Learning operations (differentiable FC, soft unification, safety). */
@@ -47904,6 +48350,8 @@ declare class ReasoningLayerClient {
47904
48350
  readonly osfql: OsfqlClient;
47905
48351
  /** Conversational AI operations (NL → OSFQL with self-correction). */
47906
48352
  readonly conversation: ConversationClient;
48353
+ /** Validity-certificate lookup (per-answer soundness seals). */
48354
+ readonly verification: VerificationClient;
47907
48355
  /** Verified scientific research pipeline operations. */
47908
48356
  readonly research: ResearchClient;
47909
48357
  /** Knowledge graph context assembly operations (LLM prompt building). */
@@ -49404,4 +49852,4 @@ declare function toUntaggedFeatures(features: PlainFeatureMap): Record<string, F
49404
49852
  */
49405
49853
  declare function toTermInputDto(input: PsiTermInput | TermInputDto): TermInputDto;
49406
49854
 
49407
- 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 };
49855
+ 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 };