@dbsp/core 4.0.0 → 5.0.0

package/dist/index.d.ts

@@ -1,8 +1,8 @@
 import * as _dbsp_types from '@dbsp/types';
-import { PseudoColumnMetadata, RecursiveMetadata, RelationIR, RelationKind, AdapterCapabilities, Adapter, BaseAdapter, DDLGeneratingAdapter, ExecutingAdapter, IntrospectingAdapter, RawSqlAdapter, StreamingAdapter, TransactionalAdapter, ColumnType, ColumnJsReadType as ColumnJsReadType$1, WhereIntent, OnDeleteAction, TableReaddressDeclaration, ModelIR, DbCasing, QueryIntent, PlanOptions, PlanReport, RecursiveIntent, RecursivePlanOptions, RecursivePlanReport, ObservationContext, TransitionSessionClient, TransitionRunMetadata, IssuedObservation, RecoveryArtefact, ManagedStepClaimMaterial, LedgerPayload, FingerprintManifest, OperationSemantics, OperationKindRef, PhysicalOperation, EvidenceObservation, DurableIntentRecord, OperationEffectAssessment, ObservationIssuer, ApplyGuard, OperationExecutionOutcome, TransactionalCompletionRecord, StepJournal, TransitionRule, EquivalenceCapability, CapabilityDescriptor, TransitionCompositionFact, RuleRef, SemanticArtifactRef, TransitionRunJournal, ProvenPlanShape, ApplyPolicy, CheckConstraintIR, Comparator, ResourceAddress, JsonValue as JsonValue$1, DeclarationSet, EnumIR, ObservationRequest, EvidenceView, ProofObligation, ExecutionContract, ExecutionRequirement, AdvisoryObservationId, AssumptionId, ClaimId, EvidenceId, SemanticArtifactId, IndexIR, LedgerClaimKind, LedgerLifecycleGrammarColumn, LedgerHome, LedgerAddress, LedgerChainMember, LedgerStableState, LedgerOpenClaim, LedgerChainProjection, Assumption, ResourceSelector, TransitionLessor, ApplyResult, TransitionCandidate, TransitionFragmentComposition, PlanAssessment, CompareOutcome, TransitionFragment, ProofClaim, NormalizedManagedStep, ApplicableAssessment, ExclusiveTransitionTarget, DurableApplyOutcome, InapplicableAssessment, TableIR, SequenceIR, AmbiguityCheckResult, DialectCapabilities, DDLFeature, DDLFeatureVersionRange, SelectIntent, IncludeIntent, AggregateIntent, OrderByIntent, SortDirection, InsertIntent, InsertFromIntent, UpdateIntent, BatchUpdateIntent, DeleteIntent, UpsertIntent, UpsertFromIntent, TransactionBeginOptions, Dump, SetOperationIntent, LockStrength, LockWaitPolicy, DumpMeta, JoinIntent, UnnestCteIntent, CteQueryIntent, CompileOptions, CompiledQuery, MutationIntent as MutationIntent$1, DumpSequenceStep, UpsertConflictTarget, UpsertConflictAction, RawCteIntent, TruncateOptions, VacuumOptions, AlterColumnOptions, CreateIndexOptions, DropIndexOptions, IndexInfo, TransactionOptions, PinnedConnectionOptions, ExpressionIntent, ComparisonOperator, WhereSubqueryIntent, SubqueryRefIntent, WhereAndIntent, WhereAnyIntent, WhereComparisonIntent, WhereRelationFilterIntent, RecursiveExistsOptions, WhereExistsIntent, WhereInIntent, WhereNullIntent, WhereLikeIntent, WhereNotIntent, WhereNotExistsIntent, WhereOrIntent, WhereRawExistsIntent, WhereRawNotExistsIntent, WhereExpressionIntent, StandaloneWhereExpressionIntent, AggOrderByArg, PredicateOperator, RelationType as RelationType$1, Cardinality, FeatureWarning, UnsupportedFeatureBehavior, FeatureBehaviorConfig, RangeValue, WhereRangeIntent, RangeOperand, SubqueryIncludeInfo } from '@dbsp/types';
-export { Adapter, AdapterCapabilities, AdapterLogger, AdapterStreamOptions, AdjacencyTraversal, AggregateExpressionIntent, AggregateFunction, AggregateIntent, AggregateWindowFunction, AliasIncludedColumnsMode, AlterColumnOptions, AmbiguityCheckResult, ApplicableAssessment, ApplicableEvaluation, ApplyPolicy, ArrayOperator, Assumption, BaseAdapter, CTEDefinition, CapabilityDescriptor, Cardinality, CaseExpressionIntent, CoalesceExpressionIntent, ColumnAliasIntent, ColumnExpressionIntent, ColumnIR, ColumnJsReadType, ColumnType, CommonColumnType, Comparator, CompareOutcome, ComparisonExpressionIntent, ComparisonOperator, CompileOnlyAdapter, CompileOptions, CompileResultWithIncludes, CompiledQuery, CompilingAdapter, ConnectionAvailability, CreateIndexOptions, CustomTraversal, DDLGeneratingAdapter, DbCasing, DecisionType, DeleteIntent, DialectCapabilities, DialectName, DropIndexOptions, DuckDBColumnType, Dump, DumpMeta, DurableIntentRecord, EdgeTableTraversal, EmitJoinClause, ExclusiveTransitionTarget, ExecutingAdapter, ExpressionIntent, FilterStrategy, FingerprintManifest, ForeignKeyIR, InapplicableAssessment, IncludeIntent, IncludeStrategy, IndexColumnDef, IndexIR, IndexInfo, IndexMethod, InsertFromIntent, InsertIntent, IntrospectingAdapter, IsTypeSupported, JoinDefault, JoinIntent, LiteralExpressionIntent, LogicalIdentity, LogicalIdentityCarrier, LogicalOperator, MSSQLColumnType, ModelIR, MutationIntent, MySQLColumnType, NullOperator, NullsPosition, ObservationContext, ObservationIssuer, ObservationRequest, OffsetWindowFunction, OnDeleteAction, OperationEffectAssessment, OperationSemantics, Optionality, OrderByIntent, PartitionIR, PhysicalOperation, PlanDecision, PlanOptions, PlanReport, PlanWarning, PlanWarningCode, PostgresColumnType, PostgresOnlyColumnType, PredicateOperator, ProvenApplyGuard, ProvenGuardProtocol, ProvenPlanShape, ProvenPlanStep, PseudoColumnExpressionIntent, PseudoColumnMetadata, PseudoColumnTraversal, QueryIntent, RangeOperator, RangeValue, RankingWindowFunction, RawExpressionIntent, RawSqlAdapter, RecognitionResult, RecursiveAdvancedOptions, RecursiveDedupe, RecursiveDirection, RecursiveEmitOptions, RecursiveExistsOptions, RecursiveIntent, RecursiveMetadata, RecursiveNodeIdExpr, RecursivePlanOptions, RecursivePlanReport, RecursiveTrackOptions, RecursiveTraversal, RelationColumnIntent, RelationIR, RelationKind, RelationOperator, RelationType, RequiredEnumLabelIR, ResolvedIncludeStrategy, ResourceAddress, RuleEvaluation, RuleSupport, SQLiteColumnType, SelectAggregateIntent, SelectAllIntent, SelectFieldsIntent, SelectIntent, SelectWithExpressionsIntent, SerializedProvenPlan, SortDirection, StepJournal, StreamingAdapter, StringOperator, SubqueryIncludeInfo, SubqueryRefIntent, SupportedColumnTypes, TableIR, TableReaddressAddress, TableReaddressDeclaration, TransactionOptions, TransactionalAdapter, TransactionalCompletionRecord, TransitionCandidate, TransitionLessor, TransitionQueryClient, TransitionRule, TransitionRunMetadata, TransitionSessionClient, TruncateOptions, UpdateIntent, UpsertConflictAction, UpsertConflictTarget, UpsertFromIntent, UpsertIntent, VacuumOptions, WhereAndIntent, WhereAnyIntent, WhereComparisonIntent, WhereExistsIntent, WhereInIntent, WhereIntent, WhereLikeIntent, WhereNotExistsIntent, WhereNotIntent, WhereNullIntent, WhereOrIntent, WhereRangeIntent, WhereRelationFilterIntent, WhereSubqueryIntent, WindowFunction, WindowIntent, WindowOrderBy, getNodeIdAlias, isAdjacencyTraversal, isAggregateWindowFunction, isCoalesceExpression, isColumnAliasExpression, isCustomTraversal, isDeleteIntent, isEdgeTableTraversal, isInsertIntent, isMutationIntent, isRankingWindowFunction, isRawExpression, isRecursiveIntent, isRelationColumnExpression, isSelectAggregate, isSelectAll, isSelectFields, isSelectWithExpressions, isSubqueryRef, isUpdateIntent, isUpsertIntent, isWhereAnd, isWhereAny, isWhereComparison, isWhereExists, isWhereIn, isWhereLike, isWhereLogical, isWhereNot, isWhereNotExists, isWhereNull, isWhereOr, isWhereRange, isWhereRelationBased, isWhereRelationFilter, isWhereSubquery, isWindowIntent } from '@dbsp/types';
-import { D as DurablyLoadedRun, T as TransitionReadTarget } from './internal-CNjWzMNe.js';
-export { A as AdmittedDestructiveOutcomeClaim, a as TRANSITION_LESSOR_REJECTION, b as TransitionLeaseFailure, c as acquireExclusiveTransitionLease, d as acquireTransitionLease, e as acquireTransitionTargetLease, f as classifyOutcomeRecovery, g as createExclusiveTransitionTarget, h as createTransitionLessor, i as findUniqueLedgerTerminal, j as isExclusiveTransitionTarget, k as isTransitionLessor, o as outcomeClaimEventId, l as outcomeClaimId, p as planOperationSession } from './internal-CNjWzMNe.js';
+import { PseudoColumnMetadata, RecursiveMetadata, RelationIR, RelationKind, AdapterCapabilities, Adapter, BaseAdapter, ExecutingAdapter, IntrospectingAdapter, RawSqlAdapter, StreamingAdapter, TransactionalAdapter, ColumnType, ColumnJsReadType as ColumnJsReadType$1, WhereIntent, OnDeleteAction, TableReaddressDeclaration, ModelIR, DbCasing, QueryIntent, PlanOptions, PlanReport, RecursiveIntent, RecursivePlanOptions, RecursivePlanReport, ObservationContext, TransitionSessionClient, TransitionRunMetadata, IssuedObservation, RecoveryArtefact, ManagedStepClaimMaterial, LedgerPayload, FingerprintManifest, OperationSemantics, OperationKindRef, PhysicalOperation, EvidenceObservation, DurableIntentRecord, OperationEffectAssessment, ObservationIssuer, ApplyGuard, OperationExecutionOutcome, TransactionalCompletionRecord, StepJournal, TransitionRule, EquivalenceCapability, CapabilityDescriptor, TransitionCompositionFact, RuleRef, SemanticArtifactRef, TransitionRunJournal, ProvenPlanShape, ApplyPolicy, CheckConstraintIR, Comparator, ResourceAddress, JsonValue as JsonValue$1, DeclarationSet, EnumIR, ObservationRequest, EvidenceView, ProofObligation, ExecutionContract, ExecutionRequirement, AdvisoryObservationId, AssumptionId, ClaimId, EvidenceId, SemanticArtifactId, IndexIR, LedgerClaimKind, LedgerLifecycleGrammarColumn, LedgerHome, LedgerAddress, LedgerChainMember, LedgerStableState, LedgerOpenClaim, LedgerChainProjection, Assumption, ResourceSelector, TransitionLessor, ApplyResult, TransitionCandidate, TransitionFragmentComposition, PlanAssessment, CompareOutcome, TransitionFragment, ProofClaim, NormalizedManagedStep, ApplicableAssessment, ExclusiveTransitionTarget, DurableApplyOutcome, InapplicableAssessment, TableIR, SequenceIR, AmbiguityCheckResult, DialectCapabilities, DDLFeature, DDLFeatureVersionRange, SelectIntent, IncludeIntent, AggregateIntent, OrderByIntent, SortDirection, InsertIntent, InsertFromIntent, UpdateIntent, BatchUpdateIntent, DeleteIntent, UpsertIntent, UpsertFromIntent, TransactionBeginOptions, Dump, SetOperationIntent, LockStrength, LockWaitPolicy, DumpMeta, JoinIntent, UnnestCteIntent, CteQueryIntent, CompileOptions, CompiledQuery, MutationIntent as MutationIntent$1, DumpSequenceStep, UpsertConflictTarget, UpsertConflictAction, RawCteIntent, TruncateOptions, VacuumOptions, AlterColumnOptions, CreateIndexOptions, DropIndexOptions, IndexInfo, TransactionOptions, PinnedConnectionOptions, ExpressionIntent, ComparisonOperator, WhereSubqueryIntent, SubqueryRefIntent, WhereAndIntent, WhereAnyIntent, WhereComparisonIntent, WhereRelationFilterIntent, RecursiveExistsOptions, WhereExistsIntent, WhereInIntent, WhereNullIntent, WhereLikeIntent, WhereNotIntent, WhereNotExistsIntent, WhereOrIntent, WhereRawExistsIntent, WhereRawNotExistsIntent, WhereExpressionIntent, StandaloneWhereExpressionIntent, AggOrderByArg, PredicateOperator, RelationType as RelationType$1, Cardinality, FeatureWarning, UnsupportedFeatureBehavior, FeatureBehaviorConfig, RangeValue, WhereRangeIntent, RangeOperand, SubqueryIncludeInfo } from '@dbsp/types';
+export { Adapter, AdapterCapabilities, AdapterLogger, AdapterStreamOptions, AdjacencyTraversal, AggregateExpressionIntent, AggregateFunction, AggregateIntent, AggregateWindowFunction, AliasIncludedColumnsMode, AlterColumnOptions, AmbiguityCheckResult, ApplicableAssessment, ApplicableEvaluation, ApplyPolicy, ArrayOperator, Assumption, BaseAdapter, CTEDefinition, CapabilityDescriptor, Cardinality, CaseExpressionIntent, CoalesceExpressionIntent, ColumnAliasIntent, ColumnExpressionIntent, ColumnIR, ColumnJsReadType, ColumnType, CommonColumnType, Comparator, CompareOutcome, ComparisonExpressionIntent, ComparisonOperator, CompileOnlyAdapter, CompileOptions, CompileResultWithIncludes, CompiledQuery, CompilingAdapter, ConnectionAvailability, CreateIndexOptions, CustomTraversal, DbCasing, DecisionType, DeleteIntent, DialectCapabilities, DialectName, DropIndexOptions, DuckDBColumnType, Dump, DumpMeta, DurableIntentRecord, EdgeTableTraversal, EmitJoinClause, ExclusiveTransitionTarget, ExecutingAdapter, ExpressionIntent, FilterStrategy, FingerprintManifest, ForeignKeyIR, InapplicableAssessment, IncludeIntent, IncludeStrategy, IndexColumnDef, IndexIR, IndexInfo, IndexMethod, InsertFromIntent, InsertIntent, IntrospectingAdapter, IsTypeSupported, JoinDefault, JoinIntent, LiteralExpressionIntent, LogicalIdentity, LogicalIdentityCarrier, LogicalOperator, MSSQLColumnType, ModelIR, MutationIntent, MySQLColumnType, NullOperator, NullsPosition, ObservationContext, ObservationIssuer, ObservationRequest, OffsetWindowFunction, OnDeleteAction, OperationEffectAssessment, OperationSemantics, Optionality, OrderByIntent, PartitionIR, PhysicalOperation, PlanDecision, PlanOptions, PlanReport, PlanWarning, PlanWarningCode, PostgresColumnType, PostgresOnlyColumnType, PredicateOperator, ProvenApplyGuard, ProvenGuardProtocol, ProvenPlanShape, ProvenPlanStep, PseudoColumnExpressionIntent, PseudoColumnMetadata, PseudoColumnTraversal, QueryIntent, RangeOperator, RangeValue, RankingWindowFunction, RawExpressionIntent, RawSqlAdapter, RecognitionResult, RecursiveAdvancedOptions, RecursiveDedupe, RecursiveDirection, RecursiveEmitOptions, RecursiveExistsOptions, RecursiveIntent, RecursiveMetadata, RecursiveNodeIdExpr, RecursivePlanOptions, RecursivePlanReport, RecursiveTrackOptions, RecursiveTraversal, RelationColumnIntent, RelationIR, RelationKind, RelationOperator, RelationType, RequiredEnumLabelIR, ResolvedIncludeStrategy, ResourceAddress, RuleEvaluation, RuleSupport, SQLiteColumnType, SelectAggregateIntent, SelectAllIntent, SelectFieldsIntent, SelectIntent, SelectWithExpressionsIntent, SerializedProvenPlan, SortDirection, StepJournal, StreamingAdapter, StringOperator, SubqueryIncludeInfo, SubqueryRefIntent, SupportedColumnTypes, TableIR, TableReaddressAddress, TableReaddressDeclaration, TransactionOptions, TransactionalAdapter, TransactionalCompletionRecord, TransitionCandidate, TransitionLessor, TransitionQueryClient, TransitionRule, TransitionRunMetadata, TransitionSessionClient, TruncateOptions, UpdateIntent, UpsertConflictAction, UpsertConflictTarget, UpsertFromIntent, UpsertIntent, VacuumOptions, WhereAndIntent, WhereAnyIntent, WhereComparisonIntent, WhereExistsIntent, WhereInIntent, WhereIntent, WhereLikeIntent, WhereNotExistsIntent, WhereNotIntent, WhereNullIntent, WhereOrIntent, WhereRangeIntent, WhereRelationFilterIntent, WhereSubqueryIntent, WindowFunction, WindowIntent, WindowOrderBy, getNodeIdAlias, isAdjacencyTraversal, isAggregateWindowFunction, isCoalesceExpression, isColumnAliasExpression, isCustomTraversal, isDeleteIntent, isEdgeTableTraversal, isInsertIntent, isMutationIntent, isRankingWindowFunction, isRawExpression, isRecursiveIntent, isRelationColumnExpression, isSelectAggregate, isSelectAll, isSelectFields, isSelectWithExpressions, isSubqueryRef, isUpdateIntent, isUpsertIntent, isWhereAnd, isWhereAny, isWhereComparison, isWhereExists, isWhereIn, isWhereLike, isWhereLogical, isWhereNot, isWhereNotExists, isWhereNull, isWhereOr, isWhereRange, isWhereRelationBased, isWhereRelationFilter, isWhereSubquery, isWindowIntent } from '@dbsp/types';
+import { D as DurablyLoadedRun, T as TransitionReadTarget } from './outcome-protocol-CNjWzMNe.js';
+export { A as AdmittedDestructiveOutcomeClaim, a as TRANSITION_LESSOR_REJECTION, b as TransitionLeaseFailure, c as acquireExclusiveTransitionLease, d as acquireTransitionLease, e as acquireTransitionTargetLease, f as classifyOutcomeRecovery, g as createExclusiveTransitionTarget, h as createTransitionLessor, i as findUniqueLedgerTerminal, j as isExclusiveTransitionTarget, k as isTransitionLessor, o as outcomeClaimEventId, l as outcomeClaimId, p as planOperationSession } from './outcome-protocol-CNjWzMNe.js';
 import { NqlCompilerOptions } from '@dbsp/nql';
 
 /**
@@ -76,10 +76,6 @@ declare function supportsTransactions<DB>(adapter: BaseAdapter): adapter is Tran
  * Check if adapter supports raw SQL execution.
  */
 declare function supportsRawSql(adapter: BaseAdapter): adapter is RawSqlAdapter;
-/**
- * Check if adapter supports DDL generation.
- */
-declare function supportsDDLGeneration(adapter: BaseAdapter): adapter is DDLGeneratingAdapter;
 /**
  * Error thrown when an operation requires an adapter but none was provided.
  */
@@ -946,13 +942,18 @@ type SchemaConstraints = Record<string, SchemaTableOptions>;
 interface SchemaExtras {
     /** PostgreSQL extensions to ensure (CREATE EXTENSION IF NOT EXISTS "name") */
     extensions?: string[];
-    /** Sequences to create (CREATE SEQUENCE). Key = sequence name */
+    /**
+     * Sequences to create (CREATE SEQUENCE), or, with `adopt: true`, an existing standalone
+     * sequence for `convergePg` to take into management. Key = sequence name
+     */
     sequences?: Record<string, {
         startWith?: number | string;
         incrementBy?: number | string;
         minValue?: number | string;
         maxValue?: number | string;
         cycle?: boolean;
+        /** Explicitly bring an existing standalone sequence under managed state. */
+        adopt?: true;
     }>;
 }
 /**
@@ -1465,7 +1466,9 @@ interface OperationObservation {
 interface ComparatorNameNormalizer {
     /**
      * Normalize identifiers from the observed/current model into the namespace
-     * used by authored desired models before comparator matching runs.
+     * used by authored desired models before comparator matching runs. Enum
+     * names are not normalized: a declared enum name is the physical catalog type
+     * name that columns reference in `originalDbType` (#825).
      */
     normalizeCurrentIdentifier(identifier: string): string;
 }
@@ -1704,14 +1707,6 @@ interface DeclarationAddressContext {
     readonly database: string;
     readonly schema: string;
 }
-/**
- * The declaration layer deliberately depends on this small structural naming
- * boundary rather than an adapter package. Callers pass the same strategy that
- * comparison and proof use for the target database.
- */
-interface DeclarationNamingStrategy {
-    toDatabase(identifier: string): string;
-}
 /**
  * Reject every JavaScript value whose JSON representation is lossy or
  * host-dependent. JSON.stringify alone is unsuitable because it silently drops
@@ -1722,8 +1717,10 @@ declare function assertCanonicalizableJson(value: unknown, path?: string, seen?:
  * Slice only the declarable part of ModelIR. Deliberately absent are
  * logicalIdentity, pseudoColumns, comment, partition, rlsEnabled and policies;
  * their omission is encoded here once, rather than re-checked at every caller.
+ * The supplied model is already physical: declaration binding never derives an
+ * identifier spelling.
  */
-declare function declarationSetFromModel(model: ModelIR, context: DeclarationAddressContext, naming?: DeclarationNamingStrategy): DeclarationSet;
+declare function declarationSetFromModel(model: ModelIR, context: DeclarationAddressContext): DeclarationSet;
 /** Validate the complete declarable surface before comparison can short-circuit plan time. */
 declare function validateDeclarationModel(model: ModelIR): void;
 /** Compare only the recorded/live identity and retain the precise mismatch reason. */
@@ -4488,9 +4485,9 @@ interface NqlBuilder<T> {
     run(): Promise<void>;
     /** Execute query and return first result or null */
     first(): Promise<T | null>;
-    /** Get the IntentIR for debugging */
+    /** Get the IntentIR for debugging. Throws for CTE and set-operation queries. */
     toIntentIR(): QueryIntent | MutationIntent$1;
-    /** Get the execution plan */
+    /** Get the execution plan. Throws for mutations and CTE and set-operation queries. */
     plan(): PlanReport;
     /** Get full dump. Mutations return MutationDump without a plan. */
     dump(meta?: DumpMetaInput): Dump | MutationDump;
@@ -6366,10 +6363,14 @@ declare function raw(sqlFragment: string, as: string): ExpressionSpec;
 declare function col(column: string, alias: string): ExpressionSpec;
 /**
  * Creates a relation column expression for selecting a column from a related table.
- * Auto-creates JOINs via the include mechanism and selects with custom alias.
  *
- * Uses structured relation-column intent - no raw SQL. The compiler resolves the
- * relation to its join alias and renders a dialect-specific aliased column.
+ * Names a relation whose JOIN the query has already emitted. The compiler resolves
+ * that relation to its emitted SQL alias and renders a dialect-specific aliased
+ * column. Without an emitted alias, it reports
+ * `relation column "<relation>"."<column>" has no emitted alias in this query`.
+ *
+ * It does not derive a join: choosing its type, null behavior, and row
+ * multiplication is a separate caller-owned query decision.
  *
  * @param relation - Relation path to traverse (dot-separated for multi-level)
  * @param column - Column name to select from the target relation
@@ -6378,19 +6379,17 @@ declare function col(column: string, alias: string): ExpressionSpec;
  *
  * @example
  * ```typescript
- * // Select from direct relation
- * relationColumn('category', 'name', 'categoryName')
- * // → SELECT t1."name" AS "categoryName" (with JOIN to categories)
- *
- * // Select from nested relation (multi-level path)
- * relationColumn('category.parent', 'name', 'parentName')
- * // → SELECT t2."name" AS "parentName" (with JOINs through category to parent)
- *
- * // In a query
- * orm.select('products').columns([
- *   'name',
- *   relationColumn('category', 'name', 'categoryName'),
- * ])
+ * // A relation join supplies the emitted alias.
+ * orm.select('products')
+ *   .join('category')
+ *   .columns(['name', relationColumn('category', 'name', 'categoryName')])
+ *
+ * // An include with an explicit outer join supplies the alias too. A bare
+ * // include aggregates the relation instead, so the column lands inside
+ * // `<relation>_json` rather than at the top level under its own alias (#793).
+ * orm.select('products')
+ *   .include('category', { join: 'left' })
+ *   .columns(['name', relationColumn('category', 'name', 'categoryName')])
  * ```
  */
 declare function relationColumn<A extends string>(relation: string, column: string, as: A): AliasedExprColumn<A>;
@@ -8533,4 +8532,4 @@ declare const assertIntentHasOrderBy: (result: AssertionQueryResult, expected: b
  */
 declare function runAssertions(blocks: AssertionBlock[], results: AssertionQueryResult[], queries: string[], hasDb?: boolean): AssertionSummary;
 
-export { ASSERTION_TYPES, AdapterRequiredError, type AdjacencyOptions, type AfterMutationHook, type AfterMutationObserver, type AfterQueryHook, type AfterQueryObserver, type AggregateOptions, type AliasedColumn, type AliasedExprColumn, type AllColumns, AmbiguousPlanError, AmbiguousRelationError, type Applier, type Assertion, type AssertionBlock, type AssertionOutcome, type AssertionQueryResult, type AssertionSummary, type AssertionType, BRAND, type BatchValuesOptions, type BatchValuesRef, type BeforeMutationHook, type BeforeQueryHook, type BrandKey, COLUMN_META, CanonicalJsonError, type CardinalityShorthand, CaseBuilder, type CaseValue, type CheckDelta, type ColumnDef, type ColumnMetaKey, ColumnNotFoundError, type ColumnRef, type ColumnSpec, CteBuilder, type CteDump, CteQueryBuilder, type CursorPaginateOptions, type CursorPaginatedResult, DEFAULT_FEATURE_CHECKERS, DUCKDB_CAPABILITIES, type DeclarationNamingStrategy, type DefaultFilters, type DefineModelOptions, DeleteBuilder, type DistinctField, type DumpMetaInput, type EdgeTableOptions, type EmitWarningOptions, type EnumAddDelta, ErrorCode, type ErrorHookContext, Errors, type EstablishedProofClaim, type ExecutionCoordinator, ExecutionError, type ExprInput, ExpressionRef, type ExpressionSpec, type FeatureChecker, type FeatureUsage, type FilterOperators, type FilterValue, type FullTextSearchField, type FullTextSearchOptions, type GetSchemaFromDbOptions, type GuardExecutionResult, type HierarchyOptions, type HookErrorHandler, type HookManager, type HookPriority, type HydrateOptions, IRREGULAR_PLURALS, type InProcessProvenPlan, type IncludeOptions, type IncludeOptionsWithRecursive, type IndexDelta, type IndexSetEntry, type InferColumn, type InferColumnNonNull, type InferColumnType, type InferColumnTypes, type InferDB, type InferRefColumn, type InferRow, type InferSchemaDB, type InferTableRow, type InferTables, type InferredRangeValue, InsertBuilder, type Insertable, IntentBuilder, type IntentBuilderState, type IntentSummary, InvalidOperationError, InvalidRelationDefinitionError, type JoinOptions, type JsonValue, LEDGER_LIFECYCLE_GRAMMAR, LEDGER_PROJECTION_CODE_VERSION, type LedgerChainProjectionInput, type LightweightRelationsDef, type ListHierarchyOptions, type ListIndexOptions, type Logger, MSSQL_CAPABILITIES, MYSQL_CAPABILITIES, type ManagedOutcomeExecutionRequest, type ManagedOutcomePreflightRequest, ModelIRImpl, type MutationDump, type MutationHookContext, type MutationOperation, NamingConventionMismatchError, type NegotiationResult, type NestedInclude, type SchemaColumnType as NewSchemaColumnType, type NonRollbackableExecutionTracker, NotFoundError, type NqlBuilder, type NqlRawFragment, type NqlTag, type ObserverErrorHandler, type OnErrorHook, type OperationFingerprints, type OperationObservation, type OperationRuntime, type OrderByInput, type OrderByRecord, type OrderBySpec, type OrmInstance, type OrmOf, type OrmOptions, type OrmOptionsWithAdapter, type OrmOptionsWithModel, POSTGRESQL_CAPABILITIES, PREDICATE_REF_DISCRIMINATOR, PackRegistry, type PaginateOptions, type PaginatedResult, type ParseError, type ParseResult, type ParsedRelationDef, type ParsedRelationKey, type PathOptions, type PredicateExpressionRef, type PredicateRef, type PrioritizedHook, type ProveOutcome, type Prover, type QueryAssertionResult, type QueryBuilder, type QueryHookContext, type QueryResultType, RELATION_META, type RangeType, RawCteQueryBuilder, type RecursiveDump, type RecursiveIncludeConfig, type RecursiveOptions, RecursiveShapeMismatchError, type RefDefinition, type RefOptions, type RegisteredOperationSemantics, type RelationHints, type RelationKey, type RelationMetaKey, RelationNotFoundError, type RelationObjectDef, type RelationPathIncludeNode, type RelationPathUsage, type RelationRef, type RelationShorthand, type RelationTupleDef, ResultHydrator, type RulePrecedenceFact, SQLITE_CAPABILITIES, SQL_RAW_MARKER, type Schema, type SchemaColumnType, type SchemaConstraints, type SchemaDefinition, SchemaValidationError as SchemaError, type SchemaExtras, type SchemaIndexOptions, type SchemaIndexValidationInput, type SchemaOptions, type SchemaTableOptions, SchemaValidationError, type SelectField, type SelfRefRoles, type SetOperationBuilder, type SimplifiedOrmOptions, type SqlRawExpression, type StagedCompositionCandidate, type StagedCompositionPreflight, type StagedCompositionPreflightInput, type StagedTransitionInput, type StagedTransitionOrchestrator, type StreamOptions, SubqueryBuilder, SubqueryExpression, TABLE_META, type TableAssertionData, type TableDDL, type TableDef, type TableIndexes, type TableMetaKey, TableNotFoundError, type TableRef, type TransactionCoordinatorBinding, type TransitionExecutionClient, type TransitionPack, TransitionReadTarget, type TransitionRelationalValidationInput, type TransitionRelationalValidationResult, type TransitionRunPersister, type TraversalDirection, UnhandledTypeInDialect, UnknownDialectError, UnsafeOperationError, UnsupportedCapabilityError, UnsupportedFeatureError, UnsupportedStrategyError, UpdateBuilder, type Updateable, UpsertBuilder, type ValidatedManagedStepManifest, type ValidatedManagedStepManifestResult, type WarningCategory, type WhereFilter, WindowBuilder, admitRecordedIdentity, advisoryObservationId, aggOrderBy, and, any, array, arrayAgg, assertCanonicalizableJson, assertCapability, assertConnectionAvailable, assertContains, assertDbColumnExists, assertDbOutput, assertDbRowsEquals, assertDbRowsMax, assertDbRowsMin, assertDbValueEquals, assertEquals, assertIntentHasGroupBy, assertIntentHasOrderBy, assertIntentHasWhere, assertIntentTable, assertIntentType, assertIntentWith, assertMatches, assertParamsEquals, assertParamsLength, assertParamsType, assertParamsValue, assertSQLColumn, assertSQLEquals, assertSQLJoin, assertSQLTable, assertSuccess, assertTypeSupported, assumptionAccepted, assumptionId, batchValues, bindDeclarationSet, bindExecutionContract, boolFn, canonicalJson, canonicalJsonDigest, capitalize, caseWhen, cast, checkDelta, chooseReadyCandidate, claimId, coalesce, col, composeAfterMutationHooks, composeAfterQueryHooks, composeBeforeMutationHooks, composeBeforeQueryHooks, composeOnErrorHooks, concludeEvidenceForObligation, countDistinctRelationPathsByName, createApplier, createComparator, createDialectCapabilities, createEvidenceView, createExecutionContract, createHookManager, createNqlTag, createOrm, createPackRegistry, createProver, createPseudoColumnMetadata, createRawCteBuilder, createRecursiveMetadata, createStagedTransitionOrchestrator, createTransitionRunMetadata, decapitalize, declarationSetFromModel, defaultIndexName, defaultLogger, defineModel, denseRank, deriveRelationPathFromIntentPath, distinct, emitWarning, enumAddDelta, eq, every, evidenceId, exists, ref as exprRef, extendDialect, extractPseudoColumnKeywords, findClosestMatch, fn, fullTextSearch, getAvailableDialects, getDialectCapabilities, getLogger, getRelationKind, getSchemaFromDb, gt, gte, inArray, inSubquery, indexDelta, inferForeignKey, interpretLedgerLifecycle, isAliasedColumn, isAllColumns, isBatchValuesRef, isCardinalityShorthand, isColumnRef, isDistinctField, isDistinctFrom, isExpressionSpec, isKnownDialect, isNotNull, isNull, isOperationRuntime, isOverallSuccess, isPredicateRef, isRecursiveIncludeOptions, isRecursiveRelation, isRef, isRelationObjectDef, isRelationRef, isRelationTupleDef, isSelfReferential, isSqlRaw, isSubqueryExpression, isTableRef, isWhereIntent, lag, lead, like, literal, loadVerifiedRecoveryJournal, lt, lte, markGeneratorRemovalNonReplayable, namedArg, negotiateFeatures, neq, none, normalizeSQL, normalizedIndex, not, notExists, nqlRaw, objectToWhereIntent, observationContextDigest, op, or, outerRef, param, parseAssertionFile, parseRelationDef, parseRelationKey, pipeAfterMutationHooks, pipeAfterQueryHooks, pipeBeforeMutationHooks, pipeBeforeQueryHooks, pipeOnErrorHooks, plan, planRecursive, pluralize, preflightStagedComposition, projectCompareToSingleCandidate, projectLedgerChain, rangeContainedBy, rangeContains, rangeOverlaps, rank, raw, rawExists, rawNotExists, ref$1 as ref, registerDialect, relationColumn, requiresDatabase, resetLogger, resolveEnumSchemaForComparison, resolveQueryIndex, resourceIsWithin, resourceScopeCovers, rowNumber, runAssertions, schema, schemaToModelIR, selectorMatchesResource, semanticArtifactId, serverVersionNum, setLogger, silentLogger, singularize, some, sortByPriority, sql, star, stringAgg, subquery, supportsDDLGeneration, supportsExecution, supportsIntrospection, supportsRawSql, supportsStreaming, supportsTransactions, textScore, transitionPlanDigest, unary, unsafeAsPredicate, validateAssertionBlocks, validateDeclarationModel, validateExecutionContract, validateNormalizedManagedStepManifest, validateRecursiveInclude, validateRecursiveShape, validateSchemaIndexOptions, validateTransitionRelationalInvariants, validateTypeName, wAvg, wCount, wMax, wMin, wSum, withPriority };
+export { ASSERTION_TYPES, AdapterRequiredError, type AdjacencyOptions, type AfterMutationHook, type AfterMutationObserver, type AfterQueryHook, type AfterQueryObserver, type AggregateOptions, type AliasedColumn, type AliasedExprColumn, type AllColumns, AmbiguousPlanError, AmbiguousRelationError, type Applier, type Assertion, type AssertionBlock, type AssertionOutcome, type AssertionQueryResult, type AssertionSummary, type AssertionType, BRAND, type BatchValuesOptions, type BatchValuesRef, type BeforeMutationHook, type BeforeQueryHook, type BrandKey, COLUMN_META, CanonicalJsonError, type CardinalityShorthand, CaseBuilder, type CaseValue, type CheckDelta, type ColumnDef, type ColumnMetaKey, ColumnNotFoundError, type ColumnRef, type ColumnSpec, CteBuilder, type CteDump, CteQueryBuilder, type CursorPaginateOptions, type CursorPaginatedResult, DEFAULT_FEATURE_CHECKERS, DUCKDB_CAPABILITIES, type DefaultFilters, type DefineModelOptions, DeleteBuilder, type DistinctField, type DumpMetaInput, type EdgeTableOptions, type EmitWarningOptions, type EnumAddDelta, ErrorCode, type ErrorHookContext, Errors, type EstablishedProofClaim, type ExecutionCoordinator, ExecutionError, type ExprInput, ExpressionRef, type ExpressionSpec, type FeatureChecker, type FeatureUsage, type FilterOperators, type FilterValue, type FullTextSearchField, type FullTextSearchOptions, type GetSchemaFromDbOptions, type GuardExecutionResult, type HierarchyOptions, type HookErrorHandler, type HookManager, type HookPriority, type HydrateOptions, IRREGULAR_PLURALS, type InProcessProvenPlan, type IncludeOptions, type IncludeOptionsWithRecursive, type IndexDelta, type IndexSetEntry, type InferColumn, type InferColumnNonNull, type InferColumnType, type InferColumnTypes, type InferDB, type InferRefColumn, type InferRow, type InferSchemaDB, type InferTableRow, type InferTables, type InferredRangeValue, InsertBuilder, type Insertable, IntentBuilder, type IntentBuilderState, type IntentSummary, InvalidOperationError, InvalidRelationDefinitionError, type JoinOptions, type JsonValue, LEDGER_LIFECYCLE_GRAMMAR, LEDGER_PROJECTION_CODE_VERSION, type LedgerChainProjectionInput, type LightweightRelationsDef, type ListHierarchyOptions, type ListIndexOptions, type Logger, MSSQL_CAPABILITIES, MYSQL_CAPABILITIES, type ManagedOutcomeExecutionRequest, type ManagedOutcomePreflightRequest, ModelIRImpl, type MutationDump, type MutationHookContext, type MutationOperation, NamingConventionMismatchError, type NegotiationResult, type NestedInclude, type SchemaColumnType as NewSchemaColumnType, type NonRollbackableExecutionTracker, NotFoundError, type NqlBuilder, type NqlRawFragment, type NqlTag, type ObserverErrorHandler, type OnErrorHook, type OperationFingerprints, type OperationObservation, type OperationRuntime, type OrderByInput, type OrderByRecord, type OrderBySpec, type OrmInstance, type OrmOf, type OrmOptions, type OrmOptionsWithAdapter, type OrmOptionsWithModel, POSTGRESQL_CAPABILITIES, PREDICATE_REF_DISCRIMINATOR, PackRegistry, type PaginateOptions, type PaginatedResult, type ParseError, type ParseResult, type ParsedRelationDef, type ParsedRelationKey, type PathOptions, type PredicateExpressionRef, type PredicateRef, type PrioritizedHook, type ProveOutcome, type Prover, type QueryAssertionResult, type QueryBuilder, type QueryHookContext, type QueryResultType, RELATION_META, type RangeType, RawCteQueryBuilder, type RecursiveDump, type RecursiveIncludeConfig, type RecursiveOptions, RecursiveShapeMismatchError, type RefDefinition, type RefOptions, type RegisteredOperationSemantics, type RelationHints, type RelationKey, type RelationMetaKey, RelationNotFoundError, type RelationObjectDef, type RelationPathIncludeNode, type RelationPathUsage, type RelationRef, type RelationShorthand, type RelationTupleDef, ResultHydrator, type RulePrecedenceFact, SQLITE_CAPABILITIES, SQL_RAW_MARKER, type Schema, type SchemaColumnType, type SchemaConstraints, type SchemaDefinition, SchemaValidationError as SchemaError, type SchemaExtras, type SchemaIndexOptions, type SchemaIndexValidationInput, type SchemaOptions, type SchemaTableOptions, SchemaValidationError, type SelectField, type SelfRefRoles, type SetOperationBuilder, type SimplifiedOrmOptions, type SqlRawExpression, type StagedCompositionCandidate, type StagedCompositionPreflight, type StagedCompositionPreflightInput, type StagedTransitionInput, type StagedTransitionOrchestrator, type StreamOptions, SubqueryBuilder, SubqueryExpression, TABLE_META, type TableAssertionData, type TableDDL, type TableDef, type TableIndexes, type TableMetaKey, TableNotFoundError, type TableRef, type TransactionCoordinatorBinding, type TransitionExecutionClient, type TransitionPack, TransitionReadTarget, type TransitionRelationalValidationInput, type TransitionRelationalValidationResult, type TransitionRunPersister, type TraversalDirection, UnhandledTypeInDialect, UnknownDialectError, UnsafeOperationError, UnsupportedCapabilityError, UnsupportedFeatureError, UnsupportedStrategyError, UpdateBuilder, type Updateable, UpsertBuilder, type ValidatedManagedStepManifest, type ValidatedManagedStepManifestResult, type WarningCategory, type WhereFilter, WindowBuilder, admitRecordedIdentity, advisoryObservationId, aggOrderBy, and, any, array, arrayAgg, assertCanonicalizableJson, assertCapability, assertConnectionAvailable, assertContains, assertDbColumnExists, assertDbOutput, assertDbRowsEquals, assertDbRowsMax, assertDbRowsMin, assertDbValueEquals, assertEquals, assertIntentHasGroupBy, assertIntentHasOrderBy, assertIntentHasWhere, assertIntentTable, assertIntentType, assertIntentWith, assertMatches, assertParamsEquals, assertParamsLength, assertParamsType, assertParamsValue, assertSQLColumn, assertSQLEquals, assertSQLJoin, assertSQLTable, assertSuccess, assertTypeSupported, assumptionAccepted, assumptionId, batchValues, bindDeclarationSet, bindExecutionContract, boolFn, canonicalJson, canonicalJsonDigest, capitalize, caseWhen, cast, checkDelta, chooseReadyCandidate, claimId, coalesce, col, composeAfterMutationHooks, composeAfterQueryHooks, composeBeforeMutationHooks, composeBeforeQueryHooks, composeOnErrorHooks, concludeEvidenceForObligation, countDistinctRelationPathsByName, createApplier, createComparator, createDialectCapabilities, createEvidenceView, createExecutionContract, createHookManager, createNqlTag, createOrm, createPackRegistry, createProver, createPseudoColumnMetadata, createRawCteBuilder, createRecursiveMetadata, createStagedTransitionOrchestrator, createTransitionRunMetadata, decapitalize, declarationSetFromModel, defaultIndexName, defaultLogger, defineModel, denseRank, deriveRelationPathFromIntentPath, distinct, emitWarning, enumAddDelta, eq, every, evidenceId, exists, ref as exprRef, extendDialect, extractPseudoColumnKeywords, findClosestMatch, fn, fullTextSearch, getAvailableDialects, getDialectCapabilities, getLogger, getRelationKind, getSchemaFromDb, gt, gte, inArray, inSubquery, indexDelta, inferForeignKey, interpretLedgerLifecycle, isAliasedColumn, isAllColumns, isBatchValuesRef, isCardinalityShorthand, isColumnRef, isDistinctField, isDistinctFrom, isExpressionSpec, isKnownDialect, isNotNull, isNull, isOperationRuntime, isOverallSuccess, isPredicateRef, isRecursiveIncludeOptions, isRecursiveRelation, isRef, isRelationObjectDef, isRelationRef, isRelationTupleDef, isSelfReferential, isSqlRaw, isSubqueryExpression, isTableRef, isWhereIntent, lag, lead, like, literal, loadVerifiedRecoveryJournal, lt, lte, markGeneratorRemovalNonReplayable, namedArg, negotiateFeatures, neq, none, normalizeSQL, normalizedIndex, not, notExists, nqlRaw, objectToWhereIntent, observationContextDigest, op, or, outerRef, param, parseAssertionFile, parseRelationDef, parseRelationKey, pipeAfterMutationHooks, pipeAfterQueryHooks, pipeBeforeMutationHooks, pipeBeforeQueryHooks, pipeOnErrorHooks, plan, planRecursive, pluralize, preflightStagedComposition, projectCompareToSingleCandidate, projectLedgerChain, rangeContainedBy, rangeContains, rangeOverlaps, rank, raw, rawExists, rawNotExists, ref$1 as ref, registerDialect, relationColumn, requiresDatabase, resetLogger, resolveEnumSchemaForComparison, resolveQueryIndex, resourceIsWithin, resourceScopeCovers, rowNumber, runAssertions, schema, schemaToModelIR, selectorMatchesResource, semanticArtifactId, serverVersionNum, setLogger, silentLogger, singularize, some, sortByPriority, sql, star, stringAgg, subquery, supportsExecution, supportsIntrospection, supportsRawSql, supportsStreaming, supportsTransactions, textScore, transitionPlanDigest, unary, unsafeAsPredicate, validateAssertionBlocks, validateDeclarationModel, validateExecutionContract, validateNormalizedManagedStepManifest, validateRecursiveInclude, validateRecursiveShape, validateSchemaIndexOptions, validateTransitionRelationalInvariants, validateTypeName, wAvg, wCount, wMax, wMin, wSum, withPriority };

package/dist/index.js

@@ -9,6 +9,7 @@ import {
   acquireTransitionTargetLease,
   admitRecordedIdentity,
   assertCanonicalizableJson,
+  assertDeclaredEnumMapIdentity,
   bindDeclarationSet,
   canonicalJson,
   canonicalJsonDigest,
@@ -33,7 +34,7 @@ import {
   transitionLessorRejectionAssessment,
   transitionLessorRejectionDetail,
   validateDeclarationModel
-} from "./chunk-AQN7HBYD.js";
+} from "./chunk-XBGQXVXC.js";
 
 // src/model-ir.ts
 function createPseudoColumnMetadata(table, foreignKeyColumn, targetColumn, parentRole, childRole) {
@@ -801,10 +802,17 @@ function schemaToModelIR(definition, constraints, extras, options) {
   }
   const extensions = extras?.extensions;
   const sequenceMap = extras?.sequences ? new Map(
-    Object.entries(extras.sequences).map(([name, seq]) => [
-      name,
-      { name, ...seq }
-    ])
+    Object.entries(extras.sequences).map(([name, seq]) => {
+      const { adopt, ...shape } = seq;
+      return [
+        name,
+        {
+          name,
+          ...shape,
+          ...adopt === true ? { adopt: true } : {}
+        }
+      ];
+    })
   ) : void 0;
   return new ModelIRImpl(
     tableMap,
@@ -3454,6 +3462,11 @@ function lifecycle(value, detail) {
       kind: "adoption",
       shape: canonicalJson2(source.shape, detail)
     };
+  if (source.kind === "sequence-adoption")
+    return {
+      kind: "sequence-adoption",
+      shape: sequenceShape(source.shape, detail)
+    };
   if (source.kind === "adoption-refused") return { kind: "adoption-refused" };
   if (source.kind === "readdress") {
     const declaration = record(source.declaration, detail);
@@ -3467,6 +3480,27 @@ function lifecycle(value, detail) {
   }
   return parseError(detail);
 }
+function sequenceShape(value, detail) {
+  const source = record(value, detail);
+  const sequenceInteger = (item) => {
+    if (typeof item === "string") return item;
+    if (typeof item === "number" && Number.isFinite(item)) return item;
+    return parseError(detail);
+  };
+  const sequenceBoolean = (item) => {
+    if (typeof item === "boolean") return item;
+    return parseError(detail);
+  };
+  return {
+    name: nonEmptyString(source.name, detail),
+    ...source.startWith === void 0 ? {} : { startWith: sequenceInteger(source.startWith) },
+    ...source.incrementBy === void 0 ? {} : { incrementBy: sequenceInteger(source.incrementBy) },
+    ...source.minValue === void 0 ? {} : { minValue: sequenceInteger(source.minValue) },
+    ...source.maxValue === void 0 ? {} : { maxValue: sequenceInteger(source.maxValue) },
+    ...source.cycle === void 0 ? {} : { cycle: sequenceBoolean(source.cycle) },
+    ...source.schema === void 0 ? {} : { schema: nonEmptyString(source.schema, detail) }
+  };
+}
 function deepFreeze(value) {
   if (value !== null && typeof value === "object") {
     for (const child of Object.values(value)) deepFreeze(child);
@@ -3595,6 +3629,8 @@ function parseStep(value, index) {
 }
 function validateLifecycleCoupling(step) {
   const lifecycle2 = step.lifecycle;
+  if (step.selection?.kind === "adoption" && (!lifecycle2 || step.address?.kind === "table" && lifecycle2.kind !== "adoption" || step.address?.kind === "sequence" && lifecycle2.kind !== "sequence-adoption" || step.address?.kind !== "table" && step.address?.kind !== "sequence"))
+    return `adoption step ${step.stepKey} has invalid lifecycle coupling`;
   if (step.selection?.kind === "replacement") {
     if (lifecycle2)
       return `replacement step ${step.stepKey} has invalid lifecycle coupling`;
@@ -3610,10 +3646,15 @@ function validateLifecycleCoupling(step) {
     return `readdress step ${step.stepKey} has invalid lifecycle coupling`;
   if (!lifecycle2) return void 0;
   if (lifecycle2.kind === "adoption") {
-    if (step.claimKind !== "adopt-intent" || step.classification !== "non-destructive" || step.requiresVacancy || step.selection?.kind !== "adoption" || !step.address || !step.expectedDeclaration || !step.expectedCatalogueIdentity || step.statementBundle.statements.length !== 0)
+    if (step.claimKind !== "adopt-intent" || step.classification !== "non-destructive" || step.requiresVacancy || step.selection?.kind !== "adoption" || !step.address || step.address.kind !== "table" || !step.expectedDeclaration || !step.expectedCatalogueIdentity || step.statementBundle.statements.length !== 0)
       return `adoption step ${step.stepKey} has invalid lifecycle coupling`;
     return void 0;
   }
+  if (lifecycle2.kind === "sequence-adoption") {
+    if (step.claimKind !== "adopt-intent" || step.classification !== "non-destructive" || step.requiresVacancy || step.selection?.kind !== "adoption" || !step.address || step.address.kind !== "sequence" || step.selection.selector !== `sequence:${step.address.name}` || lifecycle2.shape.name !== step.address.name || lifecycle2.shape.schema !== void 0 && lifecycle2.shape.schema !== step.address.schema || !step.expectedDeclaration || !step.expectedCatalogueIdentity || step.statementBundle.statements.length !== 0)
+      return `sequence adoption step ${step.stepKey} has invalid lifecycle coupling`;
+    return void 0;
+  }
   if (lifecycle2.kind === "readdress") {
     if (step.claimKind !== "readdress-intent" || step.classification !== "paired-readdress" || step.requiresVacancy || step.selection?.kind !== "readdress" || !step.address || step.address.kind !== "table")
       return `readdress step ${step.stepKey} has invalid lifecycle coupling`;
@@ -8337,7 +8378,7 @@ function normalizeCurrentModelForComparison(model, normalize) {
     relations.set(key, normalized);
   }
   const externalTables = model.externalTables ? new Set([...model.externalTables].map((table) => normalize(table))) : void 0;
-  const enums = normalizeNamedMap(model.enums, normalize, "enum");
+  const enums = normalizeNamedMap(model.enums, (name) => name, "enum");
   const sequences = normalizeNamedMap(
     model.sequences,
     normalize,
@@ -8493,7 +8534,11 @@ function modelLevelCollectionsForComparison(model, externalTables, managedCollec
     ),
     sequences: projectManagedMapEntries(
       model.sequences,
-      managedCollections.sequences
+      managedCollections.sequences,
+      (_name, sequence) => {
+        const { adopt: _adopt, ...shape } = sequence;
+        return shape;
+      }
     )
   };
 }
@@ -8990,6 +9035,7 @@ function createComparator(registry) {
   return {
     artifact: COMPARATOR_ARTIFACT,
     compare(desired, current, context) {
+      assertDeclaredEnumMapIdentity(desired.enums);
       const engine = context?.engine ?? registry.allRules()[0]?.support.engine ?? "unknown-transition-engine";
       const recognitionContextFor = (rule) => {
         const equivalence = registry.resolveEquivalence(rule.artifact);
@@ -13251,9 +13297,6 @@ function supportsTransactions(adapter) {
 function supportsRawSql(adapter) {
   return "executeRaw" in adapter && typeof adapter.executeRaw === "function";
 }
-function supportsDDLGeneration(adapter) {
-  return "generateDDL" in adapter && typeof adapter.generateDDL === "function";
-}
 var AdapterRequiredError = class extends Error {
   constructor(operation) {
     super(
@@ -16870,7 +16913,7 @@ function readJsonAggColumnKeyMap(context) {
   return entries.length > 0 ? new Map(entries) : void 0;
 }
 function isNestedOutputReadHandling(value) {
-  return isRecord2(value) && value.kind === "nestedTransform" && typeof value.table === "string" && typeof value.column === "string" && (value.js === "bigint" || value.js === "number" || value.js === "string");
+  return isRecord2(value) && value.kind === "nestedTransform" && typeof value.table === "string" && typeof value.column === "string" && (value.outputKey === void 0 || typeof value.outputKey === "string") && (value.js === "bigint" || value.js === "number" || value.js === "string");
 }
 function readJsonAggNestedReadTransforms(context) {
   const raw2 = context.jsonAggNestedReadTransforms;
@@ -16878,7 +16921,10 @@ function readJsonAggNestedReadTransforms(context) {
   const entries = [];
   for (const item of raw2) {
     if (isNestedOutputReadHandling(item)) {
-      entries.push([item.column, item]);
+      entries.push([
+        item.outputKey !== void 0 && item.outputKey !== item.column ? item.outputKey : item.column,
+        item
+      ]);
     }
   }
   return entries.length > 0 ? new Map(entries) : void 0;
@@ -16957,12 +17003,21 @@ function convertJsonAggPayload(value, tableName, model, lookup, columnKeyMap, ne
   if (!isRecord2(value)) return value;
   const table = model.getTable(tableName);
   if (table) {
+    for (const [key, transform] of nestedReadTransforms ?? []) {
+      if (transform.outputKey !== void 0 && transform.outputKey !== transform.column && Object.hasOwn(value, key) && transform.table === tableName) {
+        value[key] = convertBigintJsReadValue(value[key], transform.js, {
+          table: transform.table,
+          column: transform.column,
+          outputKey: key
+        });
+      }
+    }
     for (const column of table.columns) {
       const key = findExistingKey(value, column.name, columnKeyMap);
       if (key === void 0) continue;
       const outputKey = renameExistingKey(value, key, column.name);
-      const transform = nestedReadTransforms?.get(column.name);
-      if (transform?.kind === "nestedTransform" && transform.table === tableName && transform.column === column.name) {
+      const transform = nestedReadTransforms?.get(outputKey);
+      if (transform?.kind === "nestedTransform" && (transform.outputKey === void 0 || transform.outputKey === transform.column) && transform.table === tableName && transform.column === column.name) {
         value[outputKey] = convertBigintJsReadValue(
           value[outputKey],
           transform.js,
@@ -17101,6 +17156,9 @@ function hydrateJsonAggIncludes(results, planReport, model) {
 
 // src/dx/nql.ts
 var NQL_RAW_FRAGMENT = /* @__PURE__ */ Symbol("NqlRawFragment");
+var UNPLANNED_NQL_READ_PLAN_ERROR = "NQL CTE and set-operation queries do not have execution plans.";
+var UNPLANNED_NQL_READ_INTENT_ERROR = "NQL CTE and set-operation queries do not have IntentIR.";
+var UNPLANNED_NQL_READ_PROGRAM_ERROR = "NQL CTE and set-operation queries are not supported after mutation or snapshot bindings.";
 function hasNqlBindings(bundle) {
   return (bundle.bindings?.size ?? 0) > 0;
 }
@@ -17673,7 +17731,7 @@ function bindingEntryIsFinal(compiledIntent, bindName, boundQuery, sourceBundle)
   if (compiledIntent.kind === "query") {
     return boundQuery === compiledIntent.intent;
   }
-  return sourceBundle.mutationBindings?.get(bindName) === compiledIntent.intent;
+  return compiledIntent.kind === "mutation" && sourceBundle.mutationBindings?.get(bindName) === compiledIntent.intent;
 }
 function orderedSequenceStepToProgramStep(step) {
   const dependencyStep = step;
@@ -17817,12 +17875,14 @@ function createNqlProgramSteps(compiledIntent) {
       intent: compiledIntent.intent,
       final: true
     });
-  } else {
+  } else if (compiledIntent.kind === "mutation") {
     steps.push({
       kind: "mutation",
       intent: compiledIntent.intent,
       final: true
     });
+  } else {
+    throw new Error(UNPLANNED_NQL_READ_PROGRAM_ERROR);
   }
   assertNqlProgramSteps(compiledIntent, steps);
   return steps;
@@ -17984,10 +18044,30 @@ var NqlBuilderImpl = class {
       };
       return this._compiled;
     }
+    if (bundle.cteQuery !== void 0) {
+      this._compiled = {
+        kind: "unplannedRead",
+        bundle,
+        intent: bundle.cteQuery
+      };
+      return this._compiled;
+    }
+    if (bundle.setOperation !== void 0) {
+      this._compiled = {
+        kind: "unplannedRead",
+        bundle,
+        intent: bundle.setOperation
+      };
+      return this._compiled;
+    }
     throw new Error("NQL compilation failed: no query AST produced");
   }
   toIntentIR() {
-    return this.compile().intent;
+    const compiled = this.compile();
+    if (compiled.kind === "unplannedRead") {
+      throw new Error(UNPLANNED_NQL_READ_INTENT_ERROR);
+    }
+    return compiled.intent;
   }
   planInternal() {
     const compiled = this.compile();
@@ -17996,6 +18076,9 @@ var NqlBuilderImpl = class {
         "NQL mutations do not have execution plans; use dump() for SQL and parameters."
       );
     }
+    if (compiled.kind === "unplannedRead") {
+      throw new Error(UNPLANNED_NQL_READ_PLAN_ERROR);
+    }
     return plan(compiled.intent, this.model);
   }
   plan() {
@@ -18005,6 +18088,9 @@ var NqlBuilderImpl = class {
         "NQL mutations do not have execution plans; use dump() for SQL and parameters."
       );
     }
+    if (compiled.kind === "unplannedRead") {
+      throw new Error(UNPLANNED_NQL_READ_PLAN_ERROR);
+    }
     return isBindingFinalQuery(compiled.bundle) ? createBindingFinalPlan(
       compiled.intent,
       compiled.bundle,
@@ -18014,6 +18100,12 @@ var NqlBuilderImpl = class {
   }
   dump(meta) {
     const compiledIntent = this.compile();
+    if (compiledIntent.kind === "unplannedRead" && hasExecutableNqlProgramSequence(compiledIntent.bundle)) {
+      throw new Error(UNPLANNED_NQL_READ_PROGRAM_ERROR);
+    }
+    if (compiledIntent.kind === "unplannedRead") {
+      return this.dumpUnplannedNqlRead(compiledIntent.bundle, meta);
+    }
     if (hasExecutableNqlProgramSequence(compiledIntent.bundle)) {
       return this.dumpNqlProgramSequence(compiledIntent, meta);
     }
@@ -18071,6 +18163,28 @@ var NqlBuilderImpl = class {
       throw err;
     }
   }
+  dumpUnplannedNqlRead(bundle, meta) {
+    if (!this.adapter) {
+      return {
+        sql: "[No adapter - SQL not available]",
+        params: [],
+        ...meta !== void 0 && { meta }
+      };
+    }
+    const compiled = this.adapter.compile(
+      bundle,
+      this.nqlBundleCompileOptions()
+    );
+    return {
+      sql: compiled.sql,
+      params: compiled.parameters,
+      meta: {
+        ...this._schemaName !== void 0 && { schema: this._schemaName },
+        compiledAt: /* @__PURE__ */ new Date(),
+        ...meta
+      }
+    };
+  }
   requireAdapter(operation) {
     if (!this.adapter) {
       throw new ExecutionError({
@@ -18132,6 +18246,9 @@ var NqlBuilderImpl = class {
     };
   }
   createFinalNqlStatementBundle(compiledIntent, planReport) {
+    if (compiledIntent.kind === "unplannedRead") {
+      throw new Error(UNPLANNED_NQL_READ_PROGRAM_ERROR);
+    }
     const finalStep = createNqlProgramSteps(compiledIntent).at(-1);
     if (compiledIntent.kind === "query") {
       return this.createNqlStatementBundle(
@@ -18214,6 +18331,9 @@ var NqlBuilderImpl = class {
     });
   }
   async executeNqlProgramSequence(compiledIntent, adapter) {
+    if (compiledIntent.kind === "unplannedRead") {
+      throw new Error(UNPLANNED_NQL_READ_PROGRAM_ERROR);
+    }
     assertConnectionAvailable(adapter, "nql().all()");
     if (!supportsTransactions(adapter)) {
       throw new ExecutionError({
@@ -18323,6 +18443,9 @@ var NqlBuilderImpl = class {
     });
   }
   dumpNqlProgramSequence(compiledIntent, meta) {
+    if (compiledIntent.kind === "unplannedRead") {
+      throw new Error(UNPLANNED_NQL_READ_PROGRAM_ERROR);
+    }
     const adapter = this.requireAdapter("dump");
     const sourceBundle = compiledIntent.bundle;
     const priorBindings = /* @__PURE__ */ new Map();
@@ -18469,16 +18592,26 @@ var NqlBuilderImpl = class {
   }
   async all() {
     const adapter = this.adapter;
+    const compiledIntent = this.compile();
     if (!adapter) {
       throw new Error(
-        "Cannot execute query: no adapter configured. Pass an adapter to createOrm() or use .toIntentIR() / .plan() for debugging."
+        "Cannot execute query: no adapter configured. " + (compiledIntent.kind === "unplannedRead" ? "Pass an adapter to createOrm()." : "Pass an adapter to createOrm() or use .toIntentIR() / .plan() for debugging.")
       );
     }
-    const compiledIntent = this.compile();
+    if (compiledIntent.kind === "unplannedRead" && hasExecutableNqlProgramSequence(compiledIntent.bundle)) {
+      throw new Error(UNPLANNED_NQL_READ_PROGRAM_ERROR);
+    }
     if (hasExecutableNqlProgramSequence(compiledIntent.bundle)) {
       return this.executeNqlProgramSequence(compiledIntent, adapter);
     }
     assertConnectionAvailable(adapter, "nql().all()");
+    if (compiledIntent.kind === "unplannedRead") {
+      const compiled2 = adapter.compile(
+        compiledIntent.bundle,
+        this.nqlBundleCompileOptions()
+      );
+      return executeCompiledQuery(adapter, compiled2, "nql().all()");
+    }
     if (compiledIntent.kind === "mutation") {
       return (await this.runMutationStatement(
         adapter,
@@ -20073,8 +20206,9 @@ var QueryBuilderImpl = class _QueryBuilderImpl {
   plan() {
     const intent = this.buildIntent();
     if (intent.lock && !this.ctx.inTransaction) {
-      console.warn(
-        "[dbsp] Row-level lock (FOR UPDATE/SHARE) used outside a transaction. Locks are only effective within a transaction."
+      emitWarning(
+        "[dbsp] Row-level lock (FOR UPDATE/SHARE) used outside a transaction. Locks are only effective within a transaction.",
+        "runtime"
       );
     }
     const intentWithHints = this.applyRelationHints(intent);
@@ -23666,7 +23800,6 @@ export {
   star,
   stringAgg,
   subquery,
-  supportsDDLGeneration,
   supportsExecution,
   supportsIntrospection,
   supportsRawSql,