@dbsp/types 3.3.0 → 4.0.0

package/dist/{adapter-CBhAwQzd.d.ts → adapter-B057_WKR.d.ts}

@@ -232,13 +232,13 @@ interface SequenceIR {
     /** Sequence name */
     readonly name: string;
     /** Start value */
-    readonly startWith?: number;
+    readonly startWith?: number | string;
     /** Increment step */
-    readonly incrementBy?: number;
+    readonly incrementBy?: number | string;
     /** Minimum value */
-    readonly minValue?: number;
+    readonly minValue?: number | string;
     /** Maximum value */
-    readonly maxValue?: number;
+    readonly maxValue?: number | string;
     /** Whether to cycle */
     readonly cycle?: boolean;
     /** Schema name (if not default) */
@@ -327,7 +327,12 @@ interface IndexIR {
     readonly nullsNotDistinct?: boolean;
     /** Index access method (default: btree) */
     readonly method?: string;
-    /** Partial index predicate (WHERE clause) */
+    /**
+     * Partial index predicate (WHERE clause). The model representation has one
+     * absence value: `undefined`. Every present string, including an empty or
+     * whitespace-only string, is an authored `WHERE` clause and must reach
+     * PostgreSQL.
+     */
     readonly where?: string;
     /** Expression-based index entries (used instead of/alongside columns) */
     readonly expressions?: readonly string[];
@@ -344,6 +349,19 @@ interface IndexIR {
 interface TableIR {
     /** Table name in database */
     readonly name: string;
+    /**
+     * An explicit address change for this table.  The desired table remains
+     * identified by `name`; `from` and `to` make the otherwise ambiguous
+     * rename/schema move an authored transition rather than inferred drift.
+     */
+    readonly readdress?: TableReaddressDeclaration;
+    /**
+     * Declare that this named, pre-existing table is to enter managed state.
+     * Existing objects are otherwise drift; adoption is never inferred.
+     */
+    readonly adopt?: true;
+    /** Request a reviewed retire-and-create replacement of this unchanged table. */
+    readonly replace?: true;
     /** Stable logical identity, when attached by an engine-neutral carrier. */
     readonly logicalIdentity?: LogicalIdentity;
     /** Column definitions */
@@ -371,6 +389,20 @@ interface TableIR {
     /** Row-Level Security policies */
     readonly policies?: readonly PolicyIR[];
 }
+/** One endpoint of an authored table re-addressing declaration. */
+interface TableReaddressAddress {
+    readonly name: string;
+    readonly schema?: string;
+    /** Deliberately carried through so the command can refuse the named kind. */
+    readonly kind?: string;
+    /** Deliberately carried through so the command can refuse cross-database moves. */
+    readonly database?: string;
+}
+/** A declared rename or schema move; execution currently supports tables only. */
+interface TableReaddressDeclaration {
+    readonly from: TableReaddressAddress;
+    readonly to: TableReaddressAddress;
+}
 /**
  * Relation definition with planning metadata
  */
@@ -1077,13 +1109,19 @@ interface WhereJsonExistsIntent {
     readonly field: string;
     readonly key: string | ParamIntent;
 }
-/** WHERE clause using a custom expression with comparison */
-interface WhereExpressionIntent {
+/** WHERE clause using a custom expression, optionally compared to a value. */
+type WhereExpressionIntent = {
     readonly kind: 'expression';
     readonly expr: ExpressionIntent;
     readonly operator: ComparisonOperator;
     readonly value: unknown;
-}
+} | {
+    readonly kind: 'expression';
+    readonly expr: StandaloneWhereExpressionIntent;
+    /** A standalone expression that is already a SQL predicate. */
+    readonly operator?: never;
+    readonly value?: never;
+};
 /**
  * Where intent - filter conditions union type
  * Discriminated union using 'kind' field
@@ -1427,6 +1465,14 @@ interface JsonPathExtractIntent {
     readonly mode: 'json' | 'text';
     readonly as?: string | undefined;
 }
+/**
+ * Operators whose result is a SQL predicate.
+ *
+ * This is deliberately closed: `op()` only brands these literal operators as
+ * predicates. Arbitrary operator strings remain ordinary expressions unless a
+ * caller explicitly opts into `unsafeAsPredicate()`.
+ */
+type PredicateOperator = '=' | '!=' | '<>' | '<' | '<=' | '>' | '>=' | 'AND' | 'OR' | 'NOT' | '@@' | '@@@' | '&&' | '<@' | '@>';
 /** Custom binary operator expression (e.g., <=> for pgvector) */
 interface CustomOpExpressionIntent {
     readonly kind: 'customOp';
@@ -1514,6 +1560,14 @@ interface UnaryExpressionIntent {
  * Extensible for future expression types
  */
 type ExpressionIntent = ColumnExpressionIntent | CoalesceExpressionIntent | RawExpressionIntent | ColumnAliasIntent | RelationColumnIntent | WindowIntent | AggregateExpressionIntent | PseudoColumnExpressionIntent | FunctionExpressionIntent | SubqueryExpressionIntent | ArithmeticExpressionIntent | LiteralExpressionIntent | ComparisonExpressionIntent | CaseExpressionIntent | JsonExtractIntent | JsonContainsIntent | JsonExistsIntent | JsonPathExtractIntent | CustomOpExpressionIntent | CustomFnExpressionIntent | RefExpressionIntent | ParamExpressionIntent | CastExpressionIntent | UnaryExpressionIntent | NamedArgExpressionIntent | StarExpressionIntent | ArrayExpressionIntent;
+/**
+ * Expression intents that the standalone `WHERE` expression compiler accepts.
+ *
+ * This deliberately excludes SELECT-only and planner-only expression kinds.
+ * A standalone expression is used only when a local predicate wrapper derives
+ * `{ kind: 'expression', expr }` for `WHERE`.
+ */
+type StandaloneWhereExpressionIntent = CustomOpExpressionIntent | CustomFnExpressionIntent | RefExpressionIntent | ParamExpressionIntent | CastExpressionIntent | LiteralExpressionIntent | UnaryExpressionIntent | NamedArgExpressionIntent | StarExpressionIntent | ArrayExpressionIntent | SubqueryExpressionIntent | RelationColumnIntent | CaseExpressionIntent;
 /**
  * Window function types for OVER clause analytics.
  * - Ranking: row_number, rank, dense_rank (no field required)
@@ -2793,6 +2847,21 @@ interface AdapterCapabilities {
     readonly supportsWindowFunctions: boolean;
     readonly supportsArrayType: boolean;
 }
+/**
+ * Per-instance connection state for adapters whose compile surface can exist
+ * without a live database connection.
+ *
+ * This is deliberately separate from AdapterCapabilities: a database can
+ * support a feature such as transactions even when this adapter instance has
+ * no connection with which to execute one.
+ */
+type ConnectionAvailability = {
+    readonly status: 'available';
+} | {
+    readonly status: 'unavailable';
+    readonly reason: string;
+    readonly fix: string;
+};
 interface CompiledColumnMetadata {
     readonly table: string;
     readonly column: string;
@@ -3101,6 +3170,20 @@ interface Dump {
 interface BaseAdapter {
     /** Adapter capabilities for feature detection */
     readonly capabilities: AdapterCapabilities;
+    /**
+     * Optional per-instance connection state.
+     *
+     * Adapters that omit this retain the existing capability-only execution
+     * checks. Adapters that declare an unavailable connection let core return
+     * their actionable refusal before any capability preflight.
+     */
+    readonly connectionAvailability?: ConnectionAvailability;
+    /**
+     * Optional side-effect-free execution availability check.
+     *
+     * When present, core uses this instead of probing a raw connection handle.
+     */
+    executionAvailable?(): boolean;
     /**
      * Whether this adapter instance is scoped inside a transaction.
      * Compile-only adapters and adapters without an active transaction report false.
@@ -3160,8 +3243,8 @@ interface ExecutingAdapter extends BaseAdapter {
     /** Execute a query and return all results. */
     execute<T>(query: CompiledQuery<T>): Promise<T[]>;
     /** Execute a compiled query and return the rows plus result metadata, when the adapter supports it. */
-    executeWithMeta?<T = unknown>(query: CompiledQuery<T>): Promise<{
-        readonly rows: T[];
+    executeWithMeta?(query: CompiledQuery): Promise<{
+        readonly rows: readonly unknown[];
         readonly rowCount: number;
         readonly command?: string;
     }>;
@@ -3285,7 +3368,7 @@ interface RawSqlAdapter extends BaseAdapter {
 /**
  * PostgreSQL index access method.
  */
-type IndexMethod = 'btree' | 'hash' | 'gist' | 'gin' | 'brin' | 'hnsw' | 'ivfflat' | 'bm25';
+type IndexMethod = 'btree' | 'hash' | 'gist' | 'gin' | 'brin' | 'spgist' | 'bloom' | 'hnsw' | 'ivfflat' | 'bm25';
 /** A column reference in an index: either a column name or an expression. */
 type IndexColumnDef = string | {
     expression: string;
@@ -3392,37 +3475,6 @@ interface DDLGeneratingAdapter extends BaseAdapter {
      */
     generateDDL(schema: ModelIR, options?: Record<string, unknown>): string[];
 }
-/**
- * Compile-only adapter - can compile SQL and generate DDL, but cannot execute
- * queries or stream results. Useful for tooling, CLI, and testing without a
- * live database connection.
- *
- * Includes DDLGeneratingAdapter because DDL generation is purely compile-time
- * (no DB connection required — same rationale as SQL compilation).
- *
- * Explicitly excludes execution interfaces so that type-checking catches
- * misuse (e.g. calling execute() on a compile-only instance) at compile time.
- */
-type CompileOnlyAdapter = CompilingAdapter & DDLGeneratingAdapter & TableDDLGeneratorAdapter & {
-    /** Naming convention used by this adapter. */
-    readonly dbCasing: DbCasing;
-    /**
-     * Create a schema-scoped compile-only adapter.
-     * Purely a schema-name prefix — no DB interaction required.
-     */
-    withSchema(schemaName: string): CompileOnlyAdapter;
-    readonly execute?: never;
-    readonly executeWithMeta?: never;
-    readonly executeOne?: never;
-    readonly executeOneOrThrow?: never;
-    readonly stream?: never;
-    readonly streamRaw?: never;
-    readonly introspect?: never;
-    readonly transaction?: never;
-    readonly withPinnedConnection?: never;
-    readonly executeRaw?: never;
-    readonly executeDDL?: never;
-};
 /**
  * Database adapter interface - full adapter with all capabilities.
  *
@@ -3437,12 +3489,22 @@ interface Adapter<DB = unknown> extends CompilingAdapter, ExecutingAdapter, Stre
     readonly dbCasing: DbCasing;
     /**
      * Execute a DDL statement directly (e.g. TRUNCATE, VACUUM, ALTER TABLE, CREATE INDEX).
-     * Optional — compile-only adapters do not implement this.
+     * Optional — adapters that do not provide DDL execution omit this method.
      *
      * @since DDL-TABLE-001
      */
     executeDDL?(sql: string): Promise<void>;
 }
+/**
+ * @deprecated Existing `CompileOnlyAdapter` annotations remain valid. Use
+ * `Adapter` when direct execution calls are needed.
+ */
+type CompileOnlyAdapter<DB = unknown> = CompilingAdapter & DDLGeneratingAdapter & TableDDLGeneratorAdapter & {
+    /** Naming convention used by this adapter. */
+    readonly dbCasing: DbCasing;
+    /** Create a schema-scoped compile-only adapter. */
+    withSchema(schemaName: string): CompileOnlyAdapter<DB>;
+};
 /** Behavior when schema uses features the adapter doesn't support */
 type UnsupportedFeatureBehavior = 'error' | 'warning' | 'ignore';
 /** Aligned with DialectCapabilities supportsDDL* flags (1:1 mapping) */
@@ -3519,4 +3581,4 @@ interface TranslationContext {
     readonly dialectCapabilities: DialectCapabilities;
 }
 
-export { type CustomTraversal as $, type Adapter as A, type BaseAdapter as B, type CompiledQuery as C, type CastExpressionIntent as D, type CheckConstraintIR as E, type CoalesceExpressionIntent as F, type ColumnAliasIntent as G, type ColumnExpressionIntent as H, type ColumnIR as I, type ColumnJsReadType as J, type ColumnListInput as K, type ColumnType as L, type CommonColumnType as M, type NqlBindingRelationType as N, type ComparisonExpressionIntent as O, type PlanReport as P, type ComparisonOperator as Q, type CompileOnlyAdapter as R, type CompileOptions as S, type CompileOptionsBase as T, type CompileResultWithIncludes as U, type CompiledNqlQuery as V, type CompilingAdapter as W, type CreateIndexOptions as X, type CteQueryIntent as Y, type CustomFnExpressionIntent as Z, type CustomOpExpressionIntent as _, type CompiledColumnMetadata as a, type NqlBindingColumnTypeInfo as a$, type DDLFeature as a0, type DDLFeatureElementMap as a1, type DDLFeatureVersionRange as a2, type DDLGeneratingAdapter as a3, type DbCasing as a4, type DecisionType as a5, type DeleteIntent as a6, type DialectCapabilities as a7, type DialectName as a8, type DiffSummary as a9, type InsertIntent as aA, type IntrospectingAdapter as aB, type IntrospectionOptions as aC, type IntrospectionResult as aD, type IsTypeSupported as aE, type JoinDefault as aF, type JoinIntent as aG, type JsonAggOrderByEntry as aH, type JsonContainsIntent as aI, type JsonExistsIntent as aJ, type JsonExtractIntent as aK, type JsonPathExtractIntent as aL, type LiteralExpressionIntent as aM, type LockIntent as aN, type LockStrength as aO, type LockWaitPolicy as aP, type LogicalIdentity as aQ, type LogicalIdentityCarrier as aR, type LogicalOperator as aS, type MSSQLColumnType as aT, type ModelIR as aU, type MutationIntent as aV, type MutationReturningItem as aW, type MySQLColumnType as aX, type NamedArgExpressionIntent as aY, type NestedOutputReadHandling as aZ, type NqlBindingColumnLineage as a_, type DropIndexOptions as aa, type DuckDBColumnType as ab, type Dump as ac, type DumpMeta as ad, type DumpSequenceStep as ae, type EdgeTableTraversal as af, type EmitJoinClause as ag, type EnumIR as ah, type ExecutingAdapter as ai, type ExpressionIntent as aj, type FeatureBehaviorConfig as ak, type FeatureTranslator as al, type FeatureWarning as am, type FieldRef as an, type FilterStrategy as ao, type ForeignKeyIR as ap, type FunctionExpressionIntent as aq, type HierarchyIR as ar, type IncludeIntent as as, type IncludeRecursiveOptions as at, type IncludeStrategy as au, type IndexColumnDef as av, type IndexIR as aw, type IndexInfo as ax, type IndexMethod as ay, type InsertFromIntent as az, type AdapterCapabilities as b, type RequiredEnumLabelIR as b$, type NqlBindingColumnUntypeableReason as b0, type NqlBindingOutputSchema as b1, type NqlBindingRelationFilterMetadata as b2, type NqlBindingVirtualRelation as b3, type NqlBindingVirtualRelationHop as b4, type NqlBindingVirtualRelationRecursive as b5, type NqlProgramSequenceStep as b6, type NqlRuntimeBinding as b7, type NullOperator as b8, type NullsPosition as b9, type QueryIntent as bA, type RangeOperand as bB, type RangeOperator as bC, type RangeValue as bD, type RankingWindowFunction as bE, type RankingWindowIntent as bF, type RawCteIntent as bG, type RawExpressionIntent as bH, type RawSqlAdapter as bI, type RecursiveAdvancedOptions as bJ, type RecursiveDedupe as bK, type RecursiveDirection as bL, type RecursiveEmitOptions as bM, type RecursiveExistsOptions as bN, type RecursiveIntent as bO, type RecursiveMetadata as bP, type RecursiveNodeIdExpr as bQ, type RecursivePlanOptions as bR, type RecursivePlanReport as bS, type RecursiveTrackOptions as bT, type RecursiveTraversal as bU, type RefExpressionIntent as bV, type RelationColumnIntent as bW, type RelationIR as bX, type RelationKind as bY, type RelationOperator as bZ, type RelationType as b_, type OffsetWindowFunction as ba, type OffsetWindowIntent as bb, type OnDeleteAction as bc, type OperationKindRef as bd, type Optionality as be, type OrderByExpressionIntent as bf, type OrderByFieldIntent as bg, type OrderByIntent as bh, type OutputDescriptor as bi, type OutputReadHandling as bj, type OutputSource as bk, type OutputValueShape as bl, type ParamExpressionIntent as bm, type ParamIntent as bn, type PartitionIR as bo, type PinnedConnectionOptions as bp, type PlanDecision as bq, type PlanOptions as br, type PlanWarning as bs, type PlanWarningCode as bt, type PolicyIR as bu, type PostgresColumnType as bv, type PostgresOnlyColumnType as bw, type PseudoColumnExpressionIntent as bx, type PseudoColumnMetadata as by, type PseudoColumnTraversal as bz, type AdapterLogger as c, type WindowOrderBy as c$, type ResolvedIncludeStrategy as c0, type SQLiteColumnType as c1, type SchemaChange as c2, type SchemaDiff as c3, type SelectAggregateIntent as c4, type SelectAllIntent as c5, type SelectFieldsIntent as c6, type SelectIntent as c7, type SelectWithExpressionsIntent as c8, type SemanticArtifactId as c9, type UpsertConflictTarget as cA, type UpsertFromIntent as cB, type UpsertIntent as cC, type VacuumOptions as cD, type WhereAndIntent as cE, type WhereAnyIntent as cF, type WhereComparisonIntent as cG, type WhereExistsIntent as cH, type WhereExpressionIntent as cI, type WhereInIntent as cJ, type WhereInSubqueryIntent as cK, type WhereInValueIntent as cL, type WhereIntent as cM, type WhereJsonContainsIntent as cN, type WhereJsonExistsIntent as cO, type WhereLikeIntent as cP, type WhereNotExistsIntent as cQ, type WhereNotIntent as cR, type WhereNullIntent as cS, type WhereOrIntent as cT, type WhereRangeIntent as cU, type WhereRawExistsIntent as cV, type WhereRawNotExistsIntent as cW, type WhereRelationFilterIntent as cX, type WhereSubqueryIntent as cY, type WindowFunction as cZ, type WindowIntent as c_, type SemanticArtifactRef as ca, type SequenceIR as cb, type SetOperationIntent as cc, type SetOperationType as cd, type SimpleCteIntent as ce, type SortDirection as cf, type StarExpressionIntent as cg, type StreamingAdapter as ch, type StringOperator as ci, type SubqueryExpressionIntent as cj, type SubqueryIncludeInfo as ck, type SubqueryRefIntent as cl, type SupportedColumnTypes as cm, type TableDDLGeneratorAdapter as cn, type TableIR as co, type TransactionBeginOptions as cp, type TransactionOptions as cq, type TransactionalAdapter as cr, type TranslationContext as cs, type TruncateOptions as ct, type TrustRoot as cu, type UnaryExpressionIntent as cv, type UnnestCteIntent as cw, type UnsupportedFeatureBehavior as cx, type UpdateIntent as cy, type UpsertConflictAction as cz, type AdapterStreamOptions as d, getNodeIdAlias as d0, isFieldRef as d1, isParamIntent as d2, resolveOutputReadHandling as d3, toColumnList as d4, type AdjacencyTraversal as e, type AggOrderByArg as f, type AggregateCountIntent as g, type AggregateExpressionIntent as h, type AggregateFieldIntent as i, type AggregateFunction as j, type AggregateIntent as k, type AggregateWindowFunction as l, type AggregateWindowIntent as m, type AliasIncludedColumnsMode as n, type AlterColumnOptions as o, type AmbiguityCheckResult as p, type ArithmeticExpressionIntent as q, type ArrayExpressionIntent as r, type ArrayOperator as s, type AuthorAttestedNativeDefault as t, type AuthorAttester as u, type BatchUpdateIntent as v, type BatchValuesJoinPayload as w, type CTEDefinition as x, type Cardinality as y, type CaseExpressionIntent as z };
+export { type CustomOpExpressionIntent as $, type Adapter as A, type BaseAdapter as B, type CompiledQuery as C, type CastExpressionIntent as D, type CheckConstraintIR as E, type CoalesceExpressionIntent as F, type ColumnAliasIntent as G, type ColumnExpressionIntent as H, type ColumnIR as I, type ColumnJsReadType as J, type ColumnListInput as K, type ColumnType as L, type CommonColumnType as M, type NqlBindingRelationType as N, type ComparisonExpressionIntent as O, type PlanReport as P, type ComparisonOperator as Q, type CompileOnlyAdapter as R, type CompileOptions as S, type CompileOptionsBase as T, type CompileResultWithIncludes as U, type CompiledNqlQuery as V, type CompilingAdapter as W, type ConnectionAvailability as X, type CreateIndexOptions as Y, type CteQueryIntent as Z, type CustomFnExpressionIntent as _, type CompiledColumnMetadata as a, type NqlBindingColumnLineage as a$, type CustomTraversal as a0, type DDLFeature as a1, type DDLFeatureElementMap as a2, type DDLFeatureVersionRange as a3, type DDLGeneratingAdapter as a4, type DbCasing as a5, type DecisionType as a6, type DeleteIntent as a7, type DialectCapabilities as a8, type DialectName as a9, type InsertFromIntent as aA, type InsertIntent as aB, type IntrospectingAdapter as aC, type IntrospectionOptions as aD, type IntrospectionResult as aE, type IsTypeSupported as aF, type JoinDefault as aG, type JoinIntent as aH, type JsonAggOrderByEntry as aI, type JsonContainsIntent as aJ, type JsonExistsIntent as aK, type JsonExtractIntent as aL, type JsonPathExtractIntent as aM, type LiteralExpressionIntent as aN, type LockIntent as aO, type LockStrength as aP, type LockWaitPolicy as aQ, type LogicalIdentity as aR, type LogicalIdentityCarrier as aS, type LogicalOperator as aT, type MSSQLColumnType as aU, type ModelIR as aV, type MutationIntent as aW, type MutationReturningItem as aX, type MySQLColumnType as aY, type NamedArgExpressionIntent as aZ, type NestedOutputReadHandling as a_, type DiffSummary as aa, type DropIndexOptions as ab, type DuckDBColumnType as ac, type Dump as ad, type DumpMeta as ae, type DumpSequenceStep as af, type EdgeTableTraversal as ag, type EmitJoinClause as ah, type EnumIR as ai, type ExecutingAdapter as aj, type ExpressionIntent as ak, type FeatureBehaviorConfig as al, type FeatureTranslator as am, type FeatureWarning as an, type FieldRef as ao, type FilterStrategy as ap, type ForeignKeyIR as aq, type FunctionExpressionIntent as ar, type HierarchyIR as as, type IncludeIntent as at, type IncludeRecursiveOptions as au, type IncludeStrategy as av, type IndexColumnDef as aw, type IndexIR as ax, type IndexInfo as ay, type IndexMethod as az, type AdapterCapabilities as b, type RelationOperator as b$, type NqlBindingColumnTypeInfo as b0, type NqlBindingColumnUntypeableReason as b1, type NqlBindingOutputSchema as b2, type NqlBindingRelationFilterMetadata as b3, type NqlBindingVirtualRelation as b4, type NqlBindingVirtualRelationHop as b5, type NqlBindingVirtualRelationRecursive as b6, type NqlProgramSequenceStep as b7, type NqlRuntimeBinding as b8, type NullOperator as b9, type PseudoColumnMetadata as bA, type PseudoColumnTraversal as bB, type QueryIntent as bC, type RangeOperand as bD, type RangeOperator as bE, type RangeValue as bF, type RankingWindowFunction as bG, type RankingWindowIntent as bH, type RawCteIntent as bI, type RawExpressionIntent as bJ, type RawSqlAdapter as bK, type RecursiveAdvancedOptions as bL, type RecursiveDedupe as bM, type RecursiveDirection as bN, type RecursiveEmitOptions as bO, type RecursiveExistsOptions as bP, type RecursiveIntent as bQ, type RecursiveMetadata as bR, type RecursiveNodeIdExpr as bS, type RecursivePlanOptions as bT, type RecursivePlanReport as bU, type RecursiveTrackOptions as bV, type RecursiveTraversal as bW, type RefExpressionIntent as bX, type RelationColumnIntent as bY, type RelationIR as bZ, type RelationKind as b_, type NullsPosition as ba, type OffsetWindowFunction as bb, type OffsetWindowIntent as bc, type OnDeleteAction as bd, type OperationKindRef as be, type Optionality as bf, type OrderByExpressionIntent as bg, type OrderByFieldIntent as bh, type OrderByIntent as bi, type OutputDescriptor as bj, type OutputReadHandling as bk, type OutputSource as bl, type OutputValueShape as bm, type ParamExpressionIntent as bn, type ParamIntent as bo, type PartitionIR as bp, type PinnedConnectionOptions as bq, type PlanDecision as br, type PlanOptions as bs, type PlanWarning as bt, type PlanWarningCode as bu, type PolicyIR as bv, type PostgresColumnType as bw, type PostgresOnlyColumnType as bx, type PredicateOperator as by, type PseudoColumnExpressionIntent as bz, type AdapterLogger as c, type WhereRawNotExistsIntent as c$, type RelationType as c0, type RequiredEnumLabelIR as c1, type ResolvedIncludeStrategy as c2, type SQLiteColumnType as c3, type SchemaChange as c4, type SchemaDiff as c5, type SelectAggregateIntent as c6, type SelectAllIntent as c7, type SelectFieldsIntent as c8, type SelectIntent as c9, type UnaryExpressionIntent as cA, type UnnestCteIntent as cB, type UnsupportedFeatureBehavior as cC, type UpdateIntent as cD, type UpsertConflictAction as cE, type UpsertConflictTarget as cF, type UpsertFromIntent as cG, type UpsertIntent as cH, type VacuumOptions as cI, type WhereAndIntent as cJ, type WhereAnyIntent as cK, type WhereComparisonIntent as cL, type WhereExistsIntent as cM, type WhereExpressionIntent as cN, type WhereInIntent as cO, type WhereInSubqueryIntent as cP, type WhereInValueIntent as cQ, type WhereIntent as cR, type WhereJsonContainsIntent as cS, type WhereJsonExistsIntent as cT, type WhereLikeIntent as cU, type WhereNotExistsIntent as cV, type WhereNotIntent as cW, type WhereNullIntent as cX, type WhereOrIntent as cY, type WhereRangeIntent as cZ, type WhereRawExistsIntent as c_, type SelectWithExpressionsIntent as ca, type SemanticArtifactId as cb, type SemanticArtifactRef as cc, type SequenceIR as cd, type SetOperationIntent as ce, type SetOperationType as cf, type SimpleCteIntent as cg, type SortDirection as ch, type StandaloneWhereExpressionIntent as ci, type StarExpressionIntent as cj, type StreamingAdapter as ck, type StringOperator as cl, type SubqueryExpressionIntent as cm, type SubqueryIncludeInfo as cn, type SubqueryRefIntent as co, type SupportedColumnTypes as cp, type TableDDLGeneratorAdapter as cq, type TableIR as cr, type TableReaddressAddress as cs, type TableReaddressDeclaration as ct, type TransactionBeginOptions as cu, type TransactionOptions as cv, type TransactionalAdapter as cw, type TranslationContext as cx, type TruncateOptions as cy, type TrustRoot as cz, type AdapterStreamOptions as d, type WhereRelationFilterIntent as d0, type WhereSubqueryIntent as d1, type WindowFunction as d2, type WindowIntent as d3, type WindowOrderBy as d4, getNodeIdAlias as d5, isFieldRef as d6, isParamIntent as d7, resolveOutputReadHandling as d8, toColumnList as d9, type AdjacencyTraversal as e, type AggOrderByArg as f, type AggregateCountIntent as g, type AggregateExpressionIntent as h, type AggregateFieldIntent as i, type AggregateFunction as j, type AggregateIntent as k, type AggregateWindowFunction as l, type AggregateWindowIntent as m, type AliasIncludedColumnsMode as n, type AlterColumnOptions as o, type AmbiguityCheckResult as p, type ArithmeticExpressionIntent as q, type ArrayExpressionIntent as r, type ArrayOperator as s, type AuthorAttestedNativeDefault as t, type AuthorAttester as u, type BatchUpdateIntent as v, type BatchValuesJoinPayload as w, type CTEDefinition as x, type Cardinality as y, type CaseExpressionIntent as z };

package/dist/adapter-sdk.d.ts

@@ -1,4 +1,4 @@
-import { C as CompiledQuery, a as CompiledColumnMetadata, P as PlanReport } from './adapter-CBhAwQzd.js';
+import { C as CompiledQuery, a as CompiledColumnMetadata, P as PlanReport } from './adapter-B057_WKR.js';
 
 /**
  * Stable SPI for implementing the `Adapter` port. Only stable helpers required to construct/validate a

package/dist/{chunk-4NBXLMCE.js → chunk-CKQRFBMA.js}

@@ -367,6 +367,154 @@ function buildRelationKeyFields(fk, direction, options = {}) {
   return { foreignKey };
 }
 
+// src/transition/execution-contract.ts
+var EXECUTION_CONTRACT_VERSION = 1;
+
+// src/transition/ledger.ts
+var LEDGER_EVENT_KINDS = [
+  "adopt-intent",
+  "adopt",
+  "intent",
+  "retire-intent",
+  "readdress-intent",
+  "refused",
+  "executing",
+  "observed",
+  "absent",
+  "indeterminate",
+  "resolved",
+  "readdressed-to",
+  "readdressed-from",
+  "released"
+];
+function canonicalResourceParent(address) {
+  return {
+    engine: address.engine,
+    database: address.database,
+    ...address.schema === void 0 ? {} : { schema: address.schema },
+    ...address.parent === void 0 || address.parent === null ? {} : { parent: canonicalResourceParent(address.parent) },
+    kind: address.kind,
+    name: address.name
+  };
+}
+function canonicalJson(value) {
+  if (value === null) return "null";
+  if (value === void 0) return "null";
+  if (Array.isArray(value)) {
+    const entries = [];
+    for (let index = 0; index < value.length; index += 1)
+      entries.push(
+        Object.hasOwn(value, index) ? canonicalJson(value[index]) : "null"
+      );
+    return `[${entries.join(",")}]`;
+  }
+  if (typeof value === "object") {
+    const entries = Object.entries(value).filter(([, item]) => item !== void 0).sort(([left], [right]) => left < right ? -1 : left > right ? 1 : 0).map(([key, item]) => `${JSON.stringify(key)}:${canonicalJson(item)}`);
+    return `{${entries.join(",")}}`;
+  }
+  return JSON.stringify(value);
+}
+function normalizedParent(parent) {
+  if (parent === null || parent === void 0) return null;
+  const canonical = canonicalResourceParent(parent);
+  return {
+    engine: canonical.engine,
+    database: canonical.database,
+    ...canonical.schema === void 0 ? {} : { schema: canonical.schema },
+    parent: normalizedParent(canonical.parent),
+    kind: canonical.kind,
+    name: canonical.name
+  };
+}
+function canonicalLedgerAddress(address) {
+  return {
+    scope: address.scope,
+    engine: address.engine,
+    database: address.database,
+    ...address.schema === void 0 ? {} : { schema: address.schema },
+    parent: normalizedParent(address.parent),
+    kind: address.kind,
+    name: address.name
+  };
+}
+function sameLedgerAddress(left, right) {
+  return ledgerAddressKey(left) === ledgerAddressKey(right);
+}
+function ledgerAddressKey(address) {
+  return canonicalJson(canonicalLedgerAddress(address));
+}
+function ledgerAddressParentJson(address) {
+  return canonicalJson(normalizedParent(address.parent));
+}
+
+// src/transition/refusal.ts
+var REFUSAL_VOCABULARY = {
+  "ERR-01": {
+    cause: "unaccepted non-transactional segment",
+    withheldAuthority: "non-transactional execution authority",
+    resolvingCommand: "dbsp apply"
+  },
+  "ERR-02": {
+    cause: "pre-existing object has no admitted adoption",
+    withheldAuthority: "creation authority over an occupied address",
+    resolvingCommand: "dbsp apply"
+  },
+  "ERR-03": {
+    cause: "managed-ledger preflight is not current",
+    withheldAuthority: "managed-ledger mutation authority",
+    resolvingCommand: "dbsp preflight --reinitialize"
+  },
+  "ERR-04": {
+    cause: "removal containment cannot be proven",
+    withheldAuthority: "destructive removal authority",
+    resolvingCommand: "dbsp apply"
+  },
+  "ERR-05": {
+    cause: "recorded identity differs from the live object",
+    withheldAuthority: "managed mutation authority",
+    resolvingCommand: "dbsp apply"
+  },
+  "ERR-06": {
+    cause: "managed-ledger lineage does not match this target",
+    withheldAuthority: "managed-ledger mutation authority",
+    resolvingCommand: "dbsp preflight --reinitialize"
+  },
+  "ERR-07": {
+    cause: "target database is read-only",
+    withheldAuthority: "database write authority",
+    resolvingCommand: "dbsp apply"
+  },
+  "ERR-08": {
+    cause: "ledger chain is malformed",
+    withheldAuthority: "managed mutation authority",
+    resolvingCommand: "dbsp inspect"
+  },
+  "ERR-09": {
+    cause: "catalogue read is unavailable",
+    withheldAuthority: "outcome classification authority",
+    resolvingCommand: "dbsp reconcile"
+  },
+  "ERR-10": {
+    cause: "recorded-plan path cannot execute a removal",
+    withheldAuthority: "recorded-plan removal execution",
+    resolvingCommand: "dbsp apply"
+  },
+  "ERR-11": {
+    cause: "recovery proved the interrupted operation had no effect",
+    withheldAuthority: "recovery execution authority",
+    resolvingCommand: "dbsp reconcile"
+  }
+};
+function refusalFor(code, input) {
+  void input.address;
+  return { code, ...REFUSAL_VOCABULARY[code], state: input.state };
+}
+
+// src/transition/resource.ts
+function sameControllerIdentity(recorded, current) {
+  return recorded.name === current.name && recorded.oid === current.oid;
+}
+
 export {
   convertBigintJsReadValue,
   toColumnList,
@@ -424,6 +572,15 @@ export {
   resolveJsonAggOrderKey,
   isValidSchema,
   resolveOutputReadHandling,
-  buildRelationKeyFields
+  buildRelationKeyFields,
+  EXECUTION_CONTRACT_VERSION,
+  LEDGER_EVENT_KINDS,
+  canonicalResourceParent,
+  sameLedgerAddress,
+  ledgerAddressKey,
+  ledgerAddressParentJson,
+  REFUSAL_VOCABULARY,
+  refusalFor,
+  sameControllerIdentity
 };
-//# sourceMappingURL=chunk-4NBXLMCE.js.map
+//# sourceMappingURL=chunk-CKQRFBMA.js.map