@kortexya/reasoninglayer 1.17.0 → 1.18.0

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.17.0";
+declare const SDK_VERSION = "1.18.0";
 /**
  * Authentication mode for the SDK.
  *
@@ -8515,6 +8515,24 @@ interface EffectPredictionDto$1 {
     /** @format double */
     std_dev: number;
 }
+/** Rank request: one query, and the candidates to score against it. */
+interface EmbeddingRankRequest$1 {
+    /**
+     * Candidate texts. Scored in place — the response is index-aligned with
+     * this list, so the caller can zip it back onto whatever it retrieved.
+     */
+    candidates: string[];
+    /** The text every candidate is scored against. */
+    query: string;
+}
+/** Rank response: one cosine similarity per candidate, in request order. */
+interface EmbeddingRankResponse$1 {
+    /**
+     * Cosine similarity in `[-1.0, 1.0]`, same length and same order as
+     * `candidates`. A candidate with no scoreable text scores `0.0`.
+     */
+    scores: number[];
+}
 /** Response for the embedding verification endpoint. */
 interface EmbeddingVerificationResponse$1 {
     /** Whether box embeddings are available. */
@@ -9215,6 +9233,20 @@ interface EvidenceItemDto$1 {
      * @format double
      */
     contribution: number;
+    /**
+     * The evidence term's own human-readable sentence, when it has one.
+     *
+     * Without this the only identity an evidence row carried was `term_id`, so
+     * every consumer rendered supporting evidence as `Evidence item <uuid>`
+     * while the term itself held e.g. *"Aspirin reduces_risk_of Cardiovascular
+     * Disease"* — the assessment path reported its own findings unreadably
+     * (#138). Resolved from the term under the same deterministic display-name
+     * precedence `TermDto.display_name` uses, so the two never disagree.
+     *
+     * Optional and omitted when empty: a consumer written before this field
+     * existed deserializes the response unchanged and keeps its own fallback.
+     */
+    description?: string | null;
     /**
      * Quality weight of this evidence (0.0-1.0)
      * @format double
@@ -31414,7 +31446,7 @@ declare class Query<SecurityDataType = unknown> {
     http: HttpClient<SecurityDataType>;
     constructor(http: HttpClient<SecurityDataType>);
     /**
-     * @description Returns all terms with the specified sort OR any of its subtypes. This implements proper OSF polymorphic query semantics where querying a parent sort returns all instances of that sort and its descendants.
+     * @description Returns all terms with the specified sort OR any of its subtypes. This implements proper OSF polymorphic query semantics where querying a parent sort returns all instances of that sort and its descendants. ## Resolving `sort_name` A name can denote more than one id (see `sort_name_candidates`), and no cheap probe tells which of them the query can actually answer from: on the production adapter `get_sort` and `get_sort_ids_by_names` are bare reads of an in-memory cache with no persistence fallback, while the query's own `get_compatible_sorts` does fall back to Postgres. Confirming a candidate with `get_sort` would therefore 404 every tenant sort created before the last restart — a guard strictly stricter than the thing it guards. So the candidates are **tried** against the real query, in order, and the first that answers wins; only `SortNotFound` moves on to the next, every other failure is returned as-is. When the first candidate answers — the common case — the route runs exactly one term query, as it always did. A phantom id (minted into the tenant lattice by ingestion and never persisted, #138) cannot be returned: the query authority refuses it and the loop skips past it. When no candidate answers, the sort is not queryable and the honest reply is 404 naming the sort the CALLER asked for — never a 400 leaking an internal `SortId` the caller never supplied.
      *
      * @tags query
      * @name FindBySort
@@ -43301,6 +43333,19 @@ interface EvidenceAssessmentRequest {
 interface EvidenceItemDto {
     /** Contribution to the assessment (quality * support direction). */
     contribution: number;
+    /**
+     * The evidence term's own human-readable sentence, e.g.
+     * `"Aspirin reduces_risk_of Cancer"`.
+     *
+     * `termId` is a UUID no consumer can render, so without this an evidence row
+     * could only be shown as `Evidence item <uuid>`. The backend resolves it from
+     * the term under the same display-name precedence `TermDto.displayName` uses,
+     * so the sentence shown here and the one shown for the term never disagree.
+     *
+     * `null` when talking to a backend that predates evidence descriptions, or
+     * when the evidence term carries no description of its own.
+     */
+    description?: string | null;
     /** Quality weight of this evidence (0.0-1.0). */
     qualityWeight: number;
     /** Whether this evidence supports (true) or contradicts (false) the subject. */
@@ -43579,6 +43624,13 @@ declare class ReasoningClient {
     /**
      * Assess the truthfulness/validity of a subject based on related evidence.
      *
+     * @remarks
+     * Each item in the supporting/contradicting breakdown carries a
+     * `description` — the evidence term's own sentence,
+     * e.g. `"Aspirin reduces_risk_of Cancer"` — so evidence can be rendered
+     * without a second lookup by `termId`. It is `null` against a backend that
+     * predates the field.
+     *
      * @param request - Evidence assessment request.
      * @returns Assessment result with truthfulness score, label, and evidence breakdown.
      */
@@ -57479,6 +57531,18 @@ interface VerifyClaimRequest {
     claimTermId: string;
     /** Evidence sort ID (UUID). */
     evidenceSortId: string;
+    /**
+     * Session whose knowledge base holds the claim, if any.
+     *
+     * A research session's terms live under a tenant of its own, so a claim a
+     * run produced is invisible to a lookup against the deployment's configured
+     * tenant — name the session and the verification is performed where the term
+     * actually is. Omit it for a claim asserted outside any session.
+     *
+     * The session must belong to the caller's tenant; another tenant's session id
+     * answers 404, exactly as an absent one does.
+     */
+    sessionId?: string | null;
 }
 /** Response from claim verification. */
 interface VerifyClaimResponse {
@@ -71151,6 +71215,148 @@ declare class ConnectorsClient {
     oauthCallback(name: string, query?: OAuthCallbackQuery): Promise<Response>;
 }
 
+declare class Embeddings<SecurityDataType = unknown> {
+    http: HttpClient<SecurityDataType>;
+    constructor(http: HttpClient<SecurityDataType>);
+    /**
+     * @description POST /api/v1/embeddings/rank
+     *
+     * @tags embeddings
+     * @name RankEmbeddings
+     * @summary Score every candidate against the query by embedding cosine similarity.
+     * @request POST:/api/v1/embeddings/rank
+     * @secure
+     */
+    rankEmbeddings: (data: EmbeddingRankRequest$1, params?: RequestParams) => Promise<HttpResponse<EmbeddingRankResponse$1, void>>;
+}
+
+/**
+ * Embedding-space ranking — `POST /api/v1/embeddings/rank`.
+ *
+ * Scores candidate texts against a query by cosine similarity in the
+ * deployment's shared sentence-embedding space. The endpoint never reorders and
+ * never truncates: it reports one similarity per candidate, in request order,
+ * and leaves the ranking policy to the caller.
+ *
+ * Distinct from the RAG search in `types/rag.ts` (which retrieves from the
+ * knowledge base) — nothing here reads or writes the KB.
+ *
+ * @module
+ */
+/** Body of `POST /api/v1/embeddings/rank` — one query, and the texts to score against it. */
+interface EmbeddingRankRequest {
+    /**
+     * Candidate texts, scored in place — the response is index-aligned with this
+     * list, so the caller can zip the scores back onto whatever it retrieved.
+     *
+     * An empty list is valid and yields an empty score list. The backend caps the
+     * list at 512 candidates and answers `400` above that; rank in pages instead.
+     * A blank candidate is not an error — it keeps its slot and scores `0`.
+     */
+    candidates: string[];
+    /**
+     * The text every candidate is scored against. Must be non-blank
+     * (the backend answers `400` otherwise).
+     *
+     * Capped at 8192 **characters**, as is each candidate; longer text is a `400`.
+     */
+    query: string;
+}
+/** Response of `POST /api/v1/embeddings/rank`. */
+interface EmbeddingRankResponse {
+    /**
+     * Cosine similarity in `[-1, 1]`, same length and same order as the request's
+     * `candidates` — index `i` scores `candidates[i]`.
+     *
+     * Higher is more similar. A candidate with no scoreable text (blank or
+     * whitespace-only) scores `0`, which is the same value an orthogonal candidate
+     * gets: absence of signal, not evidence of dissimilarity.
+     */
+    scores: number[];
+}
+
+type embeddings_EmbeddingRankRequest = EmbeddingRankRequest;
+type embeddings_EmbeddingRankResponse = EmbeddingRankResponse;
+declare namespace embeddings {
+  export type { embeddings_EmbeddingRankRequest as EmbeddingRankRequest, embeddings_EmbeddingRankResponse as EmbeddingRankResponse };
+}
+
+/**
+ * Resource client for embedding-space ranking
+ * (`POST /api/v1/embeddings/rank`).
+ *
+ * @remarks
+ * Scores candidate texts against a query by cosine similarity in the
+ * deployment's shared sentence-embedding space — the same embedder the backend
+ * already loads, so a caller does not have to ship a second sentence
+ * transformer into its own process just to choose which of N retrieved items to
+ * spend an expensive step on.
+ *
+ * The endpoint is a pure function of the request: it reads no tenant data,
+ * writes nothing, and never reorders or truncates. It reports a similarity per
+ * candidate and stops there; the ranking policy stays with the caller.
+ *
+ * Uses the snake_case wire format (every field here happens to be a single
+ * word); no value serialization (`ValueDto` / `FeatureValueDto`) is involved.
+ *
+ * Delegates to the generated `Embeddings` route class for the type-safe HTTP call.
+ */
+declare class EmbeddingsClient {
+    /** @internal */
+    private readonly api;
+    /** @internal */
+    constructor(api: Embeddings);
+    /**
+     * Score every candidate against the query by embedding cosine similarity.
+     *
+     * @param request - The query and the candidate texts to score against it.
+     * @returns `scores` — one cosine similarity in `[-1, 1]` per candidate,
+     *   **index-aligned with `request.candidates`** (index `i` scores
+     *   `candidates[i]`) and the same length, so the scores can be zipped straight
+     *   back onto whatever was retrieved. Higher is more similar; a candidate
+     *   whose text is blank scores `0`.
+     * @throws {BadRequestError} `400` — the query is blank, the candidate list is
+     *   over the backend's 512-candidate cap, or the query / a candidate is over
+     *   8192 characters.
+     * @throws {ApiError} `503` when the deployment has **no embedding backend
+     *   configured** (or its embedder is unreachable / misconfigured). The SDK
+     *   surfaces every 5xx as an `InternalServerError`; read its `status` to tell
+     *   `503` (no embedder) from `500` (ranking failed).
+     *
+     * @remarks
+     * Distinguish "no embedder" from "no similarity": a deployment without an
+     * embedding backend answers `503` rather than a fabricated score, precisely so
+     * a caller cannot mistake it for "everything scored 0" and silently rank by
+     * noise. The documented fallback on a `503` is to keep the source order.
+     *
+     * An empty `candidates` list is valid, not an error: it answers `200` with an
+     * empty `scores` array, so a caller that retrieved nothing still gets a
+     * well-formed, index-aligned response.
+     *
+     * A `0` score is absence of signal, not evidence of dissimilarity — it is also
+     * what an orthogonal candidate and a blank candidate both receive.
+     *
+     * @example
+     * ```typescript
+     * const retrieved = [
+     *   { id: 'doc-1', text: 'Chaperones assist protein folding in the cytosol.' },
+     *   { id: 'doc-2', text: 'Quarterly revenue rose 12% year over year.' },
+     * ];
+     *
+     * const { scores } = await client.embeddings.rank({
+     *   query: 'how proteins fold',
+     *   candidates: retrieved.map((doc) => doc.text),
+     * });
+     *
+     * // Scores are index-aligned — zip them back onto what was retrieved.
+     * const ranked = retrieved
+     *   .map((doc, i) => ({ doc, score: scores[i] }))
+     *   .sort((a, b) => b.score - a.score);
+     * ```
+     */
+    rank(request: EmbeddingRankRequest): Promise<EmbeddingRankResponse>;
+}
+
 /** Core knowledge base operations — types, records, rules, functions, constraints, and queries. */
 interface CoreGroup {
     readonly types: SortsClient;
@@ -71442,6 +71648,8 @@ declare class ReasoningLayerClient {
     readonly speech: SpeechClient;
     /** External data connectors — register / list / remove / connect / disconnect + OAuth callback. */
     readonly connectors: ConnectorsClient;
+    /** Embedding-space ranking — cosine score per candidate against a query, index-aligned. */
+    readonly embeddings: EmbeddingsClient;
     private _core?;
     private _ai?;
     private _reasoning?;
@@ -72916,4 +73124,4 @@ declare function toUntaggedFeatures(features: PlainFeatureMap): Record<string, F
  */
 declare function toTermInputDto(input: PsiTermInput | TermInputDto): TermInputDto;
 
-export { ANY_ROLE, actionReviews as ActionReviews, actions as Actions, type AddFactRequest, type AddFactResponse, type AddRuleRequest, type AddRuleResponse, admin as Admin, agui as Agui, type AguiContextItem, type AguiEvent, type AguiFunctionCall, type AguiMessage, type AguiRole, type AguiRunOptions, type AguiTool, type AguiToolCall, type AiGroup, type AlcConcept, analysis as Analysis, type AnalysisGroup, anonymization as Anonymization, ApiError, type ApiResponse, type ArithmeticOp, type AuthConfig, AuthenticationError, authz as Authz, type AuthzAction, type AuthzDryRunRequest, type AuthzDryRunResponse, type AuthzEffect, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkCreateSortsRequest, type BulkCreateSortsResponse, cdl as CDL, type CascadeOptions, type CatalogPage, causal as Causal, type CertificateDetail, chase as Chase, type ChaseArgDto, type ChaseAtomDto, type ChaseRunRequest, type ChaseRunResponse, type CheckDocumentRequest, type CheckDocumentResponse, type CheckFinding, type CheckSummary, type ClaimAssessment, type ClaimCitation, type ClaimSubtype, type ClaimVerdict, type ClassifyEdgesInput, type ClassifyEdgesVars, type ClearTermsResponse, type ClientConfig, cognitive as Cognitive, type CognitiveStrategyDto, coherence as Coherence, type CoherenceAnalyzeRequest, type CoherenceAnalyzeResponse, collections as Collections, communities as Communities, type CompareDocumentsRequest, type ComparisonOp, compliance as Compliance, complianceMarkings as ComplianceMarkings, conformal as Conformal, conformance as Conformance, type ConformanceCheckResponse, type ConformanceRepairResponse, type ConformanceRequest, connectors as Connectors, type ConstrainedPlainVar, Constraint, ConstraintViolationError, constraints as Constraints, control as Control, conversation as Conversation, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationSummaryDto, type ConversationTurnsResponse, type CoreGroup, corpus as Corpus, type CorpusBridgesRequest, type CorpusBridgesResponse, type CorpusCommunitiesRequest, type CorpusCommunitiesResponse, type CorpusCrossCuttingRequest, type CorpusCrossCuttingResponse, type CorpusScope, type CreateResearchSessionRequest, type CreateResearchSessionResponse, type CreateSortRequest, type CreateTermRequest, type CtlFormula, dl as DL, type DataGroup, demo as Demo, discovery as Discovery, type DlSatisfiableRequest, type DlSatisfiableResponse, type DlSubsumesRequest, type DlSubsumesResponse, documentCheck as DocumentCheck, documents as Documents, type EqLiteralDto, type EqualityAtomDto, type ErrorResponse$1 as ErrorResponse, execution as Execution, extract as Extract, feasibility as Feasibility, type FeatureInputValueDto, type FeatureValueDto, type FindingKind, type FindingSeverity, Flow, type FlowProblem as FlowBuilderProblem, type FlowEdgeInput, type FlowEdgeOptions, flowNetworks as FlowNetworks, type FlowNode, type FlowProblemInputBase, type FocusEntryDto, ForbiddenError, forecast as Forecast, type ForecastDomain, type ForecastDomainsResponse, type ForecastEntityInput, type ForecastRequest, type ForecastResponse, type ForwardChainRequest, type ForwardChainResponse, functions as Functions, fuzzy as Fuzzy, FuzzyShape, type FuzzyShapeDto, generation as Generation, type GlbRequest, type GlbResponse, type GraphSparqlQueryRequest, type GraphSparqlResults, guardrail as Guardrail, type GuardrailReport, type GuardrailRequest, type GuardrailSummary, health as Health, homoiconic as Homoiconic, ilp as ILP, imageExtraction as ImageExtraction, inference as Inference, type IngestPaperRequest, type IngestPaperResponse, ingestion as Ingestion, IngestionFailedError, IngestionSession, type IngestionSyncOptions, type InlineDocument, type InstallList, type InstallPluginRequest, type InstallPluginResponse, type InstallState, type InstallSummary, type Interceptor, InternalServerError, type JsonValue$1 as JsonValue, type KripkeState, type KripkeTransition, LP, ltn as LTN, type ListCatalogParams, type ListConversationsResponse, type ListInstallsParams, type ListResearchSessionsResponse, type LtnInstance, type LtnQueryRequest, type LtnQueryResponse, type LtnRefuteRequest, type LtnRefuteResponse, type LtnRule, type LtnTrainRequest, type LtnTrainResponse, type LubRequest, type LubResponse, marketplace as Marketplace, type MarketplaceScope, type MaxFlowInput, type MaxFlowVars, type MinCostMaxFlowInput, type MinCostMaxFlowVars, type MinCutInput, type MinCutVars, namespaces as Namespaces, NetworkError, neuroSymbolic as NeuroSymbolic, NotFoundError, ontology as Ontology, ontologyAlignment as OntologyAlignment, ontologyBridge as OntologyBridge, ontologyExport as OntologyExport, type OntologyExportDocument, type OntologyExportFormat, type OntologyExportOptions, ontologyFacade as OntologyFacade, type Operand, operations as Operations, optimize as Optimize, osfDiff as OsfDiff, type OsfDiffReport, type OsfDiffRequest, type OsfDiffResponse, type OsfDiffSelector, type OsfDiffSequenceReport, type OsfDiffSequenceRequest, type OsfDiffSequenceResponse, type OsfDiffTemporalRequest, type OsfSearchRequest, type OsfSearchResponse, osfql as Osfql, type OsfqlRequest, type OsfqlResponse, type OsfqlValue, oversight as Oversight, type PaginationParams, type PaperMetadataDto, type PaperSource, type PlainFeatureMap, type PlainFeatureValue, plainValues as PlainValues, type PluginDependency, type PluginDetail, type PluginManifest, type PluginSummary, type PluginVersion, preferences as Preferences, proofEngine as ProofEngine, propertyGraph as PropertyGraph, type PropertyGraphErrorResponse, type PropertyGraphExecuteResponse, type PropertyGraphQueryRequest, type PropertyGraphTranslateResponse, type PropertyGraphValue, type PsiTermDto, type PsiTermInput, type PublishPluginRequest, type PublishPluginResponse, query as Query, rag as RAG, RateLimitError, type RateLimitInfo, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type ReasoningStageDto, type ReasoningTraceDto, type RequestOptions, research as Research, type ResearchContradictionsResponse, type ResearchCycleResponse, type ResearchFindingsResponse, type ResearchGapsResponse, type ResearchReportResponse, type ResearchSessionResponse, type ResearchSessionSummaryDto, type ResolvedCoreferenceDto, reviews as Reviews, reward as Reward, row as Row, type RuleAggregatorDto, type RunAgentRequest, SDK_VERSION, sat as Sat, type SatLiteralDto, type SatSolveRequest, type SatSolveResponse, type SatVerdict, scenarios as Scenarios, scheduling as Scheduling, type SearchCatalogRequest, type SearchCatalogResponse, type SearchPapersRequest, type SearchPapersResponse, type SessionGraphDto, type SimpleTgdDto, smt as Smt, type SmtCheckRequest, type SmtCheckResponse, type SmtFunctionApplicationDto, type SmtVerdict, solver as Solver, SortBuilder, type SortDto, type SortInfoDto, sorts as Sorts, sources as Sources, spaces as Spaces, sparql as Sparql, type SparqlAskResults, type SparqlBindingSet, type SparqlEntailmentRegime, type SparqlQueryRequest, type SparqlQueryResults, type SparqlRdfTerm, type SparqlSelectResults, type SparqlTranslation, type SparqlUpdateRequest, type SparqlUpdateTranslation, speakers as Speakers, speech as Speech, statistical as Statistical, streaming as Streaming, synthetic as Synthetic, type SystemGroup, temporal as Temporal, type TemporalModelCheckRequest, type TemporalModelCheckResponse, type TemporalSeriesRequest, type TemporalSeriesResponse, type TemporalSeriesSpec, type TermDto, type TermInputArg, type TermInputDto, type TermListResponse, type TermPatternDto, type TermResponse, type TermSetSelector, terms as Terms, TimeoutError, translation as Translation, type TurnDto, ui as UI, type UpdateTermRequest, type UpgradeInstallRequest, utilities as Utilities, ValidationError, Value, type ValueDto, values as Values, verification as Verification, type VerifyClaimRequest, type VerifyClaimResponse, vision as Vision, visualization as Visualization, WebSocketClient, WebSocketConnection, webhookActions as WebhookActions, type WorkflowGroup, type YankPluginRequest, type YankPluginResponse, allen, constrained, discriminateFeatureValue, guard, isConstrainedPlainVar, isPsiTermInput, isTaggedValueDto, isUuid, psi, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };
+export { ANY_ROLE, actionReviews as ActionReviews, actions as Actions, type AddFactRequest, type AddFactResponse, type AddRuleRequest, type AddRuleResponse, admin as Admin, agui as Agui, type AguiContextItem, type AguiEvent, type AguiFunctionCall, type AguiMessage, type AguiRole, type AguiRunOptions, type AguiTool, type AguiToolCall, type AiGroup, type AlcConcept, analysis as Analysis, type AnalysisGroup, anonymization as Anonymization, ApiError, type ApiResponse, type ArithmeticOp, type AuthConfig, AuthenticationError, authz as Authz, type AuthzAction, type AuthzDryRunRequest, type AuthzDryRunResponse, type AuthzEffect, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkCreateSortsRequest, type BulkCreateSortsResponse, cdl as CDL, type CascadeOptions, type CatalogPage, causal as Causal, type CertificateDetail, chase as Chase, type ChaseArgDto, type ChaseAtomDto, type ChaseRunRequest, type ChaseRunResponse, type CheckDocumentRequest, type CheckDocumentResponse, type CheckFinding, type CheckSummary, type ClaimAssessment, type ClaimCitation, type ClaimSubtype, type ClaimVerdict, type ClassifyEdgesInput, type ClassifyEdgesVars, type ClearTermsResponse, type ClientConfig, cognitive as Cognitive, type CognitiveStrategyDto, coherence as Coherence, type CoherenceAnalyzeRequest, type CoherenceAnalyzeResponse, collections as Collections, communities as Communities, type CompareDocumentsRequest, type ComparisonOp, compliance as Compliance, complianceMarkings as ComplianceMarkings, conformal as Conformal, conformance as Conformance, type ConformanceCheckResponse, type ConformanceRepairResponse, type ConformanceRequest, connectors as Connectors, type ConstrainedPlainVar, Constraint, ConstraintViolationError, constraints as Constraints, control as Control, conversation as Conversation, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationSummaryDto, type ConversationTurnsResponse, type CoreGroup, corpus as Corpus, type CorpusBridgesRequest, type CorpusBridgesResponse, type CorpusCommunitiesRequest, type CorpusCommunitiesResponse, type CorpusCrossCuttingRequest, type CorpusCrossCuttingResponse, type CorpusScope, type CreateResearchSessionRequest, type CreateResearchSessionResponse, type CreateSortRequest, type CreateTermRequest, type CtlFormula, dl as DL, type DataGroup, demo as Demo, discovery as Discovery, type DlSatisfiableRequest, type DlSatisfiableResponse, type DlSubsumesRequest, type DlSubsumesResponse, documentCheck as DocumentCheck, documents as Documents, embeddings as Embeddings, type EqLiteralDto, type EqualityAtomDto, type ErrorResponse$1 as ErrorResponse, execution as Execution, extract as Extract, feasibility as Feasibility, type FeatureInputValueDto, type FeatureValueDto, type FindingKind, type FindingSeverity, Flow, type FlowProblem as FlowBuilderProblem, type FlowEdgeInput, type FlowEdgeOptions, flowNetworks as FlowNetworks, type FlowNode, type FlowProblemInputBase, type FocusEntryDto, ForbiddenError, forecast as Forecast, type ForecastDomain, type ForecastDomainsResponse, type ForecastEntityInput, type ForecastRequest, type ForecastResponse, type ForwardChainRequest, type ForwardChainResponse, functions as Functions, fuzzy as Fuzzy, FuzzyShape, type FuzzyShapeDto, generation as Generation, type GlbRequest, type GlbResponse, type GraphSparqlQueryRequest, type GraphSparqlResults, guardrail as Guardrail, type GuardrailReport, type GuardrailRequest, type GuardrailSummary, health as Health, homoiconic as Homoiconic, ilp as ILP, imageExtraction as ImageExtraction, inference as Inference, type IngestPaperRequest, type IngestPaperResponse, ingestion as Ingestion, IngestionFailedError, IngestionSession, type IngestionSyncOptions, type InlineDocument, type InstallList, type InstallPluginRequest, type InstallPluginResponse, type InstallState, type InstallSummary, type Interceptor, InternalServerError, type JsonValue$1 as JsonValue, type KripkeState, type KripkeTransition, LP, ltn as LTN, type ListCatalogParams, type ListConversationsResponse, type ListInstallsParams, type ListResearchSessionsResponse, type LtnInstance, type LtnQueryRequest, type LtnQueryResponse, type LtnRefuteRequest, type LtnRefuteResponse, type LtnRule, type LtnTrainRequest, type LtnTrainResponse, type LubRequest, type LubResponse, marketplace as Marketplace, type MarketplaceScope, type MaxFlowInput, type MaxFlowVars, type MinCostMaxFlowInput, type MinCostMaxFlowVars, type MinCutInput, type MinCutVars, namespaces as Namespaces, NetworkError, neuroSymbolic as NeuroSymbolic, NotFoundError, ontology as Ontology, ontologyAlignment as OntologyAlignment, ontologyBridge as OntologyBridge, ontologyExport as OntologyExport, type OntologyExportDocument, type OntologyExportFormat, type OntologyExportOptions, ontologyFacade as OntologyFacade, type Operand, operations as Operations, optimize as Optimize, osfDiff as OsfDiff, type OsfDiffReport, type OsfDiffRequest, type OsfDiffResponse, type OsfDiffSelector, type OsfDiffSequenceReport, type OsfDiffSequenceRequest, type OsfDiffSequenceResponse, type OsfDiffTemporalRequest, type OsfSearchRequest, type OsfSearchResponse, osfql as Osfql, type OsfqlRequest, type OsfqlResponse, type OsfqlValue, oversight as Oversight, type PaginationParams, type PaperMetadataDto, type PaperSource, type PlainFeatureMap, type PlainFeatureValue, plainValues as PlainValues, type PluginDependency, type PluginDetail, type PluginManifest, type PluginSummary, type PluginVersion, preferences as Preferences, proofEngine as ProofEngine, propertyGraph as PropertyGraph, type PropertyGraphErrorResponse, type PropertyGraphExecuteResponse, type PropertyGraphQueryRequest, type PropertyGraphTranslateResponse, type PropertyGraphValue, type PsiTermDto, type PsiTermInput, type PublishPluginRequest, type PublishPluginResponse, query as Query, rag as RAG, RateLimitError, type RateLimitInfo, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type ReasoningStageDto, type ReasoningTraceDto, type RequestOptions, research as Research, type ResearchContradictionsResponse, type ResearchCycleResponse, type ResearchFindingsResponse, type ResearchGapsResponse, type ResearchReportResponse, type ResearchSessionResponse, type ResearchSessionSummaryDto, type ResolvedCoreferenceDto, reviews as Reviews, reward as Reward, row as Row, type RuleAggregatorDto, type RunAgentRequest, SDK_VERSION, sat as Sat, type SatLiteralDto, type SatSolveRequest, type SatSolveResponse, type SatVerdict, scenarios as Scenarios, scheduling as Scheduling, type SearchCatalogRequest, type SearchCatalogResponse, type SearchPapersRequest, type SearchPapersResponse, type SessionGraphDto, type SimpleTgdDto, smt as Smt, type SmtCheckRequest, type SmtCheckResponse, type SmtFunctionApplicationDto, type SmtVerdict, solver as Solver, SortBuilder, type SortDto, type SortInfoDto, sorts as Sorts, sources as Sources, spaces as Spaces, sparql as Sparql, type SparqlAskResults, type SparqlBindingSet, type SparqlEntailmentRegime, type SparqlQueryRequest, type SparqlQueryResults, type SparqlRdfTerm, type SparqlSelectResults, type SparqlTranslation, type SparqlUpdateRequest, type SparqlUpdateTranslation, speakers as Speakers, speech as Speech, statistical as Statistical, streaming as Streaming, synthetic as Synthetic, type SystemGroup, temporal as Temporal, type TemporalModelCheckRequest, type TemporalModelCheckResponse, type TemporalSeriesRequest, type TemporalSeriesResponse, type TemporalSeriesSpec, type TermDto, type TermInputArg, type TermInputDto, type TermListResponse, type TermPatternDto, type TermResponse, type TermSetSelector, terms as Terms, TimeoutError, translation as Translation, type TurnDto, ui as UI, type UpdateTermRequest, type UpgradeInstallRequest, utilities as Utilities, ValidationError, Value, type ValueDto, values as Values, verification as Verification, type VerifyClaimRequest, type VerifyClaimResponse, vision as Vision, visualization as Visualization, WebSocketClient, WebSocketConnection, webhookActions as WebhookActions, type WorkflowGroup, type YankPluginRequest, type YankPluginResponse, allen, constrained, discriminateFeatureValue, guard, isConstrainedPlainVar, isPsiTermInput, isTaggedValueDto, isUuid, psi, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };

package/dist/index.d.ts

@@ -109,7 +109,7 @@ type JsonValue$1 = string | number | boolean | null | JsonValue$1[] | object;
  * This is the single source of truth for the version constant.
  * The `scripts/release.sh` script updates this value alongside `package.json`.
  */
-declare const SDK_VERSION = "1.17.0";
+declare const SDK_VERSION = "1.18.0";
 /**
  * Authentication mode for the SDK.
  *
@@ -8515,6 +8515,24 @@ interface EffectPredictionDto$1 {
     /** @format double */
     std_dev: number;
 }
+/** Rank request: one query, and the candidates to score against it. */
+interface EmbeddingRankRequest$1 {
+    /**
+     * Candidate texts. Scored in place — the response is index-aligned with
+     * this list, so the caller can zip it back onto whatever it retrieved.
+     */
+    candidates: string[];
+    /** The text every candidate is scored against. */
+    query: string;
+}
+/** Rank response: one cosine similarity per candidate, in request order. */
+interface EmbeddingRankResponse$1 {
+    /**
+     * Cosine similarity in `[-1.0, 1.0]`, same length and same order as
+     * `candidates`. A candidate with no scoreable text scores `0.0`.
+     */
+    scores: number[];
+}
 /** Response for the embedding verification endpoint. */
 interface EmbeddingVerificationResponse$1 {
     /** Whether box embeddings are available. */
@@ -9215,6 +9233,20 @@ interface EvidenceItemDto$1 {
      * @format double
      */
     contribution: number;
+    /**
+     * The evidence term's own human-readable sentence, when it has one.
+     *
+     * Without this the only identity an evidence row carried was `term_id`, so
+     * every consumer rendered supporting evidence as `Evidence item <uuid>`
+     * while the term itself held e.g. *"Aspirin reduces_risk_of Cardiovascular
+     * Disease"* — the assessment path reported its own findings unreadably
+     * (#138). Resolved from the term under the same deterministic display-name
+     * precedence `TermDto.display_name` uses, so the two never disagree.
+     *
+     * Optional and omitted when empty: a consumer written before this field
+     * existed deserializes the response unchanged and keeps its own fallback.
+     */
+    description?: string | null;
     /**
      * Quality weight of this evidence (0.0-1.0)
      * @format double
@@ -31414,7 +31446,7 @@ declare class Query<SecurityDataType = unknown> {
     http: HttpClient<SecurityDataType>;
     constructor(http: HttpClient<SecurityDataType>);
     /**
-     * @description Returns all terms with the specified sort OR any of its subtypes. This implements proper OSF polymorphic query semantics where querying a parent sort returns all instances of that sort and its descendants.
+     * @description Returns all terms with the specified sort OR any of its subtypes. This implements proper OSF polymorphic query semantics where querying a parent sort returns all instances of that sort and its descendants. ## Resolving `sort_name` A name can denote more than one id (see `sort_name_candidates`), and no cheap probe tells which of them the query can actually answer from: on the production adapter `get_sort` and `get_sort_ids_by_names` are bare reads of an in-memory cache with no persistence fallback, while the query's own `get_compatible_sorts` does fall back to Postgres. Confirming a candidate with `get_sort` would therefore 404 every tenant sort created before the last restart — a guard strictly stricter than the thing it guards. So the candidates are **tried** against the real query, in order, and the first that answers wins; only `SortNotFound` moves on to the next, every other failure is returned as-is. When the first candidate answers — the common case — the route runs exactly one term query, as it always did. A phantom id (minted into the tenant lattice by ingestion and never persisted, #138) cannot be returned: the query authority refuses it and the loop skips past it. When no candidate answers, the sort is not queryable and the honest reply is 404 naming the sort the CALLER asked for — never a 400 leaking an internal `SortId` the caller never supplied.
      *
      * @tags query
      * @name FindBySort
@@ -43301,6 +43333,19 @@ interface EvidenceAssessmentRequest {
 interface EvidenceItemDto {
     /** Contribution to the assessment (quality * support direction). */
     contribution: number;
+    /**
+     * The evidence term's own human-readable sentence, e.g.
+     * `"Aspirin reduces_risk_of Cancer"`.
+     *
+     * `termId` is a UUID no consumer can render, so without this an evidence row
+     * could only be shown as `Evidence item <uuid>`. The backend resolves it from
+     * the term under the same display-name precedence `TermDto.displayName` uses,
+     * so the sentence shown here and the one shown for the term never disagree.
+     *
+     * `null` when talking to a backend that predates evidence descriptions, or
+     * when the evidence term carries no description of its own.
+     */
+    description?: string | null;
     /** Quality weight of this evidence (0.0-1.0). */
     qualityWeight: number;
     /** Whether this evidence supports (true) or contradicts (false) the subject. */
@@ -43579,6 +43624,13 @@ declare class ReasoningClient {
     /**
      * Assess the truthfulness/validity of a subject based on related evidence.
      *
+     * @remarks
+     * Each item in the supporting/contradicting breakdown carries a
+     * `description` — the evidence term's own sentence,
+     * e.g. `"Aspirin reduces_risk_of Cancer"` — so evidence can be rendered
+     * without a second lookup by `termId`. It is `null` against a backend that
+     * predates the field.
+     *
      * @param request - Evidence assessment request.
      * @returns Assessment result with truthfulness score, label, and evidence breakdown.
      */
@@ -57479,6 +57531,18 @@ interface VerifyClaimRequest {
     claimTermId: string;
     /** Evidence sort ID (UUID). */
     evidenceSortId: string;
+    /**
+     * Session whose knowledge base holds the claim, if any.
+     *
+     * A research session's terms live under a tenant of its own, so a claim a
+     * run produced is invisible to a lookup against the deployment's configured
+     * tenant — name the session and the verification is performed where the term
+     * actually is. Omit it for a claim asserted outside any session.
+     *
+     * The session must belong to the caller's tenant; another tenant's session id
+     * answers 404, exactly as an absent one does.
+     */
+    sessionId?: string | null;
 }
 /** Response from claim verification. */
 interface VerifyClaimResponse {
@@ -71151,6 +71215,148 @@ declare class ConnectorsClient {
     oauthCallback(name: string, query?: OAuthCallbackQuery): Promise<Response>;
 }
 
+declare class Embeddings<SecurityDataType = unknown> {
+    http: HttpClient<SecurityDataType>;
+    constructor(http: HttpClient<SecurityDataType>);
+    /**
+     * @description POST /api/v1/embeddings/rank
+     *
+     * @tags embeddings
+     * @name RankEmbeddings
+     * @summary Score every candidate against the query by embedding cosine similarity.
+     * @request POST:/api/v1/embeddings/rank
+     * @secure
+     */
+    rankEmbeddings: (data: EmbeddingRankRequest$1, params?: RequestParams) => Promise<HttpResponse<EmbeddingRankResponse$1, void>>;
+}
+
+/**
+ * Embedding-space ranking — `POST /api/v1/embeddings/rank`.
+ *
+ * Scores candidate texts against a query by cosine similarity in the
+ * deployment's shared sentence-embedding space. The endpoint never reorders and
+ * never truncates: it reports one similarity per candidate, in request order,
+ * and leaves the ranking policy to the caller.
+ *
+ * Distinct from the RAG search in `types/rag.ts` (which retrieves from the
+ * knowledge base) — nothing here reads or writes the KB.
+ *
+ * @module
+ */
+/** Body of `POST /api/v1/embeddings/rank` — one query, and the texts to score against it. */
+interface EmbeddingRankRequest {
+    /**
+     * Candidate texts, scored in place — the response is index-aligned with this
+     * list, so the caller can zip the scores back onto whatever it retrieved.
+     *
+     * An empty list is valid and yields an empty score list. The backend caps the
+     * list at 512 candidates and answers `400` above that; rank in pages instead.
+     * A blank candidate is not an error — it keeps its slot and scores `0`.
+     */
+    candidates: string[];
+    /**
+     * The text every candidate is scored against. Must be non-blank
+     * (the backend answers `400` otherwise).
+     *
+     * Capped at 8192 **characters**, as is each candidate; longer text is a `400`.
+     */
+    query: string;
+}
+/** Response of `POST /api/v1/embeddings/rank`. */
+interface EmbeddingRankResponse {
+    /**
+     * Cosine similarity in `[-1, 1]`, same length and same order as the request's
+     * `candidates` — index `i` scores `candidates[i]`.
+     *
+     * Higher is more similar. A candidate with no scoreable text (blank or
+     * whitespace-only) scores `0`, which is the same value an orthogonal candidate
+     * gets: absence of signal, not evidence of dissimilarity.
+     */
+    scores: number[];
+}
+
+type embeddings_EmbeddingRankRequest = EmbeddingRankRequest;
+type embeddings_EmbeddingRankResponse = EmbeddingRankResponse;
+declare namespace embeddings {
+  export type { embeddings_EmbeddingRankRequest as EmbeddingRankRequest, embeddings_EmbeddingRankResponse as EmbeddingRankResponse };
+}
+
+/**
+ * Resource client for embedding-space ranking
+ * (`POST /api/v1/embeddings/rank`).
+ *
+ * @remarks
+ * Scores candidate texts against a query by cosine similarity in the
+ * deployment's shared sentence-embedding space — the same embedder the backend
+ * already loads, so a caller does not have to ship a second sentence
+ * transformer into its own process just to choose which of N retrieved items to
+ * spend an expensive step on.
+ *
+ * The endpoint is a pure function of the request: it reads no tenant data,
+ * writes nothing, and never reorders or truncates. It reports a similarity per
+ * candidate and stops there; the ranking policy stays with the caller.
+ *
+ * Uses the snake_case wire format (every field here happens to be a single
+ * word); no value serialization (`ValueDto` / `FeatureValueDto`) is involved.
+ *
+ * Delegates to the generated `Embeddings` route class for the type-safe HTTP call.
+ */
+declare class EmbeddingsClient {
+    /** @internal */
+    private readonly api;
+    /** @internal */
+    constructor(api: Embeddings);
+    /**
+     * Score every candidate against the query by embedding cosine similarity.
+     *
+     * @param request - The query and the candidate texts to score against it.
+     * @returns `scores` — one cosine similarity in `[-1, 1]` per candidate,
+     *   **index-aligned with `request.candidates`** (index `i` scores
+     *   `candidates[i]`) and the same length, so the scores can be zipped straight
+     *   back onto whatever was retrieved. Higher is more similar; a candidate
+     *   whose text is blank scores `0`.
+     * @throws {BadRequestError} `400` — the query is blank, the candidate list is
+     *   over the backend's 512-candidate cap, or the query / a candidate is over
+     *   8192 characters.
+     * @throws {ApiError} `503` when the deployment has **no embedding backend
+     *   configured** (or its embedder is unreachable / misconfigured). The SDK
+     *   surfaces every 5xx as an `InternalServerError`; read its `status` to tell
+     *   `503` (no embedder) from `500` (ranking failed).
+     *
+     * @remarks
+     * Distinguish "no embedder" from "no similarity": a deployment without an
+     * embedding backend answers `503` rather than a fabricated score, precisely so
+     * a caller cannot mistake it for "everything scored 0" and silently rank by
+     * noise. The documented fallback on a `503` is to keep the source order.
+     *
+     * An empty `candidates` list is valid, not an error: it answers `200` with an
+     * empty `scores` array, so a caller that retrieved nothing still gets a
+     * well-formed, index-aligned response.
+     *
+     * A `0` score is absence of signal, not evidence of dissimilarity — it is also
+     * what an orthogonal candidate and a blank candidate both receive.
+     *
+     * @example
+     * ```typescript
+     * const retrieved = [
+     *   { id: 'doc-1', text: 'Chaperones assist protein folding in the cytosol.' },
+     *   { id: 'doc-2', text: 'Quarterly revenue rose 12% year over year.' },
+     * ];
+     *
+     * const { scores } = await client.embeddings.rank({
+     *   query: 'how proteins fold',
+     *   candidates: retrieved.map((doc) => doc.text),
+     * });
+     *
+     * // Scores are index-aligned — zip them back onto what was retrieved.
+     * const ranked = retrieved
+     *   .map((doc, i) => ({ doc, score: scores[i] }))
+     *   .sort((a, b) => b.score - a.score);
+     * ```
+     */
+    rank(request: EmbeddingRankRequest): Promise<EmbeddingRankResponse>;
+}
+
 /** Core knowledge base operations — types, records, rules, functions, constraints, and queries. */
 interface CoreGroup {
     readonly types: SortsClient;
@@ -71442,6 +71648,8 @@ declare class ReasoningLayerClient {
     readonly speech: SpeechClient;
     /** External data connectors — register / list / remove / connect / disconnect + OAuth callback. */
     readonly connectors: ConnectorsClient;
+    /** Embedding-space ranking — cosine score per candidate against a query, index-aligned. */
+    readonly embeddings: EmbeddingsClient;
     private _core?;
     private _ai?;
     private _reasoning?;
@@ -72916,4 +73124,4 @@ declare function toUntaggedFeatures(features: PlainFeatureMap): Record<string, F
  */
 declare function toTermInputDto(input: PsiTermInput | TermInputDto): TermInputDto;
 
-export { ANY_ROLE, actionReviews as ActionReviews, actions as Actions, type AddFactRequest, type AddFactResponse, type AddRuleRequest, type AddRuleResponse, admin as Admin, agui as Agui, type AguiContextItem, type AguiEvent, type AguiFunctionCall, type AguiMessage, type AguiRole, type AguiRunOptions, type AguiTool, type AguiToolCall, type AiGroup, type AlcConcept, analysis as Analysis, type AnalysisGroup, anonymization as Anonymization, ApiError, type ApiResponse, type ArithmeticOp, type AuthConfig, AuthenticationError, authz as Authz, type AuthzAction, type AuthzDryRunRequest, type AuthzDryRunResponse, type AuthzEffect, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkCreateSortsRequest, type BulkCreateSortsResponse, cdl as CDL, type CascadeOptions, type CatalogPage, causal as Causal, type CertificateDetail, chase as Chase, type ChaseArgDto, type ChaseAtomDto, type ChaseRunRequest, type ChaseRunResponse, type CheckDocumentRequest, type CheckDocumentResponse, type CheckFinding, type CheckSummary, type ClaimAssessment, type ClaimCitation, type ClaimSubtype, type ClaimVerdict, type ClassifyEdgesInput, type ClassifyEdgesVars, type ClearTermsResponse, type ClientConfig, cognitive as Cognitive, type CognitiveStrategyDto, coherence as Coherence, type CoherenceAnalyzeRequest, type CoherenceAnalyzeResponse, collections as Collections, communities as Communities, type CompareDocumentsRequest, type ComparisonOp, compliance as Compliance, complianceMarkings as ComplianceMarkings, conformal as Conformal, conformance as Conformance, type ConformanceCheckResponse, type ConformanceRepairResponse, type ConformanceRequest, connectors as Connectors, type ConstrainedPlainVar, Constraint, ConstraintViolationError, constraints as Constraints, control as Control, conversation as Conversation, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationSummaryDto, type ConversationTurnsResponse, type CoreGroup, corpus as Corpus, type CorpusBridgesRequest, type CorpusBridgesResponse, type CorpusCommunitiesRequest, type CorpusCommunitiesResponse, type CorpusCrossCuttingRequest, type CorpusCrossCuttingResponse, type CorpusScope, type CreateResearchSessionRequest, type CreateResearchSessionResponse, type CreateSortRequest, type CreateTermRequest, type CtlFormula, dl as DL, type DataGroup, demo as Demo, discovery as Discovery, type DlSatisfiableRequest, type DlSatisfiableResponse, type DlSubsumesRequest, type DlSubsumesResponse, documentCheck as DocumentCheck, documents as Documents, type EqLiteralDto, type EqualityAtomDto, type ErrorResponse$1 as ErrorResponse, execution as Execution, extract as Extract, feasibility as Feasibility, type FeatureInputValueDto, type FeatureValueDto, type FindingKind, type FindingSeverity, Flow, type FlowProblem as FlowBuilderProblem, type FlowEdgeInput, type FlowEdgeOptions, flowNetworks as FlowNetworks, type FlowNode, type FlowProblemInputBase, type FocusEntryDto, ForbiddenError, forecast as Forecast, type ForecastDomain, type ForecastDomainsResponse, type ForecastEntityInput, type ForecastRequest, type ForecastResponse, type ForwardChainRequest, type ForwardChainResponse, functions as Functions, fuzzy as Fuzzy, FuzzyShape, type FuzzyShapeDto, generation as Generation, type GlbRequest, type GlbResponse, type GraphSparqlQueryRequest, type GraphSparqlResults, guardrail as Guardrail, type GuardrailReport, type GuardrailRequest, type GuardrailSummary, health as Health, homoiconic as Homoiconic, ilp as ILP, imageExtraction as ImageExtraction, inference as Inference, type IngestPaperRequest, type IngestPaperResponse, ingestion as Ingestion, IngestionFailedError, IngestionSession, type IngestionSyncOptions, type InlineDocument, type InstallList, type InstallPluginRequest, type InstallPluginResponse, type InstallState, type InstallSummary, type Interceptor, InternalServerError, type JsonValue$1 as JsonValue, type KripkeState, type KripkeTransition, LP, ltn as LTN, type ListCatalogParams, type ListConversationsResponse, type ListInstallsParams, type ListResearchSessionsResponse, type LtnInstance, type LtnQueryRequest, type LtnQueryResponse, type LtnRefuteRequest, type LtnRefuteResponse, type LtnRule, type LtnTrainRequest, type LtnTrainResponse, type LubRequest, type LubResponse, marketplace as Marketplace, type MarketplaceScope, type MaxFlowInput, type MaxFlowVars, type MinCostMaxFlowInput, type MinCostMaxFlowVars, type MinCutInput, type MinCutVars, namespaces as Namespaces, NetworkError, neuroSymbolic as NeuroSymbolic, NotFoundError, ontology as Ontology, ontologyAlignment as OntologyAlignment, ontologyBridge as OntologyBridge, ontologyExport as OntologyExport, type OntologyExportDocument, type OntologyExportFormat, type OntologyExportOptions, ontologyFacade as OntologyFacade, type Operand, operations as Operations, optimize as Optimize, osfDiff as OsfDiff, type OsfDiffReport, type OsfDiffRequest, type OsfDiffResponse, type OsfDiffSelector, type OsfDiffSequenceReport, type OsfDiffSequenceRequest, type OsfDiffSequenceResponse, type OsfDiffTemporalRequest, type OsfSearchRequest, type OsfSearchResponse, osfql as Osfql, type OsfqlRequest, type OsfqlResponse, type OsfqlValue, oversight as Oversight, type PaginationParams, type PaperMetadataDto, type PaperSource, type PlainFeatureMap, type PlainFeatureValue, plainValues as PlainValues, type PluginDependency, type PluginDetail, type PluginManifest, type PluginSummary, type PluginVersion, preferences as Preferences, proofEngine as ProofEngine, propertyGraph as PropertyGraph, type PropertyGraphErrorResponse, type PropertyGraphExecuteResponse, type PropertyGraphQueryRequest, type PropertyGraphTranslateResponse, type PropertyGraphValue, type PsiTermDto, type PsiTermInput, type PublishPluginRequest, type PublishPluginResponse, query as Query, rag as RAG, RateLimitError, type RateLimitInfo, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type ReasoningStageDto, type ReasoningTraceDto, type RequestOptions, research as Research, type ResearchContradictionsResponse, type ResearchCycleResponse, type ResearchFindingsResponse, type ResearchGapsResponse, type ResearchReportResponse, type ResearchSessionResponse, type ResearchSessionSummaryDto, type ResolvedCoreferenceDto, reviews as Reviews, reward as Reward, row as Row, type RuleAggregatorDto, type RunAgentRequest, SDK_VERSION, sat as Sat, type SatLiteralDto, type SatSolveRequest, type SatSolveResponse, type SatVerdict, scenarios as Scenarios, scheduling as Scheduling, type SearchCatalogRequest, type SearchCatalogResponse, type SearchPapersRequest, type SearchPapersResponse, type SessionGraphDto, type SimpleTgdDto, smt as Smt, type SmtCheckRequest, type SmtCheckResponse, type SmtFunctionApplicationDto, type SmtVerdict, solver as Solver, SortBuilder, type SortDto, type SortInfoDto, sorts as Sorts, sources as Sources, spaces as Spaces, sparql as Sparql, type SparqlAskResults, type SparqlBindingSet, type SparqlEntailmentRegime, type SparqlQueryRequest, type SparqlQueryResults, type SparqlRdfTerm, type SparqlSelectResults, type SparqlTranslation, type SparqlUpdateRequest, type SparqlUpdateTranslation, speakers as Speakers, speech as Speech, statistical as Statistical, streaming as Streaming, synthetic as Synthetic, type SystemGroup, temporal as Temporal, type TemporalModelCheckRequest, type TemporalModelCheckResponse, type TemporalSeriesRequest, type TemporalSeriesResponse, type TemporalSeriesSpec, type TermDto, type TermInputArg, type TermInputDto, type TermListResponse, type TermPatternDto, type TermResponse, type TermSetSelector, terms as Terms, TimeoutError, translation as Translation, type TurnDto, ui as UI, type UpdateTermRequest, type UpgradeInstallRequest, utilities as Utilities, ValidationError, Value, type ValueDto, values as Values, verification as Verification, type VerifyClaimRequest, type VerifyClaimResponse, vision as Vision, visualization as Visualization, WebSocketClient, WebSocketConnection, webhookActions as WebhookActions, type WorkflowGroup, type YankPluginRequest, type YankPluginResponse, allen, constrained, discriminateFeatureValue, guard, isConstrainedPlainVar, isPsiTermInput, isTaggedValueDto, isUuid, psi, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };
+export { ANY_ROLE, actionReviews as ActionReviews, actions as Actions, type AddFactRequest, type AddFactResponse, type AddRuleRequest, type AddRuleResponse, admin as Admin, agui as Agui, type AguiContextItem, type AguiEvent, type AguiFunctionCall, type AguiMessage, type AguiRole, type AguiRunOptions, type AguiTool, type AguiToolCall, type AiGroup, type AlcConcept, analysis as Analysis, type AnalysisGroup, anonymization as Anonymization, ApiError, type ApiResponse, type ArithmeticOp, type AuthConfig, AuthenticationError, authz as Authz, type AuthzAction, type AuthzDryRunRequest, type AuthzDryRunResponse, type AuthzEffect, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkCreateSortsRequest, type BulkCreateSortsResponse, cdl as CDL, type CascadeOptions, type CatalogPage, causal as Causal, type CertificateDetail, chase as Chase, type ChaseArgDto, type ChaseAtomDto, type ChaseRunRequest, type ChaseRunResponse, type CheckDocumentRequest, type CheckDocumentResponse, type CheckFinding, type CheckSummary, type ClaimAssessment, type ClaimCitation, type ClaimSubtype, type ClaimVerdict, type ClassifyEdgesInput, type ClassifyEdgesVars, type ClearTermsResponse, type ClientConfig, cognitive as Cognitive, type CognitiveStrategyDto, coherence as Coherence, type CoherenceAnalyzeRequest, type CoherenceAnalyzeResponse, collections as Collections, communities as Communities, type CompareDocumentsRequest, type ComparisonOp, compliance as Compliance, complianceMarkings as ComplianceMarkings, conformal as Conformal, conformance as Conformance, type ConformanceCheckResponse, type ConformanceRepairResponse, type ConformanceRequest, connectors as Connectors, type ConstrainedPlainVar, Constraint, ConstraintViolationError, constraints as Constraints, control as Control, conversation as Conversation, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationSummaryDto, type ConversationTurnsResponse, type CoreGroup, corpus as Corpus, type CorpusBridgesRequest, type CorpusBridgesResponse, type CorpusCommunitiesRequest, type CorpusCommunitiesResponse, type CorpusCrossCuttingRequest, type CorpusCrossCuttingResponse, type CorpusScope, type CreateResearchSessionRequest, type CreateResearchSessionResponse, type CreateSortRequest, type CreateTermRequest, type CtlFormula, dl as DL, type DataGroup, demo as Demo, discovery as Discovery, type DlSatisfiableRequest, type DlSatisfiableResponse, type DlSubsumesRequest, type DlSubsumesResponse, documentCheck as DocumentCheck, documents as Documents, embeddings as Embeddings, type EqLiteralDto, type EqualityAtomDto, type ErrorResponse$1 as ErrorResponse, execution as Execution, extract as Extract, feasibility as Feasibility, type FeatureInputValueDto, type FeatureValueDto, type FindingKind, type FindingSeverity, Flow, type FlowProblem as FlowBuilderProblem, type FlowEdgeInput, type FlowEdgeOptions, flowNetworks as FlowNetworks, type FlowNode, type FlowProblemInputBase, type FocusEntryDto, ForbiddenError, forecast as Forecast, type ForecastDomain, type ForecastDomainsResponse, type ForecastEntityInput, type ForecastRequest, type ForecastResponse, type ForwardChainRequest, type ForwardChainResponse, functions as Functions, fuzzy as Fuzzy, FuzzyShape, type FuzzyShapeDto, generation as Generation, type GlbRequest, type GlbResponse, type GraphSparqlQueryRequest, type GraphSparqlResults, guardrail as Guardrail, type GuardrailReport, type GuardrailRequest, type GuardrailSummary, health as Health, homoiconic as Homoiconic, ilp as ILP, imageExtraction as ImageExtraction, inference as Inference, type IngestPaperRequest, type IngestPaperResponse, ingestion as Ingestion, IngestionFailedError, IngestionSession, type IngestionSyncOptions, type InlineDocument, type InstallList, type InstallPluginRequest, type InstallPluginResponse, type InstallState, type InstallSummary, type Interceptor, InternalServerError, type JsonValue$1 as JsonValue, type KripkeState, type KripkeTransition, LP, ltn as LTN, type ListCatalogParams, type ListConversationsResponse, type ListInstallsParams, type ListResearchSessionsResponse, type LtnInstance, type LtnQueryRequest, type LtnQueryResponse, type LtnRefuteRequest, type LtnRefuteResponse, type LtnRule, type LtnTrainRequest, type LtnTrainResponse, type LubRequest, type LubResponse, marketplace as Marketplace, type MarketplaceScope, type MaxFlowInput, type MaxFlowVars, type MinCostMaxFlowInput, type MinCostMaxFlowVars, type MinCutInput, type MinCutVars, namespaces as Namespaces, NetworkError, neuroSymbolic as NeuroSymbolic, NotFoundError, ontology as Ontology, ontologyAlignment as OntologyAlignment, ontologyBridge as OntologyBridge, ontologyExport as OntologyExport, type OntologyExportDocument, type OntologyExportFormat, type OntologyExportOptions, ontologyFacade as OntologyFacade, type Operand, operations as Operations, optimize as Optimize, osfDiff as OsfDiff, type OsfDiffReport, type OsfDiffRequest, type OsfDiffResponse, type OsfDiffSelector, type OsfDiffSequenceReport, type OsfDiffSequenceRequest, type OsfDiffSequenceResponse, type OsfDiffTemporalRequest, type OsfSearchRequest, type OsfSearchResponse, osfql as Osfql, type OsfqlRequest, type OsfqlResponse, type OsfqlValue, oversight as Oversight, type PaginationParams, type PaperMetadataDto, type PaperSource, type PlainFeatureMap, type PlainFeatureValue, plainValues as PlainValues, type PluginDependency, type PluginDetail, type PluginManifest, type PluginSummary, type PluginVersion, preferences as Preferences, proofEngine as ProofEngine, propertyGraph as PropertyGraph, type PropertyGraphErrorResponse, type PropertyGraphExecuteResponse, type PropertyGraphQueryRequest, type PropertyGraphTranslateResponse, type PropertyGraphValue, type PsiTermDto, type PsiTermInput, type PublishPluginRequest, type PublishPluginResponse, query as Query, rag as RAG, RateLimitError, type RateLimitInfo, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type ReasoningStageDto, type ReasoningTraceDto, type RequestOptions, research as Research, type ResearchContradictionsResponse, type ResearchCycleResponse, type ResearchFindingsResponse, type ResearchGapsResponse, type ResearchReportResponse, type ResearchSessionResponse, type ResearchSessionSummaryDto, type ResolvedCoreferenceDto, reviews as Reviews, reward as Reward, row as Row, type RuleAggregatorDto, type RunAgentRequest, SDK_VERSION, sat as Sat, type SatLiteralDto, type SatSolveRequest, type SatSolveResponse, type SatVerdict, scenarios as Scenarios, scheduling as Scheduling, type SearchCatalogRequest, type SearchCatalogResponse, type SearchPapersRequest, type SearchPapersResponse, type SessionGraphDto, type SimpleTgdDto, smt as Smt, type SmtCheckRequest, type SmtCheckResponse, type SmtFunctionApplicationDto, type SmtVerdict, solver as Solver, SortBuilder, type SortDto, type SortInfoDto, sorts as Sorts, sources as Sources, spaces as Spaces, sparql as Sparql, type SparqlAskResults, type SparqlBindingSet, type SparqlEntailmentRegime, type SparqlQueryRequest, type SparqlQueryResults, type SparqlRdfTerm, type SparqlSelectResults, type SparqlTranslation, type SparqlUpdateRequest, type SparqlUpdateTranslation, speakers as Speakers, speech as Speech, statistical as Statistical, streaming as Streaming, synthetic as Synthetic, type SystemGroup, temporal as Temporal, type TemporalModelCheckRequest, type TemporalModelCheckResponse, type TemporalSeriesRequest, type TemporalSeriesResponse, type TemporalSeriesSpec, type TermDto, type TermInputArg, type TermInputDto, type TermListResponse, type TermPatternDto, type TermResponse, type TermSetSelector, terms as Terms, TimeoutError, translation as Translation, type TurnDto, ui as UI, type UpdateTermRequest, type UpgradeInstallRequest, utilities as Utilities, ValidationError, Value, type ValueDto, values as Values, verification as Verification, type VerifyClaimRequest, type VerifyClaimResponse, vision as Vision, visualization as Visualization, WebSocketClient, WebSocketConnection, webhookActions as WebhookActions, type WorkflowGroup, type YankPluginRequest, type YankPluginResponse, allen, constrained, discriminateFeatureValue, guard, isConstrainedPlainVar, isPsiTermInput, isTaggedValueDto, isUuid, psi, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };