@kortexya/reasoninglayer 3.0.1 → 3.2.0

package/dist/index.d.cts

@@ -228,7 +228,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 = "3.0.1";
+declare const SDK_VERSION = "3.2.0";
 /**
  * Authentication mode for the SDK.
  *
@@ -1886,6 +1886,11 @@ interface ApprovePairingResponse$1 {
     /** Always `true`: a request that cannot be approved answers 404. */
     approved: boolean;
 }
+/** Body of `POST /api/v1/sorts/{id}/approve`. */
+interface ApproveSortRequest$1 {
+    /** Why the steward accepted it (recorded in the ledger). */
+    reason?: string | null;
+}
 /** Architecture information for the derived layer. */
 interface ArchitectureInfoDto$1 {
     constraint_satisfied: boolean;
@@ -1896,6 +1901,74 @@ interface ArchitectureInfoDto$1 {
     /** @min 0 */
     sort_count: number;
 }
+/** One claim to argue over. */
+interface ArgumentClaimDto {
+    /**
+     * Caller-stable id for this argument (defaults to `a<position>`). Use it
+     * in `preferences`/`retracted` across evaluation turns.
+     */
+    id?: string | null;
+    /**
+     * The claim's Ψ-term id in the tenant KB.
+     * @format uuid
+     */
+    term_id: string;
+}
+/** One argument with its grounded label. */
+interface ArgumentDto {
+    id: string;
+    /** @min 0 */
+    index: number;
+    /** `in` (skeptically accepted) · `out` (defeated) · `undecided`. */
+    label: string;
+    /** @format uuid */
+    term_id: string;
+    text: string;
+}
+/** A user resolution: `preferred` is true over `over`. */
+interface ArgumentPreferenceDto {
+    over: string;
+    preferred: string;
+}
+/** One unresolved conflict — the question to put to the user. */
+interface ArgumentQuestionDto {
+    a: string;
+    b: string;
+    /** Ready-to-ask prompt. */
+    prompt: string;
+}
+interface ArgumentationEvaluateRequestDto {
+    /** Claims in a stable caller order (argument order). */
+    claims: ArgumentClaimDto[];
+    /** Run the rule-derivation layer. Default true. */
+    enable_derivation?: boolean;
+    /**
+     * Pairwise co-reference threshold (default 0.7, clamped to 0.1..=1.0).
+     * @format double
+     */
+    match_threshold?: number | null;
+    /** User resolutions accumulated so far (each deletes one attack). */
+    preferences?: ArgumentPreferenceDto[];
+    /** Argument ids withdrawn entirely (dropped before evaluation). */
+    retracted?: string[];
+    /**
+     * Extra inline OSFQL (`DERIVE … WHEN …;`) compiled into the ephemeral
+     * analysis KB — conflict-sort rules turn derived facts into attacks
+     * carrying a derivation proof. Never touches the tenant KB.
+     */
+    rules_osfql?: string | null;
+    /** Consult the tenant KB's homoiconic rules when deriving conflicts. */
+    use_tenant_rules?: boolean;
+}
+interface ArgumentationEvaluateResponseDto {
+    arguments: ArgumentDto[];
+    attacks: AttackDto[];
+    /** The grounded extension, by argument id. */
+    grounded: GroundedExtensionDto;
+    /** Empty when the grounded labelling decided everything. */
+    questions: ArgumentQuestionDto[];
+    warnings?: string[];
+}
 /** Arithmetic value (integer or real) */
 type ArithValueDto$1 = {
     type: "integer";
@@ -2280,6 +2353,22 @@ interface AteEstimateResponse$1 {
      */
     std_error: number;
 }
+/** One attack edge with its clash evidence. */
+interface AttackDto {
+    /** Attacker argument id. */
+    from: string;
+    /**
+     * `value_conflict` · `polarity_conflict` · `deontic_conflict` ·
+     * `rule_derived_conflict`.
+     */
+    kind: string;
+    /** Whether a full derivation proof backs this attack. */
+    proved: boolean;
+    /** Human-readable clash reason (the witness). */
+    reason: string;
+    /** Attacked argument id. */
+    to: string;
+}
 /** Attention target DTO. */
 type AttentionTargetDto$1 = {
     /** @format uuid */
@@ -3896,6 +3985,13 @@ interface BulkReviewResponse$1 {
  * and reports the rest here, so this type crosses the wire in both directions.
  */
 interface BulkRowRefusalDto {
+    /** The violated constraint's message, in the author's words. */
+    constraint_message?: string | null;
+    /**
+     * The violated constraint's name, when a NAMED feature constraint
+     * refused the row — as the single-term 422 reports it.
+     */
+    constraint_name?: string | null;
     /** The feature the refusal names, when it names one. */
     feature?: string | null;
     /**
@@ -6043,11 +6139,13 @@ interface CompareDocumentsRequestDto {
 }
 /** One stored competency question. */
 interface CompetencyQuestionDto {
+    /** Longer text — a use case's description. */
+    description?: string | null;
     /** Whether a non-empty answer is the passing outcome. */
     expected: boolean;
     /** Content-derived key, stable across regeneration. */
     key: string;
-    /** `positive` | `pitfall`. */
+    /** `positive` | `pitfall` | `use_case`. */
     kind: string;
     /** `generated` | `user`. */
     origin: string;
@@ -6055,8 +6153,12 @@ interface CompetencyQuestionDto {
     osfql: string;
     /** The question text. */
     question: string;
+    /** Sorts the question is about. */
+    sorts?: string[];
     /** `proposed` | `accepted` | `rejected`. */
     status: string;
+    /** The use case this question tests (a use case's own id for `use_case`). */
+    use_case?: string | null;
 }
 /** One question's outcome. */
 interface CompetencyQuestionResultDto {
@@ -6855,6 +6957,14 @@ type ConstraintDto$1 = {
 } | {
     type: "Enum";
     value: ValueDto$1[];
+} | {
+    type: "OrderedEnum";
+    /**
+     * An enum whose values form a scale, in the order listed
+     * (`small < medium < large`). Checked like `Enum`; exported as an
+     * ordered `sh:in` list; compared by position.
+     */
+    value: ValueDto$1[];
 } | {
     type: "DateRange";
     value: {
@@ -7560,7 +7670,13 @@ interface CreateCollectionRequest$1 {
 }
 /** A competency question to record. */
 interface CreateCompetencyQuestionRequest$1 {
-    /** `positive` (default) or `pitfall` — a guard passes by finding nothing. */
+    /** Longer text — a use case's description. */
+    description?: string | null;
+    /**
+     * `positive` (default), `pitfall` — a guard passes by finding nothing —
+     * or `use_case`: a use case the ontology serves, which questions link to
+     * and which is never measured itself.
+     */
     kind?: string | null;
     /**
      * Executable OSFQL. Optional: a question nobody has compiled yet is still a
@@ -7569,6 +7685,13 @@ interface CreateCompetencyQuestionRequest$1 {
     osfql?: string | null;
     /** The question in the user's language. */
     question: string;
+    /** Sorts the question is about. */
+    sorts?: string[];
+    /**
+     * The use case this question tests (a `use_case` entry's id). For a
+     * `use_case` entry, its own id (defaults to a key derived from the text).
+     */
+    use_case?: string | null;
 }
 /**
  * Request to create a new constraint session
@@ -8283,6 +8406,32 @@ interface CuriosityTargetDto$1 {
      */
     target_id: string;
 }
+/** The fluent term holding the entity's state at `at`. */
+interface CurrentFluentResponse$1 {
+    /** The instant the question was asked about (RFC 3339). */
+    at: string;
+    /**
+     * The event term that produced the state, when recorded.
+     * @format uuid
+     */
+    generated_by?: string | null;
+    /**
+     * The entity the state is about.
+     * @format uuid
+     */
+    of: string;
+    /** The fluent sort's name. */
+    sort: string;
+    /**
+     * The fluent term's id.
+     * @format uuid
+     */
+    term_id: string;
+    /** When the state began (RFC 3339). */
+    valid_from: string;
+    /** The state. */
+    value: object;
+}
 /** Response with curried function info */
 interface CurriedFunctionResponse$1 {
     can_curry: boolean;
@@ -8959,6 +9108,16 @@ interface DependentInfoDto$1 {
     /** Evidence source DTO */
     evidence: EvidenceSourceDto$1;
 }
+/** Body of `POST /api/v1/sorts/{id}/deprecate`. */
+interface DeprecateSortBody {
+    /**
+     * Why it was rejected or retired (shown next to the tombstone and
+     * recorded in the ledger).
+     */
+    reason: string;
+    /** The sort that supersedes this one: its id, or its name in this tenant. */
+    replacement?: string | null;
+}
 /**
  * The "this concept is retired, use that one instead" half of a
  * [`PatchSortRequest`]. A replacement is required rather than optional:
@@ -10922,6 +11081,18 @@ interface EdgePosteriorDto {
 type EdgeTypeDto$1 = "subtype" | "multiple_inheritance" | "glb_path" | "lub_path" | "constraint_dependency" | "propagation" | "feature" | "coreference" | "trigger_dependency" | "relation_source" | "relation_target" | "identity" | "derivation" | {
     custom: string;
 };
+/** Body of `POST /api/v1/sorts/{id}/parents`. */
+interface EditSortParentsRequest$1 {
+    /**
+     * Parents to add, each by id or by name in this tenant (a shared sort by
+     * its name too). One already a parent is kept where it is.
+     */
+    add?: string[];
+    /** Why the steward moved it (recorded in the ledger). */
+    reason?: string | null;
+    /** Parents to remove, each by id or by name. Each must be a current parent. */
+    remove?: string[];
+}
 /** What the interventions changed. */
 interface EffectDto$2 {
     /** The ceilings after. */
@@ -12554,6 +12725,45 @@ interface FactOutcomeDto {
     /** For `suspended`: the facts whose arrival should resume certification. */
     wake_triggers?: string[];
 }
+/** A sort a proposed mixin would cover. */
+interface FactorMemberSortDto {
+    /** @format uuid */
+    id: string;
+    name: string;
+}
+/** One candidate mixin parent. */
+interface FactorProposalDto {
+    member_sorts: FactorMemberSortDto[];
+    shared_features: FactorSharedFeatureDto[];
+    /** Deterministic placeholder (`<f1>_<f2>_shape`) — name it before use. */
+    suggested_name: string;
+}
+/** A declaration the member sorts share unchanged. */
+interface FactorSharedFeatureDto {
+    constraint?: null | ConstraintDto$1;
+    /** @format uuid */
+    expected_sort?: string | null;
+    expected_type_hint?: string | null;
+    name: string;
+    required: boolean;
+}
+/** Body of `POST /api/v1/sorts/discovery/factor`. */
+interface FactorSortsRequest$1 {
+    /**
+     * Least number of sorts a mixin must cover (default and floor: 2).
+     * @min 0
+     */
+    min_sorts?: number | null;
+    /**
+     * Restrict the analysis to these sorts (ids). Absent ⇒ every sort of
+     * the tenant.
+     */
+    sort_ids?: string[] | null;
+}
+/** Response of `POST /api/v1/sorts/discovery/factor`. */
+interface FactorSortsResponse$1 {
+    proposals: FactorProposalDto[];
+}
 /**
  * Response for the factory-reset operation.
  *
@@ -12729,6 +12939,16 @@ interface FeatureDescriptorDto$1 {
      * when absent so callers needn't send an explicit null.
      */
     constraint?: null | ConstraintDto$1;
+    /**
+     * What a writer whose value `constraint` refuses is told. A refused write
+     * reports it as `constraint_message`; a SHACL export emits `sh:message`.
+     */
+    constraint_message?: string | null;
+    /**
+     * A stable name for `constraint` (`pizza_size_is_known`). A refused write
+     * reports it as `constraint_name`; a SHACL export emits it as `sh:name`.
+     */
+    constraint_name?: string | null;
     /**
      * Human-readable prose about the feature, used for semantic embeddings
      * and documentation (#320).
@@ -14524,6 +14744,12 @@ interface GenerateDocumentResponse$1 {
 }
 /** Request to generate enhanced negative examples. */
 interface GenerateNegativesRequest$1 {
+    /**
+     * Whether to violate each declared feature constraint — enum, range,
+     * pattern, maximum cardinality — one negative per constraint, carrying
+     * its name (default: true).
+     */
+    enable_constraint_violation?: boolean;
     /** Whether to use cross-sort confusion strategy (default: true). */
     enable_cross_sort_confusion?: boolean;
     /** Whether to use feature perturbation strategy (default: true). */
@@ -14558,10 +14784,21 @@ interface GenerateNegativesResponse$1 {
 interface GenerateOntologyRequest$1 {
     /** Answers to clarification questions (2nd call). */
     answers?: Partial<Record<string, string>> | null;
+    /**
+     * Staged builder: the current draft scenario (including `scope` and
+     * `use_cases`) the patch extends.
+     */
+    draft?: object | null;
     /** The user's task description. */
     prompt: string;
     /** Session ID for multi-turn clarification. */
     session_id?: string | null;
+    /**
+     * Staged builder: generate only this stage's patch (`scope`,
+     * `vocabulary`, `sorts`, `features`, `constraints`, `vocabularies`,
+     * `fluents`, `computed`, `rules`). Absent ⇒ one-shot generation.
+     */
+    stage?: string | null;
     /**
      * Tenant ID (overridden by AuthContext header).
      * @format uuid
@@ -14584,6 +14821,11 @@ type GenerateOntologyResponse$1 = {
     generation_time_ms: number;
     scenario: object;
     status: "complete";
+} | {
+    notes?: string | null;
+    patch: object;
+    stage: string;
+    status: "patch";
 };
 /** Response of `POST /api/v1/sorts/proposals/generate`. */
 interface GenerateProposalsResponse {
@@ -15705,6 +15947,12 @@ interface GroundTruthEntry$1 {
     term_id: string;
 }
 type GroundTruthStatus$1 = "Pending" | "Validated" | "Refuted" | "Unknown";
+/** The grounded extension, by argument id. */
+interface GroundedExtensionDto {
+    accepted: string[];
+    rejected: string[];
+    undecided: string[];
+}
 /** Request body for `POST /api/v1/generate/grounded`. */
 interface GroundedGenerateRequest$1 {
     /** See [`Self::goal_target`]. */
@@ -20663,7 +20911,7 @@ interface MaterializeScenarioRequest$1 {
         rules: object[];
         /** LLM sensor points. Defaults to empty. */
         sensorPoints?: object[];
-        /** Sorts to create or reuse. */
+        /** Sorts to create or reuse. A sort may carry `provenance`, recorded as its origin: `{"kind": "model", "model"?: …}` (a model proposal, `LlmExtracted`) or `{"kind": "imported", "ontology": …, "original_id": …}` (`Imported`). Without it the sort is `Manual`, credited to the caller; `System` cannot be claimed. */
         sorts: object[];
         /** Allen temporal constraints. Defaults to empty. */
         temporalConstraints?: object[];
@@ -20678,11 +20926,27 @@ interface MaterializeScenarioResponse$1 {
      * @min 0
      */
     beliefs_created: number;
+    /**
+     * Use cases and competency questions recorded as `proposed`
+     * competency questions (staged builder).
+     * @min 0
+     */
+    competency_questions_created?: number;
+    /**
+     * Computed features declared as feature equations.
+     * @min 0
+     */
+    computed_features_created?: number;
     /**
      * Number of generic constraint terms created.
      * @min 0
      */
     constraints_created: number;
+    /**
+     * Fluent sorts created (each with its event sort).
+     * @min 0
+     */
+    fluents_created?: number;
     /**
      * Whether an `agent_goal` term was created. `false` for a scenario that
      * declares no goal, such as a schema-only import.
@@ -20693,6 +20957,11 @@ interface MaterializeScenarioResponse$1 {
      * @min 0
      */
     pipeline_stages_created: number;
+    /**
+     * Sorts created as `Proposed` — the candidates awaiting a steward's
+     * `POST /api/v1/sorts/{id}/approve`.
+     */
+    proposed_sort_ids?: string[];
     /**
      * Number of OSF relation edges (`Value::Reference` features) linking instances.
      * @min 0
@@ -22104,8 +22373,20 @@ interface NamespaceResponse$1 {
 interface NegativeExampleDto$1 {
     /** Human-readable explanation of why this is negative. */
     explanation: string;
+    /**
+     * The negative's features (same shape as a `POST /api/v1/terms/bulk`
+     * entry's `features`).
+     */
+    features?: object | null;
     /** The rejection reason category. */
     rejection_reason: string;
+    /**
+     * The negative's sort, by name. With [`Self::features`] this is the term
+     * itself, in the shape `POST /api/v1/terms/bulk` accepts — so a client
+     * can submit it as a dry run and PROVE the write-time checks refuse it.
+     * `term_id` names a scratch term that no longer exists.
+     */
+    sort?: string | null;
     /**
      * The sort this negative was generated against.
      * @format uuid
@@ -22118,6 +22399,18 @@ interface NegativeExampleDto$1 {
      * @format uuid
      */
     term_id: string;
+    /**
+     * The declared constraint this negative violates (strategy
+     * `ConstraintViolation`): the same `constraint_name` /
+     * `constraint_message` a refused write carries.
+     */
+    violated_constraint?: null | ViolatedConstraintDto$1;
+    /**
+     * The world mode of the sort this negative targets: `open` (OSF's
+     * default — an undeclared feature is admitted, so no negative rests on
+     * one) or `closed` (`@closed` — the declared feature set is closed).
+     */
+    world_mode?: string | null;
 }
 /** Task network status. */
 type NetworkStatusDto = "pending" | "executing" | "completed" | "failed";
@@ -22143,6 +22436,15 @@ interface NlQueryRequest$1 {
      * @min 0
      */
     focus_proposal?: number | null;
+    /**
+     * Optional (llm mode): sort names the question is about. Each named sort
+     * is always in the schema shown to the translator, with every feature it
+     * declares, ahead of the record-count ranking that fills the rest of the
+     * prompt budget — so a freshly built sort with no records yet is not cut
+     * from the context of a question about it (#402). A name that matches no
+     * sort of the tenant is ignored.
+     */
+    focus_sorts?: string[];
     /**
      * Optional images for a new TRIZ session (`mode: "triz"` only, no
      * `session_id`). Each image is read by the vision model and the reading
@@ -22554,6 +22856,36 @@ interface OntologyRagStatsDto$1 {
     /** @min 0 */
     terms_unified: number;
 }
+/** The ontology's scope. */
+interface OntologyScopeDto {
+    /** What is postponed. */
+    deferred?: string[];
+    /**
+     * `static` | `dynamic`.
+     * @example "dynamic"
+     */
+    dynamics: string;
+    /** What it covers. */
+    in_scope?: string[];
+    /** Free-form notes. */
+    notes?: string | null;
+    /** What it explicitly does not cover. */
+    out_of_scope?: string[];
+    /** What the ontology is for. */
+    purpose: string;
+    /**
+     * `overwrite` | `append`.
+     * @example "append"
+     */
+    write_mode: string;
+}
+/** A stored scope with its provenance. */
+type OntologyScopeResponse$1 = OntologyScopeDto & {
+    /** RFC 3339 time of the last write. */
+    updated_at: string;
+    /** `X-Authenticated-User` of the last writer, when known. */
+    updated_by?: string | null;
+};
 /** Statistics from the learned ontology verifier/reranker service. */
 interface OntologyVerifierStatsDto$1 {
     /**
@@ -23965,9 +24297,14 @@ interface PatchSortRequest$1 {
      * one [`SortDto::annotations`] reads back); keys absent here are kept.
      */
     annotations?: Partial<Record<string, string>> | null;
-    /** Promote a `Proposed` concept to `Active` and clear its review flag. */
+    /**
+     * REFUSED with 400: approving is `POST /api/v1/sorts/{id}/approve`, a
+     * route the gateway gates separately from vocabulary edits. Kept on the
+     * wire so an old client is told where the operation went instead of
+     * getting an opaque unknown-field error.
+     */
     approve_proposed?: boolean | null;
-    /** Retire this concept in favour of another. */
+    /** REFUSED with 400: deprecating is `POST /api/v1/sorts/{id}/deprecate`. */
     deprecate?: null | DeprecateSortRequest$1;
     /** Set the human-readable definition (`skos:definition`). */
     description?: string | null;
@@ -28322,6 +28659,24 @@ interface RuleEntryDto$1 {
      */
     withdrawable: boolean;
 }
+/** One finding of `POST /api/v1/inference/rules/validate`. */
+interface RuleIssueDto {
+    /**
+     * What was found: `refused` (the write refuses the rule for this
+     * reason), `unstratifiable` (the write refuses it because it closes a
+     * new cycle through negation), or `negation_local_variable` (a warning:
+     * a variable only a `NOT` mentions, read as "no match for any value").
+     */
+    kind: string;
+    /** The finding, as the write (or the analysis) words it. */
+    message: string;
+    /**
+     * For `refused`: the status the write answers with.
+     * @format int32
+     * @min 0
+     */
+    status?: number | null;
+}
 /**
  * Why a listed rule cannot be withdrawn, in the same terms the mutation route
  * would answer with.
@@ -28383,6 +28738,18 @@ interface RuleStoreResponse$1 {
 interface RuleTermDraftDto$1 {
     /** Feature name → scalar value (string / number / boolean) or "?Var". */
     features?: Partial<Record<string, RuleDraftFeatureValueDto>>;
+    /**
+     * An ANTECEDENT that must NOT hold — negation as failure over the
+     * tenant's facts ("there is no meat topping on the pizza"). Absent or
+     * `false` is an ordinary positive condition. A head is never negated.
+     *
+     * A client writing the draft through `POST /api/v1/inference/rules`
+     * wraps a negated antecedent in the reserved `negation` carrier (its
+     * `clause` feature holds this term), which the rule listing renders back
+     * as `NOT EXISTS …`. Without this field a drafted negation had no place
+     * on the wire and read back as the positive condition (#421).
+     */
+    negated?: boolean;
     sort_name: string;
 }
 /** Rule utility DTO. */
@@ -28415,6 +28782,26 @@ interface RuleUtilityDto$1 {
      */
     utility: number;
 }
+/**
+ * Response of `POST /api/v1/inference/rules/validate`: what writing the rule
+ * would do, with nothing written.
+ */
+interface RuleValidationResponse$1 {
+    /** `true` when `POST /api/v1/inference/rules` would accept the rule. */
+    ok: boolean;
+    /** Why the write would refuse the rule — empty when `ok`. */
+    refusals: RuleIssueDto[];
+    /**
+     * The rule as the write would build it. Its term ids are scratch ids
+     * unless rule ids are content-addressed (`OSFKB_RULE_STABLE_IDS`).
+     */
+    rule?: null | PsiTermDto$1;
+    /**
+     * What the write accepts but the program may not mean: variables only
+     * a `NOT` mentions.
+     */
+    warnings: RuleIssueDto[];
+}
 /**
  * What withdrawing a rule removed, in every tier that held part of it.
  *
@@ -31518,6 +31905,13 @@ interface StartExplorationRequestDto {
      * @min 0
      */
     min_intent_size?: number;
+    /**
+     * Explore only terms of these sorts and their subsorts (by name, in the
+     * tenant's lattice). The filter applies BEFORE `max_terms`, so the bound
+     * counts matching terms only. Absent or empty ⇒ the whole tenant.
+     * An unknown name is a 400.
+     */
+    sort_names?: string[];
 }
 /** Response after starting an exploration session. */
 interface StartExplorationResponseDto {
@@ -35442,6 +35836,17 @@ interface VersionDto {
     /** The deprecation reason recorded at yank time, if any (plan §P, P7). */
     yanked_reason?: string | null;
 }
+/** The declared feature constraint a negative example violates. */
+interface ViolatedConstraintDto$1 {
+    /** What a refused writer is told, when its author gave it. */
+    constraint_message?: string | null;
+    /** The constraint's name, when its author gave one. */
+    constraint_name?: string | null;
+    /** The feature whose constraint is violated. */
+    feature: string;
+    /** `enum`, `ordered_enum`, `range`, `pattern` or `cardinality`. */
+    kind: string;
+}
 /** Per-violation-kind counts. */
 interface ViolationCounts {
     /**
@@ -35821,6 +36226,16 @@ declare class Sorts<SecurityDataType = unknown> {
      * @request POST:/api/v1/sorts/learned-similarities/approve
      */
     approveLearnedSimilarity: (data: ApproveLearnedSimilarityRequest$1, params?: RequestParams) => Promise<HttpResponse<ApproveLearnedSimilarityResponse$1, any>>;
+    /**
+     * @description A `Proposed` sort becomes `Active`; a sort only flagged `needs_review` has the flag cleared. Anything else is not awaiting approval (409). Requires `Manage` on the sort under a gateway policy. Separation of duties is enforced here, by the engine that holds the proposal record: the acting user (`X-Authenticated-User`) who is the sort's recorded proposer (`SortStatus::Proposed { submitted_by }`) is refused with a coded 403 (`code: "separation_of_duties"`) naming the sort, and the refusal is recorded in the oversight ledger as a `rejected` decision on the action `sort.approve.refused` (#398). The gateway checks the steward permission at the project, where the roles live.
+     *
+     * @tags sorts
+     * @name ApproveSort
+     * @summary Approve a candidate sort
+     * @request POST:/api/v1/sorts/{id}/approve
+     * @secure
+     */
+    approveSort: (id: string, data: ApproveSortRequest$1, params?: RequestParams) => Promise<HttpResponse<SortResponse$1, void | CodedErrorResponse>>;
     /**
      * @description POST /api/v1/sorts/bulk Creates multiple sorts in a single request, automatically resolving parent references by name. Sorts are topologically sorted to ensure parents are created before children. This is much faster than individual requests for large hierarchies. # Authorization Requires X-Tenant-Id header. The tenant_id field in the request body is ignored.
      *
@@ -35884,6 +36299,36 @@ declare class Sorts<SecurityDataType = unknown> {
         /** What to do about the terms typed by this sort. */
         terms?: DeleteSortTermsDisposition$1;
     }, params?: RequestParams) => Promise<HttpResponse<DeleteSortResponse$1, void>>;
+    /**
+     * @description Retires the sort, optionally in favour of a replacement (whose id or name is given), with a mandatory reason. Used both to reject a candidate after materialize and to retire an established concept.
+     *
+     * @tags sorts
+     * @name DeprecateSort
+     * @summary Deprecate (reject) a sort
+     * @request POST:/api/v1/sorts/{id}/deprecate
+     * @secure
+     */
+    deprecateSort: (id: string, data: DeprecateSortBody, params?: RequestParams) => Promise<HttpResponse<SortResponse$1, void>>;
+    /**
+     * @description The steward's edit of where a concept sits: `add` and `remove` name parents by id or by name, and the sort keeps every other parent in its current order (added ones go last). The move itself is the one `PUT /api/v1/sorts/{id}/parents` runs (#292): the sort keeps its id and record, its subtree moves with it, the inherited declarations and the subsumption caches (GLB/LUB included) are repaired, and a refused move changes nothing. Requires `Manage` on the sort and on every parent added or removed under a gateway policy: a move changes who inherits access to the sort through a descendant grant. A change appends an `OversightDecision{modified}` to the audit ledger naming the reviewer. # Refused (422), with nothing changed An unknown parent, a parent to remove that is not one, an empty edit, the sort itself, a parent below the sort (a cycle), and every state the move would make contradictory (⊥): two cells of one disjoint facet, an inherited declaration no value satisfies, an own declaration weaker than a new ancestor's, a bound constraint left without its feature.
+     *
+     * @tags sorts
+     * @name EditSortParents
+     * @summary Add and remove parents of a sort
+     * @request POST:/api/v1/sorts/{id}/parents
+     * @secure
+     */
+    editSortParents: (id: string, data: EditSortParentsRequest$1, params?: RequestParams) => Promise<HttpResponse<SortReparentResponse$1, void>>;
+    /**
+     * @description Formal Concept Analysis over sort × feature declaration, each declaration taken whole (name, range or type, constraint, requiredness, bound): every set of at least `min_sorts` sorts sharing at least two identical declarations is a candidate mixin. Deterministic; never writes. Accepting a proposal is creating the mixin (as a `proposed` sort) and re-parenting the members — the caller's decision: `POST /api/v1/scenarios/materialize` with the mixin and each member naming it as a parent does both, the moves going through the governed door of `POST /api/v1/sorts/{id}/parents`. A declaration a sort restates identically to an ancestor's is factored already and is never proposed again.
+     *
+     * @tags sorts
+     * @name FactorSortShapes
+     * @summary Propose mixin parents for shapes several sorts repeat unchanged
+     * @request POST:/api/v1/sorts/discovery/factor
+     * @secure
+     */
+    factorSortShapes: (data: FactorSortsRequest$1, params?: RequestParams) => Promise<HttpResponse<FactorSortsResponse$1, any>>;
     /**
      * No description
      *
@@ -36228,7 +36673,7 @@ declare class Sorts<SecurityDataType = unknown> {
         cascade_terms?: boolean;
     }, params?: RequestParams) => Promise<HttpResponse<SortFeatureEditResponse$1, void>>;
     /**
-     * @description The body's `parents` REPLACES the sort's parent set; an empty list makes it a root. The sort keeps its id and its whole record — features, bounds, SKOS fields, annotations, status, provenance — and its subtree moves with it. Nothing is deleted and nothing is re-created. What depends on the ancestors is repaired for the sort and every subsort: the subsumption encoding, and the INHERITED feature declarations (a feature inherited from an old ancestor goes, one from a new ancestor comes; a declaration the sort makes itself is never touched). The response reports those changes, the terms whose sort now has different ancestors, and the rules naming a moved sort. The OSFQL spelling is `ALTER SORT <name> PARENTS (<parent>, …);` — the same move. # Refused, with nothing changed An unknown parent (or another tenant's), the sort itself, a parent below the sort (a cycle), a move past the depth cap, a facet violation, an own declaration weaker than a new ancestor's, a bound constraint left naming a feature a sort would stop inheriting, a declaration contradiction inherited from two new ancestors, a shared or authorization-schema sort, and a sort with more than 512 persisted subsorts. # Errors - 400 Bad Request: the move was refused; the message names the cause - 404 Not Found: no such sort for this tenant
+     * @description The body's `parents` REPLACES the sort's parent set; an empty list makes it a root. The sort keeps its id and its whole record — features, bounds, SKOS fields, annotations, status, provenance — and its subtree moves with it. Nothing is deleted and nothing is re-created. What depends on the ancestors is repaired for the sort and every subsort: the subsumption encoding, and the INHERITED feature declarations (a feature inherited from an old ancestor goes, one from a new ancestor comes; a declaration the sort makes itself is never touched). The response reports those changes, the terms whose sort now has different ancestors, and the rules naming a moved sort. The OSFQL spelling is `ALTER SORT <name> PARENTS (<parent>, …);` — the same move. # Governed Requires `Manage` on the sort and on every parent the move adds or removes, and a move that changes anything appends an `OversightDecision{modified}` naming the reviewer — the same door `POST /sorts/{id}/parents` and OSFQL go through. # Refused, with nothing changed An unknown parent (or another tenant's), the sort itself, a parent below the sort (a cycle), a move past the depth cap, a facet violation, an own declaration weaker than a new ancestor's, a bound constraint left naming a feature a sort would stop inheriting, a declaration contradiction inherited from two new ancestors, a shared or authorization-schema sort, and a sort with more than 512 persisted subsorts. # Errors - 400 Bad Request: the move was refused; the message names the cause - 404 Not Found: no such sort for this tenant
      *
      * @tags sorts
      * @name ReparentSort
@@ -36291,7 +36736,7 @@ declare class Sorts<SecurityDataType = unknown> {
      * @summary Update the review status of a sort (approve or mark for review)
      * @request POST:/api/v1/sorts/{id}/review
      */
-    updateSortReview: (id: string, data: UpdateSortReviewRequest, params?: RequestParams) => Promise<HttpResponse<SortResponse$1, any>>;
+    updateSortReview: (id: string, data: UpdateSortReviewRequest, params?: RequestParams) => Promise<HttpResponse<SortResponse$1, void>>;
 }
 
 declare class Types<SecurityDataType = unknown> {
@@ -37865,6 +38310,13 @@ interface BulkRowRefusal {
     message: string;
     /** The feature the refusal names, when it names one. */
     feature?: string;
+    /**
+     * The refusing constraint's name, when a NAMED constraint refused the row
+     * (the per-row twin of {@link NamedConstraintViolationError.constraintName}).
+     */
+    constraintName?: string;
+    /** The message the constraint's author gave for exactly this refusal. */
+    constraintMessage?: string;
 }
 /** Response from clearing all terms for a tenant. */
 interface ClearTermsResponse {
@@ -39026,6 +39478,33 @@ interface AddRuleResponse {
     /** The created rule as a PsiTerm. */
     term: PsiTermDto;
 }
+/** One finding of a rule validation. */
+interface RuleIssue {
+    /**
+     * `refused` (the write refuses the rule for this reason), `unstratifiable`
+     * (it closes a NEW cycle through negation), or `negation_local_variable` (a
+     * warning: a variable only a `NOT` mentions, read as "no match for any value").
+     */
+    kind: string;
+    /** The finding, as the write (or the analysis) words it. */
+    message: string;
+    /** For `refused`: the status the write answers with. */
+    status?: number | null;
+}
+/** What `addRule` would do with a rule — answered without writing it. */
+interface RuleValidationResponse {
+    /** `true` exactly when `addRule` would accept the rule. */
+    ok: boolean;
+    /** Why the write would refuse it — empty when `ok`. */
+    refusals: RuleIssue[];
+    /** What the write accepts but the program may not mean (NAF safety). */
+    warnings: RuleIssue[];
+    /**
+     * The rule as the write would build it. Its term ids are scratch ids unless
+     * rule ids are content-addressed on the engine.
+     */
+    rule?: PsiTermDto | null;
+}
 /**
  * One item a bulk rule or fact write refused, named by its position in the
  * request.
@@ -39055,7 +39534,9 @@ interface BulkAddRulesResponse {
     rulesAdded: number;
     /**
      * The rules the engine refused and did NOT write, each with its index in
-     * the request and the reason. Absent when every rule was accepted.
+     * the request and the reason — a guard that cannot compare, nested negation,
+     * a variable no positive antecedent binds, or a NEW cycle through negation.
+     * Absent when every rule was accepted.
      */
     rejected?: RejectedBulkItem[];
 }
@@ -39651,13 +40132,25 @@ type RuleDraftFeatureValue = string | number | boolean;
  *
  * The backend converts each of these to a `TermInputDto::InlineByName` when the draft is
  * submitted to `addRule`, so a drafted term maps directly onto {@link TermInputDto}'s
- * inline-by-sort-name variant.
+ * inline-by-sort-name variant. A `negated` antecedent is the exception: it is
+ * submitted inside the `negation` carrier (see {@link RuleTermDraftDto.negated}).
  */
 interface RuleTermDraftDto {
     /** The sort (type) name of this term. */
     sortName: string;
     /** Feature name → untagged scalar value, or a variable string such as `"?X"`. */
     features?: Record<string, RuleDraftFeatureValue>;
+    /**
+     * `true` on an ANTECEDENT that must NOT hold — negation as failure over the
+     * tenant's facts ("there is no meat topping on the pizza"). Absent is an
+     * ordinary positive condition; the engine omits it when `false`. A head is
+     * never negated.
+     *
+     * A negated antecedent is not written with a flag: submit it through
+     * `addRule` wrapped in the reserved `negation` carrier — `not(psi(...))` —
+     * which the rule listing renders back as `NOT EXISTS …`.
+     */
+    negated?: boolean;
 }
 /**
  * A single drafted inference rule: a head implied by zero or more antecedents.
@@ -39819,16 +40312,18 @@ type inference_RuleDraftClarificationQuestionDto = RuleDraftClarificationQuestio
 type inference_RuleDraftDto = RuleDraftDto;
 type inference_RuleDraftFeatureValue = RuleDraftFeatureValue;
 type inference_RuleEntryDto = RuleEntryDto;
+type inference_RuleIssue = RuleIssue;
 type inference_RuleNotWithdrawable = RuleNotWithdrawable;
 type inference_RuleOrigin = RuleOrigin;
 type inference_RuleTermDraftDto = RuleTermDraftDto;
+type inference_RuleValidationResponse = RuleValidationResponse;
 type inference_RuleWithdrawalReport = RuleWithdrawalReport;
 type inference_SolutionDto = SolutionDto;
 type inference_TaggedDerivedFact = TaggedDerivedFact;
 type inference_TaggedForwardChainRequest = TaggedForwardChainRequest;
 type inference_TaggedForwardChainResponse = TaggedForwardChainResponse;
 declare namespace inference {
-  export type { inference_AddFactRequest as AddFactRequest, inference_AddFactResponse as AddFactResponse, inference_AddRuleRequest as AddRuleRequest, inference_AddRuleResponse as AddRuleResponse, inference_AllenRelation as AllenRelation, inference_BackwardChainRequest as BackwardChainRequest, inference_BackwardChainResponse as BackwardChainResponse, inference_BayesianEffectDto as BayesianEffectDto, inference_BayesianPredictRequest as BayesianPredictRequest, inference_BayesianPredictResponse as BayesianPredictResponse, inference_BindingDto as BindingDto, inference_BulkAddFactsRequest as BulkAddFactsRequest, inference_BulkAddFactsResponse as BulkAddFactsResponse, inference_BulkAddRulesRequest as BulkAddRulesRequest, inference_BulkAddRulesResponse as BulkAddRulesResponse, inference_BulkFuzzyProveRequest as BulkFuzzyProveRequest, inference_BulkFuzzyProveResponse as BulkFuzzyProveResponse, inference_BulkRetractTermsRequest as BulkRetractTermsRequest, inference_BulkRetractTermsResponse as BulkRetractTermsResponse, inference_ClearFactsResponse as ClearFactsResponse, inference_ConstraintInputDto as ConstraintInputDto, inference_CreateGoalRequest as CreateGoalRequest, inference_CreateGoalResponse as CreateGoalResponse, inference_DeleteGoalResponse as DeleteGoalResponse, inference_DiagnosisCertificate as DiagnosisCertificate, inference_DiagnosisCertificateSignature as DiagnosisCertificateSignature, inference_DraftRulesRequest as DraftRulesRequest, inference_DraftRulesResponse as DraftRulesResponse, inference_FactConfidenceEntry as FactConfidenceEntry, inference_ForwardChainRequest as ForwardChainRequest, inference_ForwardChainResponse as ForwardChainResponse, inference_FuzzyProveRequest as FuzzyProveRequest, inference_FuzzyProveResponse as FuzzyProveResponse, inference_GetFactsResponse as GetFactsResponse, inference_GetRulesResponse as GetRulesResponse, inference_GoalDto as GoalDto, inference_GoalSummaryDto as GoalSummaryDto, inference_GuardOp as GuardOp, inference_HomoiconicSubstitutionDto as HomoiconicSubstitutionDto, inference_ListGoalsResponse as ListGoalsResponse, inference_LiteralInputDto as LiteralInputDto, inference_LogOddsAntecedentContributionDto as LogOddsAntecedentContributionDto, inference_LogOddsScoreDecompositionDto as LogOddsScoreDecompositionDto, inference_LogOddsWitnessDto as LogOddsWitnessDto, inference_MetaSortsResponse as MetaSortsResponse, inference_NafProveRequest as NafProveRequest, inference_NafProveResponse as NafProveResponse, inference_ProofDto as ProofDto, inference_ProofKind as ProofKind, inference_ProvenanceTagDto as ProvenanceTagDto, inference_RejectedBulkItem as RejectedBulkItem, inference_ReplaceRuleResponse as ReplaceRuleResponse, inference_ResidualDerivationDto as ResidualDerivationDto, inference_RuleAggregatorDto as RuleAggregatorDto, inference_RuleCertificationDelta as RuleCertificationDelta, inference_RuleDerivationsDisposition as RuleDerivationsDisposition, inference_RuleDraftClarificationQuestionDto as RuleDraftClarificationQuestionDto, inference_RuleDraftDto as RuleDraftDto, inference_RuleDraftFeatureValue as RuleDraftFeatureValue, inference_RuleEntryDto as RuleEntryDto, inference_RuleNotWithdrawable as RuleNotWithdrawable, inference_RuleOrigin as RuleOrigin, inference_RuleTermDraftDto as RuleTermDraftDto, inference_RuleWithdrawalReport as RuleWithdrawalReport, inference_SolutionDto as SolutionDto, inference_TaggedDerivedFact as TaggedDerivedFact, inference_TaggedForwardChainRequest as TaggedForwardChainRequest, inference_TaggedForwardChainResponse as TaggedForwardChainResponse };
+  export type { inference_AddFactRequest as AddFactRequest, inference_AddFactResponse as AddFactResponse, inference_AddRuleRequest as AddRuleRequest, inference_AddRuleResponse as AddRuleResponse, inference_AllenRelation as AllenRelation, inference_BackwardChainRequest as BackwardChainRequest, inference_BackwardChainResponse as BackwardChainResponse, inference_BayesianEffectDto as BayesianEffectDto, inference_BayesianPredictRequest as BayesianPredictRequest, inference_BayesianPredictResponse as BayesianPredictResponse, inference_BindingDto as BindingDto, inference_BulkAddFactsRequest as BulkAddFactsRequest, inference_BulkAddFactsResponse as BulkAddFactsResponse, inference_BulkAddRulesRequest as BulkAddRulesRequest, inference_BulkAddRulesResponse as BulkAddRulesResponse, inference_BulkFuzzyProveRequest as BulkFuzzyProveRequest, inference_BulkFuzzyProveResponse as BulkFuzzyProveResponse, inference_BulkRetractTermsRequest as BulkRetractTermsRequest, inference_BulkRetractTermsResponse as BulkRetractTermsResponse, inference_ClearFactsResponse as ClearFactsResponse, inference_ConstraintInputDto as ConstraintInputDto, inference_CreateGoalRequest as CreateGoalRequest, inference_CreateGoalResponse as CreateGoalResponse, inference_DeleteGoalResponse as DeleteGoalResponse, inference_DiagnosisCertificate as DiagnosisCertificate, inference_DiagnosisCertificateSignature as DiagnosisCertificateSignature, inference_DraftRulesRequest as DraftRulesRequest, inference_DraftRulesResponse as DraftRulesResponse, inference_FactConfidenceEntry as FactConfidenceEntry, inference_ForwardChainRequest as ForwardChainRequest, inference_ForwardChainResponse as ForwardChainResponse, inference_FuzzyProveRequest as FuzzyProveRequest, inference_FuzzyProveResponse as FuzzyProveResponse, inference_GetFactsResponse as GetFactsResponse, inference_GetRulesResponse as GetRulesResponse, inference_GoalDto as GoalDto, inference_GoalSummaryDto as GoalSummaryDto, inference_GuardOp as GuardOp, inference_HomoiconicSubstitutionDto as HomoiconicSubstitutionDto, inference_ListGoalsResponse as ListGoalsResponse, inference_LiteralInputDto as LiteralInputDto, inference_LogOddsAntecedentContributionDto as LogOddsAntecedentContributionDto, inference_LogOddsScoreDecompositionDto as LogOddsScoreDecompositionDto, inference_LogOddsWitnessDto as LogOddsWitnessDto, inference_MetaSortsResponse as MetaSortsResponse, inference_NafProveRequest as NafProveRequest, inference_NafProveResponse as NafProveResponse, inference_ProofDto as ProofDto, inference_ProofKind as ProofKind, inference_ProvenanceTagDto as ProvenanceTagDto, inference_RejectedBulkItem as RejectedBulkItem, inference_ReplaceRuleResponse as ReplaceRuleResponse, inference_ResidualDerivationDto as ResidualDerivationDto, inference_RuleAggregatorDto as RuleAggregatorDto, inference_RuleCertificationDelta as RuleCertificationDelta, inference_RuleDerivationsDisposition as RuleDerivationsDisposition, inference_RuleDraftClarificationQuestionDto as RuleDraftClarificationQuestionDto, inference_RuleDraftDto as RuleDraftDto, inference_RuleDraftFeatureValue as RuleDraftFeatureValue, inference_RuleEntryDto as RuleEntryDto, inference_RuleIssue as RuleIssue, inference_RuleNotWithdrawable as RuleNotWithdrawable, inference_RuleOrigin as RuleOrigin, inference_RuleTermDraftDto as RuleTermDraftDto, inference_RuleValidationResponse as RuleValidationResponse, inference_RuleWithdrawalReport as RuleWithdrawalReport, inference_SolutionDto as SolutionDto, inference_TaggedDerivedFact as TaggedDerivedFact, inference_TaggedForwardChainRequest as TaggedForwardChainRequest, inference_TaggedForwardChainResponse as TaggedForwardChainResponse };
 }
 
 /**
@@ -39994,6 +40489,18 @@ type ConstraintDto = {
 } | {
     type: 'Enum';
     value: ValueDto[];
+}
+/**
+ * An enum whose values form a scale, in the order listed
+ * (`small < medium < large`).
+ *
+ * @remarks
+ * Checked like `Enum`; exported as an ordered `sh:in` list; range
+ * comparisons use the position in the list.
+ */
+ | {
+    type: 'OrderedEnum';
+    value: ValueDto[];
 } | {
     type: 'DateRange';
     value: {
@@ -40248,6 +40755,25 @@ interface FeatureDescriptorDto {
      * through this field.
      */
     index?: IndexDirectiveDto | null;
+    /**
+     * A stable name for `constraint` (`pizza_size_is_known`).
+     *
+     * @remarks
+     * A write the constraint refuses reports it as
+     * `NamedConstraintViolationError.constraintName`; a SHACL export emits
+     * it as `sh:name`.
+     */
+    constraintName?: string | null;
+    /**
+     * What a writer whose value `constraint` refuses is told
+     * (`Pick small, medium or large`).
+     *
+     * @remarks
+     * A refused write reports it as
+     * `NamedConstraintViolationError.constraintMessage`; a SHACL export
+     * emits `sh:message`.
+     */
+    constraintMessage?: string | null;
 }
 /**
  * How a feature takes part in the retrieval indexes.
@@ -41071,12 +41597,17 @@ interface SortIndexStatusResponse {
     /** Data sorts currently in the tenant's schema — the indexing denominator. */
     totalSorts: number;
 }
-/** Retire a concept in favour of another — the `deprecate` arm of {@link PatchSortRequest}. */
+/**
+ * Deprecate (reject or retire) a sort — the body of {@link SortsClient.deprecateSort}.
+ */
 interface DeprecateSortRequest {
-    /** The sort that supersedes this one (UUID). */
-    replacement: string;
-    /** Why it was retired, shown next to the tombstone. */
-    reason?: string | null;
+    /**
+     * Why it was rejected or retired. Required and non-empty: it is shown next to
+     * the tombstone and recorded in the compliance ledger.
+     */
+    reason: string;
+    /** The sort that supersedes this one: its id, or its name in this tenant. */
+    replacement?: string | null;
 }
 /**
  * Curate one concept's vocabulary and lifecycle.
@@ -41122,10 +41653,6 @@ interface PatchSortRequest {
      * mode.
      */
     worldMode?: WorldModeDto | null;
-    /** Promote a `Proposed` concept to `Active` and clear its review flag. */
-    approveProposed?: boolean | null;
-    /** Retire this concept in favour of another. */
-    deprecate?: DeprecateSortRequest | null;
 }
 /**
  * What `DELETE /api/v1/sorts/{id}` does about the RULES that name the sort.
@@ -41658,9 +42185,92 @@ interface SetFuzzySubsumptionResponse {
     /** Human-readable message. */
     message: string;
 }
+/** Approve a candidate (`Proposed`) sort — the body of {@link SortsClient.approveSort}. */
+interface ApproveSortRequest {
+    /** Why the steward accepted it (recorded in the compliance ledger). */
+    reason?: string | null;
+}
+/**
+ * The `code` `POST /api/v1/sorts/{id}/approve` puts in its coded `403` body.
+ *
+ * @remarks
+ * `separation_of_duties`: the acting user (`X-Authenticated-User`, the
+ * client's `authenticatedUser`) is the sort's recorded proposer, and whoever
+ * proposed a sort may not approve it. The engine enforces this itself, names
+ * the sort in the message, and records the refusal in the oversight ledger
+ * as a `rejected` decision on the action `sort.approve.refused`. Another
+ * steward can approve the same sort.
+ *
+ * The body is `{ error, code, message }` — read `code` with `errorBodyCode`.
+ * A `403` without a `code` is the gateway withholding `Manage` on the sort,
+ * which no other user fixes by retrying.
+ *
+ * @example
+ * ```typescript
+ * const code: SortApprovalErrorCode = 'separation_of_duties';
+ * ```
+ */
+type SortApprovalErrorCode = 'separation_of_duties';
+/** Which sorts to analyse for shared, unchanged feature shapes. */
+interface FactorSortsRequest {
+    /** Restrict the analysis to these sort ids. Absent ⇒ every sort of the tenant. */
+    sortIds?: string[] | null;
+    /** Least number of sorts a mixin must cover (default and floor: 2). */
+    minSorts?: number | null;
+}
+/** A sort a proposed mixin would cover. */
+interface FactorMemberSort {
+    /** The sort's id. */
+    id: string;
+    /** The sort's name. */
+    name: string;
+}
+/** A feature declaration the member sorts share unchanged. */
+interface FactorSharedFeature {
+    /** Feature name. */
+    name: string;
+    /** Whether the feature is required. */
+    required: boolean;
+    /** Expected sort id, for a relation. */
+    expectedSort?: string | null;
+    /** Primitive type hint. */
+    expectedTypeHint?: string | null;
+    /** The shared constraint, when there is one. */
+    constraint?: ConstraintDto | null;
+}
+/** One candidate mixin parent. */
+interface FactorProposal {
+    /** The sorts that would inherit from it. */
+    memberSorts: FactorMemberSort[];
+    /** The declarations they share unchanged. */
+    sharedFeatures: FactorSharedFeature[];
+    /** Deterministic placeholder (`<f1>_<f2>_shape`) — name it before use. */
+    suggestedName: string;
+}
+/** The mixin parents proposed for shapes several sorts repeat. */
+interface FactorSortsResponse {
+    /** Proposals, most shared declarations first. */
+    proposals: FactorProposal[];
+}
+/**
+ * Add and remove parents of a sort — the body of {@link SortsClient.editSortParents}.
+ *
+ * @remarks
+ * Parents are named by id or by name in this tenant. The sort keeps every other
+ * parent in its current order; added ones go last.
+ */
+interface EditSortParentsRequest {
+    /** Parents to add. One already a parent is kept where it is. */
+    add?: string[];
+    /** Parents to remove. Each must be a current parent. */
+    remove?: string[];
+    /** Why the steward moved it (recorded in the ledger). */
+    reason?: string | null;
+}
 
 type sorts_ApproveLearnedSimilarityRequest = ApproveLearnedSimilarityRequest;
 type sorts_ApproveLearnedSimilarityResponse = ApproveLearnedSimilarityResponse;
+type sorts_ApproveSortRequest = ApproveSortRequest;
 type sorts_BoundConstraintDto = BoundConstraintDto;
 type sorts_BulkCreateSortsRequest = BulkCreateSortsRequest;
 type sorts_BulkCreateSortsResponse = BulkCreateSortsResponse;
@@ -41682,7 +42292,13 @@ type sorts_DeleteSortResponse = DeleteSortResponse;
 type sorts_DeleteSortRulesDisposition = DeleteSortRulesDisposition;
 type sorts_DeleteSortTermsDisposition = DeleteSortTermsDisposition;
 type sorts_DeprecateSortRequest = DeprecateSortRequest;
+type sorts_EditSortParentsRequest = EditSortParentsRequest;
 type sorts_EquivalenceClassDto = EquivalenceClassDto;
+type sorts_FactorMemberSort = FactorMemberSort;
+type sorts_FactorProposal = FactorProposal;
+type sorts_FactorSharedFeature = FactorSharedFeature;
+type sorts_FactorSortsRequest = FactorSortsRequest;
+type sorts_FactorSortsResponse = FactorSortsResponse;
 type sorts_FeatureDescriptorDto = FeatureDescriptorDto;
 type sorts_GetEquivalenceClassesResponse = GetEquivalenceClassesResponse;
 type sorts_GetFuzzySubsumptionRequest = GetFuzzySubsumptionRequest;
@@ -41723,6 +42339,7 @@ type sorts_SetFuzzySubsumptionResponse = SetFuzzySubsumptionResponse;
 type sorts_SetSortSimilarityRequest = SetSortSimilarityRequest;
 type sorts_SetSortSimilarityResponse = SetSortSimilarityResponse;
 type sorts_SimilarityEntryDto = SimilarityEntryDto;
+type sorts_SortApprovalErrorCode = SortApprovalErrorCode;
 type sorts_SortCompareOperator = SortCompareOperator;
 type sorts_SortCompareRequest = SortCompareRequest;
 type sorts_SortCompareResponse = SortCompareResponse;
@@ -41747,7 +42364,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_DeleteSortDescendantsDisposition as DeleteSortDescendantsDisposition, sorts_DeleteSortOptions as DeleteSortOptions, 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_IndexDirectiveDto as IndexDirectiveDto, sorts_InheritedFeatureChangeDto as InheritedFeatureChangeDto, 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_ReparentSortRequest as ReparentSortRequest, 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_SortDeletePreviewResponse as SortDeletePreviewResponse, sorts_SortDeletePreviewSortDto as SortDeletePreviewSortDto, sorts_SortDeleteRefusalDto as SortDeleteRefusalDto, 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_SortReparentReport as SortReparentReport, sorts_SortReparentResponse as SortReparentResponse, 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_ApproveSortRequest as ApproveSortRequest, 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_DeleteSortDescendantsDisposition as DeleteSortDescendantsDisposition, sorts_DeleteSortOptions as DeleteSortOptions, sorts_DeleteSortResponse as DeleteSortResponse, sorts_DeleteSortRulesDisposition as DeleteSortRulesDisposition, sorts_DeleteSortTermsDisposition as DeleteSortTermsDisposition, sorts_DeprecateSortRequest as DeprecateSortRequest, sorts_EditSortParentsRequest as EditSortParentsRequest, sorts_EquivalenceClassDto as EquivalenceClassDto, sorts_FactorMemberSort as FactorMemberSort, sorts_FactorProposal as FactorProposal, sorts_FactorSharedFeature as FactorSharedFeature, sorts_FactorSortsRequest as FactorSortsRequest, sorts_FactorSortsResponse as FactorSortsResponse, 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_IndexDirectiveDto as IndexDirectiveDto, sorts_InheritedFeatureChangeDto as InheritedFeatureChangeDto, 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_ReparentSortRequest as ReparentSortRequest, 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_SortApprovalErrorCode as SortApprovalErrorCode, sorts_SortCompareOperator as SortCompareOperator, sorts_SortCompareRequest as SortCompareRequest, sorts_SortCompareResponse as SortCompareResponse, sorts_SortDeletePreviewResponse as SortDeletePreviewResponse, sorts_SortDeletePreviewSortDto as SortDeletePreviewSortDto, sorts_SortDeleteRefusalDto as SortDeleteRefusalDto, 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_SortReparentReport as SortReparentReport, sorts_SortReparentResponse as SortReparentResponse, sorts_SortResponse as SortResponse, sorts_SortSimilarityResponse as SortSimilarityResponse, sorts_SortStatusDto as SortStatusDto, sorts_SortsSchemaQuery as SortsSchemaQuery, sorts_UpdateReviewStatusRequest as UpdateReviewStatusRequest, sorts_WorldModeDto as WorldModeDto };
 }
 
 /**
@@ -41781,8 +42398,8 @@ declare class SortsClient {
      */
     getSort(sortId: string, requestOptions?: RequestOptions): Promise<SortDto>;
     /**
-     * Curate a sort's vocabulary and lifecycle: rename, describe, label,
-     * relate, annotate, approve or deprecate it.
+     * Curate a sort's vocabulary: rename, describe, label, relate, annotate it,
+     * or change its world mode.
      *
      * @param sortId - Sort UUID.
      * @param request - The fields to change. Only present fields mutate.
@@ -41812,6 +42429,89 @@ declare class SortsClient {
      * ```
      */
     patchSort(sortId: string, request: PatchSortRequest, requestOptions?: RequestOptions): Promise<SortDto>;
+    /**
+     * Approve a candidate sort: promote it from `Proposed` to `Active`.
+     *
+     * @param sortId - Sort UUID.
+     * @param request - Optionally, why the steward accepted it.
+     * @returns The approved sort, and how much suspended work its declaration
+     *   released (`wokenResiduations`).
+     * @throws {ForbiddenError} 403 when the caller holds no Manage grant on the
+     *   sort, or — with `code: "separation_of_duties"` in the body (see
+     *   `SortApprovalErrorCode`; read it with `errorBodyCode`) — when the
+     *   acting user (`authenticatedUser`) is the sort's recorded proposer.
+     *   Another steward can approve it.
+     * @throws {NotFoundError} 404 when the sort does not exist.
+     * @throws {ApiError} 409 when the sort is not awaiting approval.
+     *
+     * @remarks
+     * Appends an approval decision to the compliance ledger, with the
+     * authenticated user as reviewer. This replaced `approveProposed` on
+     * {@link SortsClient.patchSort}, which the engine now refuses.
+     *
+     * Separation of duties is enforced by the engine: the proposer's own
+     * approval is refused with the coded 403 and recorded in the oversight
+     * ledger as a `rejected` decision on `sort.approve.refused`.
+     *
+     * @example
+     * ```typescript
+     * try {
+     *   const { sort, wokenResiduations } = await client.sorts.approveSort(sortId, {
+     *     reason: 'Matches the order lifecycle use case',
+     *   });
+     * } catch (error) {
+     *   if (errorBodyCode(error) === 'separation_of_duties') {
+     *     // The acting user proposed this sort: ask another steward to approve it.
+     *   }
+     * }
+     * ```
+     */
+    approveSort(sortId: string, request?: ApproveSortRequest, requestOptions?: RequestOptions): Promise<SortResponse>;
+    /**
+     * Deprecate a sort: reject a candidate, or retire an active concept,
+     * optionally in favour of a replacement.
+     *
+     * @param sortId - Sort UUID.
+     * @param request - Why (required), and the replacement's id or name.
+     * @returns The deprecated sort.
+     * @throws {BadRequestError} 400 when `reason` is empty or the replacement does not exist.
+     * @throws {ForbiddenError} 403 when the caller holds no Manage grant on the sort.
+     * @throws {NotFoundError} 404 when the sort does not exist.
+     *
+     * @remarks
+     * Appends a rejection decision to the compliance ledger. `replacement`
+     * accepts a sort id or a sort name in this tenant. This replaced the
+     * `deprecate` arm of {@link SortsClient.patchSort}, which the engine now
+     * refuses.
+     *
+     * @example
+     * ```typescript
+     * await client.sorts.deprecateSort(sortId, {
+     *   reason: 'Duplicate of customer',
+     *   replacement: 'customer',
+     * });
+     * ```
+     */
+    deprecateSort(sortId: string, request: DeprecateSortRequest, requestOptions?: RequestOptions): Promise<SortResponse>;
+    /**
+     * Propose mixin parents for feature shapes several sorts repeat unchanged.
+     *
+     * @param request - Which sorts to analyse (default: all), and the least
+     *   number of sorts a proposal must cover (default and floor: 2).
+     * @returns Candidate parents, most shared declarations first.
+     * @throws {ApiError} If the request fails.
+     *
+     * @remarks
+     * Deterministic and read-only: it groups sorts over identical feature +
+     * constraint declarations. `suggestedName` is a placeholder to rename
+     * before creating the parent.
+     *
+     * @example
+     * ```typescript
+     * const { proposals } = await client.sorts.factorSorts({ minSorts: 3 });
+     * ```
+     */
+    factorSorts(request?: FactorSortsRequest, requestOptions?: RequestOptions): Promise<FactorSortsResponse>;
     /**
      * Delete a sort by ID.
      *
@@ -41909,6 +42609,40 @@ declare class SortsClient {
      * ```
      */
     previewSortDelete(sortId: string, options?: DeleteSortOptions, requestOptions?: RequestOptions): Promise<SortDeletePreviewResponse>;
+    /**
+     * Add and remove parents of a sort — a steward's governed move in the lattice.
+     *
+     * @param sortId - Sort UUID.
+     * @param request - Parents to add and to remove (by id or by name), and why.
+     * @returns The move's report — what moved, what each sort's inheritance
+     *   gained and lost, the terms and rules concerned — with the sort as it now
+     *   stands.
+     * @throws {ForbiddenError} 403 without `Manage` on the sort and on every
+     *   parent added or removed.
+     * @throws {NotFoundError} 404 when the sort does not exist.
+     * @throws {ApiError} 422, with nothing changed, for an unknown parent, a
+     *   parent to remove that is not one, an empty edit, the sort itself, a
+     *   parent below the sort (a cycle), or any state the move would make
+     *   contradictory (⊥).
+     *
+     * @remarks
+     * The sort keeps every other parent in its current order; added ones go last.
+     * The move is the one {@link SortsClient.reparentSort} runs: the sort keeps
+     * its id and record, its subtree moves with it, inherited declarations and
+     * the subsumption caches are repaired. A change appends an oversight
+     * decision to the audit ledger naming the reviewer.
+     *
+     * @example
+     * ```typescript
+     * const moved = await client.sorts.editSortParents(sortId, {
+     *   add: ['vehicle'],
+     *   remove: ['thing'],
+     *   reason: 'A truck is a vehicle',
+     * });
+     * console.log(moved.inheritanceChanges);
+     * ```
+     */
+    editSortParents(sortId: string, request: EditSortParentsRequest, requestOptions?: RequestOptions): Promise<SortReparentResponse>;
     /**
      * Move a sort in the lattice: replace its parent set.
      *
@@ -43212,6 +43946,15 @@ interface NlQueryRequest {
     tenantId: string;
     /** Optional conversation history for context (llm mode only). */
     conversationHistory?: ConversationTurnDto[] | null;
+    /**
+     * Sort names the question is about (llm mode). Each named sort is always
+     * in the schema shown to the translator, with every feature it declares,
+     * ahead of the record-count ranking that fills the rest of the prompt
+     * budget — so a freshly built sort with no records yet is not cut from the
+     * context of a question about it. A name that matches no sort of the
+     * tenant is ignored.
+     */
+    focusSorts?: string[] | null;
     /**
      * Session to continue: the cognitive-mode agent session, or the TRIZ session
      * named by an earlier response's `agentId`.
@@ -44165,6 +44908,16 @@ declare class Inference<SecurityDataType = unknown> {
      * @secure
      */
     trainOrchestrator: (data: OrchestratorTrainRequest, params?: RequestParams) => Promise<HttpResponse<OrchestratorTrainResponse, void>>;
+    /**
+     * @description Takes the body `POST /api/v1/inference/rules` takes and runs every check that write runs — sorts and referenced terms resolve, guard bounds compare with their declared types, nested negation, binders, range restriction (every conclusion variable bound by a POSITIVE antecedent), aggregator, and the homoiconic encoding itself — by building the rule into a scratch copy of the tenant's store. Nothing is written, persisted, or propagated. Stratification included: a rule that closes a NEW cycle through negation against the existing program is refused by both (a cycle the program already had is not blamed on it). `ok` is exactly whether the write would accept the rule; `refusals` names why not, with the status the write would answer. `warnings` adds what the write accepts but the program may not mean: variables only a `NOT` mentions (NAF safety).
+     *
+     * @tags inference
+     * @name ValidateRule
+     * @summary Validate a rule without writing it
+     * @request POST:/api/v1/inference/rules/validate
+     * @secure
+     */
+    validateRule: (data: AddRuleRequest$1, params?: RequestParams) => Promise<HttpResponse<RuleValidationResponse$1, any>>;
 }
 
 /**
@@ -44192,11 +44945,23 @@ declare class InferenceClient {
      * @param request - Rule definition using TermInputDto. Set `aggregator` to declare an
      *   engine-side head aggregator (see {@link RuleAggregatorDto}).
      * @returns The created rule wrapped in an AddRuleResponse.
-     * @throws {ApiError} If the rule is rejected or the request fails.
+     * @throws {ApiError} If the rule is rejected or the request fails — 422 when
+     *   it is unusable as written: a head or body antecedent naming a sort or
+     *   term that does not exist (the message names it and its position — `the
+     *   head (conclusion)` or `body antecedent N`), a guard bound the declared
+     *   type cannot compare, a binder on the conclusion, or a rule that closes a
+     *   NEW cycle through negation (no stratification would order the program; a
+     *   cycle the program already had is not blamed on it). The refusal is a
+     *   plain {@link ApiError} with `status` 422 — not a `BadRequestError`
+     *   (earlier engines answered an unknown head sort with 400), and not a
+     *   `NamedConstraintViolationError`, which is reserved for a feature
+     *   constraint's refusal.
      *
      * @remarks
      * **Serialization format**: untagged `TermInputDto` / `FeatureInputValueDto`.
      *
+     * Ask {@link InferenceClient.validateRule} first to learn every reason the
+     * write would refuse, without writing.
      * A `{ termId }` reference to a term that is durable but not yet loaded
      * into the engine process resolves: the route loads the terms the request
      * names before it converts them.
@@ -44216,6 +44981,38 @@ declare class InferenceClient {
         certainty?: number;
         aggregator?: RuleAggregatorDto | null;
     }, requestOptions?: RequestOptions): Promise<AddRuleResponse>;
+    /**
+     * Run every check {@link InferenceClient.addRule} runs — without writing.
+     *
+     * @param request - The same rule `addRule` takes.
+     * @returns Whether the write would accept it (`ok`), every refusal with the
+     *   status the write would answer, the NAF-safety warnings, and the rule as
+     *   the write would build it.
+     * @throws {ApiError} If the request itself fails.
+     *
+     * @remarks
+     * The rule is built into a scratch copy of the tenant's store: sorts and
+     * referenced terms resolve, guard bounds compare with their declared types,
+     * nested negation, binders, range restriction, the aggregator, the
+     * homoiconic encoding, and stratification (a NEW cycle through negation is
+     * an `unstratifiable` refusal). Nothing is written, persisted or propagated.
+     * **Serialization format**: untagged `TermInputDto` / `FeatureInputValueDto`.
+     *
+     * @example
+     * ```typescript
+     * const check = await client.inference.validateRule({
+     *   term: psi('adult', { name: Var('N') }),
+     *   antecedents: [psi('person', { name: Var('N') })],
+     * });
+     * if (!check.ok) for (const r of check.refusals) console.warn(r.kind, r.message);
+     * ```
+     */
+    validateRule(request: {
+        term: TermInputArg;
+        antecedents?: TermInputArg[];
+        certainty?: number;
+        aggregator?: RuleAggregatorDto | null;
+    }, requestOptions?: RequestOptions): Promise<RuleValidationResponse>;
     /**
      * Add a fact.
      *
@@ -44245,7 +45042,9 @@ declare class InferenceClient {
      * its index in `request.rules`, with the engine's reason (for example
      * `rule head term did not resolve: it names sort \`x\`, which this
      * tenant's sort hierarchy does not define`). `rulesAdded` plus
-     * `rejected.length` equals the number submitted.
+     * `rejected.length` equals the number submitted. A rule that closes a NEW
+     * cycle through negation is refused the same way (the reason names the
+     * cycle's sorts), decided for every row before any row is written.
      *
      * @example
      * ```typescript
@@ -44679,7 +45478,10 @@ declare class InferenceClient {
      * `{"type": "String", "value": "..."}` envelope. The engine refuses a model answer that
      * carries one, re-prompts, and answers 422 when the model keeps producing it. Each
      * {@link RuleTermDraftDto} maps directly onto a `TermInputDto` inline-by-sort-name
-     * term, so an approved draft can be handed straight to {@link addRule}.
+     * term, so an approved draft can be handed straight to {@link addRule} — except an
+     * antecedent with `negated: true`, which must be wrapped in the `negation` carrier
+     * (`not(psi(sortName, features))`); sent bare, it would assert the positive
+     * condition.
      *
      * Drafting is multi-turn: if `status` is `'needs_clarification'`, answer each question
      * and call again with the echoed `sessionId` and an `answers` map keyed by the question's
@@ -45058,6 +45860,10 @@ declare class QueryClient {
      * @remarks
      * Plain JSON, no tagged/untagged value serialization.
      *
+     * In llm mode, `focusSorts` names the sorts the question is about: each is
+     * always in the schema the translator sees, even a sort built a moment ago
+     * with no records, which the record-count ranking would otherwise cut.
+     *
      * TRIZ mode (`mode: "triz"`) is multi-turn:
      * 1. A request with no `sessionId` opens a session, structures the problem
      *    (reading any `images` first) and solves it. The response names the
@@ -45483,11 +46289,11 @@ declare class CognitiveAgentsMessaging<SecurityDataType = unknown> {
      * No description
      *
      * @tags Cognitive Agents - Messaging
-     * @name GetInbox
+     * @name GetAgentInbox
      * @summary Get an agent's inbox.
      * @request POST:/api/v1/cognitive/agents/messages/inbox
      */
-    getInbox: (data: GetInboxRequest$1, params?: RequestParams) => Promise<HttpResponse<GetInboxResponse$1, void>>;
+    getAgentInbox: (data: GetInboxRequest$1, params?: RequestParams) => Promise<HttpResponse<GetInboxResponse$1, void>>;
     /**
      * No description
      *
@@ -48089,6 +48895,14 @@ declare class CognitiveClient {
      * Uses POST `/api/v1/cognitive/agents/messages/inbox`. The inbox is per-agent;
      * aggregate across a roster by calling this for each agent.
      */
+    getAgentInbox(request: Omit<GetInboxRequest, 'tenantId'>, requestOptions?: RequestOptions): Promise<GetInboxResponse>;
+    /**
+     * Get an agent's inbox.
+     *
+     * @deprecated Renamed to {@link CognitiveClient.getAgentInbox} when the engine
+     * renamed the operation (`get_inbox` → `get_agent_inbox`); kept so existing
+     * callers keep compiling. Same request, same response.
+     */
     getInbox(request: Omit<GetInboxRequest, 'tenantId'>, requestOptions?: RequestOptions): Promise<GetInboxResponse>;
     /**
      * Provide feedback on an agent result.
@@ -58157,6 +58971,45 @@ declare class OsfqlError extends ApiError {
     readonly sortDeleteRefusal: SortDeleteRefusalDto | undefined;
     constructor(status: number, body: unknown, headers: Headers, failure: OsfqlFailure);
 }
+/**
+ * A write refused by a NAMED feature constraint (HTTP 422).
+ *
+ * @remarks
+ * A feature declaration may name its constraint and give it a message
+ * (`constraintName` / `constraintMessage` on a feature descriptor). When such
+ * a constraint refuses a write, the engine answers `422` with both beside its
+ * own wording — so a form can show *"Pick small, medium or large"* instead of
+ * *"value is outside its declared @values domain"*.
+ *
+ * `message` stays the engine's wording; the author's words are
+ * {@link NamedConstraintViolationError.constraintMessage}. A refusal by an
+ * UNNAMED constraint carries neither field and stays a plain {@link ApiError}.
+ *
+ * @example
+ * ```typescript
+ * try {
+ *   await client.terms.createTerm({ sortId, features: { size: Value.string('huge') } });
+ * } catch (e) {
+ *   if (e instanceof NamedConstraintViolationError) {
+ *     showFieldError(e.feature, e.constraintMessage ?? e.message);
+ *   }
+ * }
+ * ```
+ */
+declare class NamedConstraintViolationError extends ApiError {
+    name: string;
+    /** The feature whose constraint refused the write, when the engine names it. */
+    readonly feature: string | undefined;
+    /** The constraint's name, when its author gave one. */
+    readonly constraintName: string | undefined;
+    /** The constraint's message, when its author gave one. */
+    readonly constraintMessage: string | undefined;
+    constructor(message: string, body: unknown, headers: Headers, refusal: {
+        feature?: string;
+        constraintName?: string;
+        constraintMessage?: string;
+    }, errorCode?: string);
+}
 /**
  * Rate limit error (HTTP 429).
  *
@@ -65724,7 +66577,7 @@ declare class Scenarios<SecurityDataType = unknown> {
      */
     listScenarios: (params?: RequestParams) => Promise<HttpResponse<ListScenariosResponse$1, any>>;
     /**
-     * @description Materializes an already-generated GeneratedScenario verbatim (no LLM call): sorts, belief instances, rules, goal, and the ontology-declared engine pipeline. Used by the studio's build wizard to persist exactly what was reviewed so it is immediately queryable in chat.
+     * @description Materializes an already-generated GeneratedScenario verbatim (no LLM call): sorts, belief instances, rules, goal, and the ontology-declared engine pipeline. Used by the studio's build wizard to persist exactly what was reviewed so it is immediately queryable in chat. An existing sort is reused and moved under any parent the scenario newly names for it, through the governed move of POST /sorts/{id}/parents; a refused move is reported in `warnings` and leaves the sort where it was.
      *
      * @tags scenarios
      * @name MaterializeScenario
@@ -65944,6 +66797,51 @@ interface MaterializeScenarioRequest {
     /** The domain `GeneratedScenario` JSON to materialize verbatim. */
     scenario: GeneratedScenario;
 }
+/**
+ * Where a scenario sort (or fluent) came from — its `provenance` key, recorded
+ * as the materialized sort's origin.
+ *
+ * @remarks
+ * Sent byte for byte inside {@link GeneratedScenario}, so the keys are the
+ * engine's own snake_case (`original_id`), discriminated by `kind`:
+ *
+ * - `{kind: "model", model?}` — proposed by a language model (ontology
+ *   generation, a builder stage); recorded as `LlmExtracted`. The engine
+ *   stamps this on every sort and fluent of a scenario it generated,
+ *   overwriting whatever the model wrote.
+ * - `{kind: "imported", ontology, original_id}` — brought in by an ontology
+ *   import (`ontology` is the source IRI or file name, `original_id` the
+ *   element's id there); recorded as `Imported`.
+ *
+ * Without `provenance` the sort is `Manual`, credited to the caller. `System`
+ * cannot be claimed. A fluent's provenance is recorded on both the fluent
+ * sort and the event sort it creates.
+ *
+ * @example
+ * ```typescript
+ * const provenance: ScenarioSortProvenance = {
+ *   kind: 'imported',
+ *   ontology: 'https://example.org/pizza.owl',
+ *   original_id: 'Margherita',
+ * };
+ * const scenario: GeneratedScenario = {
+ *   sorts: [{ name: 'margherita', parents: ['pizza'], provenance }],
+ * };
+ * ```
+ */
+type ScenarioSortProvenance = {
+    /** Discriminator: a language model proposed the sort. */
+    kind: 'model';
+    /** The model that proposed it, when known. */
+    model?: string;
+} | {
+    /** Discriminator: an ontology import brought the sort in. */
+    kind: 'imported';
+    /** The source ontology (IRI or file name). */
+    ontology: string;
+    /** The element's id in that ontology. */
+    original_id: string;
+};
 /**
  * A `GeneratedScenario`: the `scenario` payload of `ontology.generate()`, or a
  * schema-only scenario built from an imported vocabulary.
@@ -65955,10 +66853,11 @@ interface MaterializeScenarioRequest {
  * - camelCase: `webhookActions`, `temporalConstraints`, `guardConstraints`,
  *   `pipelineStages`, `sensorPoints` (the engine also accepts their
  *   snake_case forms);
- * - snake_case only: `curriculum_stages`, `discovered_tools`. A camelCase
+ * - snake_case only: `curriculum_stages`, `discovered_tools`, `use_cases`,
+ *   `competency_questions`, `computed_features`. A camelCase
  *   `curriculumStages` or `discoveredTools` is IGNORED, without an error;
  * - one word: `sorts`, `beliefs`, `rules`, `goal`, `groundings`,
- *   `constraints`.
+ *   `constraints`, `fluents`, `axioms`, `scope`.
  *
  * `sorts`, `beliefs` and `rules` are required, each possibly empty. `goal` is
  * optional: a scenario without one materializes no agent goal
@@ -65973,7 +66872,8 @@ interface MaterializeScenarioRequest {
  * interval_b}`. A webhook action's `webhookUrl`, `requiredInputs`,
  * `channelDetail` and `callbackOutputs`, a pipeline stage's `sensorPoint` and
  * a sensor point's `maxTokens` and `allowedIntents` are camelCase (their
- * snake_case forms are accepted too). The `features` of a belief, rule term, goal or
+ * snake_case forms are accepted too). A sort's `provenance` and a fluent's
+ * are {@link ScenarioSortProvenance}. The `features` of a belief, rule term, goal or
  * constraint, and a webhook action's `inputs` and `callbackOutputs`, are
  * user data: their keys and nested values are stored as written.
  *
@@ -65981,12 +66881,20 @@ interface MaterializeScenarioRequest {
  * passing it through unchanged is always correct.
  */
 interface GeneratedScenario {
-    /** Sorts to create or reuse. */
+    /**
+     * Sorts to create or reuse. A sort may carry `provenance`
+     * ({@link ScenarioSortProvenance}); without it the sort is credited to the
+     * caller.
+     */
     sorts: Record<string, unknown>[];
-    /** Belief instances (typed facts) to assert. */
-    beliefs: Record<string, unknown>[];
-    /** Inference rules to register. */
-    rules: Record<string, unknown>[];
+    /**
+     * Belief instances (typed facts) to assert. Omit it for a schema-only
+     * scenario: the engine builds sorts alone (a scenario needs at least one
+     * sort, belief or rule, and a goal's own sort does not count).
+     */
+    beliefs?: Record<string, unknown>[];
+    /** Inference rules to register. Omit it for a scenario with none. */
+    rules?: Record<string, unknown>[];
     /** The agent's goal: `{sort, features?, priority?}`. Omit it for a scenario with no agent. */
     goal?: Record<string, unknown>;
     /** Generic constraints. */
@@ -66007,6 +66915,22 @@ interface GeneratedScenario {
     temporalConstraints?: Record<string, unknown>[];
     /** Webhook actions. */
     webhookActions?: Record<string, unknown>[];
+    /** OWL-style axioms over sorts and features (staged builder). */
+    axioms?: Record<string, unknown>[];
+    /** The model's declared scope (staged builder). */
+    scope?: Record<string, unknown>;
+    /** Use cases the model serves (staged builder). */
+    use_cases?: Record<string, unknown>[];
+    /** Competency questions, recorded as `proposed` (staged builder). */
+    competency_questions?: Record<string, unknown>[];
+    /**
+     * Fluents: values of an entity that change over its life, each materialized
+     * as a fluent sort and its event sort. A fluent may carry `provenance`
+     * ({@link ScenarioSortProvenance}).
+     */
+    fluents?: Record<string, unknown>[];
+    /** Computed features, declared as feature equations (staged builder). */
+    computed_features?: Record<string, unknown>[];
 }
 /**
  * Response from materializing a pre-generated scenario.
@@ -66033,6 +66957,17 @@ interface MaterializeScenarioResponse {
     sortsCreated: number;
     /** Non-fatal materialization warnings. */
     warnings: string[];
+    /** Use cases and competency questions recorded as `proposed` competency questions. */
+    competencyQuestionsCreated?: number;
+    /** Computed features declared as feature equations. */
+    computedFeaturesCreated?: number;
+    /** Fluent sorts created (each with its event sort). */
+    fluentsCreated?: number;
+    /**
+     * Sorts created as `Proposed` — the candidates awaiting a steward's
+     * `SortsClient.approveSort`.
+     */
+    proposedSortIds?: string[];
 }
 /**
  * Request to incrementally update a scenario.
@@ -66176,6 +67111,7 @@ type scenarios_ListScenariosResponse = ListScenariosResponse;
 type scenarios_MaterializationSummaryDto = MaterializationSummaryDto;
 type scenarios_MaterializeScenarioRequest = MaterializeScenarioRequest;
 type scenarios_MaterializeScenarioResponse = MaterializeScenarioResponse;
+type scenarios_ScenarioSortProvenance = ScenarioSortProvenance;
 type scenarios_ScenarioSummaryDto = ScenarioSummaryDto;
 type scenarios_UpdateScenarioRequest = UpdateScenarioRequest;
 type scenarios_UpdateScenarioResponse = UpdateScenarioResponse;
@@ -66183,7 +67119,7 @@ type scenarios_VerificationStepDto = VerificationStepDto;
 type scenarios_VerifyScenarioRequest = VerifyScenarioRequest;
 type scenarios_VerifyScenarioResponse = VerifyScenarioResponse;
 declare namespace scenarios {
-  export type { scenarios_ClarificationQuestionDto as ClarificationQuestionDto, scenarios_CreateScenarioRequest as CreateScenarioRequest, scenarios_CreateScenarioResponse as CreateScenarioResponse, scenarios_CycleOutcomeSummaryDto as CycleOutcomeSummaryDto, scenarios_FormalVerdictDto as FormalVerdictDto, scenarios_GeneratedScenario as GeneratedScenario, scenarios_GetScenarioResponse as GetScenarioResponse, scenarios_LayerResultSummaryDto as LayerResultSummaryDto, scenarios_ListScenariosResponse as ListScenariosResponse, scenarios_MaterializationSummaryDto as MaterializationSummaryDto, scenarios_MaterializeScenarioRequest as MaterializeScenarioRequest, scenarios_MaterializeScenarioResponse as MaterializeScenarioResponse, scenarios_ScenarioSummaryDto as ScenarioSummaryDto, scenarios_UpdateScenarioRequest as UpdateScenarioRequest, scenarios_UpdateScenarioResponse as UpdateScenarioResponse, scenarios_VerificationStepDto as VerificationStepDto, scenarios_VerifyScenarioRequest as VerifyScenarioRequest, scenarios_VerifyScenarioResponse as VerifyScenarioResponse };
+  export type { scenarios_ClarificationQuestionDto as ClarificationQuestionDto, scenarios_CreateScenarioRequest as CreateScenarioRequest, scenarios_CreateScenarioResponse as CreateScenarioResponse, scenarios_CycleOutcomeSummaryDto as CycleOutcomeSummaryDto, scenarios_FormalVerdictDto as FormalVerdictDto, scenarios_GeneratedScenario as GeneratedScenario, scenarios_GetScenarioResponse as GetScenarioResponse, scenarios_LayerResultSummaryDto as LayerResultSummaryDto, scenarios_ListScenariosResponse as ListScenariosResponse, scenarios_MaterializationSummaryDto as MaterializationSummaryDto, scenarios_MaterializeScenarioRequest as MaterializeScenarioRequest, scenarios_MaterializeScenarioResponse as MaterializeScenarioResponse, scenarios_ScenarioSortProvenance as ScenarioSortProvenance, scenarios_ScenarioSummaryDto as ScenarioSummaryDto, scenarios_UpdateScenarioRequest as UpdateScenarioRequest, scenarios_UpdateScenarioResponse as UpdateScenarioResponse, scenarios_VerificationStepDto as VerificationStepDto, scenarios_VerifyScenarioRequest as VerifyScenarioRequest, scenarios_VerifyScenarioResponse as VerifyScenarioResponse };
 }
 
 /**
@@ -66231,6 +67167,19 @@ declare class ScenariosClient {
      * written. No value-level serialization split applies. Response fields are
      * normalized from snake_case to camelCase.
      *
+     * Staged builder: sorts marked `proposed: true` land as `Proposed` candidates
+     * (their ids in `proposedSortIds`, awaiting a steward's approval), and the
+     * scenario's use cases and competency questions are recorded as `proposed`
+     * competency questions.
+     *
+     * A sort (or fluent) may carry `provenance` — see {@link ScenarioSortProvenance} —
+     * recorded as its origin; without it the sort is credited to the caller.
+     *
+     * An existing sort is reused, and moved under any parent the scenario newly names
+     * for it through the same governed move as `SortsClient.editSortParents`. A move the
+     * engine refuses leaves the sort where it was and is reported in `warnings`, not
+     * as an error — read `warnings` after every call.
+     *
      * @example
      * ```typescript
      * const result = await client.scenarios.materializeScenario({ scenario: generated });
@@ -69045,6 +69994,15 @@ interface StartExplorationRequest {
     minIntentSize?: number;
     /** Maximum number of terms. */
     maxTerms?: number;
+    /**
+     * Explore only terms of these sorts and their subsorts (by name, in the
+     * tenant's lattice).
+     *
+     * @remarks
+     * The filter applies BEFORE `maxTerms`, so the bound counts matching terms
+     * only. Absent or empty ⇒ the whole tenant. An unknown name is a `400`.
+     */
+    sortNames?: string[];
 }
 /** A question posed during attribute exploration. */
 interface ExplorationQuestion {
@@ -70905,7 +71863,7 @@ declare class Synthetic<SecurityDataType = unknown> {
      */
     exportJsonl: (data: GenerateSyntheticDataRequest$1, params?: RequestParams) => Promise<HttpResponse<ExportJsonlResponse$1, void>>;
     /**
-     * @description Uses principled strategies to create training examples that are negative (invalid) for specific, documented reasons: sort incompatibility, feature perturbation, cross-sort confusion, missing required features, and feature type mismatch. # Authorization Requires X-Tenant-Id header for tenant-scoped operations.
+     * @description Uses principled strategies to create training examples that are negative (invalid) for specific, documented reasons: a violation of each declared feature constraint (named in `violated_constraint`), sort incompatibility, feature perturbation, cross-sort confusion, missing required features, and feature type mismatch. Proposed sorts are included — negatives exist to test a model before it is approved; deprecated sorts are not. # Authorization Requires X-Tenant-Id header for tenant-scoped operations.
      *
      * @tags synthetic
      * @name GenerateNegatives
@@ -71072,6 +72030,32 @@ interface CheckDiversityResponse {
     /** Number of existing terms compared against. */
     termsCompared: number;
 }
+/**
+ * The kind of a declared feature constraint a negative example violates.
+ *
+ * @remarks
+ * The open `string` arm keeps a kind that a later engine adds visible.
+ */
+type ViolatedConstraintKind = 'enum' | 'ordered_enum' | 'range' | 'pattern' | 'cardinality' | (string & {});
+/**
+ * The declared feature constraint a negative example violates.
+ *
+ * @remarks
+ * Carried by a negative of strategy `ConstraintViolation`. `constraintName`
+ * and `constraintMessage` are the same words a refused write carries on a
+ * `NamedConstraintViolationError`, so a form can
+ * be tested against the message its users will actually see.
+ */
+interface ViolatedConstraintDto {
+    /** The feature whose constraint is violated. */
+    feature: string;
+    /** The constraint's kind: `enum`, `ordered_enum`, `range`, `pattern` or `cardinality`. */
+    kind: ViolatedConstraintKind;
+    /** The constraint's name, when its author gave one. */
+    constraintName?: string;
+    /** What a refused writer is told, when the constraint's author gave a message. */
+    constraintMessage?: string;
+}
 /**
  * A generated negative training example with provenance.
  */
@@ -71086,11 +72070,35 @@ interface NegativeExampleDto {
     strategy: string;
     /** The term ID of the negative example. */
     termId: string;
+    /**
+     * The negative's sort, by name — present once the engine reports the
+     * record itself, so a caller can dry-run it against the write checks.
+     */
+    sort?: string;
+    /** The negative's features, verbatim as the engine sent them (keys are the user's feature names). */
+    features?: Record<string, unknown>;
+    /**
+     * The world mode of the sort this negative targets: `open` (an undeclared
+     * feature is admitted, so no negative rests on one) or `closed`.
+     */
+    worldMode?: string;
+    /**
+     * The declared constraint this negative violates — present on a negative
+     * of strategy `ConstraintViolation`, absent otherwise.
+     */
+    violatedConstraint?: ViolatedConstraintDto;
 }
 /**
  * Request to generate enhanced negative examples for target sorts.
  */
 interface GenerateNegativesRequest {
+    /**
+     * Whether to violate each declared feature constraint — enum, range,
+     * pattern, maximum cardinality — one negative per constraint, each naming
+     * the constraint in {@link NegativeExampleDto.violatedConstraint}
+     * (default: true).
+     */
+    enableConstraintViolation?: boolean;
     /** Whether to use cross-sort confusion strategy (default: true). */
     enableCrossSortConfusion?: boolean;
     /** Whether to use feature perturbation strategy (default: true). */
@@ -71499,8 +72507,10 @@ type synthetic_VerifyFaithfulnessRequest = VerifyFaithfulnessRequest;
 type synthetic_VerifyFaithfulnessResponse = VerifyFaithfulnessResponse;
 type synthetic_VerifyRoundTripRequest = VerifyRoundTripRequest;
 type synthetic_VerifyRoundTripResponse = VerifyRoundTripResponse;
+type synthetic_ViolatedConstraintDto = ViolatedConstraintDto;
+type synthetic_ViolatedConstraintKind = ViolatedConstraintKind;
 declare namespace synthetic {
-  export type { synthetic_AugmentationTargetDto as AugmentationTargetDto, synthetic_CalibrateRequest as CalibrateRequest, synthetic_CalibrationReportDto as CalibrationReportDto, synthetic_CheckDiversityRequest as CheckDiversityRequest, synthetic_CheckDiversityResponse as CheckDiversityResponse, synthetic_DataMixingStatsDto as DataMixingStatsDto, synthetic_DatasetStatisticsDto as DatasetStatisticsDto, synthetic_DiversityAnalysisDto as DiversityAnalysisDto, synthetic_EntityDto as EntityDto, synthetic_EntityVerificationDetailDto as EntityVerificationDetailDto, synthetic_ExportJsonlResponse as ExportJsonlResponse, synthetic_ExtractionPredictionDto as ExtractionPredictionDto, synthetic_FeatureMismatchDto as FeatureMismatchDto, synthetic_GenerateNegativesRequest as GenerateNegativesRequest, synthetic_GenerateNegativesResponse as GenerateNegativesResponse, synthetic_GenerateSyntheticDataRequest as GenerateSyntheticDataRequest, synthetic_GenerateSyntheticDataResponse as GenerateSyntheticDataResponse, synthetic_GenerationPromptRequest as GenerationPromptRequest, synthetic_GenerationPromptResponse as GenerationPromptResponse, synthetic_GenerationReportDto as GenerationReportDto, synthetic_NegativeExampleDto as NegativeExampleDto, synthetic_SortCalibrationDto as SortCalibrationDto, synthetic_TrainingExampleDto as TrainingExampleDto, synthetic_VerbalizationResultDto as VerbalizationResultDto, synthetic_VerbalizeTermRequest as VerbalizeTermRequest, synthetic_VerbalizeTermResponse as VerbalizeTermResponse, synthetic_VerifyFaithfulnessRequest as VerifyFaithfulnessRequest, synthetic_VerifyFaithfulnessResponse as VerifyFaithfulnessResponse, synthetic_VerifyRoundTripRequest as VerifyRoundTripRequest, synthetic_VerifyRoundTripResponse as VerifyRoundTripResponse };
+  export type { synthetic_AugmentationTargetDto as AugmentationTargetDto, synthetic_CalibrateRequest as CalibrateRequest, synthetic_CalibrationReportDto as CalibrationReportDto, synthetic_CheckDiversityRequest as CheckDiversityRequest, synthetic_CheckDiversityResponse as CheckDiversityResponse, synthetic_DataMixingStatsDto as DataMixingStatsDto, synthetic_DatasetStatisticsDto as DatasetStatisticsDto, synthetic_DiversityAnalysisDto as DiversityAnalysisDto, synthetic_EntityDto as EntityDto, synthetic_EntityVerificationDetailDto as EntityVerificationDetailDto, synthetic_ExportJsonlResponse as ExportJsonlResponse, synthetic_ExtractionPredictionDto as ExtractionPredictionDto, synthetic_FeatureMismatchDto as FeatureMismatchDto, synthetic_GenerateNegativesRequest as GenerateNegativesRequest, synthetic_GenerateNegativesResponse as GenerateNegativesResponse, synthetic_GenerateSyntheticDataRequest as GenerateSyntheticDataRequest, synthetic_GenerateSyntheticDataResponse as GenerateSyntheticDataResponse, synthetic_GenerationPromptRequest as GenerationPromptRequest, synthetic_GenerationPromptResponse as GenerationPromptResponse, synthetic_GenerationReportDto as GenerationReportDto, synthetic_NegativeExampleDto as NegativeExampleDto, synthetic_SortCalibrationDto as SortCalibrationDto, synthetic_TrainingExampleDto as TrainingExampleDto, synthetic_VerbalizationResultDto as VerbalizationResultDto, synthetic_VerbalizeTermRequest as VerbalizeTermRequest, synthetic_VerbalizeTermResponse as VerbalizeTermResponse, synthetic_VerifyFaithfulnessRequest as VerifyFaithfulnessRequest, synthetic_VerifyFaithfulnessResponse as VerifyFaithfulnessResponse, synthetic_VerifyRoundTripRequest as VerifyRoundTripRequest, synthetic_VerifyRoundTripResponse as VerifyRoundTripResponse, synthetic_ViolatedConstraintDto as ViolatedConstraintDto, synthetic_ViolatedConstraintKind as ViolatedConstraintKind };
 }
 
 /**
@@ -71558,6 +72568,30 @@ declare class SyntheticClient {
      * @param request - Negative generation parameters including target sorts and strategy flags.
      * @returns Generated negative examples with provenance.
      * @throws {ApiError} If the request fails.
+     *
+     * @remarks
+     * Each negative is invalid for a documented reason, named by its
+     * `strategy`: a violation of each declared feature constraint
+     * (`ConstraintViolation`, one negative per enum / range / pattern /
+     * maximum-cardinality constraint, with the constraint in
+     * `violatedConstraint`), sort incompatibility, feature perturbation,
+     * cross-sort confusion, a missing required feature, or a feature type
+     * mismatch. Set `enableConstraintViolation: false` to skip the first.
+     *
+     * Proposed sorts are included — negatives exist to test a model before it
+     * is approved; deprecated sorts are not.
+     *
+     * @example
+     * ```typescript
+     * const { negatives } = await client.synthetic.generateNegatives({
+     *   targetSorts: [pizzaSortId],
+     * });
+     * for (const n of negatives) {
+     *   if (n.violatedConstraint) {
+     *     console.log(n.violatedConstraint.feature, n.violatedConstraint.constraintMessage);
+     *   }
+     * }
+     * ```
      */
     generateNegatives(request: GenerateNegativesRequest, requestOptions?: RequestOptions): Promise<GenerateNegativesResponse>;
     /**
@@ -73572,6 +74606,26 @@ declare class Ontology<SecurityDataType = unknown> {
      * @secure
      */
     createCompetencyQuestion: (data: CreateCompetencyQuestionRequest$1, params?: RequestParams) => Promise<HttpResponse<CompetencyQuestionDto, any>>;
+    /**
+     * @description The fluent term about `of` with the latest `valid_from` not after `at` (default: now). 404 when the sort is unknown or no state is recorded by then.
+     *
+     * @tags ontology
+     * @name CurrentFluentValue
+     * @summary Current value of a fluent
+     * @request GET:/api/v1/fluents/current
+     * @secure
+     */
+    currentFluentValue: (query: {
+        /** The instant (RFC 3339); defaults to now. */
+        at?: string | null;
+        /**
+         * The entity's term id.
+         * @format uuid
+         */
+        of: string;
+        /** The fluent sort's name (`order_status`). */
+        sort: string;
+    }, params?: RequestParams) => Promise<HttpResponse<CurrentFluentResponse$1, void>>;
     /**
      * No description
      *
@@ -73602,6 +74656,16 @@ declare class Ontology<SecurityDataType = unknown> {
      * @secure
      */
     generate: (data: GenerateOntologyRequest$1, params?: RequestParams) => Promise<HttpResponse<GenerateOntologyResponse$1, void>>;
+    /**
+     * No description
+     *
+     * @tags ontology
+     * @name GetOntologyScope
+     * @summary Read the ontology's scope.
+     * @request GET:/api/v1/ontology/scope
+     * @secure
+     */
+    getOntologyScope: (params?: RequestParams) => Promise<HttpResponse<OntologyScopeResponse$1, void>>;
     /**
      * No description
      *
@@ -73632,6 +74696,16 @@ declare class Ontology<SecurityDataType = unknown> {
      * @secure
      */
     ontologyQualityReport: (params?: RequestParams) => Promise<HttpResponse<OntologyQualityReportResponse, any>>;
+    /**
+     * No description
+     *
+     * @tags ontology
+     * @name PutOntologyScope
+     * @summary Set the ontology's scope (replaces it).
+     * @request PUT:/api/v1/ontology/scope
+     * @secure
+     */
+    putOntologyScope: (data: OntologyScopeDto, params?: RequestParams) => Promise<HttpResponse<OntologyScopeResponse$1, void>>;
     /**
      * No description
      *
@@ -73642,6 +74716,15 @@ declare class Ontology<SecurityDataType = unknown> {
      * @secure
      */
     setCompetencyQuestionStatus: (key: string, data: SetCompetencyQuestionStatusRequest$1, params?: RequestParams) => Promise<HttpResponse<CompetencyQuestionDto, void>>;
+    /**
+     * No description
+     *
+     * @tags ontology
+     * @name UpperOntology
+     * @summary Serve an embedded upper-ontology seed (`bfo-2020` or `cco-facility`) — the same OWL the lattice-grounding aligner uses, offered to the guided builder's vocabulary stage as an anchor to reuse rather than reinvent.
+     * @request GET:/api/v1/ontology/upper/{name}
+     */
+    upperOntology: (name: string, params?: RequestParams) => Promise<HttpResponse<void, void>>;
 }
 
 /**
@@ -73661,6 +74744,14 @@ interface OntologyClarificationQuestionDto {
     /** Question type (e.g., "text", "choice"). */
     type: string;
 }
+/**
+ * One stage of the staged ontology builder.
+ *
+ * @remarks
+ * Passed as {@link GenerateOntologyRequest.stage}: the engine then generates
+ * only that stage's patch over the supplied draft instead of a whole scenario.
+ */
+type OntologyStage = 'scope' | 'vocabulary' | 'sorts' | 'features' | 'constraints' | 'vocabularies' | 'fluents' | 'computed' | 'rules';
 /**
  * Request body for ontology generation.
  *
@@ -73669,6 +74760,8 @@ interface OntologyClarificationQuestionDto {
  * On first call, provide only `prompt`. If the response status is
  * `"needs_clarification"`, supply `session_id` and `answers` on
  * the next call.
+ *
+ * With `stage` set, the response is a `"patch"` for that stage alone.
  */
 interface GenerateOntologyRequest {
     /** Answers to clarification questions (2nd call). */
@@ -73679,6 +74772,20 @@ interface GenerateOntologyRequest {
     sessionId?: string | null;
     /** Tenant ID (overridden by X-Tenant-Id header when present). */
     tenantId?: string | null;
+    /**
+     * Staged builder: generate only this stage's patch. Absent ⇒ one-shot
+     * generation of a whole scenario.
+     */
+    stage?: OntologyStage | null;
+    /**
+     * Staged builder: the current draft scenario (including `scope` and
+     * `use_cases`) the patch extends.
+     *
+     * @remarks
+     * Sent verbatim: the draft is scenario JSON whose keys are the engine's own
+     * snake_case names and the user's feature names, so it is never re-cased.
+     */
+    draft?: object | null;
 }
 /**
  * Response for ontology generation.
@@ -73687,6 +74794,7 @@ interface GenerateOntologyRequest {
  * Discriminated union by `status` field:
  * - `"needs_clarification"` -- the LLM needs more information before generating.
  * - `"complete"` -- the ontology has been generated successfully.
+ * - `"patch"` -- a staged request's patch for one stage.
  */
 type GenerateOntologyResponse = {
     /** Clarification questions the user must answer. */
@@ -73706,6 +74814,15 @@ type GenerateOntologyResponse = {
     scenario: object;
     /** Discriminator: generation is complete. */
     status: 'complete';
+} | {
+    /** The stage the patch belongs to (echoes {@link GenerateOntologyRequest.stage}). */
+    stage: string;
+    /** The scenario keys this stage contributes, to merge into the draft. */
+    patch: object;
+    /** The model's notes on the patch, when it left any. */
+    notes?: string | null;
+    /** Discriminator: a staged patch (the request carried `stage`). */
+    status: 'patch';
 };
 /**
  * One OWL 2 validator that {@link Owl2ChecksRequest.checks} can name.
@@ -73832,7 +74949,7 @@ interface OntologyPipelineStatus {
  * `positive` passes when the query finds an answer; `pitfall` is a guard that
  * passes when the query finds nothing.
  */
-type CompetencyQuestionKind = 'positive' | 'pitfall';
+type CompetencyQuestionKind = 'positive' | 'pitfall' | 'use_case';
 /** Who wrote a competency question: the generator or a user. */
 type CompetencyQuestionOrigin = 'generated' | 'user' | (string & {});
 /**
@@ -73862,6 +74979,12 @@ interface CompetencyQuestion {
     status: CompetencyQuestionStatus | (string & {});
     /** Whether a non-empty answer is the passing outcome (`false` for a pitfall). */
     expected: boolean;
+    /** Longer text — a use case's description. */
+    description?: string | null;
+    /** Sorts the question is about. */
+    sorts?: string[];
+    /** The use case this question tests (a use case's own id for `use_case`). */
+    useCase?: string | null;
 }
 /**
  * Request to record a competency question.
@@ -73881,6 +75004,15 @@ interface CreateCompetencyQuestionRequest {
     osfql?: string | null;
     /** `positive` (the default) or `pitfall`. */
     kind?: CompetencyQuestionKind | null;
+    /** Longer text — a use case's description. */
+    description?: string | null;
+    /** Sorts the question is about. */
+    sorts?: string[];
+    /**
+     * The use case this question tests (a `use_case` entry's id). For a
+     * `use_case` entry, its own id (defaults to a key derived from the text).
+     */
+    useCase?: string | null;
 }
 /** Every competency question the tenant holds. */
 interface ListCompetencyQuestionsResponse {
@@ -74098,6 +75230,66 @@ interface EnrichOntologyResponse {
     /** Always `false`: enrichment proposes and never writes. */
     applied: boolean;
 }
+/** Whether the modelled domain changes over time. */
+type OntologyDynamics = 'static' | 'dynamic';
+/** Whether materialising a new version overwrites or appends. */
+type OntologyWriteMode = 'overwrite' | 'append';
+/** The ontology's scope — what it is for, and what it covers. */
+interface OntologyScope {
+    /** What the ontology is for. Must not be empty. */
+    purpose: string;
+    /** What it covers. */
+    inScope?: string[];
+    /** What it explicitly does not cover. */
+    outOfScope?: string[];
+    /** What is postponed. */
+    deferred?: string[];
+    /** `static` | `dynamic`. */
+    dynamics: OntologyDynamics;
+    /** `overwrite` | `append`. */
+    writeMode: OntologyWriteMode;
+    /** Free-form notes. */
+    notes?: string | null;
+}
+/** A stored scope with its provenance. */
+interface OntologyScopeResponse extends Omit<OntologyScope, 'dynamics' | 'writeMode'> {
+    /** `static` | `dynamic` (as stored; read as a string so a newer value is not lost). */
+    dynamics: string;
+    /** `overwrite` | `append` (as stored). */
+    writeMode: string;
+    /** RFC 3339 time of the last write. */
+    updatedAt: string;
+    /** `X-Authenticated-User` of the last writer, when known. */
+    updatedBy?: string | null;
+}
+/** An embedded upper-ontology seed served by `GET /api/v1/ontology/upper/{name}`. */
+type UpperOntologyName = 'bfo-2020' | 'cco-facility';
+/** Which fluent to read, of which entity, when. */
+interface CurrentFluentQuery {
+    /** The fluent sort's name (`order_status`). */
+    sort: string;
+    /** The entity's term id. */
+    of: string;
+    /** The instant (RFC 3339); defaults to now. */
+    at?: string | null;
+}
+/** The fluent term holding an entity's state at an instant. */
+interface CurrentFluentResponse {
+    /** The fluent sort's name. */
+    sort: string;
+    /** The entity the state is about. */
+    of: string;
+    /** The instant the question was asked about (RFC 3339). */
+    at: string;
+    /** The fluent term's id. */
+    termId: string;
+    /** The state, verbatim. */
+    value: unknown;
+    /** When the state began (RFC 3339). */
+    validFrom: string;
+    /** The event term that produced the state, when recorded. */
+    generatedBy?: string | null;
+}
 
 type ontology_AmbiguousLabel = AmbiguousLabel;
 type ontology_BoundViolation = BoundViolation;
@@ -74108,6 +75300,8 @@ type ontology_CompetencyQuestionResult = CompetencyQuestionResult;
 type ontology_CompetencyQuestionStatus = CompetencyQuestionStatus;
 type ontology_CompetencyQuestionVerdict = CompetencyQuestionVerdict;
 type ontology_CreateCompetencyQuestionRequest = CreateCompetencyQuestionRequest;
+type ontology_CurrentFluentQuery = CurrentFluentQuery;
+type ontology_CurrentFluentResponse = CurrentFluentResponse;
 type ontology_EnrichOntologyRequest = EnrichOntologyRequest;
 type ontology_EnrichOntologyResponse = EnrichOntologyResponse;
 type ontology_EnrichmentScope = EnrichmentScope;
@@ -74121,9 +75315,14 @@ type ontology_LintRule = LintRule;
 type ontology_LintSeverity = LintSeverity;
 type ontology_ListCompetencyQuestionsResponse = ListCompetencyQuestionsResponse;
 type ontology_OntologyClarificationQuestionDto = OntologyClarificationQuestionDto;
+type ontology_OntologyDynamics = OntologyDynamics;
 type ontology_OntologyPipelineStage = OntologyPipelineStage;
 type ontology_OntologyPipelineStatus = OntologyPipelineStatus;
 type ontology_OntologyQualityReport = OntologyQualityReport;
+type ontology_OntologyScope = OntologyScope;
+type ontology_OntologyScopeResponse = OntologyScopeResponse;
+type ontology_OntologyStage = OntologyStage;
+type ontology_OntologyWriteMode = OntologyWriteMode;
 type ontology_Owl2CheckName = Owl2CheckName;
 type ontology_Owl2ChecksRequest = Owl2ChecksRequest;
 type ontology_Owl2ChecksResponse = Owl2ChecksResponse;
@@ -74135,8 +75334,9 @@ type ontology_QualitySummary = QualitySummary;
 type ontology_SchemaResidue = SchemaResidue;
 type ontology_SetCompetencyQuestionStatusRequest = SetCompetencyQuestionStatusRequest;
 type ontology_UnsatisfiableSort = UnsatisfiableSort;
+type ontology_UpperOntologyName = UpperOntologyName;
 declare namespace ontology {
-  export type { ontology_AmbiguousLabel as AmbiguousLabel, ontology_BoundViolation as BoundViolation, ontology_CompetencyQuestion as CompetencyQuestion, ontology_CompetencyQuestionKind as CompetencyQuestionKind, ontology_CompetencyQuestionOrigin as CompetencyQuestionOrigin, ontology_CompetencyQuestionResult as CompetencyQuestionResult, ontology_CompetencyQuestionStatus as CompetencyQuestionStatus, ontology_CompetencyQuestionVerdict as CompetencyQuestionVerdict, ontology_CreateCompetencyQuestionRequest as CreateCompetencyQuestionRequest, ontology_EnrichOntologyRequest as EnrichOntologyRequest, ontology_EnrichOntologyResponse as EnrichOntologyResponse, ontology_EnrichmentScope as EnrichmentScope, ontology_EvaluateCompetencyQuestionsResponse as EvaluateCompetencyQuestionsResponse, ontology_ExternalMatchProposal as ExternalMatchProposal, ontology_ExternalMatchType as ExternalMatchType, ontology_GenerateOntologyRequest as GenerateOntologyRequest, ontology_GenerateOntologyResponse as GenerateOntologyResponse, ontology_LintFinding as LintFinding, ontology_LintRule as LintRule, ontology_LintSeverity as LintSeverity, ontology_ListCompetencyQuestionsResponse as ListCompetencyQuestionsResponse, ontology_OntologyClarificationQuestionDto as OntologyClarificationQuestionDto, ontology_OntologyPipelineStage as OntologyPipelineStage, ontology_OntologyPipelineStatus as OntologyPipelineStatus, ontology_OntologyQualityReport as OntologyQualityReport, ontology_Owl2CheckName as Owl2CheckName, ontology_Owl2ChecksRequest as Owl2ChecksRequest, ontology_Owl2ChecksResponse as Owl2ChecksResponse, ontology_Owl2ConstraintViolation as Owl2ConstraintViolation, ontology_Owl2Profile as Owl2Profile, ontology_Owl2UnsatisfiableClass as Owl2UnsatisfiableClass, ontology_PipelineStageStatus as PipelineStageStatus, ontology_QualitySummary as QualitySummary, ontology_SchemaResidue as SchemaResidue, ontology_SetCompetencyQuestionStatusRequest as SetCompetencyQuestionStatusRequest, ontology_UnsatisfiableSort as UnsatisfiableSort };
+  export type { ontology_AmbiguousLabel as AmbiguousLabel, ontology_BoundViolation as BoundViolation, ontology_CompetencyQuestion as CompetencyQuestion, ontology_CompetencyQuestionKind as CompetencyQuestionKind, ontology_CompetencyQuestionOrigin as CompetencyQuestionOrigin, ontology_CompetencyQuestionResult as CompetencyQuestionResult, ontology_CompetencyQuestionStatus as CompetencyQuestionStatus, ontology_CompetencyQuestionVerdict as CompetencyQuestionVerdict, ontology_CreateCompetencyQuestionRequest as CreateCompetencyQuestionRequest, ontology_CurrentFluentQuery as CurrentFluentQuery, ontology_CurrentFluentResponse as CurrentFluentResponse, ontology_EnrichOntologyRequest as EnrichOntologyRequest, ontology_EnrichOntologyResponse as EnrichOntologyResponse, ontology_EnrichmentScope as EnrichmentScope, ontology_EvaluateCompetencyQuestionsResponse as EvaluateCompetencyQuestionsResponse, ontology_ExternalMatchProposal as ExternalMatchProposal, ontology_ExternalMatchType as ExternalMatchType, ontology_GenerateOntologyRequest as GenerateOntologyRequest, ontology_GenerateOntologyResponse as GenerateOntologyResponse, ontology_LintFinding as LintFinding, ontology_LintRule as LintRule, ontology_LintSeverity as LintSeverity, ontology_ListCompetencyQuestionsResponse as ListCompetencyQuestionsResponse, ontology_OntologyClarificationQuestionDto as OntologyClarificationQuestionDto, ontology_OntologyDynamics as OntologyDynamics, ontology_OntologyPipelineStage as OntologyPipelineStage, ontology_OntologyPipelineStatus as OntologyPipelineStatus, ontology_OntologyQualityReport as OntologyQualityReport, ontology_OntologyScope as OntologyScope, ontology_OntologyScopeResponse as OntologyScopeResponse, ontology_OntologyStage as OntologyStage, ontology_OntologyWriteMode as OntologyWriteMode, ontology_Owl2CheckName as Owl2CheckName, ontology_Owl2ChecksRequest as Owl2ChecksRequest, ontology_Owl2ChecksResponse as Owl2ChecksResponse, ontology_Owl2ConstraintViolation as Owl2ConstraintViolation, ontology_Owl2Profile as Owl2Profile, ontology_Owl2UnsatisfiableClass as Owl2UnsatisfiableClass, ontology_PipelineStageStatus as PipelineStageStatus, ontology_QualitySummary as QualitySummary, ontology_SchemaResidue as SchemaResidue, ontology_SetCompetencyQuestionStatusRequest as SetCompetencyQuestionStatusRequest, ontology_UnsatisfiableSort as UnsatisfiableSort, ontology_UpperOntologyName as UpperOntologyName };
 }
 
 /**
@@ -74145,7 +75345,12 @@ declare namespace ontology {
  * @remarks
  * Provides LLM-powered ontology generation from natural language task descriptions.
  * Supports multi-turn clarification: the first call may return clarification questions,
- * and subsequent calls with answers complete the generation.
+ * and subsequent calls with answers complete the generation. With a `stage`, generation
+ * returns one stage's patch over a draft (the staged builder).
+ *
+ * The workbench half: competency questions and use cases, their evaluation, the
+ * quality report, enrichment proposals against external ontologies, the ontology's
+ * scope, the embedded upper ontologies, and the current value of a fluent.
  *
  * The workbench methods judge the tenant's live ontology: the OWL 2 validators
  * ({@link OntologyClient.checkOwl2}), the per-stage pipeline status
@@ -74174,6 +75379,13 @@ declare class OntologyClient {
      * If the response status is `"needs_clarification"`, supply `sessionId`
      * and `answers` on the next call to complete the generation.
      *
+     * Staged builder: with `stage` (and the current `draft`), the response is
+     * `{ status: 'patch', stage, patch, notes? }` — that stage's scenario keys
+     * alone, to merge into the draft.
+     *
+     * The body is sent verbatim (no key re-casing): `draft` is scenario JSON
+     * whose nested keys include the user's own feature names.
+     *
      * @example
      * ```typescript
      * // First call -- may need clarification
@@ -74189,6 +75401,14 @@ declare class OntologyClient {
      *     answers: { priority_levels: '3' },
      *   });
      * }
+     *
+     * // Staged: one stage's patch over the current draft
+     * const step = await client.ontology.generate({
+     *   prompt: 'Build a customer support ticket system',
+     *   stage: 'sorts',
+     *   draft,
+     * });
+     * if (step.status === 'patch') Object.assign(draft, step.patch);
      * ```
      */
     generate(request: GenerateOntologyRequest, requestOptions?: RequestOptions): Promise<GenerateOntologyResponse>;
@@ -74351,6 +75571,84 @@ declare class OntologyClient {
      * ```
      */
     enrich(request?: EnrichOntologyRequest, requestOptions?: RequestOptions): Promise<EnrichOntologyResponse>;
+    /**
+     * Read the ontology's scope.
+     *
+     * @returns The stored scope, or `null` when none has been set.
+     * @throws {ApiError} If the request fails for a reason other than "no scope".
+     *
+     * @remarks
+     * One scope per tenant, or per namespace when `X-Namespace-Id` is sent. The
+     * engine answers 404 when none was set; that is an expected state for a new
+     * ontology, so it reads as `null` rather than an error.
+     *
+     * @example
+     * ```typescript
+     * const scope = await client.ontology.getScope();
+     * if (scope === null) {
+     *   // first visit: ask the user what the ontology is for
+     * }
+     * ```
+     */
+    getScope(requestOptions?: RequestOptions): Promise<OntologyScopeResponse | null>;
+    /**
+     * Set the ontology's scope, replacing the stored one.
+     *
+     * @param scope - Purpose, coverage, dynamics and write mode.
+     * @returns The stored scope with its provenance.
+     * @throws {BadRequestError} If `purpose` is empty.
+     *
+     * @example
+     * ```typescript
+     * await client.ontology.putScope({
+     *   purpose: 'Answer questions about late deliveries',
+     *   inScope: ['orders', 'shipments'],
+     *   dynamics: 'dynamic',
+     *   writeMode: 'append',
+     * });
+     * ```
+     */
+    putScope(scope: OntologyScope, requestOptions?: RequestOptions): Promise<OntologyScopeResponse>;
+    /**
+     * Fetch an embedded upper-ontology seed as OWL RDF/XML.
+     *
+     * @param name - `bfo-2020` or `cco-facility`.
+     * @returns The OWL document, as text.
+     * @throws {NotFoundError} If the name is not an embedded upper ontology.
+     *
+     * @remarks
+     * The same OWL the lattice-grounding aligner uses, offered as an anchor to
+     * reuse rather than reinvent. The response is `application/rdf+xml`, not JSON.
+     *
+     * @example
+     * ```typescript
+     * const owl = await client.ontology.getUpperOntology('bfo-2020');
+     * ```
+     */
+    getUpperOntology(name: UpperOntologyName, requestOptions?: RequestOptions): Promise<string>;
+    /**
+     * Read the state a fluent holds for an entity at an instant.
+     *
+     * @param query - The fluent sort, the entity's term id, and the instant (default now).
+     * @returns The latest fluent term with `validFrom <= at`.
+     * @throws {NotFoundError} If the fluent sort is unknown, or no state was recorded by `at`.
+     * @throws {BadRequestError} If `at` is not RFC 3339.
+     *
+     * @remarks
+     * The engine answers the same 404 for an unknown fluent sort and for an
+     * entity with no state yet, so this throws rather than returning `null`:
+     * the two cannot be told apart.
+     *
+     * @example
+     * ```typescript
+     * const status = await client.ontology.getCurrentFluent({
+     *   sort: 'order_status',
+     *   of: orderId,
+     * });
+     * console.log(status.value, status.validFrom);
+     * ```
+     */
+    getCurrentFluent(query: CurrentFluentQuery, requestOptions?: RequestOptions): Promise<CurrentFluentResponse>;
 }
 
 declare class Generation<SecurityDataType = unknown> {
@@ -77603,6 +78901,11 @@ interface TurnDto {
     /** MATCH result rows (assistant turns only), persisted by the backend so a
      *  "show me a table of X" answer keeps its table across a reload. */
     queryResults?: Record<string, OsfqlValue>[] | null;
+    /**
+     * Opaque structured card state recorded with the turn by an external surface
+     * (see {@link RecordTurnRequest.payload}). Returned verbatim.
+     */
+    payload?: unknown;
 }
 /**
  * Request to record an externally-produced conversation turn.
@@ -77621,6 +78924,19 @@ interface RecordTurnRequest {
     content: string;
     /** Optional OSFQL associated with the turn (the executed query, if any). */
     osfql?: string | null;
+    /**
+     * Opaque structured card state for surfaces whose turns are richer than text
+     * (drafts, questions, findings…). Stored verbatim and returned on the turn by
+     * `getTurns`; the server never interprets it, and the SDK never re-cases its keys.
+     */
+    payload?: unknown;
+    /**
+     * Which surface owns this conversation (e.g. `guided_ontology`). Applied when
+     * the conversation is created; ignored on an existing one.
+     */
+    conversationKind?: string | null;
+    /** Human title for the conversation. Applied on create, or later if it has none yet. */
+    title?: string | null;
 }
 /**
  * Response from recording an externally-produced conversation turn.
@@ -77643,6 +78959,10 @@ interface ConversationSummaryDto {
     createdAt: string;
     /** Number of turns. */
     turnCount: number;
+    /** Which surface owns the conversation (absent = the assistant chat). */
+    kind?: string | null;
+    /** Human title, when a surface recorded one. */
+    title?: string | null;
 }
 /**
  * Response for listing conversations.
@@ -77932,6 +79252,11 @@ declare class ConversationClient {
      * Request and response bodies use plain JSON scalars; no tagged/untagged value
      * serialization is involved. Turns recorded here are returned by {@link getTurns}.
      *
+     * `payload` is opaque structured card state (drafts, questions, findings…),
+     * stored verbatim and returned on the turn — so the body is sent without key
+     * re-casing. `conversationKind` and `title` apply when the conversation is
+     * created (`title` also later, while it has none); a surface uses
+     * `conversationKind` to partition the shared history list.
      * The engine also offers each turn to the tenant's long-term memory. A turn the
      * memory policy refuses (for example text over 500 characters) is still
      * recorded and still answers `200`; it only does not enter memory.
@@ -77950,6 +79275,15 @@ declare class ConversationClient {
      *   content: 'Done — split it into `auth/session.rs` and `auth/token.rs`.',
      *   osfql: 'MATCH module(name: ?N);',
      * });
+     *
+     * // A surface with richer turns: its own history partition and card state.
+     * await client.conversation.recordTurn('new', {
+     *   role: 'assistant',
+     *   content: 'Here is a draft scope.',
+     *   conversationKind: 'guided_ontology',
+     *   title: 'Pizza ontology',
+     *   payload: { card: 'scope_draft', draft: { purpose: 'Take pizza orders' } },
+     * });
      * ```
      */
     recordTurn(conversationId: string, request: RecordTurnRequest, requestOptions?: RequestOptions): Promise<RecordTurnResponse>;
@@ -87084,6 +88418,24 @@ type FindingSeverity = 'critical' | 'major' | 'minor' | 'info';
  * knowledge-base rules pass.
  */
 type FindingKind = 'missing_clause' | 'deviation' | 'contradiction' | 'rule_violation';
+/**
+ * One step of a KB rule's proof trace, as carried by a `rule_violation`
+ * {@link CheckFinding}.
+ *
+ * @remarks
+ * The trace is a flat, ordered list of these steps, from the first reasoning
+ * step to the verdict.
+ */
+interface RuleProofStep {
+    /** Step type (e.g. `backward_chain`, `unification`, `fact_match`). */
+    stepType: string;
+    /** Human-readable description of the step. */
+    description: string;
+    /** Confidence at this step (0.0-1.0). */
+    confidence: number;
+    /** The rule or fact the step used, when it used one. */
+    ruleUsed?: string | null;
+}
 /**
  * Inline contract content, ingested before checking.
  *
@@ -87228,8 +88580,9 @@ type documentCheck_CheckSummary = CheckSummary;
 type documentCheck_FindingKind = FindingKind;
 type documentCheck_FindingSeverity = FindingSeverity;
 type documentCheck_InlineDocument = InlineDocument;
+type documentCheck_RuleProofStep = RuleProofStep;
 declare namespace documentCheck {
-  export type { documentCheck_CheckDocumentRequest as CheckDocumentRequest, documentCheck_CheckDocumentResponse as CheckDocumentResponse, documentCheck_CheckFinding as CheckFinding, documentCheck_CheckProofStep as CheckProofStep, documentCheck_CheckSummary as CheckSummary, documentCheck_FindingKind as FindingKind, documentCheck_FindingSeverity as FindingSeverity, documentCheck_InlineDocument as InlineDocument };
+  export type { documentCheck_CheckDocumentRequest as CheckDocumentRequest, documentCheck_CheckDocumentResponse as CheckDocumentResponse, documentCheck_CheckFinding as CheckFinding, documentCheck_CheckProofStep as CheckProofStep, documentCheck_CheckSummary as CheckSummary, documentCheck_FindingKind as FindingKind, documentCheck_FindingSeverity as FindingSeverity, documentCheck_InlineDocument as InlineDocument, documentCheck_RuleProofStep as RuleProofStep };
 }
 
 /**
@@ -92872,6 +94225,177 @@ declare class OntologyExportClient {
     exportShacl(options?: OntologyExportOptions, requestOptions?: RequestOptions): Promise<OntologyExportDocument>;
 }
 
+declare class Argumentation<SecurityDataType = unknown> {
+    http: HttpClient<SecurityDataType>;
+    constructor(http: HttpClient<SecurityDataType>);
+    /**
+     * No description
+     *
+     * @tags argumentation
+     * @name EvaluateArgumentation
+     * @request POST:/api/v1/argumentation/evaluate
+     * @secure
+     */
+    evaluateArgumentation: (data: ArgumentationEvaluateRequestDto, params?: RequestParams) => Promise<HttpResponse<ArgumentationEvaluateResponseDto, void>>;
+}
+
+/** One claim to argue over. */
+interface ArgumentClaim {
+    /** The claim's Ψ-term id in the tenant KB. */
+    termId: string;
+    /**
+     * Caller-stable id for this argument (defaults to `a<position>`). Use it in
+     * `preferences` / `retracted` across evaluation turns.
+     */
+    id?: string | null;
+}
+/** A user resolution: `preferred` wins over `over` (deletes one attack). */
+interface ArgumentPreference {
+    /** The argument id the user prefers. */
+    preferred: string;
+    /** The argument id it wins over. */
+    over: string;
+}
+/** Request to evaluate a set of claims. */
+interface ArgumentationEvaluateRequest {
+    /** Claims in a stable caller order (argument order). */
+    claims: ArgumentClaim[];
+    /** User resolutions accumulated so far (each deletes one attack). */
+    preferences?: ArgumentPreference[];
+    /** Argument ids withdrawn entirely (dropped before evaluation). */
+    retracted?: string[];
+    /** Run the rule-derivation layer. Default true. */
+    enableDerivation?: boolean;
+    /** Consult the tenant KB's homoiconic rules when deriving conflicts. */
+    useTenantRules?: boolean;
+    /**
+     * Extra inline OSFQL (`DERIVE … WHEN …;`) compiled into the ephemeral
+     * analysis KB — conflict-sort rules turn derived facts into attacks carrying
+     * a derivation proof. Never touches the tenant KB.
+     */
+    rulesOsfql?: string | null;
+    /** Pairwise co-reference threshold (default 0.7, clamped to 0.1..=1.0). */
+    matchThreshold?: number | null;
+}
+/** One argument with its grounded label. */
+interface Argument {
+    /** The argument's id. */
+    id: string;
+    /** Its position in the claim list. */
+    index: number;
+    /** The claim's Ψ-term id. */
+    termId: string;
+    /** The claim, rendered as text. */
+    text: string;
+    /** `in` (skeptically accepted) · `out` (defeated) · `undecided`. */
+    label: string;
+}
+/** One attack edge with its clash evidence. */
+interface Attack {
+    /** Attacker argument id. */
+    from: string;
+    /** Attacked argument id. */
+    to: string;
+    /** `value_conflict` · `polarity_conflict` · `deontic_conflict` · `rule_derived_conflict`. */
+    kind: string;
+    /** Human-readable clash reason (the witness). */
+    reason: string;
+    /** Whether a full derivation proof backs this attack. */
+    proved: boolean;
+}
+/** The grounded extension, by argument id. */
+interface GroundedExtension {
+    /** Skeptically accepted. */
+    accepted: string[];
+    /** Defeated. */
+    rejected: string[];
+    /** Neither. */
+    undecided: string[];
+}
+/** One unresolved conflict — the question to put to the user. */
+interface ArgumentQuestion {
+    /** One side's argument id. */
+    a: string;
+    /** The other side's argument id. */
+    b: string;
+    /** Ready-to-ask prompt. */
+    prompt: string;
+}
+/** The grounded evaluation of a set of claims. */
+interface ArgumentationEvaluateResponse {
+    /** Every argument with its label. */
+    arguments: Argument[];
+    /** Every attack, with its evidence. */
+    attacks: Attack[];
+    /** The grounded extension. */
+    grounded: GroundedExtension;
+    /** One question per unresolved conflict; empty when the labelling decided everything. */
+    questions: ArgumentQuestion[];
+    /** Non-fatal warnings. */
+    warnings: string[];
+}
+
+type argumentation_Argument = Argument;
+type argumentation_ArgumentClaim = ArgumentClaim;
+type argumentation_ArgumentPreference = ArgumentPreference;
+type argumentation_ArgumentQuestion = ArgumentQuestion;
+type argumentation_ArgumentationEvaluateRequest = ArgumentationEvaluateRequest;
+type argumentation_ArgumentationEvaluateResponse = ArgumentationEvaluateResponse;
+type argumentation_Attack = Attack;
+type argumentation_GroundedExtension = GroundedExtension;
+declare namespace argumentation {
+  export type { argumentation_Argument as Argument, argumentation_ArgumentClaim as ArgumentClaim, argumentation_ArgumentPreference as ArgumentPreference, argumentation_ArgumentQuestion as ArgumentQuestion, argumentation_ArgumentationEvaluateRequest as ArgumentationEvaluateRequest, argumentation_ArgumentationEvaluateResponse as ArgumentationEvaluateResponse, argumentation_Attack as Attack, argumentation_GroundedExtension as GroundedExtension };
+}
+
+/**
+ * Resource client for grounded argumentation over claims in the knowledge base.
+ *
+ * @remarks
+ * Claims (Ψ-terms) attack each other when they clash; the grounded labelling
+ * decides what is accepted, what is defeated, and what is left undecided — and
+ * each undecided conflict comes back as a question to put to the user. The
+ * evaluation is ephemeral: nothing is written to the tenant KB.
+ *
+ * Uses normalizers to convert between camelCase (SDK surface) and
+ * snake_case (wire format) at the boundary.
+ */
+declare class ArgumentationClient {
+    /** @internal */
+    private readonly api;
+    /** @internal */
+    constructor(api: Argumentation);
+    /**
+     * Evaluate a set of claims: label each argument and surface the conflicts
+     * only the user can resolve.
+     *
+     * @param request - The claims, and the resolutions and retractions so far.
+     * @returns Labelled arguments, evidence-carrying attacks, the grounded
+     *   extension, and one question per unresolved conflict.
+     * @throws {BadRequestError} 400 when there are no claims, or a term or
+     *   preference id is unknown.
+     * @throws {ApiError} 422 when `rulesOsfql` fails to parse, compile, or execute.
+     *
+     * @remarks
+     * Multi-turn: answer a question by adding a {@link ArgumentPreference} and
+     * evaluate again with the same argument ids; each preference deletes one
+     * attack. Plain JSON on the wire — no tagged/untagged value split applies.
+     *
+     * @example
+     * ```typescript
+     * const turn = await client.argumentation.evaluate({
+     *   claims: [{ termId: a, id: 'a' }, { termId: b, id: 'b' }],
+     * });
+     * for (const q of turn.questions) console.log(q.prompt);
+     *
+     * const settled = await client.argumentation.evaluate({
+     *   claims: [{ termId: a, id: 'a' }, { termId: b, id: 'b' }],
+     *   preferences: [{ preferred: 'a', over: 'b' }],
+     * });
+     * ```
+     */
+    evaluate(request: ArgumentationEvaluateRequest, requestOptions?: RequestOptions): Promise<ArgumentationEvaluateResponse>;
+}
+
 declare class Demo<SecurityDataType = unknown> {
     http: HttpClient<SecurityDataType>;
     constructor(http: HttpClient<SecurityDataType>);
@@ -97740,6 +99264,7 @@ interface AnalysisGroup {
     readonly corpus: CorpusClient;
     readonly osfDiff: OsfDiffClient;
     readonly conformance: ConformanceClient;
+    readonly argumentation: ArgumentationClient;
 }
 /** Data ingestion and extraction operations — documents, sources, collections, images. */
 interface DataGroup {
@@ -98002,6 +99527,8 @@ declare class ReasoningLayerClient {
     readonly agui: AguiClient;
     /** Ontology export — OWL ontology and SHACL shapes projected from the sort lattice. */
     readonly ontologyExport: OntologyExportClient;
+    /** Grounded argumentation — label conflicting claims and surface the questions only the user can settle. */
+    readonly argumentation: ArgumentationClient;
     /** Demo substrate seeding — full SUMO + demo scenarios into the tenant substrate. */
     readonly demo: DemoClient;
     /** Execution-free reward scoring for candidate queries (recall / precision). */
@@ -100373,8 +101900,13 @@ declare function sealPreimage(tenantId: string, scopeId: string, commitment: str
  * the status's reason phrase and lands in {@link ApiError.errorCode}; `code`
  * is the contract a caller branches on when one status answers more than one
  * condition — for example `503` `speech_synthesis_not_configured` against a
- * `502` for a synthesis sidecar that did not answer. The `message` is for a
- * human and may be reworded; do not branch on it.
+ * `502` for a synthesis sidecar that did not answer, or `403`
+ * `separation_of_duties` (the proposer approving their own sort) against a
+ * `403` for a missing `Manage` grant. The `message` is for a human and may be
+ * reworded; do not branch on it.
+ *
+ * The codes the engine documents are typed: `Speech.SpeechErrorCode` and
+ * `Sorts.SortApprovalErrorCode`.
  *
  * @example
  * ```typescript
@@ -100387,4 +101919,4 @@ declare function sealPreimage(tenantId: string, scopeId: string, commitment: str
  */
 declare function errorBodyCode(error: unknown): string | undefined;
 
-export { ANY_ROLE, AUDIT_CAUSAL_REQUEST_HEADERS, AUDIT_RESPONSE_HEADERS, type ActValueDto, type ActionParamRule, type ActionParameter, type ActionReviewConfig, type ActionReviewOrigin, 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 AddPendingReviewResponse, type AddRuleRequest, type AddRuleResponse, type AddSymbolRequest, type AddSymbolResponse, admin as Admin, type AdmissibleDto, type AffectedPreviewDto, type AgentBeliefDto, type AgentConfigDto, type AgentContext, type AgentEvent, type AgentEventHandlers, type AgentGoalDto, type AgentIdentity, type AgentIdentityListResponse, type AgentIdentityMarkdownResponse, type AgentIdentitySummary, type AgentLifecycleStatus, type AgentRecallAsOfRequest, type AgentRecallAsOfResponse, type AgentSpec, type AgentStateDto, type AgentStatusChangeResponse, type AgentSubVerdictDto, type AgentSubscription, type AgentTrajectoryRequest, type AgentTrajectoryResponse, type AgentValues, 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 AlignmentStatsDto, type AllenRelation, type AmbiguousLabel, 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 ApprovalChain, type ApproveActionRequest, type ApproveEntityRequest, type ApproveLearnedSimilarityRequest, type ApproveLearnedSimilarityResponse, type ApprovePairingResponse, 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 AsyncBatchIngestionResponse, type AsyncIngestionResponse, type AteEstimateRequest, type AteEstimateResponse, type AttentionTargetDto, type AttestationDto, type AudioActionItem, type AudioJobStatus, type AudioMetadata, type AudioOptions, type AudioSource, audit as Audit, type AuditCausalHeaders, type AuditEntryDto, type AuditPage, type AuditRecord, type AuditResponseHeaders, type AuditSortField, type AuditSortOrder, type AuditedAssumptionDto, type AugmentationTargetDto, type AuthConfig, AuthenticationError, type AuthoringClarificationQuestionDto, authz as Authz, type AuthzAction, type AuthzCanTupleWriteRequest, type AuthzCheckRequest, type AuthzCheckResponse, type AuthzDryRunRequest, type AuthzDryRunResponse, type AuthzEffect, type AuthzHasRoleTupleWriteRequest, type AuthzRelation, type AuthzTuple, type AuthzTupleWriteRequest, type BacktrackResponse, type BacktrackTermStoreRequest, type BacktrackTermStoreResponse, type BacktrackableAssignRequest, type BacktrackableAssignResponse, type Backup, type BackupComponent, 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 BehavioralBoundaries, 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 BoundViolation, type BoundingBoxGeometry, type BranchListResponse, 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 BulkReviewFailure, type BulkReviewResponse, 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 CausalAssertionRefused, type CausalAssumptionDto, type CausalChainDto, type CausalChainResponse, type CausalDecisionSpecDto, type CausalDerivationStepDto, type CausalEdgeDto, type CausalHeaderUnreadable, type CausalHedgeDto, type CausalHop, type CausalLedgerUnavailable, type CausalProofTreeDto, type CausalRefusal, type CausalRelationshipDto$1 as CausalRelationshipDto, type CausalViolationKind, 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, type ChannelAdapterInfo, channels as Channels, chase as Chase, type ChaseArgDto, type ChaseAtomDto, type ChaseRunRequest, type ChaseRunResponse, type ChaseStepKindDto, type CheckDiversityRequest, type CheckDiversityResponse, type CheckDocumentRequest, type CheckDocumentResponse, type CheckFinding, type CheckProofStep, type CheckSummary, type ChoicePoint, type ChoicePointDto, type ChoicePointMarkerResponse, type ChoiceSelection, type ChoiceValue, type ChrRequest, type ChunkFailureDto, type CircleGeometry, type CircuitBreakerState, 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 CoherenceAdvisoryScores, type CoherenceAnalyzeRequest, type CoherenceAnalyzeResponse, type CoherenceBoundaryFlux, type CoherenceBundle, type CoherenceChain, type CoherenceChainHop, type CoherenceCheckedAxioms, type CoherenceClaimDto, type CoherenceClaimRef, type CoherenceClashEvidence, type CoherenceClashKind, type CoherenceDerivationEdge, type CoherenceDerivationStep, type CoherenceDerivedMatch, type CoherenceFeatureChange, type CoherenceFeatureDiff, type CoherenceInlineDocumentDto, type CoherenceInterBundleClash, type CoherenceLink, type CoherenceLinkKind, type CoherenceMetrics, type CoherenceReport, type CoherenceSubsumption, type CoherenceSummaryDto, type CoherenceVerdict, type CohesionRequest, type CohesionResponse, type CollectionDto, collections as Collections, type ColumnMappingDto, type CommitFlowNetworkRequest, type CommitRequest, type CommittedForecast, type CommunicationStyle, 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 CompetencyQuestion, type CompetencyQuestionKind, type CompetencyQuestionOrigin, type CompetencyQuestionResult, type CompetencyQuestionStatus, type CompetencyQuestionVerdict, 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 ConfigSection, 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 ConnectorHealth, type ConnectorHealthResponse, 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 ConversationBranch, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationStreamDoneEvent, type ConversationStreamErrorEvent, type ConversationStreamEvent, type ConversationStreamTokenEvent, type ConversationSummaryDto, type ConversationTrainingConfigDto, type ConversationTurnDto, type ConversationTurnsResponse, type CoordinatedResourceSet, type CopyModeDto, type CopyTermRequest, type CoreGroup, type CoreferenceGroupDto, type CoreferenceKind, type CoreferenceSourceDto, 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 CrawlScope, type CreateAgentRequest, type CreateAgentResponse, type CreateBackupRequest, type CreateChildNamespaceRequest, type CreateCognitiveSortRequest, type CreateCognitiveSortResponse, type CreateCollectionRequest, type CreateCompetencyQuestionRequest, type CreateConstraintSessionRequest, type CreateConstraintSessionResponse, type CreateCronJobRequest, type CreateCronJobResponse, 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, cron as Cron, type CronJob, type CronJobHistoryResponse, type CronJobRun, type CronJobRunStatus, type CronJobStatus, type CronSchedule, type CronScheduleType, 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, DeadlineExceededError, type DecisionAuditRequest, type DecisionAuditResponse, type DeclareLatentVariableRequest, type DeclareLatentVariableResponse, type DecodeGlbResponse, type DeepCopyRequest, type DegreeDistributionDto, type DelegationScope, type DelegationScopesResponse, type DeleteAgentResponse, type DeleteGoalResponse, type DeletePlanRequest, type DeletePlanResponse, type DeleteSnapshotResponse, type DeleteSortDescendantsDisposition, type DeleteSortOptions, 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 DerivedFactRepair, DerivedFactWriteError, type DerivedInferenceRequest, type DerivedInferenceResponse, type DerivedInferenceResultDto, type DetectCommunitiesRequest, type DetectCommunitiesResponse, type DetectMissingAttributesRequest, type DiDValidationRequest, type DiDValidationResponse, type DiagnosisCertificate, type DiagnosisCertificateSignature, 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 DiscoveredConstraintDto, 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 DlqAbandonResponse, type DlqCountResponse, type DlqEntry, type DlqEntryStatus, type DlqErrorCategory, type DlqListResponse, type DmAllowlistResponse, type DmPoliciesResponse, type DmPolicy, type DmPolicyMode, 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 DocumentStatusCounts, type DocumentSummary, type DocumentType, type DocumentVersionsResponse, documents as Documents, type DomSpeakerEvent, 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 EnrichOntologyRequest, type EnrichOntologyResponse, type EnrichedHealthResponse, type EnrichmentScope, type EnrollSpeakerRequest, type EnrollSpeakerResponse, type EnrollVoiceRequest, type EntailmentRequest, type EntailmentResponse, type EntityDto, type EntityMergeAuditDto, 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 EvaluateCompetencyQuestionsResponse, 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 ExpireActionReviewsOptions, type ExpireActionReviewsResponse, type ExplorationCompleteResponse, type ExplorationProgress, type ExplorationQuestion, type ExplorationStatusResponse, type ExportJsonlResponse, type ExpressionDto, type ExtendedAgentStateDto, type ExternalActionSummaryDto, type ExternalMatchDto, type ExternalMatchProposal, type ExternalMatchType, type ExternalRefValue, extract as Extract, type ExtractEntitiesRequest, type ExtractEntitiesResponse, type ExtractImageRequest, type ExtractImageResponse, type ExtractedAxiomDto, 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 ForkBranchRequest, type FormalJudgeRefinementResponse, type FormalJudgeRequest, type FormalJudgeResponse, type FormalVerdictDto, type FormalityLevel, 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, type GeneratedScenario, 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 ImageInput, type ImageSuggestedSortDto, type ImpasseDto, type Implication, type ImpliesRequest, type ImpliesResponse, type ImportFoundryRequest, type ImportFoundryResponse, type ImportModuleRequest, type ImportModuleResponse, type ImportOwlRequest, type ImportOwlResponse, inbox as Inbox, type InboxItem, type InboxMessageDto, type InboxResponse, type InclusionProof, type IncomingChannelWebhookRequest, type IncomingChannelWebhookResponse, type IncompleteDocumentDto, type IndexDirectiveDto, type InfeasibleResult, inference as Inference, type InfluenceDto, type IngestAudioRequest, type IngestAudioResponse, 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, type IngestUrlRequest, type IngestUrlResponse, type IngestedWebPage, ingestion as Ingestion, IngestionBatchSession, type IngestionConfigDto, IngestionFailedError, type IngestionInline, type IngestionOutcome, type IngestionPollOptions, IngestionQueueUnavailableError, type IngestionQueued, IngestionSession, IngestionSessionHandle, type IngestionSessionResponse, type IngestionSessionStatusDto, type IngestionStatsDto, type IngestionSyncOptions, type InheritedFeatureChangeDto, type InjectionPolicy, type InjectionSummary, 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 IriRepair, 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 LintFinding, type LintRule, type LintSeverity, type ListActionReviewsOptions, type ListActionReviewsResponse, type ListAgentsResponse, type ListAuditEntriesQuery, type ListAuditEntriesResponse, type ListAuditOptions, type ListAuthzTuplesQuery, type ListBindingsResponse, type ListCatalogParams, type ListChannelAdaptersResponse, type ListCompetencyQuestionsResponse, type ListConversationsResponse, type ListCronJobsResponse, type ListDlqRequest, 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 ListPendingReviewsResponse, 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 LlmContextFeature, type LlmContextPreference, type LlmContextSort, type LlmContextTrace, type LlmContextTurn, type LlmMetricsSummary, type LlmTokenSummary, 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 MarkInboxReadResponse, 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, memory as Memory, type MergeEntityRequest, type MetaSortsResponse, metrics as Metrics, 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 OffsetPageInfo, type OffsetPageReader, type OffsetPaginateOptions, type OnboardingState, type OnboardingStep, type OnboardingStepData, ontology as Ontology, ontologyAlignment as OntologyAlignment, ontologyBridge as OntologyBridge, type OntologyClarificationQuestionDto, ontologyExport as OntologyExport, type OntologyExportDocument, type OntologyExportFormat, type OntologyExportOptions, ontologyFacade as OntologyFacade, type OntologyPipelineStage, type OntologyPipelineStatus, type OntologyQualityReport, type OntologyRagRequest, type OntologyRagResponse, type OntologyRagStatsDto, type OntologyVerifierStatsDto, 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, type OsfVerdict, osfql as Osfql, type OsfqlAtomicRefusal, type OsfqlCatalogEntry, type OsfqlCatalogExecution, type OsfqlCatalogUiAffinity, type OsfqlDiagnoseRequest, type OsfqlDiagnoseResponse, type OsfqlDiagnostic, OsfqlError, type OsfqlErrorType, type OsfqlFailure, type OsfqlPreviewAffected, type OsfqlPreviewResponse, type OsfqlPreviewSortCount, type OsfqlPreviewStatement, type OsfqlRange, type OsfqlRefusal, type OsfqlRepair, type OsfqlRequest, type OsfqlResponse, type OsfqlSemantics, type OsfqlTermValue, type OsfqlValue, type OutputFormatDto, type OverlapDiagnosticDto, oversight as Oversight, type OversightAlertDto, type OversightSessionStatusResponse, type Owl2CheckName, type Owl2ChecksRequest, type Owl2ChecksResponse, type Owl2ConstraintViolation, type Owl2Profile, type Owl2UnsatisfiableClass, type PaginateOptions, type PaginationParams, pairing as Pairing, type PairingRequest, type PairingRequestsResponse, 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 PendingReviewEntity, type PersonalityProfile, type PersonalityTrait, type PiShapeShape, type PiecewiseLinearShape, type Pin, type PipelineQualityStatsDto, type PipelineStageStatus, type PlainFeatureMap, type PlainFeatureValue, plainValues as PlainValues, type PlanMatchDto, platform as Platform, type PluginDependency, type PluginDetail, type PluginManifest, type PluginSummary, type PluginVersion, plugins as Plugins, type Point2DGeometry, type PolicyRowDto, type PolicyRuleDto, type PolicyValueRequest, type PolicyValueResponse, type PolygonGeometry, type PositionalArgumentDto, PreconditionFailedError, PreconditionRequiredError, 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 PromptTrace, 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 QualitySummary, type QuasiIdentifier, query as Query, type QueryResultDto, type QueryTemplate, type QueryTerm, type QueueMetricsResponse, type QuotientClassDto, type QuotientOrderEdgeDto, rag as RAG, type RankedInstrument, RateLimitError, type RateLimitInfo, type RawGenerateRequest, type RawGenerateResponse, type RdfFormatDto, type ReExtractRequest, type ReExtractResponse, type ReachableDto, type ReachedEdgeDto, type ReachedStateDto, type ReadableTermDto, type ReadableTermsResponse, type RealValue, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type ReasoningStageDto, type ReasoningTraceDto, type RecallEntry, type RecallEpisodesRequest, type RecallEpisodesResponse, type RecallRequest, type RecallResult, type RecalledEpisodeDto, type RecordEpisodeRequest, type RecordEpisodeResponse, type RecordSafeHarborStatus, type RecordSelectionRequest, type RecordSelectionResponse, type RecordTurnRequest, type RecordTurnResponse, type RecoverStuckRequest, type RecoverStuckResponse, type ReferenceDesignator, type ReferenceValue, type ReferencedTermSummary, type ReflectionQueryRequest, type ReflectionQueryResponse, type RefutationCheckDto, type RefutationObservationDto, type RefuteEstimateRequest, type RefuteEstimateResponse, type RefuteRequest, type RefuteResponse, type RegisterChannelRouteRequest, type RegisterChannelRouteResponse, type RegisterExternalActionRequest, type RegisterExternalActionResponse, type RegisterFunctionRequest, type RegisterFunctionResponse, type RegisterSourceRequest, type RegisterSourceResponse, type RegisterWasmPluginRequest, type RegressionBasis, type RejectActionRequest, type RejectEntityRequest, type RejectLearnedSimilarityRequest, type RejectLearnedSimilarityResponse, type RejectPairingResponse, type RejectedBulkItem, type RelOp, type RelOpDto, type RelatedInfoDto, type RelationTypeDto, type RelationalArithRequest, type ReleaseResiduationsRequest, type ReleaseResiduationsResponse, type RememberOutcome, type RememberRequest, type RememberResult, type RemoveSortFeatureOptions, type ReparentSortRequest, type ReplaceFunctionResponse, type ReplaceRuleResponse, type ReportVerificationDto, type ReprocessFailedRequest, type ReprocessFailedResponse, 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 ResidualDerivationDto, 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 RetainedTableDto, type RetentionDto, type RetractRuleRequest, type RetractRuleResponse, type RetrievalStatsDto, type ReviewActionResponse, type ReviewCandidateMatchDto, type ReviewReason, type ReviewSortSuggestion, type ReviewStatus, type ReviewSummary, 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 RuleDraftFeatureValue, type RuleDto, type RuleEntryDto, type RuleNotWithdrawable, type RuleOrigin, type RuleStoreResponse, type RuleTermDraftDto, type RuleUtilityDto, type RuleWithdrawalReport, type RunAgentRequest, type RunCronJobNowResponse, 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 SchemaResidue, type ScmCounterfactualRequest, type ScmCounterfactualResponse, type ScoreTermsRequest, type ScoreTermsResponse, type ScoredTerm, type SearchCatalogRequest, type SearchCatalogResponse, type SearchCommunitiesRequest, type SearchCommunitiesResponse, type SearchCoverageDto, type SearchModeDto, type SearchPapersRequest, type SearchPapersResponse, type SearchSortsBy, type SearchSortsMatch, type SearchSortsRequest, type SearchSortsResponse, type SearchStatsDto, type SearchStrategyDto, type SendChannelMessageRequest, type SendChannelMessageResponse, type SendChannelTypingRequest, type SendChannelTypingResponse, type SendMessageRequest, type SendMessageResponse, type SensitivityDto, type SeriesEpochUnit, type SeriesMissingPolicy, type SeriesOperator, type SeriesTimeSource, type SeriesValueSource, type SeriesWindowSpec, ServiceUnavailableError, type SessionGraphDto, type SessionProgressResponse, type SessionStatsResponse, type SetActionReviewConfigRequest, type SetActionReviewConfigResponse, type SetCompetencyQuestionStatusRequest, type SetDmPolicyRequest, 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, type SkillListResponse, type SkillSummary, type SkippedWebPage, 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 SortDeletePreviewResponse, type SortDeletePreviewSortDto, type SortDeleteRefusalDto, type SortDiscoveryRequest, type SortDiscoveryResponse, type SortDto, type SortFeatureEditResponse, type SortIdValue, type SortIndexStatusResponse, type SortInfoDto, type SortListResponse, type SortOriginDto, type SortPreorderGranularity, type SortPreview, type SortPreviewFeature, type SortRecommendation, type SortReferenceKind, type SortReferencingRuleDto, type SortReparentReport, type SortReparentResponse, type SortResponse, type SortSimilarityResponse, type SortStatusDto, type SortSuggestionDto, type SortSummaryDto, sorts as Sorts, type SortsSchemaQuery, type SotaExtractionGateStatsDto, 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 SpeakerPerson, type SpeakerProfile, speakers as Speakers, type SpecificityDto, speech as Speech, type SpeechEngine, type SpeechErrorCode, 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 SuggestedFix, type SummaryResponse, type SuspendedQueryDto, type SymbolDto, type SymbolKindDto, type SymbolicResultDto, type SynthesizeRequest, type SynthesizeResponse, type SynthesizeSpeechRequest, synthetic as Synthetic, type SystemDiagnosticCheck, type SystemDiagnosticsResponse, 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 TenantSelfResponse, 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 TranscriptSegment, 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 TrizNoveltyScore, type TrizParameterMapping, type TrizSessionStatus, type TrizStructuredProblem, 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 UIDataPayload, type UIDataSourcePayload, type UIDescribeRequest, type UIDescribeResponse, type UIDescriptorDto, type UIGenerateIntent, type UIGenerateRequest, type UIGenerateResponse, type UIGenerateVerdict, type UIPageListResponse, type UIPageSummary, type UIPipelineStageTrace, type UIResultShape, USER_DATA_FIELDS, 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 UnrecognizedSuggestedFix, type UnsatisfiableSort, type UpdateCollectionRequest, type UpdateMetadataRequest, type UpdatePlanStatsRequest, type UpdatePlanStatsResponse, type UpdateReviewStatusRequest, type UpdateScenarioRequest, type UpdateScenarioResponse, type UpdateSubscriptionRequest, type UpdateTenantNameRequest, type UpdateTenantNameResponse, type UpdateTermRequest, type UpdateVisibilityRequest, type UpgradeInstallRequest, type UploadedSourceFileDto, type UrlIngestionCapability, 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, type WasmCapability, type WasmFunctionDecl, type WasmLimits, type WasmPlugin, type WasmPluginManifest, type WasmPluginScope, type WebCapabilitiesResponse, type WebPageIngestStatus, type WebPageSkipCode, type WebSearchCapability, type WebSearchProvider, 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, causalRequestHeaders, collect, constrained, decodeConversationMessage, discriminateFeatureValue, errorBodyCode, guard, isConstrainedPlainVar, isPsiTermInput, isTaggedValueDto, isUuid, not, paginateByOffset, paginateByPage, psi, readAuditHeaders, readCausalRefusal, sealPreimage, sortDeleteRefusalOf, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };
+export { ANY_ROLE, AUDIT_CAUSAL_REQUEST_HEADERS, AUDIT_RESPONSE_HEADERS, type ActValueDto, type ActionParamRule, type ActionParameter, type ActionReviewConfig, type ActionReviewOrigin, 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 AddPendingReviewResponse, type AddRuleRequest, type AddRuleResponse, type AddSymbolRequest, type AddSymbolResponse, admin as Admin, type AdmissibleDto, type AffectedPreviewDto, type AgentBeliefDto, type AgentConfigDto, type AgentContext, type AgentEvent, type AgentEventHandlers, type AgentGoalDto, type AgentIdentity, type AgentIdentityListResponse, type AgentIdentityMarkdownResponse, type AgentIdentitySummary, type AgentLifecycleStatus, type AgentRecallAsOfRequest, type AgentRecallAsOfResponse, type AgentSpec, type AgentStateDto, type AgentStatusChangeResponse, type AgentSubVerdictDto, type AgentSubscription, type AgentTrajectoryRequest, type AgentTrajectoryResponse, type AgentValues, 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 AlignmentStatsDto, type AllenRelation, type AmbiguousLabel, 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 ApprovalChain, type ApproveActionRequest, type ApproveEntityRequest, type ApproveLearnedSimilarityRequest, type ApproveLearnedSimilarityResponse, type ApprovePairingResponse, type ApproveSortRequest, type ArchitectureInfoDto, type Argument, type ArgumentClaim, type ArgumentPreference, type ArgumentQuestion, argumentation as Argumentation, type ArgumentationEvaluateRequest, type ArgumentationEvaluateResponse, 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 AsyncBatchIngestionResponse, type AsyncIngestionResponse, type AteEstimateRequest, type AteEstimateResponse, type Attack, type AttentionTargetDto, type AttestationDto, type AudioActionItem, type AudioJobStatus, type AudioMetadata, type AudioOptions, type AudioSource, audit as Audit, type AuditCausalHeaders, type AuditEntryDto, type AuditPage, type AuditRecord, type AuditResponseHeaders, type AuditSortField, type AuditSortOrder, type AuditedAssumptionDto, type AugmentationTargetDto, type AuthConfig, AuthenticationError, type AuthoringClarificationQuestionDto, authz as Authz, type AuthzAction, type AuthzCanTupleWriteRequest, type AuthzCheckRequest, type AuthzCheckResponse, type AuthzDryRunRequest, type AuthzDryRunResponse, type AuthzEffect, type AuthzHasRoleTupleWriteRequest, type AuthzRelation, type AuthzTuple, type AuthzTupleWriteRequest, type BacktrackResponse, type BacktrackTermStoreRequest, type BacktrackTermStoreResponse, type BacktrackableAssignRequest, type BacktrackableAssignResponse, type Backup, type BackupComponent, 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 BehavioralBoundaries, 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 BoundViolation, type BoundingBoxGeometry, type BranchListResponse, 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 BulkReviewFailure, type BulkReviewResponse, 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 CausalAssertionRefused, type CausalAssumptionDto, type CausalChainDto, type CausalChainResponse, type CausalDecisionSpecDto, type CausalDerivationStepDto, type CausalEdgeDto, type CausalHeaderUnreadable, type CausalHedgeDto, type CausalHop, type CausalLedgerUnavailable, type CausalProofTreeDto, type CausalRefusal, type CausalRelationshipDto$1 as CausalRelationshipDto, type CausalViolationKind, 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, type ChannelAdapterInfo, channels as Channels, chase as Chase, type ChaseArgDto, type ChaseAtomDto, type ChaseRunRequest, type ChaseRunResponse, type ChaseStepKindDto, type CheckDiversityRequest, type CheckDiversityResponse, type CheckDocumentRequest, type CheckDocumentResponse, type CheckFinding, type CheckProofStep, type CheckSummary, type ChoicePoint, type ChoicePointDto, type ChoicePointMarkerResponse, type ChoiceSelection, type ChoiceValue, type ChrRequest, type ChunkFailureDto, type CircleGeometry, type CircuitBreakerState, 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 CoherenceAdvisoryScores, type CoherenceAnalyzeRequest, type CoherenceAnalyzeResponse, type CoherenceBoundaryFlux, type CoherenceBundle, type CoherenceChain, type CoherenceChainHop, type CoherenceCheckedAxioms, type CoherenceClaimDto, type CoherenceClaimRef, type CoherenceClashEvidence, type CoherenceClashKind, type CoherenceDerivationEdge, type CoherenceDerivationStep, type CoherenceDerivedMatch, type CoherenceFeatureChange, type CoherenceFeatureDiff, type CoherenceInlineDocumentDto, type CoherenceInterBundleClash, type CoherenceLink, type CoherenceLinkKind, type CoherenceMetrics, type CoherenceReport, type CoherenceSubsumption, type CoherenceSummaryDto, type CoherenceVerdict, type CohesionRequest, type CohesionResponse, type CollectionDto, collections as Collections, type ColumnMappingDto, type CommitFlowNetworkRequest, type CommitRequest, type CommittedForecast, type CommunicationStyle, 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 CompetencyQuestion, type CompetencyQuestionKind, type CompetencyQuestionOrigin, type CompetencyQuestionResult, type CompetencyQuestionStatus, type CompetencyQuestionVerdict, 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 ConfigSection, 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 ConnectorHealth, type ConnectorHealthResponse, 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 ConversationBranch, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationStreamDoneEvent, type ConversationStreamErrorEvent, type ConversationStreamEvent, type ConversationStreamTokenEvent, type ConversationSummaryDto, type ConversationTrainingConfigDto, type ConversationTurnDto, type ConversationTurnsResponse, type CoordinatedResourceSet, type CopyModeDto, type CopyTermRequest, type CoreGroup, type CoreferenceGroupDto, type CoreferenceKind, type CoreferenceSourceDto, 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 CrawlScope, type CreateAgentRequest, type CreateAgentResponse, type CreateBackupRequest, type CreateChildNamespaceRequest, type CreateCognitiveSortRequest, type CreateCognitiveSortResponse, type CreateCollectionRequest, type CreateCompetencyQuestionRequest, type CreateConstraintSessionRequest, type CreateConstraintSessionResponse, type CreateCronJobRequest, type CreateCronJobResponse, 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, cron as Cron, type CronJob, type CronJobHistoryResponse, type CronJobRun, type CronJobRunStatus, type CronJobStatus, type CronSchedule, type CronScheduleType, type CrossSectionForecast, type CtlCounterExample, type CtlFormula, type CuriosityTargetDto, type CurrentFluentQuery, type CurrentFluentResponse, 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, DeadlineExceededError, type DecisionAuditRequest, type DecisionAuditResponse, type DeclareLatentVariableRequest, type DeclareLatentVariableResponse, type DecodeGlbResponse, type DeepCopyRequest, type DegreeDistributionDto, type DelegationScope, type DelegationScopesResponse, type DeleteAgentResponse, type DeleteGoalResponse, type DeletePlanRequest, type DeletePlanResponse, type DeleteSnapshotResponse, type DeleteSortDescendantsDisposition, type DeleteSortOptions, 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 DerivedFactRepair, DerivedFactWriteError, type DerivedInferenceRequest, type DerivedInferenceResponse, type DerivedInferenceResultDto, type DetectCommunitiesRequest, type DetectCommunitiesResponse, type DetectMissingAttributesRequest, type DiDValidationRequest, type DiDValidationResponse, type DiagnosisCertificate, type DiagnosisCertificateSignature, 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 DiscoveredConstraintDto, 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 DlqAbandonResponse, type DlqCountResponse, type DlqEntry, type DlqEntryStatus, type DlqErrorCategory, type DlqListResponse, type DmAllowlistResponse, type DmPoliciesResponse, type DmPolicy, type DmPolicyMode, 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 DocumentStatusCounts, type DocumentSummary, type DocumentType, type DocumentVersionsResponse, documents as Documents, type DomSpeakerEvent, 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 EditSortParentsRequest, 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 EnrichOntologyRequest, type EnrichOntologyResponse, type EnrichedHealthResponse, type EnrichmentScope, type EnrollSpeakerRequest, type EnrollSpeakerResponse, type EnrollVoiceRequest, type EntailmentRequest, type EntailmentResponse, type EntityDto, type EntityMergeAuditDto, 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 EvaluateCompetencyQuestionsResponse, 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 ExpireActionReviewsOptions, type ExpireActionReviewsResponse, type ExplorationCompleteResponse, type ExplorationProgress, type ExplorationQuestion, type ExplorationStatusResponse, type ExportJsonlResponse, type ExpressionDto, type ExtendedAgentStateDto, type ExternalActionSummaryDto, type ExternalMatchDto, type ExternalMatchProposal, type ExternalMatchType, type ExternalRefValue, extract as Extract, type ExtractEntitiesRequest, type ExtractEntitiesResponse, type ExtractImageRequest, type ExtractImageResponse, type ExtractedAxiomDto, type ExtractedEntityDto, type ExtractionPredictionDto, type ExtractionStatsDto, type ExtractionStrategy, type ExtractionStrategyAdaptive, type ExtractionStrategyHybrid, type ExtractionStrategyLlm, type ExtractionStrategyLocalNer, type ExtractionStrategySchemaGuided, type FactConfidenceEntry, type FactorMemberSort, type FactorProposal, type FactorSharedFeature, type FactorSortsRequest, type FactorSortsResponse, 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 ForkBranchRequest, type FormalJudgeRefinementResponse, type FormalJudgeRequest, type FormalJudgeResponse, type FormalVerdictDto, type FormalityLevel, 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, type GeneratedScenario, 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 GroundedExtension, 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 ImageInput, type ImageSuggestedSortDto, type ImpasseDto, type Implication, type ImpliesRequest, type ImpliesResponse, type ImportFoundryRequest, type ImportFoundryResponse, type ImportModuleRequest, type ImportModuleResponse, type ImportOwlRequest, type ImportOwlResponse, inbox as Inbox, type InboxItem, type InboxMessageDto, type InboxResponse, type InclusionProof, type IncomingChannelWebhookRequest, type IncomingChannelWebhookResponse, type IncompleteDocumentDto, type IndexDirectiveDto, type InfeasibleResult, inference as Inference, type InfluenceDto, type IngestAudioRequest, type IngestAudioResponse, 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, type IngestUrlRequest, type IngestUrlResponse, type IngestedWebPage, ingestion as Ingestion, IngestionBatchSession, type IngestionConfigDto, IngestionFailedError, type IngestionInline, type IngestionOutcome, type IngestionPollOptions, IngestionQueueUnavailableError, type IngestionQueued, IngestionSession, IngestionSessionHandle, type IngestionSessionResponse, type IngestionSessionStatusDto, type IngestionStatsDto, type IngestionSyncOptions, type InheritedFeatureChangeDto, type InjectionPolicy, type InjectionSummary, 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 IriRepair, 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 LintFinding, type LintRule, type LintSeverity, type ListActionReviewsOptions, type ListActionReviewsResponse, type ListAgentsResponse, type ListAuditEntriesQuery, type ListAuditEntriesResponse, type ListAuditOptions, type ListAuthzTuplesQuery, type ListBindingsResponse, type ListCatalogParams, type ListChannelAdaptersResponse, type ListCompetencyQuestionsResponse, type ListConversationsResponse, type ListCronJobsResponse, type ListDlqRequest, 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 ListPendingReviewsResponse, 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 LlmContextFeature, type LlmContextPreference, type LlmContextSort, type LlmContextTrace, type LlmContextTurn, type LlmMetricsSummary, type LlmTokenSummary, 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 MarkInboxReadResponse, 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, memory as Memory, type MergeEntityRequest, type MetaSortsResponse, metrics as Metrics, 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, NamedConstraintViolationError, 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 OffsetPageInfo, type OffsetPageReader, type OffsetPaginateOptions, type OnboardingState, type OnboardingStep, type OnboardingStepData, ontology as Ontology, ontologyAlignment as OntologyAlignment, ontologyBridge as OntologyBridge, type OntologyClarificationQuestionDto, type OntologyDynamics, ontologyExport as OntologyExport, type OntologyExportDocument, type OntologyExportFormat, type OntologyExportOptions, ontologyFacade as OntologyFacade, type OntologyPipelineStage, type OntologyPipelineStatus, type OntologyQualityReport, type OntologyRagRequest, type OntologyRagResponse, type OntologyRagStatsDto, type OntologyScope, type OntologyScopeResponse, type OntologyStage, type OntologyVerifierStatsDto, type OntologyWriteMode, 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, type OsfVerdict, osfql as Osfql, type OsfqlAtomicRefusal, type OsfqlCatalogEntry, type OsfqlCatalogExecution, type OsfqlCatalogUiAffinity, type OsfqlDiagnoseRequest, type OsfqlDiagnoseResponse, type OsfqlDiagnostic, OsfqlError, type OsfqlErrorType, type OsfqlFailure, type OsfqlPreviewAffected, type OsfqlPreviewResponse, type OsfqlPreviewSortCount, type OsfqlPreviewStatement, type OsfqlRange, type OsfqlRefusal, type OsfqlRepair, type OsfqlRequest, type OsfqlResponse, type OsfqlSemantics, type OsfqlTermValue, type OsfqlValue, type OutputFormatDto, type OverlapDiagnosticDto, oversight as Oversight, type OversightAlertDto, type OversightSessionStatusResponse, type Owl2CheckName, type Owl2ChecksRequest, type Owl2ChecksResponse, type Owl2ConstraintViolation, type Owl2Profile, type Owl2UnsatisfiableClass, type PaginateOptions, type PaginationParams, pairing as Pairing, type PairingRequest, type PairingRequestsResponse, 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 PendingReviewEntity, type PersonalityProfile, type PersonalityTrait, type PiShapeShape, type PiecewiseLinearShape, type Pin, type PipelineQualityStatsDto, type PipelineStageStatus, type PlainFeatureMap, type PlainFeatureValue, plainValues as PlainValues, type PlanMatchDto, platform as Platform, type PluginDependency, type PluginDetail, type PluginManifest, type PluginSummary, type PluginVersion, plugins as Plugins, type Point2DGeometry, type PolicyRowDto, type PolicyRuleDto, type PolicyValueRequest, type PolicyValueResponse, type PolygonGeometry, type PositionalArgumentDto, PreconditionFailedError, PreconditionRequiredError, 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 PromptTrace, 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 QualitySummary, type QuasiIdentifier, query as Query, type QueryResultDto, type QueryTemplate, type QueryTerm, type QueueMetricsResponse, type QuotientClassDto, type QuotientOrderEdgeDto, rag as RAG, type RankedInstrument, RateLimitError, type RateLimitInfo, type RawGenerateRequest, type RawGenerateResponse, type RdfFormatDto, type ReExtractRequest, type ReExtractResponse, type ReachableDto, type ReachedEdgeDto, type ReachedStateDto, type ReadableTermDto, type ReadableTermsResponse, type RealValue, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type ReasoningStageDto, type ReasoningTraceDto, type RecallEntry, type RecallEpisodesRequest, type RecallEpisodesResponse, type RecallRequest, type RecallResult, type RecalledEpisodeDto, type RecordEpisodeRequest, type RecordEpisodeResponse, type RecordSafeHarborStatus, type RecordSelectionRequest, type RecordSelectionResponse, type RecordTurnRequest, type RecordTurnResponse, type RecoverStuckRequest, type RecoverStuckResponse, type ReferenceDesignator, type ReferenceValue, type ReferencedTermSummary, type ReflectionQueryRequest, type ReflectionQueryResponse, type RefutationCheckDto, type RefutationObservationDto, type RefuteEstimateRequest, type RefuteEstimateResponse, type RefuteRequest, type RefuteResponse, type RegisterChannelRouteRequest, type RegisterChannelRouteResponse, type RegisterExternalActionRequest, type RegisterExternalActionResponse, type RegisterFunctionRequest, type RegisterFunctionResponse, type RegisterSourceRequest, type RegisterSourceResponse, type RegisterWasmPluginRequest, type RegressionBasis, type RejectActionRequest, type RejectEntityRequest, type RejectLearnedSimilarityRequest, type RejectLearnedSimilarityResponse, type RejectPairingResponse, type RejectedBulkItem, type RelOp, type RelOpDto, type RelatedInfoDto, type RelationTypeDto, type RelationalArithRequest, type ReleaseResiduationsRequest, type ReleaseResiduationsResponse, type RememberOutcome, type RememberRequest, type RememberResult, type RemoveSortFeatureOptions, type ReparentSortRequest, type ReplaceFunctionResponse, type ReplaceRuleResponse, type ReportVerificationDto, type ReprocessFailedRequest, type ReprocessFailedResponse, 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 ResidualDerivationDto, 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 RetainedTableDto, type RetentionDto, type RetractRuleRequest, type RetractRuleResponse, type RetrievalStatsDto, type ReviewActionResponse, type ReviewCandidateMatchDto, type ReviewReason, type ReviewSortSuggestion, type ReviewStatus, type ReviewSummary, 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 RuleDraftFeatureValue, type RuleDto, type RuleEntryDto, type RuleIssue, type RuleNotWithdrawable, type RuleOrigin, type RuleProofStep, type RuleStoreResponse, type RuleTermDraftDto, type RuleUtilityDto, type RuleValidationResponse, type RuleWithdrawalReport, type RunAgentRequest, type RunCronJobNowResponse, 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 ScenarioSortProvenance, 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 SchemaResidue, type ScmCounterfactualRequest, type ScmCounterfactualResponse, type ScoreTermsRequest, type ScoreTermsResponse, type ScoredTerm, type SearchCatalogRequest, type SearchCatalogResponse, type SearchCommunitiesRequest, type SearchCommunitiesResponse, type SearchCoverageDto, type SearchModeDto, type SearchPapersRequest, type SearchPapersResponse, type SearchSortsBy, type SearchSortsMatch, type SearchSortsRequest, type SearchSortsResponse, type SearchStatsDto, type SearchStrategyDto, type SendChannelMessageRequest, type SendChannelMessageResponse, type SendChannelTypingRequest, type SendChannelTypingResponse, type SendMessageRequest, type SendMessageResponse, type SensitivityDto, type SeriesEpochUnit, type SeriesMissingPolicy, type SeriesOperator, type SeriesTimeSource, type SeriesValueSource, type SeriesWindowSpec, ServiceUnavailableError, type SessionGraphDto, type SessionProgressResponse, type SessionStatsResponse, type SetActionReviewConfigRequest, type SetActionReviewConfigResponse, type SetCompetencyQuestionStatusRequest, type SetDmPolicyRequest, 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, type SkillListResponse, type SkillSummary, type SkippedWebPage, 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 SortApprovalErrorCode, type SortBoxRequest, type SortBoxResponse, SortBuilder, type SortCalibrationDto, type SortCompareOperator, type SortCompareRequest, type SortCompareResponse, type SortDeletePreviewResponse, type SortDeletePreviewSortDto, type SortDeleteRefusalDto, type SortDiscoveryRequest, type SortDiscoveryResponse, type SortDto, type SortFeatureEditResponse, type SortIdValue, type SortIndexStatusResponse, type SortInfoDto, type SortListResponse, type SortOriginDto, type SortPreorderGranularity, type SortPreview, type SortPreviewFeature, type SortRecommendation, type SortReferenceKind, type SortReferencingRuleDto, type SortReparentReport, type SortReparentResponse, type SortResponse, type SortSimilarityResponse, type SortStatusDto, type SortSuggestionDto, type SortSummaryDto, sorts as Sorts, type SortsSchemaQuery, type SotaExtractionGateStatsDto, 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 SpeakerPerson, type SpeakerProfile, speakers as Speakers, type SpecificityDto, speech as Speech, type SpeechEngine, type SpeechErrorCode, 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 SuggestedFix, type SummaryResponse, type SuspendedQueryDto, type SymbolDto, type SymbolKindDto, type SymbolicResultDto, type SynthesizeRequest, type SynthesizeResponse, type SynthesizeSpeechRequest, synthetic as Synthetic, type SystemDiagnosticCheck, type SystemDiagnosticsResponse, 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 TenantSelfResponse, 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 TranscriptSegment, 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 TrizNoveltyScore, type TrizParameterMapping, type TrizSessionStatus, type TrizStructuredProblem, 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 UIDataPayload, type UIDataSourcePayload, type UIDescribeRequest, type UIDescribeResponse, type UIDescriptorDto, type UIGenerateIntent, type UIGenerateRequest, type UIGenerateResponse, type UIGenerateVerdict, type UIPageListResponse, type UIPageSummary, type UIPipelineStageTrace, type UIResultShape, USER_DATA_FIELDS, 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 UnrecognizedSuggestedFix, type UnsatisfiableSort, type UpdateCollectionRequest, type UpdateMetadataRequest, type UpdatePlanStatsRequest, type UpdatePlanStatsResponse, type UpdateReviewStatusRequest, type UpdateScenarioRequest, type UpdateScenarioResponse, type UpdateSubscriptionRequest, type UpdateTenantNameRequest, type UpdateTenantNameResponse, type UpdateTermRequest, type UpdateVisibilityRequest, type UpgradeInstallRequest, type UploadedSourceFileDto, type UpperOntologyName, type UrlIngestionCapability, 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 ViolatedConstraintDto, type ViolatedConstraintKind, type ViolationCountsDto, type ViolationDto, type VisibilityDto, vision as Vision, visualization as Visualization, type VisualizationGraphDto, type VoiceConsent, type VoiceProfile, type WaitingConditionDto, type WaitingConditionType, type WasmCapability, type WasmFunctionDecl, type WasmLimits, type WasmPlugin, type WasmPluginManifest, type WasmPluginScope, type WebCapabilitiesResponse, type WebPageIngestStatus, type WebPageSkipCode, type WebSearchCapability, type WebSearchProvider, 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, causalRequestHeaders, collect, constrained, decodeConversationMessage, discriminateFeatureValue, errorBodyCode, guard, isConstrainedPlainVar, isPsiTermInput, isTaggedValueDto, isUuid, not, paginateByOffset, paginateByPage, psi, readAuditHeaders, readCausalRefusal, sealPreimage, sortDeleteRefusalOf, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };