@kortexya/reasoninglayer 1.13.0 → 1.14.0

package/dist/index.d.ts

@@ -109,7 +109,7 @@ type JsonValue$1 = string | number | boolean | null | JsonValue$1[] | object;
  * This is the single source of truth for the version constant.
  * The `scripts/release.sh` script updates this value alongside `package.json`.
  */
-declare const SDK_VERSION = "1.13.0";
+declare const SDK_VERSION = "1.14.0";
 /**
  * Authentication mode for the SDK.
  *
@@ -720,7 +720,7 @@ interface AddRuleRequest$1 {
      * When present, the rule's head term receives an `"aggregator"` feature
      * containing a serialized `RuleAggregator` descriptor.
      */
-    aggregator?: null | RuleAggregatorDto;
+    aggregator?: null | RuleAggregatorDto$1;
     /**
      * Antecedent terms (body of the rule)
      * These go into the `when` feature
@@ -5997,7 +5997,7 @@ interface DetectMissingAttributesRequest$1 {
     definition_attributes: string[];
 }
 /** Request to validate a Difference-in-Differences design */
-interface DiDValidationRequest {
+interface DiDValidationRequest$1 {
     /** Conditioning set (covariates) */
     covariates?: string[];
     /** Post-treatment outcome variable */
@@ -6008,7 +6008,7 @@ interface DiDValidationRequest {
     treatment: string;
 }
 /** Response for DiD validation */
-interface DiDValidationResponse {
+interface DiDValidationResponse$1 {
     /** Identified "bad controls" (nodes that induce bias if conditioned on) */
     bad_controls: string[];
     /** Explanation of the result */
@@ -19279,7 +19279,7 @@ interface RowUnifyResponse$1 {
  * `target` feature. This eliminates run-to-run variance from proof-order
  * sensitivity and makes `max_solutions` cap unique groups, not raw proofs.
  */
-interface RuleAggregatorDto {
+interface RuleAggregatorDto$1 {
     /**
      * Feature names that define the aggregation group key.
      * Proofs with identical values for all `group_by` features are merged.
@@ -27436,6 +27436,17 @@ interface ProofDto {
     subproofs?: ProofDto[];
     /** Certainty of this proof step. */
     certainty: number;
+    /**
+     * True iff this node is a residuated (suspended/unknown) leaf — an open-world
+     * antecedent with neither a witnessing fact nor a deriving rule.
+     *
+     * @remarks
+     * Unknown, never false: a residuated leaf means the engine could not decide the goal,
+     * not that the goal is refuted. Distinct from {@link SolutionDto.residuatedSorts},
+     * which names the *sorts* of a solution's residuated antecedents rather than marking
+     * an individual node of the proof tree.
+     */
+    residuated?: boolean;
 }
 /**
  * Confidence/provenance information for a derived fact.
@@ -27465,6 +27476,19 @@ interface SolutionDto {
     evidenceMatched?: number | null;
     /** Evidence ratio for open-world inference (matched/total antecedents). Null in closed-world mode. */
     evidenceRatio?: number | null;
+    /**
+     * **Deep evidential support** in `[0, 1]` (open-world only): the fraction of
+     * ground-fact leaves the proof rests on that are actually witnessed by facts,
+     * computed recursively over the proof tree.
+     *
+     * @remarks
+     * Unlike {@link evidenceRatio} (shallow, top-level), this sees through chained
+     * derivations, so residuation inside a derived sub-goal is reflected. It is the
+     * epistemic ranking axis, **orthogonal to {@link certainty}** (the
+     * residuation-faithful degree): rank candidate solutions by this to prefer the
+     * ones actually grounded in evidence.
+     */
+    evidenceSupport?: number | null;
     /** Sort names that were residuated (suspended due to missing information). Open-world only. */
     residuatedSorts?: string[];
 }
@@ -27570,6 +27594,20 @@ interface ForwardChainRequest {
     maxIterations?: number;
     /** Maximum number of facts to derive. */
     maxFacts?: number;
+    /**
+     * Emit W3C PROV-O lineage for this run (default: `false`).
+     *
+     * @remarks
+     * When true, the run's derivation provenance (which rule and which antecedents
+     * produced each derived fact) is reified into `prov:wasDerivedFrom` /
+     * `prov:wasAttributedTo` Ψ-terms and persisted, so lineage becomes ordinary facts the
+     * engine can query (OSFQL / backward chaining) and serialise (RDF export) — not an
+     * opaque side index. Forces real derivation, bypassing the derivation cache.
+     *
+     * Distinct from {@link enableProvenanceTags}, which attaches confidence scores to the
+     * response rather than persisting queryable lineage.
+     */
+    emitProvenance?: boolean;
 }
 /** Response from forward chaining inference. */
 interface ForwardChainResponse {
@@ -27588,6 +27626,37 @@ interface ForwardChainResponse {
     /** Provenance tags for derived facts (only present when `enable_provenance_tags` was true). */
     provenanceTags?: ProvenanceTagDto[];
 }
+/**
+ * Rule aggregator descriptor for engine-side aggregation on rule heads.
+ *
+ * @remarks
+ * When declared on a rule, the engine aggregates multiple proofs of that rule which
+ * share the same {@link groupBy} feature values, applying {@link op} to the
+ * {@link target} feature. This eliminates run-to-run variance from proof-order
+ * sensitivity and makes `maxSolutions` cap unique **groups**, not raw proofs.
+ *
+ * Wire format is snake_case (`group_by`).
+ *
+ * @example
+ * ```typescript
+ * const aggregator: RuleAggregatorDto = {
+ *   groupBy: ['customer_id'],
+ *   op: 'sum',
+ *   target: 'amount',
+ * };
+ * ```
+ */
+interface RuleAggregatorDto {
+    /**
+     * Feature names that define the aggregation group key. Proofs with identical values
+     * for all `groupBy` features are merged.
+     */
+    groupBy: string[];
+    /** Aggregation operator: `"sum"`, `"max"`, `"min"`, `"count"`, or `"first"`. */
+    op: string;
+    /** Feature name whose value is aggregated within each group. */
+    target: string;
+}
 /**
  * Request to add a rule to the inference engine.
  *
@@ -27601,6 +27670,14 @@ interface AddRuleRequest {
     antecedents?: TermInputDto[];
     /** Certainty factor (default: 1.0). */
     certainty?: number;
+    /**
+     * Optional engine-side aggregator declared on the rule head.
+     *
+     * @remarks
+     * When present, the rule's head term receives an `"aggregator"` feature containing a
+     * serialized `RuleAggregator` descriptor. See {@link RuleAggregatorDto}.
+     */
+    aggregator?: RuleAggregatorDto | null;
 }
 /**
  * Request to add a fact to the inference engine.
@@ -27672,6 +27749,18 @@ interface FuzzyProveRequest {
     saveGoal?: boolean;
     /** T-norm strategy: "min", "product", or "lukasiewicz". */
     tnorm?: string;
+    /**
+     * Open-world reasoning **scope**: ground feature constraints every witnessing fact
+     * must satisfy, as `feature → value` (string values).
+     *
+     * @remarks
+     * **Safety-relevant.** For patient-scoped clinical reasoning send
+     * `{ patient_id: '<id>' }` so only that patient's observations witness a diagnosis —
+     * another patient's fact of the same sort never does. A fact lacking the feature is
+     * unconstrained (open world). **Empty or absent ⇒ tenant-wide (legacy) behavior**,
+     * where any tenant fact may witness the goal.
+     */
+    scope?: Record<string, string>;
 }
 /** Response from fuzzy proof search. */
 interface FuzzyProveResponse {
@@ -28312,6 +28401,7 @@ type inference_NafProveRequest = NafProveRequest;
 type inference_NafProveResponse = NafProveResponse;
 type inference_ProofDto = ProofDto;
 type inference_ProvenanceTagDto = ProvenanceTagDto;
+type inference_RuleAggregatorDto = RuleAggregatorDto;
 type inference_RuleDraftClarificationQuestionDto = RuleDraftClarificationQuestionDto;
 type inference_RuleDraftDto = RuleDraftDto;
 type inference_RuleEntryDto = RuleEntryDto;
@@ -28321,7 +28411,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_ClearFactsResponse as ClearFactsResponse, inference_ConstraintInputDto as ConstraintInputDto, inference_CreateGoalRequest as CreateGoalRequest, inference_CreateGoalResponse as CreateGoalResponse, inference_DeleteGoalResponse as DeleteGoalResponse, 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_MetaSortsResponse as MetaSortsResponse, inference_NafProveRequest as NafProveRequest, inference_NafProveResponse as NafProveResponse, inference_ProofDto as ProofDto, inference_ProvenanceTagDto as ProvenanceTagDto, inference_RuleDraftClarificationQuestionDto as RuleDraftClarificationQuestionDto, inference_RuleDraftDto as RuleDraftDto, inference_RuleEntryDto as RuleEntryDto, inference_RuleTermDraftDto as RuleTermDraftDto, 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_ClearFactsResponse as ClearFactsResponse, inference_ConstraintInputDto as ConstraintInputDto, inference_CreateGoalRequest as CreateGoalRequest, inference_CreateGoalResponse as CreateGoalResponse, inference_DeleteGoalResponse as DeleteGoalResponse, 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_MetaSortsResponse as MetaSortsResponse, inference_NafProveRequest as NafProveRequest, inference_NafProveResponse as NafProveResponse, inference_ProofDto as ProofDto, inference_ProvenanceTagDto as ProvenanceTagDto, inference_RuleAggregatorDto as RuleAggregatorDto, inference_RuleDraftClarificationQuestionDto as RuleDraftClarificationQuestionDto, inference_RuleDraftDto as RuleDraftDto, inference_RuleEntryDto as RuleEntryDto, inference_RuleTermDraftDto as RuleTermDraftDto, inference_SolutionDto as SolutionDto, inference_TaggedDerivedFact as TaggedDerivedFact, inference_TaggedForwardChainRequest as TaggedForwardChainRequest, inference_TaggedForwardChainResponse as TaggedForwardChainResponse };
 }
 
 /**
@@ -28346,13 +28436,28 @@ declare class InferenceClient {
     /**
      * Add an inference rule.
      *
-     * @param request - Rule definition using TermInputDto.
+     * @param request - Rule definition using TermInputDto. Set `aggregator` to declare an
+     *   engine-side head aggregator (see {@link RuleAggregatorDto}).
      * @returns The created rule wrapped in an AddRuleResponse.
+     * @throws {ApiError} If the rule is rejected or the request fails.
+     *
+     * @remarks
+     * **Serialization format**: untagged `TermInputDto` / `FeatureInputValueDto`.
+     *
+     * @example
+     * ```typescript
+     * await client.inference.addRule({
+     *   term: psi('total_spend', { customer_id: Var('C'), amount: Var('A') }),
+     *   antecedents: [psi('order', { customer_id: Var('C'), amount: Var('A') })],
+     *   aggregator: { groupBy: ['customer_id'], op: 'sum', target: 'amount' },
+     * });
+     * ```
      */
     addRule(request: {
         term: TermInputArg;
         antecedents?: TermInputArg[];
         certainty?: number;
+        aggregator?: RuleAggregatorDto | null;
     }): Promise<AddRuleResponse>;
     /**
      * Add a fact.
@@ -34907,7 +35012,7 @@ declare class Causal<SecurityDataType = unknown> {
      * @request POST:/api/v1/causal/validate-did
      * @secure
      */
-    validateDid: (data: DiDValidationRequest, params?: RequestParams) => Promise<HttpResponse<DiDValidationResponse, void>>;
+    validateDid: (data: DiDValidationRequest$1, params?: RequestParams) => Promise<HttpResponse<DiDValidationResponse$1, void>>;
 }
 
 /** A single step in the agent's execution trajectory. */
@@ -36663,6 +36768,41 @@ interface CausalAnalyzeRequest {
     /** Causal question to analyze. */
     question: CausalAnalyzeQuestionDto;
 }
+/**
+ * Request to validate a Difference-in-Differences design.
+ *
+ * @remarks
+ * The design is checked against the causal structure the backend builds from the
+ * tenant's homoiconic rules — no sample data is submitted, only the variable
+ * names that play each role.
+ */
+interface DiDValidationRequest {
+    /**
+     * Conditioning set (covariates). Omit for an unconditional design — the
+     * backend defaults it to the empty set. Members that turn out to be bad
+     * controls are reported back in {@link DiDValidationResponse.badControls}.
+     */
+    covariates?: string[];
+    /** Post-treatment outcome variable. */
+    outcomePost: string;
+    /** Pre-treatment outcome variable. */
+    outcomePre: string;
+    /** The treatment variable. */
+    treatment: string;
+}
+/**
+ * Response for DiD validation.
+ */
+interface DiDValidationResponse {
+    /** Identified "bad controls" — nodes that induce bias if conditioned on. */
+    badControls: string[];
+    /** Explanation of the result. */
+    explanation: string;
+    /** The framework used for validation. */
+    framework: string;
+    /** Whether the design is valid. */
+    isValid: boolean;
+}
 
 type causal_ActValueDto = ActValueDto;
 type causal_AddCausalRelationRequest = AddCausalRelationRequest;
@@ -36712,6 +36852,8 @@ type causal_DecisionAuditResponse = DecisionAuditResponse;
 type causal_DeclareLatentVariableRequest = DeclareLatentVariableRequest;
 type causal_DeclareLatentVariableResponse = DeclareLatentVariableResponse;
 type causal_DensityRatioDiagnosticDto = DensityRatioDiagnosticDto;
+type causal_DiDValidationRequest = DiDValidationRequest;
+type causal_DiDValidationResponse = DiDValidationResponse;
 type causal_DmlAteRequest = DmlAteRequest;
 type causal_DoseResponseRequest = DoseResponseRequest;
 type causal_DoseResponseResponse = DoseResponseResponse;
@@ -36760,7 +36902,7 @@ type causal_ShiftEffectRequest = ShiftEffectRequest;
 type causal_ShiftEffectResponse = ShiftEffectResponse;
 type causal_StructuralAssignmentDto = StructuralAssignmentDto;
 declare namespace causal {
-  export type { causal_ActValueDto as ActValueDto, causal_AddCausalRelationRequest as AddCausalRelationRequest, causal_AddCausalRelationResponse as AddCausalRelationResponse, causal_AssignmentMechanism as AssignmentMechanism, causal_AssignmentRowDto as AssignmentRowDto, causal_AssumptionAuditRequest as AssumptionAuditRequest, causal_AssumptionAuditResponse as AssumptionAuditResponse, causal_AteEstimateRequest as AteEstimateRequest, causal_AteEstimateResponse as AteEstimateResponse, causal_AuditedAssumptionDto as AuditedAssumptionDto, causal_CategoryProbabilityDto as CategoryProbabilityDto, causal_CausalActionSpecDto as CausalActionSpecDto, causal_CausalAnalyzeAssumptionsDto as CausalAnalyzeAssumptionsDto, causal_CausalAnalyzeDataDto as CausalAnalyzeDataDto, causal_CausalAnalyzeIndependenceTestDto as CausalAnalyzeIndependenceTestDto, causal_CausalAnalyzePolicyDto as CausalAnalyzePolicyDto, causal_CausalAnalyzeQuestionDto as CausalAnalyzeQuestionDto, causal_CausalAnalyzeQuestionKind as CausalAnalyzeQuestionKind, causal_CausalAnalyzeRegressionDto as CausalAnalyzeRegressionDto, causal_CausalAnalyzeRequest as CausalAnalyzeRequest, causal_CausalAncestorRequest as CausalAncestorRequest, causal_CausalAncestorResponse as CausalAncestorResponse, causal_CausalAssumptionDto as CausalAssumptionDto, causal_CausalChainDto as CausalChainDto, causal_CausalDecisionSpecDto as CausalDecisionSpecDto, causal_CausalDerivationStepDto as CausalDerivationStepDto, causal_CausalEdgeDto as CausalEdgeDto, causal_CausalHedgeDto as CausalHedgeDto, causal_CausalProofTreeDto as CausalProofTreeDto, CausalRelationshipDto$1 as CausalRelationshipDto, causal_CausationProbabilitiesRequest as CausationProbabilitiesRequest, causal_CausationProbabilitiesResponse as CausationProbabilitiesResponse, causal_CausesRequest as CausesRequest, causal_CausesResponse as CausesResponse, causal_ClusteredAteRequest as ClusteredAteRequest, causal_ClusteredObservationDto as ClusteredObservationDto, causal_ContinuousMediationObservationDto as ContinuousMediationObservationDto, causal_ContinuousObservationDto as ContinuousObservationDto, causal_ContinuousTreatmentObservationDto as ContinuousTreatmentObservationDto, causal_CounterfactualRequest as CounterfactualRequest, causal_CounterfactualResponse as CounterfactualResponse, causal_CounterfactualTraceDto as CounterfactualTraceDto, causal_DSeparatedRequest as DSeparatedRequest, causal_DSeparatedResponse as DSeparatedResponse, causal_DecisionAuditRequest as DecisionAuditRequest, causal_DecisionAuditResponse as DecisionAuditResponse, causal_DeclareLatentVariableRequest as DeclareLatentVariableRequest, causal_DeclareLatentVariableResponse as DeclareLatentVariableResponse, causal_DensityRatioDiagnosticDto as DensityRatioDiagnosticDto, causal_DmlAteRequest as DmlAteRequest, causal_DoseResponseRequest as DoseResponseRequest, causal_DoseResponseResponse as DoseResponseResponse, causal_ExogenousNoiseDto as ExogenousNoiseDto, causal_FrontDoorObservationDto as FrontDoorObservationDto, causal_FrontDoorRequest as FrontDoorRequest, causal_FrontDoorResponse as FrontDoorResponse, causal_GetCausalModelResponse as GetCausalModelResponse, causal_IdentificationRefDto as IdentificationRefDto, causal_IdentifyEffectRequest as IdentifyEffectRequest, causal_IdentifyEffectResponse as IdentifyEffectResponse, causal_InterventionRequest as InterventionRequest, causal_InterventionResponse as InterventionResponse, causal_MeasurementRole as MeasurementRole, causal_MediationDmlRequest as MediationDmlRequest, causal_MediationEffectDto as MediationEffectDto, causal_MediationObservationDto as MediationObservationDto, causal_MediationRequest as MediationRequest, causal_MediationResponse as MediationResponse, causal_MultiMediationObservationDto as MultiMediationObservationDto, causal_MultiMediationRequest as MultiMediationRequest, causal_ObservationDto as ObservationDto, causal_ObservationalProbabilitiesDto as ObservationalProbabilitiesDto, causal_OverlapDiagnosticDto as OverlapDiagnosticDto, causal_PolicyRowDto as PolicyRowDto, causal_PolicyRuleDto as PolicyRuleDto, causal_PolicyValueRequest as PolicyValueRequest, causal_PolicyValueResponse as PolicyValueResponse, causal_ProbabilityBoundDto as ProbabilityBoundDto, causal_ProofNodeDto as ProofNodeDto, causal_ProofStatisticsDto as ProofStatisticsDto, causal_QueryResultDto as QueryResultDto, causal_RefutationCheckDto as RefutationCheckDto, causal_RefutationObservationDto as RefutationObservationDto, causal_RefuteEstimateRequest as RefuteEstimateRequest, causal_RefuteEstimateResponse as RefuteEstimateResponse, causal_RegressionBasis as RegressionBasis, causal_RootCauseAnalysisRequest as RootCauseAnalysisRequest, causal_RootCauseAnalysisResponse as RootCauseAnalysisResponse, causal_RootCauseDto as RootCauseDto, causal_RootCauseWithProofResponse as RootCauseWithProofResponse, causal_ScmCounterfactualRequest as ScmCounterfactualRequest, causal_ScmCounterfactualResponse as ScmCounterfactualResponse, causal_SensitivityDto as SensitivityDto, causal_ShiftEffectRequest as ShiftEffectRequest, causal_ShiftEffectResponse as ShiftEffectResponse, causal_StructuralAssignmentDto as StructuralAssignmentDto };
+  export type { causal_ActValueDto as ActValueDto, causal_AddCausalRelationRequest as AddCausalRelationRequest, causal_AddCausalRelationResponse as AddCausalRelationResponse, causal_AssignmentMechanism as AssignmentMechanism, causal_AssignmentRowDto as AssignmentRowDto, causal_AssumptionAuditRequest as AssumptionAuditRequest, causal_AssumptionAuditResponse as AssumptionAuditResponse, causal_AteEstimateRequest as AteEstimateRequest, causal_AteEstimateResponse as AteEstimateResponse, causal_AuditedAssumptionDto as AuditedAssumptionDto, causal_CategoryProbabilityDto as CategoryProbabilityDto, causal_CausalActionSpecDto as CausalActionSpecDto, causal_CausalAnalyzeAssumptionsDto as CausalAnalyzeAssumptionsDto, causal_CausalAnalyzeDataDto as CausalAnalyzeDataDto, causal_CausalAnalyzeIndependenceTestDto as CausalAnalyzeIndependenceTestDto, causal_CausalAnalyzePolicyDto as CausalAnalyzePolicyDto, causal_CausalAnalyzeQuestionDto as CausalAnalyzeQuestionDto, causal_CausalAnalyzeQuestionKind as CausalAnalyzeQuestionKind, causal_CausalAnalyzeRegressionDto as CausalAnalyzeRegressionDto, causal_CausalAnalyzeRequest as CausalAnalyzeRequest, causal_CausalAncestorRequest as CausalAncestorRequest, causal_CausalAncestorResponse as CausalAncestorResponse, causal_CausalAssumptionDto as CausalAssumptionDto, causal_CausalChainDto as CausalChainDto, causal_CausalDecisionSpecDto as CausalDecisionSpecDto, causal_CausalDerivationStepDto as CausalDerivationStepDto, causal_CausalEdgeDto as CausalEdgeDto, causal_CausalHedgeDto as CausalHedgeDto, causal_CausalProofTreeDto as CausalProofTreeDto, CausalRelationshipDto$1 as CausalRelationshipDto, causal_CausationProbabilitiesRequest as CausationProbabilitiesRequest, causal_CausationProbabilitiesResponse as CausationProbabilitiesResponse, causal_CausesRequest as CausesRequest, causal_CausesResponse as CausesResponse, causal_ClusteredAteRequest as ClusteredAteRequest, causal_ClusteredObservationDto as ClusteredObservationDto, causal_ContinuousMediationObservationDto as ContinuousMediationObservationDto, causal_ContinuousObservationDto as ContinuousObservationDto, causal_ContinuousTreatmentObservationDto as ContinuousTreatmentObservationDto, causal_CounterfactualRequest as CounterfactualRequest, causal_CounterfactualResponse as CounterfactualResponse, causal_CounterfactualTraceDto as CounterfactualTraceDto, causal_DSeparatedRequest as DSeparatedRequest, causal_DSeparatedResponse as DSeparatedResponse, causal_DecisionAuditRequest as DecisionAuditRequest, causal_DecisionAuditResponse as DecisionAuditResponse, causal_DeclareLatentVariableRequest as DeclareLatentVariableRequest, causal_DeclareLatentVariableResponse as DeclareLatentVariableResponse, causal_DensityRatioDiagnosticDto as DensityRatioDiagnosticDto, causal_DiDValidationRequest as DiDValidationRequest, causal_DiDValidationResponse as DiDValidationResponse, causal_DmlAteRequest as DmlAteRequest, causal_DoseResponseRequest as DoseResponseRequest, causal_DoseResponseResponse as DoseResponseResponse, causal_ExogenousNoiseDto as ExogenousNoiseDto, causal_FrontDoorObservationDto as FrontDoorObservationDto, causal_FrontDoorRequest as FrontDoorRequest, causal_FrontDoorResponse as FrontDoorResponse, causal_GetCausalModelResponse as GetCausalModelResponse, causal_IdentificationRefDto as IdentificationRefDto, causal_IdentifyEffectRequest as IdentifyEffectRequest, causal_IdentifyEffectResponse as IdentifyEffectResponse, causal_InterventionRequest as InterventionRequest, causal_InterventionResponse as InterventionResponse, causal_MeasurementRole as MeasurementRole, causal_MediationDmlRequest as MediationDmlRequest, causal_MediationEffectDto as MediationEffectDto, causal_MediationObservationDto as MediationObservationDto, causal_MediationRequest as MediationRequest, causal_MediationResponse as MediationResponse, causal_MultiMediationObservationDto as MultiMediationObservationDto, causal_MultiMediationRequest as MultiMediationRequest, causal_ObservationDto as ObservationDto, causal_ObservationalProbabilitiesDto as ObservationalProbabilitiesDto, causal_OverlapDiagnosticDto as OverlapDiagnosticDto, causal_PolicyRowDto as PolicyRowDto, causal_PolicyRuleDto as PolicyRuleDto, causal_PolicyValueRequest as PolicyValueRequest, causal_PolicyValueResponse as PolicyValueResponse, causal_ProbabilityBoundDto as ProbabilityBoundDto, causal_ProofNodeDto as ProofNodeDto, causal_ProofStatisticsDto as ProofStatisticsDto, causal_QueryResultDto as QueryResultDto, causal_RefutationCheckDto as RefutationCheckDto, causal_RefutationObservationDto as RefutationObservationDto, causal_RefuteEstimateRequest as RefuteEstimateRequest, causal_RefuteEstimateResponse as RefuteEstimateResponse, causal_RegressionBasis as RegressionBasis, causal_RootCauseAnalysisRequest as RootCauseAnalysisRequest, causal_RootCauseAnalysisResponse as RootCauseAnalysisResponse, causal_RootCauseDto as RootCauseDto, causal_RootCauseWithProofResponse as RootCauseWithProofResponse, causal_ScmCounterfactualRequest as ScmCounterfactualRequest, causal_ScmCounterfactualResponse as ScmCounterfactualResponse, causal_SensitivityDto as SensitivityDto, causal_ShiftEffectRequest as ShiftEffectRequest, causal_ShiftEffectResponse as ShiftEffectResponse, causal_StructuralAssignmentDto as StructuralAssignmentDto };
 }
 
 /**
@@ -37400,6 +37542,45 @@ declare class CausalClient {
      * ```
      */
     refuteEstimate(request: RefuteEstimateRequest): Promise<RefuteEstimateResponse>;
+    /**
+     * Validate a Difference-in-Differences (DiD) design.
+     *
+     * @param request - The treatment variable, the pre- and post-treatment outcome
+     *   variables, and an optional conditioning set.
+     * @returns Whether the design is theoretically sound, an explanation, the bad
+     *   controls found in the conditioning set, and the framework used.
+     * @throws {BadRequestError} If the request is malformed.
+     * @throws {ApiError} If the request otherwise fails.
+     *
+     * @remarks
+     * Checks the design against the causal structure the backend builds from the
+     * tenant's homoiconic rules, using the Transformed SWIG (Delta-SWIG) framework
+     * of Knaus & Pfleiderer (2026). This is a design check over the *graph*: no
+     * sample data is submitted and nothing is estimated — validate the design here,
+     * then estimate the effect with {@link CausalClient.ateEstimate}.
+     *
+     * A design can be invalid even with an empty conditioning set (parallel trends
+     * unsupported by the structure); `badControls` names the covariates that induce
+     * bias if conditioned on, so an invalid design is often repaired by dropping
+     * them and re-validating.
+     *
+     * Plain scalar JSON — no value serialization (`ValueDto` / `FeatureValueDto`)
+     * is involved.
+     *
+     * @example
+     * ```typescript
+     * const did = await client.causal.validateDid({
+     *   treatment: 'minimum_wage_hike',
+     *   outcomePre: 'employment_2025',
+     *   outcomePost: 'employment_2026',
+     *   covariates: ['county_gdp'],
+     * });
+     * console.log(did.isValid);      // false
+     * console.log(did.badControls);  // ['county_gdp']
+     * console.log(did.framework);    // 'Delta-SWIG (Knaus & Pfleiderer, 2026)'
+     * ```
+     */
+    validateDid(request: DiDValidationRequest): Promise<DiDValidationResponse>;
 }
 
 declare class Ingestion<SecurityDataType = unknown> {
@@ -38813,7 +38994,9 @@ declare class TimeoutError extends ReasoningLayerError {
 /**
  * Client-side validation error.
  *
- * Thrown before a request is sent when input fails client-side validation.
+ * Thrown before a request is sent when input fails client-side validation, and
+ * when a successful response violates the endpoint's documented contract in a way
+ * the SDK cannot faithfully represent.
  */
 declare class ValidationError extends ReasoningLayerError {
     name: string;
@@ -42979,12 +43162,44 @@ declare class StructuredIngestion<SecurityDataType = unknown> {
     registerSource: (data: RegisterSourceRequest$1, params?: RequestParams) => Promise<HttpResponse<RegisterSourceResponse$1, void>>;
 }
 
+/**
+ * The write-path mode of a source — whether its rows stay in place or become facts.
+ *
+ * @remarks
+ * The two modes are deliberately exhaustive: a source that is both a live view and a
+ * materialized snapshot is the footgun this distinction exists to make unrepresentable.
+ *
+ * - `transpile` — the source's bound sorts are live SQL views (zero copy).
+ *   `POST /api/v1/sources/{id}/ingest` is refused with **409**: materializing such a
+ *   source would create a second, divergent namespace over the same rows.
+ * - `ingest` — rows become Ψ-term facts. Any SQL sort-table binding on the source is
+ *   honored as a column→feature projection, so ingested facts land on the sort's
+ *   declared feature names.
+ *
+ * Sent verbatim on the wire. Anything outside this set is rejected by the backend with
+ * **422** (serde fails the variant before the handler runs), which is why
+ * {@link RegisterSourceRequest.mode} is typed as this union rather than a bare string.
+ *
+ * @example
+ * ```typescript
+ * const mode: SourceWriteMode = 'ingest';
+ * ```
+ */
+type SourceWriteMode = 'transpile' | 'ingest';
 /**
  * Summary of a registered source.
  */
 interface SourceSummaryDto {
     /** Whether the source is currently available/reachable. */
     available: boolean;
+    /**
+     * Resolved write-path mode: `"transpile"` or `"ingest"` (see {@link SourceWriteMode}).
+     *
+     * Typed as `string` rather than the union because the wire contract declares a plain
+     * string — narrowing it would mean inventing a fallback for a value this SDK version
+     * does not know.
+     */
+    mode: string;
     /** Source identifier. */
     sourceId: string;
     /** Source type. */
@@ -43053,6 +43268,11 @@ interface DiscoveredSourceRelationDto {
 interface StructuredIngestionStatsDto {
     /** Number of columns discovered. */
     columnsDiscovered: number;
+    /**
+     * Number of columns dropped by the projection because the binding does not declare
+     * them. Never silent — the dropped column names are named in the response `errors`.
+     */
+    columnsDropped: number;
     /** Number of documents rendered and processed. */
     documentsRendered: number;
     /** Total elapsed time in milliseconds. */
@@ -43073,6 +43293,12 @@ interface StructuredIngestionStatsDto {
     tablesDiscovered: number;
     /** Number of terms created. */
     termsCreated: number;
+    /**
+     * Number of Ψ-terms materialized by *projecting* a bound table through its SQL
+     * binding: declared feature names, declared types, key-derived identity, no LLM.
+     * Zero when none of the source's tables carry a binding.
+     */
+    termsProjected: number;
 }
 /**
  * Request to register a data source.
@@ -43086,6 +43312,15 @@ interface RegisterSourceRequest {
     sourceType: string;
     /** Source-specific configuration (varies by source_type). */
     config: Record<string, unknown>;
+    /**
+     * Declared write-path intent — see {@link SourceWriteMode}.
+     *
+     * Omitted ⇒ capability-grounded default: `transpile` for `postgres` (`postgresql`),
+     * `ingest` for every other source type (postgres is the only adapter whose transpiled
+     * SQL the engine can execute). The resolved value is always echoed back on
+     * {@link RegisterSourceResponse.mode}, so the applied default is never invisible.
+     */
+    mode?: SourceWriteMode | null;
 }
 /**
  * Response from source registration.
@@ -43097,6 +43332,15 @@ interface RegisterSourceResponse {
     sourceId: string;
     /** Source type. */
     sourceType: string;
+    /**
+     * The **resolved** write-path mode: `"transpile"` or `"ingest"` (see
+     * {@link SourceWriteMode}).
+     *
+     * Always echoed, including when the caller omitted `mode` and the default applied —
+     * otherwise the default is invisible and a later 409 on ingest reads as arbitrary.
+     * Typed as `string` for the reason given on {@link SourceSummaryDto.mode}.
+     */
+    mode: string;
     /** Status message. */
     message: string;
 }
@@ -43119,6 +43363,11 @@ interface SourceDetailResponse {
     sourceType: string;
     /** Whether the source is currently available. */
     available: boolean;
+    /**
+     * Resolved write-path mode: `"transpile"` or `"ingest"` (see {@link SourceWriteMode}).
+     * Typed as `string` for the reason given on {@link SourceSummaryDto.mode}.
+     */
+    mode: string;
 }
 /**
  * One discoverable type of a source, as reported by the cheap name-only listing.
@@ -43261,9 +43510,10 @@ type sources_RegisterSourceRequest = RegisterSourceRequest;
 type sources_RegisterSourceResponse = RegisterSourceResponse;
 type sources_SourceDetailResponse = SourceDetailResponse;
 type sources_SourceSummaryDto = SourceSummaryDto;
+type sources_SourceWriteMode = SourceWriteMode;
 type sources_StructuredIngestionStatsDto = StructuredIngestionStatsDto;
 declare namespace sources {
-  export type { sources_DiscoverSchemaRequest as DiscoverSchemaRequest, sources_DiscoverSchemaResponse as DiscoverSchemaResponse, sources_DiscoverableTypeDto as DiscoverableTypeDto, sources_DiscoveredFeatureDto as DiscoveredFeatureDto, sources_DiscoveredSortDto as DiscoveredSortDto, sources_DiscoveredSourceRelationDto as DiscoveredSourceRelationDto, sources_IngestFromSourceRequest as IngestFromSourceRequest, sources_IngestFromSourceResponse as IngestFromSourceResponse, sources_ListSourcesResponse as ListSourcesResponse, sources_ListTablesResponse as ListTablesResponse, sources_RegisterSourceRequest as RegisterSourceRequest, sources_RegisterSourceResponse as RegisterSourceResponse, sources_SourceDetailResponse as SourceDetailResponse, sources_SourceSummaryDto as SourceSummaryDto, sources_StructuredIngestionStatsDto as StructuredIngestionStatsDto };
+  export type { sources_DiscoverSchemaRequest as DiscoverSchemaRequest, sources_DiscoverSchemaResponse as DiscoverSchemaResponse, sources_DiscoverableTypeDto as DiscoverableTypeDto, sources_DiscoveredFeatureDto as DiscoveredFeatureDto, sources_DiscoveredSortDto as DiscoveredSortDto, sources_DiscoveredSourceRelationDto as DiscoveredSourceRelationDto, sources_IngestFromSourceRequest as IngestFromSourceRequest, sources_IngestFromSourceResponse as IngestFromSourceResponse, sources_ListSourcesResponse as ListSourcesResponse, sources_ListTablesResponse as ListTablesResponse, sources_RegisterSourceRequest as RegisterSourceRequest, sources_RegisterSourceResponse as RegisterSourceResponse, sources_SourceDetailResponse as SourceDetailResponse, sources_SourceSummaryDto as SourceSummaryDto, sources_SourceWriteMode as SourceWriteMode, sources_StructuredIngestionStatsDto as StructuredIngestionStatsDto };
 }
 
 /**
@@ -43283,8 +43533,31 @@ declare class SourcesClient {
     /**
      * Register a new data source.
      *
-     * @param request - Source registration request.
-     * @returns Registration result.
+     * @param request - Source registration request. Set `mode` to declare the write-path
+     *   intent (`'transpile'` for live SQL views, `'ingest'` to materialize rows as
+     *   Ψ-term facts); omit it to take the capability-grounded default (`transpile` for
+     *   postgres, `ingest` otherwise).
+     * @returns Registration result. `mode` always carries the **resolved** write-path
+     *   mode, including when the default applied.
+     * @throws {ApiError} If registration fails, or with **422** if `mode` is not one of
+     *   `transpile` / `ingest`.
+     *
+     * @remarks
+     * Registering with `mode: 'transpile'` makes {@link SourcesClient.ingest} refuse this
+     * source with a **409** — materializing a transpiled source would create a second,
+     * divergent namespace over the same rows.
+     *
+     * @example
+     * ```typescript
+     * const result = await client.sources.register({
+     *   sourceId: 'crm_postgres',
+     *   sourceName: 'CRM PostgreSQL',
+     *   sourceType: 'postgres',
+     *   config: { connection_string: 'postgres://user:pass@host/db' },
+     *   mode: 'ingest',
+     * });
+     * console.log(result.mode); // 'ingest'
+     * ```
      */
     register(request: RegisterSourceRequest): Promise<RegisterSourceResponse>;
     /**
@@ -52280,6 +52553,14 @@ declare class Osfql<SecurityDataType = unknown> {
 interface OsfqlRequest {
     /** The OSFQL program text (one or more statements separated by `;`). */
     query: string;
+    /**
+     * Opt into **reactive (streaming) mode**: after the program runs, any suspended
+     * `AWAIT` demon whose trigger is now satisfied fires automatically — no explicit
+     * `RELEASE RESIDUATIONS` needed.
+     *
+     * @defaultValue `false` — demons stay suspended until an explicit RELEASE.
+     */
+    reactive?: boolean;
 }
 /**
  * A nested Psi-term returned by a `FETCH` clause.
@@ -52290,12 +52571,22 @@ interface OsfqlRequest {
  * no separate document type. A shared or cyclic reference that was left un-inlined appears as
  * an {@link OsfqlValue} `term_ref` instead, preserving coreference identity.
  *
- * `features` is untyped on the wire (the backend schema elides the recursion into
- * `OsfqlValue`), so consumers must narrow it themselves.
+ * Serialized as `{"sort": "person", "features": {"name": {"type": "string", "value": "Alice"}}}`.
+ * The backend publishes `features` as a free-form JSON object
+ * (`#[schema(value_type = Object)]`), which erases the recursion; the Rust type is
+ * `BTreeMap<String, OsfqlValueDto>`, so the SDK ships the true recursive shape.
+ *
+ * @example
+ * ```typescript
+ * const term: OsfqlTermValue = {
+ *   sort: 'person',
+ *   features: { name: { type: 'string', value: 'Alice' } },
+ * };
+ * ```
  */
 interface OsfqlTermValue {
     /** The term's named features, each resolved to a nested value. */
-    features: object;
+    features: Record<string, OsfqlValue>;
     /** The term's sort name. */
     sort: string;
 }
@@ -52305,10 +52596,27 @@ interface OsfqlTermValue {
  * @remarks
  * Uses a tagged discriminated union with `type` as the discriminant. The discriminants are
  * **lowercase** on the wire (`"string"`, not `"String"`) — this is *not* the tagged
- * `ValueDto` format used by term CRUD.
+ * `ValueDto` format used by term CRUD, and not the untagged `FeatureValueDto` inference
+ * format. The Rust DTO is adjacently tagged (`#[serde(tag = "type", content = "value")]`),
+ * so every non-`null` variant carries its payload under a single `value` key.
+ *
+ * The union is genuinely recursive: `list` holds `Vec<OsfqlValueDto>` and a `term`'s
+ * `features` hold `BTreeMap<String, OsfqlValueDto>`. The backend erases both with
+ * `#[schema(value_type = ...Object)]`, so the SDK hand-writes the recursion against the
+ * Rust source rather than degrading the nested payloads to `object`.
  *
- * The `list` and `term` payloads are untyped on the wire (the backend schema elides the
- * recursion back into `OsfqlValue`), so their nested contents must be narrowed by the caller.
+ * The property-graph endpoints return this exact DTO — {@link PropertyGraphValue} is an
+ * alias of this type.
+ *
+ * @example
+ * ```typescript
+ * const text: OsfqlValue = { type: 'string', value: 'Alice' };
+ * const list: OsfqlValue = { type: 'list', value: [{ type: 'integer', value: 1 }] };
+ * const term: OsfqlValue = {
+ *   type: 'term',
+ *   value: { sort: 'person', features: { name: text } },
+ * };
+ * ```
  */
 type OsfqlValue = {
     type: 'null';
@@ -52326,7 +52634,7 @@ type OsfqlValue = {
     value: boolean;
 } | {
     type: 'list';
-    value: object[];
+    value: OsfqlValue[];
 } | {
     type: 'term_ref';
     value: string;
@@ -52457,15 +52765,28 @@ declare class OsfqlClient {
      * Execute an OSFQL program.
      *
      * @param query - The OSFQL program text (one or more statements separated by `;`).
+     * @param options - Optional execution options. Set `reactive` to fire suspended
+     *   `AWAIT` demons whose triggers the program has just satisfied.
      * @returns The execution result including variable bindings, produced term IDs,
      *   defined sort IDs, diagnostics, and statement count.
      * @throws {ApiError} If the request fails.
+     * @throws {ReasoningLayerError} If the server returns bindings that do not satisfy the
+     *   published {@link OsfqlValue} contract.
      *
      * @remarks
      * The query is parsed, compiled, and executed against the caller's tenant-isolated
      * knowledge base. Results include variable bindings from MATCH queries and IDs of
      * any terms or sorts created by INSERT, DERIVE, or DEFINE statements.
      *
+     * Bindings use the **tagged** {@link OsfqlValue} format with lowercase `type`
+     * discriminators — not the PascalCase `ValueDto` term-CRUD format.
+     *
+     * `reactive` opts into **reactive (streaming) mode**: once the program has run,
+     * any suspended `AWAIT` demon whose trigger is now satisfied fires
+     * automatically, with no explicit `RELEASE RESIDUATIONS` statement. It defaults
+     * to `false` — demons stay suspended until an explicit RELEASE — so omitting it
+     * leaves the request byte-identical to before.
+     *
      * @example
      * ```typescript
      * // Insert a record and query it back
@@ -52476,9 +52797,19 @@ declare class OsfqlClient {
      * console.log(result.bindings);         // [{ N: { type: "string", value: "Alice" } }]
      * console.log(result.producedTermIds);  // ["<uuid>"]
      * console.log(result.statementCount);   // 2
+     *
+     * // Let an AWAIT demon fire as soon as its trigger is satisfied
+     * await client.osfql.execute('AWAIT person(name: "Bob");');
+     * const reactive = await client.osfql.execute(
+     *   'INSERT person(name: "Bob", age: 41);',
+     *   { reactive: true },
+     * );
+     * console.log(reactive.producedTermIds); // includes the demon's own output
      * ```
      */
-    execute(query: string): Promise<OsfqlResponse>;
+    execute(query: string, options?: {
+        reactive?: boolean;
+    }): Promise<OsfqlResponse>;
     /**
      * Diagnose an OSFQL program for contradictions and inconsistencies.
      *
@@ -52568,6 +52899,30 @@ interface ConversationMessageRequest {
     currentSortContext?: string | null;
     /** When true, generate a cryptographic validity certificate for this response. */
     generateCertificate?: boolean;
+    /**
+     * Per-request override for constrained-decode repair of a hallucinated query.
+     *
+     * @remarks
+     * `false` disables the repair — the certify-or-abstain gate just abstains, surfacing
+     * the raw model output. `true` / omitted keep the default (repair when configured).
+     * Lets a UI toggle constrained decoding to compare the correction against the raw
+     * query. See {@link ConversationMessageResponse.repaired}.
+     */
+    constrainedDecode?: boolean | null;
+    /**
+     * Model id selecting which served NL→OSFQL endpoint answers this turn.
+     *
+     * @remarks
+     * Omitted means the server's default LLM. Drives side-by-side model comparison —
+     * one call per model — and is echoed back as
+     * {@link ConversationMessageResponse.modelId}, which the server populates only
+     * when this is set.
+     *
+     * The backend documents the ids as coming from a compare registry at
+     * `GET /api/v1/conversation/models`, but that route is absent from the published
+     * OpenAPI spec, so the SDK does not wrap it; ids must come from configuration.
+     */
+    model?: string | null;
 }
 /**
  * A proof trace node for backward chaining derivation trees.
@@ -52784,6 +53139,36 @@ interface ConversationMessageResponse {
     validityCertificateHash?: string | null;
     /** ID of the validity certificate (if generate_certificate was true). */
     validityCertificateId?: string | null;
+    /**
+     * Hex SHA-256 of the rule program active when the validity certificate was issued —
+     * the durable "which rule version served this proof" pin.
+     */
+    validityCertificateRuleProgramHash?: string | null;
+    /**
+     * In-process rule-program revision ordinal at issuance. Present only when
+     * rule-revision tracking is enabled on the executing store.
+     */
+    validityCertificateRuleRevision?: number | null;
+    /**
+     * The model id (compare registry) that produced this turn, when a per-request model
+     * was set — so a UI can label which model a side-by-side column came from.
+     */
+    modelId?: string | null;
+    /**
+     * Prompt-prefill wall-clock (ms) for the NL→OSFQL generation — the one-time cost
+     * before decoding begins.
+     *
+     * @remarks
+     * Surfaced beside {@link tokensPerSec} (which is *decode-only* on the device path) so
+     * a short query's prefill is visible instead of crushing the apparent rate. Absent
+     * unless measured.
+     */
+    prefillMs?: number | null;
+    /**
+     * Decode throughput for the NL→OSFQL generation, in tokens/second (wall-clock of the
+     * LLM call ÷ generated tokens). Approximate; surfaced for model comparison.
+     */
+    tokensPerSec?: number | null;
 }
 /**
  * A single conversation turn (message).
@@ -58685,56 +59070,33 @@ interface PropertyGraphQueryRequest {
  * A bound value returned by a property-graph query after lowering to OSFQL.
  *
  * @remarks
+ * An alias of {@link OsfqlValue}: the property-graph endpoints return the very
+ * same backend DTO (`OsfqlValueDto` — see `bindings: Vec<BTreeMap<String,
+ * OsfqlValueDto>>` on the Rust `PropertyGraphExecuteResponse`), because a
+ * GQL/Cypher/Gremlin query is lowered to OSFQL and executed by the OSFQL engine.
+ * The alias is kept so the property-graph surface reads in its own vocabulary
+ * while there remains exactly one definition of the shape.
+ *
  * Uses **tagged** serialization with a lowercase `type` discriminator
  * (e.g. `{"type": "string", "value": "Alice"}`). This is the OSFQL binding
  * value format — *not* the `ValueDto` term-CRUD format (which uses PascalCase
  * tags such as `{"type": "String", ...}`) and not the untagged
  * `FeatureValueDto` inference format.
  *
- * The `list` and `term` variants carry values the OpenAPI schema erases
- * (the union is recursive on the backend): `list.value` elements and
- * `term.value.features` entries are themselves values of this shape.
+ * The union is recursive: `list.value` elements and `term.value.features`
+ * entries are themselves values of this shape.
  *
  * @example
  * ```typescript
  * const value: PropertyGraphValue = { type: 'string', value: 'Alice' };
  * const nothing: PropertyGraphValue = { type: 'null' };
+ * const person: PropertyGraphValue = {
+ *   type: 'term',
+ *   value: { sort: 'person', features: { name: value } },
+ * };
  * ```
  */
-type PropertyGraphValue = {
-    type: 'null';
-} | {
-    type: 'integer';
-    value: number;
-} | {
-    type: 'float';
-    value: number;
-} | {
-    type: 'string';
-    value: string;
-} | {
-    type: 'boolean';
-    value: boolean;
-} | {
-    type: 'list';
-    value: object[];
-} | {
-    type: 'term_ref';
-    value: string;
-} | {
-    type: 'term';
-    /**
-     * A nested Psi-term: the term's sort name plus its named features, each
-     * resolved to a nested value. Coreference is inlined into containment;
-     * a cycle or an already-materialized shared term appears as `term_ref`.
-     */
-    value: {
-        /** The term's sort name. */
-        sort: string;
-        /** The term's named features, each resolved to a nested value. */
-        features: object;
-    };
-};
+type PropertyGraphValue = OsfqlValue;
 /**
  * Execution result for a GQL/Cypher/Gremlin query after lowering to OSFQL.
  *
@@ -58853,6 +59215,12 @@ declare class PropertyGraphClient {
     private readonly api;
     /** @internal */
     constructor(api: PropertyGraph);
+    /**
+     * Parse an execution response, failing loudly on a contract violation.
+     *
+     * @internal
+     */
+    private static parseExecuteResponse;
     /**
      * Execute a Cypher query.
      *
@@ -58860,6 +59228,8 @@ declare class PropertyGraphClient {
      * @returns Execution result: bindings, the OSFQL program that ran, produced term IDs,
      *   defined sort IDs, diagnostics, compatibility notes, and the statement count.
      * @throws {ApiError} If the query cannot be parsed, cannot be lowered to OSFQL, or fails to execute.
+     * @throws {ReasoningLayerError} If the server returns bindings that do not satisfy the
+     *   published {@link PropertyGraphValue} contract.
      *
      * @remarks
      * The query is parsed as Cypher, lowered to OSFQL, and executed against the
@@ -58883,6 +59253,8 @@ declare class PropertyGraphClient {
      * @returns Execution result: bindings, the OSFQL program that ran, produced term IDs,
      *   defined sort IDs, diagnostics, compatibility notes, and the statement count.
      * @throws {ApiError} If the query cannot be parsed, cannot be lowered to OSFQL, or fails to execute.
+     * @throws {ReasoningLayerError} If the server returns bindings that do not satisfy the
+     *   published {@link PropertyGraphValue} contract.
      *
      * @remarks
      * The query is parsed as GQL, lowered to OSFQL, and executed against the
@@ -58906,6 +59278,8 @@ declare class PropertyGraphClient {
      * @returns Execution result: bindings, the OSFQL program that ran, produced term IDs,
      *   defined sort IDs, diagnostics, compatibility notes, and the statement count.
      * @throws {ApiError} If the traversal cannot be parsed, cannot be lowered to OSFQL, or fails to execute.
+     * @throws {ReasoningLayerError} If the server returns bindings that do not satisfy the
+     *   published {@link PropertyGraphValue} contract.
      *
      * @remarks
      * The traversal is parsed as Gremlin, lowered to OSFQL, and executed against the
@@ -59610,31 +59984,109 @@ declare class OsfDiff<SecurityDataType = unknown> {
 }
 
 /**
- * Selector identifying one side of an OSF diff.
+ * Selects a set of Psi-terms to diff.
  *
  * @remarks
- * A tagged JSON object naming *what* to diff — for example a document
- * (`{"type": "document", "document_id": "..."}`), or another supported subject
- * of the knowledge base. The backend OpenAPI schema exposes this as a free-form
- * JSON object, so the SDK ships it opaquely rather than inventing a variant set
- * that the server does not publish.
+ * A union discriminated by `type`. The OSF diff engine compares **any two sets
+ * of OSF terms** — a document is just one way to select a set; others are
+ * collections, sorts, OSFQL query results, snapshots, or points in time.
+ * `snapshot` and `as_of` accept an optional nested `filter`, so selections
+ * compose recursively (e.g. "the terms of sort `clause` as of 2026-01-01").
  *
- * Selector keys are wire-format (snake_case) — they are passed through unchanged.
+ * This is the canonical definition, mirroring the backend, where the enum lives
+ * in the OSF diff module (`osfkb_domain::extraction::osf_diff::TermSetSelector`)
+ * and is imported by the temporal-series and coherence endpoints. The temporal
+ * surface re-exports it — there is exactly one definition.
+ *
+ * Serialized to the wire as a tagged snake_case object — for example
+ * `{"type":"sort","sort_name":"clause","include_descendants":true}`. This is a
+ * plain JSON tagged union, **not** the tagged `ValueDto` value format. The SDK
+ * surface is camelCase (`sortName`); the normalizer converts it at the boundary.
+ *
+ * The backend publishes the selector as a free-form JSON object
+ * (`#[schema(value_type = Object)]`), which erases the union in the OpenAPI
+ * spec; the SDK hand-writes it against the Rust source, whose own doc comment
+ * states "the variants double as the wire format".
  *
  * @example
  * ```typescript
- * const selector: OsfDiffSelector = { type: 'document', document_id: '3f0c...' };
+ * const byDocument: TermSetSelector = { type: 'document', documentId: '3f0c...' };
+ * const bySort: TermSetSelector = { type: 'sort', sortName: 'clause', includeDescendants: true };
+ * const historic: TermSetSelector = { type: 'as_of', at: '2026-01-01T00:00:00Z', filter: bySort };
  * ```
  */
-type OsfDiffSelector = object;
+type TermSetSelector = 
+/** All terms extracted from one document. */
+{
+    type: 'document';
+    documentId: string;
+}
+/** Alias of `document` used by the version-chain endpoints. */
+ | {
+    type: 'document_version';
+    documentId: string;
+}
+/** Union of all documents in a collection path. */
+ | {
+    type: 'collection';
+    path: string;
+}
+/** An explicit list of term IDs. */
+ | {
+    type: 'term_ids';
+    ids: string[];
+}
+/** All terms of a sort (optionally including descendant sorts). */
+ | {
+    type: 'sort';
+    sortName: string;
+    includeDescendants?: boolean;
+}
+/** The result set of an OSFQL FINDALL/MATCH query. */
+ | {
+    type: 'query';
+    osfql: string;
+}
+/** The set as captured in a tenant snapshot (optionally filtered). */
+ | {
+    type: 'snapshot';
+    snapshotId: string;
+    filter?: TermSetSelector;
+}
+/** The set as of a timestamp (RFC 3339), optionally filtered. */
+ | {
+    type: 'as_of';
+    at: string;
+    filter?: TermSetSelector;
+};
+/**
+ * Selector identifying one side of an OSF diff.
+ *
+ * @remarks
+ * An alias of {@link TermSetSelector}, the union the OSF diff endpoints resolve.
+ * The name is kept because the diff surface names its inputs "selectors".
+ *
+ * @example
+ * ```typescript
+ * const selector: OsfDiffSelector = { type: 'document', documentId: '3f0c...' };
+ * ```
+ */
+type OsfDiffSelector = TermSetSelector;
 /**
  * A serialized OSF diff report.
  *
  * @remarks
- * The structural delta between the two sides of a diff (entity-level and,
- * when requested, clause-level changes with their match degrees). The backend
- * OpenAPI schema exposes the report as a free-form JSON object, so the SDK
- * ships it opaquely; its keys are wire-format (snake_case).
+ * The structural delta between the two sides of a diff: matched/added/removed
+ * entities with their match degrees and provenance, plus, when requested,
+ * clause-level changes with deontic strictness classification and contradiction
+ * detection.
+ *
+ * Ships opaquely. The report is a large, still-evolving aggregate that the
+ * backend publishes as a free-form JSON object (`#[schema(value_type = Object)]`),
+ * so — unlike {@link TermSetSelector}, whose variants are a small fixed contract
+ * the Rust documents as the wire format — pinning it in the SDK would freeze an
+ * unstable shape and break consumers on every backend addition. Its keys are
+ * wire-format (snake_case); narrow it yourself if you need to read it.
  *
  * @example
  * ```typescript
@@ -59648,9 +60100,9 @@ type OsfDiffReport = object;
  *
  * @remarks
  * The pairwise deltas across an ordered chain of three or more sides (e.g. the
- * version chain of a document family). As with {@link OsfDiffReport}, the
- * backend publishes no schema for the report body, so it ships opaquely with
- * wire-format (snake_case) keys.
+ * version chain of a document family). Ships opaquely for the same reason as
+ * {@link OsfDiffReport}: it is a large, still-evolving aggregate published as a
+ * free-form JSON object. Its keys are wire-format (snake_case).
  *
  * @example
  * ```typescript
@@ -59693,8 +60145,8 @@ interface TemporalPoint {
  * @example
  * ```typescript
  * const request: OsfDiffRequest = {
- *   a: { type: 'document', document_id: 'a1b2...' },
- *   b: { type: 'document', document_id: 'c3d4...' },
+ *   a: { type: 'document', documentId: 'a1b2...' },
+ *   b: { type: 'document', documentId: 'c3d4...' },
  *   includeClauseDiff: true,
  *   threshold: 0.8,
  * };
@@ -59778,7 +60230,7 @@ interface OsfDiffSequenceResponse {
  * const request: OsfDiffTemporalRequest = {
  *   from: { at: '2026-01-01T00:00:00Z' },
  *   to: {},  // live
- *   filter: { type: 'document', document_id: 'a1b2...' },
+ *   filter: { type: 'document', documentId: 'a1b2...' },
  * };
  * ```
  */
@@ -59831,8 +60283,9 @@ type osfDiff_OsfDiffSequenceRequest = OsfDiffSequenceRequest;
 type osfDiff_OsfDiffSequenceResponse = OsfDiffSequenceResponse;
 type osfDiff_OsfDiffTemporalRequest = OsfDiffTemporalRequest;
 type osfDiff_TemporalPoint = TemporalPoint;
+type osfDiff_TermSetSelector = TermSetSelector;
 declare namespace osfDiff {
-  export type { osfDiff_CompareDocumentsRequest as CompareDocumentsRequest, osfDiff_OsfDiffReport as OsfDiffReport, osfDiff_OsfDiffRequest as OsfDiffRequest, osfDiff_OsfDiffResponse as OsfDiffResponse, osfDiff_OsfDiffSelector as OsfDiffSelector, osfDiff_OsfDiffSequenceReport as OsfDiffSequenceReport, osfDiff_OsfDiffSequenceRequest as OsfDiffSequenceRequest, osfDiff_OsfDiffSequenceResponse as OsfDiffSequenceResponse, osfDiff_OsfDiffTemporalRequest as OsfDiffTemporalRequest, osfDiff_TemporalPoint as TemporalPoint };
+  export type { osfDiff_CompareDocumentsRequest as CompareDocumentsRequest, osfDiff_OsfDiffReport as OsfDiffReport, osfDiff_OsfDiffRequest as OsfDiffRequest, osfDiff_OsfDiffResponse as OsfDiffResponse, osfDiff_OsfDiffSelector as OsfDiffSelector, osfDiff_OsfDiffSequenceReport as OsfDiffSequenceReport, osfDiff_OsfDiffSequenceRequest as OsfDiffSequenceRequest, osfDiff_OsfDiffSequenceResponse as OsfDiffSequenceResponse, osfDiff_OsfDiffTemporalRequest as OsfDiffTemporalRequest, osfDiff_TemporalPoint as TemporalPoint, osfDiff_TermSetSelector as TermSetSelector };
 }
 
 /**
@@ -59851,9 +60304,13 @@ declare namespace osfDiff {
  * - {@link OsfDiffClient.diffTemporal} — the same subject across two bitemporal points.
  * - {@link OsfDiffClient.compareDocuments} — the document-to-document convenience form.
  *
- * Selectors and diff reports are free-form JSON objects on the wire (the backend
- * publishes no schema for their bodies), so they ship opaquely with snake_case
- * keys. No tagged/untagged value serialization is involved on these endpoints.
+ * Selectors are typed: {@link TermSetSelector} (aliased as {@link OsfDiffSelector})
+ * is a `type`-discriminated union covering documents, collections, sorts, OSFQL
+ * queries, snapshots, and points in time. The SDK surface is camelCase and the
+ * normalizer converts it to the tagged snake_case wire object at the boundary.
+ * The diff *reports* remain opaque snake_case JSON — they are large, still-evolving
+ * aggregates the backend publishes without a schema. No tagged/untagged value
+ * serialization is involved on these endpoints.
  *
  * Delegates to generated route classes for type-safe HTTP calls.
  */
@@ -59873,13 +60330,14 @@ declare class OsfDiffClient {
      * Entities are matched by OSF unification; `threshold` (default 0.7) is the
      * minimum match degree at which two entities are considered the same. Set
      * `includeClauseDiff` / `includeEntityDiff` to control which deltas the report
-     * carries. Selectors and the report are opaque wire-format JSON objects.
+     * carries. Each side is a typed {@link OsfDiffSelector}; the report is an opaque
+     * wire-format JSON object.
      *
      * @example
      * ```typescript
      * const result = await client.osfDiff.diff({
-     *   a: { type: 'document', document_id: 'a1b2c3d4-...' },
-     *   b: { type: 'document', document_id: 'e5f6a7b8-...' },
+     *   a: { type: 'document', documentId: 'a1b2c3d4-...' },
+     *   b: { type: 'document', documentId: 'e5f6a7b8-...' },
      *   includeClauseDiff: true,
      *   threshold: 0.8,
      * });
@@ -59931,7 +60389,7 @@ declare class OsfDiffClient {
      * const result = await client.osfDiff.diffTemporal({
      *   from: { at: '2026-01-01T00:00:00Z' },
      *   to: {},  // live
-     *   filter: { type: 'document', document_id: 'a1b2c3d4-...' },
+     *   filter: { type: 'document', documentId: 'a1b2c3d4-...' },
      * });
      * console.log(result.report);
      * ```
@@ -60807,12 +61265,19 @@ declare class SatClient {
      *   Solver statistics are attached to every branch.
      * @throws {ApiError} If the request fails (e.g. a literal references a variable
      *   index `>= numVars`, or a clause is empty).
+     * @throws {ValidationError} If a `satisfiable` verdict arrives without a
+     *   well-formed Boolean model, which violates the endpoint contract.
      *
      * @remarks
      * Narrow on `result` to reach the model — it exists only on the `satisfiable`
      * branch. `maxConflicts: 0` (the default) means an unlimited budget, in which
      * case `unknown` cannot be returned.
      *
+     * The model is index-aligned with the variables (`model[i]` is the value of
+     * variable `i`). A `satisfiable` response whose model is missing or holds a
+     * non-Boolean is reported as a {@link ValidationError} rather than silently
+     * shortened — dropping an entry would shift every later variable's assignment.
+     *
      * Plain JSON serialization: literals are `{ var, negated }` objects and the
      * model is a `boolean[]` indexed by variable number. No tagged `ValueDto` or
      * untagged `FeatureValueDto` encoding is used.
@@ -61889,54 +62354,7 @@ interface TemporalModelCheckResponse {
     /** A counterexample witness from the first failing initial state, when one could be extracted. */
     counterexample?: CtlCounterExample;
 }
-/**
- * Selects the set of Ψ-terms a temporal series is built from.
- *
- * @remarks
- * A union discriminated by `type`, resolved tenant-scoped by the same backend
- * resolver the OSF diff endpoints use. `snapshot` and `asOf` accept an optional
- * nested `filter` selector, so selections compose recursively (e.g. "the terms
- * of sort `reading` as of 2026-01-01").
- *
- * Serialized to the wire as a tagged snake_case object — for example
- * `{"type":"sort","sort_name":"reading","include_descendants":true}`. This is a
- * plain JSON tagged union, **not** the tagged `ValueDto` value format.
- *
- * @example
- * ```typescript
- * const bySort: TermSetSelector = { type: 'sort', sortName: 'sensor_reading', includeDescendants: true };
- * const byIds: TermSetSelector = { type: 'term_ids', ids: ['3f0c...', '7a1b...'] };
- * const historic: TermSetSelector = { type: 'as_of', at: '2026-01-01T00:00:00Z', filter: bySort };
- * ```
- */
-type TermSetSelector = {
-    type: 'document';
-    documentId: string;
-} | {
-    type: 'document_version';
-    documentId: string;
-} | {
-    type: 'collection';
-    path: string;
-} | {
-    type: 'term_ids';
-    ids: string[];
-} | {
-    type: 'sort';
-    sortName: string;
-    includeDescendants?: boolean;
-} | {
-    type: 'query';
-    osfql: string;
-} | {
-    type: 'snapshot';
-    snapshotId: string;
-    filter?: TermSetSelector;
-} | {
-    type: 'as_of';
-    at: string;
-    filter?: TermSetSelector;
-};
+
 /**
  * Granularity of an integer epoch feature.
  *
@@ -64883,6 +65301,10 @@ type OntologyExportFormat = 'json' | 'turtle' | 'ntriples' | 'rdfxml' | 'jsonld'
  * `base` and `root` are query parameters; `format` selects the `Accept` header.
  * Omitting `root` exports the whole tenant schema.
  *
+ * `root` is repeatable: pass an array to select several sub-lattices in one
+ * export. It is serialized as a repeated parameter (`?root=a&root=b`), which is
+ * what the backend parses.
+ *
  * @example
  * ```typescript
  * const options: OntologyExportOptions = {
@@ -64890,6 +65312,12 @@ type OntologyExportFormat = 'json' | 'turtle' | 'ntriples' | 'rdfxml' | 'jsonld'
  *   root: 'clinical_entity',
  *   format: 'turtle',
  * };
+ *
+ * // Several sub-lattices in one export
+ * const multi: OntologyExportOptions = {
+ *   root: ['clinical_entity', 'administrative_entity'],
+ *   format: 'turtle',
+ * };
  * ```
  */
 interface OntologyExportOptions {
@@ -64904,10 +65332,15 @@ interface OntologyExportOptions {
      */
     format?: OntologyExportFormat;
     /**
-     * Restrict the export to the sub-lattice under this sort. Omit to export the
-     * whole tenant schema.
+     * Restrict the export to the sub-lattice under this sort, or — given an array —
+     * to the union of the sub-lattices under each of these sorts. Omit to export
+     * the whole tenant schema.
+     *
+     * @remarks
+     * Serialized as a repeated query parameter (`?root=a&root=b`). Every named
+     * sort must exist: the backend 404s on the first unknown name.
      */
-    root?: string;
+    root?: string | string[];
 }
 /**
  * An exported ontology document, verbatim.
@@ -64919,10 +65352,14 @@ interface OntologyExportOptions {
  * with. RDF serializations are text; the default JSON rendering is JSON text
  * (parse it with `JSON.parse` when you need the object).
  *
+ * The media type is the server's `Content-Type` verbatim, parameters included —
+ * Turtle is served as `text/turtle; charset=utf-8`, not a bare `text/turtle`, so
+ * match on a prefix rather than comparing for equality.
+ *
  * @example
  * ```typescript
  * const result: OntologyExportDocument = {
- *   contentType: 'text/turtle',
+ *   contentType: 'text/turtle; charset=utf-8',
  *   document: '@prefix : <urn:osfkb:tenant:...> .\n',
  * };
  * ```
@@ -64967,21 +65404,37 @@ declare class OntologyExportClient {
     private readonly api;
     /** @internal */
     constructor(api: OntologyExport);
+    /**
+     * Issue a content-negotiated export request and project the response.
+     *
+     * @internal
+     * @remarks
+     * Goes through the transport directly rather than through the generated route
+     * methods: `root` is repeatable server-side (`?root=a&root=b`), but utoipa
+     * cannot express a repeated query parameter, so the generated routes type it as
+     * a lone `root?: string` — narrower than the endpoint each route's own
+     * "(repeatable)" doc comment describes. The transport's query serializer
+     * already branches on `Array.isArray` and emits the repeats correctly.
+     */
+    private requestExport;
     /**
      * Export the tenant's sort lattice (or a sub-lattice) as an OWL ontology.
      *
      * @param options - Export options: the base IRI for synthesized IRIs, the root
-     *   sort to restrict the export to, and the serialization to negotiate on.
+     *   sort (or sorts) to restrict the export to, and the serialization to
+     *   negotiate on.
      * @returns The exported document, verbatim, with the media type the server
      *   answered with.
      * @throws {BadRequestError} If the base IRI is invalid or the query is malformed.
-     * @throws {NotFoundError} If the requested root sort does not exist.
+     * @throws {NotFoundError} If a requested root sort does not exist.
      * @throws {ApiError} If the request otherwise fails.
      *
      * @remarks
      * Omit `root` to export the whole tenant schema. Omit `base` to let the backend
      * synthesize IRIs under `urn:osfkb:tenant:{tenant_id}`.
      *
+     * `root` is repeatable: pass an array to export several sub-lattices at once.
+     *
      * `format` selects the `Accept` header: an RDF serialization yields an RDF
      * document, and the default (`'json'`) yields the backend's JSON rendering as
      * JSON text — parse it with `JSON.parse` when you need the object.
@@ -64994,8 +65447,13 @@ declare class OntologyExportClient {
      *   format: 'turtle',
      * });
      *
-     * console.log(owl.contentType); // 'text/turtle'
+     * console.log(owl.contentType); // 'text/turtle; charset=utf-8'
      * console.log(owl.document);    // '@prefix : <https://example.org/ontology#> ...'
+     *
+     * // Several sub-lattices in one export -> ?root=clinical_entity&root=administrative_entity
+     * const both = await client.ontologyExport.exportOwl({
+     *   root: ['clinical_entity', 'administrative_entity'],
+     * });
      * ```
      */
     exportOwl(options?: OntologyExportOptions): Promise<OntologyExportDocument>;
@@ -65004,16 +65462,18 @@ declare class OntologyExportClient {
      * shapes.
      *
      * @param options - Export options: the base IRI for synthesized IRIs, the root
-     *   sort to restrict the export to, and the serialization to negotiate on.
+     *   sort (or sorts) to restrict the export to, and the serialization to
+     *   negotiate on.
      * @returns The exported document, verbatim, with the media type the server
      *   answered with.
      * @throws {BadRequestError} If the base IRI is invalid or the query is malformed.
-     * @throws {NotFoundError} If the requested root sort does not exist.
+     * @throws {NotFoundError} If a requested root sort does not exist.
      * @throws {ApiError} If the request otherwise fails.
      *
      * @remarks
      * Each exported shape targets one sort and constrains its features. Omit `root`
-     * to export the whole tenant schema.
+     * to export the whole tenant schema; pass an array to export the shapes of
+     * several sub-lattices at once.
      *
      * `format` selects the `Accept` header: an RDF serialization yields an RDF
      * document, and the default (`'json'`) yields the backend's JSON rendering of
@@ -65023,7 +65483,7 @@ declare class OntologyExportClient {
      * ```typescript
      * const shacl = await client.ontologyExport.exportShacl({ format: 'turtle' });
      *
-     * console.log(shacl.contentType); // 'text/turtle'
+     * console.log(shacl.contentType); // 'text/turtle; charset=utf-8'
      * console.log(shacl.document);    // '... sh:NodeShape ...'
      * ```
      */
@@ -66775,4 +67235,4 @@ declare function toUntaggedFeatures(features: PlainFeatureMap): Record<string, F
  */
 declare function toTermInputDto(input: PsiTermInput | TermInputDto): TermInputDto;
 
-export { ANY_ROLE, actionReviews as ActionReviews, actions as Actions, type AddFactRequest, type AddFactResponse, type AddRuleRequest, type AddRuleResponse, admin as Admin, agui as Agui, type AguiEvent, type AguiMessage, type AguiRole, type AguiRunOptions, type AguiTool, type AiGroup, type AlcConcept, analysis as Analysis, type AnalysisGroup, ApiError, type ApiResponse, type ArithmeticOp, type AuthConfig, AuthenticationError, authz as Authz, type AuthzAction, type AuthzDryRunRequest, type AuthzDryRunResponse, type AuthzEffect, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkCreateSortsRequest, type BulkCreateSortsResponse, cdl as CDL, type CascadeOptions, type CatalogPage, causal as Causal, type CertificateDetail, chase as Chase, type ChaseArgDto, type ChaseAtomDto, type ChaseRunRequest, type ChaseRunResponse, type CheckDocumentRequest, type CheckDocumentResponse, type CheckFinding, type CheckSummary, type ClaimAssessment, type ClaimSubtype, type ClaimVerdict, type ClassifyEdgesInput, type ClassifyEdgesVars, type ClearTermsResponse, type ClientConfig, cognitive as Cognitive, type CognitiveStrategyDto, coherence as Coherence, type CoherenceAnalyzeRequest, type CoherenceAnalyzeResponse, collections as Collections, communities as Communities, type CompareDocumentsRequest, type ComparisonOp, compliance as Compliance, complianceMarkings as ComplianceMarkings, conformance as Conformance, type ConformanceCheckResponse, type ConformanceRepairResponse, type ConformanceRequest, type ConstrainedPlainVar, Constraint, ConstraintViolationError, constraints as Constraints, control as Control, conversation as Conversation, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationSummaryDto, type ConversationTurnsResponse, type CoreGroup, corpus as Corpus, type CorpusBridgesRequest, type CorpusBridgesResponse, type CorpusCommunitiesRequest, type CorpusCommunitiesResponse, type CorpusCrossCuttingRequest, type CorpusCrossCuttingResponse, type CorpusScope, type CreateResearchSessionRequest, type CreateResearchSessionResponse, type CreateSortRequest, type CreateTermRequest, type CtlFormula, dl as DL, type DataGroup, discovery as Discovery, type DlSatisfiableRequest, type DlSatisfiableResponse, type DlSubsumesRequest, type DlSubsumesResponse, documentCheck as DocumentCheck, documents as Documents, type EqLiteralDto, type EqualityAtomDto, type ErrorResponse$1 as ErrorResponse, execution as Execution, extract as Extract, feasibility as Feasibility, type FeatureInputValueDto, type FeatureValueDto, type FindingKind, type FindingSeverity, Flow, type FlowProblem as FlowBuilderProblem, type FlowEdgeInput, type FlowEdgeOptions, flowNetworks as FlowNetworks, type FlowNode, type FlowProblemInputBase, type FocusEntryDto, ForbiddenError, forecast as Forecast, type ForecastDomain, type ForecastDomainsResponse, type ForecastEntityInput, type ForecastRequest, type ForecastResponse, type ForwardChainRequest, type ForwardChainResponse, functions as Functions, fuzzy as Fuzzy, FuzzyShape, type FuzzyShapeDto, generation as Generation, type GlbRequest, type GlbResponse, type GraphSparqlQueryRequest, type GraphSparqlResults, guardrail as Guardrail, type GuardrailReport, type GuardrailRequest, health as Health, homoiconic as Homoiconic, ilp as ILP, imageExtraction as ImageExtraction, inference as Inference, type IngestPaperRequest, type IngestPaperResponse, ingestion as Ingestion, IngestionFailedError, IngestionSession, type IngestionSyncOptions, type InlineDocument, type InstallList, type InstallPluginRequest, type InstallPluginResponse, type InstallState, type InstallSummary, type Interceptor, InternalServerError, type JsonValue$1 as JsonValue, type KripkeState, type KripkeTransition, LP, ltn as LTN, type ListCatalogParams, type ListConversationsResponse, type ListInstallsParams, type ListResearchSessionsResponse, type LtnInstance, type LtnQueryRequest, type LtnQueryResponse, type LtnRefuteRequest, type LtnRefuteResponse, type LtnRule, type LtnTrainRequest, type LtnTrainResponse, type LubRequest, type LubResponse, marketplace as Marketplace, type MarketplaceScope, type MaxFlowInput, type MaxFlowVars, type MinCostMaxFlowInput, type MinCostMaxFlowVars, type MinCutInput, type MinCutVars, namespaces as Namespaces, NetworkError, neuroSymbolic as NeuroSymbolic, NotFoundError, ontology as Ontology, ontologyAlignment as OntologyAlignment, ontologyBridge as OntologyBridge, ontologyExport as OntologyExport, type OntologyExportDocument, type OntologyExportFormat, type OntologyExportOptions, ontologyFacade as OntologyFacade, type Operand, operations as Operations, optimize as Optimize, osfDiff as OsfDiff, type OsfDiffReport, type OsfDiffRequest, type OsfDiffResponse, type OsfDiffSelector, type OsfDiffSequenceReport, type OsfDiffSequenceRequest, type OsfDiffSequenceResponse, type OsfDiffTemporalRequest, type OsfSearchRequest, type OsfSearchResponse, osfql as Osfql, type OsfqlRequest, type OsfqlResponse, type OsfqlValue, oversight as Oversight, type PaginationParams, type PaperMetadataDto, type PaperSource, type PlainFeatureMap, type PlainFeatureValue, plainValues as PlainValues, type PluginDependency, type PluginDetail, type PluginManifest, type PluginSummary, type PluginVersion, preferences as Preferences, proofEngine as ProofEngine, propertyGraph as PropertyGraph, type PropertyGraphErrorResponse, type PropertyGraphExecuteResponse, type PropertyGraphQueryRequest, type PropertyGraphTranslateResponse, type PropertyGraphValue, type PsiTermDto, type PsiTermInput, type PublishPluginRequest, type PublishPluginResponse, query as Query, rag as RAG, RateLimitError, type RateLimitInfo, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type ReasoningStageDto, type ReasoningTraceDto, type RequestOptions, research as Research, type ResearchContradictionsResponse, type ResearchCycleResponse, type ResearchFindingsResponse, type ResearchGapsResponse, type ResearchReportResponse, type ResearchSessionResponse, type ResearchSessionSummaryDto, type ResolvedCoreferenceDto, reviews as Reviews, row as Row, type RunAgentRequest, SDK_VERSION, sat as Sat, type SatLiteralDto, type SatSolveRequest, type SatSolveResponse, type SatVerdict, scenarios as Scenarios, scheduling as Scheduling, type SearchCatalogRequest, type SearchCatalogResponse, type SearchPapersRequest, type SearchPapersResponse, type SessionGraphDto, type SimpleTgdDto, smt as Smt, type SmtCheckRequest, type SmtCheckResponse, type SmtFunctionApplicationDto, type SmtVerdict, solver as Solver, SortBuilder, type SortDto, type SortInfoDto, sorts as Sorts, sources as Sources, spaces as Spaces, sparql as Sparql, type SparqlAskResults, type SparqlBindingSet, type SparqlEntailmentRegime, type SparqlQueryRequest, type SparqlQueryResults, type SparqlRdfTerm, type SparqlSelectResults, type SparqlTranslation, type SparqlUpdateRequest, type SparqlUpdateTranslation, statistical as Statistical, synthetic as Synthetic, type SystemGroup, temporal as Temporal, type TemporalModelCheckRequest, type TemporalModelCheckResponse, type TemporalSeriesRequest, type TemporalSeriesResponse, type TemporalSeriesSpec, type TermDto, type TermInputArg, type TermInputDto, type TermListResponse, type TermPatternDto, type TermResponse, type TermSetSelector, terms as Terms, TimeoutError, type TurnDto, ui as UI, type UpdateTermRequest, type UpgradeInstallRequest, utilities as Utilities, ValidationError, Value, type ValueDto, values as Values, verification as Verification, type VerifyClaimRequest, type VerifyClaimResponse, visualization as Visualization, WebSocketClient, WebSocketConnection, webhookActions as WebhookActions, type WorkflowGroup, type YankPluginRequest, type YankPluginResponse, allen, constrained, discriminateFeatureValue, guard, isConstrainedPlainVar, isPsiTermInput, isTaggedValueDto, isUuid, psi, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };
+export { ANY_ROLE, actionReviews as ActionReviews, actions as Actions, type AddFactRequest, type AddFactResponse, type AddRuleRequest, type AddRuleResponse, admin as Admin, agui as Agui, type AguiContextItem, type AguiEvent, type AguiFunctionCall, type AguiMessage, type AguiRole, type AguiRunOptions, type AguiTool, type AguiToolCall, type AiGroup, type AlcConcept, analysis as Analysis, type AnalysisGroup, ApiError, type ApiResponse, type ArithmeticOp, type AuthConfig, AuthenticationError, authz as Authz, type AuthzAction, type AuthzDryRunRequest, type AuthzDryRunResponse, type AuthzEffect, type BackwardChainRequest, type BackwardChainResponse, BadRequestError, type BulkAddTermsRequest, type BulkAddTermsResponse, type BulkCreateSortsRequest, type BulkCreateSortsResponse, cdl as CDL, type CascadeOptions, type CatalogPage, causal as Causal, type CertificateDetail, chase as Chase, type ChaseArgDto, type ChaseAtomDto, type ChaseRunRequest, type ChaseRunResponse, type CheckDocumentRequest, type CheckDocumentResponse, type CheckFinding, type CheckSummary, type ClaimAssessment, type ClaimCitation, type ClaimSubtype, type ClaimVerdict, type ClassifyEdgesInput, type ClassifyEdgesVars, type ClearTermsResponse, type ClientConfig, cognitive as Cognitive, type CognitiveStrategyDto, coherence as Coherence, type CoherenceAnalyzeRequest, type CoherenceAnalyzeResponse, collections as Collections, communities as Communities, type CompareDocumentsRequest, type ComparisonOp, compliance as Compliance, complianceMarkings as ComplianceMarkings, conformance as Conformance, type ConformanceCheckResponse, type ConformanceRepairResponse, type ConformanceRequest, type ConstrainedPlainVar, Constraint, ConstraintViolationError, constraints as Constraints, control as Control, conversation as Conversation, type ConversationMessageRequest, type ConversationMessageResponse, type ConversationSummaryDto, type ConversationTurnsResponse, type CoreGroup, corpus as Corpus, type CorpusBridgesRequest, type CorpusBridgesResponse, type CorpusCommunitiesRequest, type CorpusCommunitiesResponse, type CorpusCrossCuttingRequest, type CorpusCrossCuttingResponse, type CorpusScope, type CreateResearchSessionRequest, type CreateResearchSessionResponse, type CreateSortRequest, type CreateTermRequest, type CtlFormula, dl as DL, type DataGroup, discovery as Discovery, type DlSatisfiableRequest, type DlSatisfiableResponse, type DlSubsumesRequest, type DlSubsumesResponse, documentCheck as DocumentCheck, documents as Documents, type EqLiteralDto, type EqualityAtomDto, type ErrorResponse$1 as ErrorResponse, execution as Execution, extract as Extract, feasibility as Feasibility, type FeatureInputValueDto, type FeatureValueDto, type FindingKind, type FindingSeverity, Flow, type FlowProblem as FlowBuilderProblem, type FlowEdgeInput, type FlowEdgeOptions, flowNetworks as FlowNetworks, type FlowNode, type FlowProblemInputBase, type FocusEntryDto, ForbiddenError, forecast as Forecast, type ForecastDomain, type ForecastDomainsResponse, type ForecastEntityInput, type ForecastRequest, type ForecastResponse, type ForwardChainRequest, type ForwardChainResponse, functions as Functions, fuzzy as Fuzzy, FuzzyShape, type FuzzyShapeDto, generation as Generation, type GlbRequest, type GlbResponse, type GraphSparqlQueryRequest, type GraphSparqlResults, guardrail as Guardrail, type GuardrailReport, type GuardrailRequest, type GuardrailSummary, health as Health, homoiconic as Homoiconic, ilp as ILP, imageExtraction as ImageExtraction, inference as Inference, type IngestPaperRequest, type IngestPaperResponse, ingestion as Ingestion, IngestionFailedError, IngestionSession, type IngestionSyncOptions, type InlineDocument, type InstallList, type InstallPluginRequest, type InstallPluginResponse, type InstallState, type InstallSummary, type Interceptor, InternalServerError, type JsonValue$1 as JsonValue, type KripkeState, type KripkeTransition, LP, ltn as LTN, type ListCatalogParams, type ListConversationsResponse, type ListInstallsParams, type ListResearchSessionsResponse, type LtnInstance, type LtnQueryRequest, type LtnQueryResponse, type LtnRefuteRequest, type LtnRefuteResponse, type LtnRule, type LtnTrainRequest, type LtnTrainResponse, type LubRequest, type LubResponse, marketplace as Marketplace, type MarketplaceScope, type MaxFlowInput, type MaxFlowVars, type MinCostMaxFlowInput, type MinCostMaxFlowVars, type MinCutInput, type MinCutVars, namespaces as Namespaces, NetworkError, neuroSymbolic as NeuroSymbolic, NotFoundError, ontology as Ontology, ontologyAlignment as OntologyAlignment, ontologyBridge as OntologyBridge, ontologyExport as OntologyExport, type OntologyExportDocument, type OntologyExportFormat, type OntologyExportOptions, ontologyFacade as OntologyFacade, type Operand, operations as Operations, optimize as Optimize, osfDiff as OsfDiff, type OsfDiffReport, type OsfDiffRequest, type OsfDiffResponse, type OsfDiffSelector, type OsfDiffSequenceReport, type OsfDiffSequenceRequest, type OsfDiffSequenceResponse, type OsfDiffTemporalRequest, type OsfSearchRequest, type OsfSearchResponse, osfql as Osfql, type OsfqlRequest, type OsfqlResponse, type OsfqlValue, oversight as Oversight, type PaginationParams, type PaperMetadataDto, type PaperSource, type PlainFeatureMap, type PlainFeatureValue, plainValues as PlainValues, type PluginDependency, type PluginDetail, type PluginManifest, type PluginSummary, type PluginVersion, preferences as Preferences, proofEngine as ProofEngine, propertyGraph as PropertyGraph, type PropertyGraphErrorResponse, type PropertyGraphExecuteResponse, type PropertyGraphQueryRequest, type PropertyGraphTranslateResponse, type PropertyGraphValue, type PsiTermDto, type PsiTermInput, type PublishPluginRequest, type PublishPluginResponse, query as Query, rag as RAG, RateLimitError, type RateLimitInfo, reasoning as Reasoning, type ReasoningGroup, ReasoningLayerClient, ReasoningLayerError, type ReasoningStageDto, type ReasoningTraceDto, type RequestOptions, research as Research, type ResearchContradictionsResponse, type ResearchCycleResponse, type ResearchFindingsResponse, type ResearchGapsResponse, type ResearchReportResponse, type ResearchSessionResponse, type ResearchSessionSummaryDto, type ResolvedCoreferenceDto, reviews as Reviews, row as Row, type RuleAggregatorDto, type RunAgentRequest, SDK_VERSION, sat as Sat, type SatLiteralDto, type SatSolveRequest, type SatSolveResponse, type SatVerdict, scenarios as Scenarios, scheduling as Scheduling, type SearchCatalogRequest, type SearchCatalogResponse, type SearchPapersRequest, type SearchPapersResponse, type SessionGraphDto, type SimpleTgdDto, smt as Smt, type SmtCheckRequest, type SmtCheckResponse, type SmtFunctionApplicationDto, type SmtVerdict, solver as Solver, SortBuilder, type SortDto, type SortInfoDto, sorts as Sorts, sources as Sources, spaces as Spaces, sparql as Sparql, type SparqlAskResults, type SparqlBindingSet, type SparqlEntailmentRegime, type SparqlQueryRequest, type SparqlQueryResults, type SparqlRdfTerm, type SparqlSelectResults, type SparqlTranslation, type SparqlUpdateRequest, type SparqlUpdateTranslation, statistical as Statistical, synthetic as Synthetic, type SystemGroup, temporal as Temporal, type TemporalModelCheckRequest, type TemporalModelCheckResponse, type TemporalSeriesRequest, type TemporalSeriesResponse, type TemporalSeriesSpec, type TermDto, type TermInputArg, type TermInputDto, type TermListResponse, type TermPatternDto, type TermResponse, type TermSetSelector, terms as Terms, TimeoutError, type TurnDto, ui as UI, type UpdateTermRequest, type UpgradeInstallRequest, utilities as Utilities, ValidationError, Value, type ValueDto, values as Values, verification as Verification, type VerifyClaimRequest, type VerifyClaimResponse, visualization as Visualization, WebSocketClient, WebSocketConnection, webhookActions as WebhookActions, type WorkflowGroup, type YankPluginRequest, type YankPluginResponse, allen, constrained, discriminateFeatureValue, guard, isConstrainedPlainVar, isPsiTermInput, isTaggedValueDto, isUuid, psi, toTaggedFeatures, toTaggedValue, toTermInputDto, toUntaggedFeatures, toUntaggedValue };