@kortexya/reasoninglayer 4.1.0 → 4.2.1

package/dist/index.d.ts

@@ -231,7 +231,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 = "4.1.0";
+declare const SDK_VERSION = "4.2.1";
 /**
  * Authentication mode for the SDK.
  *
@@ -1089,22 +1089,26 @@ interface AffectedPreviewDto$1 {
      * statement's `affected.count` in [`statements`](Self::statements),
      * nested statements included. A statement with no affected-row set (a
      * read, an `INSERT`) adds nothing — read [`mutates`](Self::mutates) to
-     * learn whether the program writes at all.
+     * learn whether the program writes at all. A statement the run refuses
+     * (its `refusal`) adds nothing either, and a refused top-level statement
+     * or an `atomic_refusal` makes the count `0`: a UI action is
+     * all-or-nothing, so the run removes nothing (#485).
      * @min 0
      */
     count: number;
     /**
      * Whether [`count`](Self::count) is the answer rather than an upper bound
      * or a partial sum: `false` when any statement's count is an upper bound
-     * (`affected.exact: false`) or could not be computed (`affected_error`).
+     * (`affected.exact: false`) or could not be computed (`affected_error`),
+     * or when a nested statement the run would refuse may not run at all.
      * A client renders `count: 0, exact: false` as "unknown", never as
      * "nothing".
      */
     exact: boolean;
     /**
      * Whether ANY statement of the program writes the store — an `INSERT`
-     * included, so an `update_form` whose `RETRACT` matches nothing still
-     * answers `true`, because its `INSERT` still writes.
+     * included, so a program whose `RETRACT` matches nothing still answers
+     * `true` when its `INSERT` writes.
      */
     mutates: boolean;
     /**
@@ -4200,7 +4204,7 @@ interface BulkSortError$1 {
  * re-classification. This enum is what a client reads instead; the message
  * stays human-facing.
  */
-type BulkSortErrorKind$1 = "reserved_name" | "unreadable_name" | "unbound_prefix" | "non_canonical_prefix" | "unsatisfiable_declaration" | "unknown_type_hint" | "unresolved_parent" | "unbound_relation";
+type BulkSortErrorKind$1 = "reserved_name" | "unreadable_name" | "unbound_prefix" | "non_canonical_prefix" | "unsatisfiable_declaration" | "unknown_type_hint" | "unresolved_parent" | "unbound_relation" | "amendment_refused";
 /** Request to run ECE calibration. */
 interface CalibrateRequest$1 {
     /** Extraction predictions with confidence and correctness. */
@@ -4245,6 +4249,8 @@ interface CalibrationSampleDto {
     /** Ground-truth class label for this sample. */
     true_label: string;
 }
+/** Provenance status of parameters supplied to the stateless prediction API. */
+type CalibrationVerification$1 = "unverified";
 /** Request for call_once (execute with cut) */
 interface CallOnceRequest$1 {
     goal: object;
@@ -7153,7 +7159,7 @@ interface ConformalCalibrateRequest$1 {
     /**
      * Labeled calibration samples: each carries a caller-assigned ID, the
      * ground-truth label for that sample, and the classifier's predicted
-     * per-class scores (should sum to ≤ 1; each score in `[0, 1]`).
+     * per-class scores (each score in `[0, 1]`).
      *
      * Minimum 1 sample; in practice you want ≥ 1000 for the theorem's
      * 1/n discretisation to be tight.
@@ -7162,7 +7168,7 @@ interface ConformalCalibrateRequest$1 {
 }
 /** Response body for `POST /api/v1/conformal/calibrate`. */
 interface ConformalCalibrateResponse$1 {
-    /** Algorithm tag (`"split-conformal"`). */
+    /** Algorithm tag (`"split-conformal-v2"`). */
     algorithm: string;
     /**
      * Target miscoverage `α` echoed from the request.
@@ -7175,6 +7181,8 @@ interface ConformalCalibrateResponse$1 {
      * @format double
      */
     empirical_coverage: number;
+    /** Whether the threshold restricts the bounded score universe. */
+    informative: boolean;
     /**
      * `true` if the empirical coverage on the calibration set meets the
      * target `1 − α` (should always be true for a valid calibration).
@@ -7186,15 +7194,14 @@ interface ConformalCalibrateResponse$1 {
      */
     n_samples: number;
     /**
-     * 1-based rank of the chosen quantile in the sorted non-conformity
-     * score list.  Informational.
+     * One-based rank, including the unobserved `n_samples+1` full-set rank.
      * @min 0
      */
     quantile_rank: number;
     /**
-     * Computed non-conformity threshold `τ`.  Pass this to `/predict`.
-     * A test input whose top-class non-conformity score ≤ `τ` is
-     * predicted as covered.
+     * Computed nonconformity threshold `τ`. Pass this to `/predict`.
+     * Each candidate label is included when its own score `1-p` is at most τ.
+     * Threshold 1 covers the whole bounded score universe.
      * @format double
      */
     threshold: number;
@@ -7202,14 +7209,13 @@ interface ConformalCalibrateResponse$1 {
 /** Request body for `POST /api/v1/conformal/predict`. */
 interface ConformalPredictRequest$1 {
     /**
-     * Target miscoverage `α` used during calibration (echoed into the
-     * coverage certificate).
+     * Caller-declared target miscoverage `α` used during calibration.
      * @format double
      */
     alpha: number;
     /**
-     * Number of calibration samples that produced the threshold (used to
-     * populate the certificate).
+     * Caller-declared positive calibration sample count. This endpoint checks
+     * rank consistency but cannot verify that the observations exist.
      * @min 0
      */
     n_calibration_samples: number;
@@ -7224,10 +7230,10 @@ interface ConformalPredictRequest$1 {
 /** Response body for `POST /api/v1/conformal/predict`. */
 interface ConformalPredictResponse$1 {
     /**
-     * Coverage certificate summarising the calibration parameters.
-     * Clients should record this alongside prediction results.
+     * Applied caller-supplied parameters, explicitly without calibration
+     * provenance or a verified coverage claim.
      */
-    coverage_certificate: CoverageCertificate$1;
+    calibration_parameters: SuppliedCalibrationParameters$1;
     /** Per-input conformal prediction results, in request order. */
     predictions: ConformalPrediction$1[];
 }
@@ -7243,8 +7249,10 @@ interface ConformalPrediction$1 {
     input_id: string;
     /**
      * Conformal prediction set: the set of classes whose non-conformity
-     * score is ≤ τ.  A class `y` is included iff `1 − class_scores[y] ≤ τ`,
-     * i.e. `class_scores[y] ≥ 1 − τ`.  Sorted alphabetically.
+     * score is ≤ τ. A class `y` is included iff `1 − class_scores[y] ≤ τ`.
+     * The original score comparison avoids rounded-complement drift.
+     * Sorted alphabetically; completeness of the supplied label set is a
+     * caller responsibility.
      */
     prediction_set: string[];
     /**
@@ -7255,7 +7263,7 @@ interface ConformalPrediction$1 {
     /**
      * Non-conformity score of the most-confident class:
      * `1 − max(class_scores)`.  Informational; compare against `threshold`
-     * in the certificate to understand how close the top prediction is to
+     * in the applied parameters to understand how close the top prediction is to
      * the coverage boundary.
      * @format double
      */
@@ -8126,38 +8134,6 @@ interface CounterfactualTraceDto$1 {
     /** Step 3: Prediction - querying in modified world */
     prediction: string;
 }
-/**
- * Coverage certificate derived from the calibration report.
- *
- * Store this alongside prediction results to audit the finite-sample
- * guarantee: any test input drawn exchangeably from the same distribution
- * as the calibration set is in its prediction set with probability ≥
- * `nominal_coverage`.
- */
-interface CoverageCertificate$1 {
-    /** Algorithm tag. */
-    algorithm: string;
-    /**
-     * Target miscoverage `α`.
-     * @format double
-     */
-    alpha: number;
-    /**
-     * Number of calibration samples that produced this threshold.
-     * @min 0
-     */
-    n_calibration_samples: number;
-    /**
-     * Nominal coverage `1 − α` guaranteed by Vovk's theorem.
-     * @format double
-     */
-    nominal_coverage: number;
-    /**
-     * Non-conformity threshold applied during prediction.
-     * @format double
-     */
-    threshold: number;
-}
 /** Which links a crawl may follow from the start page. */
 type CrawlScopeDto = "same_host" | "path_prefix";
 /** Request to create a new cognitive agent. */
@@ -9142,6 +9118,25 @@ interface DSeparatedResponse$1 {
     /** Explanation of the result */
     explanation: string;
 }
+/**
+ * Why a data load produced no rows (#475). A client branches on the code,
+ * never on the wording of the message.
+ */
+type DataLoadErrorCodeDto = "data_load_writes" | "osfql_parse_error" | "osfql_compile_error" | "osfql_execution_failed";
+/**
+ * A failed data load (#475): the code, the engine's message, and the query
+ * that failed. `/ui/describe` reports it as `stats.data_load_error`;
+ * `/ui/generate` lists one per failed data source in `data_load_errors`,
+ * keyed by `query` like `data_sources`.
+ */
+interface DataLoadErrorDto {
+    /** Why the load failed. */
+    code: DataLoadErrorCodeDto;
+    /** The engine's description of the failure, for a person to read. */
+    message: string;
+    /** The OSFQL query that failed. */
+    query: string;
+}
 /** Data mixing statistics. */
 interface DataMixingStatsDto$1 {
     /**
@@ -11192,6 +11187,13 @@ interface DocumentStatsDto$1 {
      * @min 0
      */
     entities_extracted: number;
+    /**
+     * Extracted entities the declaration verdict refused, so they were not
+     * written (#433). Every refusal is listed, in the same shape as the
+     * synchronous ingest response: a document can be `complete` while part
+     * of what was extracted from it was refused (#480).
+     */
+    entities_refused: RefusedEntityDto$1[];
     /**
      * Processing time in milliseconds
      * @format int64
@@ -26602,13 +26604,75 @@ interface ProbabilityBoundDto$1 {
      */
     upper: number;
 }
+/**
+ * The CONCLUSION a proof node established, as a structured term (#476).
+ *
+ * The same shape the term read routes answer with (`TermDto`): a sort id, a
+ * sort name and typed feature values in the `ValueDto` encoding, where a
+ * reference carries its term id. It is present whether or not the conclusion
+ * was ever stored, so a client never has to parse `goal_display` to learn the
+ * sort or a feature of a derived conclusion.
+ *
+ * The features are the term's data features (no `_`-prefixed engine feature,
+ * no `when`/`constraints`, no rule machinery), with every variable resolved
+ * through the node's substitution. A feature whose variable the derivation
+ * left unbound — an open-world head — is `Uninstantiated`, never dropped: a
+ * missing feature would read as a different term. `goal_display` can omit
+ * such a feature, so `conclusion` is the complete record and `goal_display`
+ * is not. An interned literal wrapper is published as the scalar it holds.
+ */
+interface ProofConclusionDto$1 {
+    /**
+     * Feature name → typed value, in the term read routes' `ValueDto`
+     * encoding: `{"type": "String", "value": "alice"}`, a stored term as
+     * `{"type": "Reference", "value": "<term id>"}`, an unbound variable as
+     * `{"type": "Uninstantiated"}`.
+     */
+    features: Partial<Record<string, ValueDto$1>>;
+    /**
+     * The conclusion's sort id.
+     * @format uuid
+     */
+    sort_id: string;
+    /**
+     * The conclusion's sort name in the caller's lattice. Absent only when the
+     * lattice does not hold the sort — a name is never invented.
+     */
+    sort_name?: string | null;
+    /**
+     * The stored term this conclusion IS — equal to the node's
+     * `goal_term_id`, and fetchable from `GET /api/v1/terms/{id}`. ABSENT when
+     * the conclusion was never materialised (a proof with no preceding
+     * `CHAIN`); the sort and features below are present either way.
+     * @format uuid
+     */
+    term_id?: string | null;
+}
 /**
  * ProofDto
  * A proof tree node showing how a goal was proven. Contains goal_term_id, optional rule_term_id, subproofs (recursive), substitution, and certainty.
  */
 interface ProofDto$1 {
     certainty: number;
-    /** Human-readable rendering of the proven goal (the conclusion). */
+    /**
+     * The CONCLUSION a proof node established, as a structured term (#476).
+     *
+     * The same shape the term read routes answer with (`TermDto`): a sort id, a
+     * sort name and typed feature values in the `ValueDto` encoding, where a
+     * reference carries its term id. It is present whether or not the conclusion
+     * was ever stored, so a client never has to parse `goal_display` to learn the
+     * sort or a feature of a derived conclusion.
+     *
+     * The features are the term's data features (no `_`-prefixed engine feature,
+     * no `when`/`constraints`, no rule machinery), with every variable resolved
+     * through the node's substitution. A feature whose variable the derivation
+     * left unbound — an open-world head — is `Uninstantiated`, never dropped: a
+     * missing feature would read as a different term. `goal_display` can omit
+     * such a feature, so `conclusion` is the complete record and `goal_display`
+     * is not. An interned literal wrapper is published as the scalar it holds.
+     */
+    conclusion?: ProofConclusionDto$1;
+    /** Human-readable rendering of the proven goal (the conclusion). A display convenience only: read the sort and features from `conclusion` (#476). */
     goal_display?: string;
     /**
      * TermId of the CONCLUSION this node proved — the id that joins to POST /api/v1/query/by-sort and GET /api/v1/terms/{id}. ABSENT when the conclusion was never materialised (a proof with no preceding CHAIN) or when the derivation was replayed rather than recorded, so a client falls back deliberately rather than by accident (#281).
@@ -30533,8 +30597,9 @@ interface RuleRefusalResponse {
      */
     code: string;
     /**
-     * How many materialized derivations the rule currently proves. Present
-     * only on `rule_holds_derivations`.
+     * How many derivations the rule currently proves: `derived_facts` rows
+     * and resident conclusions, one conclusion held in both counted once.
+     * Present only on `rule_holds_derivations`.
      * @min 0
      */
     derivations?: number | null;
@@ -30648,8 +30713,11 @@ interface RuleWithdrawalReport$1 {
      */
     consequences_invalidated: number;
     /**
-     * Materialized derivations (`derived_facts` rows) whose last proof this
-     * rule was, so the row itself is gone.
+     * Derivations whose last proof this rule was, so the derivation is gone:
+     * `derived_facts` rows, and the resident conclusions a kept forward chain
+     * or an OSFQL `CHAIN` wrote. Counted the way the
+     * `rule_holds_derivations` refusal counts, so this and
+     * `derivations_weakened` account for the refusal's `derivations`.
      * @min 0
      */
     derivations_removed: number;
@@ -30659,8 +30727,8 @@ interface RuleWithdrawalReport$1 {
      */
     derivations_truncated: boolean;
     /**
-     * Materialized derivations that lost this rule's proofs but remain proved
-     * by another rule. These are correctly left standing.
+     * Derivations that lost this rule's proofs but remain proved by another
+     * rule, in either tier. These are correctly left standing.
      * @min 0
      */
     derivations_weakened: number;
@@ -31519,6 +31587,13 @@ interface SessionDocumentDto {
      * refusal. Present only when `status` is `failed`.
      */
     error?: string | null;
+    /**
+     * The typed reason `error` describes. A version refusal carries the
+     * `code` the synchronous upload answers for it; `ingestion_failed`
+     * covers both unparseable content and an engine fault, and `error` says
+     * which. Present only when `status` is `failed`.
+     */
+    error_code?: null | SessionDocumentFailureCodeDto;
     /**
      * What the document's ingestion wrote. Present once `status` is
      * `complete`.
@@ -31527,6 +31602,13 @@ interface SessionDocumentDto {
     /** Current status of the document. */
     status: IngestionDocumentStatusDto;
 }
+/**
+ * Why one document of an ingestion session failed (#479). The three version
+ * refusals are the same `code` the synchronous upload answers for the same
+ * refusal; `not_attempted` and `ingestion_failed` exist only on a session
+ * document, and the synchronous upload answers those failures with no `code`.
+ */
+type SessionDocumentFailureCodeDto = "previous_document_not_found" | "duplicate_document_version_conflict" | "duplicate_version_without_registry" | "not_attempted" | "ingestion_failed";
 /** Response containing live progress for all documents in a session. */
 interface SessionProgressResponse$1 {
     /** Documents currently being processed (with live progress). */
@@ -32212,6 +32294,13 @@ interface SolutionDto$1 {
      * @format double
      */
     certainty: number;
+    /**
+     * The conclusion this solution established, as a structured term — the
+     * proof root's `conclusion` (#476). Present also when the conclusion was
+     * never stored, so a client reads its sort and features here rather than
+     * parsing `goal_display`. Absent only when the solution names no term.
+     */
+    conclusion?: null | ProofConclusionDto$1;
     /**
      * Number of matched antecedents (open-world only).
      * Present only when open_world=true in the request.
@@ -34463,6 +34552,42 @@ interface SupervisorStatusResponse {
      */
     supervisor_active: boolean;
 }
+/**
+ * A record of threshold application, not a coverage certificate.
+ * Summary consistency checks cannot authenticate the underlying calibration.
+ */
+interface SuppliedCalibrationParameters$1 {
+    /** Algorithm tag. */
+    algorithm: string;
+    /**
+     * Target miscoverage `α`.
+     * @format double
+     */
+    alpha: number;
+    /**
+     * Whether this threshold excludes any bounded nonconformity scores.
+     * It does not describe whether a particular input has a unique answer.
+     */
+    informative: boolean;
+    /**
+     * Caller-declared number of calibration observations.
+     * @min 0
+     */
+    n_calibration_samples: number;
+    /**
+     * Rounded display of the caller's requested `1 − α`; not a verified
+     * probability bound for these predictions.
+     * @format double
+     */
+    requested_coverage: number;
+    /**
+     * Non-conformity threshold applied during prediction.
+     * @format double
+     */
+    threshold: number;
+    /** Calibration evidence has not been verified by this stateless call. */
+    verification: CalibrationVerification$1;
+}
 /** Information about a suspended (incomplete) query */
 interface SuspendedQueryDto$1 {
     /**
@@ -36541,10 +36666,13 @@ interface UIActionRequest$1 {
     statement_id?: string | null;
     /**
      * Term ID (a UUID) for update/delete operations. A `delete_record`
-     * without `osfql_template`, and every `update_form`, retracts exactly the
-     * term this id names, and is refused with 400 when the value is not a UUID.
-     * An `update_form` is also refused with 400 when the term's own sort is
-     * not `sort_name` (a subsort term edited through its supersort).
+     * without `osfql_template` retracts exactly the term this id names, and
+     * both are refused with 400 when the value is not a UUID. An
+     * `update_form` edits the term this id names in place: it sets each value
+     * sent, removes each feature sent as `null`, and the term keeps its id,
+     * its own sort and every feature not sent. It is refused with 400 when the
+     * tenant holds no term under the id, or when `sort_name` does not subsume
+     * the term's own sort.
      */
     term_id?: string | null;
     /** Field values for submit/update (field_name → JSON value) */
@@ -36605,6 +36733,11 @@ interface UIActionResponse$1 {
 interface UIAssemblyStatsDto$1 {
     /** @min 0 */
     component_count: number;
+    /**
+     * Why the view's data load failed, when it did (#475). The view still
+     * renders, without rows.
+     */
+    data_load_error?: null | DataLoadErrorDto;
     /**
      * Number of data rows loaded
      * @min 0
@@ -36612,7 +36745,11 @@ interface UIAssemblyStatsDto$1 {
     data_rows?: number;
     /** @min 0 */
     included_features: number;
-    /** OSFQL query executed (if any) */
+    /**
+     * The OSFQL query that ran and loaded `data_rows` rows. Absent when no
+     * query ran or when the load failed; a failure is `data_load_error`
+     * (#475).
+     */
     osfql_executed?: string | null;
     sort_name: string;
     /** @min 0 */
@@ -36824,6 +36961,12 @@ interface UIGenerateResponse$1 {
     conversation_id?: string | null;
     /** Engine-loaded data for the spec's LoadData query (never LLM-fabricated). */
     data?: null | DataPayloadDto;
+    /**
+     * One entry for EACH `data_source` query whose load failed, keyed by
+     * `query` like `data_sources` (#475). A failed source has no entry in
+     * `data_sources`; the spec still renders.
+     */
+    data_load_errors?: DataLoadErrorDto[];
     /**
      * Engine-loaded rows for EACH `data_source` query in the spec, so a
      * multi-table UI shows each table's OWN data. (`data` above is the FIRST
@@ -42451,6 +42594,41 @@ interface HomoiconicSubstitutionDto {
     /** Variable-to-value bindings. */
     bindings: BindingDto[];
 }
+/**
+ * The conclusion a proof node established, as a structured term.
+ *
+ * @remarks
+ * The same shape the term read routes answer with: a sort id, a sort name and
+ * typed feature values in the tagged {@link ValueDto} encoding, where a
+ * reference carries its term id. It is present whether or not the conclusion
+ * was ever stored, so a client never parses {@link ProofDto.goalDisplay} to
+ * learn the sort or a feature of a derived conclusion.
+ *
+ * The features are the term's data features (no `_`-prefixed engine feature, no
+ * `when` / `constraints`, no rule machinery), with every variable resolved
+ * through the node's substitution. A feature whose variable the derivation left
+ * unbound (an open-world head) is `Uninstantiated`, never dropped. `goalDisplay`
+ * can omit such a feature, so `conclusion` is the complete record and
+ * `goalDisplay` is not.
+ */
+interface ProofConclusionDto {
+    /** Feature name to typed value, in the tagged `ValueDto` encoding. */
+    features: Record<string, ValueDto>;
+    /** The conclusion's sort id (UUID). */
+    sortId: string;
+    /**
+     * The conclusion's sort name in the caller's lattice. Absent only when the
+     * lattice does not hold the sort; a name is never invented.
+     */
+    sortName?: string;
+    /**
+     * The stored term this conclusion is, equal to the node's
+     * {@link ProofDto.goalTermId} and fetchable from `client.terms.getTerm()`.
+     * Absent when the conclusion was never materialised (a proof with no
+     * preceding `CHAIN`); the sort and features are present either way.
+     */
+    termId?: string;
+}
 /**
  * Recursive proof tree node.
  *
@@ -42530,6 +42708,12 @@ interface ProofDto {
      * Lets a client render a readable proof tree without resolving term IDs.
      */
     goalDisplay?: string;
+    /**
+     * The conclusion this node established, as a structured term. Read the sort
+     * and the features here, not from {@link goalDisplay}, which is a display
+     * convenience only. Absent on a node the engine reports no conclusion for.
+     */
+    conclusion?: ProofConclusionDto;
     /**
      * Human-readable rendering of the rule applied at this step (its head Ψ-term).
      * Absent for a stored fact / axiom (no rule was applied).
@@ -42575,6 +42759,12 @@ interface SolutionDto {
     substitution: HomoiconicSubstitutionDto;
     /** Proof tree showing how the solution was derived. Null if proof generation was disabled. */
     proof?: ProofDto | null;
+    /**
+     * The conclusion this solution established, as a structured term: the proof
+     * root's {@link ProofDto.conclusion}. Present also when the conclusion was
+     * never stored. Absent only when the solution names no term.
+     */
+    conclusion?: ProofConclusionDto;
     /** Certainty score (0.0 to 1.0). */
     certainty: number;
     /** Number of matched antecedents (open-world only). */
@@ -43675,7 +43865,11 @@ interface RuleRefusal {
     message: string;
     /** The rule the refusal is about. */
     ruleId: string;
-    /** Materialized derivations the rule proves (`rule_holds_derivations`). */
+    /**
+     * How many derivations the rule currently proves: `derived_facts` rows and
+     * resident conclusions, one conclusion held in both counted once
+     * (`rule_holds_derivations` only).
+     */
     derivations?: number;
     /** `true` when `derivations` hit the counting cap and is a lower bound. */
     derivationsAtLeast?: boolean;
@@ -43724,11 +43918,19 @@ interface RuleWithdrawalReport {
      * base owns.
      */
     termsRetainedShared: number;
-    /** Materialized derivations whose last proof this rule was, so the row is gone. */
+    /**
+     * Derivations whose last proof this rule was, so the derivation is gone:
+     * `derived_facts` rows, and the resident conclusions a kept forward chain or
+     * an OSFQL `CHAIN` wrote. Counted the way the `rule_holds_derivations`
+     * refusal counts, so this and {@link derivationsWeakened} account for the
+     * refusal's `derivations`.
+     */
     derivationsRemoved: number;
     /**
-     * Materialized derivations that lost this rule's proofs but remain proved by
-     * another rule. These are correctly left standing.
+     * Derivations that lost this rule's proofs but remain proved by another
+     * rule, in either tier. These are correctly left standing. A conclusion
+     * counts as weakened only when a surviving rule's conclusion carries it, not
+     * an asserted twin.
      */
     derivationsWeakened: number;
     /**
@@ -44216,6 +44418,7 @@ type inference_LogOddsWitnessDto = LogOddsWitnessDto;
 type inference_MetaSortsResponse = MetaSortsResponse;
 type inference_NafProveRequest = NafProveRequest;
 type inference_NafProveResponse = NafProveResponse;
+type inference_ProofConclusionDto = ProofConclusionDto;
 type inference_ProofDto = ProofDto;
 type inference_ProofKind = ProofKind;
 type inference_ProvenanceTagDto = ProvenanceTagDto;
@@ -44242,7 +44445,7 @@ 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_RuleIssue as RuleIssue, inference_RuleNotWithdrawable as RuleNotWithdrawable, inference_RuleOrigin as RuleOrigin, inference_RuleRefusal as RuleRefusal, inference_RuleRefusalCode as RuleRefusalCode, 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 };
+  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_ProofConclusionDto as ProofConclusionDto, 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_RuleRefusal as RuleRefusal, inference_RuleRefusalCode as RuleRefusalCode, 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 };
 }
 
 /**
@@ -45099,7 +45302,14 @@ type BulkSortErrorKind =
  * The sort WAS created. One relational feature could not be bound because
  * the sort it names is neither in this batch nor already in the lattice.
  */
- | 'unbound_relation';
+ | 'unbound_relation'
+/**
+ * The sort exists and the lattice refused this entry's amendment (its new
+ * parents or changed feature declarations), for example a declaration a
+ * subsort's refinement contradicts, a subtree over the cap, or a parent
+ * edge that closes a cycle. The sort keeps its parents and declarations.
+ */
+ | 'amendment_refused';
 /** Error detail for a single sort in a bulk creation request. */
 interface BulkSortError {
     /** Sort name that failed, as the request spelled it. */
@@ -45110,8 +45320,9 @@ interface BulkSortError {
      * Whether the sort itself was created.
      *
      * @remarks
-     * `true` only for `unbound_relation` today: the sort is in the lattice and
-     * one of its features is untyped. Treating that as a failed sort hides a
+     * `true` for `unbound_relation` (a created sort with one untyped feature)
+     * and for `amendment_refused` (a sort that existed before and is still
+     * there): the sort is in the lattice. Treating that as a failed sort hides a
      * concept the engine holds. Carried on the wire by the engine so a client
      * need not enumerate {@link BulkSortErrorKind} to classify a new one.
      */
@@ -49208,6 +49419,8 @@ declare class InferenceClient {
      *   engine-side head aggregator (see {@link RuleAggregatorDto}).
      * @returns The created rule wrapped in an AddRuleResponse, with its
      *   {@link AddRuleResponse.etag} when the engine sends the `ETag` header.
+     * @throws {@link ValidationError} before the request is sent, when `antecedents` is
+     *   not an array (a request built from untyped data) — `field` is `antecedents`.
      * @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
@@ -49217,9 +49430,8 @@ declare class InferenceClient {
      *   cycle the program already had is not blamed on it), or a rule with no
      *   antecedents (`rule rejected: a rule needs at least one antecedent; a
      *   term with no antecedents is a fact — write it through POST
-     *   /api/v1/terms` — write a fact with `client.terms.createTerm`). A body
-     *   with no `antecedents` key at all is refused by the body decoder with a
-     *   plain-text 422. The refusal is a
+     *   /api/v1/terms` — write a fact with `client.terms.createTerm`). 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
@@ -49259,6 +49471,8 @@ declare class InferenceClient {
      * @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 {@link ValidationError} before the request is sent, when `antecedents` is
+     *   not an array (a request built from untyped data) — `field` is `antecedents`.
      * @throws {ApiError} If the request itself fails.
      *
      * @remarks
@@ -49314,10 +49528,11 @@ declare class InferenceClient {
      * @param requestOptions - Per-call request options.
      * @returns What was written, and what was refused: `ruleTermIds` and
      *   `rulesAdded` for the accepted rules, `rejected` naming each refused one.
-     * @throws {@link ApiError} 422 when the body is malformed (for example a row
-     *   with no `antecedents` key) — a 422 never means a refused row.
+     * @throws {@link ApiError} 422 when the body is malformed — a 422 never
+     *   means a refused row.
      * @throws {@link ValidationError} before the request is sent, when a rule's
-     *   term cannot be encoded — `field` names it as `rules[k].term` or
+     *   term cannot be encoded, or a row has no `antecedents` array — `field`
+     *   names it as `rules[k].term`, `rules[k].antecedents` or
      *   `rules[k].antecedents[i]`.
      *
      * @remarks
@@ -49332,7 +49547,8 @@ declare class InferenceClient {
      * number submitted. A row with an empty `antecedents` list is refused per
      * row this way (`rule rejected: a rule needs at least one antecedent; …`)
      * and is not counted in `rulesAdded` or `ruleTermIds`; a row with no
-     * `antecedents` key fails the whole batch with a 422. A rule that closes a
+     * `antecedents` array is refused before the request is sent, with a
+     * `ValidationError` whose `field` is `rules[k].antecedents`. 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.
      *
@@ -49503,7 +49719,8 @@ declare class InferenceClient {
      * @throws {@link PreconditionRequiredError} 428 when `ifMatch` is omitted
      *   and the engine runs with `OSFKB_REQUIRE_IF_MATCH=1`.
      * @throws {@link ValidationError} before the request is sent, when a term
-     *   cannot be encoded — `field` names it (`term`, `antecedents[i]`).
+     *   cannot be encoded, or `antecedents` is not an array — `field` names it
+     *   (`term`, `antecedents`, `antecedents[i]`).
      *
      * @remarks
      * A rule's id IS its conclusion term id, so an edit changes it by
@@ -60179,6 +60396,13 @@ interface DocumentStatsDto {
     documentTermId?: string | null;
     /** Number of entities extracted from text. */
     entitiesExtracted: number;
+    /**
+     * The extracted entities the declaration verdict refused, so they were not
+     * written. Every refusal is listed, in the same shape as the synchronous
+     * ingest response: a document can be `complete` while part of what was
+     * extracted from it was refused. Empty when none was refused.
+     */
+    entitiesRefused: RefusedEntityDto[];
     /** Processing time in milliseconds. */
     processingTimeMs: number;
     /** Number of relations extracted from text. */
@@ -61452,6 +61676,17 @@ interface IngestionSessionResponse {
  * Status of one document within an ingestion session.
  */
 type IngestionDocumentStatus = 'pending' | 'in_progress' | 'complete' | 'failed' | 'cancelled';
+/**
+ * Why one document of an ingestion session failed.
+ *
+ * @remarks
+ * The three version refusals are the same `code` the synchronous upload
+ * answers for the same refusal. `not_attempted` and `ingestion_failed` exist
+ * only on a session document; the synchronous upload answers those failures
+ * with no `code`. `ingestion_failed` covers both unparseable content and an
+ * engine fault, and {@link SessionDocument.error} says which.
+ */
+type SessionDocumentFailureCode = 'previous_document_not_found' | 'duplicate_document_version_conflict' | 'duplicate_version_without_registry' | 'not_attempted' | 'ingestion_failed';
 /**
  * What an RDF import wrote: the receipt of an RDF document of an asynchronous
  * `ingestRdf` session.
@@ -61496,6 +61731,11 @@ interface SessionDocument {
      * refusal. Present only when `status` is `failed`.
      */
     error?: string;
+    /**
+     * The typed reason {@link error} describes. Branch on this, not on the
+     * wording of `error`. Present only when `status` is `failed`.
+     */
+    errorCode?: SessionDocumentFailureCode;
     /** What the document's ingestion wrote. Present once `status` is `complete`. */
     receipt?: DocumentReceipt;
     /** Current status of the document. */
@@ -62414,6 +62654,7 @@ type ingestion_ReprocessFailedResponse = ReprocessFailedResponse;
 type ingestion_ResumeDocumentIngestionRequest = ResumeDocumentIngestionRequest;
 type ingestion_ResumeDocumentIngestionResponse = ResumeDocumentIngestionResponse;
 type ingestion_SessionDocument = SessionDocument;
+type ingestion_SessionDocumentFailureCode = SessionDocumentFailureCode;
 type ingestion_SessionProgressResponse = SessionProgressResponse;
 type ingestion_SessionStatsResponse = SessionStatsResponse;
 type ingestion_SkippedWebPage = SkippedWebPage;
@@ -62442,7 +62683,7 @@ type ingestion_WebSearchProvider = WebSearchProvider;
 type ingestion_WebSearchRequest = WebSearchRequest;
 type ingestion_WebSearchResponse = WebSearchResponse;
 declare namespace ingestion {
-  export type { ingestion_AlignmentStatsDto as AlignmentStatsDto, ingestion_AsyncBatchIngestionResponse as AsyncBatchIngestionResponse, ingestion_AsyncIngestionResponse as AsyncIngestionResponse, ingestion_AudioActionItem as AudioActionItem, ingestion_AudioJobStatus as AudioJobStatus, ingestion_AudioMetadata as AudioMetadata, ingestion_AudioOptions as AudioOptions, ingestion_AudioSource as AudioSource, ingestion_CandidateMatchDto as CandidateMatchDto, ingestion_ChunkFailureDto as ChunkFailureDto, ingestion_CircuitBreakerState as CircuitBreakerState, ingestion_CommunityStatsDto as CommunityStatsDto, ingestion_CrawlScope as CrawlScope, ingestion_DlqAbandonResponse as DlqAbandonResponse, ingestion_DlqCountResponse as DlqCountResponse, ingestion_DlqEntry as DlqEntry, ingestion_DlqEntryStatus as DlqEntryStatus, ingestion_DlqErrorCategory as DlqErrorCategory, ingestion_DlqListResponse as DlqListResponse, ingestion_DlqRetryErrorCode as DlqRetryErrorCode, ingestion_DlqRetryResponse as DlqRetryResponse, ingestion_DocumentBatchItem as DocumentBatchItem, ingestion_DocumentBatchResultDto as DocumentBatchResultDto, ingestion_DocumentMetadataDto as DocumentMetadataDto, ingestion_DocumentParseStatsDto as DocumentParseStatsDto, ingestion_DocumentParser as DocumentParser, ingestion_DocumentProgressDto as DocumentProgressDto, ingestion_DocumentReceipt as DocumentReceipt, ingestion_DocumentSource as DocumentSource, ingestion_DocumentStatsDto as DocumentStatsDto, ingestion_DocumentStatusCounts as DocumentStatusCounts, ingestion_DocumentType as DocumentType, ingestion_DocumentVersionErrorCode as DocumentVersionErrorCode, ingestion_DomSpeakerEvent as DomSpeakerEvent, ingestion_EntityMergeAuditDto as EntityMergeAuditDto, ingestion_EvidenceDerivationConfigDto as EvidenceDerivationConfigDto, ingestion_ExtractedAxiomDto as ExtractedAxiomDto, ingestion_ExtractionStrategy as ExtractionStrategy, ingestion_ExtractionStrategyAdaptive as ExtractionStrategyAdaptive, ingestion_ExtractionStrategyHybrid as ExtractionStrategyHybrid, ingestion_ExtractionStrategyLlm as ExtractionStrategyLlm, ingestion_ExtractionStrategyLocalNer as ExtractionStrategyLocalNer, ingestion_ExtractionStrategySchemaGuided as ExtractionStrategySchemaGuided, ingestion_GroundingStatsDto as GroundingStatsDto, ingestion_IncompleteDocumentDto as IncompleteDocumentDto, ingestion_IngestAudioRequest as IngestAudioRequest, ingestion_IngestAudioResponse as IngestAudioResponse, ingestion_IngestDocumentBatchRequest as IngestDocumentBatchRequest, ingestion_IngestDocumentBatchResponse as IngestDocumentBatchResponse, ingestion_IngestDocumentRequest as IngestDocumentRequest, ingestion_IngestDocumentResponse as IngestDocumentResponse, ingestion_IngestKifRequest as IngestKifRequest, ingestion_IngestKifResponse as IngestKifResponse, ingestion_IngestMarkdownBatchRequest as IngestMarkdownBatchRequest, ingestion_IngestMarkdownRequest as IngestMarkdownRequest, ingestion_IngestMarkdownResponse as IngestMarkdownResponse, ingestion_IngestRdfRequest as IngestRdfRequest, ingestion_IngestRdfResponse as IngestRdfResponse, ingestion_IngestUrlRequest as IngestUrlRequest, ingestion_IngestUrlResponse as IngestUrlResponse, ingestion_IngestUrlStoreFailure as IngestUrlStoreFailure, ingestion_IngestedWebPage as IngestedWebPage, ingestion_IngestionConfigDto as IngestionConfigDto, ingestion_IngestionDocumentStatus as IngestionDocumentStatus, ingestion_IngestionPollOptions as IngestionPollOptions, ingestion_IngestionSessionDetailResponse as IngestionSessionDetailResponse, ingestion_IngestionSessionResponse as IngestionSessionResponse, ingestion_IngestionSessionStatusDto as IngestionSessionStatusDto, ingestion_IngestionStatsDto as IngestionStatsDto, ingestion_IriRepair as IriRepair, ingestion_ListDlqRequest as ListDlqRequest, ingestion_ListIncompleteDocumentsResponse as ListIncompleteDocumentsResponse, ingestion_ListIngestionSessionsResponse as ListIngestionSessionsResponse, ingestion_MarkdownDocumentDto as MarkdownDocumentDto, ingestion_OcrConfigDto as OcrConfigDto, ingestion_OntologyVerifierStatsDto as OntologyVerifierStatsDto, ingestion_ParsedDocumentMetadataDto as ParsedDocumentMetadataDto, ingestion_PendingReviewDto as PendingReviewDto, ingestion_PipelineQualityStatsDto as PipelineQualityStatsDto, ingestion_QueueMetricsResponse as QueueMetricsResponse, ingestion_RdfFormatDto as RdfFormatDto, ingestion_RdfImportReceipt as RdfImportReceipt, ingestion_RecoverStuckRequest as RecoverStuckRequest, ingestion_RecoverStuckResponse as RecoverStuckResponse, ingestion_RefusedEntityDto as RefusedEntityDto, ingestion_ReprocessFailedRequest as ReprocessFailedRequest, ingestion_ReprocessFailedResponse as ReprocessFailedResponse, ingestion_ResumeDocumentIngestionRequest as ResumeDocumentIngestionRequest, ingestion_ResumeDocumentIngestionResponse as ResumeDocumentIngestionResponse, ingestion_SessionDocument as SessionDocument, ingestion_SessionProgressResponse as SessionProgressResponse, ingestion_SessionStatsResponse as SessionStatsResponse, ingestion_SkippedWebPage as SkippedWebPage, ingestion_SortPreview as SortPreview, ingestion_SortPreviewFeature as SortPreviewFeature, ingestion_SotaExtractionGateStatsDto as SotaExtractionGateStatsDto, ingestion_StartIngestionSessionRequest as StartIngestionSessionRequest, ingestion_StepLogEntryDto as StepLogEntryDto, ingestion_TokenUsageDto as TokenUsageDto, ingestion_TranscriptSegment as TranscriptSegment, ingestion_TranslateRdfRequest as TranslateRdfRequest, ingestion_TranslateRdfResponse as TranslateRdfResponse, ingestion_TranslatedRdfTermDto as TranslatedRdfTermDto, ingestion_UrlIngestionCapability as UrlIngestionCapability, ingestion_WebCapabilitiesResponse as WebCapabilitiesResponse, ingestion_WebIngestErrorCode as WebIngestErrorCode, ingestion_WebIngestStoreFailure as WebIngestStoreFailure, ingestion_WebIngestStoreStep as WebIngestStoreStep, ingestion_WebPageIngestStatus as WebPageIngestStatus, ingestion_WebPageRef as WebPageRef, ingestion_WebPageSkipCode as WebPageSkipCode, ingestion_WebSearchCapability as WebSearchCapability, ingestion_WebSearchErrorCode as WebSearchErrorCode, ingestion_WebSearchHit as WebSearchHit, ingestion_WebSearchProvider as WebSearchProvider, ingestion_WebSearchRequest as WebSearchRequest, ingestion_WebSearchResponse as WebSearchResponse };
+  export type { ingestion_AlignmentStatsDto as AlignmentStatsDto, ingestion_AsyncBatchIngestionResponse as AsyncBatchIngestionResponse, ingestion_AsyncIngestionResponse as AsyncIngestionResponse, ingestion_AudioActionItem as AudioActionItem, ingestion_AudioJobStatus as AudioJobStatus, ingestion_AudioMetadata as AudioMetadata, ingestion_AudioOptions as AudioOptions, ingestion_AudioSource as AudioSource, ingestion_CandidateMatchDto as CandidateMatchDto, ingestion_ChunkFailureDto as ChunkFailureDto, ingestion_CircuitBreakerState as CircuitBreakerState, ingestion_CommunityStatsDto as CommunityStatsDto, ingestion_CrawlScope as CrawlScope, ingestion_DlqAbandonResponse as DlqAbandonResponse, ingestion_DlqCountResponse as DlqCountResponse, ingestion_DlqEntry as DlqEntry, ingestion_DlqEntryStatus as DlqEntryStatus, ingestion_DlqErrorCategory as DlqErrorCategory, ingestion_DlqListResponse as DlqListResponse, ingestion_DlqRetryErrorCode as DlqRetryErrorCode, ingestion_DlqRetryResponse as DlqRetryResponse, ingestion_DocumentBatchItem as DocumentBatchItem, ingestion_DocumentBatchResultDto as DocumentBatchResultDto, ingestion_DocumentMetadataDto as DocumentMetadataDto, ingestion_DocumentParseStatsDto as DocumentParseStatsDto, ingestion_DocumentParser as DocumentParser, ingestion_DocumentProgressDto as DocumentProgressDto, ingestion_DocumentReceipt as DocumentReceipt, ingestion_DocumentSource as DocumentSource, ingestion_DocumentStatsDto as DocumentStatsDto, ingestion_DocumentStatusCounts as DocumentStatusCounts, ingestion_DocumentType as DocumentType, ingestion_DocumentVersionErrorCode as DocumentVersionErrorCode, ingestion_DomSpeakerEvent as DomSpeakerEvent, ingestion_EntityMergeAuditDto as EntityMergeAuditDto, ingestion_EvidenceDerivationConfigDto as EvidenceDerivationConfigDto, ingestion_ExtractedAxiomDto as ExtractedAxiomDto, ingestion_ExtractionStrategy as ExtractionStrategy, ingestion_ExtractionStrategyAdaptive as ExtractionStrategyAdaptive, ingestion_ExtractionStrategyHybrid as ExtractionStrategyHybrid, ingestion_ExtractionStrategyLlm as ExtractionStrategyLlm, ingestion_ExtractionStrategyLocalNer as ExtractionStrategyLocalNer, ingestion_ExtractionStrategySchemaGuided as ExtractionStrategySchemaGuided, ingestion_GroundingStatsDto as GroundingStatsDto, ingestion_IncompleteDocumentDto as IncompleteDocumentDto, ingestion_IngestAudioRequest as IngestAudioRequest, ingestion_IngestAudioResponse as IngestAudioResponse, ingestion_IngestDocumentBatchRequest as IngestDocumentBatchRequest, ingestion_IngestDocumentBatchResponse as IngestDocumentBatchResponse, ingestion_IngestDocumentRequest as IngestDocumentRequest, ingestion_IngestDocumentResponse as IngestDocumentResponse, ingestion_IngestKifRequest as IngestKifRequest, ingestion_IngestKifResponse as IngestKifResponse, ingestion_IngestMarkdownBatchRequest as IngestMarkdownBatchRequest, ingestion_IngestMarkdownRequest as IngestMarkdownRequest, ingestion_IngestMarkdownResponse as IngestMarkdownResponse, ingestion_IngestRdfRequest as IngestRdfRequest, ingestion_IngestRdfResponse as IngestRdfResponse, ingestion_IngestUrlRequest as IngestUrlRequest, ingestion_IngestUrlResponse as IngestUrlResponse, ingestion_IngestUrlStoreFailure as IngestUrlStoreFailure, ingestion_IngestedWebPage as IngestedWebPage, ingestion_IngestionConfigDto as IngestionConfigDto, ingestion_IngestionDocumentStatus as IngestionDocumentStatus, ingestion_IngestionPollOptions as IngestionPollOptions, ingestion_IngestionSessionDetailResponse as IngestionSessionDetailResponse, ingestion_IngestionSessionResponse as IngestionSessionResponse, ingestion_IngestionSessionStatusDto as IngestionSessionStatusDto, ingestion_IngestionStatsDto as IngestionStatsDto, ingestion_IriRepair as IriRepair, ingestion_ListDlqRequest as ListDlqRequest, ingestion_ListIncompleteDocumentsResponse as ListIncompleteDocumentsResponse, ingestion_ListIngestionSessionsResponse as ListIngestionSessionsResponse, ingestion_MarkdownDocumentDto as MarkdownDocumentDto, ingestion_OcrConfigDto as OcrConfigDto, ingestion_OntologyVerifierStatsDto as OntologyVerifierStatsDto, ingestion_ParsedDocumentMetadataDto as ParsedDocumentMetadataDto, ingestion_PendingReviewDto as PendingReviewDto, ingestion_PipelineQualityStatsDto as PipelineQualityStatsDto, ingestion_QueueMetricsResponse as QueueMetricsResponse, ingestion_RdfFormatDto as RdfFormatDto, ingestion_RdfImportReceipt as RdfImportReceipt, ingestion_RecoverStuckRequest as RecoverStuckRequest, ingestion_RecoverStuckResponse as RecoverStuckResponse, ingestion_RefusedEntityDto as RefusedEntityDto, ingestion_ReprocessFailedRequest as ReprocessFailedRequest, ingestion_ReprocessFailedResponse as ReprocessFailedResponse, ingestion_ResumeDocumentIngestionRequest as ResumeDocumentIngestionRequest, ingestion_ResumeDocumentIngestionResponse as ResumeDocumentIngestionResponse, ingestion_SessionDocument as SessionDocument, ingestion_SessionDocumentFailureCode as SessionDocumentFailureCode, ingestion_SessionProgressResponse as SessionProgressResponse, ingestion_SessionStatsResponse as SessionStatsResponse, ingestion_SkippedWebPage as SkippedWebPage, ingestion_SortPreview as SortPreview, ingestion_SortPreviewFeature as SortPreviewFeature, ingestion_SotaExtractionGateStatsDto as SotaExtractionGateStatsDto, ingestion_StartIngestionSessionRequest as StartIngestionSessionRequest, ingestion_StepLogEntryDto as StepLogEntryDto, ingestion_TokenUsageDto as TokenUsageDto, ingestion_TranscriptSegment as TranscriptSegment, ingestion_TranslateRdfRequest as TranslateRdfRequest, ingestion_TranslateRdfResponse as TranslateRdfResponse, ingestion_TranslatedRdfTermDto as TranslatedRdfTermDto, ingestion_UrlIngestionCapability as UrlIngestionCapability, ingestion_WebCapabilitiesResponse as WebCapabilitiesResponse, ingestion_WebIngestErrorCode as WebIngestErrorCode, ingestion_WebIngestStoreFailure as WebIngestStoreFailure, ingestion_WebIngestStoreStep as WebIngestStoreStep, ingestion_WebPageIngestStatus as WebPageIngestStatus, ingestion_WebPageRef as WebPageRef, ingestion_WebPageSkipCode as WebPageSkipCode, ingestion_WebSearchCapability as WebSearchCapability, ingestion_WebSearchErrorCode as WebSearchErrorCode, ingestion_WebSearchHit as WebSearchHit, ingestion_WebSearchProvider as WebSearchProvider, ingestion_WebSearchRequest as WebSearchRequest, ingestion_WebSearchResponse as WebSearchResponse };
 }
 
 /**
@@ -73177,7 +73418,11 @@ interface DocumentResult {
     ruleResults: DocumentRuleResult[];
     /** Entities extracted from the document. */
     extractedEntities: DocumentExtractedEntity[];
-    /** LLM-generated summary of the document's compliance. */
+    /**
+     * The engine's deterministic summary of the result: the count of rules per
+     * status, the withheld verdicts, the critical failures and the reason for
+     * the score. No LLM writes it.
+     */
     summary: string;
     /**
      * The part of the document that extraction and every rule evaluation read.
@@ -83545,6 +83790,29 @@ interface SortRefSelectProps {
     /** The binding key that holds an option's label. */
     labelKey: 'label';
 }
+/**
+ * Why a data load produced no rows. A client branches on the code, never on
+ * the wording of the message.
+ */
+type DataLoadErrorCode = 'data_load_writes' | 'osfql_parse_error' | 'osfql_compile_error' | 'osfql_execution_failed';
+/**
+ * A failed data load: the code, the engine's message, and the query that
+ * failed.
+ *
+ * @remarks
+ * `/ui/describe` reports it as `stats.dataLoadError`; `/ui/generate` lists one
+ * per failed data source in `dataLoadErrors`, keyed by `query` like
+ * `dataSources`. A data load runs read-only OSFQL, so a query that writes the
+ * store fails with `data_load_writes`.
+ */
+interface DataLoadError {
+    /** Why the load failed. */
+    code: DataLoadErrorCode;
+    /** The engine's description of the failure, for a person to read. */
+    message: string;
+    /** The OSFQL query that failed. */
+    query: string;
+}
 /** Assembly statistics for a UI describe response. */
 interface UIAssemblyStatsDto {
     componentCount: number;
@@ -83552,13 +83820,13 @@ interface UIAssemblyStatsDto {
     /** How many features have a value control; a feature shown only as a `text` notice is not counted. */
     includedFeatures: number;
     /**
-     * The OSFQL the data load ran.
-     *
-     * @remarks
-     * A data load runs read-only OSFQL. When the query writes the store, the load
-     * is refused without an exception and this value starts with `FAILED:`
-     * (`FAILED: <query> — a data load runs read-only OSFQL, and this query writes the store; run it through POST /api/v1/ui/action or POST /api/v1/osfql`). Read it as a refused load, not as an
-     * empty result.
+     * Why the view's data load failed, when it did. The view still renders,
+     * without rows. Branch on {@link DataLoadError.code}, not on the message.
+     */
+    dataLoadError?: DataLoadError;
+    /**
+     * The OSFQL query that ran and loaded {@link dataRows} rows. Absent when no
+     * query ran or when the load failed; a failure is {@link dataLoadError}.
      */
     osfqlExecuted?: string | null;
     sortName: string;
@@ -83650,20 +83918,20 @@ interface UIActionRequest {
     /** Catalog statement id echoed from the descriptor action — audit/trace only. */
     statementId?: string | null;
     /**
-     * The term to act on. For every `update_form`, and for `delete_record` with
-     * no `osfqlTemplate`, it must be a term id (a UUID): the engine retracts
-     * exactly that term, and refuses any other value with 400. A data view's
-     * row carries this id in the column its descriptor's `props.rowKey` names
+     * The term to act on. A `delete_record` with no `osfqlTemplate` retracts
+     * exactly the term this id names, and an `update_form` edits it; both are
+     * refused with 400 when the value is not a UUID. A data view's row carries
+     * this id in the column its descriptor's `props.rowKey` names
      * (`__osf_term_id` for the engine-generated query, the query's own identity
      * variable for a custom one). A view with no `rowKey` has rows with no term
      * id. Do not hard-code `__osf_term_id`.
      *
      * @remarks
-     * `update_form` identifies the row by this id alone: the engine runs
-     * `RETRACT <sort>(__osf_term_id: "<termId>"); INSERT <sort>(…)` as one
-     * atomic program. An `update_form` whose term is held under another sort
-     * than {@link sortName} (a subsort term edited through its supersort) is
-     * refused with 400: edit it through its own sort.
+     * An `update_form` edits the term in place: it sets each value sent, removes
+     * each feature sent as `null`, and the term keeps its id, its own sort and
+     * every feature not sent. It is refused with 400 when the tenant holds no
+     * term under the id, or when {@link sortName} does not subsume the term's own
+     * sort.
      */
     termId?: string | null;
     /** Feature name → value. Sent verbatim at every depth. */
@@ -83694,19 +83962,22 @@ interface AffectedPreviewDto {
      * How many rows the program would remove or rewrite: the sum of every
      * statement's `affected.count` in {@link statements}, nested statements
      * included. A statement with no affected-row set (a read, an `INSERT`) adds
-     * nothing.
+     * nothing, and so does a statement the run refuses (its `refusal`). A
+     * refused top-level statement, or an `atomic_refusal`, makes the count `0`:
+     * a UI action is all-or-nothing, so the run removes nothing.
      */
     count: number;
     /**
      * Whether {@link count} is the answer rather than an upper bound or a partial
      * sum: `false` when any statement's count is an upper bound
-     * (`affected.exact: false`) or could not be computed (`affectedError`).
+     * (`affected.exact: false`) or could not be computed (`affectedError`), or
+     * when a nested statement the run would refuse may not run at all.
      */
     exact: boolean;
     /**
      * Whether ANY statement of the program writes the store — an `INSERT`
-     * included, so an `update_form` whose `RETRACT` matches nothing still
-     * answers `true`.
+     * included, so a program whose `RETRACT` matches nothing still answers
+     * `true` when its `INSERT` writes.
      */
     mutates: boolean;
     /**
@@ -83954,6 +84225,12 @@ interface UIGenerateResponse {
     suggestions?: string[];
     /** Engine-loaded rows for each `data_source` query, so each table of a multi-table UI has its own data. */
     dataSources?: UIDataSourcePayload[];
+    /**
+     * One entry for each `data_source` query whose load failed, keyed by `query`
+     * like {@link dataSources}. A failed source has no entry in `dataSources`;
+     * the spec still renders.
+     */
+    dataLoadErrors?: DataLoadError[];
     /** Per-intent resolution record. Catalog pipeline only. */
     intents?: UIGenerateIntent[];
     /** Per-stage catalog-pipeline trace, when requested with {@link UIGenerateRequest.trace}. */
@@ -83987,6 +84264,8 @@ interface UICatalogResponse {
 }
 
 type ui_AffectedPreviewDto = AffectedPreviewDto;
+type ui_DataLoadError = DataLoadError;
+type ui_DataLoadErrorCode = DataLoadErrorCode;
 type ui_LayoutModeDto = LayoutModeDto;
 type ui_LayoutSlotDto = LayoutSlotDto;
 type ui_LayoutSurfaceDto = LayoutSurfaceDto;
@@ -84015,7 +84294,7 @@ type ui_UiSort = UiSort;
 type ui_ValidationRuleDto = ValidationRuleDto;
 type ui_ValidationTypeDto = ValidationTypeDto;
 declare namespace ui {
-  export type { ui_AffectedPreviewDto as AffectedPreviewDto, ui_LayoutModeDto as LayoutModeDto, ui_LayoutSlotDto as LayoutSlotDto, ui_LayoutSurfaceDto as LayoutSurfaceDto, ui_RiskTier as RiskTier, ui_SortRefSelectProps as SortRefSelectProps, ui_UIActionDto as UIActionDto, ui_UIActionRequest as UIActionRequest, ui_UIActionResponse as UIActionResponse, ui_UIAssemblyStatsDto as UIAssemblyStatsDto, ui_UICatalogEntry as UICatalogEntry, ui_UICatalogResponse as UICatalogResponse, UICustomizationDto$1 as UICustomizationDto, ui_UIDataPayload as UIDataPayload, ui_UIDataSourcePayload as UIDataSourcePayload, ui_UIDescribeRequest as UIDescribeRequest, ui_UIDescribeResponse as UIDescribeResponse, ui_UIDescriptorDto as UIDescriptorDto, ui_UIGenerateIntent as UIGenerateIntent, ui_UIGenerateRequest as UIGenerateRequest, ui_UIGenerateResponse as UIGenerateResponse, ui_UIGenerateVerdict as UIGenerateVerdict, ui_UIPageListResponse as UIPageListResponse, ui_UIPageSummary as UIPageSummary, ui_UIPipelineStageTrace as UIPipelineStageTrace, ui_UIResultShape as UIResultShape, ui_UiSort as UiSort, ui_ValidationRuleDto as ValidationRuleDto, ui_ValidationTypeDto as ValidationTypeDto };
+  export type { ui_AffectedPreviewDto as AffectedPreviewDto, ui_DataLoadError as DataLoadError, ui_DataLoadErrorCode as DataLoadErrorCode, ui_LayoutModeDto as LayoutModeDto, ui_LayoutSlotDto as LayoutSlotDto, ui_LayoutSurfaceDto as LayoutSurfaceDto, ui_RiskTier as RiskTier, ui_SortRefSelectProps as SortRefSelectProps, ui_UIActionDto as UIActionDto, ui_UIActionRequest as UIActionRequest, ui_UIActionResponse as UIActionResponse, ui_UIAssemblyStatsDto as UIAssemblyStatsDto, ui_UICatalogEntry as UICatalogEntry, ui_UICatalogResponse as UICatalogResponse, UICustomizationDto$1 as UICustomizationDto, ui_UIDataPayload as UIDataPayload, ui_UIDataSourcePayload as UIDataSourcePayload, ui_UIDescribeRequest as UIDescribeRequest, ui_UIDescribeResponse as UIDescribeResponse, ui_UIDescriptorDto as UIDescriptorDto, ui_UIGenerateIntent as UIGenerateIntent, ui_UIGenerateRequest as UIGenerateRequest, ui_UIGenerateResponse as UIGenerateResponse, ui_UIGenerateVerdict as UIGenerateVerdict, ui_UIPageListResponse as UIPageListResponse, ui_UIPageSummary as UIPageSummary, ui_UIPipelineStageTrace as UIPipelineStageTrace, ui_UIResultShape as UIResultShape, ui_UiSort as UiSort, ui_ValidationRuleDto as ValidationRuleDto, ui_ValidationTypeDto as ValidationTypeDto };
 }
 
 /**
@@ -84490,6 +84769,54 @@ interface UICustomizationDto {
     /** Additional params (label, column name, style values, etc.). */
     params?: object | null;
 }
+/** A projected feature the engine dropped because its sort does not record it. */
+interface SkippedFeature {
+    /** The feature the sort does not record. */
+    feature: string;
+    /** The sort the query read. */
+    sort: string;
+}
+/** A literal filter the engine replaced by the closest value in the data. */
+interface ValueSubstitution {
+    /** The feature that carries the filter. */
+    feature: string;
+    /** The literal the query held. It matched no record. */
+    from: string;
+    /** The sort whose records supplied the value. */
+    sort: string;
+    /** The value in the data that replaced it. */
+    to: string;
+}
+/**
+ * One thing the engine did to a conversation question before it answered.
+ *
+ * @remarks
+ * Every notice is a substitution the user must see: the executed query is not
+ * the question as the model translated it. `message` is the one-line,
+ * user-facing sentence; the other fields carry the same facts as data.
+ * Discriminated on `kind`.
+ */
+type ConversationNotice = {
+    kind: 'pruned_features';
+    /** The user-facing sentence. */
+    message: string;
+    /** Each `(sort, feature)` projection the engine dropped. */
+    skipped: SkippedFeature[];
+} | {
+    kind: 'value_grounding';
+    /** The user-facing sentence. */
+    message: string;
+    /** Each literal and the data value that replaced it. */
+    substitutions: ValueSubstitution[];
+} | {
+    kind: 'retrieval_rescue';
+    /** The user-facing sentence. */
+    message: string;
+    /** The number of records the retrieval returned. */
+    recordCount: number;
+    /** The sorts the retrieval searched, in statement order. */
+    sorts: string[];
+};
 /**
  * Response from processing a conversation message.
  *
@@ -84515,14 +84842,18 @@ interface ConversationMessageResponse {
     /** OSFQL that was executed (if any). */
     osfqlExecuted?: string | null;
     /**
-     * True when {@link osfqlExecuted} is a constrained-regeneration *repair* of a query the
-     * certify-or-abstain gate first rejected as hallucinated. Lets the UI surface that the answer
-     * reflects a corrected query rather than the user's literal request.
+     * True when the engine rewrote the LLM-proposed query before it executed it: a
+     * constrained-regeneration *repair* of a query the certify-or-abstain gate rejected as
+     * hallucinated, a projection prune, a value grounding, the retrieval rescue, or the no-code
+     * builder's `DEFINE` of each sort the program asserts into and the tenant does not have. Lets
+     * the UI surface that the answer reflects a rewritten query rather than the user's literal
+     * request. {@link notices} says what a prune, a value grounding or a retrieval rescue did; the
+     * builder changes no answer, and the `originalOsfql → osfqlExecuted` diff shows its `DEFINE`s.
      */
     repaired?: boolean;
     /**
-     * The original, rejected OSFQL the LLM first proposed. Always set when {@link repaired} is
-     * true, and absent otherwise. Pairs with {@link osfqlExecuted} so the UI can show the
+     * The OSFQL the LLM first proposed. Always set when {@link repaired} is true, and absent
+     * otherwise. Pairs with {@link osfqlExecuted} (the rewrite) so the UI can show the
      * `original → executed` diff.
      */
     originalOsfql?: string | null;
@@ -84533,13 +84864,25 @@ interface ConversationMessageResponse {
     /** Sort ID referenced in the message (for UI rendering). */
     uiSortId?: string | null;
     /**
-     * Contextual OSFQL suggestions for follow-up queries.
+     * Follow-up suggestions: questions or OSFQL the user may send next.
      *
      * @remarks
-     * On a rescued turn, `suggestions[0]` is the notice sentence that starts
-     * `No exact match`, not a follow-up query. Show it as a notice.
+     * Holds only suggestions. What the engine did to the question before it
+     * answered is in {@link notices}, never here.
      */
     suggestions: string[];
+    /**
+     * What the engine did to the question before it answered it, in the order
+     * it did it: features it skipped, literals it resolved to values in the
+     * data, or a retrieval by meaning that stands in for an exact match. Empty
+     * when the answer is to the question as asked.
+     *
+     * @remarks
+     * Each notice is typed by `kind` and carries its data. Show a notice as a
+     * notice, not as a clickable suggestion, and branch on `kind`, never on the
+     * English `message`.
+     */
+    notices: ConversationNotice[];
     /** Per-claim provenance annotations (if claims were annotated). */
     claimAnnotations?: ClaimAnnotationDto[] | null;
     /** Proof tree for this response (populated when PROVE / backward chaining was used). */
@@ -84978,6 +85321,7 @@ type conversation_ConversationAnswerFeedbackResponse = ConversationAnswerFeedbac
 type conversation_ConversationKind = ConversationKind;
 type conversation_ConversationMessageRequest = ConversationMessageRequest;
 type conversation_ConversationMessageResponse = ConversationMessageResponse;
+type conversation_ConversationNotice = ConversationNotice;
 type conversation_ConversationStreamDoneEvent = ConversationStreamDoneEvent;
 type conversation_ConversationStreamErrorEvent = ConversationStreamErrorEvent;
 type conversation_ConversationStreamEvent = ConversationStreamEvent;
@@ -85007,11 +85351,13 @@ type conversation_RecordableConversationKind = RecordableConversationKind;
 type conversation_ResolvedCoreferenceDto = ResolvedCoreferenceDto;
 type conversation_SchemaExcerptDto = SchemaExcerptDto;
 type conversation_SessionGraphDto = SessionGraphDto;
+type conversation_SkippedFeature = SkippedFeature;
 type conversation_TurnDto = TurnDto;
 type conversation_TurnFeedback = TurnFeedback;
 type conversation_UICustomizationDto = UICustomizationDto;
+type conversation_ValueSubstitution = ValueSubstitution;
 declare namespace conversation {
-  export type { conversation_AnswerRating as AnswerRating, conversation_CitationCheckDto as CitationCheckDto, conversation_ClaimAnnotationDto as ClaimAnnotationDto, conversation_CognitiveStrategyDto as CognitiveStrategyDto, conversation_CompareModelDto as CompareModelDto, conversation_ConversationAnswerFeedbackRequest as ConversationAnswerFeedbackRequest, conversation_ConversationAnswerFeedbackResponse as ConversationAnswerFeedbackResponse, conversation_ConversationKind as ConversationKind, conversation_ConversationMessageRequest as ConversationMessageRequest, conversation_ConversationMessageResponse as ConversationMessageResponse, conversation_ConversationStreamDoneEvent as ConversationStreamDoneEvent, conversation_ConversationStreamErrorEvent as ConversationStreamErrorEvent, conversation_ConversationStreamEvent as ConversationStreamEvent, conversation_ConversationStreamTokenEvent as ConversationStreamTokenEvent, conversation_ConversationSummaryDto as ConversationSummaryDto, conversation_ConversationTurnsResponse as ConversationTurnsResponse, conversation_DerivationSummaryDto as DerivationSummaryDto, conversation_FocusEntryDto as FocusEntryDto, conversation_InjectionPolicy as InjectionPolicy, conversation_InjectionSummary as InjectionSummary, conversation_ListConversationsQuery as ListConversationsQuery, conversation_ListConversationsResponse as ListConversationsResponse, conversation_LlmContextFeature as LlmContextFeature, conversation_LlmContextPreference as LlmContextPreference, conversation_LlmContextSort as LlmContextSort, conversation_LlmContextTrace as LlmContextTrace, conversation_LlmContextTurn as LlmContextTurn, conversation_MatchedEntityDto as MatchedEntityDto, conversation_PromptTrace as PromptTrace, conversation_ProofTraceNodeDto as ProofTraceNodeDto, conversation_QueryTemplate as QueryTemplate, conversation_ReasoningStageDto as ReasoningStageDto, conversation_ReasoningTraceDto as ReasoningTraceDto, conversation_RecordTurnRequest as RecordTurnRequest, conversation_RecordTurnResponse as RecordTurnResponse, conversation_RecordableConversationKind as RecordableConversationKind, conversation_ResolvedCoreferenceDto as ResolvedCoreferenceDto, conversation_SchemaExcerptDto as SchemaExcerptDto, conversation_SessionGraphDto as SessionGraphDto, SourceExcerptDto$1 as SourceExcerptDto, conversation_TurnDto as TurnDto, conversation_TurnFeedback as TurnFeedback, conversation_UICustomizationDto as UICustomizationDto };
+  export type { conversation_AnswerRating as AnswerRating, conversation_CitationCheckDto as CitationCheckDto, conversation_ClaimAnnotationDto as ClaimAnnotationDto, conversation_CognitiveStrategyDto as CognitiveStrategyDto, conversation_CompareModelDto as CompareModelDto, conversation_ConversationAnswerFeedbackRequest as ConversationAnswerFeedbackRequest, conversation_ConversationAnswerFeedbackResponse as ConversationAnswerFeedbackResponse, conversation_ConversationKind as ConversationKind, conversation_ConversationMessageRequest as ConversationMessageRequest, conversation_ConversationMessageResponse as ConversationMessageResponse, conversation_ConversationNotice as ConversationNotice, conversation_ConversationStreamDoneEvent as ConversationStreamDoneEvent, conversation_ConversationStreamErrorEvent as ConversationStreamErrorEvent, conversation_ConversationStreamEvent as ConversationStreamEvent, conversation_ConversationStreamTokenEvent as ConversationStreamTokenEvent, conversation_ConversationSummaryDto as ConversationSummaryDto, conversation_ConversationTurnsResponse as ConversationTurnsResponse, conversation_DerivationSummaryDto as DerivationSummaryDto, conversation_FocusEntryDto as FocusEntryDto, conversation_InjectionPolicy as InjectionPolicy, conversation_InjectionSummary as InjectionSummary, conversation_ListConversationsQuery as ListConversationsQuery, conversation_ListConversationsResponse as ListConversationsResponse, conversation_LlmContextFeature as LlmContextFeature, conversation_LlmContextPreference as LlmContextPreference, conversation_LlmContextSort as LlmContextSort, conversation_LlmContextTrace as LlmContextTrace, conversation_LlmContextTurn as LlmContextTurn, conversation_MatchedEntityDto as MatchedEntityDto, conversation_PromptTrace as PromptTrace, conversation_ProofTraceNodeDto as ProofTraceNodeDto, conversation_QueryTemplate as QueryTemplate, conversation_ReasoningStageDto as ReasoningStageDto, conversation_ReasoningTraceDto as ReasoningTraceDto, conversation_RecordTurnRequest as RecordTurnRequest, conversation_RecordTurnResponse as RecordTurnResponse, conversation_RecordableConversationKind as RecordableConversationKind, conversation_ResolvedCoreferenceDto as ResolvedCoreferenceDto, conversation_SchemaExcerptDto as SchemaExcerptDto, conversation_SessionGraphDto as SessionGraphDto, conversation_SkippedFeature as SkippedFeature, SourceExcerptDto$1 as SourceExcerptDto, conversation_TurnDto as TurnDto, conversation_TurnFeedback as TurnFeedback, conversation_UICustomizationDto as UICustomizationDto, conversation_ValueSubstitution as ValueSubstitution };
 }
 
 /**
@@ -85171,6 +85517,28 @@ declare class ConversationClient {
      * ```
      */
     listConversations(query?: ListConversationsQuery, requestOptions?: RequestOptions): Promise<ListConversationsResponse>;
+    /**
+     * Read one conversation's summary: the row {@link listConversations}
+     * returns for it.
+     *
+     * @param conversationId - The conversation ID.
+     * @param requestOptions - Per-call transport overrides.
+     * @returns The summary, with its `kind` and `title`.
+     * @throws {BadRequestError} `400` if the ID is malformed.
+     * @throws {NotFoundError} `404` if the conversation is not the caller's.
+     * @throws {ApiError} If the request fails.
+     *
+     * @remarks
+     * Uses GET `/api/v1/conversation/{id}`. A caller that resumes a conversation
+     * by ID learns its `kind` and `title` here without reading the whole listing.
+     *
+     * @example
+     * ```typescript
+     * const summary = await client.conversation.getConversation('conv-uuid');
+     * console.log(`${summary.kind}: ${summary.title ?? '(untitled)'}`);
+     * ```
+     */
+    getConversation(conversationId: string, requestOptions?: RequestOptions): Promise<ConversationSummaryDto>;
     /**
      * List the registered comparison models so the UI can populate a
      * selector / compare panel.
@@ -87346,7 +87714,7 @@ declare class Ui<SecurityDataType = unknown> {
      */
     describeUi: (data: UIDescribeRequest$1, params?: RequestParams) => Promise<HttpResponse<UIDescribeResponse$1, void>>;
     /**
-     * @description Events: - `layout_ready` — LayoutSurface JSON - `component_ready` — {slot_id, descriptor} JSON - `data_chunk` — {slot_id, data} JSON (if data was loaded) - `complete` — {} POST /api/v1/ui/describe/stream
+     * @description Events: - `layout_ready` — LayoutSurface JSON - `component_ready` — {slot_id, descriptor} JSON - `data_chunk` — {slot_id, data} JSON (if data was loaded) - `data_load_error` — {slot_id, error} JSON (if the data load failed; the error carries the typed `code`, `message` and `query`, #475) - `complete` — {} POST /api/v1/ui/describe/stream
      *
      * @tags ui
      * @name DescribeUiStream
@@ -87430,10 +87798,12 @@ declare class UiClient {
      * keys inside them — `params`, `props_override`, a `component`'s `props`
      * (`dataKey`) and `initial_values` — reach the engine exactly as written.
      *
-     * The data load runs read-only OSFQL. A query that writes the store is
-     * refused without an exception: the answer's `stats.osfqlExecuted` starts
-     * with `FAILED:` (`FAILED: <query> — a data load runs read-only OSFQL, and this query writes the store; run it through POST /api/v1/ui/action or POST /api/v1/osfql`) and no rows load. Read a `FAILED:` value as a refused
-     * load, not as an empty result.
+     * The data load runs read-only OSFQL. A load that fails, including a query
+     * that writes the store, does not throw: the view renders without rows,
+     * `stats.dataLoadError` carries the typed `code`, the `message` and the
+     * `query`, and `stats.osfqlExecuted` is absent. Branch on `code`
+     * (`data_load_writes`, `osfql_parse_error`, `osfql_compile_error`,
+     * `osfql_execution_failed`), not on the message.
      *
      * A data view (table, graph, chart, map, timeline, matrix) names in
      * `props.rowKey` the column in which each loaded row carries its term's id.
@@ -87467,8 +87837,8 @@ declare class UiClient {
      *   `delete_record` template, is not a UUID; if a `"sort_ref"` field's sort
      *   declares no entity range; if `sortName` names no sort of the tenant or
      *   contains a backtick; if `values` names a feature the sort does not
-     *   declare; if an `update_form`'s term is held under another sort than
-     *   `sortName`; or if the request is malformed otherwise.
+     *   declare; if an `update_form` names a term the tenant does not hold, or a
+     *   term whose own sort `sortName` does not subsume; or if the request is malformed otherwise.
      * @throws {ApiError} If the request fails otherwise.
      *
      * @remarks
@@ -87532,8 +87902,8 @@ declare class UiClient {
      * endpoint abstains with live-schema suggestions. Data rows always come from OSFQL
      * execution after certification — never from the model. The data source runs
      * read-only OSFQL: a load query that writes the store is refused without an
-     * exception, and the load reports `FAILED: <query> — a data load runs read-only
-     * OSFQL, …` instead of rows.
+     * exception, and the failure is a `dataLoadErrors` entry (typed `code`,
+     * `message`, `query`) instead of rows.
      *
      * A certified single-pattern data query is bound to its rows' term ids: the
      * engine adds the identity binding to its root pattern (a note in
@@ -100528,8 +100898,9 @@ declare class AguiClient {
      *
      * A data load the run performs executes read-only OSFQL. A load query that
      * writes the store is refused without an exception or a `RUN_ERROR`: the
-     * load reports `FAILED: <query> — a data load runs read-only OSFQL, …` in
-     * place of rows.
+     * run emits a `CUSTOM` event named `osfkb.data_load_error` whose `value` is
+     * `{ code, message, query }`, and the `STATE_SNAPSHOT` carries the same
+     * object at `osfkb.dataLoadError`; branch on `code`. No rows are loaded.
      *
      * @example
      * ```typescript
@@ -101563,7 +101934,7 @@ declare class Conformal<SecurityDataType = unknown> {
     http: HttpClient<SecurityDataType>;
     constructor(http: HttpClient<SecurityDataType>);
     /**
-     * @description Compute a split-conformal non-conformity threshold from a labeled calibration set.  Returns the threshold `τ` and a coverage certificate. The returned `threshold` should be passed verbatim to `POST /api/v1/conformal/predict`.
+     * @description Compute a split-conformal non-conformity threshold from a labeled calibration set. Returns `τ` and an in-sample coverage check. The returned `threshold` should be passed verbatim to `POST /api/v1/conformal/predict`.
      *
      * @tags conformal
      * @name CalibrateConformal
@@ -101572,7 +101943,7 @@ declare class Conformal<SecurityDataType = unknown> {
      */
     calibrateConformal: (data: ConformalCalibrateRequest$1, params?: RequestParams) => Promise<HttpResponse<ConformalCalibrateResponse$1, void>>;
     /**
-     * @description Apply a pre-computed conformal threshold to unlabeled test inputs and return prediction sets with coverage certificates. A class `y` is included in an input's prediction set iff `1 − class_scores[y] ≤ threshold` (equivalently, `class_scores[y] ≥ 1 − threshold`). When no class meets this criterion the prediction set is empty and `abstains = true` is set on that input's result.
+     * @description Apply a pre-computed conformal threshold to unlabeled test inputs and return prediction sets with explicitly unverified supplied parameters. A class `y` is included in an input's prediction set iff `1 − class_scores[y] ≤ threshold`, evaluated in that score space. When no class meets this criterion the prediction set is empty and `abstains = true` is set on that input's result.
      *
      * @tags conformal
      * @name Predict
@@ -101587,9 +101958,9 @@ declare class Conformal<SecurityDataType = unknown> {
  * `POST /api/v1/conformal/predict`.
  *
  * A two-endpoint flow: first `calibrate` computes a non-conformity
- * threshold `τ` from a labeled calibration set (returning a coverage
- * certificate), then `predict` applies `τ` to unlabeled test inputs and
- * returns per-input prediction sets with coverage certificates.
+ * threshold `τ` from a labeled calibration set, then `predict` applies
+ * `τ` to unlabeled test inputs. Supplied calibration parameters remain
+ * unverified: this stateless flow does not authenticate their provenance.
  *
  * @module
  */
@@ -101631,7 +102002,7 @@ interface ConformalCalibrateRequest {
 }
 /** Response of `POST /api/v1/conformal/calibrate`. */
 interface ConformalCalibrateResponse {
-    /** Algorithm tag (`"split-conformal"`). */
+    /** Algorithm tag (`"split-conformal-v2"`). */
     algorithm: string;
     /** Target miscoverage `α` echoed from the request. */
     alpha: number;
@@ -101640,6 +102011,8 @@ interface ConformalCalibrateResponse {
      * should be ≥ `1 − α` by construction).
      */
     empiricalCoverage: number;
+    /** Whether the threshold restricts the bounded score universe. */
+    informative: boolean;
     /**
      * `true` if the empirical coverage on the calibration set meets the
      * target `1 − α` (should always be true for a valid calibration).
@@ -101648,14 +102021,13 @@ interface ConformalCalibrateResponse {
     /** Number of calibration samples consumed. */
     nSamples: number;
     /**
-     * 1-based rank of the chosen quantile in the sorted non-conformity
-     * score list. Informational.
+     * One-based rank, including the unobserved `nSamples + 1` full-set rank.
      */
     quantileRank: number;
     /**
      * Computed non-conformity threshold `τ`. Pass this to `predict`.
-     * A test input whose top-class non-conformity score ≤ `τ` is
-     * predicted as covered.
+     * Each supplied candidate label is included when its own score
+     * `1 - p` is at most `τ`. Threshold 1 includes every supplied label.
      */
     threshold: number;
 }
@@ -101680,13 +102052,12 @@ interface TestInput {
 /** Body of `POST /api/v1/conformal/predict` — apply a pre-computed `τ`. */
 interface ConformalPredictRequest {
     /**
-     * Target miscoverage `α` used during calibration (echoed into the
-     * coverage certificate).
+     * Caller-declared target miscoverage `α` used during calibration.
      */
     alpha: number;
     /**
-     * Number of calibration samples that produced the threshold (used to
-     * populate the certificate).
+     * Caller-declared positive calibration sample count. The endpoint checks
+     * rank consistency but cannot verify that these observations exist.
      */
     nCalibrationSamples: number;
     /** Test inputs to predict for. Maximum 10 000 per request. */
@@ -101695,20 +102066,31 @@ interface ConformalPredictRequest {
     threshold: number;
 }
 /**
- * Coverage certificate summarising the calibration parameters.
- * Clients should record this alongside prediction results.
+ * Provenance status of caller-supplied calibration parameters.
+ */
+type CalibrationVerification = 'unverified';
+/**
+ * Applied calibration parameters with explicit verification status.
+ * Summary consistency does not authenticate the underlying calibration.
  */
-interface CoverageCertificate {
+interface SuppliedCalibrationParameters {
     /** Algorithm tag. */
     algorithm: string;
     /** Target miscoverage `α`. */
     alpha: number;
-    /** Number of calibration samples that produced this threshold. */
+    /**
+     * Whether the threshold excludes any bounded nonconformity scores.
+     * This does not mean a particular prediction has a unique answer.
+     */
+    informative: boolean;
+    /** Caller-declared number of calibration samples. */
     nCalibrationSamples: number;
-    /** Nominal coverage `1 − α` guaranteed by Vovk's theorem. */
-    nominalCoverage: number;
+    /** Rounded display of requested `1 - α`, not a verified probability bound. */
+    requestedCoverage: number;
     /** Non-conformity threshold applied during prediction. */
     threshold: number;
+    /** Calibration evidence has not been verified by this stateless call. */
+    verification: CalibrationVerification;
 }
 /** Conformal prediction result for a single test input. */
 interface ConformalPrediction {
@@ -101722,8 +102104,9 @@ interface ConformalPrediction {
     inputId: string;
     /**
      * Conformal prediction set: the set of classes whose non-conformity
-     * score is ≤ `τ`. A class `y` is included iff `classScores[y] ≥ 1 − τ`.
-     * Sorted alphabetically.
+     * score is ≤ `τ`, evaluated as `1 - classScores[y] <= τ` to preserve
+     * the original score comparison. Sorted alphabetically. The caller
+     * is responsible for supplying the complete label universe.
      */
     predictionSet: string[];
     /**
@@ -101734,29 +102117,30 @@ interface ConformalPrediction {
     /**
      * Non-conformity score of the most-confident class:
      * `1 − max(classScores)`. Informational; compare against `threshold`
-     * in the certificate to understand how close the top prediction is to
+     * in the applied parameters to understand how close the top prediction is to
      * the coverage boundary.
      */
     topClassNonConformity: number;
 }
 /** Response of `POST /api/v1/conformal/predict`. */
 interface ConformalPredictResponse {
-    /** Coverage certificate summarising the calibration parameters. */
-    coverageCertificate: CoverageCertificate;
+    /** Applied caller parameters without a verified coverage claim. */
+    calibrationParameters: SuppliedCalibrationParameters;
     /** Per-input conformal prediction results, in request order. */
     predictions: ConformalPrediction[];
 }
 
 type conformal_CalibrationSample = CalibrationSample;
+type conformal_CalibrationVerification = CalibrationVerification;
 type conformal_ConformalCalibrateRequest = ConformalCalibrateRequest;
 type conformal_ConformalCalibrateResponse = ConformalCalibrateResponse;
 type conformal_ConformalPredictRequest = ConformalPredictRequest;
 type conformal_ConformalPredictResponse = ConformalPredictResponse;
 type conformal_ConformalPrediction = ConformalPrediction;
-type conformal_CoverageCertificate = CoverageCertificate;
+type conformal_SuppliedCalibrationParameters = SuppliedCalibrationParameters;
 type conformal_TestInput = TestInput;
 declare namespace conformal {
-  export type { conformal_CalibrationSample as CalibrationSample, conformal_ConformalCalibrateRequest as ConformalCalibrateRequest, conformal_ConformalCalibrateResponse as ConformalCalibrateResponse, conformal_ConformalPredictRequest as ConformalPredictRequest, conformal_ConformalPredictResponse as ConformalPredictResponse, conformal_ConformalPrediction as ConformalPrediction, conformal_CoverageCertificate as CoverageCertificate, conformal_TestInput as TestInput };
+  export type { conformal_CalibrationSample as CalibrationSample, conformal_CalibrationVerification as CalibrationVerification, conformal_ConformalCalibrateRequest as ConformalCalibrateRequest, conformal_ConformalCalibrateResponse as ConformalCalibrateResponse, conformal_ConformalPredictRequest as ConformalPredictRequest, conformal_ConformalPredictResponse as ConformalPredictResponse, conformal_ConformalPrediction as ConformalPrediction, conformal_SuppliedCalibrationParameters as SuppliedCalibrationParameters, conformal_TestInput as TestInput };
 }
 
 /**
@@ -101765,9 +102149,9 @@ declare namespace conformal {
  *
  * @remarks
  * A two-endpoint flow: `calibrate` computes a non-conformity threshold
- * `τ` from a labeled calibration set (returning a coverage certificate),
- * then `predict` applies `τ` to unlabeled test inputs and returns
- * per-input prediction sets with coverage certificates. Delegates to
+ * `τ` from a labeled calibration set, then `predict` applies `τ` to
+ * unlabeled test inputs and returns per-input prediction sets with
+ * explicitly unverified calibration parameters. Delegates to
  * the generated `Conformal` route class for the type-safe HTTP call.
  *
  * The `classScores` maps on `CalibrationSample` and `TestInput` are
@@ -101786,24 +102170,50 @@ declare class ConformalClient {
      *
      * @param request - The calibration set (samples + target miscoverage
      *   `α`).
-     * @returns The computed threshold `τ` plus a coverage certificate and
-     *   sanity-check coverage stats.
+     * @param requestOptions - Per-request transport options.
+     * @returns The computed threshold `τ`, whether it is informative, and
+     *   in-sample coverage statistics.
      *
      * @throws {ApiError} `400` if `alpha` is outside `(0, 1)` or the
-     *   calibration set is empty.
+     *   calibration set is empty or contains invalid scores.
+     * @remarks The request maps schema keys to snake_case and preserves class labels.
+     *   An unobserved rank returns threshold 1 and `informative: false`.
+     * @example
+     * ```ts
+     * const calibration = await client.conformal.calibrate({
+     *   alpha: 0.05,
+     *   samples: labeledSamples,
+     * });
+     * console.log(calibration.informative, calibration.quantileRank);
+     * ```
      */
     calibrate(request: ConformalCalibrateRequest, requestOptions?: RequestOptions): Promise<ConformalCalibrateResponse>;
     /**
      * Apply a pre-computed conformal threshold to unlabeled test inputs
-     * and return prediction sets with coverage certificates.
+     * and return prediction sets with unverified calibration parameters.
      *
      * @param request - The threshold `τ`, calibration `α` and sample count
      *   (from a prior `calibrate` call), and the test inputs to predict
      *   for.
-     * @returns Per-input conformal prediction results plus a coverage
-     *   certificate, in request order.
-     *
-     * @throws {ApiError} `400` if the test-input count exceeds 10 000.
+     * @param requestOptions - Per-request transport options.
+     * @returns Per-input prediction results in request order and the applied
+     *   parameters with `verification: 'unverified'`.
+     *
+     * @throws {ApiError} `400` for invalid scores, parameters, rank consistency,
+     *   or an empty or oversized test-input batch.
+     * @remarks The request maps schema keys to snake_case and preserves class labels.
+     *   A nonempty prediction set can still be uninformative. Parameter consistency
+     *   does not establish calibration provenance or prediction correctness.
+     * @example
+     * ```ts
+     * const result = await client.conformal.predict({
+     *   threshold: calibration.threshold,
+     *   alpha: calibration.alpha,
+     *   nCalibrationSamples: calibration.nSamples,
+     *   testInputs,
+     * });
+     * console.log(result.calibrationParameters.verification);
+     * ```
      */
     predict(request: ConformalPredictRequest, requestOptions?: RequestOptions): Promise<ConformalPredictResponse>;
 }
@@ -108824,4 +109234,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 AbstractInterval, type AbstractIntervalBound, type AbstractIntervalVec, 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 AgentTraceStep, 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 AnswerRating, 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 ArgumentAttackKind, type ArgumentClaim, type ArgumentLabel, 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 AttributeExplorationErrorCode, 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 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 ConfirmRequest, 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 ConversationAnswerFeedbackRequest, type ConversationAnswerFeedbackResponse, type ConversationKind, 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 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 DlqRetryErrorCode, type DlqRetryResponse, type DmAllowlistResponse, type DmPoliciesResponse, type DmPolicy, type DmPolicyMode, type DmlAteRequest, type DocumentAnalysisErrorCode, type DocumentAnalysisReport, type DocumentBatchItem, type DocumentBatchResultDto, documentCheck as DocumentCheck, type DocumentEvaluatedText, 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 DocumentReceipt, type DocumentRecord, type DocumentResult, type DocumentRuleResult, type DocumentRuleSeverity, type DocumentRuleStatus, type DocumentSource, type DocumentStatsDto, type DocumentStatus, type DocumentStatusCounts, type DocumentSummary, type DocumentType, type DocumentVerdictBasis, type DocumentVersionErrorCode, type DocumentVersionsResponse, documents as Documents, type DomSpeakerEvent, type DomainValue, type DoseResponseRequest, type DoseResponseResponse, type DoublyRobustCertificateDto, 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 EmpiricalMethod, type EncodeClipRequest, type EncodeClipResponse, type EncoderConfigOverrides, type EndSchedulingResponse, type EnforcementStrategy, engine as Engine, type EngineStatsResponse, 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 FlowRelOp, type FocusEntryDto, type ForallRequest, type ForallResponse, ForbiddenError, forecast as Forecast, type ForecastAbstention, type ForecastBody, type ForecastCertificate, type ForecastCoveringSet, type ForecastDomain, type ForecastDomainsResponse, type ForecastEntityInput, type ForecastRequest, type ForecastResponse, type FormalJudgeRefinementResponse, type FormalJudgeRequest, type FormalJudgeResponse, type FormalJudgeViolationDto, 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 FunctionRefusal, type FunctionRefusalCode, 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 IngestUrlStoreFailure, type IngestedWebPage, ingestion as Ingestion, IngestionBatchSession, type IngestionConfigDto, type IngestionDocumentStatus, IngestionFailedError, type IngestionInline, type IngestionOutcome, type IngestionPollOptions, IngestionQueueUnavailableError, type IngestionQueued, IngestionSession, type IngestionSessionDetailResponse, IngestionSessionHandle, type IngestionSessionResponse, type IngestionSessionStatusDto, type IngestionStatsDto, type IngestionSyncOptions, type InheritedFeatureChangeDto, type InjectionPolicy, type InjectionSummary, type InlineDocument, type InlineTermFeatureValue, 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 ListConversationsQuery, 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, 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 OsfSearchEntityDto, type OsfSearchRelationDto, 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 OutputPredicate, 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 PatchSortFeatureAmendment, type PatchSortFeatureDescriptionAmendment, type PatchSortFeatureIndexAmendment, type PatchSortFeatureRename, type PatchSortFeatureRequest, type PatchSortRequest, type PathRequest, type PathResponse, type PathwaysDto, type PatternDto, type PatternSummaryDto, type PendingActionReviewDto, type PendingInvocationDto, type 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 ProofMethod, 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 RdfImportReceipt, type ReExtractErrorCode, type ReExtractRequest, type ReExtractResponse, type ReachableDto, type ReachedEdgeDto, type ReachedStateDto, type ReadableTermDto, type ReadableTermsResponse, type RealValue, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type ReasoningOperation, type ReasoningOperationListResponse, type ReasoningOperationLogScope, type ReasoningOperationName, type ReasoningOperationRetention, type ReasoningStageDto, type ReasoningTraceDto, type ReasoningVerdict, 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 RecordableConversationKind, type RecoverStuckRequest, type RecoverStuckResponse, type ReferenceDesignator, type ReferenceValue, type ReferencedTermSummary, type ReflectionQueryRequest, type ReflectionQueryResponse, type RefusedEntityDto, 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 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 ResiduationKindFilter, 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, ResponseShapeError, type ResumeDocumentIngestionRequest, type ResumeDocumentIngestionResponse, type ResumptionOptionDto, type RetainedTableDto, type RetentionDto, type RetractRuleRequest, type RetractRuleResponse, type RetrievalStatsDto, type ReviewActionResponse, type ReviewAddErrorCode, type ReviewCandidateInput, type ReviewCandidateMatchDto, type ReviewEntityOrigin, 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 RlTranscriptSummary, 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 RuleRefusal, type RuleRefusalCode, type RuleStoreResponse, type RuleTermDraftDto, RuleTermWriteError, 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 SafetyProperty, type SampledHypothesisDto, sat as Sat, type SatLiteralDto, type SatSatisfiableResult, type SatSolveRequest, type SatSolveResponse, type SatSolverStatsDto, type SatUnknownResult, type SatUnsatisfiableResult, type SatVerdict, type SaveWeightsResponse, type ScenarioRule, type ScenarioRuleTerm, 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 SessionDocument, 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 SortCreateErrorCode, 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 SortRefFeatureValue, type SortRefSelectProps, 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 SymbolVisibilityDto, 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 TermListVisualizationRequest, type TermListVisualizationResponse, type TermOrigin, type TermPatternDto, type TermRefFeatureValue, type TermReferencesDisposition, type TermReferrerDto, type TermReferrersResponse, type TermRefusal, type TermRefusalCode, type TermResponse, type TermSetSelector, type TermState, type TermStoreSessionResponse, type TermUnifyOperation, type TermUnifyVisualizationRequest, type TermUnifyVisualizationResponse, type TermVersionDto, type TermVersionsResponse, type TermWriteErrorCode, type TerminationDto, terms as Terms, type TestInput, thomas as Thomas, type ThomasPathwaysRequest, type ThomasStudyRequest, type ThomasStudyResponse, TimeoutError, type TokenUsageDto, type ToolCallInfo, type TraceBundle, type TraceEventDto, type TraceProperty, 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 TurnFeedback, 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 UnifyBindingDto, 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 UpperOntologySeed, type UpperOntologySeedsResponse, UrlIngestStoreFailedError, 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, type VerdictKind, type VerdictKindTag, verification as Verification, type VerificationStepDto, type VerificationTarget, type VerifyClaimRequest, type VerifyClaimResponse, type VerifyFaithfulnessRequest, type VerifyFaithfulnessResponse, type VerifyResponse, type VerifyRoundTripRequest, type VerifyRoundTripResponse, type VerifyRunRequest, type VerifyRunResult, 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 WebIngestErrorCode, type WebIngestStoreFailure, type WebIngestStoreStep, type WebPageIngestStatus, type WebPageRef, type WebPageSkipCode, type WebSearchCapability, type WebSearchErrorCode, type WebSearchHit, type WebSearchProvider, type WebSearchRequest, type WebSearchResponse, 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, createApiError, decodeConversationMessage, discriminateFeatureValue, errorBodyCode, featureValueToInput, functionRefusalOf, guard, isConstrainedPlainVar, isPsiTermInput, isSortRefFeatureValue, isSortRefSelectProps, isTaggedValueDto, isUuid, not, paginateByOffset, paginateByPage, psi, readAuditHeaders, readCausalRefusal, ruleRefusalOf, sealPreimage, sortDeleteRefusalOf, termRefusalOf, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };
+export { ANY_ROLE, AUDIT_CAUSAL_REQUEST_HEADERS, AUDIT_RESPONSE_HEADERS, type AbstractInterval, type AbstractIntervalBound, type AbstractIntervalVec, 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 AgentTraceStep, 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 AnswerRating, 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 ArgumentAttackKind, type ArgumentClaim, type ArgumentLabel, 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 AttributeExplorationErrorCode, 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 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 CalibrationVerification, 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 ConfirmRequest, 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 ConversationAnswerFeedbackRequest, type ConversationAnswerFeedbackResponse, type ConversationKind, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationNotice, 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 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 DataLoadError, type DataLoadErrorCode, 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 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 DlqRetryErrorCode, type DlqRetryResponse, type DmAllowlistResponse, type DmPoliciesResponse, type DmPolicy, type DmPolicyMode, type DmlAteRequest, type DocumentAnalysisErrorCode, type DocumentAnalysisReport, type DocumentBatchItem, type DocumentBatchResultDto, documentCheck as DocumentCheck, type DocumentEvaluatedText, 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 DocumentReceipt, type DocumentRecord, type DocumentResult, type DocumentRuleResult, type DocumentRuleSeverity, type DocumentRuleStatus, type DocumentSource, type DocumentStatsDto, type DocumentStatus, type DocumentStatusCounts, type DocumentSummary, type DocumentType, type DocumentVerdictBasis, type DocumentVersionErrorCode, type DocumentVersionsResponse, documents as Documents, type DomSpeakerEvent, type DomainValue, type DoseResponseRequest, type DoseResponseResponse, type DoublyRobustCertificateDto, 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 EmpiricalMethod, type EncodeClipRequest, type EncodeClipResponse, type EncoderConfigOverrides, type EndSchedulingResponse, type EnforcementStrategy, engine as Engine, type EngineStatsResponse, 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 FlowRelOp, type FocusEntryDto, type ForallRequest, type ForallResponse, ForbiddenError, forecast as Forecast, type ForecastAbstention, type ForecastBody, type ForecastCertificate, type ForecastCoveringSet, type ForecastDomain, type ForecastDomainsResponse, type ForecastEntityInput, type ForecastRequest, type ForecastResponse, type FormalJudgeRefinementResponse, type FormalJudgeRequest, type FormalJudgeResponse, type FormalJudgeViolationDto, 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 FunctionRefusal, type FunctionRefusalCode, 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 IngestUrlStoreFailure, type IngestedWebPage, ingestion as Ingestion, IngestionBatchSession, type IngestionConfigDto, type IngestionDocumentStatus, IngestionFailedError, type IngestionInline, type IngestionOutcome, type IngestionPollOptions, IngestionQueueUnavailableError, type IngestionQueued, IngestionSession, type IngestionSessionDetailResponse, IngestionSessionHandle, type IngestionSessionResponse, type IngestionSessionStatusDto, type IngestionStatsDto, type IngestionSyncOptions, type InheritedFeatureChangeDto, type InjectionPolicy, type InjectionSummary, type InlineDocument, type InlineTermFeatureValue, 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 ListConversationsQuery, 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, 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 OsfSearchEntityDto, type OsfSearchRelationDto, 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 OutputPredicate, 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 PatchSortFeatureAmendment, type PatchSortFeatureDescriptionAmendment, type PatchSortFeatureIndexAmendment, type PatchSortFeatureRename, type PatchSortFeatureRequest, type PatchSortRequest, type PathRequest, type PathResponse, type PathwaysDto, type PatternDto, type PatternSummaryDto, type PendingActionReviewDto, type PendingInvocationDto, type 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 ProofConclusionDto, type ProofDto, proofEngine as ProofEngine, type ProofEngineCreateTermResponse, type ProofExportFormat, type ProofExportRequest, type ProofExportResponse, type ProofExportResult, type ProofKind, type ProofLiteralDto, type ProofMethod, 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 RdfImportReceipt, type ReExtractErrorCode, type ReExtractRequest, type ReExtractResponse, type ReachableDto, type ReachedEdgeDto, type ReachedStateDto, type ReadableTermDto, type ReadableTermsResponse, type RealValue, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type ReasoningOperation, type ReasoningOperationListResponse, type ReasoningOperationLogScope, type ReasoningOperationName, type ReasoningOperationRetention, type ReasoningStageDto, type ReasoningTraceDto, type ReasoningVerdict, 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 RecordableConversationKind, type RecoverStuckRequest, type RecoverStuckResponse, type ReferenceDesignator, type ReferenceValue, type ReferencedTermSummary, type ReflectionQueryRequest, type ReflectionQueryResponse, type RefusedEntityDto, 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 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 ResiduationKindFilter, 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, ResponseShapeError, type ResumeDocumentIngestionRequest, type ResumeDocumentIngestionResponse, type ResumptionOptionDto, type RetainedTableDto, type RetentionDto, type RetractRuleRequest, type RetractRuleResponse, type RetrievalStatsDto, type ReviewActionResponse, type ReviewAddErrorCode, type ReviewCandidateInput, type ReviewCandidateMatchDto, type ReviewEntityOrigin, 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 RlTranscriptSummary, 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 RuleRefusal, type RuleRefusalCode, type RuleStoreResponse, type RuleTermDraftDto, RuleTermWriteError, 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 SafetyProperty, type SampledHypothesisDto, sat as Sat, type SatLiteralDto, type SatSatisfiableResult, type SatSolveRequest, type SatSolveResponse, type SatSolverStatsDto, type SatUnknownResult, type SatUnsatisfiableResult, type SatVerdict, type SaveWeightsResponse, type ScenarioRule, type ScenarioRuleTerm, 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 SessionDocument, type SessionDocumentFailureCode, 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 SkippedFeature, 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 SortCreateErrorCode, 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 SortRefFeatureValue, type SortRefSelectProps, 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 SuppliedCalibrationParameters, type SuspendedQueryDto, type SymbolDto, type SymbolKindDto, type SymbolVisibilityDto, 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 TermListVisualizationRequest, type TermListVisualizationResponse, type TermOrigin, type TermPatternDto, type TermRefFeatureValue, type TermReferencesDisposition, type TermReferrerDto, type TermReferrersResponse, type TermRefusal, type TermRefusalCode, type TermResponse, type TermSetSelector, type TermState, type TermStoreSessionResponse, type TermUnifyOperation, type TermUnifyVisualizationRequest, type TermUnifyVisualizationResponse, type TermVersionDto, type TermVersionsResponse, type TermWriteErrorCode, type TerminationDto, terms as Terms, type TestInput, thomas as Thomas, type ThomasPathwaysRequest, type ThomasStudyRequest, type ThomasStudyResponse, TimeoutError, type TokenUsageDto, type ToolCallInfo, type TraceBundle, type TraceEventDto, type TraceProperty, 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 TurnFeedback, 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 UnifyBindingDto, 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 UpperOntologySeed, type UpperOntologySeedsResponse, UrlIngestStoreFailedError, 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, type ValueSubstitution, values as Values, type VarKind, type VariableBounds, type VariableClassification, type VariableDto, type VariableFeasibilityDto, type VariableFeatureValue, type VariableSpec, type VerbalizationResultDto, type VerbalizeTermRequest, type VerbalizeTermResponse, type VerdictKind, type VerdictKindTag, verification as Verification, type VerificationStepDto, type VerificationTarget, type VerifyClaimRequest, type VerifyClaimResponse, type VerifyFaithfulnessRequest, type VerifyFaithfulnessResponse, type VerifyResponse, type VerifyRoundTripRequest, type VerifyRoundTripResponse, type VerifyRunRequest, type VerifyRunResult, 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 WebIngestErrorCode, type WebIngestStoreFailure, type WebIngestStoreStep, type WebPageIngestStatus, type WebPageRef, type WebPageSkipCode, type WebSearchCapability, type WebSearchErrorCode, type WebSearchHit, type WebSearchProvider, type WebSearchRequest, type WebSearchResponse, 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, createApiError, decodeConversationMessage, discriminateFeatureValue, errorBodyCode, featureValueToInput, functionRefusalOf, guard, isConstrainedPlainVar, isPsiTermInput, isSortRefFeatureValue, isSortRefSelectProps, isTaggedValueDto, isUuid, not, paginateByOffset, paginateByPage, psi, readAuditHeaders, readCausalRefusal, ruleRefusalOf, sealPreimage, sortDeleteRefusalOf, termRefusalOf, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };