@atscript/db 0.1.161 → 0.1.162

package/dist/{validator-B3xlbrWf.d.cts → db-error-B_DRL1E9.d.cts}

@@ -1,5 +1,3 @@
-import { TAtscriptAnnotatedType, TAtscriptTypeArray, TAtscriptTypeObject, TValidatorPlugin, Validator } from "@atscript/typescript/utils";
-
 //#region src/db-error.d.ts
 type DbErrorCode = "CONFLICT" | "FK_VIOLATION" | "NOT_FOUND" | "CASCADE_CYCLE" | "INVALID_QUERY" | "DEPTH_EXCEEDED" | "VERSION_COLUMN_WRITE" | "CAS_EXHAUSTED" | "CAS_MISMATCH" | "ENC_CONFIG_MISSING" | "ENC_KEY_INVALID" | "ENC_NOT_ENCRYPTED" | "ENC_DECRYPT_FAILED" | "ENC_FIELD_FILTER" | "ENC_FIELD_SORT" | "ENC_FIELD_AGG" | "ENC_FIELD_PATCH_OP" | "GEO_INDEX_MISSING" | "GEO_NOT_SUPPORTED" | "FILTER_TYPE_MISMATCH" /** The adapter's `calendarBucketUnits()` lacks the requested unit (moost-db: 400). */ | "BUCKET_NOT_SUPPORTED" /** The engine cannot resolve the bucket's time zone — a store-configuration condition (moost-db: 501). */ | "BUCKET_TZ_UNAVAILABLE" /** A known aggregate function the adapter's `aggregateFns()` lacks (moost-db: 400). @since 0.1.136 */ | "AGG_FN_NOT_SUPPORTED"
 /**
@@ -33,9 +31,25 @@ type DbErrorCode = "CONFLICT" | "FK_VIOLATION" | "NOT_FOUND" | "CASCADE_CYCLE" |
  * PostgreSQL could not serialize the transaction (`40001`: under
  * `REPEATABLE READ` / `SERIALIZABLE`, e.g. a row locked or updated after it
  * changed since the snapshot). The transaction is aborted — retry it whole.
+ * Also thrown (since 0.1.162, path `limit`) by a bounded `updateMany` /
+ * `deleteMany` whose picked rows concurrent writers kept taking while rows
+ * still matched — retry the call (or its transaction).
  * `retryable` is `true`. @since 0.1.153
  */
-| "SERIALIZATION_FAILURE";
+| "SERIALIZATION_FAILURE"
+/**
+ * The adapter cannot take a row lock on a read (`findOne` / `findMany`
+ * with `{ lock }`) — MongoDB, or an adapter whose `supportsReadLocks()` is
+ * false. Use optimistic concurrency (`$cas`, `withOptimisticRetry`) there.
+ */
+| "LOCK_NOT_SUPPORTED"
+/**
+ * The adapter cannot run a transaction at the requested isolation level
+ * (`withTransaction(fn, { isolation })`) — e.g. `serializable` on MongoDB,
+ * any level on a MongoDB without transactions, or an adapter whose
+ * `isolationLevels()` lacks it.
+ */
+| "ISOLATION_NOT_SUPPORTED";
 declare class DbError extends Error {
   readonly code: DbErrorCode;
   readonly errors: Array<{
@@ -111,89 +125,4 @@ declare function bucketTimeZoneUnavailable(message: string): DbError;
  */
 declare function aggregateExpressionsNotSupported(): DbError;
 //#endregion
-//#region src/patch/patch-types.d.ts
-interface TArrayPatch<A extends readonly unknown[]> {
-  $replace?: A;
-  $insert?: A;
-  $upsert?: A;
-  $update?: Array<Partial<TArrayElement<A>>>;
-  $remove?: Array<Partial<TArrayElement<A>>>;
-}
-type TArrayElement<ArrayType extends readonly unknown[]> = ArrayType extends ReadonlyArray<infer ElementType> ? ElementType : never;
-/**
- * Maps each property of T into a patch payload:
- * - Array properties become `TArrayPatch<T[K]>`
- * - Non-array properties become `Partial<T[K]>`
- */
-type TDbPatch<T> = { [K in keyof T]?: T[K] extends Array<infer _> ? TArrayPatch<T[K]> : Partial<T[K]> };
-/**
- * Extracts `@expect.array.key` properties from an array-of-objects type.
- * These keys uniquely identify an element inside the array and are used
- * for `$update`, `$remove`, and `$upsert` operations.
- *
- * @param def - Atscript array type definition.
- * @returns Set of property names marked as keys; empty set if none.
- */
-declare function getKeyProps(def: TAtscriptAnnotatedType<TAtscriptTypeArray>): Set<string>;
-//#endregion
-//#region src/validator.d.ts
-/** Write operation mode for validator configuration. */
-type ValidatorMode = "insert" | "patch" | "replace";
-/** Singleton db validator plugin — stateless, safe to share across all validators. */
-declare const dbPlugin: TValidatorPlugin;
-/**
- * Builds a validator for a given write mode.
- *
- * Shared between server-side (`AtscriptDbTable`) and client-side (`ClientValidator`).
- * Both use the same plugin, same `replace`, same `partial` logic.
- *
- * @param type - The annotated type to validate against.
- * @param mode - The write operation mode.
- * @param extraPlugins - Additional adapter-specific plugins (prepended before the db plugin).
- * @param opts - `unknownProps` overrides the validator's unknown-property policy
- *   (used by db-client's `lenientWrites`, where the served type may be a
- *   projection of the full server-side type).
- */
-declare function buildDbValidator(type: TAtscriptAnnotatedType, mode: ValidatorMode, extraPlugins?: TValidatorPlugin[], opts?: {
-  unknownProps?: "strip" | "ignore" | "error";
-}): Validator<any>;
-/**
- * Path-aware `partial` callback for patch/update validation — the single
- * implementation shared by the server's `bulkUpdate` validator and the
- * client's patch preflight:
- *
- * - the root object is partial (a patch names only the fields it touches)
- * - nav-relation subtrees are partial (nested data is validated by its own table)
- * - `@db.patch.strategy "merge"` blocks are partial (the decomposer merges
- *   per leaf, so absent keys survive server-side by design)
- *
- * Every other nested object stays strict: non-merge blocks are `$set` as a
- * whole (replace semantics), so their required fields really are required.
- */
-declare function buildPatchPartial(navPaths: ReadonlySet<string>): (def: TAtscriptAnnotatedType<TAtscriptTypeObject>, path: string) => boolean;
-/** Returns true if the annotated type is a navigation relation (TO/FROM/VIA). */
-declare function isNavRelation(type: TAtscriptAnnotatedType): boolean;
-/**
- * Forces nav fields non-optional so the plugin handles null/undefined checks.
- * The Validator caches replace results internally, so this allocates at most once per type node.
- */
-declare function forceNavNonOptional(type: TAtscriptAnnotatedType): TAtscriptAnnotatedType;
-/** Result of {@link buildValidationContext}. */
-interface ValidationContext {
-  /** Flat map of dotted field paths → annotated types (same shape the server builds). */
-  flatMap: Map<string, TAtscriptAnnotatedType>;
-  /** Set of field paths that are navigation relations (TO/FROM/VIA). */
-  navFields: ReadonlySet<string>;
-}
-/**
- * Builds a lightweight validation context from a deserialized Atscript type.
- *
- * This is the client-side equivalent of the server's `TableMetadata.build()`,
- * without any adapter-specific processing (physical columns, index resolution, etc.).
- *
- * @param type - A deserialized annotated type (from `deserializeAnnotatedType(meta.type)`).
- * @returns `flatMap` and `navFields` suitable for passing to `createDbValidatorPlugin` via `DbValidationContext`.
- */
-declare function buildValidationContext(type: TAtscriptAnnotatedType<TAtscriptTypeObject>): ValidationContext;
-//#endregion
-export { aggregateFailure as _, buildValidationContext as a, isRetryableDbError as b, isNavRelation as c, getKeyProps as d, CasExhaustedError as f, aggregateExpressionsNotSupported as g, DbErrorCode as h, buildPatchPartial as i, TArrayPatch as l, DbError as m, ValidatorMode as n, dbPlugin as o, CasMismatchError as p, buildDbValidator as r, forceNavNonOptional as s, ValidationContext as t, TDbPatch as u, bucketTimeZoneUnavailable as v, isConflict as y };
+export { aggregateExpressionsNotSupported as a, isConflict as c, DbErrorCode as i, isRetryableDbError as l, CasMismatchError as n, aggregateFailure as o, DbError as r, bucketTimeZoneUnavailable as s, CasExhaustedError as t };

package/dist/{validator-B3xlbrWf.d.mts → db-error-B_DRL1E9.d.mts}

@@ -1,5 +1,3 @@
-import { TAtscriptAnnotatedType, TAtscriptTypeArray, TAtscriptTypeObject, TValidatorPlugin, Validator } from "@atscript/typescript/utils";
-
 //#region src/db-error.d.ts
 type DbErrorCode = "CONFLICT" | "FK_VIOLATION" | "NOT_FOUND" | "CASCADE_CYCLE" | "INVALID_QUERY" | "DEPTH_EXCEEDED" | "VERSION_COLUMN_WRITE" | "CAS_EXHAUSTED" | "CAS_MISMATCH" | "ENC_CONFIG_MISSING" | "ENC_KEY_INVALID" | "ENC_NOT_ENCRYPTED" | "ENC_DECRYPT_FAILED" | "ENC_FIELD_FILTER" | "ENC_FIELD_SORT" | "ENC_FIELD_AGG" | "ENC_FIELD_PATCH_OP" | "GEO_INDEX_MISSING" | "GEO_NOT_SUPPORTED" | "FILTER_TYPE_MISMATCH" /** The adapter's `calendarBucketUnits()` lacks the requested unit (moost-db: 400). */ | "BUCKET_NOT_SUPPORTED" /** The engine cannot resolve the bucket's time zone — a store-configuration condition (moost-db: 501). */ | "BUCKET_TZ_UNAVAILABLE" /** A known aggregate function the adapter's `aggregateFns()` lacks (moost-db: 400). @since 0.1.136 */ | "AGG_FN_NOT_SUPPORTED"
 /**
@@ -33,9 +31,25 @@ type DbErrorCode = "CONFLICT" | "FK_VIOLATION" | "NOT_FOUND" | "CASCADE_CYCLE" |
  * PostgreSQL could not serialize the transaction (`40001`: under
  * `REPEATABLE READ` / `SERIALIZABLE`, e.g. a row locked or updated after it
  * changed since the snapshot). The transaction is aborted — retry it whole.
+ * Also thrown (since 0.1.162, path `limit`) by a bounded `updateMany` /
+ * `deleteMany` whose picked rows concurrent writers kept taking while rows
+ * still matched — retry the call (or its transaction).
  * `retryable` is `true`. @since 0.1.153
  */
-| "SERIALIZATION_FAILURE";
+| "SERIALIZATION_FAILURE"
+/**
+ * The adapter cannot take a row lock on a read (`findOne` / `findMany`
+ * with `{ lock }`) — MongoDB, or an adapter whose `supportsReadLocks()` is
+ * false. Use optimistic concurrency (`$cas`, `withOptimisticRetry`) there.
+ */
+| "LOCK_NOT_SUPPORTED"
+/**
+ * The adapter cannot run a transaction at the requested isolation level
+ * (`withTransaction(fn, { isolation })`) — e.g. `serializable` on MongoDB,
+ * any level on a MongoDB without transactions, or an adapter whose
+ * `isolationLevels()` lacks it.
+ */
+| "ISOLATION_NOT_SUPPORTED";
 declare class DbError extends Error {
   readonly code: DbErrorCode;
   readonly errors: Array<{
@@ -111,89 +125,4 @@ declare function bucketTimeZoneUnavailable(message: string): DbError;
  */
 declare function aggregateExpressionsNotSupported(): DbError;
 //#endregion
-//#region src/patch/patch-types.d.ts
-interface TArrayPatch<A extends readonly unknown[]> {
-  $replace?: A;
-  $insert?: A;
-  $upsert?: A;
-  $update?: Array<Partial<TArrayElement<A>>>;
-  $remove?: Array<Partial<TArrayElement<A>>>;
-}
-type TArrayElement<ArrayType extends readonly unknown[]> = ArrayType extends ReadonlyArray<infer ElementType> ? ElementType : never;
-/**
- * Maps each property of T into a patch payload:
- * - Array properties become `TArrayPatch<T[K]>`
- * - Non-array properties become `Partial<T[K]>`
- */
-type TDbPatch<T> = { [K in keyof T]?: T[K] extends Array<infer _> ? TArrayPatch<T[K]> : Partial<T[K]> };
-/**
- * Extracts `@expect.array.key` properties from an array-of-objects type.
- * These keys uniquely identify an element inside the array and are used
- * for `$update`, `$remove`, and `$upsert` operations.
- *
- * @param def - Atscript array type definition.
- * @returns Set of property names marked as keys; empty set if none.
- */
-declare function getKeyProps(def: TAtscriptAnnotatedType<TAtscriptTypeArray>): Set<string>;
-//#endregion
-//#region src/validator.d.ts
-/** Write operation mode for validator configuration. */
-type ValidatorMode = "insert" | "patch" | "replace";
-/** Singleton db validator plugin — stateless, safe to share across all validators. */
-declare const dbPlugin: TValidatorPlugin;
-/**
- * Builds a validator for a given write mode.
- *
- * Shared between server-side (`AtscriptDbTable`) and client-side (`ClientValidator`).
- * Both use the same plugin, same `replace`, same `partial` logic.
- *
- * @param type - The annotated type to validate against.
- * @param mode - The write operation mode.
- * @param extraPlugins - Additional adapter-specific plugins (prepended before the db plugin).
- * @param opts - `unknownProps` overrides the validator's unknown-property policy
- *   (used by db-client's `lenientWrites`, where the served type may be a
- *   projection of the full server-side type).
- */
-declare function buildDbValidator(type: TAtscriptAnnotatedType, mode: ValidatorMode, extraPlugins?: TValidatorPlugin[], opts?: {
-  unknownProps?: "strip" | "ignore" | "error";
-}): Validator<any>;
-/**
- * Path-aware `partial` callback for patch/update validation — the single
- * implementation shared by the server's `bulkUpdate` validator and the
- * client's patch preflight:
- *
- * - the root object is partial (a patch names only the fields it touches)
- * - nav-relation subtrees are partial (nested data is validated by its own table)
- * - `@db.patch.strategy "merge"` blocks are partial (the decomposer merges
- *   per leaf, so absent keys survive server-side by design)
- *
- * Every other nested object stays strict: non-merge blocks are `$set` as a
- * whole (replace semantics), so their required fields really are required.
- */
-declare function buildPatchPartial(navPaths: ReadonlySet<string>): (def: TAtscriptAnnotatedType<TAtscriptTypeObject>, path: string) => boolean;
-/** Returns true if the annotated type is a navigation relation (TO/FROM/VIA). */
-declare function isNavRelation(type: TAtscriptAnnotatedType): boolean;
-/**
- * Forces nav fields non-optional so the plugin handles null/undefined checks.
- * The Validator caches replace results internally, so this allocates at most once per type node.
- */
-declare function forceNavNonOptional(type: TAtscriptAnnotatedType): TAtscriptAnnotatedType;
-/** Result of {@link buildValidationContext}. */
-interface ValidationContext {
-  /** Flat map of dotted field paths → annotated types (same shape the server builds). */
-  flatMap: Map<string, TAtscriptAnnotatedType>;
-  /** Set of field paths that are navigation relations (TO/FROM/VIA). */
-  navFields: ReadonlySet<string>;
-}
-/**
- * Builds a lightweight validation context from a deserialized Atscript type.
- *
- * This is the client-side equivalent of the server's `TableMetadata.build()`,
- * without any adapter-specific processing (physical columns, index resolution, etc.).
- *
- * @param type - A deserialized annotated type (from `deserializeAnnotatedType(meta.type)`).
- * @returns `flatMap` and `navFields` suitable for passing to `createDbValidatorPlugin` via `DbValidationContext`.
- */
-declare function buildValidationContext(type: TAtscriptAnnotatedType<TAtscriptTypeObject>): ValidationContext;
-//#endregion
-export { aggregateFailure as _, buildValidationContext as a, isRetryableDbError as b, isNavRelation as c, getKeyProps as d, CasExhaustedError as f, aggregateExpressionsNotSupported as g, DbErrorCode as h, buildPatchPartial as i, TArrayPatch as l, DbError as m, ValidatorMode as n, dbPlugin as o, CasMismatchError as p, buildDbValidator as r, forceNavNonOptional as s, ValidationContext as t, TDbPatch as u, bucketTimeZoneUnavailable as v, isConflict as y };
+export { aggregateExpressionsNotSupported as a, isConflict as c, DbErrorCode as i, isRetryableDbError as l, CasMismatchError as n, aggregateFailure as o, DbError as r, bucketTimeZoneUnavailable as s, CasExhaustedError as t };

package/dist/{db-error-JcfJqqpk.cjs → db-error-DmF1_xrz.cjs}

@@ -37,6 +37,13 @@ function isRetryableDbError(error) {
 function isConflict(error) {
 	return error instanceof DbError && error.code === "CONFLICT";
 }
+/** @internal An `INVALID_QUERY` error with a single `{ path, message }` entry. */
+function invalidQuery(path, message) {
+	return new DbError("INVALID_QUERY", [{
+		path,
+		message
+	}]);
+}
 /** @internal The error every handle of a closed `DbSpace` throws. */
 function spaceClosedError() {
 	return new DbError("SPACE_CLOSED", [{
@@ -180,6 +187,12 @@ Object.defineProperty(exports, "bucketTimeZoneUnavailable", {
 		return bucketTimeZoneUnavailable;
 	}
 });
+Object.defineProperty(exports, "invalidQuery", {
+	enumerable: true,
+	get: function() {
+		return invalidQuery;
+	}
+});
 Object.defineProperty(exports, "isConflict", {
 	enumerable: true,
 	get: function() {

package/dist/{db-error-eSsQX7rt.mjs → db-error-hraC12B9.mjs}

@@ -37,6 +37,13 @@ function isRetryableDbError(error) {
 function isConflict(error) {
 	return error instanceof DbError && error.code === "CONFLICT";
 }
+/** @internal An `INVALID_QUERY` error with a single `{ path, message }` entry. */
+function invalidQuery(path, message) {
+	return new DbError("INVALID_QUERY", [{
+		path,
+		message
+	}]);
+}
 /** @internal The error every handle of a closed `DbSpace` throws. */
 function spaceClosedError() {
 	return new DbError("SPACE_CLOSED", [{
@@ -138,4 +145,4 @@ function aggregateExpressionsNotSupported() {
 	}]);
 }
 //#endregion
-export { aggregateExpressionsNotSupported as a, isConflict as c, DepthLimitExceededError as i, isRetryableDbError as l, CasMismatchError as n, aggregateFailure as o, DbError as r, bucketTimeZoneUnavailable as s, CasExhaustedError as t, spaceClosedError as u };
+export { aggregateExpressionsNotSupported as a, invalidQuery as c, spaceClosedError as d, DepthLimitExceededError as i, isConflict as l, CasMismatchError as n, aggregateFailure as o, DbError as r, bucketTimeZoneUnavailable as s, CasExhaustedError as t, isRetryableDbError as u };

package/dist/{db-validator-plugin-BWy60OvG.d.cts → db-validator-plugin-wRqMYNBI.d.cts}

@@ -5,6 +5,12 @@ interface DbValidationContext {
   mode: "insert" | "replace" | "patch";
   /** Flat map from the table — used to check if an array is a top-level array. */
   flatMap?: Map<string, TAtscriptAnnotatedType>;
+  /**
+   * The write picks its rows by a filter, not by the payload's primary key
+   * (`replaceMany(filter, data)`, since 0.1.162): a missing top-level
+   * `@meta.id` is accepted in `replace` mode.
+   */
+  keyless?: boolean;
   /** Precomputed nav field names — used to skip field-op validation inside TO/FROM/VIA relations. */
   navFields?: ReadonlySet<string>;
   /**

package/dist/{db-validator-plugin-BWy60OvG.d.mts → db-validator-plugin-wRqMYNBI.d.mts}

@@ -5,6 +5,12 @@ interface DbValidationContext {
   mode: "insert" | "replace" | "patch";
   /** Flat map from the table — used to check if an array is a top-level array. */
   flatMap?: Map<string, TAtscriptAnnotatedType>;
+  /**
+   * The write picks its rows by a filter, not by the payload's primary key
+   * (`replaceMany(filter, data)`, since 0.1.162): a missing top-level
+   * `@meta.id` is accepted in `replace` mode.
+   */
+  keyless?: boolean;
   /** Precomputed nav field names — used to skip field-op validation inside TO/FROM/VIA relations. */
   navFields?: ReadonlySet<string>;
   /**

package/dist/{fk-diff-5gX42hBt.d.mts → fk-diff-B5jW68T3.d.cts}

@@ -1,4 +1,4 @@
-import { A as TColumnDiff, B as TDbDefaultFn, En as AtscriptDbReadable, U as TDbFieldMeta, V as TDbDefaultValue, W as TDbForeignKey, _t as TExistingColumn, an as AtscriptDbView, at as TDbStorageType, hn as AtscriptQueryNode, ht as TDerivedColumn, mn as AtscriptQueryFieldRef, yt as TExistingTableOption, z as TDbCollation } from "./buckets-8mG67Mtw.mjs";
+import { B as TDbCollation, Bn as AtscriptDbReadable, Et as TExistingTableOption, G as TDbFieldMeta, H as TDbDefaultValue, K as TDbForeignKey, On as AtscriptQueryFieldRef, St as TDerivedColumn, V as TDbDefaultFn, dt as TDbStorageType, j as TColumnDiff, kn as AtscriptQueryNode, wt as TExistingColumn, yn as AtscriptDbView } from "./buckets-_iZV39Z3.cjs";
 
 //#region src/schema/schema-hash.d.ts
 interface TFieldSnapshot {
@@ -208,6 +208,36 @@ declare function snapshotToExistingTableOptions(snapshot: TTableSnapshot): TExis
  * @since 0.1.137
  */
 declare function isColumnTypeChanged(existingType: string, expectedType: string): boolean;
+/**
+ * Whether a live column default (as the adapter's introspection normalized
+ * it) and a model default (`serializeDefaultValue`) denote the same value for
+ * `field` — compared in a canonical, type-aware form, because the DDL writes a
+ * literal that differs from the annotation text and the engine reformats it
+ * again: booleans as `1` / `0` (`true` / `1` → `1`), numbers numerically
+ * (`1.0` = `1`, a DECIMAL's `0.00` = `0`), JSON-stored values as parsed,
+ * key-sorted JSON (`{"a": 1}` = `{"a":1}`). With a column type `liveType`
+ * of a fixed scale (`DECIMAL(10,2)`, `NUMERIC(8,3)`) — the type the column
+ * has once synced, i.e. the model's — a model value is also the value the
+ * column stores for it (`2.345` = `2.35`).
+ * Function defaults (`fn:now`, `fn:uuid`, …) and every other value compare as
+ * strings. Exported for adapters that must agree with schema sync.
+ * @since 0.1.162
+ */
+declare function sameDefaultValue(field: Pick<TDbFieldMeta, "designType" | "storage">, live: string | undefined, desired: string | undefined, liveType?: string): boolean;
+/** Options of {@link computeColumnDiff}. */
+interface TColumnDiffOptions {
+  /**
+   * The table's stored snapshot (since 0.1.141) — the baseline a derived
+   * column's expression is compared with (the engine normalizes the
+   * expression it stores, so the live column cannot be). Without one, only a
+   * kind or type drift is seen.
+   */
+  snapshot?: TTableSnapshot | null;
+  /** The adapter's `nativeDefaultFns()`: a column missing such a default drifts. */
+  nativeDefaultFns?: ReadonlySet<TDbDefaultFn>;
+  /** The adapter's `reportedDefault` hook (since 0.1.162): a live default equal to it is unchanged. */
+  reportedDefault?: (desired: string, field: TDbFieldMeta) => string;
+}
 /**
  * Computes the difference between desired schema fields and existing database columns.
  *
@@ -218,15 +248,9 @@ declare function isColumnTypeChanged(existingType: string, expectedType: string)
  *                     Receives the full field meta (design type, annotations, PK status, etc.)
  *                     so adapters can produce context-aware types (e.g., `VARCHAR(255)` from maxLength).
  *                     Required for type change detection.
- * @param opts.snapshot - The table's stored snapshot (since 0.1.141) — the baseline a
- *                        derived column's expression is compared with (the engine normalizes
- *                        the expression it stores, so the live column cannot be). Without
- *                        one, only a kind or type drift is seen.
+ * @param opts - See {@link TColumnDiffOptions}.
  */
-declare function computeColumnDiff(desired: readonly TDbFieldMeta[], existing: TExistingColumn[], typeMapper?: (field: TDbFieldMeta) => string, opts?: {
-  snapshot?: TTableSnapshot | null;
-  nativeDefaultFns?: ReadonlySet<TDbDefaultFn>;
-}): TColumnDiff;
+declare function computeColumnDiff(desired: readonly TDbFieldMeta[], existing: TExistingColumn[], typeMapper?: (field: TDbFieldMeta) => string, opts?: TColumnDiffOptions): TColumnDiff;
 //#endregion
 //#region src/schema/fk-diff.d.ts
 /**
@@ -263,4 +287,4 @@ declare function computeForeignKeyDiff(desired: ReadonlyMap<string, TDbForeignKe
 /** Whether the FK diff contains any changes. */
 declare function hasForeignKeyChanges(diff: TForeignKeyDiff): boolean;
 //#endregion
-export { computeTableSnapshot as _, hasForeignKeyChanges as a, snapshotToExistingTableOptions as b, TFieldSnapshot as c, TViewColumnSnapshot as d, TViewJoinSnapshot as f, computeTableHash as g, computeSchemaHash as h, fkKey as i, TForeignKeySnapshot as l, canonicalizeQueryNode as m, computeForeignKeyDiff as n, computeColumnDiff as o, TViewSnapshot as p, fkColumns as r, isColumnTypeChanged as s, TForeignKeyDiff as t, TTableSnapshot as u, computeViewSnapshot as v, snapshotToExistingColumns as y };
+export { snapshotToExistingTableOptions as S, computeSchemaHash as _, hasForeignKeyChanges as a, computeViewSnapshot as b, isColumnTypeChanged as c, TForeignKeySnapshot as d, TTableSnapshot as f, canonicalizeQueryNode as g, TViewSnapshot as h, fkKey as i, sameDefaultValue as l, TViewJoinSnapshot as m, computeForeignKeyDiff as n, TColumnDiffOptions as o, TViewColumnSnapshot as p, fkColumns as r, computeColumnDiff as s, TForeignKeyDiff as t, TFieldSnapshot as u, computeTableHash as v, snapshotToExistingColumns as x, computeTableSnapshot as y };

package/dist/{fk-diff-BWdQ7kRZ.d.cts → fk-diff-PhVBYohc.d.mts}

@@ -1,4 +1,4 @@
-import { A as TColumnDiff, B as TDbDefaultFn, En as AtscriptDbReadable, U as TDbFieldMeta, V as TDbDefaultValue, W as TDbForeignKey, _t as TExistingColumn, an as AtscriptDbView, at as TDbStorageType, hn as AtscriptQueryNode, ht as TDerivedColumn, mn as AtscriptQueryFieldRef, yt as TExistingTableOption, z as TDbCollation } from "./buckets-B4T_alUe.cjs";
+import { B as TDbCollation, Bn as AtscriptDbReadable, Et as TExistingTableOption, G as TDbFieldMeta, H as TDbDefaultValue, K as TDbForeignKey, On as AtscriptQueryFieldRef, St as TDerivedColumn, V as TDbDefaultFn, dt as TDbStorageType, j as TColumnDiff, kn as AtscriptQueryNode, wt as TExistingColumn, yn as AtscriptDbView } from "./buckets-DUTcrT4Z.mjs";
 
 //#region src/schema/schema-hash.d.ts
 interface TFieldSnapshot {
@@ -208,6 +208,36 @@ declare function snapshotToExistingTableOptions(snapshot: TTableSnapshot): TExis
  * @since 0.1.137
  */
 declare function isColumnTypeChanged(existingType: string, expectedType: string): boolean;
+/**
+ * Whether a live column default (as the adapter's introspection normalized
+ * it) and a model default (`serializeDefaultValue`) denote the same value for
+ * `field` — compared in a canonical, type-aware form, because the DDL writes a
+ * literal that differs from the annotation text and the engine reformats it
+ * again: booleans as `1` / `0` (`true` / `1` → `1`), numbers numerically
+ * (`1.0` = `1`, a DECIMAL's `0.00` = `0`), JSON-stored values as parsed,
+ * key-sorted JSON (`{"a": 1}` = `{"a":1}`). With a column type `liveType`
+ * of a fixed scale (`DECIMAL(10,2)`, `NUMERIC(8,3)`) — the type the column
+ * has once synced, i.e. the model's — a model value is also the value the
+ * column stores for it (`2.345` = `2.35`).
+ * Function defaults (`fn:now`, `fn:uuid`, …) and every other value compare as
+ * strings. Exported for adapters that must agree with schema sync.
+ * @since 0.1.162
+ */
+declare function sameDefaultValue(field: Pick<TDbFieldMeta, "designType" | "storage">, live: string | undefined, desired: string | undefined, liveType?: string): boolean;
+/** Options of {@link computeColumnDiff}. */
+interface TColumnDiffOptions {
+  /**
+   * The table's stored snapshot (since 0.1.141) — the baseline a derived
+   * column's expression is compared with (the engine normalizes the
+   * expression it stores, so the live column cannot be). Without one, only a
+   * kind or type drift is seen.
+   */
+  snapshot?: TTableSnapshot | null;
+  /** The adapter's `nativeDefaultFns()`: a column missing such a default drifts. */
+  nativeDefaultFns?: ReadonlySet<TDbDefaultFn>;
+  /** The adapter's `reportedDefault` hook (since 0.1.162): a live default equal to it is unchanged. */
+  reportedDefault?: (desired: string, field: TDbFieldMeta) => string;
+}
 /**
  * Computes the difference between desired schema fields and existing database columns.
  *
@@ -218,15 +248,9 @@ declare function isColumnTypeChanged(existingType: string, expectedType: string)
  *                     Receives the full field meta (design type, annotations, PK status, etc.)
  *                     so adapters can produce context-aware types (e.g., `VARCHAR(255)` from maxLength).
  *                     Required for type change detection.
- * @param opts.snapshot - The table's stored snapshot (since 0.1.141) — the baseline a
- *                        derived column's expression is compared with (the engine normalizes
- *                        the expression it stores, so the live column cannot be). Without
- *                        one, only a kind or type drift is seen.
+ * @param opts - See {@link TColumnDiffOptions}.
  */
-declare function computeColumnDiff(desired: readonly TDbFieldMeta[], existing: TExistingColumn[], typeMapper?: (field: TDbFieldMeta) => string, opts?: {
-  snapshot?: TTableSnapshot | null;
-  nativeDefaultFns?: ReadonlySet<TDbDefaultFn>;
-}): TColumnDiff;
+declare function computeColumnDiff(desired: readonly TDbFieldMeta[], existing: TExistingColumn[], typeMapper?: (field: TDbFieldMeta) => string, opts?: TColumnDiffOptions): TColumnDiff;
 //#endregion
 //#region src/schema/fk-diff.d.ts
 /**
@@ -263,4 +287,4 @@ declare function computeForeignKeyDiff(desired: ReadonlyMap<string, TDbForeignKe
 /** Whether the FK diff contains any changes. */
 declare function hasForeignKeyChanges(diff: TForeignKeyDiff): boolean;
 //#endregion
-export { computeTableSnapshot as _, hasForeignKeyChanges as a, snapshotToExistingTableOptions as b, TFieldSnapshot as c, TViewColumnSnapshot as d, TViewJoinSnapshot as f, computeTableHash as g, computeSchemaHash as h, fkKey as i, TForeignKeySnapshot as l, canonicalizeQueryNode as m, computeForeignKeyDiff as n, computeColumnDiff as o, TViewSnapshot as p, fkColumns as r, isColumnTypeChanged as s, TForeignKeyDiff as t, TTableSnapshot as u, computeViewSnapshot as v, snapshotToExistingColumns as y };
+export { snapshotToExistingTableOptions as S, computeSchemaHash as _, hasForeignKeyChanges as a, computeViewSnapshot as b, isColumnTypeChanged as c, TForeignKeySnapshot as d, TTableSnapshot as f, canonicalizeQueryNode as g, TViewSnapshot as h, fkKey as i, sameDefaultValue as l, TViewJoinSnapshot as m, computeForeignKeyDiff as n, TColumnDiffOptions as o, TViewColumnSnapshot as p, fkColumns as r, computeColumnDiff as s, TForeignKeyDiff as t, TFieldSnapshot as u, computeTableHash as v, snapshotToExistingColumns as x, computeTableSnapshot as y };

package/dist/index.cjs

@@ -1,11 +1,11 @@
 Object.defineProperty(exports, Symbol.toStringTag, { value: "Module" });
-const require_db_error = require("./db-error-JcfJqqpk.cjs");
-const require_column_diff = require("./column-diff-DpeUbhEI.cjs");
-const require_aggregate_fns = require("./aggregate-fns-DFtKAv7Q.cjs");
-const require_nested_writer = require("./nested-writer-Bl1SZS7x.cjs");
-const require_validator = require("./validator-B4YDLUkj.cjs");
-const require_search_fields = require("./search-fields-CT_UZ9fg.cjs");
-const require_object = require("./object-Djg28csK.cjs");
+const require_db_error = require("./db-error-DmF1_xrz.cjs");
+const require_column_diff = require("./column-diff-CZsMGQ_w.cjs");
+const require_aggregate_fns = require("./aggregate-fns-DupYzFD7.cjs");
+const require_nested_writer = require("./nested-writer-yCy6wGuN.cjs");
+const require_validator = require("./validator-DK9Ijpo7.cjs");
+const require_search_fields = require("./search-fields-Bi1n-pB1.cjs");
+const require_object = require("./object-GjsuPNqo.cjs");
 const require_consts = require("./consts-BzRfCcH2.cjs");
 const require_ops = require("./ops.cjs");
 let _atscript_typescript_utils = require("@atscript/typescript/utils");
@@ -175,10 +175,7 @@ var DbEncryption = class {
 */
 async function withOptimisticRetry(table, filter, mutator, opts) {
 	const versionColumn = table.versionColumn;
-	if (versionColumn === void 0) throw new require_db_error.DbError("INVALID_QUERY", [{
-		path: "$cas",
-		message: `withOptimisticRetry: table "${table.tableName}" has no @db.column.version column — CAS cannot be applied`
-	}]);
+	if (versionColumn === void 0) throw require_db_error.invalidQuery("$cas", `withOptimisticRetry: table "${table.tableName}" has no @db.column.version column — CAS cannot be applied`);
 	const maxAttempts = opts?.maxAttempts ?? 5;
 	let lastSeenVersion;
 	for (let attempt = 1; attempt <= maxAttempts; attempt++) {
@@ -573,6 +570,7 @@ exports.$upsert = require_ops.$upsert;
 exports.ADAPTER_FILTER_REASON = require_column_diff.ADAPTER_FILTER_REASON;
 exports.ALL_AGGREGATE_FNS = require_aggregate_fns.ALL_AGGREGATE_FNS;
 exports.ALL_BUCKET_UNITS = require_column_diff.ALL_BUCKET_UNITS;
+exports.ALL_ISOLATION_LEVELS = require_column_diff.ALL_ISOLATION_LEVELS;
 exports.ALL_VIEW_CAPABILITIES = require_column_diff.ALL_VIEW_CAPABILITIES;
 exports.ApplicationIntegrity = require_column_diff.ApplicationIntegrity;
 exports.AtscriptDbReadable = require_column_diff.AtscriptDbReadable;
@@ -626,6 +624,7 @@ Object.defineProperty(exports, "computeInsights", {
 	}
 });
 exports.containsRelationFilter = require_nested_writer.containsRelationFilter;
+exports.createChangeRecorder = require_column_diff.createChangeRecorder;
 exports.createDbValidatorPlugin = require_validator.createDbValidatorPlugin;
 exports.createFailureCollector = require_column_diff.createFailureCollector;
 exports.decomposePatch = require_column_diff.decomposePatch;
@@ -635,6 +634,7 @@ exports.describeFulltext = require_column_diff.describeFulltext;
 exports.evaluateExpr = require_nested_writer.evaluateExpr;
 exports.findAncestorInSet = require_object.findAncestorInSet;
 exports.fkColumns = require_column_diff.fkColumns;
+exports.fkKey = require_column_diff.fkKey;
 exports.forEachResolvedRelation = require_nested_writer.forEachResolvedRelation;
 exports.forceNavNonOptional = require_validator.forceNavNonOptional;
 exports.geoIndexNotFoundMessage = require_column_diff.geoIndexNotFoundMessage;
@@ -694,6 +694,7 @@ exports.separateCas = require_ops.separateCas;
 exports.separateFieldOps = require_ops.separateFieldOps;
 exports.sortFieldNames = require_column_diff.sortFieldNames;
 exports.splitFulltextFields = require_column_diff.splitFulltextFields;
+exports.stableJson = require_object.stableJson;
 exports.tableNameOf = require_nested_writer.tableNameOf;
 exports.translateQueryTree = require_nested_writer.translateQueryTree;
 exports.uniqueKeyTuple = require_nested_writer.uniqueKeyTuple;