@kortexya/reasoninglayer 1.28.0 → 2.1.0

package/dist/index.d.cts

@@ -1,14 +1,30 @@
 /**
  * Generic API response wrapper providing access to response metadata.
  *
- * Returned by resource client methods when called via `.withMetadata()`.
+ * @remarks
+ * ⚠️ **No resource method returns this.** Every resource method resolves to the
+ * parsed body alone. This shape is what {@link HttpClient.requestWithMetadata}
+ * answers, and nothing in the SDK calls that either — a planned
+ * `.withMetadata()` accessor was documented here and never built.
+ *
+ * To read a successful response's status, headers or rate-limit budget, use a
+ * {@link Interceptor}: it wraps every request the client makes. On a FAILURE,
+ * {@link ApiError} already carries `status` and `headers` directly.
  *
  * @example
  * ```typescript
- * const result = await client.sorts.withMetadata().getSort(sortId);
- * console.log(result.data);      // SortDto
- * console.log(result.status);    // 200
- * console.log(result.rateLimit); // { limit: 100, remaining: 99, retryAfter: null }
+ * const client = new ReasoningLayerClient({
+ *   baseUrl,
+ *   tenantId,
+ *   auth: { mode: 'cookie' },
+ *   interceptors: [
+ *     async (request, next) => {
+ *       const response = await next(request);
+ *       console.log(response.status, response.headers.get('x-ratelimit-remaining'));
+ *       return response;
+ *     },
+ *   ],
+ * });
  * ```
  */
 interface ApiResponse<T> {
@@ -130,7 +146,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.28.0";
+declare const SDK_VERSION = "2.1.0";
 /**
  * Authentication mode for the SDK.
  *
@@ -6003,7 +6019,7 @@ interface ConditionalIndependenceResponse$1 {
  * remain client-side presentation — the backend publishes only what would
  * otherwise drift from what registration requires.
  */
-interface ConfigFieldDto {
+interface ConfigFieldDto$1 {
     /**
      * Wire-format key. The client must pass this key verbatim inside the
      * `config` object of `POST /api/v1/sources` — the factory reads it by
@@ -10995,12 +11011,12 @@ type ExecStatusDoc = "Executes" | {
  * decides the dialect. Asking a caller to supply it would let them ask for
  * Cypher against Postgres, which is not a question with an answer.
  */
-interface ExecuteTranspiledRequest {
+interface ExecuteTranspiledRequest$1 {
     /** OSFQL query to transpile and execute. */
     osfql: string;
 }
 /** Rows from a live source, with the query that fetched them. */
-interface ExecuteTranspiledResponse {
+interface ExecuteTranspiledResponse$1 {
     /** Dialect of `query` — `postgres`, `mysql`, `sqlite`, `cypher` or `cql`. */
     dialect: string;
     /**
@@ -14086,6 +14102,22 @@ interface GetPreorderDegreeRequest$1 {
      * @format uuid
      */
     sort2_id: string;
+    /**
+     * Which of the paper's two preorders to read — Example V.4's granularity,
+     * spelled exactly as `GET /api/v1/sorts/quotient-order` spells it.
+     *
+     * - omitted or `"similarity_deleted"` — Definition IV.5, `≾̇`. The
+     *   default, because it is the relation the graded GLB and term
+     *   substitutability are computed from: a directly-similar PAIR answers
+     *   `0`, because two similar sorts meet through their GLB rather than
+     *   through each other.
+     * - `"combined"` — Definition IV.1, `≺∼`, where a similarity edge IS a
+     *   step, so a directly-similar pair answers its similarity degree. The
+     *   coarse retrieval mode, and the reading equivalence classes use.
+     *
+     * Anything else answers `400` naming both spellings (#282).
+     */
+    granularity?: string | null;
 }
 /**
  * Response for preorder degree query
@@ -14124,13 +14156,19 @@ interface GetPreorderDegreeResponse$1 {
      * @format double
      */
     degree: number;
+    /**
+     * Which relation produced `degree` — `"similarity_deleted"` (Def. IV.5)
+     * or `"combined"` (Def. IV.1). Always present, so a `0.0` is never
+     * ambiguous between "no path" and "the pair deletion zeroed it" (#282).
+     */
+    granularity: string;
 }
 /**
  * Response for the Definition IV.9 quotient order: the equivalence classes
  * with their per-class degrees αs, and the fuzzy PARTIAL order between the
  * classes (Prop. IV.11 — antisymmetric, unlike either preorder).
  */
-interface GetQuotientOrderResponse {
+interface GetQuotientOrderResponse$1 {
     /** The classes, each with its degree αs. */
     classes: QuotientClass[];
     /**
@@ -23148,12 +23186,20 @@ interface ProofDto$1 {
     certainty: number;
     /** Human-readable rendering of the proven goal (the conclusion). */
     goal_display?: string;
-    /** @format uuid */
-    goal_term_id: string;
-    /** How the goal at this node was established: "proved" (a rule was applied — either fired in this search or recovered from the recorded derivation of a materialised conclusion; rule_term_id and rule_label are present), "fact" (a stored fact with no recorded derivation), "residuated" (a suspended/unknown open-world leaf), "unattributed" (a sound answer whose derivation the engine could not report; goal_term_id names no stored term and no subproof is attributed either). A conjunctive root — a goal carrying constraint clauses — reports the strongest kind its clauses carry: "proved" when any clause was proved, else "fact". Always present. */
+    /**
+     * TermId of the CONCLUSION this node proved — the id that joins to POST /api/v1/query/by-sort and GET /api/v1/terms/{id}. ABSENT when the conclusion was never materialised (a proof with no preceding CHAIN) or when the derivation was replayed rather than recorded, so a client falls back deliberately rather than by accident (#281).
+     * @format uuid
+     */
+    goal_term_id?: string;
+    /** How the goal at this node was established: "proved" (a rule was applied — either fired in this search or recovered from the recorded derivation of a materialised conclusion; rule_term_id and rule_label are present), "fact" (a stored fact with no recorded derivation), "residuated" (a suspended/unknown open-world leaf), "unattributed" (a sound answer whose derivation the engine could not report; the node names no stored term and no subproof is attributed either). A conjunctive root — a goal carrying constraint clauses — reports the strongest kind its clauses carry: "proved" when any clause was proved, else "fact". Always present. */
     kind: "proved" | "fact" | "residuated" | "unattributed";
     /** True iff this node is a residuated (suspended/unknown) leaf — an open-world antecedent with neither a witnessing fact nor a deriving rule. Unknown, never false. */
     residuated?: boolean;
+    /**
+     * TermId of the rule's instantiated HEAD — the template the search unified with. Present only on a rule application, and only when it differs from the conclusion. It is rule scaffolding: GET /api/v1/terms/{id} refuses it deliberately (#192). It is a grouping key, not a fetchable id (#281).
+     * @format uuid
+     */
+    rule_head_term_id?: string;
     /** Human-readable rendering of the rule applied (None for a fact). */
     rule_label?: string;
     /** @format uuid */
@@ -25639,7 +25685,7 @@ type RiskTier$1 = "read" | "additive_write" | "targeted_destructive" | "bulk_des
  * domain type carries no `utoipa::ToSchema`, so this DTO supplies the
  * OpenAPI schema while keeping the field names identical.
  */
-interface RiskTotalsDto {
+interface RiskTotalsDto$1 {
     /**
      * Share of *checked* responses that were fabricating. `null` when
      * nothing was checked — a rate over zero checks is undefined, not
@@ -28949,7 +28995,7 @@ interface SourceTypeDto$1 {
      * type. Empty for types that are not factory-registrable (none today) or
      * whose config is opaque.
      */
-    config_fields: ConfigFieldDto[];
+    config_fields: ConfigFieldDto$1[];
     /**
      * Canonical type string accepted by `POST /api/v1/sources`.
      * @example "mysql"
@@ -29825,7 +29871,7 @@ interface SummaryResponse$1 {
     per_actor: Partial<Record<string, number>>;
     per_request_path: Partial<Record<string, number>>;
     /** Per-grade counts over the same records. See [`RiskTotalsDto`]. */
-    risk: RiskTotalsDto;
+    risk: RiskTotalsDto$1;
     tenant_id: string;
     ts_first?: string | null;
     ts_last?: string | null;
@@ -33317,11 +33363,11 @@ declare class Sorts<SecurityDataType = unknown> {
      */
     getFuzzySubsumption: (data: GetFuzzySubsumptionRequest$1, params?: RequestParams) => Promise<HttpResponse<GetFuzzySubsumptionResponse$1, any>>;
     /**
-     * @description Per Definition IV.5 (Milanese & Pasi, IEEE TFS 2024 — CC-BY manuscript in reasoninglayer-sources/pdf_sources/), verbatim: ≺∼· ≝ ((≺∼ .− ∼) ⊍ ⪯)⊕ The combined chain preorder ≺∼ of Definition IV.1 with every DIRECTLY-similar pair deleted (`.−` zeroes the pair — it is not an arithmetic difference), the crisp order unioned back, and the result re-closed. A chain survives when its ENDPOINTS are not directly similar: slasher ⪯ horror ∼₀.₅ thriller keeps 0.5 while (horror, thriller) itself answers 0 — two similar sorts meet through their GLB instead (Fig. 4c: horror ⩏ thriller = slasher). The combined ≺∼ — where a direct ∼ edge IS a step; the coarse retrieval mode of Example V.4 — backs equivalence classes and term substitutability internally. (History: the differencing form here is ORIGINAL and faithful; #203 swapped in the combined semantics, and a 2026-08-23 pass re-documented that as correct from secondary sources. The accepted manuscript settled it the other way.)
+     * @description Omitted, the answer is Def. IV.5 `≾̇` — the default because that is the relation the graded GLB and term substitutability are computed from. `granularity: "combined"` answers Def. IV.1 `≺∼`, where a similarity edge IS a step, so a directly-similar pair reads its similarity degree instead of the `0` the pair deletion gives it. A caller asking "how close are these two sorts" wants the second; a caller asking "does this sort substitute for that one" wants the first (#282). Per Definition IV.5 (Milanese & Pasi, IEEE TFS 2024 — CC-BY manuscript in reasoninglayer-sources/pdf_sources/), verbatim: ≺∼· ≝ ((≺∼ .− ∼) ⊍ ⪯)⊕ The combined chain preorder ≺∼ of Definition IV.1 with every DIRECTLY-similar pair deleted (`.−` zeroes the pair — it is not an arithmetic difference), the crisp order unioned back, and the result re-closed. A chain survives when its ENDPOINTS are not directly similar: slasher ⪯ horror ∼₀.₅ thriller keeps 0.5 while (horror, thriller) itself answers 0 — two similar sorts meet through their GLB instead (Fig. 4c: horror ⩏ thriller = slasher). The combined ≺∼ — where a direct ∼ edge IS a step; the coarse retrieval mode of Example V.4 — backs equivalence classes and term substitutability internally. (History: the differencing form here is ORIGINAL and faithful; #203 swapped in the combined semantics, and a 2026-08-23 pass re-documented that as correct from secondary sources. The accepted manuscript settled it the other way.)
      *
      * @tags sorts
      * @name GetPreorderDegree
-     * @summary Get preorder degree ≾̇(s₁, s₂) between two sorts
+     * @summary Get the preorder degree between two sorts, in either of the paper's two readings — `granularity` selects which, exactly as `GET /api/v1/sorts/quotient-order` does, and the answer echoes it back.
      * @request POST:/api/v1/sorts/preorder-degree
      */
     getPreorderDegree: (data: GetPreorderDegreeRequest$1, params?: RequestParams) => Promise<HttpResponse<GetPreorderDegreeResponse$1, any>>;
@@ -33341,7 +33387,7 @@ declare class Sorts<SecurityDataType = unknown> {
          * Definition IV.5's ≺∼·, where only chain cycles merge.
          */
         granularity?: string | null;
-    }, params?: RequestParams) => Promise<HttpResponse<GetQuotientOrderResponse, any>>;
+    }, params?: RequestParams) => Promise<HttpResponse<GetQuotientOrderResponse$1, any>>;
     /**
      * @description With `?format=osfql` the sort is returned as its commented OSFQL `DEFINE` block (`text/plain`, `ETag` = SHA-256 of the body) instead of the JSON DTO — the single-sort companion of `GET /api/v1/sorts/schema`.
      *
@@ -33782,11 +33828,32 @@ interface UninstantiatedValue {
  * A designator that names a stored term by its `@key` values instead of by id.
  *
  * @remarks
- * The SDK surface spells the sort key `sortName`; the wire spells it
- * `sort_name`. `features` is a USER-KEYED map — its keys are the OSF feature
- * names the sort declares, so they are carried verbatim through the request
- * bridge (`features` is in `USER_DATA_FIELDS`) and a camelCase feature such as
- * `invoiceNumber` is NOT snake_cased.
+ * ⚠️ **Pass `sortName`. The `sort_name` spelling shown for the wire is NOT
+ * accepted here.** The two spellings are not interchangeable through the SDK,
+ * and the compiler does not catch the swap: {@link ReferenceValue.value} is
+ * `string | ReferenceDesignator`, so an object carrying the wrong key stays
+ * assignable at a real call site. A designator sits INSIDE a `features` map,
+ * and `features` is carried verbatim by the request bridge, so nothing
+ * snake_cases `sortName` for you — and nothing camelCases `sort_name` either.
+ *
+ * Measured 2026-09-21. The same row, twice:
+ *
+ * ```text
+ * {type:"Reference", value:{sort_name:"customer", features:{…}}}
+ *   → 422 Failed to deserialize the JSON body into the target type:
+ *         terms[0]: data did not match any variant of untagged enum CreateTermInput
+ * {type:"Reference", value:{sortName:"customer",  features:{…}}}
+ *   → 201 {"termIds":["ba3b487e-…"],"termsAdded":1}
+ * ```
+ *
+ * The refusal names a byte offset and no feature, so nothing in it points at
+ * the key. Every caller migrating off a raw `fetch` holds the `sort_name`
+ * spelling, which is how this reaches production.
+ *
+ * `features` is a USER-KEYED map — its keys are the OSF feature names the sort
+ * declares, so they are carried verbatim through the request bridge (`features`
+ * is in `USER_DATA_FIELDS`) and a camelCase feature such as `invoiceNumber` is
+ * NOT snake_cased.
  *
  * **Every named feature must be declared `@key` on that sort**, and the
  * designator must name at least one. Measured against the engine on
@@ -33823,6 +33890,10 @@ interface ReferenceDesignator {
  * `{"type": "Reference", "value": {"sort_name": "...", "features": {...}}}`
  * for the designator form.
  *
+ * ⚠️ That `sort_name` is the WIRE spelling, written by the engine's own serde.
+ * Through this type the field is spelled `sortName` and the wire spelling is
+ * refused — see {@link ReferenceDesignator}, which is the shape `value` takes.
+ *
  * **The two forms are not interchangeable.** The designator is a WRITE-side
  * convenience: it RESOLVES to an existing term, and the engine refuses it when
  * nothing matches — it never mints the target. A READ always answers the
@@ -35461,10 +35532,38 @@ interface ProofDto {
      * when any clause was proved by a rule, else `fact`.
      */
     kind: ProofKind;
-    /** The goal term ID that was proved at this step. */
-    goalTermId: string;
+    /**
+     * Term ID of the CONCLUSION this node proved.
+     *
+     * @remarks
+     * This is a fetchable id: it joins to `client.query.findBySort()` and
+     * `client.terms.getTerm()`. Two solutions of one goal carry the SAME id only
+     * when they prove the same conclusion — a goal with several solutions
+     * therefore reports several distinct ids.
+     *
+     * ABSENT when no conclusion was materialised: a `PROVE` with no preceding
+     * `CHAIN` stores nothing, and a derivation replayed from the store cannot be
+     * attributed to one term. Read it as optional and fall back deliberately —
+     * {@link ProofDto.goalDisplay} renders the node without an id.
+     *
+     * Before engine issue #281 this field named the rule's instantiated head, so
+     * every solution of one goal shared one id and `getTerm()` answered 404 for
+     * it. That id is now {@link ProofDto.ruleHeadTermId}.
+     */
+    goalTermId?: string;
     /** The rule term ID used to prove this goal. */
     ruleTermId?: string;
+    /**
+     * Term ID of the rule's instantiated HEAD — the template the search unified
+     * with.
+     *
+     * @remarks
+     * Present only on a rule application, and only when it differs from
+     * {@link ProofDto.goalTermId}. It is rule scaffolding, NOT a fetchable id:
+     * `client.terms.getTerm()` refuses it deliberately. Use it as a grouping key
+     * — solutions sharing a `ruleHeadTermId` came from one rule application.
+     */
+    ruleHeadTermId?: string;
     /**
      * Human-readable rendering of the goal proven at this step — the conclusion,
      * e.g. `iam_permission(action: "view_file", object: "design.pdf", subject: "alice")`.
@@ -36914,7 +37013,7 @@ type SortStatusDto = {
 /**
  * Constraint on a feature within a sort's feature descriptor.
  *
- * Tagged union discriminated by `"type"`. Contains 16 variants covering
+ * Tagged union discriminated by `"type"`. Contains 17 variants covering
  * type constraints, range constraints, pattern constraints, path equations,
  * fuzzy constraints, and temporal constraints.
  */
@@ -36932,6 +37031,21 @@ type ConstraintDto = {
         min: number;
         max: number;
     };
+}
+/**
+ * A closed interval over the reals, the `Real` twin of `IntegerRange`.
+ *
+ * @remarks
+ * Both bounds are IEEE doubles and both are inclusive. Declared here as its
+ * own variant because a `Real` feature constrained through `IntegerRange`
+ * would round the bounds.
+ */
+ | {
+    type: 'RealRange';
+    value: {
+        min: number;
+        max: number;
+    };
 } | {
     type: 'StringPattern';
     value: string;
@@ -37652,19 +37766,56 @@ interface BulkSetSimilaritiesResponse {
     /** Any errors encountered. */
     errors?: string[];
 }
-/** Request to compute preorder degree between two sorts. */
+/**
+ * Which of the paper's two fuzzy preorders a degree is read from.
+ *
+ * @remarks
+ * - `similarity_deleted` — Definition IV.5, the dotted preorder. Every
+ *   DIRECTLY-similar pair is deleted from the combined preorder, the crisp
+ *   order is unioned back, and the result re-closed. A directly-similar pair
+ *   therefore answers `0`: two similar sorts meet through their GLB, not
+ *   through each other. This is the relation the graded GLB and term
+ *   substitutability are computed from.
+ * - `combined` — Definition IV.1, where a similarity edge IS a step, so a
+ *   directly-similar pair answers its similarity degree. The coarse retrieval
+ *   reading, and the one equivalence classes use.
+ *
+ * The same two spellings name the granularity of
+ * `GET /api/v1/sorts/quotient-order`. Any other value is rejected with `400`.
+ */
+type SortPreorderGranularity = 'similarity_deleted' | 'combined';
+/**
+ * Request to compute preorder degree between two sorts.
+ *
+ * @remarks
+ * Per Definition IV.5 (Milanese and Pasi, IEEE TFS 2024), the dotted preorder
+ * is `preorder_dot = ((combined_preorder .- similarity) union subsumption)^+`,
+ * where `.-` DELETES each directly-similar pair — it is not an arithmetic
+ * difference. `granularity` selects this reading or the combined one.
+ */
 interface GetPreorderDegreeRequest {
     /** First sort UUID. */
     sort1Id: string;
     /** Second sort UUID. */
     sort2Id: string;
+    /**
+     * Which preorder to read the degree from.
+     *
+     * @remarks
+     * Omitted means `similarity_deleted`, the engine's default. Ask for
+     * `combined` when the question is "how close are these two sorts"; keep the
+     * default when it is "does this sort substitute for that one".
+     */
+    granularity?: SortPreorderGranularity;
 }
 /**
  * Response for preorder degree query.
  *
  * @remarks
- * Per Definition IV.5 (Milanese and Pasi 2024), the combined preorder is:
- * `preorder_dot = ((similarity - subsumption) union subsumption)^+`
+ * Per Definition IV.5 (Milanese and Pasi, IEEE TFS 2024), the dotted preorder
+ * is `preorder_dot = ((combined_preorder .- similarity) union subsumption)^+`,
+ * where `.-` DELETES each directly-similar pair — it is not an arithmetic
+ * difference. A chain survives when its ENDPOINTS are not directly similar.
  */
 interface GetPreorderDegreeResponse {
     /** Source sort UUID. */
@@ -37678,6 +37829,81 @@ interface GetPreorderDegreeResponse {
      * - 0.0 = not reachable
      */
     degree: number;
+    /**
+     * Which preorder produced {@link GetPreorderDegreeResponse.degree}.
+     *
+     * @remarks
+     * Always present, so a `0.0` is never ambiguous between "no path" and "the
+     * pair deletion zeroed it". It echoes the request's granularity, or
+     * `similarity_deleted` when the request omitted one.
+     */
+    granularity: SortPreorderGranularity;
+}
+/** Options for reading the Definition IV.9 quotient order. */
+interface GetQuotientOrderOptions {
+    /**
+     * Which fuzzy preorder to quotient.
+     *
+     * @remarks
+     * The engine's default here is `combined` — NOT the `similarity_deleted`
+     * default of {@link GetPreorderDegreeRequest.granularity}. Under `combined`
+     * a directly-similar pair lands in one class; under `similarity_deleted`
+     * only chain cycles merge.
+     */
+    granularity?: SortPreorderGranularity;
+}
+/** One equivalence class of the quotient, with its Definition IV.9 degree. */
+interface QuotientClassDto {
+    /** Sort UUIDs in this class. */
+    sortIds: string[];
+    /** Number of sorts in the class. */
+    size: number;
+    /**
+     * The class degree, the weakest mutual reachability inside the class.
+     *
+     * @remarks
+     * `1.0` for a singleton class — the empty meet, not a perfect match.
+     */
+    alpha: number;
+}
+/** One strictly-positive entry of the fuzzy partial order between classes. */
+interface QuotientOrderEdgeDto {
+    /** Index of the lower class in {@link GetQuotientOrderResponse.classes}. */
+    from: number;
+    /** Index of the upper class in {@link GetQuotientOrderResponse.classes}. */
+    to: number;
+    /** The order degree in (0, 1]. */
+    degree: number;
+}
+/**
+ * Response for the Definition IV.9 quotient order.
+ *
+ * @remarks
+ * The classes with their per-class degrees, and the fuzzy PARTIAL order
+ * between the classes — antisymmetric (Prop. IV.11), unlike either preorder
+ * it is built from.
+ *
+ * Computed on the TENANT-VISIBLE hierarchy, so the degrees and the order
+ * describe exactly the sorts the caller can see. This is what distinguishes it
+ * from {@link GetEquivalenceClassesResponse}, which the engine computes
+ * process-wide and then filters.
+ */
+interface GetQuotientOrderResponse {
+    /** The granularity the quotient was computed over. */
+    granularity: SortPreorderGranularity;
+    /** The classes, each with its degree. */
+    classes: QuotientClassDto[];
+    /** Number of classes. */
+    count: number;
+    /**
+     * The strictly-positive off-diagonal entries of the class order.
+     *
+     * @remarks
+     * Sparse: an absent pair means degree `0`. {@link QuotientOrderEdgeDto.from}
+     * and {@link QuotientOrderEdgeDto.to} index into
+     * {@link GetQuotientOrderResponse.classes}.
+     */
+    orderEdges: QuotientOrderEdgeDto[];
 }
 /** A group of sorts that are equivalent under the fuzzy preorder. */
 interface EquivalenceClassDto {
@@ -37690,8 +37916,14 @@ interface EquivalenceClassDto {
  * Response containing equivalence classes based on the combined preorder.
  *
  * @remarks
- * Per Definition IV.9 (Milanese and Pasi 2024):
- * s1 ~ s2 iff preorder_dot(s1, s2) > 0 AND preorder_dot(s2, s1) > 0
+ * Per Definition IV.9 (Milanese and Pasi 2024), two sorts are equivalent when
+ * each reaches the other: `s1 ~ s2` iff `preorder(s1, s2) > 0` AND
+ * `preorder(s2, s1) > 0`. The preorder here is the COMBINED one
+ * ({@link SortPreorderGranularity}), where a similarity edge is itself a step.
+ *
+ * Computed process-wide and then filtered. {@link GetQuotientOrderResponse}
+ * answers the same classes on the tenant-visible hierarchy, with their degrees
+ * and the partial order between them.
  */
 interface GetEquivalenceClassesResponse {
     /** Groups of sorts that are equivalent under the fuzzy preorder. */
@@ -38166,6 +38398,8 @@ type sorts_GetFuzzySubsumptionRequest = GetFuzzySubsumptionRequest;
 type sorts_GetFuzzySubsumptionResponse = GetFuzzySubsumptionResponse;
 type sorts_GetPreorderDegreeRequest = GetPreorderDegreeRequest;
 type sorts_GetPreorderDegreeResponse = GetPreorderDegreeResponse;
+type sorts_GetQuotientOrderOptions = GetQuotientOrderOptions;
+type sorts_GetQuotientOrderResponse = GetQuotientOrderResponse;
 type sorts_GetSortSimilarityRequest = GetSortSimilarityRequest;
 type sorts_GetSortSimilarityResponse = GetSortSimilarityResponse;
 type sorts_GlbRequest = GlbRequest;
@@ -38181,6 +38415,8 @@ type sorts_LubRequest = LubRequest;
 type sorts_LubResponse = LubResponse;
 type sorts_PatchSortFeatureRequest = PatchSortFeatureRequest;
 type sorts_PatchSortRequest = PatchSortRequest;
+type sorts_QuotientClassDto = QuotientClassDto;
+type sorts_QuotientOrderEdgeDto = QuotientOrderEdgeDto;
 type sorts_RejectLearnedSimilarityRequest = RejectLearnedSimilarityRequest;
 type sorts_RejectLearnedSimilarityResponse = RejectLearnedSimilarityResponse;
 type sorts_RemoveSortFeatureOptions = RemoveSortFeatureOptions;
@@ -38202,6 +38438,7 @@ type sorts_SortIndexStatusResponse = SortIndexStatusResponse;
 type sorts_SortInfoDto = SortInfoDto;
 type sorts_SortListResponse = SortListResponse;
 type sorts_SortOriginDto = SortOriginDto;
+type sorts_SortPreorderGranularity = SortPreorderGranularity;
 type sorts_SortReferenceKind = SortReferenceKind;
 type sorts_SortReferencingRuleDto = SortReferencingRuleDto;
 type sorts_SortResponse = SortResponse;
@@ -38211,7 +38448,7 @@ type sorts_SortsSchemaQuery = SortsSchemaQuery;
 type sorts_UpdateReviewStatusRequest = UpdateReviewStatusRequest;
 type sorts_WorldModeDto = WorldModeDto;
 declare namespace sorts {
-  export type { sorts_ApproveLearnedSimilarityRequest as ApproveLearnedSimilarityRequest, sorts_ApproveLearnedSimilarityResponse as ApproveLearnedSimilarityResponse, sorts_BoundConstraintDto as BoundConstraintDto, sorts_BulkCreateSortsRequest as BulkCreateSortsRequest, sorts_BulkCreateSortsResponse as BulkCreateSortsResponse, sorts_BulkSetSimilaritiesRequest as BulkSetSimilaritiesRequest, sorts_BulkSetSimilaritiesResponse as BulkSetSimilaritiesResponse, sorts_BulkSortDefinition as BulkSortDefinition, sorts_BulkSortError as BulkSortError, sorts_BulkSortErrorKind as BulkSortErrorKind, sorts_CardinalityOriginDto as CardinalityOriginDto, sorts_CoextensiveDefinitionDto as CoextensiveDefinitionDto, sorts_ComputeGlbResponse as ComputeGlbResponse, sorts_ComputeLubResponse as ComputeLubResponse, sorts_ConstraintDto as ConstraintDto, sorts_CreateSortRequest as CreateSortRequest, sorts_DecodeGlbResponse as DecodeGlbResponse, sorts_DeleteSortResponse as DeleteSortResponse, sorts_DeleteSortRulesDisposition as DeleteSortRulesDisposition, sorts_DeleteSortTermsDisposition as DeleteSortTermsDisposition, sorts_DeprecateSortRequest as DeprecateSortRequest, sorts_EquivalenceClassDto as EquivalenceClassDto, sorts_FeatureDescriptorDto as FeatureDescriptorDto, sorts_GetEquivalenceClassesResponse as GetEquivalenceClassesResponse, sorts_GetFuzzySubsumptionRequest as GetFuzzySubsumptionRequest, sorts_GetFuzzySubsumptionResponse as GetFuzzySubsumptionResponse, sorts_GetPreorderDegreeRequest as GetPreorderDegreeRequest, sorts_GetPreorderDegreeResponse as GetPreorderDegreeResponse, sorts_GetSortSimilarityRequest as GetSortSimilarityRequest, sorts_GetSortSimilarityResponse as GetSortSimilarityResponse, sorts_GlbRequest as GlbRequest, sorts_GlbResponse as GlbResponse, sorts_LearnSortSimilaritiesRequest as LearnSortSimilaritiesRequest, sorts_LearnSortSimilaritiesResponse as LearnSortSimilaritiesResponse, sorts_LearnedSimilarityDto as LearnedSimilarityDto, sorts_LearnedSimilarityListResponse as LearnedSimilarityListResponse, sorts_LearnedSimilarityProvenanceDto as LearnedSimilarityProvenanceDto, sorts_LearnedSimilarityStatusDto as LearnedSimilarityStatusDto, sorts_ListSortsQuery as ListSortsQuery, sorts_LubRequest as LubRequest, sorts_LubResponse as LubResponse, sorts_PatchSortFeatureRequest as PatchSortFeatureRequest, sorts_PatchSortRequest as PatchSortRequest, sorts_RejectLearnedSimilarityRequest as RejectLearnedSimilarityRequest, sorts_RejectLearnedSimilarityResponse as RejectLearnedSimilarityResponse, sorts_RemoveSortFeatureOptions as RemoveSortFeatureOptions, sorts_SearchSortsBy as SearchSortsBy, sorts_SearchSortsMatch as SearchSortsMatch, sorts_SearchSortsRequest as SearchSortsRequest, sorts_SearchSortsResponse as SearchSortsResponse, sorts_SetFuzzySubsumptionRequest as SetFuzzySubsumptionRequest, sorts_SetFuzzySubsumptionResponse as SetFuzzySubsumptionResponse, sorts_SetSortSimilarityRequest as SetSortSimilarityRequest, sorts_SetSortSimilarityResponse as SetSortSimilarityResponse, sorts_SimilarityEntryDto as SimilarityEntryDto, sorts_SortCompareOperator as SortCompareOperator, sorts_SortCompareRequest as SortCompareRequest, sorts_SortCompareResponse as SortCompareResponse, sorts_SortDto as SortDto, sorts_SortFeatureEditResponse as SortFeatureEditResponse, sorts_SortIndexStatusResponse as SortIndexStatusResponse, sorts_SortInfoDto as SortInfoDto, sorts_SortListResponse as SortListResponse, sorts_SortOriginDto as SortOriginDto, sorts_SortReferenceKind as SortReferenceKind, sorts_SortReferencingRuleDto as SortReferencingRuleDto, sorts_SortResponse as SortResponse, sorts_SortSimilarityResponse as SortSimilarityResponse, sorts_SortStatusDto as SortStatusDto, sorts_SortsSchemaQuery as SortsSchemaQuery, sorts_UpdateReviewStatusRequest as UpdateReviewStatusRequest, sorts_WorldModeDto as WorldModeDto };
+  export type { sorts_ApproveLearnedSimilarityRequest as ApproveLearnedSimilarityRequest, sorts_ApproveLearnedSimilarityResponse as ApproveLearnedSimilarityResponse, sorts_BoundConstraintDto as BoundConstraintDto, sorts_BulkCreateSortsRequest as BulkCreateSortsRequest, sorts_BulkCreateSortsResponse as BulkCreateSortsResponse, sorts_BulkSetSimilaritiesRequest as BulkSetSimilaritiesRequest, sorts_BulkSetSimilaritiesResponse as BulkSetSimilaritiesResponse, sorts_BulkSortDefinition as BulkSortDefinition, sorts_BulkSortError as BulkSortError, sorts_BulkSortErrorKind as BulkSortErrorKind, sorts_CardinalityOriginDto as CardinalityOriginDto, sorts_CoextensiveDefinitionDto as CoextensiveDefinitionDto, sorts_ComputeGlbResponse as ComputeGlbResponse, sorts_ComputeLubResponse as ComputeLubResponse, sorts_ConstraintDto as ConstraintDto, sorts_CreateSortRequest as CreateSortRequest, sorts_DecodeGlbResponse as DecodeGlbResponse, sorts_DeleteSortResponse as DeleteSortResponse, sorts_DeleteSortRulesDisposition as DeleteSortRulesDisposition, sorts_DeleteSortTermsDisposition as DeleteSortTermsDisposition, sorts_DeprecateSortRequest as DeprecateSortRequest, sorts_EquivalenceClassDto as EquivalenceClassDto, sorts_FeatureDescriptorDto as FeatureDescriptorDto, sorts_GetEquivalenceClassesResponse as GetEquivalenceClassesResponse, sorts_GetFuzzySubsumptionRequest as GetFuzzySubsumptionRequest, sorts_GetFuzzySubsumptionResponse as GetFuzzySubsumptionResponse, sorts_GetPreorderDegreeRequest as GetPreorderDegreeRequest, sorts_GetPreorderDegreeResponse as GetPreorderDegreeResponse, sorts_GetQuotientOrderOptions as GetQuotientOrderOptions, sorts_GetQuotientOrderResponse as GetQuotientOrderResponse, sorts_GetSortSimilarityRequest as GetSortSimilarityRequest, sorts_GetSortSimilarityResponse as GetSortSimilarityResponse, sorts_GlbRequest as GlbRequest, sorts_GlbResponse as GlbResponse, sorts_LearnSortSimilaritiesRequest as LearnSortSimilaritiesRequest, sorts_LearnSortSimilaritiesResponse as LearnSortSimilaritiesResponse, sorts_LearnedSimilarityDto as LearnedSimilarityDto, sorts_LearnedSimilarityListResponse as LearnedSimilarityListResponse, sorts_LearnedSimilarityProvenanceDto as LearnedSimilarityProvenanceDto, sorts_LearnedSimilarityStatusDto as LearnedSimilarityStatusDto, sorts_ListSortsQuery as ListSortsQuery, sorts_LubRequest as LubRequest, sorts_LubResponse as LubResponse, sorts_PatchSortFeatureRequest as PatchSortFeatureRequest, sorts_PatchSortRequest as PatchSortRequest, sorts_QuotientClassDto as QuotientClassDto, sorts_QuotientOrderEdgeDto as QuotientOrderEdgeDto, sorts_RejectLearnedSimilarityRequest as RejectLearnedSimilarityRequest, sorts_RejectLearnedSimilarityResponse as RejectLearnedSimilarityResponse, sorts_RemoveSortFeatureOptions as RemoveSortFeatureOptions, sorts_SearchSortsBy as SearchSortsBy, sorts_SearchSortsMatch as SearchSortsMatch, sorts_SearchSortsRequest as SearchSortsRequest, sorts_SearchSortsResponse as SearchSortsResponse, sorts_SetFuzzySubsumptionRequest as SetFuzzySubsumptionRequest, sorts_SetFuzzySubsumptionResponse as SetFuzzySubsumptionResponse, sorts_SetSortSimilarityRequest as SetSortSimilarityRequest, sorts_SetSortSimilarityResponse as SetSortSimilarityResponse, sorts_SimilarityEntryDto as SimilarityEntryDto, sorts_SortCompareOperator as SortCompareOperator, sorts_SortCompareRequest as SortCompareRequest, sorts_SortCompareResponse as SortCompareResponse, sorts_SortDto as SortDto, sorts_SortFeatureEditResponse as SortFeatureEditResponse, sorts_SortIndexStatusResponse as SortIndexStatusResponse, sorts_SortInfoDto as SortInfoDto, sorts_SortListResponse as SortListResponse, sorts_SortOriginDto as SortOriginDto, sorts_SortPreorderGranularity as SortPreorderGranularity, sorts_SortReferenceKind as SortReferenceKind, sorts_SortReferencingRuleDto as SortReferencingRuleDto, sorts_SortResponse as SortResponse, sorts_SortSimilarityResponse as SortSimilarityResponse, sorts_SortStatusDto as SortStatusDto, sorts_SortsSchemaQuery as SortsSchemaQuery, sorts_UpdateReviewStatusRequest as UpdateReviewStatusRequest, sorts_WorldModeDto as WorldModeDto };
 }
 
 /**
@@ -38711,13 +38948,32 @@ declare class SortsClient {
     /**
      * Compute the preorder degree between two sorts.
      *
-     * @param request - Sort pair to compute preorder degree for.
-     * @returns The preorder degree response including sort IDs and degree.
-     * @throws {@link ApiError} If the sorts do not exist.
+     * @param request - Sort pair to compute preorder degree for, and optionally
+     * which of the two preorders to read it from.
+     * @returns The preorder degree response including sort IDs, degree, and the
+     * granularity the degree was read from.
+     * @throws {@link ApiError} If the sorts do not exist, or if `granularity`
+     * carries a spelling the engine does not accept.
+     * @throws {@link ValidationError} If the engine answers a granularity this
+     * SDK version does not know.
      *
      * @remarks
-     * Per Definition IV.5 (Milanese and Pasi 2024), the combined preorder is:
-     * `preorder_dot = ((similarity - subsumption) union subsumption)^+`
+     * Per Definition IV.5 (Milanese and Pasi, IEEE TFS 2024), the dotted preorder
+     * is `preorder_dot = ((combined_preorder .- similarity) union subsumption)^+`,
+     * where `.-` DELETES each directly-similar pair — it is NOT an arithmetic
+     * difference. So a directly-similar pair answers `0` under the default
+     * granularity: two similar sorts meet through their GLB, not through each
+     * other.
+     *
+     * `granularity` selects the reading, with the same two spellings
+     * `GET /api/v1/sorts/quotient-order` uses:
+     * - omitted or `similarity_deleted` — Definition IV.5, the default, and the
+     *   relation the graded GLB and term substitutability are computed from.
+     * - `combined` — Definition IV.1, where a similarity edge IS a step, so a
+     *   directly-similar pair answers its similarity degree.
+     *
+     * The response always echoes the granularity back, so a `0.0` is never
+     * ambiguous between "no path" and "the pair deletion zeroed it".
      *
      * Degree interpretation:
      * - 1.0 = subsumption (sort1 <= sort2)
@@ -38728,14 +38984,69 @@ declare class SortsClient {
      *
      * @example
      * ```typescript
-     * const result = await client.sorts.getPreorderDegree({
+     * const strict = await client.sorts.getPreorderDegree({
      *   sort1Id: 'uuid-1',
      *   sort2Id: 'uuid-2',
      * });
-     * console.log(result.degree); // 0.72
+     * console.log(strict.degree, strict.granularity); // 0 'similarity_deleted'
+     *
+     * const coarse = await client.sorts.getPreorderDegree({
+     *   sort1Id: 'uuid-1',
+     *   sort2Id: 'uuid-2',
+     *   granularity: 'combined',
+     * });
+     * console.log(coarse.degree, coarse.granularity); // 0.5 'combined'
      * ```
      */
     getPreorderDegree(request: GetPreorderDegreeRequest, requestOptions?: RequestOptions): Promise<GetPreorderDegreeResponse>;
+    /**
+     * Get the Definition IV.9 quotient order over the caller's own lattice.
+     *
+     * @param options - Which of the two fuzzy preorders to quotient. Omitted
+     * means `combined`, the engine's default HERE.
+     * @returns The equivalence classes with their degrees, and the fuzzy partial
+     * order between them.
+     * @throws {@link ApiError} 400 when `granularity` carries a spelling the
+     * engine does not accept.
+     * @throws {@link ValidationError} If the engine answers a granularity this
+     * SDK version does not know.
+     *
+     * @remarks
+     * This is the tenant-scoped companion of
+     * {@link SortsClient.getEquivalenceClasses}: the classes, degrees and order
+     * describe exactly the sorts the caller can see, where the older
+     * equivalence-classes route computes process-wide and then filters. Prefer
+     * this one.
+     *
+     * ⚠️ The default granularity here is `combined`, NOT the
+     * `similarity_deleted` default of {@link SortsClient.getPreorderDegree}. The
+     * two routes take the same two spellings and disagree on which is the
+     * default, so state it when it matters. The response echoes it back either
+     * way.
+     *
+     * `orderEdges` is SPARSE and indexes into `classes`: a pair with no edge has
+     * degree `0`. The order is a partial order — antisymmetric, unlike either
+     * preorder it is built from.
+     *
+     * Uses tagged serialization format.
+     *
+     * @example
+     * ```typescript
+     * const quotient = await client.sorts.getQuotientOrder({
+     *   granularity: 'similarity_deleted',
+     * });
+     *
+     * for (const cls of quotient.classes) {
+     *   console.log(`class of ${cls.size} sorts, degree ${cls.alpha}`);
+     * }
+     * for (const edge of quotient.orderEdges) {
+     *   const lower = quotient.classes[edge.from];
+     *   const upper = quotient.classes[edge.to];
+     *   console.log(`${lower.sortIds} <= ${upper.sortIds} at ${edge.degree}`);
+     * }
+     * ```
+     */
+    getQuotientOrder(options?: GetQuotientOrderOptions, requestOptions?: RequestOptions): Promise<GetQuotientOrderResponse>;
     /**
      * Get equivalence classes based on the combined preorder.
      *
@@ -38743,8 +39054,16 @@ declare class SortsClient {
      * @throws {@link ApiError} If the lattice cannot be computed.
      *
      * @remarks
-     * Per Definition IV.9 (Milanese and Pasi 2024):
-     * s1 ~ s2 iff preorder_dot(s1, s2) > 0 AND preorder_dot(s2, s1) > 0.
+     * Per Definition IV.9 (Milanese and Pasi 2024), two sorts are equivalent when
+     * each reaches the other: `s1 ~ s2` iff `preorder(s1, s2) > 0` AND
+     * `preorder(s2, s1) > 0`. The preorder here is the COMBINED one, where a
+     * similarity edge is itself a step — not the `similarity_deleted` default of
+     * {@link SortsClient.getPreorderDegree}.
+     *
+     * ⚠️ This route computes PROCESS-WIDE and then filters, so its classes can
+     * be shaped by sorts the caller cannot see. {@link SortsClient.getQuotientOrder}
+     * computes on the tenant-visible hierarchy instead, returns the same classes
+     * with their degrees, and adds the partial order between them. Prefer it.
      *
      * Uses tagged serialization format.
      *
@@ -39904,7 +40223,7 @@ declare class Inference<SecurityDataType = unknown> {
      */
     addRule: (data: AddRuleRequest$1, params?: RequestParams) => Promise<HttpResponse<AddRuleResponse$1, void>>;
     /**
-     * @description # TRUE HOMOICONIC API Request contains a goal term and optional constraints. Response returns solutions with term-based substitutions. ## Temporal Reasoning Use constraints to filter by temporal relations: ```json { "goal": {"sort_name": "Employment", "features": {"valid_to": {"name": "?EndTime"}}}, "constraints": [{"type": "Guard", "left": "?EndTime", "op": "lt", "right": "1583020800000"}] } ``` ## Reading a solution `solutions[].proof.kind` says how the goal was established, and is always present: `proved` (a rule was applied — either it fired in this search, or the goal was a conclusion a forward chain had materialised and the engine recovered the rule from its recorded derivation, so `rule_term_id` and `rule_label` are filled), `fact` (a stored fact with no recorded derivation), `residuated` (an open-world leaf: unknown, never false), `unattributed` (a sound answer whose derivation the engine could not report). A client never has to infer this from the node's shape. A goal that carries `constraints` is a CONJUNCTION: its root node holds one subproof per clause and reports the strongest kind the clauses carry — `proved` when any clause was proved by a rule, else `fact`. `solutions[].substitution.bindings` carries one entry per query variable the engine resolved. A variable left unresolved is ABSENT; it is never bound to itself. # Authorization Requires X-Tenant-Id header. Traced: this is the path the zanzibar gateway hits for every permission check, so it is where an end-to-end trace either explains a slow request or does not. `skip_all` because the request body can be large and has no business in a span attribute.
+     * @description # TRUE HOMOICONIC API Request contains a goal term and optional constraints. Response returns solutions with term-based substitutions. ## Temporal Reasoning Use constraints to filter by temporal relations: ```json { "goal": {"sort_name": "Employment", "features": {"valid_to": {"name": "?EndTime"}}}, "constraints": [{"type": "Guard", "left": "?EndTime", "op": "lt", "right": "1583020800000"}] } ``` ## Reading a solution `solutions[].proof.kind` says how the goal was established, and is always present: `proved` (a rule was applied — either it fired in this search, or the goal was a conclusion a forward chain had materialised and the engine recovered the rule from its recorded derivation, so `rule_term_id` and `rule_label` are filled), `fact` (a stored fact with no recorded derivation), `residuated` (an open-world leaf: unknown, never false), `unattributed` (a sound answer whose derivation the engine could not report). A client never has to infer this from the node's shape. A goal that carries `constraints` is a CONJUNCTION: its root node holds one subproof per clause and reports the strongest kind the clauses carry — `proved` when any clause was proved by a rule, else `fact`. `solutions[].substitution.bindings` carries one entry per query variable the engine resolved. A variable left unresolved is ABSENT; it is never bound to itself. ## Joining a proof to the thing it proves `proof.goal_term_id` is the TermId of the CONCLUSION the node proved. It joins to `POST /api/v1/query/by-sort` and `GET /api/v1/terms/{id}`, and two solutions of one goal share it only when they prove the same conclusion. It is ABSENT when there is no such id — a goal proved without a preceding `CHAIN` materialised no conclusion, and a derivation replayed from a persistent store cannot be attributed to one. A client falls back deliberately there rather than by accident. `proof.rule_head_term_id` names the rule's instantiated HEAD on a rule application, when it differs from the conclusion. ⛔ It is rule scaffolding: `GET /api/v1/terms/{id}` refuses it deliberately (#192). It is a grouping key, not a fetchable id. # Authorization Requires X-Tenant-Id header. Traced: this is the path the zanzibar gateway hits for every permission check, so it is where an end-to-end trace either explains a slow request or does not. `skip_all` because the request body can be large and has no business in a span attribute.
      *
      * @tags inference
      * @name BackwardChain
@@ -40358,6 +40677,14 @@ declare class InferenceClient {
      *
      * The `timeout_ms` field on the request is a wall-clock timeout for the search.
      * When it fires, the backend returns whatever solutions have been found so far.
+     *
+     * To join a proof node to the thing it proves, read `proof.goalTermId` — the
+     * conclusion's term ID, which `client.terms.getTerm()` and
+     * `client.query.findBySort()` both answer for. It is OPTIONAL: a goal proved
+     * without a preceding forward chain materialises no conclusion, so the node
+     * carries no id and `proof.goalDisplay` renders it instead. Do not read
+     * `proof.ruleHeadTermId` as a fetchable id — it names the rule's instantiated
+     * head, which the term routes refuse.
      */
     backwardChain(request: Omit<BackwardChainRequest, 'goal'> & {
         goal?: TermInputArg | null;
@@ -40433,12 +40760,34 @@ declare class InferenceClient {
     /**
      * Run negation-as-failure (NAF) proof search.
      *
-     * @param request - NAF prove request.
+     * @param request - NAF prove request. Each literal's `term` takes a
+     * {@link psi} term or a wire {@link TermInputDto}, like every other
+     * term-carrying method.
      * @returns NAF proof result.
      *
+     * @remarks
+     * Uses the untagged (homoiconic) serialization format: a literal's features
+     * are plain scalars and `"?Var"` strings.
+     *
+     * @example
+     * ```typescript
+     * const result = await client.inference.nafProve({
+     *   literals: [
+     *     { term: psi('employee', { name: '?Name' }) },
+     *     { term: psi('senior_engineer', { name: '?Name' }), negated: true },
+     *   ],
+     *   maxSolutions: 10,
+     * });
+     * ```
+     *
      * @see proveWithNegation — friendlier alias for this method.
      */
-    nafProve(request: NafProveRequest, requestOptions?: RequestOptions): Promise<NafProveResponse>;
+    nafProve(request: Omit<NafProveRequest, 'literals'> & {
+        literals?: Array<{
+            term: TermInputArg;
+            negated?: boolean;
+        }>;
+    }, requestOptions?: RequestOptions): Promise<NafProveResponse>;
     /**
      * Prove a goal succeeds because no contrary evidence exists.
      * Uses Negation as Failure (NAF) — the goal is proven true if it cannot be disproven.
@@ -40449,7 +40798,12 @@ declare class InferenceClient {
      *
      * @see nafProve
      */
-    proveWithNegation(request: NafProveRequest, requestOptions?: RequestOptions): Promise<NafProveResponse>;
+    proveWithNegation(request: Omit<NafProveRequest, 'literals'> & {
+        literals?: Array<{
+            term: TermInputArg;
+            negated?: boolean;
+        }>;
+    }, requestOptions?: RequestOptions): Promise<NafProveResponse>;
     /**
      * Create a saved goal for reuse in backward chaining.
      *
@@ -51149,10 +51503,20 @@ declare class ConstraintViolationError extends ApiError {
  *
  * Reached three ways, all of them this class:
  * - an ordinary batch where any row was refused (nothing was written);
- * - a `partial: true` batch where EVERY row was refused (again nothing was
+ * - a `partial: true` REAL write where EVERY row was refused (again nothing was
  *   written — a partial batch that landed something answers `201` instead, with
  *   the refusals on {@link BulkAddTermsResponse.errors});
- * - a `dryRun: true` batch that would have been refused.
+ * - a `dryRun: true` batch WITHOUT `partial` that would have been refused.
+ *
+ * ⚠️ `dryRun: true` AND `partial: true` together do NOT throw. Measured
+ * 2026-09-21: `bulkCreateTerms({terms: [bad, bad], dryRun: true, partial: true})`
+ * answers `200` with `{termsAdded: 0, dryRun: true, refused: 2, errors: […, …],
+ * coreferencedTermIds: []}`, because a dry run that wrote nothing has nothing
+ * to refuse. That pair is the only shape that answers both halves of a forecast
+ * in one call — how many rows would be created AND which rows are bad. A
+ * refused dry run without `partial` throws, and the thrown error carries no
+ * `coreferencedTermIds`, so a caller that expects the throw loses the "N would
+ * create, M would merge" half for exactly the files that have a bad row.
  *
  * Two failures are NOT this error, because neither can be attributed to a row:
  * the end-of-batch constraint propagation answers a
@@ -55512,6 +55876,357 @@ declare class StructuredIngestion<SecurityDataType = unknown> {
     uploadSourceFile: (data: string, params?: RequestParams) => Promise<HttpResponse<UploadedSourceFileDto, void>>;
 }
 
+/**
+ * A column mapping between a SQL column and an OSF feature.
+ *
+ * @remarks
+ * Used in {@link BindSortRequest}. Wire format is snake_case (`sql_type`).
+ */
+interface ColumnMappingDto {
+    /** SQL column name. */
+    column: string;
+    /** OSF feature name. */
+    feature: string;
+    /** Whether the column is nullable. */
+    nullable?: boolean;
+    /**
+     * SQL type (e.g., "VARCHAR(255)", "INTEGER"). Omit or leave empty to have
+     * the server introspect the real type from the registered source's live
+     * schema (falls back to TEXT if the source isn't connected).
+     */
+    sqlType?: string;
+}
+/**
+ * Request to bind an OSF sort to a SQL table with explicit column mappings.
+ *
+ * @remarks
+ * Sent to `POST /api/v1/ontology/bindings`. Wire format is snake_case
+ * (`key_columns`, `sort_name`, `source_id`, `table_name`).
+ */
+interface BindSortRequest {
+    /** Column mappings: feature name to column spec. */
+    columns: ColumnMappingDto[];
+    /** Primary key column names. */
+    keyColumns?: string[];
+    /** Sort name to bind. */
+    sortName: string;
+    /** External source identifier. */
+    sourceId: string;
+    /** SQL table name. */
+    tableName: string;
+}
+/**
+ * Response from binding a sort to a SQL table.
+ */
+interface BindSortResponse {
+    /** Whether the binding was successful. */
+    bound: boolean;
+    /** Sort name that was bound. */
+    sortName: string;
+    /** SQL table the sort is bound to. */
+    tableName: string;
+}
+/**
+ * Request to bind many sorts to SQL tables in one call.
+ *
+ * @remarks
+ * Sent to `POST /api/v1/ontology/bindings/bulk`. **Best-effort and
+ * non-transactional** (it mirrors `POST /api/v1/sorts/bulk`): each binding is
+ * attempted independently against a single hierarchy snapshot, and a failure is
+ * recorded per-item in {@link BulkBindSortsResponse.errors} rather than
+ * aborting the batch. Each entry is the same shape as a single
+ * {@link BindSortRequest}, so the wire format is snake_case (`sort_name`,
+ * `table_name`, `source_id`, `key_columns`, `sql_type`).
+ *
+ * @example
+ * ```typescript
+ * const request: BulkBindSortsRequest = {
+ *   bindings: [
+ *     {
+ *       sortName: 'person',
+ *       tableName: 'people',
+ *       sourceId: 'warehouse',
+ *       keyColumns: ['id'],
+ *       columns: [{ feature: 'name', column: 'full_name' }],
+ *     },
+ *   ],
+ * };
+ * ```
+ */
+interface BulkBindSortsRequest {
+    /** Bindings to apply, in order. */
+    bindings: BindSortRequest[];
+}
+/**
+ * A single failed binding within a bulk bind request.
+ *
+ * @remarks
+ * Identifies the offending binding by its sort name — the per-item outcome that
+ * makes partial success detectable. Wire format is snake_case (`sort_name`).
+ */
+interface BulkBindError {
+    /** Human-readable failure reason. */
+    error: string;
+    /** Sort name of the binding that failed. */
+    sortName: string;
+}
+/**
+ * Response from a bulk sort-table bind.
+ *
+ * @remarks
+ * The endpoint **always returns HTTP 200**, even when some bindings failed:
+ * partial success is reported in the body, not the status code. Callers MUST
+ * inspect {@link BulkBindSortsResponse.errors} — `boundCount` alone does not
+ * tell you whether every binding in the request succeeded. Compare `boundCount`
+ * against the number of submitted bindings, or check that `errors` is empty.
+ *
+ * @example
+ * ```typescript
+ * const result = await client.ontologyBridge.bulkBindSorts({ bindings });
+ * if (result.errors && result.errors.length > 0) {
+ *   for (const failure of result.errors) {
+ *     console.error(`${failure.sortName}: ${failure.error}`);
+ *   }
+ * }
+ * console.log(`${result.boundCount}/${bindings.length} bound`);
+ * ```
+ */
+interface BulkBindSortsResponse {
+    /** Number of bindings that succeeded. */
+    boundCount: number;
+    /** Per-item failures. Empty (or absent) when every binding succeeded. */
+    errors?: BulkBindError[];
+}
+/**
+ * Summary of a single active sort-table binding.
+ */
+interface KeyProvenanceDto {
+    /**
+     * Which authority chose the key: `source_constraint`,
+     * `synthetic_record_id`, `sequence_default`, `schema_declared_identifier`,
+     * `naming_convention`, `sampled_uniqueness`, `client_supplied`, `keyless`
+     * or `unrecorded`.
+     */
+    source: string;
+    /**
+     * Which side settled it: `discovery`, `client`, `nobody` (a keyless
+     * binding), or `unrecorded`.
+     */
+    chosenBy: string;
+    /** One sentence stating what this key source means, in plain words. */
+    explanation: string;
+    /**
+     * Whether some authority guarantees the key identifies exactly one record.
+     * Absent where the question has no answer — a keyless binding, or a
+     * provenance that was never recorded.
+     */
+    guaranteedUnique?: boolean | null;
+    /**
+     * Whether term ids built from this key survive a rebuild of the source:
+     * `survives_source_rebuild` or `lifetime_scoped`. Absent for a
+     * client-supplied key, where nothing declares it.
+     */
+    durability?: string | null;
+}
+/**
+ * One active sort↔table binding.
+ */
+interface BindingSummaryDto {
+    /** Number of bound features/columns. */
+    featureCount: number;
+    /** Primary key column names. */
+    keyColumns: string[];
+    /**
+     * Where the key columns came from, and what that implies for the durability
+     * of ids derived from them. The column names cannot say it: `["title"]`
+     * looks identical whether a uniqueness constraint backs it or an operator
+     * nominated it.
+     */
+    keyProvenance: KeyProvenanceDto;
+    /** Sort ID (UUID string). */
+    sortId: string;
+    /** External source identifier. */
+    sourceId: string;
+    /** SQL table name. */
+    tableName: string;
+}
+/**
+ * Response listing all active sort-table bindings.
+ */
+interface ListBindingsResponse {
+    /** Active sort-table bindings. */
+    bindings: BindingSummaryDto[];
+}
+/**
+ * Response from generating ontology-grounded NL tool schemas.
+ */
+interface GroundedSchemaResponse {
+    /** Number of inference tools. */
+    inferenceTools: number;
+    /** Human-readable ontology summary. */
+    ontologySummary: string;
+    /** Number of query tools generated. */
+    queryTools: number;
+    /** System prompt for LLM grounding. */
+    systemPrompt: string;
+    /** Number of write tools generated. */
+    writeTools: number;
+}
+/**
+ * Request to import a Foundry ontology export into the sort hierarchy.
+ *
+ * @remarks
+ * Sent to `POST /api/v1/ontology/import-foundry`. Wire format is snake_case
+ * (`foundry_json`).
+ */
+interface ImportFoundryRequest {
+    /** The Foundry ontology export, as JSON. */
+    foundryJson: string;
+}
+/**
+ * An item imported with a caveat or skipped — needs human review.
+ */
+interface FoundryReviewItemDto {
+    /** What kind of item (`property_type`, `action_type`). */
+    kind: string;
+    /** The item's apiName. */
+    name: string;
+    /** Why it needs review. */
+    reason: string;
+}
+/**
+ * Response from a Foundry import: what was created plus a mapped/review-needed report.
+ */
+interface ImportFoundryResponse {
+    /** Interface types mapped to (super) sorts. */
+    mappedInterfaceTypes: number;
+    /** Link types mapped to referring features. */
+    mappedLinks: number;
+    /** Object types mapped to sorts. */
+    mappedObjectTypes: number;
+    /** Properties mapped to features. */
+    mappedProperties: number;
+    /** Number of relations discovered from link types. */
+    relationsDiscovered: number;
+    /** Items imported with a caveat or skipped — need human review. */
+    reviewNeeded: FoundryReviewItemDto[];
+    /** Names of sorts created (object + interface types). */
+    sortsCreated: string[];
+}
+/**
+ * Request to import an OWL/RDF ontology into the sort hierarchy.
+ *
+ * @remarks
+ * Sent to `POST /api/v1/ontology/import`. Wire format is snake_case (`rdf_xml`).
+ */
+interface ImportOwlRequest {
+    /** OWL/RDF XML content to import. */
+    rdfXml: string;
+}
+/**
+ * Response from an OWL ontology import.
+ */
+interface ImportOwlResponse {
+    /** Names of reified sorts created (many-to-many with attributes). */
+    reifiedSortsCreated: string[];
+    /** Number of relations discovered from OWL object properties. */
+    relationsDiscovered: number;
+    /** Names of sorts created from OWL classes. */
+    sortsCreated: string[];
+}
+/**
+ * Request to transpile an OSFQL query to SQL.
+ *
+ * @remarks
+ * Sent to `POST /api/v1/ontology/transpile`. Wire format is snake_case
+ * (the `osfql` and `dialect` fields are already lowercase).
+ */
+interface TranspileRequest {
+    /** SQL dialect: "postgres", "mysql", or "sqlite". */
+    dialect?: string;
+    /** OSFQL query to transpile. */
+    osfql: string;
+}
+/**
+ * Request to transpile an OSFQL query and RUN it on the source it is bound to.
+ *
+ * @remarks
+ * No `dialect` field, deliberately: the binding names the source, and the
+ * source's type decides the dialect. Asking a caller to supply it would let
+ * them ask for Cypher against Postgres, which is not a question with an
+ * answer. {@link TranspileRequest} takes one because it emits a query without
+ * running it.
+ */
+interface ExecuteTranspiledRequest {
+    /** OSFQL query to transpile and execute. */
+    osfql: string;
+}
+/**
+ * Rows from a live source, with the query that fetched them.
+ *
+ * @remarks
+ * The counterpart of {@link TranspileResponse}: `transpile` emits the native
+ * query and stops, `executeTranspiled` runs it. For a `transpile`-mode source
+ * this is the ONLY route that answers — such a source deliberately ingests
+ * nothing, so its bound sorts are live views over the operator's own database
+ * and every KB query over them reports no results.
+ */
+interface ExecuteTranspiledResponse {
+    /** Rows as returned by the source, one object per record. */
+    rows: Record<string, unknown>[];
+    /** Number of rows returned. */
+    rowCount: number;
+    /**
+     * The query that was executed, in the source's own language.
+     *
+     * @remarks
+     * Returned with the rows rather than behind a separate call: transpile
+     * mode's claim is that OSFQL becomes a native query against the operator's
+     * database, and this is what makes that claim checkable.
+     */
+    query: string;
+    /** Dialect of {@link query} — `postgres`, `mysql`, `sqlite`, `cypher` or `cql`. */
+    dialect: string;
+    /** The source the query ran against. */
+    sourceId: string;
+}
+/**
+ * Response from OSFQL-to-SQL transpilation.
+ */
+interface TranspileResponse {
+    /** Whether the entire plan is SQL-transpilable. */
+    fullyTranspilable: boolean;
+    /** Number of parameters in the generated SQL. */
+    paramCount: number;
+    /** Source ID the query targets. */
+    sourceId?: string | null;
+    /** Generated SQL query. */
+    sql: string;
+}
+
+type ontologyBridge_BindSortRequest = BindSortRequest;
+type ontologyBridge_BindSortResponse = BindSortResponse;
+type ontologyBridge_BindingSummaryDto = BindingSummaryDto;
+type ontologyBridge_BulkBindError = BulkBindError;
+type ontologyBridge_BulkBindSortsRequest = BulkBindSortsRequest;
+type ontologyBridge_BulkBindSortsResponse = BulkBindSortsResponse;
+type ontologyBridge_ColumnMappingDto = ColumnMappingDto;
+type ontologyBridge_ExecuteTranspiledRequest = ExecuteTranspiledRequest;
+type ontologyBridge_ExecuteTranspiledResponse = ExecuteTranspiledResponse;
+type ontologyBridge_FoundryReviewItemDto = FoundryReviewItemDto;
+type ontologyBridge_GroundedSchemaResponse = GroundedSchemaResponse;
+type ontologyBridge_ImportFoundryRequest = ImportFoundryRequest;
+type ontologyBridge_ImportFoundryResponse = ImportFoundryResponse;
+type ontologyBridge_ImportOwlRequest = ImportOwlRequest;
+type ontologyBridge_ImportOwlResponse = ImportOwlResponse;
+type ontologyBridge_KeyProvenanceDto = KeyProvenanceDto;
+type ontologyBridge_ListBindingsResponse = ListBindingsResponse;
+type ontologyBridge_TranspileRequest = TranspileRequest;
+type ontologyBridge_TranspileResponse = TranspileResponse;
+declare namespace ontologyBridge {
+  export type { ontologyBridge_BindSortRequest as BindSortRequest, ontologyBridge_BindSortResponse as BindSortResponse, ontologyBridge_BindingSummaryDto as BindingSummaryDto, ontologyBridge_BulkBindError as BulkBindError, ontologyBridge_BulkBindSortsRequest as BulkBindSortsRequest, ontologyBridge_BulkBindSortsResponse as BulkBindSortsResponse, ontologyBridge_ColumnMappingDto as ColumnMappingDto, ontologyBridge_ExecuteTranspiledRequest as ExecuteTranspiledRequest, ontologyBridge_ExecuteTranspiledResponse as ExecuteTranspiledResponse, ontologyBridge_FoundryReviewItemDto as FoundryReviewItemDto, ontologyBridge_GroundedSchemaResponse as GroundedSchemaResponse, ontologyBridge_ImportFoundryRequest as ImportFoundryRequest, ontologyBridge_ImportFoundryResponse as ImportFoundryResponse, ontologyBridge_ImportOwlRequest as ImportOwlRequest, ontologyBridge_ImportOwlResponse as ImportOwlResponse, ontologyBridge_KeyProvenanceDto as KeyProvenanceDto, ontologyBridge_ListBindingsResponse as ListBindingsResponse, ontologyBridge_TranspileRequest as TranspileRequest, ontologyBridge_TranspileResponse as TranspileResponse };
+}
+
 /**
  * The write-path mode of a source — whether its rows stay in place or become facts.
  *
@@ -55577,6 +56292,37 @@ interface DiscoveredFeatureDto {
     sourceName: string;
     /** Type hint (e.g., "VARCHAR(255)", "integer", "boolean"). */
     typeHint?: string | null;
+    /**
+     * The OSF feature name — the engine's own OSFQL-readable spelling.
+     *
+     * @remarks
+     * Identical to {@link name}, and the unambiguous spelling of it. It is the
+     * counterpart of {@link DiscoveredSortDto.sortName}, so a client walking
+     * sorts and their features reads one convention for both.
+     *
+     * Prefer it to deriving the name client-side: the derivation has to agree
+     * with an engine that refuses a name its parser cannot read bare.
+     */
+    featureName: string;
+    /**
+     * Which authority made this field the identifier, and what that key
+     * therefore guarantees. Present exactly when {@link isIdentifier}.
+     *
+     * @remarks
+     * ⚠️ Read this before you pre-tick a "key" box for an operator.
+     * {@link isIdentifier} alone does not separate a DECLARED primary key from
+     * a GUESS: `source: 'sampled_uniqueness'` with `guaranteedUnique: false`
+     * means every value in the SAMPLED rows was distinct and nothing beyond the
+     * sample was checked.
+     *
+     * The distinction is not cosmetic. A projected fact derives its term
+     * identity from the key, so a key that turns out not to be unique makes a
+     * re-ingest DUPLICATE facts instead of updating them. Without the
+     * provenance there is no way to present the guess as a guess —
+     * {@link KeyProvenanceDto.explanation} is the engine's own sentence for it,
+     * written for an operator who does not know the vocabulary.
+     */
+    identifierProvenance?: KeyProvenanceDto | null;
 }
 /**
  * A sort/type discovered from a data source.
@@ -55818,6 +56564,48 @@ interface SourceTypeDto {
      * the per-source endpoints report after registration.
      */
     supportedModes: string[];
+    /**
+     * The connection-config fields registration parses for this source type, in
+     * the order a wizard should render them.
+     *
+     * @remarks
+     * This is the single source of a connector form's shape. Build the form
+     * from it rather than shipping a hand-maintained table of connection fields
+     * per source type — the table goes stale the moment a factory adds a key,
+     * and this list cannot, because the factory publishes it.
+     *
+     * Empty for a type whose config is opaque or that is not
+     * factory-registrable.
+     */
+    configFields: ConfigFieldDto[];
+}
+/**
+ * One field of a source type's connection-config form.
+ *
+ * @remarks
+ * The minimal, drift-prone facts a wizard needs. Display labels, help text
+ * and defaults stay client-side presentation: the engine publishes only what
+ * would otherwise drift from what registration actually requires.
+ */
+interface ConfigFieldDto {
+    /**
+     * The wire key. Pass it VERBATIM inside the `config` object of
+     * {@link RegisterSourceRequest} — the registration factory reads it by
+     * exactly this name, so it is never camelCased.
+     */
+    name: string;
+    /**
+     * The input type, drawn from a closed set: `'text'`, `'number'`,
+     * `'password'` or `'toggle'`.
+     *
+     * @remarks
+     * Typed as an open `string` so an input kind added later reaches the caller
+     * instead of being refused. `'password'` is what tells a form to mask the
+     * input.
+     */
+    type: string;
+    /** Whether registration rejects the field's absence. */
+    required: boolean;
 }
 /**
  * Response listing the registrable source types of this build (#71).
@@ -55845,6 +56633,20 @@ interface DiscoverableTypeDto {
      * knows, never a `COUNT(*)`.
      */
     estimatedRows?: number | null;
+    /**
+     * How many fields/columns the type declares.
+     *
+     * @remarks
+     * Absent when the adapter cannot say without a per-type round-trip. Never
+     * `0` to mean "unknown" — `0` means the type declares no columns.
+     *
+     * The twin of {@link estimatedRows}, and added for the same reason: both
+     * counts used to be readable only by parsing the free-text {@link comment}
+     * ("Data from CSV file '…' with 11 rows and 6 columns"), and mapping one
+     * without the other leaves a consumer parsing that sentence for the
+     * other half.
+     */
+    columnCount?: number | null;
     /** Name of the type as the source knows it (table name, label, collection). */
     name: string;
 }
@@ -55957,6 +56759,7 @@ interface IngestFromSourceResponse {
     errors?: string[];
 }
 
+type sources_ConfigFieldDto = ConfigFieldDto;
 type sources_DiscoverSchemaRequest = DiscoverSchemaRequest;
 type sources_DiscoverSchemaResponse = DiscoverSchemaResponse;
 type sources_DiscoverableTypeDto = DiscoverableTypeDto;
@@ -55976,7 +56779,7 @@ type sources_SourceTypeDto = SourceTypeDto;
 type sources_SourceWriteMode = SourceWriteMode;
 type sources_StructuredIngestionStatsDto = StructuredIngestionStatsDto;
 declare namespace sources {
-  export type { sources_DiscoverSchemaRequest as DiscoverSchemaRequest, sources_DiscoverSchemaResponse as DiscoverSchemaResponse, sources_DiscoverableTypeDto as DiscoverableTypeDto, sources_DiscoveredFeatureDto as DiscoveredFeatureDto, sources_DiscoveredSortDto as DiscoveredSortDto, sources_DiscoveredSourceRelationDto as DiscoveredSourceRelationDto, sources_IngestFromSourceRequest as IngestFromSourceRequest, sources_IngestFromSourceResponse as IngestFromSourceResponse, sources_ListSourceTypesResponse as ListSourceTypesResponse, sources_ListSourcesResponse as ListSourcesResponse, sources_ListTablesResponse as ListTablesResponse, sources_RegisterSourceRequest as RegisterSourceRequest, sources_RegisterSourceResponse as RegisterSourceResponse, sources_SourceDetailResponse as SourceDetailResponse, sources_SourceSummaryDto as SourceSummaryDto, sources_SourceTypeDto as SourceTypeDto, sources_SourceWriteMode as SourceWriteMode, sources_StructuredIngestionStatsDto as StructuredIngestionStatsDto };
+  export type { sources_ConfigFieldDto as ConfigFieldDto, sources_DiscoverSchemaRequest as DiscoverSchemaRequest, sources_DiscoverSchemaResponse as DiscoverSchemaResponse, sources_DiscoverableTypeDto as DiscoverableTypeDto, sources_DiscoveredFeatureDto as DiscoveredFeatureDto, sources_DiscoveredSortDto as DiscoveredSortDto, sources_DiscoveredSourceRelationDto as DiscoveredSourceRelationDto, sources_IngestFromSourceRequest as IngestFromSourceRequest, sources_IngestFromSourceResponse as IngestFromSourceResponse, sources_ListSourceTypesResponse as ListSourceTypesResponse, sources_ListSourcesResponse as ListSourcesResponse, sources_ListTablesResponse as ListTablesResponse, sources_RegisterSourceRequest as RegisterSourceRequest, sources_RegisterSourceResponse as RegisterSourceResponse, sources_SourceDetailResponse as SourceDetailResponse, sources_SourceSummaryDto as SourceSummaryDto, sources_SourceTypeDto as SourceTypeDto, sources_SourceWriteMode as SourceWriteMode, sources_StructuredIngestionStatsDto as StructuredIngestionStatsDto };
 }
 
 /**
@@ -67105,6 +67908,24 @@ interface OsfqlResponse {
     fetched?: Record<string, OsfqlValue>[];
     /** Term IDs produced by INSERT or DERIVE statements. */
     producedTermIds: string[];
+    /**
+     * The ids of the terms an `UPDATE` modified in place.
+     *
+     * @remarks
+     * An updated term's id appears in {@link producedTermIds} as well, so
+     * `producedTermIds` alone cannot separate a creation from a modification.
+     * Subtract this vector from it to report "N created · M updated", or to
+     * refetch only what changed.
+     *
+     * It is also the only way to know an `UPDATE` matched anything: a program
+     * whose `UPDATE` pattern hits nothing still succeeds, and answers an empty
+     * `updatedTermIds`.
+     *
+     * Optional on the wire, so an older engine that does not send it answers
+     * `undefined` rather than `[]`. `undefined` means "this engine does not
+     * report it"; `[]` means "this program updated nothing".
+     */
+    updatedTermIds?: string[];
     /** Sort IDs produced by DEFINE statements. */
     definedSortIds?: string[];
     /** Diagnostic messages from the execution pipeline. */
@@ -67335,11 +68156,16 @@ interface OsfqlPreviewAffected {
      * Whether {@link count} is exact, or an upper bound.
      *
      * @remarks
-     * `false` for a statement nested under a condition the engine's
-     * one-statement probe cannot carry, where the probe selects a SUPERSET of
-     * what would go — render it as "up to N rows". `true` for every top-level
-     * statement, and for a nested statement whose enclosing conditions name only
-     * its own variables.
+     * `true` for every TOP-LEVEL statement. A NESTED statement is always
+     * reported as an upper bound — render it as "up to N rows".
+     *
+     * The engine is conservative here, and more conservative than the shape of
+     * the program requires. Measured 2026-09-21:
+     * `IF 1 > 0 THEN RETRACT m_customer(name: "Beta") ELSE MATCH m_customer(name: ?N);`
+     * answers `exact: false` on the nested `RETRACT`, although the guard
+     * `1 > 0` names no variable and the count of `1` is in fact exact. Do not
+     * derive `exact` from whether the enclosing conditions name outer variables;
+     * read the flag.
      *
      * Absent from an older engine, where every count was effectively an upper
      * bound for a nested statement and exact otherwise.
@@ -67366,6 +68192,22 @@ interface OsfqlPreviewAffected {
      * `RETRACT`, whose sort is already in {@link OsfqlPreviewStatement.sorts}.
      */
     bySort?: OsfqlPreviewSortCount[];
+    /**
+     * How many sample rows were dropped because a value in them did not match
+     * the published {@link OsfqlValue} contract.
+     *
+     * @remarks
+     * Absent when every row parsed, which is the normal case. Present with a
+     * count when at least one did not.
+     *
+     * The rows are ILLUSTRATIVE — {@link count}, {@link exact}, {@link bySort}
+     * and everything on the enclosing statement are decided without them — so an
+     * unrecognised value tag in one of ten samples drops that row and keeps the
+     * plan. A write gate therefore still gets its verdict. Surface this count if
+     * the samples are shown to a user, so a short table is not read as a short
+     * answer.
+     */
+    unparsedSampleRows?: number;
 }
 /**
  * Why a previewed program cannot run as one atomic unit, answered without
@@ -67623,8 +68465,6 @@ declare class OsfqlClient {
      *   atomic refusal when there is one.
      * @throws {ApiError} If the program does not parse (HTTP 400, `OsfqlErrorResponse`),
      *   or the request otherwise fails.
-     * @throws {ReasoningLayerError} If a sample row carries a value that does not satisfy
-     *   the published {@link OsfqlValue} contract.
      *
      * @remarks
      * **Why call this instead of classifying the program client-side.** Three
@@ -67659,9 +68499,16 @@ declare class OsfqlClient {
      * Two further measured facts. The top-level `mutates` DOES fold nested
      * statements now: the `IF` program above answers `true`, and so does an `IF`
      * whose only writing branch is the `ELSE` — the earlier defect where an `IF`
-     * with a writing branch answered `false` is fixed. And `affected` being absent
-     * is ambiguous: `RETRACT customer(tier: "bronze")` matching zero rows omits
-     * the field entirely rather than answering `count: 0`, exactly as a read does.
+     * with a writing branch answered `false` is fixed. And `affected` is NOT
+     * ambiguous: a destructive statement that matches zero rows answers
+     * `{count: 0, exact: true}` rather than omitting the block. Measured
+     * 2026-09-21 — `preview('RETRACT widget(name: "nobody");')` against an empty
+     * `widget` answers `affected: {"count":0,"exact":true}`, while
+     * `preview('MATCH widget(name: ?N);')` carries no `affected` key at all. So
+     * an ABSENT block means the statement has no affected-row set; `count: 0`
+     * means the rows were counted and there are none. A confirm dialog can tell
+     * the two apart, which is what the block was separated for. See
+     * {@link OsfqlPreviewAffected.count}.
      *
      * `statement.index` is a single counter over the whole program: an `IF` at
      * index 1 carries nested entries at index 2 and 3.
@@ -70471,6 +71318,71 @@ interface AuditPage {
     /** The zero-based offset applied to this page. */
     offset: number;
 }
+/**
+ * Historical risk aggregation over one tenant's ledger.
+ *
+ * @remarks
+ * The four grade counters (`nSafe`, `nWarning`, `nUnsafe`, `nUngraded`)
+ * partition the ledger: every record falls in exactly one. `nUngraded` is
+ * never folded into `nSafe` — it counts records appended before signal
+ * recording shipped, and reading them as safe would report a clean ledger that
+ * was never graded.
+ *
+ * The verification counters (`nVerified`, `nRefuted`, `nAbstained`) and the
+ * fabrication counters (`nFabricationDetected`, `nFabricationClean`,
+ * `nFabricationUnknown`) each partition the same records along a second and a
+ * third axis, so they do not sum to `nRecords` together with the grades.
+ *
+ * This is the EU AI Act Article 15 evidence — the numbers the compliance
+ * surface exists to report.
+ */
+interface RiskTotalsDto {
+    /** Records graded `safe`. */
+    nSafe: number;
+    /** Records graded `warning`. */
+    nWarning: number;
+    /** Records graded `unsafe`. */
+    nUnsafe: number;
+    /**
+     * Records carrying no grade — appended before signal recording shipped.
+     *
+     * @remarks
+     * Never folded into {@link nSafe}. "Not graded" is not "graded safe".
+     */
+    nUngraded: number;
+    /**
+     * Of the graded records, how many rest on an actual verification act rather
+     * than on the HTTP status alone.
+     */
+    nGradedByVerification: number;
+    /** Records a verifier confirmed. */
+    nVerified: number;
+    /** Records a verifier contradicted. */
+    nRefuted: number;
+    /** Records a verifier could neither confirm nor contradict. */
+    nAbstained: number;
+    /** Records on which a fabrication check ran and found fabricated content. */
+    nFabricationDetected: number;
+    /** Records on which a fabrication check ran and found none. */
+    nFabricationClean: number;
+    /** Records on which no fabrication check ran. */
+    nFabricationUnknown: number;
+    /** Individual claims assessed across the ledger. */
+    nClaimsTotal: number;
+    /** Individual claims refuted across the ledger. */
+    nClaimsRefuted: number;
+    /**
+     * Share of CHECKED responses that were fabricating — the headline figure of
+     * the Article 15 assessment.
+     *
+     * @remarks
+     * ⚠️ `null` means "not measured", and it is NOT zero. The denominator is
+     * checked responses only, so a rate over zero checks is undefined. Folding
+     * it to `0` reports a clean rate for a ledger nobody checked — the exact
+     * misreading the nullability exists to prevent.
+     */
+    fabricationRate?: number | null;
+}
 /**
  * Response of `GET /api/v1/compliance/audit/summary` — top-line
  * counts over the tenant's full ledger.
@@ -70488,6 +71400,23 @@ interface SummaryResponse {
     tsFirst?: string;
     /** ISO-8601 timestamp of the last record. */
     tsLast?: string;
+    /**
+     * Per-grade counts over the same records.
+     *
+     * @remarks
+     * Absent only from an engine that predates the block. Every current engine
+     * sends it.
+     */
+    risk?: RiskTotalsDto;
+    /**
+     * Records carrying a human-oversight decision — the EU AI Act Article 14
+     * evidence.
+     *
+     * @remarks
+     * Counted separately from the risk grades because an intervention is not a
+     * response outcome. Absent only from an engine that predates the field.
+     */
+    nOversightDecisions?: number;
 }
 /**
  * Response of `GET /api/v1/compliance/audit/verify` — re-walks the
@@ -70651,12 +71580,13 @@ type compliance_ListAuditOptions = ListAuditOptions;
 type compliance_PredictionEntry = PredictionEntry;
 type compliance_PredictionSnapshot = PredictionSnapshot;
 type compliance_RetentionDto = RetentionDto;
+type compliance_RiskTotalsDto = RiskTotalsDto;
 type compliance_SnapshotFilter = SnapshotFilter;
 type compliance_SummaryResponse = SummaryResponse;
 type compliance_ValidationReportDto = ValidationReportDto;
 type compliance_VerifyResponse = VerifyResponse;
 declare namespace compliance {
-  export type { compliance_AppendRequest as AppendRequest, compliance_AuditPage as AuditPage, compliance_AuditRecord as AuditRecord, compliance_AuditSortField as AuditSortField, compliance_AuditSortOrder as AuditSortOrder, compliance_CaptureSnapshotRequest as CaptureSnapshotRequest, compliance_ConformityArticleDto as ConformityArticleDto, compliance_ConformityResponse as ConformityResponse, compliance_GroundTruthStatus as GroundTruthStatus, compliance_LedgerInfoDto as LedgerInfoDto, compliance_ListAuditOptions as ListAuditOptions, compliance_PredictionEntry as PredictionEntry, compliance_PredictionSnapshot as PredictionSnapshot, compliance_RetentionDto as RetentionDto, compliance_SnapshotFilter as SnapshotFilter, compliance_SummaryResponse as SummaryResponse, compliance_ValidationReportDto as ValidationReportDto, compliance_VerifyResponse as VerifyResponse };
+  export type { compliance_AppendRequest as AppendRequest, compliance_AuditPage as AuditPage, compliance_AuditRecord as AuditRecord, compliance_AuditSortField as AuditSortField, compliance_AuditSortOrder as AuditSortOrder, compliance_CaptureSnapshotRequest as CaptureSnapshotRequest, compliance_ConformityArticleDto as ConformityArticleDto, compliance_ConformityResponse as ConformityResponse, compliance_GroundTruthStatus as GroundTruthStatus, compliance_LedgerInfoDto as LedgerInfoDto, compliance_ListAuditOptions as ListAuditOptions, compliance_PredictionEntry as PredictionEntry, compliance_PredictionSnapshot as PredictionSnapshot, compliance_RetentionDto as RetentionDto, compliance_RiskTotalsDto as RiskTotalsDto, compliance_SnapshotFilter as SnapshotFilter, compliance_SummaryResponse as SummaryResponse, compliance_ValidationReportDto as ValidationReportDto, compliance_VerifyResponse as VerifyResponse };
 }
 
 /**
@@ -74039,7 +74969,7 @@ declare class OntologyBridge<SecurityDataType = unknown> {
      * @request POST:/api/v1/ontology/query
      * @secure
      */
-    executeTranspiled: (data: ExecuteTranspiledRequest, params?: RequestParams) => Promise<HttpResponse<ExecuteTranspiledResponse, void>>;
+    executeTranspiled: (data: ExecuteTranspiledRequest$1, params?: RequestParams) => Promise<HttpResponse<ExecuteTranspiledResponse$1, void>>;
     /**
      * @description Produces query tools, write tools, and inference tools from the current sort hierarchy and SQL bindings, along with a system prompt suitable for grounding an LLM.
      *
@@ -74102,312 +75032,6 @@ declare class OntologyBridge<SecurityDataType = unknown> {
     unbindSort: (sortName: string, params?: RequestParams) => Promise<HttpResponse<void, void>>;
 }
 
-/**
- * A column mapping between a SQL column and an OSF feature.
- *
- * @remarks
- * Used in {@link BindSortRequest}. Wire format is snake_case (`sql_type`).
- */
-interface ColumnMappingDto {
-    /** SQL column name. */
-    column: string;
-    /** OSF feature name. */
-    feature: string;
-    /** Whether the column is nullable. */
-    nullable?: boolean;
-    /**
-     * SQL type (e.g., "VARCHAR(255)", "INTEGER"). Omit or leave empty to have
-     * the server introspect the real type from the registered source's live
-     * schema (falls back to TEXT if the source isn't connected).
-     */
-    sqlType?: string;
-}
-/**
- * Request to bind an OSF sort to a SQL table with explicit column mappings.
- *
- * @remarks
- * Sent to `POST /api/v1/ontology/bindings`. Wire format is snake_case
- * (`key_columns`, `sort_name`, `source_id`, `table_name`).
- */
-interface BindSortRequest {
-    /** Column mappings: feature name to column spec. */
-    columns: ColumnMappingDto[];
-    /** Primary key column names. */
-    keyColumns?: string[];
-    /** Sort name to bind. */
-    sortName: string;
-    /** External source identifier. */
-    sourceId: string;
-    /** SQL table name. */
-    tableName: string;
-}
-/**
- * Response from binding a sort to a SQL table.
- */
-interface BindSortResponse {
-    /** Whether the binding was successful. */
-    bound: boolean;
-    /** Sort name that was bound. */
-    sortName: string;
-    /** SQL table the sort is bound to. */
-    tableName: string;
-}
-/**
- * Request to bind many sorts to SQL tables in one call.
- *
- * @remarks
- * Sent to `POST /api/v1/ontology/bindings/bulk`. **Best-effort and
- * non-transactional** (it mirrors `POST /api/v1/sorts/bulk`): each binding is
- * attempted independently against a single hierarchy snapshot, and a failure is
- * recorded per-item in {@link BulkBindSortsResponse.errors} rather than
- * aborting the batch. Each entry is the same shape as a single
- * {@link BindSortRequest}, so the wire format is snake_case (`sort_name`,
- * `table_name`, `source_id`, `key_columns`, `sql_type`).
- *
- * @example
- * ```typescript
- * const request: BulkBindSortsRequest = {
- *   bindings: [
- *     {
- *       sortName: 'person',
- *       tableName: 'people',
- *       sourceId: 'warehouse',
- *       keyColumns: ['id'],
- *       columns: [{ feature: 'name', column: 'full_name' }],
- *     },
- *   ],
- * };
- * ```
- */
-interface BulkBindSortsRequest {
-    /** Bindings to apply, in order. */
-    bindings: BindSortRequest[];
-}
-/**
- * A single failed binding within a bulk bind request.
- *
- * @remarks
- * Identifies the offending binding by its sort name — the per-item outcome that
- * makes partial success detectable. Wire format is snake_case (`sort_name`).
- */
-interface BulkBindError {
-    /** Human-readable failure reason. */
-    error: string;
-    /** Sort name of the binding that failed. */
-    sortName: string;
-}
-/**
- * Response from a bulk sort-table bind.
- *
- * @remarks
- * The endpoint **always returns HTTP 200**, even when some bindings failed:
- * partial success is reported in the body, not the status code. Callers MUST
- * inspect {@link BulkBindSortsResponse.errors} — `boundCount` alone does not
- * tell you whether every binding in the request succeeded. Compare `boundCount`
- * against the number of submitted bindings, or check that `errors` is empty.
- *
- * @example
- * ```typescript
- * const result = await client.ontologyBridge.bulkBindSorts({ bindings });
- * if (result.errors && result.errors.length > 0) {
- *   for (const failure of result.errors) {
- *     console.error(`${failure.sortName}: ${failure.error}`);
- *   }
- * }
- * console.log(`${result.boundCount}/${bindings.length} bound`);
- * ```
- */
-interface BulkBindSortsResponse {
-    /** Number of bindings that succeeded. */
-    boundCount: number;
-    /** Per-item failures. Empty (or absent) when every binding succeeded. */
-    errors?: BulkBindError[];
-}
-/**
- * Summary of a single active sort-table binding.
- */
-interface KeyProvenanceDto {
-    /**
-     * Which authority chose the key: `source_constraint`,
-     * `synthetic_record_id`, `sequence_default`, `schema_declared_identifier`,
-     * `naming_convention`, `sampled_uniqueness`, `client_supplied`, `keyless`
-     * or `unrecorded`.
-     */
-    source: string;
-    /**
-     * Which side settled it: `discovery`, `client`, `nobody` (a keyless
-     * binding), or `unrecorded`.
-     */
-    chosenBy: string;
-    /** One sentence stating what this key source means, in plain words. */
-    explanation: string;
-    /**
-     * Whether some authority guarantees the key identifies exactly one record.
-     * Absent where the question has no answer — a keyless binding, or a
-     * provenance that was never recorded.
-     */
-    guaranteedUnique?: boolean | null;
-    /**
-     * Whether term ids built from this key survive a rebuild of the source:
-     * `survives_source_rebuild` or `lifetime_scoped`. Absent for a
-     * client-supplied key, where nothing declares it.
-     */
-    durability?: string | null;
-}
-/**
- * One active sort↔table binding.
- */
-interface BindingSummaryDto {
-    /** Number of bound features/columns. */
-    featureCount: number;
-    /** Primary key column names. */
-    keyColumns: string[];
-    /**
-     * Where the key columns came from, and what that implies for the durability
-     * of ids derived from them. The column names cannot say it: `["title"]`
-     * looks identical whether a uniqueness constraint backs it or an operator
-     * nominated it.
-     */
-    keyProvenance: KeyProvenanceDto;
-    /** Sort ID (UUID string). */
-    sortId: string;
-    /** External source identifier. */
-    sourceId: string;
-    /** SQL table name. */
-    tableName: string;
-}
-/**
- * Response listing all active sort-table bindings.
- */
-interface ListBindingsResponse {
-    /** Active sort-table bindings. */
-    bindings: BindingSummaryDto[];
-}
-/**
- * Response from generating ontology-grounded NL tool schemas.
- */
-interface GroundedSchemaResponse {
-    /** Number of inference tools. */
-    inferenceTools: number;
-    /** Human-readable ontology summary. */
-    ontologySummary: string;
-    /** Number of query tools generated. */
-    queryTools: number;
-    /** System prompt for LLM grounding. */
-    systemPrompt: string;
-    /** Number of write tools generated. */
-    writeTools: number;
-}
-/**
- * Request to import a Foundry ontology export into the sort hierarchy.
- *
- * @remarks
- * Sent to `POST /api/v1/ontology/import-foundry`. Wire format is snake_case
- * (`foundry_json`).
- */
-interface ImportFoundryRequest {
-    /** The Foundry ontology export, as JSON. */
-    foundryJson: string;
-}
-/**
- * An item imported with a caveat or skipped — needs human review.
- */
-interface FoundryReviewItemDto {
-    /** What kind of item (`property_type`, `action_type`). */
-    kind: string;
-    /** The item's apiName. */
-    name: string;
-    /** Why it needs review. */
-    reason: string;
-}
-/**
- * Response from a Foundry import: what was created plus a mapped/review-needed report.
- */
-interface ImportFoundryResponse {
-    /** Interface types mapped to (super) sorts. */
-    mappedInterfaceTypes: number;
-    /** Link types mapped to referring features. */
-    mappedLinks: number;
-    /** Object types mapped to sorts. */
-    mappedObjectTypes: number;
-    /** Properties mapped to features. */
-    mappedProperties: number;
-    /** Number of relations discovered from link types. */
-    relationsDiscovered: number;
-    /** Items imported with a caveat or skipped — need human review. */
-    reviewNeeded: FoundryReviewItemDto[];
-    /** Names of sorts created (object + interface types). */
-    sortsCreated: string[];
-}
-/**
- * Request to import an OWL/RDF ontology into the sort hierarchy.
- *
- * @remarks
- * Sent to `POST /api/v1/ontology/import`. Wire format is snake_case (`rdf_xml`).
- */
-interface ImportOwlRequest {
-    /** OWL/RDF XML content to import. */
-    rdfXml: string;
-}
-/**
- * Response from an OWL ontology import.
- */
-interface ImportOwlResponse {
-    /** Names of reified sorts created (many-to-many with attributes). */
-    reifiedSortsCreated: string[];
-    /** Number of relations discovered from OWL object properties. */
-    relationsDiscovered: number;
-    /** Names of sorts created from OWL classes. */
-    sortsCreated: string[];
-}
-/**
- * Request to transpile an OSFQL query to SQL.
- *
- * @remarks
- * Sent to `POST /api/v1/ontology/transpile`. Wire format is snake_case
- * (the `osfql` and `dialect` fields are already lowercase).
- */
-interface TranspileRequest {
-    /** SQL dialect: "postgres", "mysql", or "sqlite". */
-    dialect?: string;
-    /** OSFQL query to transpile. */
-    osfql: string;
-}
-/**
- * Response from OSFQL-to-SQL transpilation.
- */
-interface TranspileResponse {
-    /** Whether the entire plan is SQL-transpilable. */
-    fullyTranspilable: boolean;
-    /** Number of parameters in the generated SQL. */
-    paramCount: number;
-    /** Source ID the query targets. */
-    sourceId?: string | null;
-    /** Generated SQL query. */
-    sql: string;
-}
-
-type ontologyBridge_BindSortRequest = BindSortRequest;
-type ontologyBridge_BindSortResponse = BindSortResponse;
-type ontologyBridge_BindingSummaryDto = BindingSummaryDto;
-type ontologyBridge_BulkBindError = BulkBindError;
-type ontologyBridge_BulkBindSortsRequest = BulkBindSortsRequest;
-type ontologyBridge_BulkBindSortsResponse = BulkBindSortsResponse;
-type ontologyBridge_ColumnMappingDto = ColumnMappingDto;
-type ontologyBridge_FoundryReviewItemDto = FoundryReviewItemDto;
-type ontologyBridge_GroundedSchemaResponse = GroundedSchemaResponse;
-type ontologyBridge_ImportFoundryRequest = ImportFoundryRequest;
-type ontologyBridge_ImportFoundryResponse = ImportFoundryResponse;
-type ontologyBridge_ImportOwlRequest = ImportOwlRequest;
-type ontologyBridge_ImportOwlResponse = ImportOwlResponse;
-type ontologyBridge_KeyProvenanceDto = KeyProvenanceDto;
-type ontologyBridge_ListBindingsResponse = ListBindingsResponse;
-type ontologyBridge_TranspileRequest = TranspileRequest;
-type ontologyBridge_TranspileResponse = TranspileResponse;
-declare namespace ontologyBridge {
-  export type { ontologyBridge_BindSortRequest as BindSortRequest, ontologyBridge_BindSortResponse as BindSortResponse, ontologyBridge_BindingSummaryDto as BindingSummaryDto, ontologyBridge_BulkBindError as BulkBindError, ontologyBridge_BulkBindSortsRequest as BulkBindSortsRequest, ontologyBridge_BulkBindSortsResponse as BulkBindSortsResponse, ontologyBridge_ColumnMappingDto as ColumnMappingDto, ontologyBridge_FoundryReviewItemDto as FoundryReviewItemDto, ontologyBridge_GroundedSchemaResponse as GroundedSchemaResponse, ontologyBridge_ImportFoundryRequest as ImportFoundryRequest, ontologyBridge_ImportFoundryResponse as ImportFoundryResponse, ontologyBridge_ImportOwlRequest as ImportOwlRequest, ontologyBridge_ImportOwlResponse as ImportOwlResponse, ontologyBridge_KeyProvenanceDto as KeyProvenanceDto, ontologyBridge_ListBindingsResponse as ListBindingsResponse, ontologyBridge_TranspileRequest as TranspileRequest, ontologyBridge_TranspileResponse as TranspileResponse };
-}
-
 /**
  * Resource client for ontology-bridge operations.
  *
@@ -74624,6 +75248,40 @@ declare class OntologyBridgeClient {
      * ```
      */
     transpile(request: TranspileRequest, requestOptions?: RequestOptions): Promise<TranspileResponse>;
+    /**
+     * Transpile an OSFQL query AND run it on the source it is bound to.
+     *
+     * @param request - The OSFQL query. No dialect: the binding names the
+     *   source, and the source's type decides the dialect.
+     * @param requestOptions - Per-call request options.
+     * @returns The rows the source returned, the native query that fetched them,
+     *   its dialect, and the source id.
+     * @throws {ApiError} If the request fails.
+     *
+     * @remarks
+     * Sent to `POST /api/v1/ontology/query`. The response uses the snake_case
+     * wire format (`row_count`, `source_id`); this client normalizes at the
+     * boundary. `rows` are the source's own records, one object per row, and
+     * their KEYS are the source's column names — data, carried verbatim.
+     *
+     * **This is the second half of {@link OntologyBridgeClient.transpile}, and
+     * for a `transpile`-mode source it is the only route that answers.** Such a
+     * source deliberately ingests nothing: its bound sorts are live views over
+     * the operator's own database, so every KB query over them reports no
+     * results. `transpile` emits the native query and stops; this runs it.
+     *
+     * @example
+     * ```typescript
+     * const result = await client.ontologyBridge.executeTranspiled({
+     *   osfql: 'MATCH person(name: ?N);',
+     * });
+     * console.log(result.dialect);   // "postgres"
+     * console.log(result.query);     // the SQL that ran
+     * console.log(result.rowCount);  // 12
+     * for (const row of result.rows) console.log(row['name']);
+     * ```
+     */
+    executeTranspiled(request: ExecuteTranspiledRequest, requestOptions?: RequestOptions): Promise<ExecuteTranspiledResponse>;
     /**
      * Remove a sort-table binding.
      *
@@ -78699,6 +79357,85 @@ interface ConformanceRequest {
      */
     ontology: string;
 }
+/**
+ * One domain/range violation `POST /api/v1/conformance/check` detected.
+ *
+ * @remarks
+ * ⚠️ Distinct from the shared {@link ViolationDto}, which this response used to
+ * be mapped through. Not one key matched: `ViolationDto` names `description`,
+ * `related_fact_id` and `severity`, and the conformance route sends none of
+ * the three, so every violation arrived with every field `undefined` — a 200,
+ * an array of the right length, and no detail (#13).
+ *
+ * Every field is OPTIONAL, and that is deliberate. The route's OpenAPI slot is
+ * occupied by the colliding `ViolationDto` component, so nothing checks this
+ * shape at generation time and the SDK cannot promise a field the engine may
+ * not send. What arrives is reported; nothing is fabricated to satisfy a
+ * required key. The current engine sends all seven on every violation.
+ *
+ * @example
+ * ```typescript
+ * const violation: ConformanceViolationDto = {
+ *   subject: 'urn:osfkb:cef5152a-…',
+ *   object: 'urn:osfkb:b4b76306-…',
+ *   feature: 'worksFor',
+ *   subjectSort: 'Company',
+ *   objectSort: 'Person',
+ *   kind: 'v1-inversion',
+ *   suggestedFixes: [{ action: 'swap' }],
+ * };
+ * ```
+ */
+interface ConformanceViolationDto {
+    /** Identity of the violating triple's subject. */
+    subject?: string;
+    /** Identity of the violating triple's object. */
+    object?: string;
+    /** The feature (predicate) whose declared domain/range was violated. */
+    feature?: string;
+    /** The sort the subject actually has. */
+    subjectSort?: string;
+    /** The sort the object actually has. */
+    objectSort?: string;
+    /**
+     * The diagnosed pattern — `v1-inversion`, `v2-wrong-feature` or
+     * `v3-underspecified-type`.
+     *
+     * @remarks
+     * Typed as an open `string`, not a closed union: a kind the engine adds
+     * later must reach the caller rather than be refused by the SDK.
+     *
+     * Note the HYPHENS. {@link ViolationCountsDto} keys the same three kinds with
+     * underscores (`v1_inversion` on the wire), because they are object keys
+     * there and a value here.
+     */
+    kind?: string;
+    /**
+     * What the engine proposes to do about it.
+     *
+     * @remarks
+     * Four bounded actions are declared today, each keyed by `action`:
+     *
+     * - `{action: 'swap'}` — swap subject and object (V1 inversion).
+     * - `{action: 'replace_predicate', feature}` — use another declared feature
+     *   that fits the two sorts (V2).
+     * - `{action: 'add_subject_type', sort}` — narrow the subject toward the
+     *   declared domain (V3).
+     * - `{action: 'add_object_type', sort}` — narrow the object toward the
+     *   declared range (V3).
+     *
+     * Entries are open records rather than a closed union of those four, for
+     * the same reason this whole type exists: an action added later must reach
+     * the caller instead of being dropped by the mapper. Switch on `action` and
+     * keep a default branch.
+     *
+     * The engine declares these as `SuggestedFixDto`, and that component is
+     * UNREACHABLE from any route in the published spec — the conformance
+     * response points at `ViolationDto` instead. `pnpm run check-spec-validity`
+     * reports it.
+     */
+    suggestedFixes?: Record<string, unknown>[];
+}
 /**
  * Response from a read-only conformance check.
  *
@@ -78706,7 +79443,7 @@ interface ConformanceRequest {
  * {@link conformant} is `true` when no domain/range violation was found — which
  * includes the vacuous case where the supplied ontology declares no domain/range
  * axioms at all. {@link violations} is reported in the detector's deterministic
- * order and reuses the shared {@link ViolationDto} shape.
+ * order.
  *
  * @example
  * ```typescript
@@ -78728,7 +79465,7 @@ interface ConformanceCheckResponse {
     /** Violations grouped by kind. */
     byKind: ViolationCountsDto;
     /** Every detected violation, in the detector's deterministic order. */
-    violations: ViolationDto[];
+    violations: ConformanceViolationDto[];
 }
 /**
  * Response from a conformance repair pass.
@@ -78760,10 +79497,11 @@ interface ConformanceRepairResponse {
 type conformance_ConformanceCheckResponse = ConformanceCheckResponse;
 type conformance_ConformanceRepairResponse = ConformanceRepairResponse;
 type conformance_ConformanceRequest = ConformanceRequest;
+type conformance_ConformanceViolationDto = ConformanceViolationDto;
 type conformance_CorrectionRecordDto = CorrectionRecordDto;
 type conformance_ViolationCountsDto = ViolationCountsDto;
 declare namespace conformance {
-  export type { conformance_ConformanceCheckResponse as ConformanceCheckResponse, conformance_ConformanceRepairResponse as ConformanceRepairResponse, conformance_ConformanceRequest as ConformanceRequest, conformance_CorrectionRecordDto as CorrectionRecordDto, conformance_ViolationCountsDto as ViolationCountsDto };
+  export type { conformance_ConformanceCheckResponse as ConformanceCheckResponse, conformance_ConformanceRepairResponse as ConformanceRepairResponse, conformance_ConformanceRequest as ConformanceRequest, conformance_ConformanceViolationDto as ConformanceViolationDto, conformance_CorrectionRecordDto as CorrectionRecordDto, conformance_ViolationCountsDto as ViolationCountsDto };
 }
 
 /**
@@ -78802,6 +79540,11 @@ declare class ConformanceClient {
      * The ontology travels as an opaque string in the declared RDF format; no
      * value serialization is applied to it.
      *
+     * Each violation is a {@link ConformanceViolationDto}, NOT the shared
+     * `ViolationDto`. The two share no key, and the route's OpenAPI slot holds
+     * the wrong one — which is why the fields are narrowed from the wire in the
+     * normalizer and why every one of them is optional (#13).
+     *
      * @example
      * ```typescript
      * const result = await client.conformance.check({
@@ -78813,7 +79556,8 @@ declare class ConformanceClient {
      *   console.log(result.totalViolations, 'violations');
      *   console.log(result.byKind.v1Inversion, 'subject/object inversions');
      *   for (const violation of result.violations) {
-     *     console.log(violation.severity, violation.description);
+     *     console.log(violation.kind, violation.subject, violation.feature, violation.object);
+     *     console.log(violation.suggestedFixes); // [{ action: 'swap' }]
      *   }
      * }
      * ```
@@ -86623,4 +87367,4 @@ declare function toUntaggedFeatures(features: PlainFeatureMap): Record<string, F
  */
 declare function toTermInputDto(input: PsiTermInput | TermInputDto): TermInputDto;
 
-export { ANY_ROLE, type ActValueDto, type ActionParamRule, type ActionParameter, type ActionReviewReasonDto, type ActionReviewReasonFilter, type ActionReviewResponse, type ActionReviewStatusDto, type ActionReviewSummaryDto, actionReviews as ActionReviews, type ActionSideEffect, type ActionType, type ActionTypeDef, type ActionTypeListResponse, actions as Actions, type ActivationDto, type AdaptiveModifyRequest, type AdaptiveModifyResponse, type AddBeliefRequest, type AddBeliefResponse, type AddCausalRelationRequest, type AddCausalRelationResponse, type AddCognitiveRuleRequest, type AddCognitiveRuleResponse, type AddConnectorRequest, type AddConnectorResponse, type AddConstraintsRequest, type AddConstraintsResponse, type AddExportRequest, type AddFactRequest, type AddFactResponse, type AddGoalRequest, type AddGoalResponse, type AddHtnMethodRequest, type AddHtnMethodResponse, type AddImportRequest, type AddPendingReviewRequest, type AddRuleRequest, type AddRuleResponse, type AddSymbolRequest, type AddSymbolResponse, admin as Admin, type AdmissibleDto, type AffectedPreviewDto, type AgentBeliefDto, type AgentConfigDto, type AgentEvent, type AgentEventHandlers, type AgentGoalDto, type AgentRecallAsOfRequest, type AgentRecallAsOfResponse, type AgentSpec, type AgentStateDto, type AgentSubVerdictDto, type AgentSubscription, type AgentTrajectoryRequest, type AgentTrajectoryResponse, agui as Agui, type AguiContextItem, type AguiEvent, type AguiFunctionCall, type AguiMessage, type AguiRole, type AguiRunOptions, type AguiTool, type AguiToolCall, type AiGroup, type AlcConcept, type AlignOntologyRequest, type AlignOntologyResponse, type AlignmentConflictDto, type AlignmentMatchDto, type AllenRelation, analysis as Analysis, type AnalysisGroup, type AnalyzeDocumentsRequest, type AnalyzeOptions, anonymization as Anonymization, type AnonymizationMode, type AnonymizeRequest, type AnonymizeResponse, type AntiUnifyBatchRequest, type AntiUnifyBatchResponse, type AntiUnifyRequest, type AntiUnifyResponse, ApiError, type ApiResponse, type AppendAuditEntryRequest, type AppendRequest, type AppendResiduationsRequest, type AppendResiduationsResponse, type ApplyActionRequest, type ApplyActionResponse, type ApplyCurriedRequest, type ApplyCurriedResponse, type ApplySnapshotResponse, type ApproveActionRequest, type ApproveEntityRequest, type ApproveLearnedSimilarityRequest, type ApproveLearnedSimilarityResponse, type ArchitectureInfoDto, type ArithOpDto, type ArithValueDto, type ArithmeticConstraintDto, type ArithmeticExprDto, type ArithmeticOp, type ArithmeticRecursionOp, type ArtifactDto, type AscRequest, type AssembleContextRequest, type AssembleContextResponse, type AssembledConceptDto, type AssembledRelationDto, type AssemblyTokenCountsDto, type AssertRuleRequest, type AssertRuleResponse, type AssignValueDto, type Assignment, type AssignmentMechanism, type AssignmentRowDto, type AssignmentStatus, type AssumptionAuditRequest, type AssumptionAuditResponse, type AssumptionRequest, type AsyncIngestionResponse, type AteEstimateRequest, type AteEstimateResponse, type AttentionTargetDto, type AttestationDto, audit as Audit, type AuditEntryDto, type AuditPage, type AuditRecord, type AuditSortField, type AuditSortOrder, type AuditedAssumptionDto, type AugmentationTargetDto, type AuthConfig, AuthenticationError, type AuthoringClarificationQuestionDto, authz as Authz, type AuthzAction, type AuthzDryRunRequest, type AuthzDryRunResponse, type AuthzEffect, type BacktrackResponse, type BacktrackTermStoreRequest, type BacktrackTermStoreResponse, type BacktrackableAssignRequest, type BacktrackableAssignResponse, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, batch as Batch, type BatchCopyRequest, type BatchOperationDto, type BatchOperationResultDto, type BatchRequest, type BatchResponse, type BatchStringCompareRequest, type BayesianEffectDto, type BayesianPredictRequest, type BayesianPredictResponse, type BeliefDto, type BellShape, type BigIntegerValue, type BinaryOperatorDto, type BindSortRequest, type BindSortResponse, type BindTermRequest, type BindTermResponse, type BindVariableRequest, type BindVariableResponse, type BindVariablesRequest, type BindVariablesResponse, type BindingDto, type BindingSummaryDto, type BindingsResponse, type BitwiseOperationType, type BitwiseRequest, type BloomFilterStats, type BoolExpr, type BooleanValue, type BoundConstraintDto, type BoundingBoxGeometry, type BroadcastMessageRequest, type BroadcastMessageResponse, type BuildInfoDto, type BulkActionReviewResponse, type BulkAddFactsRequest, type BulkAddFactsResponse, type BulkAddRulesRequest, type BulkAddRulesResponse, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkApproveActionsRequest, type BulkApproveRequest, type BulkBindError, type BulkBindSortsRequest, type BulkBindSortsResponse, type BulkCreateSortsRequest, type BulkCreateSortsResponse, type BulkCreateTermsRequest, type BulkFuzzyProveRequest, type BulkFuzzyProveResponse, type BulkMergeRequest, BulkRefusedError, type BulkRejectActionsRequest, type BulkRejectRequest, type BulkRetractTermsRequest, type BulkRetractTermsResponse, type BulkRowRefusal, type BulkSetSimilaritiesRequest, type BulkSetSimilaritiesResponse, type BulkSortDefinition, type BulkSortError, type BulkSortErrorKind, type BySortQueryRequest, cdl as CDL, type CalibrateRequest, type CalibrationReportDto, type CalibrationSample, type CallOnceRequest, type CallOnceResponse, type CandidateMatchDto, type CaptureSnapshotRequest, type CardinalityOriginDto, type CascadeOptions, type CatalogPage, type CategoryProbabilityDto, type CauchyShape, causal as Causal, type CausalActionSpecDto, type CausalAnalyzeAssumptionsDto, type CausalAnalyzeDataDto, type CausalAnalyzeIndependenceTestDto, type CausalAnalyzePolicyDto, type CausalAnalyzeQuestionDto, type CausalAnalyzeQuestionKind, type CausalAnalyzeRegressionDto, type CausalAnalyzeRequest, type CausalAncestorRequest, type CausalAncestorResponse, type CausalAssumptionDto, type CausalChainDto, type CausalDecisionSpecDto, type CausalDerivationStepDto, type CausalEdgeDto, type CausalHedgeDto, type CausalProofTreeDto, type CausalRelationshipDto$1 as CausalRelationshipDto, type CausationProbabilitiesRequest, type CausationProbabilitiesResponse, type CausesRequest, type CausesResponse, type CdlComponentStatus, type CdlStatusResponse, type CdlVerificationDto, type CeilingDto, type CentralityRequest, type CentralityResponse, type CertificateDetail, type CertificateDto, type CertifiedForecast, chase as Chase, type ChaseArgDto, type ChaseAtomDto, type ChaseRunRequest, type ChaseRunResponse, type ChaseStepKindDto, type CheckDiversityRequest, type CheckDiversityResponse, type CheckDocumentRequest, type CheckDocumentResponse, type CheckFinding, type CheckSummary, type ChoicePoint, type ChoicePointDto, type ChoicePointMarkerResponse, type ChoiceSelection, type ChoiceValue, type ChrRequest, type ChunkFailureDto, type CircleGeometry, type CitationCheckDto, type CitationMarkerDto, type ClaimAnnotationDto, type ClaimAssessment, type ClaimCitation, type ClaimSubtype, type ClaimVerdict, type ClarificationQuestionDto, type Classification, type ClassificationLevelDto, type ClassifyEdgesInput, type ClassifyEdgesVars, type ClassifyProblemRequest, type ClassifyProblemResponse, type ClassifySafetyRequest, type ClassifySafetyResponse, type CleanupResponse, type CleanupSessionsResponse, type CleanupStaleSessionsParams, type ClearFactsResponse, type ClearTenantResponse, type ClearTermsResponse, type ClientConfig, type ClusteredAteRequest, type ClusteredObservationDto, type CoextensiveDefinitionDto, cognitive as Cognitive, type CognitiveGoalDto, type CognitiveStrategyDto, type CognitiveTermInput, coherence as Coherence, type CoherenceAnalyzeRequest, type CoherenceAnalyzeResponse, type CoherenceClaimDto, type CoherenceInlineDocumentDto, type CoherenceSummaryDto, type CohesionRequest, type CohesionResponse, type CollectionDto, collections as Collections, type ColumnMappingDto, type CommitFlowNetworkRequest, type CommitRequest, type CommittedForecast, communities as Communities, type CommunityDetectionConfigDto, type CommunityDetectionStatsDto, type CommunityDto, type CommunityMatchDto, type CommunityReportDto, type CommunityReportSummaryDto, type CommunitySearchModeDto, type CommunitySearchStatsDto, type CommunityStatsDto, type CompareDocumentsRequest, type CompareModelDto, type ComparisonOp, type CompetitorForecast, compliance as Compliance, complianceMarkings as ComplianceMarkings, type ComponentDto, type ComponentHealthDto, type ComputeGlbResponse, type ComputeLubResponse, type ConceptMatchDto, type CondRequest, type CondResponse, type ConditionalBranchDto, type ConditionalIndependenceRequest, type ConditionalIndependenceResponse, type ConfirmResponse, type ConflictResolution, type ConfluenceConflictDto, type ConfluenceDto, conformal as Conformal, type ConformalCalibrateRequest, type ConformalCalibrateResponse, type ConformalPredictRequest, type ConformalPredictResponse, type ConformalPrediction, conformance as Conformance, type ConformanceCheckResponse, type ConformanceRepairResponse, type ConformanceRequest, type ConformityArticleDto, type ConformityResponse, type ConnectorInstance, type ConnectorType, connectors as Connectors, type ConstrainedGenerateRequest, type ConstrainedGenerateResponse, type ConstrainedPlainVar, Constraint, type ConstraintCheckDto, type ConstraintDto, type ConstraintGraphRequest, type ConstraintGraphResponse, type ConstraintGraphStats, type ConstraintInputDto, type ConstraintOperator, type ConstraintSense, type ConstraintSessionStatus, ConstraintViolationError, constraints as Constraints, type ContainmentVerificationDto, type ContinuousMediationObservationDto, type ContinuousObservationDto, type ContinuousTreatmentObservationDto, type ContradictionDto, type ContradictionResolutionDto, control as Control, type ControlNafRequest, conversation as Conversation, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationSummaryDto, type ConversationTrainingConfigDto, type ConversationTurnDto, type ConversationTurnsResponse, type CoordinatedResourceSet, type CopyModeDto, type CopyTermRequest, type CoreGroup, corpus as Corpus, type CorpusBridgeEdge, type CorpusBridgesRequest, type CorpusBridgesResponse, type CorpusCommunitiesRequest, type CorpusCommunitiesResponse, type CorpusCommunity, type CorpusCommunityDocumentShare, type CorpusCrossCuttingItem, type CorpusCrossCuttingItemKind, type CorpusCrossCuttingKind, type CorpusCrossCuttingRequest, type CorpusCrossCuttingResponse, type CorpusDocumentNode, type CorpusEntityRef, type CorpusScope, type CorpusSharedEntity, type CorpusTreemapRow, type CorrectEntityRequest, type CorrectionRecordDto, type CorrelationRequest, type CorrelationResponse, type CosineShape, type CountAuditEntriesResponse, type CounterfactualRequest, type CounterfactualResponse, type CounterfactualTraceDto, type CoverageCertificate, type CreateAgentRequest, type CreateAgentResponse, type CreateChildNamespaceRequest, type CreateCognitiveSortRequest, type CreateCognitiveSortResponse, type CreateCollectionRequest, type CreateConstraintSessionRequest, type CreateConstraintSessionResponse, type CreateCurriedFunctionRequest, type CreateExecutionSessionRequest, type CreateFlowNetworkRequest, type CreateGoalRequest, type CreateGoalResponse, type CreateModuleRequest, type CreateModuleResponse, type CreateOversightSessionRequest, type CreateOversightSessionResponse, type CreateResearchSessionRequest, type CreateResearchSessionResponse, type CreateRootNamespaceRequest, type CreateRuleStoreRequest, type CreateScenarioRequest, type CreateScenarioResponse, type CreateSnapshotRequest, type CreateSortRequest, type CreateSpaceRequest, type CreateStoreTermRequest, type CreateSubscriptionRequest, type CreateSubscriptionResponse, type CreateTenantRequest, type CreateTenantResponse, type CreateTermByNameRequest, type CreateTermInCollectionRequest, type CreateTermInput, type CreateTermInputWithPlainFeatures, type CreateTermRequest, type CreateTermStoreRequest, type CreateVariableRequest, type CrossSectionForecast, type CtlCounterExample, type CtlFormula, type CuriosityTargetDto, type CurriedFunctionResponse, type CurryingContextResponse, type CutRequest, type CutResponse, type CycleDto, type CycleOutcomeDto, type CycleOutcomeSummaryDto, type CyclicGaussianShape, dl as DL, type DSeparatedRequest, type DSeparatedResponse, type DataGroup, type DataMixingStatsDto, type DataPointDto, type DatasetStatisticsDto, type DateTimeValue, type DecisionAuditRequest, type DecisionAuditResponse, type DeclareLatentVariableRequest, type DeclareLatentVariableResponse, type DecodeGlbResponse, type DeepCopyRequest, type DegreeDistributionDto, type DeleteAgentResponse, type DeleteGoalResponse, type DeletePlanRequest, type DeletePlanResponse, type DeleteSnapshotResponse, type DeleteSortResponse, type DeleteSortRulesDisposition, type DeleteSortTermsDisposition, type DeleteSpeakerRequest, type DeleteTenantResponse, type DeleteTermReport, type DeliveryStatusDto, demo as Demo, type DemoSeedRequest, type DemoSeedResponse, type DensityRatioDiagnosticDto, type DependentInfoDto, type DeprecateSortRequest, type DereferenceRequest, type DereferenceResponse, type DerivationSummaryDto, type DerivedInferenceRequest, type DerivedInferenceResponse, type DerivedInferenceResultDto, type DetectCommunitiesRequest, type DetectCommunitiesResponse, type DetectMissingAttributesRequest, type DiDValidationRequest, type DiDValidationResponse, type DiagnosticDto, type DiagnosticsResponse, type DifferentiableFcRequest, type DifferentiableFcResponse, type DiscoverCausalRequest, type DiscoverCausalResponse, type DiscoverEffectsRequest, type DiscoverEffectsResponse, type DiscoverEmlRequest, type DiscoverEmlResponse, type DiscoverSchemaRequest, type DiscoverSchemaResponse, type DiscoverableTypeDto, type DiscoveredFeatureDto, type DiscoveredRelationDto, type DiscoveredSortDto, type DiscoveredSourceRelationDto, discovery as Discovery, type DiscoveryConfigDto, type DiscoveryProofNodeDto, type DiscoveryProofStatsDto, type DiscoveryProofTreeDto, type DiscoveryStateDto, type DiscoveryStatusResponse, type DiscoveryStrategy, type DisentailmentRequest, type DisentailmentResponse, type DiversityAnalysisDto, type DlSatisfiableRequest, type DlSatisfiableResponse, type DlSubsumesRequest, type DlSubsumesResponse, type DmlAteRequest, type DocumentAnalysisReport, type DocumentBatchItem, type DocumentBatchResultDto, documentCheck as DocumentCheck, type DocumentExtractedEntity, type DocumentGraph, type DocumentGraphCommunity, type DocumentGraphEdge, type DocumentGraphNode, type DocumentGraphQuery, type DocumentInput, type DocumentMetadataDto, type DocumentParseStatsDto, type DocumentParser, type DocumentProgressDto, type DocumentProofStep, type DocumentQaPair, type DocumentRecord, type DocumentResult, type DocumentRuleResult, type DocumentRuleSeverity, type DocumentRuleStatus, type DocumentSource, type DocumentStatsDto, type DocumentStatus, type DocumentSummary, type DocumentType, type DocumentVersionsResponse, documents as Documents, type DomainValue, type DoseResponseRequest, type DoseResponseResponse, type DraftFunctionRequest, type DraftFunctionResponse, type DraftRulesRequest, type DraftRulesResponse, type DriveDeficitDto, type DriveDto, type DynamicAddSortRequest, type DynamicAddSortResponse, type DynamicDiscoveryRequest, type DynamicDiscoveryResponse, type DynamicQueryClauseDto, type DynamicQueryGroupDto, type DynamicQueryRequest, type DynamicQueryResponse, type DynamicQueryResultDto, type E2ETrainingRequest, type E2ETrainingResponse, type EdgeCapacityUpdate, type EdgeClass, type EdgeClassification, type EdgeFlow, type EdgeSpec, type EdgeTypeDto, type EffectDto$1 as EffectDto, type EffectPredictionDto, type EmbeddingRankRequest, type EmbeddingRankResponse, type EmbeddingVerificationResponse, embeddings as Embeddings, type EmlSample, type EncodeClipRequest, type EncodeClipResponse, type EncoderConfigOverrides, type EndSchedulingResponse, type EnforcementStrategy, type EnrichedHealthResponse, type EnrollSpeakerRequest, type EnrollSpeakerResponse, type EnrollVoiceRequest, type EntailmentRequest, type EntailmentResponse, type EntityDto, type EntityVerificationDetailDto, type EpisodeDto, type EpisodeOutcomeDto, type EpisodeStatsResponse, type EqLiteralDto, type EqualityAtomDto, type EquivalenceClass, type EquivalenceClassDto, type ErrorResponse$1 as ErrorResponse, type EvalBuiltinRequest, type EvalBuiltinResponse, type EvalFunctionInfoDto, type EvaluateFunctionRequest, type EvaluateFunctionResponse, type EvaluatePatternRequest, type EvaluatePatternResponse, type EvaluatedValueDto, type EvaluationResult, type EvidenceAssessmentRequest, type EvidenceAssessmentResponse, type EvidenceDerivationConfigDto, type EvidenceItemDto, type EvidenceItemSummaryDto, type EvidenceSourceDto, execution as Execution, type ExecutionGoalDto, type ExecutionSessionResponse, type ExecutionSessionStatsResponse, type ExecutionValueDto, type ExogenousNoiseDto, type ExplorationCompleteResponse, type ExplorationProgress, type ExplorationQuestion, type ExplorationStatusResponse, type ExportJsonlResponse, type ExpressionDto, type ExtendedAgentStateDto, type ExternalActionSummaryDto, type ExternalMatchDto, type ExternalRefValue, extract as Extract, type ExtractEntitiesRequest, type ExtractEntitiesResponse, type ExtractImageRequest, type ExtractImageResponse, type ExtractedEntityDto, type ExtractionPredictionDto, type ExtractionStatsDto, type ExtractionStrategy, type ExtractionStrategyAdaptive, type ExtractionStrategyHybrid, type ExtractionStrategyLlm, type ExtractionStrategyLocalNer, type ExtractionStrategySchemaGuided, type FactConfidenceEntry, type FactoryResetResponse, type FailedReviewDto, type FdDomainStateDto, feasibility as Feasibility, type FeatureBindingDto, type FeatureChangeDto, type FeatureConfigDto, type FeatureDescriptorDto, type FeatureFilterDto, type FeatureInputConstrainedVariable, type FeatureInputInlineTerm, type FeatureInputInlineTermByName, type FeatureInputSortRef, type FeatureInputTermRef, type FeatureInputValueDto, type FeatureInputVariable, type FeatureMismatchDto, type FeaturePair, type FeatureRequirementDto, type FeatureTargetDto, type FeatureTypeDto, type FeatureValueDto, type FinalizeOversightSessionRequest, type FindBySortRequest, type FindPlansRequest, type FindPlansResponse, type FindRulesRequest, type FindRulesResponse, type FindSimilarRequest, type FindallRequest, type FindallResponse, type FindingKind, type FindingSeverity, type FixSuggestionDto, Flow, type FlowAlgorithm, type FlowProblem as FlowBuilderProblem, type FlowEdgeInput, type FlowEdgeOptions, type FlowNetworkResponse, flowNetworks as FlowNetworks, type FlowNode, type FlowProblemInputBase, type FocusEntryDto, type ForallRequest, type ForallResponse, ForbiddenError, forecast as Forecast, type ForecastAbstention, type ForecastBody, type ForecastCertificate, type ForecastCoveringSet, type ForecastDomain, type ForecastDomainsResponse, type ForecastEntityInput, type ForecastRequest, type ForecastResponse, type FormalJudgeRefinementResponse, type FormalJudgeRequest, type FormalJudgeResponse, type FormalVerdictDto, type ForwardChainRequest, type ForwardChainResponse, type FoundryReviewItemDto, type FrameSummary, type FrequencyEstimate, type FrequencyRequest, type FrequencyResponse, type FrontDoorObservationDto, type FrontDoorRequest, type FrontDoorResponse, type FunctionBodyDto, type FunctionCaller, type FunctionCallerKind, type FunctionCallersDisposition, type FunctionClauseDto, type FunctionDefinitionSignature, type FunctionDraftDto, type FunctionGuardDto, type FunctionKindDto, type FunctionNotReplaceableDto, type FunctionSummaryDto, type FunctionType, type FunctionTypeListResponse, type FunctionValueDto, type FunctionWithdrawalReport, functions as Functions, fuzzy as Fuzzy, type FuzzyConceptLevel, type FuzzyMergeRequest, type FuzzyMergeResponse, type FuzzyNumberValue, type FuzzyProveRequest, type FuzzyProveResponse, type FuzzyScalarValue, type FuzzySearchResultItem, type FuzzySearchTopKRequest, type FuzzySearchTopKResponse, FuzzyShape, type FuzzyShapeDto, type FuzzySubsumptionRequest, type FuzzySubsumptionResponse, type FuzzyUnifyRequest, type FuzzyUnifyResponse, type GESResultDto, type GFlowNetSampleRequest, type GFlowNetSampleResponse, type GFlowNetTrainResponse, type GateRequest, type GateResponse, type GaussianProductShape, type GaussianShape, type GenMode, type GeneralConstraintDto, type GenerateDocumentRequest, type GenerateDocumentResponse, type GenerateNegativesRequest, type GenerateNegativesResponse, type GenerateOntologyRequest, type GenerateOntologyResponse, type GenerateSyntheticDataRequest, type GenerateSyntheticDataResponse, generation as Generation, type GenerationPromptRequest, type GenerationPromptResponse, type GenerationProvenanceDto, type GenerationReportDto, type GenerationVerificationDto, type GenericModelRequest, Geometry, type GeometryDto, type GeometryValue, type GetAgentDrivesRequest, type GetAgentStateRequest, type GetAgentStateResponse, type GetBindingsRequest, type GetCausalModelResponse, type GetEpisodeStatsRequest, type GetEquivalenceClassesResponse, type GetExtendedAgentStateRequest, type GetExtendedAgentStateResponse, type GetFactsResponse, type GetFunctionResponse, type GetFuzzySubsumptionRequest, type GetFuzzySubsumptionResponse, type GetInboxRequest, type GetInboxResponse, type GetMembershipsRequest, type GetMembershipsResponse, type GetPreorderDegreeRequest, type GetPreorderDegreeResponse, type GetResiduationsRequest, type GetResiduationsResponse, type GetRulesResponse, type GetScenarioResponse, type GetSortSimilarityRequest, type GetSortSimilarityResponse, type GetStoreTermRequest, type GetStoreTermResponse, type GlbLubComputationTrace, type GlbLubOperation, type GlbLubTraceRequest, type GlbLubTraceStep, type GlbRequest, type GlbResponse, type GlobalAssignRequest, type GlobalAssignResponse, type GlobalGetRequest, type GlobalGetResponse, type GlobalIncrementRequest, type GlobalIncrementResponse, type GoalDto, type GoalEvaluationResultDto, type GoalResiduationRequest, type GoalResiduationResponse, type GoalStackEntryDto, type GoalStackResponse, type GoalStatusUpdate, type GoalSummaryDto, type GraphEdgeDto, type GraphExportFormat, type GraphMetadataDto, type GraphNodeDto, type GraphSparqlQueryRequest, type GraphSparqlResults, type GroundTruthEntry, type GroundTruthStatus, type GroundedGenerateRequest, type GroundedGenerateResponse, type GroundedSchemaResponse, type GroundingStatsDto, type GroupedRankForecast, type GuardOp, guardrail as Guardrail, type GuardrailReport, type GuardrailRequest, type GuardrailSummary, health as Health, type HeavyHitterItem, type HeavyHittersRequest, type HeavyHittersResponse, type HipaaIdentifier, homoiconic as Homoiconic, type HomoiconicSubstitutionDto, type HorizonDto, type HtnMethodDto, type HyperedgeDto, type HyperedgeTypeDto, type HypergraphRequest, type HypergraphResponse, type HypergraphStats, ilp as ILP, type IdentificationRefDto, type IdentifyEffectRequest, type IdentifyEffectResponse, type ImageExtractedEntityDto, type ImageExtractedRelationDto, imageExtraction as ImageExtraction, type ImageExtractionStatsDto, type ImageSuggestedSortDto, type ImpasseDto, type Implication, type ImpliesRequest, type ImpliesResponse, type ImportFoundryRequest, type ImportFoundryResponse, type ImportModuleRequest, type ImportModuleResponse, type ImportOwlRequest, type ImportOwlResponse, type InboxMessageDto, type IncompleteDocumentDto, type InfeasibleResult, inference as Inference, type InfluenceDto, type IngestDocumentBatchRequest, type IngestDocumentBatchResponse, type IngestDocumentRequest, type IngestDocumentResponse, type IngestFromSourceRequest, type IngestFromSourceResponse, type IngestKifRequest, type IngestKifResponse, type IngestMarkdownBatchRequest, type IngestMarkdownRequest, type IngestMarkdownResponse, type IngestPaperRequest, type IngestPaperResponse, type IngestRdfRequest, type IngestRdfResponse, type IngestStepRequest, ingestion as Ingestion, type IngestionConfigDto, IngestionFailedError, type IngestionPollOptions, IngestionSession, type IngestionSessionResponse, type IngestionSessionStatusDto, type IngestionStatsDto, type IngestionSyncOptions, type InlineDocument, type InstallList, type InstallPluginRequest, type InstallPluginResponse, type InstallState, type InstallSummary, type IntegerValue, type IntegratedCycleOutcomeDto, type IntegratedEngineConfigDto, type IntegrationGroupDto, type IntegrityResponse, type IntentionDto, type InteractionGraphDto, type Interceptor, type InterfaceType, type InterfaceTypeListResponse, InternalServerError, type InterventionDto, type InterventionObservationRequest, type InterventionObservationResponse, type InterventionRecommendationDto, type InterventionRequest, type InterventionResponse, type InvokeActionRequest, type InvokeActionResponse, type IterationMetricDto, type JsonValue$1 as JsonValue, type JudgeConfigDto, type KAnonymityResult, type KAnonymityViolation, type KBOptimizationConfig, type KBOptimizationResult, type KBResourceConstraint, type KBVariableSpec, type KbChangeDto, type KbChangeType, type KeyProvenanceDto, type KnowledgeGapDto, type KripkeState, type KripkeTransition, LP, ltn as LTN, type LatticeStats, type LatticeVisualizationRequest, type LatticeVisualizationResponse, type LayerResultDto, type LayerResultSummaryDto, type LayoutAlgorithmDto, type LayoutDirectionDto, type LayoutHintsDto, type LayoutModeDto, type LayoutSlotDto, type LayoutSurfaceDto, type LazyEvalRequest, type LazyEvalResponse, type LearnFromCorrectionRequest, type LearnFromCorrectionResponse, type LearnPatternConfigDto, type LearnPatternRequest, type LearnPatternResponse, type LearnSortSimilaritiesRequest, type LearnSortSimilaritiesResponse, type LearnedPatternDto, type LearnedSimilarityDto, type LearnedSimilarityListResponse, type LearnedSimilarityProvenanceDto, type LearnedSimilarityStatusDto, type LedgerInfoDto, type LinExpr, type LinTerm, type LinearConstraint$1 as LinearConstraint, type LinearExpression, type LinearProgramDefinition, type LinkPredictionRequest, type LinkPredictionResponse, type LinkType, type LinkTypeListResponse, type ListActionReviewsOptions, type ListActionReviewsResponse, type ListAgentsResponse, type ListAuditEntriesQuery, type ListAuditEntriesResponse, type ListAuditOptions, type ListBindingsResponse, type ListCatalogParams, type ListConversationsResponse, type ListDocumentsQuery, type ListDocumentsResponse, type ListEnginesResponse, type ListEvalFunctionsRequest, type ListEvalFunctionsResponse, type ListExternalActionsResponse, type ListFunctionsResponse, type ListGoalsResponse, type ListIncompleteDocumentsResponse, type ListIngestionSessionsResponse, type ListInstallsParams, type ListLevelsResponse, type ListPatternsResponse, type ListPendingInvocationsResponse, type ListPendingReviewsOptions, type ListPreferencesResponse, type ListResearchSessionsResponse, type ListScenariosResponse, type ListSnapshotsResponse, type ListSortsQuery, type ListSourceTypesResponse, type ListSourcesResponse, type ListSpeakersResponse, type ListSubscriptionsResponse, type ListSymbolsRequest, type ListSymbolsResponse, type ListTablesResponse, type ListTenantsResponse, type ListTermsQuery, type ListValue, type ListVoicesResponse, type Lit, type LiteralFeatureValue, type LiteralInputDto, type LogOddsAntecedentContributionDto, type LogOddsScoreDecompositionDto, type LogOddsWitnessDto, type LtnAggregator, type LtnAggregatorKind, type LtnFeatureText, type LtnInstance, type LtnLearnedCertainty, type LtnPredicateExample, type LtnPredicateFit, type LtnPredicateTraining, type LtnQueryKind, type LtnQueryRequest, type LtnQueryResponse, type LtnRefuteRequest, type LtnRefuteResponse, type LtnRule, type LtnTrainRequest, type LtnTrainResponse, type LtnWitnessEntry, type LubRequest, type LubResponse, type MarkChoicePointRequest, type MarkMessagesReadRequest, type MarkMessagesReadResponse, type MarkPendingRequest, type MarkPendingResponse, type MarkRuleStoreRequest, type MarkRuleStoreResponse, type MarkTermStoreRequest, type MarkTermStoreResponse, type MarkdownDocumentDto, marketplace as Marketplace, type MarketplaceScope, type MatchedEntityDto$1 as MatchedEntityDto, type MaterializationSummaryDto, type MaterializeScenarioRequest, type MaterializeScenarioResponse, type MathFunctionRequest, type MathFunctionType, type MaxFlowInput, type MaxFlowVars, type MeasurementRole, type MeasurementUnitDto, type MeasurementValue, type MediationDmlRequest, type MediationEffectDto, type MediationObservationDto, type MediationRequest, type MediationResponse, type MeetPreservationDto, type MembershipDto, type MembershipRequest, type MembershipResponse, type MembershipResult, type MergeEntityRequest, type MetaSortsResponse, type MinCostMaxFlowInput, type MinCostMaxFlowVars, type MinCutInput, type MinCutReport, type MinCutVars, type MissingInfoDto, type ModifyActionRequest, type ModularArithRequest, type ModularOperationType, type MonadicFactDto, type MonadicFixpointRequest, type MonadicFixpointResponse, type MotivationStateDto, type MoveDto, type MultiMediationObservationDto, type MultiMediationRequest, type NafProveRequest, type NafProveResponse, type NafResponse, type NamespaceDto, type NamespaceListResponse, type NamespaceResponse, namespaces as Namespaces, type NegativeExampleDto, NetworkError, neuroSymbolic as NeuroSymbolic, type NeuroSymbolicStatusResponse, type NlQueryMode, type NlQueryRequest, type NlQueryResponse, type NlQueryResultItem, type NodeScore, type NodeTypeDto, NotFoundError, type NumberFormatDto, type NumberToStringRequest, type NumberValueDto, type NumberedPage, type NumberedPageReader, type OAuthCallbackQuery, type OAuthStartResponse, type ObjectType, type ObjectTypeListResponse, type Objective, type ObjectiveFunction, type ObjectiveSense, type ObservationDto, type ObservationalProbabilitiesDto, type ObserveMultiRequest, type ObserveMultiResponse, type ObservePairRequest, type ObservePairResponse, type ObserveSingleRequest, type ObserveSingleResponse, type OcrConfigDto, type OffsetPage, type OffsetPageReader, ontology as Ontology, ontologyAlignment as OntologyAlignment, ontologyBridge as OntologyBridge, type OntologyClarificationQuestionDto, ontologyExport as OntologyExport, type OntologyExportDocument, type OntologyExportFormat, type OntologyExportOptions, ontologyFacade as OntologyFacade, type OntologyRagRequest, type OntologyRagResponse, type OntologyRagStatsDto, type OpenSpeechSessionRequest, type OpenSpeechSessionResponse, type Operand, operations as Operations, type OptimalResult, type OptimizationDirection, type OptimizationResult, optimize as Optimize, type OrderedCombo, type OrientPairDiagnosticsDto, type OrientPairDirectionDto, type OrientPairFitDto, type OrientPairIndependenceTestRequest, type OrientPairRegressionBasisDto, type OrientPairRegressionRequest, type OrientPairRequest, type OrientPairResponse, type OrientPairVerdictDto, osfDiff as OsfDiff, type OsfDiffReport, type OsfDiffRequest, type OsfDiffResponse, type OsfDiffSelector, type OsfDiffSequenceReport, type OsfDiffSequenceRequest, type OsfDiffSequenceResponse, type OsfDiffTemporalRequest, type OsfSearchRequest, type OsfSearchResponse, type OsfSearchStatsDto, osfql as Osfql, type OsfqlAtomicRefusal, type OsfqlCatalogEntry, type OsfqlCatalogExecution, type OsfqlCatalogUiAffinity, type OsfqlDiagnoseRequest, type OsfqlDiagnoseResponse, type OsfqlDiagnostic, type OsfqlPreviewAffected, type OsfqlPreviewResponse, type OsfqlPreviewSortCount, type OsfqlPreviewStatement, type OsfqlRange, type OsfqlRequest, type OsfqlResponse, type OsfqlTermValue, type OsfqlValue, type OutputFormatDto, type OverlapDiagnosticDto, oversight as Oversight, type OversightAlertDto, type OversightSessionStatusResponse, type PaginateOptions, type PaginationParams, type PaperMetadataDto, type PaperRefDto, type PaperSearchResultDto, type PaperSource, type ParamSpec, type ParsedDocumentMetadataDto, type PartialCorrelationRequest, type PartialCorrelationResponse, type PatchSortFeatureRequest, type PatchSortRequest, type PathRequest, type PathResponse, type PathwaysDto, type PatternDto, type PatternSummaryDto, type PendingActionReviewDto, type PendingInvocationDto, type PendingReviewDto$1 as PendingReviewDto, type PiShapeShape, type PiecewiseLinearShape, type Pin, type PipelineQualityStatsDto, type PlainFeatureMap, type PlainFeatureValue, plainValues as PlainValues, type PlanMatchDto, type PluginDependency, type PluginDetail, type PluginManifest, type PluginSummary, type PluginVersion, type Point2DGeometry, type PolicyRowDto, type PolicyRuleDto, type PolicyValueRequest, type PolicyValueResponse, type PolygonGeometry, type PositionalArgumentDto, type PredictEffectRequest, type PredictEffectResponse, type PredictFromDiscoveryRequest, type PredictFromDiscoveryResponse, type PredictPreferencesRequest, type PredictPreferencesResponse, type PredictionEntry, type PredictionErrorDto, type PredictionInterval, type PredictionSnapshot, type Preference, type PreferenceDto, type PreferencePrediction, preferences as Preferences, type PrerequisiteInfoDto, type ProbabilityBoundDto, type ProofDto, proofEngine as ProofEngine, type ProofEngineCreateTermResponse, type ProofExportFormat, type ProofExportRequest, type ProofExportResponse, type ProofExportResult, type ProofKind, type ProofLiteralDto, type ProofNodeDto, type ProofStatisticsDto, type ProofTraceDto, type ProofTraceNodeDto, type Property, propertyGraph as PropertyGraph, type PropertyGraphErrorResponse, type PropertyGraphExecuteResponse, type PropertyGraphQueryRequest, type PropertyGraphTranslateResponse, type PropertyGraphValue, type ProvenanceStepDto, type ProvenanceTagDto, type ProvideFeedbackRequest, type ProvideFeedbackResponse, type PsiTermDto, type PsiTermInput, type PsiTermInputById, type PsiTermInputByName, type PsiTermValue, type PublishPluginRequest, type PublishPluginResponse, type PushGoalRequest, type PushGoalResponse, type QuasiIdentifier, query as Query, type QueryResultDto, type QueryTerm, rag as RAG, type RankedInstrument, RateLimitError, type RateLimitInfo, type RawGenerateRequest, type RawGenerateResponse, type RdfFormatDto, type ReExtractRequest, type ReachableDto, type ReachedEdgeDto, type ReachedStateDto, type ReadableTermDto, type ReadableTermsResponse, type RealValue, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type ReasoningStageDto, type ReasoningTraceDto, type RecallEpisodesRequest, type RecallEpisodesResponse, type RecalledEpisodeDto, type RecordEpisodeRequest, type RecordEpisodeResponse, type RecordSafeHarborStatus, type RecordSelectionRequest, type RecordSelectionResponse, type RecordTurnRequest, type RecordTurnResponse, type ReferenceDesignator, type ReferenceValue, type ReferencedTermSummary, type ReflectionQueryRequest, type ReflectionQueryResponse, type RefutationCheckDto, type RefutationObservationDto, type RefuteEstimateRequest, type RefuteEstimateResponse, type RefuteRequest, type RefuteResponse, type RegisterExternalActionRequest, type RegisterExternalActionResponse, type RegisterFunctionRequest, type RegisterFunctionResponse, type RegisterSourceRequest, type RegisterSourceResponse, type RegressionBasis, type RejectActionRequest, type RejectEntityRequest, type RejectLearnedSimilarityRequest, type RejectLearnedSimilarityResponse, type RelOp, type RelOpDto, type RelatedInfoDto, type RelationTypeDto, type RelationalArithRequest, type ReleaseResiduationsRequest, type ReleaseResiduationsResponse, type RemoveSortFeatureOptions, type ReplaceFunctionResponse, type ReplaceRuleResponse, type ReportVerificationDto, type RequestOptions, research as Research, type ResearchContradictionsResponse, type ResearchCycleResponse, type ResearchCycleResultDto, type ResearchFindingDto, type ResearchFindingsResponse, type ResearchGapsResponse, type ResearchReportResponse, type ResearchSessionResponse, type ResearchSessionStatusDto, type ResearchSessionSummaryDto, type ResearchStatisticsDto, type ResidualWitnessDto, type ResiduateGoalRequest, type ResiduateGoalResponse, type ResiduatedEntryDto, type ResiduatedFeatureDto, type ResiduatedTermDto, type ResiduationDetailDto, type ResiduationDto, type ResiduationGoalDto, type ResiduationKind, type ResiduationRequest, type ResiduationResponse, type ResiduationStateDto, type ResiduationStateFilter, type ResiduationStateRequest, type ResiduationStateResponse, type ResiduationStats, type ResolutionStrategyDto, type ResolveSymbolRequest, type ResolveSymbolResponse, type ResolvedCoreferenceDto, type ResourceCoordinationRequest, type ResourceCoordinationResponse, type ResourceSpec, type ResumeDocumentIngestionRequest, type ResumeDocumentIngestionResponse, type ResumptionOptionDto, type RetentionDto, type RetractRuleRequest, type RetractRuleResponse, type RetrievalStatsDto, type ReviewCandidateMatchDto, type ReviewReason, reviews as Reviews, reward as Reward, type RewardObjective, type RewardScoreRequest, type RewardScoreResponse, type RiskTier, type RlPolicyConfigDto, type RlPolicyWeightsDto, type RlPolicyWeightsUploadResponse, type RlTrainRequest, type RlTrainResponse, type RootCauseAnalysisRequest, type RootCauseAnalysisResponse, type RootCauseDto, type RootCauseWithProofResponse, row as Row, type RowIntegrateRequest, type RowIntegrateResponse, type RowMatchDto, type RowSearchRequest, type RowSearchResponse, type RowSimilarityRequest, type RowSimilarityResponse, type RowTypeDto, type RowUnifyRequest, type RowUnifyResponse, type RuleAggregatorDto, type RuleAggregatorOp, type RuleBaseCertificateDto, type RuleCertificationDelta, type RuleClauseDto, type RuleConstraintDto, type RuleDerivationsDisposition, type RuleDraftClarificationQuestionDto, type RuleDraftDto, type RuleDto, type RuleEntryDto, type RuleNotWithdrawable, type RuleOrigin, type RuleStoreResponse, type RuleTermDraftDto, type RuleUtilityDto, type RuleWithdrawalReport, type RunAgentRequest, type RunCycleRequest, type RunCycleResponse, type RunIntegratedCycleRequest, type RunIntegratedCycleResponse, SDK_VERSION, type SShapeShape, type SafeHarborSummary, type SafetyModelInfoDto, type SampledHypothesisDto, sat as Sat, type SatLiteralDto, type SatSatisfiableResult, type SatSolveRequest, type SatSolveResponse, type SatSolverStatsDto, type SatUnknownResult, type SatUnsatisfiableResult, type SatVerdict, type SaveWeightsResponse, type ScenarioSummaryDto, scenarios as Scenarios, scheduling as Scheduling, type SchedulingDeltaResponse, type SchedulingFeasibilityRequest, type SchedulingFeasibilityResponse, type SchedulingOptimizeRequest, type SchedulingOptimizeResponse, type SchedulingSessionResponse, type SchedulingStatus, type SchemaExcerptDto, type ScmCounterfactualRequest, type ScmCounterfactualResponse, type ScoreTermsRequest, type ScoreTermsResponse, type ScoredTerm, type SearchCatalogRequest, type SearchCatalogResponse, type SearchCommunitiesRequest, type SearchCommunitiesResponse, type SearchModeDto, type SearchPapersRequest, type SearchPapersResponse, type SearchSortsBy, type SearchSortsMatch, type SearchSortsRequest, type SearchSortsResponse, type SearchStatsDto, type SearchStrategyDto, type SendMessageRequest, type SendMessageResponse, type SensitivityDto, type SeriesEpochUnit, type SeriesMissingPolicy, type SeriesOperator, type SeriesTimeSource, type SeriesValueSource, type SeriesWindowSpec, type SessionGraphDto, type SessionProgressResponse, type SessionStatsResponse, type SetActionReviewConfigRequest, type SetActionReviewConfigResponse, type SetFeatureRequest, type SetFeatureResponse, type SetFuzzySubsumptionRequest, type SetFuzzySubsumptionResponse, type SetGoalStatusRequest, type SetGoalStatusResponse, type SetPreferenceRequest, type SetSortSimilarityRequest, type SetSortSimilarityResponse, type SetValue, type ShiftDemand, type ShiftEffectRequest, type ShiftEffectResponse, type SigmoidDifferenceShape, type SigmoidProductShape, type SigmoidShape, type SimilarityEntryDto, type SimilarityMatch, type SimilaritySearchResponse, type SimpleTgdDto, type SingleCopyRequest, type SketchDimensions, smt as Smt, type SmtCheckRequest, type SmtCheckResponse, type SmtFunctionApplicationDto, type SmtSatResult, type SmtUnknownResult, type SmtUnsatResult, type SmtVerdict, type SnapshotFilter, type SnapshotResponse, snapshots as Snapshots, type SoftUnifyRequest, type SoftUnifyResponse, type SolutionDto, type SolutionStatus, type SolveConstraintRequest, type SolveConstraintResponse, type SolveFlowNetworkRequest, type SolveFlowNetworkResponse, type SolveOptions, type SolveProblemRequest, type SolveProblemResponse, solver as Solver, type SolverHealthResponse, type SolverHint, type SortBoxRequest, type SortBoxResponse, SortBuilder, type SortCalibrationDto, type SortCompareOperator, type SortCompareRequest, type SortCompareResponse, type SortDiscoveryRequest, type SortDiscoveryResponse, type SortDto, type SortFeatureEditResponse, type SortIdValue, type SortIndexStatusResponse, type SortInfoDto, type SortListResponse, type SortOriginDto, type SortRecommendation, type SortReferenceKind, type SortReferencingRuleDto, type SortResponse, type SortSimilarityResponse, type SortStatusDto, type SortSuggestionDto, type SortSummaryDto, sorts as Sorts, type SortsSchemaQuery, type SourceDetailResponse, type SourceExcerptDto$1 as SourceExcerptDto, type SourceSummaryDto, type SourceTypeDto, type SourceWriteMode, sources as Sources, type SpaceConstraintDto, type SpaceResponse, type SpaceSearchRequest, type SpaceSearchResponse, type SpaceSolutionDto, type SpaceStatusDto, spaces as Spaces, sparql as Sparql, type SparqlAskResults, type SparqlBindingSet, type SparqlEntailmentRegime, type SparqlOrderByKey, type SparqlOsfqlLeaf, type SparqlPlanNode, type SparqlQueryForm, type SparqlQueryRequest, type SparqlQueryResults, type SparqlRdfTerm, type SparqlSelectResults, type SparqlTranslation, type SparqlTripleTermValue, type SparqlUpdateRequest, type SparqlUpdateTranslation, type SpeakerProfile, speakers as Speakers, type SpecificityDto, speech as Speech, type SpeechEngine, type SpikeShape, type StartExplorationRequest, type StartExplorationResponse, type StartIngestionSessionRequest, statistical as Statistical, type StatisticalSuccessResponse, type StepLogEntryDto, type StepVerificationResponse, type StorePlanRequest, type StorePlanResponse, streaming as Streaming, type StringCompareOperator, type StringComparePredicateRequest, type StringCompareRequest, type StringConcatRequest, type StringLengthRequest, type StringOpParams, type StringOpRequest, type StringOperationType, type StringValue, type StructuralAssignmentDto, type StructuredIngestionStatsDto, type SubscribeToKbRequest, type SubscribeToKbResponse, type SubscriptionDto, type SubscriptionEventKind, subscriptions as Subscriptions, type SubstringRequest, type SummaryResponse, type SuspendedQueryDto, type SymbolDto, type SymbolKindDto, type SymbolicResultDto, type SynthesizeRequest, type SynthesizeResponse, type SynthesizeSpeechRequest, synthetic as Synthetic, type SystemGroup, type TaggedDerivedFact, type TaggedFactDto, type TaggedFcRequest, type TaggedFcResponse, type TaggedFeatureValueDto, type TaggedForwardChainRequest, type TaggedForwardChainResponse, temporal as Temporal, type TemporalModelCheckRequest, type TemporalModelCheckResponse, type TemporalPlanRequest, type TemporalPlanResponse, type TemporalPoint, type TemporalRule, type TemporalSeries, type TemporalSeriesPoint, type TemporalSeriesRequest, type TemporalSeriesResponse, type TemporalSeriesSpec, type TemporalTrendSummary, type TenantInfoDto, type TermBindingDto, type TermDto, type TermEdit, type TermInputArg, type TermInputDesignator, type TermInputDto, type TermInputInline, type TermInputInlineByName, type TermInputRef, type TermListResponse, type TermOrigin, type TermPatternDto, type TermRefFeatureValue, type TermReferencesDisposition, type TermReferrerDto, type TermReferrersResponse, type TermResponse, type TermSetSelector, type TermState, type TermStoreSessionResponse, type TermVersionDto, type TermVersionsResponse, type TerminationDto, terms as Terms, type TestInput, thomas as Thomas, type ThomasPathwaysRequest, type ThomasStudyRequest, type ThomasStudyResponse, TimeoutError, type TokenUsageDto, type ToolCallInfo, type TraceEventDto, type TrailEntryDto, type TrainFromTracesResponse, type TrainingExample, type TrainingExampleDto, type TrainingTriggerResponse, type TrajectoryStepDto, type TranscribeSpeechRequest, type TranscribeSpeechResponse, type TranslateRdfRequest, type TranslateRdfResponse, type TranslateRequest, type TranslateResponse, type TranslatedRdfTermDto, translation as Translation, type TranspileRequest, type TranspileResponse, type TrapezoidalShape, type TriangularShape, type TriggerDependencyRequest, type TriggerDependencyResponse, type TurnDto, type TypedConstraint, ui as UI, type UIActionDto, type UIActionRequest, type UIActionResponse, type UIAssemblyStatsDto, type UICatalogEntry, type UICatalogResponse, type UICustomizationDto$1 as UICustomizationDto, type UIDescribeRequest, type UIDescribeResponse, type UIDescriptorDto, type UIGenerateRequest, type UIGenerateResponse, type UiSort, type UnaryOperatorDto, type UncertainEdgeDto, type UndoRequest, type UndoResponse, type UndoRuleStoreRequest, type UndoRuleStoreResponse, type UnifiableQueryRequest, type UnificationQueryResponse, type UnifyTermsRequest, type UnifyTermsResponse, type UninstantiatedValue, type UpdateCollectionRequest, type UpdateMetadataRequest, type UpdatePlanStatsRequest, type UpdatePlanStatsResponse, type UpdateReviewStatusRequest, type UpdateScenarioRequest, type UpdateScenarioResponse, type UpdateTenantNameRequest, type UpdateTenantNameResponse, type UpdateTermRequest, type UpdateVisibilityRequest, type UpgradeInstallRequest, utilities as Utilities, type ValidateTermRequest, type ValidatedTermResponse, type ValidatedUnifyRequest, type ValidatedUnifyResponse, ValidationError, type ValidationReportDto, type ValidationRuleDto, type ValidationTypeDto, Value, type ValueDto, type ValuePatternDto, values as Values, type VarKind, type VariableBounds, type VariableClassification, type VariableDto, type VariableFeasibilityDto, type VariableFeatureValue, type VariableSpec, type VerbalizationResultDto, type VerbalizeTermRequest, type VerbalizeTermResponse, verification as Verification, type VerificationStepDto, type VerifyClaimRequest, type VerifyClaimResponse, type VerifyFaithfulnessRequest, type VerifyFaithfulnessResponse, type VerifyResponse, type VerifyRoundTripRequest, type VerifyRoundTripResponse, type VerifyScenarioRequest, type VerifyScenarioResponse, type VersionDiffDto, type ViolationCountsDto, type ViolationDto, type VisibilityDto, vision as Vision, visualization as Visualization, type VisualizationGraphDto, type VoiceConsent, type VoiceProfile, type WaitingConditionDto, type WaitingConditionType, WebSocketClient, WebSocketConnection, webhookActions as WebhookActions, type WebhookCallbackRequest, type WebhookCallbackResponse, type WeightedFactDto, type WitnessInstantiationDto, type WitnessProofDto, type WorkflowGroup, type WorldModeDto, type YankPluginRequest, type YankPluginResponse, type ZShapeShape, aggregate, allen, bind, collect, constrained, discriminateFeatureValue, guard, isConstrainedPlainVar, isPsiTermInput, isTaggedValueDto, isUuid, not, paginateByOffset, paginateByPage, psi, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };
+export { ANY_ROLE, type ActValueDto, type ActionParamRule, type ActionParameter, type ActionReviewReasonDto, type ActionReviewReasonFilter, type ActionReviewResponse, type ActionReviewStatusDto, type ActionReviewSummaryDto, actionReviews as ActionReviews, type ActionSideEffect, type ActionType, type ActionTypeDef, type ActionTypeListResponse, actions as Actions, type ActivationDto, type AdaptiveModifyRequest, type AdaptiveModifyResponse, type AddBeliefRequest, type AddBeliefResponse, type AddCausalRelationRequest, type AddCausalRelationResponse, type AddCognitiveRuleRequest, type AddCognitiveRuleResponse, type AddConnectorRequest, type AddConnectorResponse, type AddConstraintsRequest, type AddConstraintsResponse, type AddExportRequest, type AddFactRequest, type AddFactResponse, type AddGoalRequest, type AddGoalResponse, type AddHtnMethodRequest, type AddHtnMethodResponse, type AddImportRequest, type AddPendingReviewRequest, type AddRuleRequest, type AddRuleResponse, type AddSymbolRequest, type AddSymbolResponse, admin as Admin, type AdmissibleDto, type AffectedPreviewDto, type AgentBeliefDto, type AgentConfigDto, type AgentEvent, type AgentEventHandlers, type AgentGoalDto, type AgentRecallAsOfRequest, type AgentRecallAsOfResponse, type AgentSpec, type AgentStateDto, type AgentSubVerdictDto, type AgentSubscription, type AgentTrajectoryRequest, type AgentTrajectoryResponse, agui as Agui, type AguiContextItem, type AguiEvent, type AguiFunctionCall, type AguiMessage, type AguiRole, type AguiRunOptions, type AguiTool, type AguiToolCall, type AiGroup, type AlcConcept, type AlignOntologyRequest, type AlignOntologyResponse, type AlignmentConflictDto, type AlignmentMatchDto, type AllenRelation, analysis as Analysis, type AnalysisGroup, type AnalyzeDocumentsRequest, type AnalyzeOptions, anonymization as Anonymization, type AnonymizationMode, type AnonymizeRequest, type AnonymizeResponse, type AntiUnifyBatchRequest, type AntiUnifyBatchResponse, type AntiUnifyRequest, type AntiUnifyResponse, ApiError, type ApiResponse, type AppendAuditEntryRequest, type AppendRequest, type AppendResiduationsRequest, type AppendResiduationsResponse, type ApplyActionRequest, type ApplyActionResponse, type ApplyCurriedRequest, type ApplyCurriedResponse, type ApplySnapshotResponse, type ApproveActionRequest, type ApproveEntityRequest, type ApproveLearnedSimilarityRequest, type ApproveLearnedSimilarityResponse, type ArchitectureInfoDto, type ArithOpDto, type ArithValueDto, type ArithmeticConstraintDto, type ArithmeticExprDto, type ArithmeticOp, type ArithmeticRecursionOp, type ArtifactDto, type AscRequest, type AssembleContextRequest, type AssembleContextResponse, type AssembledConceptDto, type AssembledRelationDto, type AssemblyTokenCountsDto, type AssertRuleRequest, type AssertRuleResponse, type AssignValueDto, type Assignment, type AssignmentMechanism, type AssignmentRowDto, type AssignmentStatus, type AssumptionAuditRequest, type AssumptionAuditResponse, type AssumptionRequest, type AsyncIngestionResponse, type AteEstimateRequest, type AteEstimateResponse, type AttentionTargetDto, type AttestationDto, audit as Audit, type AuditEntryDto, type AuditPage, type AuditRecord, type AuditSortField, type AuditSortOrder, type AuditedAssumptionDto, type AugmentationTargetDto, type AuthConfig, AuthenticationError, type AuthoringClarificationQuestionDto, authz as Authz, type AuthzAction, type AuthzDryRunRequest, type AuthzDryRunResponse, type AuthzEffect, type BacktrackResponse, type BacktrackTermStoreRequest, type BacktrackTermStoreResponse, type BacktrackableAssignRequest, type BacktrackableAssignResponse, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, batch as Batch, type BatchCopyRequest, type BatchOperationDto, type BatchOperationResultDto, type BatchRequest, type BatchResponse, type BatchStringCompareRequest, type BayesianEffectDto, type BayesianPredictRequest, type BayesianPredictResponse, type BeliefDto, type BellShape, type BigIntegerValue, type BinaryOperatorDto, type BindSortRequest, type BindSortResponse, type BindTermRequest, type BindTermResponse, type BindVariableRequest, type BindVariableResponse, type BindVariablesRequest, type BindVariablesResponse, type BindingDto, type BindingSummaryDto, type BindingsResponse, type BitwiseOperationType, type BitwiseRequest, type BloomFilterStats, type BoolExpr, type BooleanValue, type BoundConstraintDto, type BoundingBoxGeometry, type BroadcastMessageRequest, type BroadcastMessageResponse, type BuildInfoDto, type BulkActionReviewResponse, type BulkAddFactsRequest, type BulkAddFactsResponse, type BulkAddRulesRequest, type BulkAddRulesResponse, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkApproveActionsRequest, type BulkApproveRequest, type BulkBindError, type BulkBindSortsRequest, type BulkBindSortsResponse, type BulkCreateSortsRequest, type BulkCreateSortsResponse, type BulkCreateTermsRequest, type BulkFuzzyProveRequest, type BulkFuzzyProveResponse, type BulkMergeRequest, BulkRefusedError, type BulkRejectActionsRequest, type BulkRejectRequest, type BulkRetractTermsRequest, type BulkRetractTermsResponse, type BulkRowRefusal, type BulkSetSimilaritiesRequest, type BulkSetSimilaritiesResponse, type BulkSortDefinition, type BulkSortError, type BulkSortErrorKind, type BySortQueryRequest, cdl as CDL, type CalibrateRequest, type CalibrationReportDto, type CalibrationSample, type CallOnceRequest, type CallOnceResponse, type CandidateMatchDto, type CaptureSnapshotRequest, type CardinalityOriginDto, type CascadeOptions, type CatalogPage, type CategoryProbabilityDto, type CauchyShape, causal as Causal, type CausalActionSpecDto, type CausalAnalyzeAssumptionsDto, type CausalAnalyzeDataDto, type CausalAnalyzeIndependenceTestDto, type CausalAnalyzePolicyDto, type CausalAnalyzeQuestionDto, type CausalAnalyzeQuestionKind, type CausalAnalyzeRegressionDto, type CausalAnalyzeRequest, type CausalAncestorRequest, type CausalAncestorResponse, type CausalAssumptionDto, type CausalChainDto, type CausalDecisionSpecDto, type CausalDerivationStepDto, type CausalEdgeDto, type CausalHedgeDto, type CausalProofTreeDto, type CausalRelationshipDto$1 as CausalRelationshipDto, type CausationProbabilitiesRequest, type CausationProbabilitiesResponse, type CausesRequest, type CausesResponse, type CdlComponentStatus, type CdlStatusResponse, type CdlVerificationDto, type CeilingDto, type CentralityRequest, type CentralityResponse, type CertificateDetail, type CertificateDto, type CertifiedForecast, chase as Chase, type ChaseArgDto, type ChaseAtomDto, type ChaseRunRequest, type ChaseRunResponse, type ChaseStepKindDto, type CheckDiversityRequest, type CheckDiversityResponse, type CheckDocumentRequest, type CheckDocumentResponse, type CheckFinding, type CheckSummary, type ChoicePoint, type ChoicePointDto, type ChoicePointMarkerResponse, type ChoiceSelection, type ChoiceValue, type ChrRequest, type ChunkFailureDto, type CircleGeometry, type CitationCheckDto, type CitationMarkerDto, type ClaimAnnotationDto, type ClaimAssessment, type ClaimCitation, type ClaimSubtype, type ClaimVerdict, type ClarificationQuestionDto, type Classification, type ClassificationLevelDto, type ClassifyEdgesInput, type ClassifyEdgesVars, type ClassifyProblemRequest, type ClassifyProblemResponse, type ClassifySafetyRequest, type ClassifySafetyResponse, type CleanupResponse, type CleanupSessionsResponse, type CleanupStaleSessionsParams, type ClearFactsResponse, type ClearTenantResponse, type ClearTermsResponse, type ClientConfig, type ClusteredAteRequest, type ClusteredObservationDto, type CoextensiveDefinitionDto, cognitive as Cognitive, type CognitiveGoalDto, type CognitiveStrategyDto, type CognitiveTermInput, coherence as Coherence, type CoherenceAnalyzeRequest, type CoherenceAnalyzeResponse, type CoherenceClaimDto, type CoherenceInlineDocumentDto, type CoherenceSummaryDto, type CohesionRequest, type CohesionResponse, type CollectionDto, collections as Collections, type ColumnMappingDto, type CommitFlowNetworkRequest, type CommitRequest, type CommittedForecast, communities as Communities, type CommunityDetectionConfigDto, type CommunityDetectionStatsDto, type CommunityDto, type CommunityMatchDto, type CommunityReportDto, type CommunityReportSummaryDto, type CommunitySearchModeDto, type CommunitySearchStatsDto, type CommunityStatsDto, type CompareDocumentsRequest, type CompareModelDto, type ComparisonOp, type CompetitorForecast, compliance as Compliance, complianceMarkings as ComplianceMarkings, type ComponentDto, type ComponentHealthDto, type ComputeGlbResponse, type ComputeLubResponse, type ConceptMatchDto, type CondRequest, type CondResponse, type ConditionalBranchDto, type ConditionalIndependenceRequest, type ConditionalIndependenceResponse, type ConfigFieldDto, type ConfirmResponse, type ConflictResolution, type ConfluenceConflictDto, type ConfluenceDto, conformal as Conformal, type ConformalCalibrateRequest, type ConformalCalibrateResponse, type ConformalPredictRequest, type ConformalPredictResponse, type ConformalPrediction, conformance as Conformance, type ConformanceCheckResponse, type ConformanceRepairResponse, type ConformanceRequest, type ConformanceViolationDto, type ConformityArticleDto, type ConformityResponse, type ConnectorInstance, type ConnectorType, connectors as Connectors, type ConstrainedGenerateRequest, type ConstrainedGenerateResponse, type ConstrainedPlainVar, Constraint, type ConstraintCheckDto, type ConstraintDto, type ConstraintGraphRequest, type ConstraintGraphResponse, type ConstraintGraphStats, type ConstraintInputDto, type ConstraintOperator, type ConstraintSense, type ConstraintSessionStatus, ConstraintViolationError, constraints as Constraints, type ContainmentVerificationDto, type ContinuousMediationObservationDto, type ContinuousObservationDto, type ContinuousTreatmentObservationDto, type ContradictionDto, type ContradictionResolutionDto, control as Control, type ControlNafRequest, conversation as Conversation, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationSummaryDto, type ConversationTrainingConfigDto, type ConversationTurnDto, type ConversationTurnsResponse, type CoordinatedResourceSet, type CopyModeDto, type CopyTermRequest, type CoreGroup, corpus as Corpus, type CorpusBridgeEdge, type CorpusBridgesRequest, type CorpusBridgesResponse, type CorpusCommunitiesRequest, type CorpusCommunitiesResponse, type CorpusCommunity, type CorpusCommunityDocumentShare, type CorpusCrossCuttingItem, type CorpusCrossCuttingItemKind, type CorpusCrossCuttingKind, type CorpusCrossCuttingRequest, type CorpusCrossCuttingResponse, type CorpusDocumentNode, type CorpusEntityRef, type CorpusScope, type CorpusSharedEntity, type CorpusTreemapRow, type CorrectEntityRequest, type CorrectionRecordDto, type CorrelationRequest, type CorrelationResponse, type CosineShape, type CountAuditEntriesResponse, type CounterfactualRequest, type CounterfactualResponse, type CounterfactualTraceDto, type CoverageCertificate, type CreateAgentRequest, type CreateAgentResponse, type CreateChildNamespaceRequest, type CreateCognitiveSortRequest, type CreateCognitiveSortResponse, type CreateCollectionRequest, type CreateConstraintSessionRequest, type CreateConstraintSessionResponse, type CreateCurriedFunctionRequest, type CreateExecutionSessionRequest, type CreateFlowNetworkRequest, type CreateGoalRequest, type CreateGoalResponse, type CreateModuleRequest, type CreateModuleResponse, type CreateOversightSessionRequest, type CreateOversightSessionResponse, type CreateResearchSessionRequest, type CreateResearchSessionResponse, type CreateRootNamespaceRequest, type CreateRuleStoreRequest, type CreateScenarioRequest, type CreateScenarioResponse, type CreateSnapshotRequest, type CreateSortRequest, type CreateSpaceRequest, type CreateStoreTermRequest, type CreateSubscriptionRequest, type CreateSubscriptionResponse, type CreateTenantRequest, type CreateTenantResponse, type CreateTermByNameRequest, type CreateTermInCollectionRequest, type CreateTermInput, type CreateTermInputWithPlainFeatures, type CreateTermRequest, type CreateTermStoreRequest, type CreateVariableRequest, type CrossSectionForecast, type CtlCounterExample, type CtlFormula, type CuriosityTargetDto, type CurriedFunctionResponse, type CurryingContextResponse, type CutRequest, type CutResponse, type CycleDto, type CycleOutcomeDto, type CycleOutcomeSummaryDto, type CyclicGaussianShape, dl as DL, type DSeparatedRequest, type DSeparatedResponse, type DataGroup, type DataMixingStatsDto, type DataPointDto, type DatasetStatisticsDto, type DateTimeValue, type DecisionAuditRequest, type DecisionAuditResponse, type DeclareLatentVariableRequest, type DeclareLatentVariableResponse, type DecodeGlbResponse, type DeepCopyRequest, type DegreeDistributionDto, type DeleteAgentResponse, type DeleteGoalResponse, type DeletePlanRequest, type DeletePlanResponse, type DeleteSnapshotResponse, type DeleteSortResponse, type DeleteSortRulesDisposition, type DeleteSortTermsDisposition, type DeleteSpeakerRequest, type DeleteTenantResponse, type DeleteTermReport, type DeliveryStatusDto, demo as Demo, type DemoSeedRequest, type DemoSeedResponse, type DensityRatioDiagnosticDto, type DependentInfoDto, type DeprecateSortRequest, type DereferenceRequest, type DereferenceResponse, type DerivationSummaryDto, type DerivedInferenceRequest, type DerivedInferenceResponse, type DerivedInferenceResultDto, type DetectCommunitiesRequest, type DetectCommunitiesResponse, type DetectMissingAttributesRequest, type DiDValidationRequest, type DiDValidationResponse, type DiagnosticDto, type DiagnosticsResponse, type DifferentiableFcRequest, type DifferentiableFcResponse, type DiscoverCausalRequest, type DiscoverCausalResponse, type DiscoverEffectsRequest, type DiscoverEffectsResponse, type DiscoverEmlRequest, type DiscoverEmlResponse, type DiscoverSchemaRequest, type DiscoverSchemaResponse, type DiscoverableTypeDto, type DiscoveredFeatureDto, type DiscoveredRelationDto, type DiscoveredSortDto, type DiscoveredSourceRelationDto, discovery as Discovery, type DiscoveryConfigDto, type DiscoveryProofNodeDto, type DiscoveryProofStatsDto, type DiscoveryProofTreeDto, type DiscoveryStateDto, type DiscoveryStatusResponse, type DiscoveryStrategy, type DisentailmentRequest, type DisentailmentResponse, type DiversityAnalysisDto, type DlSatisfiableRequest, type DlSatisfiableResponse, type DlSubsumesRequest, type DlSubsumesResponse, type DmlAteRequest, type DocumentAnalysisReport, type DocumentBatchItem, type DocumentBatchResultDto, documentCheck as DocumentCheck, type DocumentExtractedEntity, type DocumentGraph, type DocumentGraphCommunity, type DocumentGraphEdge, type DocumentGraphNode, type DocumentGraphQuery, type DocumentInput, type DocumentMetadataDto, type DocumentParseStatsDto, type DocumentParser, type DocumentProgressDto, type DocumentProofStep, type DocumentQaPair, type DocumentRecord, type DocumentResult, type DocumentRuleResult, type DocumentRuleSeverity, type DocumentRuleStatus, type DocumentSource, type DocumentStatsDto, type DocumentStatus, type DocumentSummary, type DocumentType, type DocumentVersionsResponse, documents as Documents, type DomainValue, type DoseResponseRequest, type DoseResponseResponse, type DraftFunctionRequest, type DraftFunctionResponse, type DraftRulesRequest, type DraftRulesResponse, type DriveDeficitDto, type DriveDto, type DynamicAddSortRequest, type DynamicAddSortResponse, type DynamicDiscoveryRequest, type DynamicDiscoveryResponse, type DynamicQueryClauseDto, type DynamicQueryGroupDto, type DynamicQueryRequest, type DynamicQueryResponse, type DynamicQueryResultDto, type E2ETrainingRequest, type E2ETrainingResponse, type EdgeCapacityUpdate, type EdgeClass, type EdgeClassification, type EdgeFlow, type EdgeSpec, type EdgeTypeDto, type EffectDto$1 as EffectDto, type EffectPredictionDto, type EmbeddingRankRequest, type EmbeddingRankResponse, type EmbeddingVerificationResponse, embeddings as Embeddings, type EmlSample, type EncodeClipRequest, type EncodeClipResponse, type EncoderConfigOverrides, type EndSchedulingResponse, type EnforcementStrategy, type EnrichedHealthResponse, type EnrollSpeakerRequest, type EnrollSpeakerResponse, type EnrollVoiceRequest, type EntailmentRequest, type EntailmentResponse, type EntityDto, type EntityVerificationDetailDto, type EpisodeDto, type EpisodeOutcomeDto, type EpisodeStatsResponse, type EqLiteralDto, type EqualityAtomDto, type EquivalenceClass, type EquivalenceClassDto, type ErrorResponse$1 as ErrorResponse, type EvalBuiltinRequest, type EvalBuiltinResponse, type EvalFunctionInfoDto, type EvaluateFunctionRequest, type EvaluateFunctionResponse, type EvaluatePatternRequest, type EvaluatePatternResponse, type EvaluatedValueDto, type EvaluationResult, type EvidenceAssessmentRequest, type EvidenceAssessmentResponse, type EvidenceDerivationConfigDto, type EvidenceItemDto, type EvidenceItemSummaryDto, type EvidenceSourceDto, type ExecuteTranspiledRequest, type ExecuteTranspiledResponse, execution as Execution, type ExecutionGoalDto, type ExecutionSessionResponse, type ExecutionSessionStatsResponse, type ExecutionValueDto, type ExogenousNoiseDto, type ExplorationCompleteResponse, type ExplorationProgress, type ExplorationQuestion, type ExplorationStatusResponse, type ExportJsonlResponse, type ExpressionDto, type ExtendedAgentStateDto, type ExternalActionSummaryDto, type ExternalMatchDto, type ExternalRefValue, extract as Extract, type ExtractEntitiesRequest, type ExtractEntitiesResponse, type ExtractImageRequest, type ExtractImageResponse, type ExtractedEntityDto, type ExtractionPredictionDto, type ExtractionStatsDto, type ExtractionStrategy, type ExtractionStrategyAdaptive, type ExtractionStrategyHybrid, type ExtractionStrategyLlm, type ExtractionStrategyLocalNer, type ExtractionStrategySchemaGuided, type FactConfidenceEntry, type FactoryResetResponse, type FailedReviewDto, type FdDomainStateDto, feasibility as Feasibility, type FeatureBindingDto, type FeatureChangeDto, type FeatureConfigDto, type FeatureDescriptorDto, type FeatureFilterDto, type FeatureInputConstrainedVariable, type FeatureInputInlineTerm, type FeatureInputInlineTermByName, type FeatureInputSortRef, type FeatureInputTermRef, type FeatureInputValueDto, type FeatureInputVariable, type FeatureMismatchDto, type FeaturePair, type FeatureRequirementDto, type FeatureTargetDto, type FeatureTypeDto, type FeatureValueDto, type FinalizeOversightSessionRequest, type FindBySortRequest, type FindPlansRequest, type FindPlansResponse, type FindRulesRequest, type FindRulesResponse, type FindSimilarRequest, type FindallRequest, type FindallResponse, type FindingKind, type FindingSeverity, type FixSuggestionDto, Flow, type FlowAlgorithm, type FlowProblem as FlowBuilderProblem, type FlowEdgeInput, type FlowEdgeOptions, type FlowNetworkResponse, flowNetworks as FlowNetworks, type FlowNode, type FlowProblemInputBase, type FocusEntryDto, type ForallRequest, type ForallResponse, ForbiddenError, forecast as Forecast, type ForecastAbstention, type ForecastBody, type ForecastCertificate, type ForecastCoveringSet, type ForecastDomain, type ForecastDomainsResponse, type ForecastEntityInput, type ForecastRequest, type ForecastResponse, type FormalJudgeRefinementResponse, type FormalJudgeRequest, type FormalJudgeResponse, type FormalVerdictDto, type ForwardChainRequest, type ForwardChainResponse, type FoundryReviewItemDto, type FrameSummary, type FrequencyEstimate, type FrequencyRequest, type FrequencyResponse, type FrontDoorObservationDto, type FrontDoorRequest, type FrontDoorResponse, type FunctionBodyDto, type FunctionCaller, type FunctionCallerKind, type FunctionCallersDisposition, type FunctionClauseDto, type FunctionDefinitionSignature, type FunctionDraftDto, type FunctionGuardDto, type FunctionKindDto, type FunctionNotReplaceableDto, type FunctionSummaryDto, type FunctionType, type FunctionTypeListResponse, type FunctionValueDto, type FunctionWithdrawalReport, functions as Functions, fuzzy as Fuzzy, type FuzzyConceptLevel, type FuzzyMergeRequest, type FuzzyMergeResponse, type FuzzyNumberValue, type FuzzyProveRequest, type FuzzyProveResponse, type FuzzyScalarValue, type FuzzySearchResultItem, type FuzzySearchTopKRequest, type FuzzySearchTopKResponse, FuzzyShape, type FuzzyShapeDto, type FuzzySubsumptionRequest, type FuzzySubsumptionResponse, type FuzzyUnifyRequest, type FuzzyUnifyResponse, type GESResultDto, type GFlowNetSampleRequest, type GFlowNetSampleResponse, type GFlowNetTrainResponse, type GateRequest, type GateResponse, type GaussianProductShape, type GaussianShape, type GenMode, type GeneralConstraintDto, type GenerateDocumentRequest, type GenerateDocumentResponse, type GenerateNegativesRequest, type GenerateNegativesResponse, type GenerateOntologyRequest, type GenerateOntologyResponse, type GenerateSyntheticDataRequest, type GenerateSyntheticDataResponse, generation as Generation, type GenerationPromptRequest, type GenerationPromptResponse, type GenerationProvenanceDto, type GenerationReportDto, type GenerationVerificationDto, type GenericModelRequest, Geometry, type GeometryDto, type GeometryValue, type GetAgentDrivesRequest, type GetAgentStateRequest, type GetAgentStateResponse, type GetBindingsRequest, type GetCausalModelResponse, type GetEpisodeStatsRequest, type GetEquivalenceClassesResponse, type GetExtendedAgentStateRequest, type GetExtendedAgentStateResponse, type GetFactsResponse, type GetFunctionResponse, type GetFuzzySubsumptionRequest, type GetFuzzySubsumptionResponse, type GetInboxRequest, type GetInboxResponse, type GetMembershipsRequest, type GetMembershipsResponse, type GetPreorderDegreeRequest, type GetPreorderDegreeResponse, type GetQuotientOrderOptions, type GetQuotientOrderResponse, type GetResiduationsRequest, type GetResiduationsResponse, type GetRulesResponse, type GetScenarioResponse, type GetSortSimilarityRequest, type GetSortSimilarityResponse, type GetStoreTermRequest, type GetStoreTermResponse, type GlbLubComputationTrace, type GlbLubOperation, type GlbLubTraceRequest, type GlbLubTraceStep, type GlbRequest, type GlbResponse, type GlobalAssignRequest, type GlobalAssignResponse, type GlobalGetRequest, type GlobalGetResponse, type GlobalIncrementRequest, type GlobalIncrementResponse, type GoalDto, type GoalEvaluationResultDto, type GoalResiduationRequest, type GoalResiduationResponse, type GoalStackEntryDto, type GoalStackResponse, type GoalStatusUpdate, type GoalSummaryDto, type GraphEdgeDto, type GraphExportFormat, type GraphMetadataDto, type GraphNodeDto, type GraphSparqlQueryRequest, type GraphSparqlResults, type GroundTruthEntry, type GroundTruthStatus, type GroundedGenerateRequest, type GroundedGenerateResponse, type GroundedSchemaResponse, type GroundingStatsDto, type GroupedRankForecast, type GuardOp, guardrail as Guardrail, type GuardrailReport, type GuardrailRequest, type GuardrailSummary, health as Health, type HeavyHitterItem, type HeavyHittersRequest, type HeavyHittersResponse, type HipaaIdentifier, homoiconic as Homoiconic, type HomoiconicSubstitutionDto, type HorizonDto, type HtnMethodDto, type HyperedgeDto, type HyperedgeTypeDto, type HypergraphRequest, type HypergraphResponse, type HypergraphStats, ilp as ILP, type IdentificationRefDto, type IdentifyEffectRequest, type IdentifyEffectResponse, type ImageExtractedEntityDto, type ImageExtractedRelationDto, imageExtraction as ImageExtraction, type ImageExtractionStatsDto, type ImageSuggestedSortDto, type ImpasseDto, type Implication, type ImpliesRequest, type ImpliesResponse, type ImportFoundryRequest, type ImportFoundryResponse, type ImportModuleRequest, type ImportModuleResponse, type ImportOwlRequest, type ImportOwlResponse, type InboxMessageDto, type IncompleteDocumentDto, type InfeasibleResult, inference as Inference, type InfluenceDto, type IngestDocumentBatchRequest, type IngestDocumentBatchResponse, type IngestDocumentRequest, type IngestDocumentResponse, type IngestFromSourceRequest, type IngestFromSourceResponse, type IngestKifRequest, type IngestKifResponse, type IngestMarkdownBatchRequest, type IngestMarkdownRequest, type IngestMarkdownResponse, type IngestPaperRequest, type IngestPaperResponse, type IngestRdfRequest, type IngestRdfResponse, type IngestStepRequest, ingestion as Ingestion, type IngestionConfigDto, IngestionFailedError, type IngestionPollOptions, IngestionSession, type IngestionSessionResponse, type IngestionSessionStatusDto, type IngestionStatsDto, type IngestionSyncOptions, type InlineDocument, type InstallList, type InstallPluginRequest, type InstallPluginResponse, type InstallState, type InstallSummary, type IntegerValue, type IntegratedCycleOutcomeDto, type IntegratedEngineConfigDto, type IntegrationGroupDto, type IntegrityResponse, type IntentionDto, type InteractionGraphDto, type Interceptor, type InterfaceType, type InterfaceTypeListResponse, InternalServerError, type InterventionDto, type InterventionObservationRequest, type InterventionObservationResponse, type InterventionRecommendationDto, type InterventionRequest, type InterventionResponse, type InvokeActionRequest, type InvokeActionResponse, type IterationMetricDto, type JsonValue$1 as JsonValue, type JudgeConfigDto, type KAnonymityResult, type KAnonymityViolation, type KBOptimizationConfig, type KBOptimizationResult, type KBResourceConstraint, type KBVariableSpec, type KbChangeDto, type KbChangeType, type KeyProvenanceDto, type KnowledgeGapDto, type KripkeState, type KripkeTransition, LP, ltn as LTN, type LatticeStats, type LatticeVisualizationRequest, type LatticeVisualizationResponse, type LayerResultDto, type LayerResultSummaryDto, type LayoutAlgorithmDto, type LayoutDirectionDto, type LayoutHintsDto, type LayoutModeDto, type LayoutSlotDto, type LayoutSurfaceDto, type LazyEvalRequest, type LazyEvalResponse, type LearnFromCorrectionRequest, type LearnFromCorrectionResponse, type LearnPatternConfigDto, type LearnPatternRequest, type LearnPatternResponse, type LearnSortSimilaritiesRequest, type LearnSortSimilaritiesResponse, type LearnedPatternDto, type LearnedSimilarityDto, type LearnedSimilarityListResponse, type LearnedSimilarityProvenanceDto, type LearnedSimilarityStatusDto, type LedgerInfoDto, type LinExpr, type LinTerm, type LinearConstraint$1 as LinearConstraint, type LinearExpression, type LinearProgramDefinition, type LinkPredictionRequest, type LinkPredictionResponse, type LinkType, type LinkTypeListResponse, type ListActionReviewsOptions, type ListActionReviewsResponse, type ListAgentsResponse, type ListAuditEntriesQuery, type ListAuditEntriesResponse, type ListAuditOptions, type ListBindingsResponse, type ListCatalogParams, type ListConversationsResponse, type ListDocumentsQuery, type ListDocumentsResponse, type ListEnginesResponse, type ListEvalFunctionsRequest, type ListEvalFunctionsResponse, type ListExternalActionsResponse, type ListFunctionsResponse, type ListGoalsResponse, type ListIncompleteDocumentsResponse, type ListIngestionSessionsResponse, type ListInstallsParams, type ListLevelsResponse, type ListPatternsResponse, type ListPendingInvocationsResponse, type ListPendingReviewsOptions, type ListPreferencesResponse, type ListResearchSessionsResponse, type ListScenariosResponse, type ListSnapshotsResponse, type ListSortsQuery, type ListSourceTypesResponse, type ListSourcesResponse, type ListSpeakersResponse, type ListSubscriptionsResponse, type ListSymbolsRequest, type ListSymbolsResponse, type ListTablesResponse, type ListTenantsResponse, type ListTermsQuery, type ListValue, type ListVoicesResponse, type Lit, type LiteralFeatureValue, type LiteralInputDto, type LogOddsAntecedentContributionDto, type LogOddsScoreDecompositionDto, type LogOddsWitnessDto, type LtnAggregator, type LtnAggregatorKind, type LtnFeatureText, type LtnInstance, type LtnLearnedCertainty, type LtnPredicateExample, type LtnPredicateFit, type LtnPredicateTraining, type LtnQueryKind, type LtnQueryRequest, type LtnQueryResponse, type LtnRefuteRequest, type LtnRefuteResponse, type LtnRule, type LtnTrainRequest, type LtnTrainResponse, type LtnWitnessEntry, type LubRequest, type LubResponse, type MarkChoicePointRequest, type MarkMessagesReadRequest, type MarkMessagesReadResponse, type MarkPendingRequest, type MarkPendingResponse, type MarkRuleStoreRequest, type MarkRuleStoreResponse, type MarkTermStoreRequest, type MarkTermStoreResponse, type MarkdownDocumentDto, marketplace as Marketplace, type MarketplaceScope, type MatchedEntityDto$1 as MatchedEntityDto, type MaterializationSummaryDto, type MaterializeScenarioRequest, type MaterializeScenarioResponse, type MathFunctionRequest, type MathFunctionType, type MaxFlowInput, type MaxFlowVars, type MeasurementRole, type MeasurementUnitDto, type MeasurementValue, type MediationDmlRequest, type MediationEffectDto, type MediationObservationDto, type MediationRequest, type MediationResponse, type MeetPreservationDto, type MembershipDto, type MembershipRequest, type MembershipResponse, type MembershipResult, type MergeEntityRequest, type MetaSortsResponse, type MinCostMaxFlowInput, type MinCostMaxFlowVars, type MinCutInput, type MinCutReport, type MinCutVars, type MissingInfoDto, type ModifyActionRequest, type ModularArithRequest, type ModularOperationType, type MonadicFactDto, type MonadicFixpointRequest, type MonadicFixpointResponse, type MotivationStateDto, type MoveDto, type MultiMediationObservationDto, type MultiMediationRequest, type NafProveRequest, type NafProveResponse, type NafResponse, type NamespaceDto, type NamespaceListResponse, type NamespaceResponse, namespaces as Namespaces, type NegativeExampleDto, NetworkError, neuroSymbolic as NeuroSymbolic, type NeuroSymbolicStatusResponse, type NlQueryMode, type NlQueryRequest, type NlQueryResponse, type NlQueryResultItem, type NodeScore, type NodeTypeDto, NotFoundError, type NumberFormatDto, type NumberToStringRequest, type NumberValueDto, type NumberedPage, type NumberedPageReader, type OAuthCallbackQuery, type OAuthStartResponse, type ObjectType, type ObjectTypeListResponse, type Objective, type ObjectiveFunction, type ObjectiveSense, type ObservationDto, type ObservationalProbabilitiesDto, type ObserveMultiRequest, type ObserveMultiResponse, type ObservePairRequest, type ObservePairResponse, type ObserveSingleRequest, type ObserveSingleResponse, type OcrConfigDto, type OffsetPage, type OffsetPageReader, ontology as Ontology, ontologyAlignment as OntologyAlignment, ontologyBridge as OntologyBridge, type OntologyClarificationQuestionDto, ontologyExport as OntologyExport, type OntologyExportDocument, type OntologyExportFormat, type OntologyExportOptions, ontologyFacade as OntologyFacade, type OntologyRagRequest, type OntologyRagResponse, type OntologyRagStatsDto, type OpenSpeechSessionRequest, type OpenSpeechSessionResponse, type Operand, operations as Operations, type OptimalResult, type OptimizationDirection, type OptimizationResult, optimize as Optimize, type OrderedCombo, type OrientPairDiagnosticsDto, type OrientPairDirectionDto, type OrientPairFitDto, type OrientPairIndependenceTestRequest, type OrientPairRegressionBasisDto, type OrientPairRegressionRequest, type OrientPairRequest, type OrientPairResponse, type OrientPairVerdictDto, osfDiff as OsfDiff, type OsfDiffReport, type OsfDiffRequest, type OsfDiffResponse, type OsfDiffSelector, type OsfDiffSequenceReport, type OsfDiffSequenceRequest, type OsfDiffSequenceResponse, type OsfDiffTemporalRequest, type OsfSearchRequest, type OsfSearchResponse, type OsfSearchStatsDto, osfql as Osfql, type OsfqlAtomicRefusal, type OsfqlCatalogEntry, type OsfqlCatalogExecution, type OsfqlCatalogUiAffinity, type OsfqlDiagnoseRequest, type OsfqlDiagnoseResponse, type OsfqlDiagnostic, type OsfqlPreviewAffected, type OsfqlPreviewResponse, type OsfqlPreviewSortCount, type OsfqlPreviewStatement, type OsfqlRange, type OsfqlRequest, type OsfqlResponse, type OsfqlTermValue, type OsfqlValue, type OutputFormatDto, type OverlapDiagnosticDto, oversight as Oversight, type OversightAlertDto, type OversightSessionStatusResponse, type PaginateOptions, type PaginationParams, type PaperMetadataDto, type PaperRefDto, type PaperSearchResultDto, type PaperSource, type ParamSpec, type ParsedDocumentMetadataDto, type PartialCorrelationRequest, type PartialCorrelationResponse, type PatchSortFeatureRequest, type PatchSortRequest, type PathRequest, type PathResponse, type PathwaysDto, type PatternDto, type PatternSummaryDto, type PendingActionReviewDto, type PendingInvocationDto, type PendingReviewDto$1 as PendingReviewDto, type PiShapeShape, type PiecewiseLinearShape, type Pin, type PipelineQualityStatsDto, type PlainFeatureMap, type PlainFeatureValue, plainValues as PlainValues, type PlanMatchDto, type PluginDependency, type PluginDetail, type PluginManifest, type PluginSummary, type PluginVersion, type Point2DGeometry, type PolicyRowDto, type PolicyRuleDto, type PolicyValueRequest, type PolicyValueResponse, type PolygonGeometry, type PositionalArgumentDto, type PredictEffectRequest, type PredictEffectResponse, type PredictFromDiscoveryRequest, type PredictFromDiscoveryResponse, type PredictPreferencesRequest, type PredictPreferencesResponse, type PredictionEntry, type PredictionErrorDto, type PredictionInterval, type PredictionSnapshot, type Preference, type PreferenceDto, type PreferencePrediction, preferences as Preferences, type PrerequisiteInfoDto, type ProbabilityBoundDto, type ProofDto, proofEngine as ProofEngine, type ProofEngineCreateTermResponse, type ProofExportFormat, type ProofExportRequest, type ProofExportResponse, type ProofExportResult, type ProofKind, type ProofLiteralDto, type ProofNodeDto, type ProofStatisticsDto, type ProofTraceDto, type ProofTraceNodeDto, type Property, propertyGraph as PropertyGraph, type PropertyGraphErrorResponse, type PropertyGraphExecuteResponse, type PropertyGraphQueryRequest, type PropertyGraphTranslateResponse, type PropertyGraphValue, type ProvenanceStepDto, type ProvenanceTagDto, type ProvideFeedbackRequest, type ProvideFeedbackResponse, type PsiTermDto, type PsiTermInput, type PsiTermInputById, type PsiTermInputByName, type PsiTermValue, type PublishPluginRequest, type PublishPluginResponse, type PushGoalRequest, type PushGoalResponse, type QuasiIdentifier, query as Query, type QueryResultDto, type QueryTerm, type QuotientClassDto, type QuotientOrderEdgeDto, rag as RAG, type RankedInstrument, RateLimitError, type RateLimitInfo, type RawGenerateRequest, type RawGenerateResponse, type RdfFormatDto, type ReExtractRequest, type ReachableDto, type ReachedEdgeDto, type ReachedStateDto, type ReadableTermDto, type ReadableTermsResponse, type RealValue, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type ReasoningStageDto, type ReasoningTraceDto, type RecallEpisodesRequest, type RecallEpisodesResponse, type RecalledEpisodeDto, type RecordEpisodeRequest, type RecordEpisodeResponse, type RecordSafeHarborStatus, type RecordSelectionRequest, type RecordSelectionResponse, type RecordTurnRequest, type RecordTurnResponse, type ReferenceDesignator, type ReferenceValue, type ReferencedTermSummary, type ReflectionQueryRequest, type ReflectionQueryResponse, type RefutationCheckDto, type RefutationObservationDto, type RefuteEstimateRequest, type RefuteEstimateResponse, type RefuteRequest, type RefuteResponse, type RegisterExternalActionRequest, type RegisterExternalActionResponse, type RegisterFunctionRequest, type RegisterFunctionResponse, type RegisterSourceRequest, type RegisterSourceResponse, type RegressionBasis, type RejectActionRequest, type RejectEntityRequest, type RejectLearnedSimilarityRequest, type RejectLearnedSimilarityResponse, type RelOp, type RelOpDto, type RelatedInfoDto, type RelationTypeDto, type RelationalArithRequest, type ReleaseResiduationsRequest, type ReleaseResiduationsResponse, type RemoveSortFeatureOptions, type ReplaceFunctionResponse, type ReplaceRuleResponse, type ReportVerificationDto, type RequestOptions, research as Research, type ResearchContradictionsResponse, type ResearchCycleResponse, type ResearchCycleResultDto, type ResearchFindingDto, type ResearchFindingsResponse, type ResearchGapsResponse, type ResearchReportResponse, type ResearchSessionResponse, type ResearchSessionStatusDto, type ResearchSessionSummaryDto, type ResearchStatisticsDto, type ResidualWitnessDto, type ResiduateGoalRequest, type ResiduateGoalResponse, type ResiduatedEntryDto, type ResiduatedFeatureDto, type ResiduatedTermDto, type ResiduationDetailDto, type ResiduationDto, type ResiduationGoalDto, type ResiduationKind, type ResiduationRequest, type ResiduationResponse, type ResiduationStateDto, type ResiduationStateFilter, type ResiduationStateRequest, type ResiduationStateResponse, type ResiduationStats, type ResolutionStrategyDto, type ResolveSymbolRequest, type ResolveSymbolResponse, type ResolvedCoreferenceDto, type ResourceCoordinationRequest, type ResourceCoordinationResponse, type ResourceSpec, type ResumeDocumentIngestionRequest, type ResumeDocumentIngestionResponse, type ResumptionOptionDto, type RetentionDto, type RetractRuleRequest, type RetractRuleResponse, type RetrievalStatsDto, type ReviewCandidateMatchDto, type ReviewReason, reviews as Reviews, reward as Reward, type RewardObjective, type RewardScoreRequest, type RewardScoreResponse, type RiskTier, type RiskTotalsDto, type RlPolicyConfigDto, type RlPolicyWeightsDto, type RlPolicyWeightsUploadResponse, type RlTrainRequest, type RlTrainResponse, type RootCauseAnalysisRequest, type RootCauseAnalysisResponse, type RootCauseDto, type RootCauseWithProofResponse, row as Row, type RowIntegrateRequest, type RowIntegrateResponse, type RowMatchDto, type RowSearchRequest, type RowSearchResponse, type RowSimilarityRequest, type RowSimilarityResponse, type RowTypeDto, type RowUnifyRequest, type RowUnifyResponse, type RuleAggregatorDto, type RuleAggregatorOp, type RuleBaseCertificateDto, type RuleCertificationDelta, type RuleClauseDto, type RuleConstraintDto, type RuleDerivationsDisposition, type RuleDraftClarificationQuestionDto, type RuleDraftDto, type RuleDto, type RuleEntryDto, type RuleNotWithdrawable, type RuleOrigin, type RuleStoreResponse, type RuleTermDraftDto, type RuleUtilityDto, type RuleWithdrawalReport, type RunAgentRequest, type RunCycleRequest, type RunCycleResponse, type RunIntegratedCycleRequest, type RunIntegratedCycleResponse, SDK_VERSION, type SShapeShape, type SafeHarborSummary, type SafetyModelInfoDto, type SampledHypothesisDto, sat as Sat, type SatLiteralDto, type SatSatisfiableResult, type SatSolveRequest, type SatSolveResponse, type SatSolverStatsDto, type SatUnknownResult, type SatUnsatisfiableResult, type SatVerdict, type SaveWeightsResponse, type ScenarioSummaryDto, scenarios as Scenarios, scheduling as Scheduling, type SchedulingDeltaResponse, type SchedulingFeasibilityRequest, type SchedulingFeasibilityResponse, type SchedulingOptimizeRequest, type SchedulingOptimizeResponse, type SchedulingSessionResponse, type SchedulingStatus, type SchemaExcerptDto, type ScmCounterfactualRequest, type ScmCounterfactualResponse, type ScoreTermsRequest, type ScoreTermsResponse, type ScoredTerm, type SearchCatalogRequest, type SearchCatalogResponse, type SearchCommunitiesRequest, type SearchCommunitiesResponse, type SearchModeDto, type SearchPapersRequest, type SearchPapersResponse, type SearchSortsBy, type SearchSortsMatch, type SearchSortsRequest, type SearchSortsResponse, type SearchStatsDto, type SearchStrategyDto, type SendMessageRequest, type SendMessageResponse, type SensitivityDto, type SeriesEpochUnit, type SeriesMissingPolicy, type SeriesOperator, type SeriesTimeSource, type SeriesValueSource, type SeriesWindowSpec, type SessionGraphDto, type SessionProgressResponse, type SessionStatsResponse, type SetActionReviewConfigRequest, type SetActionReviewConfigResponse, type SetFeatureRequest, type SetFeatureResponse, type SetFuzzySubsumptionRequest, type SetFuzzySubsumptionResponse, type SetGoalStatusRequest, type SetGoalStatusResponse, type SetPreferenceRequest, type SetSortSimilarityRequest, type SetSortSimilarityResponse, type SetValue, type ShiftDemand, type ShiftEffectRequest, type ShiftEffectResponse, type SigmoidDifferenceShape, type SigmoidProductShape, type SigmoidShape, type SimilarityEntryDto, type SimilarityMatch, type SimilaritySearchResponse, type SimpleTgdDto, type SingleCopyRequest, type SketchDimensions, smt as Smt, type SmtCheckRequest, type SmtCheckResponse, type SmtFunctionApplicationDto, type SmtSatResult, type SmtUnknownResult, type SmtUnsatResult, type SmtVerdict, type SnapshotFilter, type SnapshotResponse, snapshots as Snapshots, type SoftUnifyRequest, type SoftUnifyResponse, type SolutionDto, type SolutionStatus, type SolveConstraintRequest, type SolveConstraintResponse, type SolveFlowNetworkRequest, type SolveFlowNetworkResponse, type SolveOptions, type SolveProblemRequest, type SolveProblemResponse, solver as Solver, type SolverHealthResponse, type SolverHint, type SortBoxRequest, type SortBoxResponse, SortBuilder, type SortCalibrationDto, type SortCompareOperator, type SortCompareRequest, type SortCompareResponse, type SortDiscoveryRequest, type SortDiscoveryResponse, type SortDto, type SortFeatureEditResponse, type SortIdValue, type SortIndexStatusResponse, type SortInfoDto, type SortListResponse, type SortOriginDto, type SortPreorderGranularity, type SortRecommendation, type SortReferenceKind, type SortReferencingRuleDto, type SortResponse, type SortSimilarityResponse, type SortStatusDto, type SortSuggestionDto, type SortSummaryDto, sorts as Sorts, type SortsSchemaQuery, type SourceDetailResponse, type SourceExcerptDto$1 as SourceExcerptDto, type SourceSummaryDto, type SourceTypeDto, type SourceWriteMode, sources as Sources, type SpaceConstraintDto, type SpaceResponse, type SpaceSearchRequest, type SpaceSearchResponse, type SpaceSolutionDto, type SpaceStatusDto, spaces as Spaces, sparql as Sparql, type SparqlAskResults, type SparqlBindingSet, type SparqlEntailmentRegime, type SparqlOrderByKey, type SparqlOsfqlLeaf, type SparqlPlanNode, type SparqlQueryForm, type SparqlQueryRequest, type SparqlQueryResults, type SparqlRdfTerm, type SparqlSelectResults, type SparqlTranslation, type SparqlTripleTermValue, type SparqlUpdateRequest, type SparqlUpdateTranslation, type SpeakerProfile, speakers as Speakers, type SpecificityDto, speech as Speech, type SpeechEngine, type SpikeShape, type StartExplorationRequest, type StartExplorationResponse, type StartIngestionSessionRequest, statistical as Statistical, type StatisticalSuccessResponse, type StepLogEntryDto, type StepVerificationResponse, type StorePlanRequest, type StorePlanResponse, streaming as Streaming, type StringCompareOperator, type StringComparePredicateRequest, type StringCompareRequest, type StringConcatRequest, type StringLengthRequest, type StringOpParams, type StringOpRequest, type StringOperationType, type StringValue, type StructuralAssignmentDto, type StructuredIngestionStatsDto, type SubscribeToKbRequest, type SubscribeToKbResponse, type SubscriptionDto, type SubscriptionEventKind, subscriptions as Subscriptions, type SubstringRequest, type SummaryResponse, type SuspendedQueryDto, type SymbolDto, type SymbolKindDto, type SymbolicResultDto, type SynthesizeRequest, type SynthesizeResponse, type SynthesizeSpeechRequest, synthetic as Synthetic, type SystemGroup, type TaggedDerivedFact, type TaggedFactDto, type TaggedFcRequest, type TaggedFcResponse, type TaggedFeatureValueDto, type TaggedForwardChainRequest, type TaggedForwardChainResponse, temporal as Temporal, type TemporalModelCheckRequest, type TemporalModelCheckResponse, type TemporalPlanRequest, type TemporalPlanResponse, type TemporalPoint, type TemporalRule, type TemporalSeries, type TemporalSeriesPoint, type TemporalSeriesRequest, type TemporalSeriesResponse, type TemporalSeriesSpec, type TemporalTrendSummary, type TenantInfoDto, type TermBindingDto, type TermDto, type TermEdit, type TermInputArg, type TermInputDesignator, type TermInputDto, type TermInputInline, type TermInputInlineByName, type TermInputRef, type TermListResponse, type TermOrigin, type TermPatternDto, type TermRefFeatureValue, type TermReferencesDisposition, type TermReferrerDto, type TermReferrersResponse, type TermResponse, type TermSetSelector, type TermState, type TermStoreSessionResponse, type TermVersionDto, type TermVersionsResponse, type TerminationDto, terms as Terms, type TestInput, thomas as Thomas, type ThomasPathwaysRequest, type ThomasStudyRequest, type ThomasStudyResponse, TimeoutError, type TokenUsageDto, type ToolCallInfo, type TraceEventDto, type TrailEntryDto, type TrainFromTracesResponse, type TrainingExample, type TrainingExampleDto, type TrainingTriggerResponse, type TrajectoryStepDto, type TranscribeSpeechRequest, type TranscribeSpeechResponse, type TranslateRdfRequest, type TranslateRdfResponse, type TranslateRequest, type TranslateResponse, type TranslatedRdfTermDto, translation as Translation, type TranspileRequest, type TranspileResponse, type TrapezoidalShape, type TriangularShape, type TriggerDependencyRequest, type TriggerDependencyResponse, type TurnDto, type TypedConstraint, ui as UI, type UIActionDto, type UIActionRequest, type UIActionResponse, type UIAssemblyStatsDto, type UICatalogEntry, type UICatalogResponse, type UICustomizationDto$1 as UICustomizationDto, type UIDescribeRequest, type UIDescribeResponse, type UIDescriptorDto, type UIGenerateRequest, type UIGenerateResponse, type UiSort, type UnaryOperatorDto, type UncertainEdgeDto, type UndoRequest, type UndoResponse, type UndoRuleStoreRequest, type UndoRuleStoreResponse, type UnifiableQueryRequest, type UnificationQueryResponse, type UnifyTermsRequest, type UnifyTermsResponse, type UninstantiatedValue, type UpdateCollectionRequest, type UpdateMetadataRequest, type UpdatePlanStatsRequest, type UpdatePlanStatsResponse, type UpdateReviewStatusRequest, type UpdateScenarioRequest, type UpdateScenarioResponse, type UpdateTenantNameRequest, type UpdateTenantNameResponse, type UpdateTermRequest, type UpdateVisibilityRequest, type UpgradeInstallRequest, utilities as Utilities, type ValidateTermRequest, type ValidatedTermResponse, type ValidatedUnifyRequest, type ValidatedUnifyResponse, ValidationError, type ValidationReportDto, type ValidationRuleDto, type ValidationTypeDto, Value, type ValueDto, type ValuePatternDto, values as Values, type VarKind, type VariableBounds, type VariableClassification, type VariableDto, type VariableFeasibilityDto, type VariableFeatureValue, type VariableSpec, type VerbalizationResultDto, type VerbalizeTermRequest, type VerbalizeTermResponse, verification as Verification, type VerificationStepDto, type VerifyClaimRequest, type VerifyClaimResponse, type VerifyFaithfulnessRequest, type VerifyFaithfulnessResponse, type VerifyResponse, type VerifyRoundTripRequest, type VerifyRoundTripResponse, type VerifyScenarioRequest, type VerifyScenarioResponse, type VersionDiffDto, type ViolationCountsDto, type ViolationDto, type VisibilityDto, vision as Vision, visualization as Visualization, type VisualizationGraphDto, type VoiceConsent, type VoiceProfile, type WaitingConditionDto, type WaitingConditionType, WebSocketClient, WebSocketConnection, webhookActions as WebhookActions, type WebhookCallbackRequest, type WebhookCallbackResponse, type WeightedFactDto, type WitnessInstantiationDto, type WitnessProofDto, type WorkflowGroup, type WorldModeDto, type YankPluginRequest, type YankPluginResponse, type ZShapeShape, aggregate, allen, bind, collect, constrained, discriminateFeatureValue, guard, isConstrainedPlainVar, isPsiTermInput, isTaggedValueDto, isUuid, not, paginateByOffset, paginateByPage, psi, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };