@effect-dynamodb/schema 1.9.0

package/dist/internal/AggregateTypes.d.ts

@@ -0,0 +1,132 @@
+/**
+ * @internal Aggregate type-level computations — derived types for Aggregate operations.
+ *
+ * Extracted from Aggregate.ts for decomposition. Not part of the public API.
+ */
+import type { Schema } from "effect";
+import type { DiscriminatorConfig, UpdateContext } from "./AggregateCursor.js";
+import type { AggregateEdge, ManyEdge, OneEdge, RefEdge, RefEntity } from "./AggregateEdges.js";
+import type { RefEntityIdentifierValue } from "./EntityTypes.js";
+/**
+ * A composable sub-aggregate definition — a graph shape that can be embedded
+ * in a parent aggregate via `.with()`.
+ */
+export interface SubAggregate<TSchema extends Schema.Top, TEdges extends Record<string, AggregateEdge | BoundSubAggregate<any, any>> = Record<string, AggregateEdge | BoundSubAggregate<any, any>>> {
+    readonly _tag: "SubAggregate";
+    readonly schema: TSchema;
+    readonly root: {
+        readonly entityType: string;
+    };
+    readonly edges: TEdges;
+    /** Bind with discriminator values to distinguish multiple embeddings */
+    readonly with: (config: DiscriminatorConfig) => BoundSubAggregate<TSchema, TEdges>;
+}
+/**
+ * A sub-aggregate bound with discriminator values, ready to embed in a parent.
+ */
+export interface BoundSubAggregate<TSchema extends Schema.Top, TEdges extends Record<string, AggregateEdge | BoundSubAggregate<any, any>> = Record<string, AggregateEdge | BoundSubAggregate<any, any>>> {
+    readonly _tag: "BoundSubAggregate";
+    readonly aggregate: SubAggregate<TSchema, TEdges>;
+    readonly discriminator: Record<string, unknown>;
+}
+/** Extract the domain type from an Aggregate */
+export type Type<T> = T extends {
+    readonly schema: infer S extends Schema.Top;
+} ? Schema.Schema.Type<S> : never;
+/** Extract the key type from an Aggregate */
+export type Key<T> = T extends {
+    readonly get: (key: infer K) => any;
+} ? K : never;
+/** Extract the input type from an Aggregate */
+export type Input<T> = T extends {
+    readonly inputSchema: Schema.Codec<infer I>;
+} ? I : never;
+/** Extract the update mutation function type from an Aggregate */
+export type UpdateFn<T> = T extends {
+    readonly schema: infer S extends Schema.Top;
+} ? (context: UpdateContext<S["Iso"], Schema.Schema.Type<S>>) => Schema.Schema.Type<S> | S["Iso"] : never;
+/**
+ * Resolve the `${field}Id` value type for a OneEdge / RefEdge / ManyEdge.
+ *
+ * Extracts the referenced entity from the edge and resolves its branded
+ * primary-key identifier via `RefEntityIdentifierValue`. Edges without an
+ * associated entity (e.g. a `OneEdge` whose member is a pure sub-shape) fall
+ * back to `string`.
+ *
+ * `entity` is required on RefEdge but optional on OneEdge / ManyEdge
+ * (`entity?: E | undefined`), so we read it via indexed access and strip
+ * `undefined` with `NonNullable` before resolving — otherwise the optional
+ * modifier widens `infer E` to `E | undefined`, fails the `extends RefEntity`
+ * guard, and silently collapses the brand back to `string`.
+ */
+type _EdgeIdValue<Edge> = NonNullable<Edge extends {
+    readonly entity?: unknown;
+} ? Edge["entity"] : undefined> extends infer E ? E extends RefEntity ? RefEntityIdentifierValue<E> : string : string;
+/**
+ * Compute the aggregate input type from the domain model, edges, and PK composites.
+ *
+ * - OneEdge / RefEdge fields → `${field}Id: <entity branded id | string>`
+ * - BoundSubAggregate fields → recursed
+ * - ManyEdge fields → array elements recursed for ref replacement
+ * - PK composites → omitted
+ * - Everything else → kept as-is
+ *
+ * Edge id fields resolve to the referenced entity's branded primary-key
+ * identifier type (e.g. `venueId: VenueId`) when the edge carries an `entity`,
+ * mirroring the standalone Entity ref path (`EntityRefInputType`). Without an
+ * entity, they fall back to `string`.
+ */
+export type AggregateInputType<TModel, TEdges extends Record<string, AggregateEdge | BoundSubAggregate<any, any>>, TPK extends ReadonlyArray<string>> = _Simplify<{
+    readonly [K in keyof TModel as K extends keyof TEdges ? never : K extends TPK[number] ? never : K]: _StripUndefined<TModel[K]>;
+} & {
+    readonly [K in keyof TEdges as TEdges[K] extends OneEdge<any> | RefEdge<any> ? _IsOptionalIn<TModel, K> extends true ? never : `${K & string}Id` : never]: _EdgeIdValue<TEdges[K]>;
+} & {
+    readonly [K in keyof TEdges as TEdges[K] extends OneEdge<any> | RefEdge<any> ? _IsOptionalIn<TModel, K> extends true ? `${K & string}Id` : never : never]?: _EdgeIdValue<TEdges[K]>;
+} & {
+    readonly [K in keyof TEdges as TEdges[K] extends BoundSubAggregate<any, any> ? _IsOptionalIn<TModel, K> extends true ? never : K : never]: TEdges[K] extends BoundSubAggregate<infer S, infer E> ? AggregateInputType<Schema.Schema.Type<S>, E, []> : never;
+} & {
+    readonly [K in keyof TEdges as TEdges[K] extends BoundSubAggregate<any, any> ? _IsOptionalIn<TModel, K> extends true ? K : never : never]?: TEdges[K] extends BoundSubAggregate<infer S, infer E> ? AggregateInputType<Schema.Schema.Type<S>, E, []> : never;
+} & {
+    readonly [K in keyof TEdges as TEdges[K] extends ManyEdge<any> ? _IsOptionalIn<TModel, K> extends true ? never : TEdges[K] extends {
+        readonly inputField: infer IF extends string;
+    } ? IF : K : never]: K extends keyof TModel ? _TransformManyEdge<TModel[K], _EdgeIdValue<TEdges[K]>> : never;
+} & {
+    readonly [K in keyof TEdges as TEdges[K] extends ManyEdge<any> ? _IsOptionalIn<TModel, K> extends true ? TEdges[K] extends {
+        readonly inputField: infer IF extends string;
+    } ? IF : K : never : never]?: K extends keyof TModel ? _TransformManyEdge<TModel[K], _EdgeIdValue<TEdges[K]>> : never;
+}>;
+/** Detect ref-like types: objects with an `id: string` property (Schema.Class entities) */
+type _IsRefLike<T> = T extends {
+    readonly id: string;
+} ? string extends keyof T ? false : true : false;
+/**
+ * Transform an object's ref-like fields to `${field}Id: <Id>`.
+ *
+ * `Id` is the edge entity's branded identifier type — the ManyEdge associates a
+ * single entity, and the runtime decomposition (`deriveEntityFieldName`) maps
+ * the element's entity-derived ref field to exactly that entity, so the brand
+ * is shared by the element's nested ref field. Falls back to `string` when the
+ * edge carries no entity (`Id = string`).
+ */
+type _RefFieldsToIds<T, Id> = _Simplify<{
+    readonly [K in keyof T as _IsRefLike<T[K]> extends true ? `${K & string}Id` : K]: _IsRefLike<T[K]> extends true ? Id : T[K];
+}>;
+/**
+ * Distribute over unions (e.g., ReadonlyArray<T> | undefined) to transform array elements.
+ *
+ * `Id` is the ManyEdge entity's branded identifier type:
+ * - When the element IS the ref (`Array<Umpire>`), the array becomes `Array<Id>`.
+ * - When the element wraps the ref (`Array<{ player: Player, ... }>`), the nested
+ *   ref field is rewritten to `${field}Id: Id`.
+ */
+type _TransformManyEdge<T, Id> = T extends ReadonlyArray<infer E> ? _IsRefLike<E> extends true ? ReadonlyArray<Id> : ReadonlyArray<_RefFieldsToIds<E, Id>> : T;
+/** Check if key K is an optional property of T */
+type _IsOptionalIn<T, K> = K extends keyof T ? ({} extends Pick<T, K> ? true : false) : false;
+/** Strip `undefined` from optional field value types — the `?` modifier already expresses optionality */
+type _StripUndefined<T> = undefined extends T ? Exclude<T, undefined> : T;
+/** Flatten intersection types — `extends infer O` breaks the alias chain for eager IDE expansion */
+type _Simplify<T> = T extends infer O ? {
+    [K in keyof O]: O[K];
+} : never;
+export {};
+//# sourceMappingURL=AggregateTypes.d.ts.map

package/dist/internal/AggregateTypes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"AggregateTypes.d.ts","sourceRoot":"","sources":["../../src/internal/AggregateTypes.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AACpC,OAAO,KAAK,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAC9E,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAA;AAC/F,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAA;AAMhE;;;GAGG;AACH,MAAM,WAAW,YAAY,CAC3B,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,MAAM,CACjF,MAAM,EACN,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAC5C;IAED,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAA;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;KAAE,CAAA;IAC9C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,wEAAwE;IACxE,QAAQ,CAAC,IAAI,EAAE,CAAC,MAAM,EAAE,mBAAmB,KAAK,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;CACnF;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB,CAChC,OAAO,SAAS,MAAM,CAAC,GAAG,EAC1B,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAAG,MAAM,CACjF,MAAM,EACN,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAC5C;IAED,QAAQ,CAAC,IAAI,EAAE,mBAAmB,CAAA;IAClC,QAAQ,CAAC,SAAS,EAAE,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;IACjD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAChD;AAMD,gDAAgD;AAChD,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAAG,CAAA;CAAE,GAC3E,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GACrB,KAAK,CAAA;AAET,6CAA6C;AAC7C,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,GAAG,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAA;AAElF,+CAA+C;AAC/C,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAA;AAE5F,kEAAkE;AAClE,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC,GAAG,CAAA;CAAE,GAC/E,CAAC,OAAO,EAAE,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,GAC7F,KAAK,CAAA;AAMT;;;;;;;;;;;;;GAaG;AACH,KAAK,YAAY,CAAC,IAAI,IACpB,WAAW,CACT,IAAI,SAAS;IAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,SAAS,CACxE,SAAS,MAAM,CAAC,GACb,CAAC,SAAS,SAAS,GACjB,wBAAwB,CAAC,CAAC,CAAC,GAC3B,MAAM,GACR,MAAM,CAAA;AAEZ;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,kBAAkB,CAC5B,MAAM,EACN,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,aAAa,GAAG,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,EAC1E,GAAG,SAAS,aAAa,CAAC,MAAM,CAAC,IAC/B,SAAS,CAEX;IACE,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,IAAI,CAAC,SAAS,MAAM,MAAM,GACjD,KAAK,GACL,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,GACnB,KAAK,GACL,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CACrC,GAAG;IAEF,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,GACxE,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,IAAI,GACnC,KAAK,GACL,GAAG,CAAC,GAAG,MAAM,IAAI,GACnB,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CACpC,GAAG;IAEF,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,GACxE,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,IAAI,GACnC,GAAG,CAAC,GAAG,MAAM,IAAI,GACjB,KAAK,GACP,KAAK,CAAC,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CACrC,GAAG;IAEF,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,GACxE,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,IAAI,GACnC,KAAK,GACL,CAAC,GACH,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,SAAS,iBAAiB,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAC7D,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAChD,KAAK;CACV,GAAG;IAEF,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,iBAAiB,CAAC,GAAG,EAAE,GAAG,CAAC,GACxE,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,IAAI,GACnC,CAAC,GACD,KAAK,GACP,KAAK,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,SAAS,iBAAiB,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAC9D,kBAAkB,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAChD,KAAK;CACV,GAAG;IAGF,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,GAAG,CAAC,GAC1D,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,IAAI,GACnC,KAAK,GACL,MAAM,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,MAAM,CAAA;KAAE,GAChE,EAAE,GACF,CAAC,GACL,KAAK,GAAG,CAAC,SAAS,MAAM,MAAM,GAC9B,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GACtD,KAAK;CACV,GAAG;IAEF,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,GAAG,CAAC,GAC1D,aAAa,CAAC,MAAM,EAAE,CAAC,CAAC,SAAS,IAAI,GACnC,MAAM,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,EAAE,SAAS,MAAM,CAAA;KAAE,GAChE,EAAE,GACF,CAAC,GACH,KAAK,GACP,KAAK,CAAC,CAAC,EAAE,CAAC,SAAS,MAAM,MAAM,GAC/B,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GACtD,KAAK;CACV,CACF,CAAA;AAED,2FAA2F;AAC3F,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAClD,MAAM,SAAS,MAAM,CAAC,GACpB,KAAK,GACL,IAAI,GACN,KAAK,CAAA;AAET;;;;;;;;GAQG;AACH,KAAK,eAAe,CAAC,CAAC,EAAE,EAAE,IAAI,SAAS,CAAC;IACtC,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,GAAG,CAAC,GAAG,MAAM,IAAI,GAAG,CAAC,GAAG,UAAU,CAC1F,CAAC,CAAC,CAAC,CAAC,CACL,SAAS,IAAI,GACV,EAAE,GACF,CAAC,CAAC,CAAC,CAAC;CACT,CAAC,CAAA;AAEF;;;;;;;GAOG;AACH,KAAK,kBAAkB,CAAC,CAAC,EAAE,EAAE,IAC3B,CAAC,SAAS,aAAa,CAAC,MAAM,CAAC,CAAC,GAC5B,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GACxB,aAAa,CAAC,EAAE,CAAC,GACjB,aAAa,CAAC,eAAe,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GACvC,CAAC,CAAA;AAEP,kDAAkD;AAClD,KAAK,aAAa,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,EAAE,SAAS,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAA;AAE7F,yGAAyG;AACzG,KAAK,eAAe,CAAC,CAAC,IAAI,SAAS,SAAS,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,CAAC,CAAA;AAEzE,oGAAoG;AACpG,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,GAAG;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,GAAG,KAAK,CAAA"}

package/dist/internal/AggregateTypes.js

@@ -0,0 +1,7 @@
+/**
+ * @internal Aggregate type-level computations — derived types for Aggregate operations.
+ *
+ * Extracted from Aggregate.ts for decomposition. Not part of the public API.
+ */
+export {};
+//# sourceMappingURL=AggregateTypes.js.map

package/dist/internal/AggregateTypes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"AggregateTypes.js","sourceRoot":"","sources":["../../src/internal/AggregateTypes.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}

package/dist/internal/DefaultCrypto.d.ts

@@ -0,0 +1,26 @@
+/**
+ * @internal Default `Crypto` service for the typed client.
+ *
+ * `DynamoClient.make()` bundles a default {@link Crypto.Crypto} service into the
+ * captured context so that bound entity operations (e.g. auto-generated UUID
+ * primary keys via `generatedId`) can resolve a cryptographically-secure source
+ * WITHOUT widening the public `R` of bound methods. Bound `put` stays
+ * `R = never` — the service is provided from the bundled context, never
+ * surfaced as a requirement.
+ *
+ * The implementation is a thin wrapper over the global Web Crypto API
+ * (`globalThis.crypto`), available on Node 18+ and all modern browsers/edge
+ * runtimes — NO new dependency. Consumers needing a platform-specific source
+ * (e.g. `@effect/platform-node`) may override it via
+ * `DynamoClient.make({ crypto })`.
+ */
+import { Crypto } from "effect";
+/**
+ * Build the default `Crypto` service backed by `globalThis.crypto`.
+ *
+ * `randomBytes` uses `crypto.getRandomValues` (synchronous, CSPRNG). `digest`
+ * delegates to `crypto.subtle.digest` — unused by the ORM today but required by
+ * `Crypto.make`'s constructor contract.
+ */
+export declare const makeDefaultCrypto: () => Crypto.Crypto;
+//# sourceMappingURL=DefaultCrypto.d.ts.map

package/dist/internal/DefaultCrypto.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"DefaultCrypto.d.ts","sourceRoot":"","sources":["../../src/internal/DefaultCrypto.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,MAAM,EAAyB,MAAM,QAAQ,CAAA;AAEtD;;;;;;GAMG;AACH,eAAO,MAAM,iBAAiB,QAAO,MAAM,CAAC,MAgB3C,CAAA"}

package/dist/internal/DefaultCrypto.js

@@ -0,0 +1,40 @@
+/**
+ * @internal Default `Crypto` service for the typed client.
+ *
+ * `DynamoClient.make()` bundles a default {@link Crypto.Crypto} service into the
+ * captured context so that bound entity operations (e.g. auto-generated UUID
+ * primary keys via `generatedId`) can resolve a cryptographically-secure source
+ * WITHOUT widening the public `R` of bound methods. Bound `put` stays
+ * `R = never` — the service is provided from the bundled context, never
+ * surfaced as a requirement.
+ *
+ * The implementation is a thin wrapper over the global Web Crypto API
+ * (`globalThis.crypto`), available on Node 18+ and all modern browsers/edge
+ * runtimes — NO new dependency. Consumers needing a platform-specific source
+ * (e.g. `@effect/platform-node`) may override it via
+ * `DynamoClient.make({ crypto })`.
+ */
+import { Crypto, Effect, PlatformError } from "effect";
+/**
+ * Build the default `Crypto` service backed by `globalThis.crypto`.
+ *
+ * `randomBytes` uses `crypto.getRandomValues` (synchronous, CSPRNG). `digest`
+ * delegates to `crypto.subtle.digest` — unused by the ORM today but required by
+ * `Crypto.make`'s constructor contract.
+ */
+export const makeDefaultCrypto = () => {
+    const webCrypto = globalThis.crypto;
+    return Crypto.make({
+        // Crypto.make requires a fresh array per call (it mutates UUID bytes).
+        randomBytes: (size) => webCrypto.getRandomValues(new Uint8Array(size)),
+        digest: (algorithm, data) => Effect.tryPromise({
+            try: () => webCrypto.subtle.digest(algorithm, data),
+            catch: (cause) => PlatformError.badArgument({
+                module: "Crypto",
+                method: "digest",
+                description: `digest failed: ${cause instanceof Error ? cause.message : String(cause)}`,
+            }),
+        }).pipe(Effect.map((buf) => new Uint8Array(buf))),
+    });
+};
+//# sourceMappingURL=DefaultCrypto.js.map

package/dist/internal/DefaultCrypto.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DefaultCrypto.js","sourceRoot":"","sources":["../../src/internal/DefaultCrypto.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAA;AAEtD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,GAAkB,EAAE;IACnD,MAAM,SAAS,GAAG,UAAU,CAAC,MAAM,CAAA;IACnC,OAAO,MAAM,CAAC,IAAI,CAAC;QACjB,uEAAuE;QACvE,WAAW,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,SAAS,CAAC,eAAe,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC;QACtE,MAAM,EAAE,CAAC,SAAS,EAAE,IAAI,EAAE,EAAE,CAC1B,MAAM,CAAC,UAAU,CAAC;YAChB,GAAG,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,IAA8B,CAAC;YAC7E,KAAK,EAAE,CAAC,KAAK,EAAE,EAAE,CACf,aAAa,CAAC,WAAW,CAAC;gBACxB,MAAM,EAAE,QAAQ;gBAChB,MAAM,EAAE,QAAQ;gBAChB,WAAW,EAAE,kBAAkB,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE;aACxF,CAAC;SACL,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC;KACpD,CAAC,CAAA;AACJ,CAAC,CAAA"}

package/dist/internal/EntityConfig.d.ts

@@ -0,0 +1,152 @@
+/**
+ * @internal Entity configuration types — system field and constraint config.
+ *
+ * Extracted from Entity.ts for decomposition. Not part of the public API.
+ */
+import type { Duration, Schema } from "effect";
+/**
+ * Per-timestamp field configuration.
+ *
+ * - `string` — override field name only (default DateString schema)
+ * - `Schema.Top` — override schema only (default field name)
+ * - `{ field?, schema? }` — override both field name and schema
+ */
+export type TimestampFieldConfig = string | Schema.Top | {
+    readonly field?: string | undefined;
+    readonly schema?: Schema.Top | undefined;
+};
+/**
+ * Timestamp configuration for automatic `createdAt` / `updatedAt` fields.
+ *
+ * - `true` — add `createdAt` and `updatedAt` with default names and ISO string storage
+ * - `{ created?, updated? }` — per-field configuration (string, schema, or object)
+ * - `false` / `undefined` — no timestamps
+ */
+export type TimestampsConfig = boolean | {
+    readonly created?: TimestampFieldConfig | undefined;
+    readonly updated?: TimestampFieldConfig | undefined;
+};
+/**
+ * Optimistic locking configuration via an auto-incrementing version field.
+ *
+ * - `true` — add a `version` field with default name
+ * - `{ field?, retain?, ttl? }` — override field name and retention behavior
+ * - `false` / `undefined` — no versioning
+ */
+export type VersionedConfig = boolean | {
+    readonly field?: string | undefined;
+    readonly retain?: boolean | undefined;
+    readonly ttl?: Duration.Duration | string | undefined;
+};
+/**
+ * Soft-delete configuration. When enabled, deletes mark items rather than removing them.
+ *
+ * - `true` — enable soft delete with defaults
+ * - `{ ttl?, preserveUnique? }` — configure TTL cleanup and unique constraint behavior
+ * - `false` / `undefined` — hard deletes
+ */
+export type SoftDeleteConfig = boolean | {
+    readonly ttl?: Duration.Duration | string | undefined;
+    readonly preserveUnique?: boolean | undefined;
+};
+/**
+ * Time-series configuration. When set, the entity stores one "current" item
+ * per partition and many immutable "event" items. See guides/timeseries.mdx.
+ *
+ * Current-item SK matches the primary index SK. Event-item SK is
+ * `<currentSk>#e#<orderBy-value>`, GSI keys stripped, TTL attribute set
+ * (attribute name comes from `TableConfig.ttlAttributeName`, default `"_ttl"`).
+ *
+ * `.append(input)` is a `TransactWriteItems` (UpdateItem current + Put event)
+ * with CAS `attribute_not_exists(pk) OR #orderBy < :newOb`. Returns
+ * `{ applied: true | false, current }` — stale is a value, not an error.
+ *
+ * Mutually exclusive with `versioned` (EDD-9012) and `softDelete` (EDD-9015).
+ */
+export type TimeSeriesConfig<TAppendInput extends Schema.Top = Schema.Top> = {
+    /** Model attribute used as the monotonic clock for CAS and event SK decoration. Required. */
+    readonly orderBy: string;
+    /** TTL applied to event items (not current). Omit for retention-forever. */
+    readonly ttl?: Duration.Duration | string | undefined;
+    /**
+     * REQUIRED schema restricting which model fields are allowed in `.append()`
+     * input AND which fields are written into the current-item SET clause.
+     * The schema MUST include `orderBy` plus all PK/SK composite fields.
+     *
+     * Fields in the model but NOT in this schema are never referenced by
+     * `.append()`'s UpdateExpression and therefore cannot be overwritten — this
+     * is the enrichment-preservation contract.
+     *
+     * Omitting `appendInput` is a hard error at `make()` time (EDD-9016).
+     * Users who genuinely want every append to overwrite every model field
+     * must pass the full model schema explicitly.
+     */
+    readonly appendInput: TAppendInput;
+};
+/**
+ * Auto-generated UUID primary-key configuration.
+ *
+ * When set, `put` / `create` / `upsert` fill the named field with a freshly
+ * generated UUID at write time **when the caller omits it** — a caller-supplied
+ * value is always respected. The id is sourced from the bundled `Crypto`
+ * service (`DynamoClient.make` provides a default; override via
+ * `DynamoClient.make({ crypto })`), so bound operations keep `R = never`.
+ *
+ * The `field` MUST exist in the model AND participate in the `primaryKey`
+ * (pk or sk composite). Violations throw EDD-9008 at `make()` time.
+ *
+ * - `version` — `"v4"` (default, random) or `"v7"` (time-ordered).
+ */
+export type GeneratedIdConfig = {
+    readonly field: string;
+    readonly version?: "v4" | "v7" | undefined;
+};
+/** An array of model field names that together form a unique constraint. */
+export type UniqueFieldsDef = ReadonlyArray<string>;
+/**
+ * A unique constraint definition — either a simple field list or an object
+ * with additional options like TTL for sentinel items.
+ */
+export type UniqueConstraintDef = UniqueFieldsDef | {
+    readonly fields: UniqueFieldsDef;
+    readonly ttl?: Duration.Duration | string | undefined;
+};
+/**
+ * Map of named unique constraints. Each key is the constraint name,
+ * each value defines which fields must be globally unique together.
+ *
+ * Enforced via DynamoDB transaction sentinel items.
+ */
+export type UniqueConfig = globalThis.Record<string, UniqueConstraintDef>;
+/**
+ * Per-ref cascade index configuration. Tells Entity.make() which physical GSI
+ * to use for auto-generated cascade indexes.
+ *
+ * The library fills in the PK/SK composites automatically from the resolved ref
+ * and primary key — the consumer only specifies physical GSI details.
+ */
+export interface CascadeIndexConfig {
+    /** Physical GSI name (e.g., "gsi3") */
+    readonly index: string;
+    /** PK field descriptor */
+    readonly pk: {
+        readonly field: string;
+    };
+    /** SK field descriptor */
+    readonly sk: {
+        readonly field: string;
+    };
+}
+/**
+ * A ref value in the `refs` config — an object with the entity and optional cascade index config.
+ *
+ * Simple:    `refs: { player: { entity: Players } }`
+ * Cascade:   `refs: { player: { entity: Players, cascade: { index: "gsi3", pk: { field: "gsi3pk" }, sk: { field: "gsi3sk" } } } }`
+ */
+export interface RefValue {
+    readonly entity: {
+        readonly _tag: "Entity";
+    };
+    readonly cascade?: CascadeIndexConfig;
+}
+//# sourceMappingURL=EntityConfig.d.ts.map

package/dist/internal/EntityConfig.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EntityConfig.d.ts","sourceRoot":"","sources":["../../src/internal/EntityConfig.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAM9C;;;;;;GAMG;AACH,MAAM,MAAM,oBAAoB,GAC5B,MAAM,GACN,MAAM,CAAC,GAAG,GACV;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,GAAG,GAAG,SAAS,CAAA;CAAE,CAAA;AAErF;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GACxB,OAAO,GACP;IACE,QAAQ,CAAC,OAAO,CAAC,EAAE,oBAAoB,GAAG,SAAS,CAAA;IACnD,QAAQ,CAAC,OAAO,CAAC,EAAE,oBAAoB,GAAG,SAAS,CAAA;CACpD,CAAA;AAEL;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GACvB,OAAO,GACP;IACE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;IACnC,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;IACrC,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,QAAQ,GAAG,MAAM,GAAG,SAAS,CAAA;CACtD,CAAA;AAEL;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,GACxB,OAAO,GACP;IACE,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,QAAQ,GAAG,MAAM,GAAG,SAAS,CAAA;IACrD,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,GAAG,SAAS,CAAA;CAC9C,CAAA;AAEL;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,gBAAgB,CAAC,YAAY,SAAS,MAAM,CAAC,GAAG,GAAG,MAAM,CAAC,GAAG,IAAI;IAC3E,6FAA6F;IAC7F,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,4EAA4E;IAC5E,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,QAAQ,GAAG,MAAM,GAAG,SAAS,CAAA;IACrD;;;;;;;;;;;;OAYG;IACH,QAAQ,CAAC,WAAW,EAAE,YAAY,CAAA;CACnC,CAAA;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,IAAI,GAAG,IAAI,GAAG,SAAS,CAAA;CAC3C,CAAA;AAED,4EAA4E;AAC5E,MAAM,MAAM,eAAe,GAAG,aAAa,CAAC,MAAM,CAAC,CAAA;AAEnD;;;GAGG;AACH,MAAM,MAAM,mBAAmB,GAC3B,eAAe,GACf;IAAE,QAAQ,CAAC,MAAM,EAAE,eAAe,CAAC;IAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC,QAAQ,GAAG,MAAM,GAAG,SAAS,CAAA;CAAE,CAAA;AAE/F;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;AAEzE;;;;;;GAMG;AACH,MAAM,WAAW,kBAAkB;IACjC,uCAAuC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,0BAA0B;IAC1B,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAA;IACvC,0BAA0B;IAC1B,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAA;CACxC;AAED;;;;;GAKG;AACH,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;KAAE,CAAA;IAC5C,QAAQ,CAAC,OAAO,CAAC,EAAE,kBAAkB,CAAA;CACtC"}

package/dist/internal/EntityConfig.js

@@ -0,0 +1,7 @@
+/**
+ * @internal Entity configuration types — system field and constraint config.
+ *
+ * Extracted from Entity.ts for decomposition. Not part of the public API.
+ */
+export {};
+//# sourceMappingURL=EntityConfig.js.map

package/dist/internal/EntityConfig.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"EntityConfig.js","sourceRoot":"","sources":["../../src/internal/EntityConfig.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}

package/dist/internal/EntitySchemas.d.ts

@@ -0,0 +1,198 @@
+/**
+ * @internal Entity schema building — derived schemas and system field resolution.
+ *
+ * Extracted from Entity.ts for decomposition. Not part of the public API.
+ */
+import { Schema } from "effect";
+import { type DynamoEncoding } from "../DynamoModel.js";
+import type { IndexDefinition } from "../KeyComposer.js";
+import type { TimeSeriesConfig, TimestampsConfig, UniqueConstraintDef, VersionedConfig } from "./EntityConfig.js";
+import { getSchemaFields } from "./SchemaAccessors.js";
+export interface ResolvedSystemFields {
+    readonly createdAt: string | null;
+    readonly createdAtEncoding: DynamoEncoding | null;
+    /** True when the model declares a field whose name matches `createdAt`. */
+    readonly createdAtCollision: boolean;
+    readonly updatedAt: string | null;
+    readonly updatedAtEncoding: DynamoEncoding | null;
+    /** True when the model declares a field whose name matches `updatedAt`. */
+    readonly updatedAtCollision: boolean;
+    readonly version: string | null;
+    /** True when the model declares a field whose name matches `version`. */
+    readonly versionCollision: boolean;
+}
+/**
+ * Minimal shape of the `attributes` record on a ConfiguredModel — we only need
+ * `encoding` here. Declared locally to avoid importing ConfiguredModel types.
+ */
+export type ConfiguredAttributeEncodings = globalThis.Record<string, {
+    readonly encoding?: DynamoEncoding;
+}>;
+/**
+ * Resolve the effective DynamoEncoding for a model-declared field, applying
+ * ConfiguredModel storage overrides on top of schema-level annotations.
+ *
+ * Precedence: schema annotation (getEncoding) > inferred default (Effect date
+ * schemas) > none. ConfiguredModel `storedAs` then overrides storage only,
+ * preserving the domain from the schema side when present.
+ *
+ * Returns `null` if the field is not a date-compatible schema.
+ */
+export declare const resolveFieldEncoding: (fieldSchema: Schema.Top, override: DynamoEncoding | undefined) => DynamoEncoding | null;
+/**
+ * Build the field → DynamoEncoding map for a set of model fields, merging
+ * ConfiguredModel storage overrides. Used at `Entity.make()` time.
+ */
+export declare const buildFieldEncodings: (modelFields: SchemaFields, configuredAttributes: ConfiguredAttributeEncodings) => globalThis.Record<string, DynamoEncoding>;
+export declare const resolveSystemFields: (timestamps?: TimestampsConfig | undefined, versioned?: VersionedConfig | undefined, timeSeries?: TimeSeriesConfig<any> | undefined, modelFields?: SchemaFields, configuredAttributes?: ConfiguredAttributeEncodings) => ResolvedSystemFields;
+export declare const primaryKeyComposites: (indexes: globalThis.Record<string, IndexDefinition>) => ReadonlyArray<string>;
+export declare const allKeyFieldNames: (indexes: globalThis.Record<string, IndexDefinition>) => ReadonlyArray<string>;
+export declare const allCompositeAttributes: (indexes: globalThis.Record<string, IndexDefinition>) => ReadonlyArray<string>;
+export type SchemaFields = globalThis.Record<string, Schema.Top>;
+/**
+ * Re-export of the shared typed `.fields` accessor (returns `undefined` for
+ * non-Struct/Class schemas). Use this when the call site has its own
+ * fallback/error handling; use {@link getFields} when a missing `.fields` is a
+ * hard error.
+ */
+export { getSchemaFields };
+export declare const getFields: (model: Schema.Top) => SchemaFields;
+/**
+ * Infer a default DynamoEncoding for standard Effect date schemas that lack
+ * an explicit DynamoEncoding annotation. This enables Pattern B (pure model
+ * with Schema.DateTimeUtcFromString etc.) to work without explicit storedAs.
+ *
+ * Detection uses the typeConstructor annotation from Effect's schema AST.
+ */
+export declare const inferDefaultEncoding: (schema: Schema.Top) => DynamoEncoding | undefined;
+/**
+ * Returns true when the schema is a "self" schema — i.e. it carries no
+ * encoding transformation. Self schemas have `ast.encoding === undefined`.
+ *
+ * - `Schema.DateTimeUtc` — self
+ * - `Schema.DateTimeUtcFromString` — transform (encodes to string)
+ * - `Schema.RedactedFromValue(...)` — transform
+ * - any `.pipe(Schema.decodeTo(...))` chain — transform
+ */
+export declare const isSelfSchema: (schema: Schema.Top) => boolean;
+/**
+ * True if the schema is a self DateTime/Date schema that can have its storage
+ * configured via a DynamoEncoding annotation. Distinguished from a transform
+ * by `ast.encoding === undefined`.
+ */
+export declare const isSelfDateSchema: (schema: Schema.Top) => boolean;
+/**
+ * Returns true when the schema is a transform schema with a date typeConstructor
+ * (e.g. `Schema.DateTimeUtcFromString`, `DynamoModel.DateEpochSeconds`).
+ * Used to enforce the "transform owns the wire format" policy at Entity.make().
+ */
+export declare const isDateTransform: (schema: Schema.Top) => boolean;
+/**
+ * Build a bidirectional Schema for a given DynamoEncoding.
+ *
+ * The encoded side is `Schema.Any` so `decode` tolerates either:
+ * - the wire primitive (string / number) — the storage-shape input, OR
+ * - a domain value (`DateTime.Utc`, `Date`, etc.) — what users typically pass
+ *   into `entity.put({...})` and `.set({...})`.
+ *
+ * The `decode` direction always lifts to the domain type (DateTime.Utc /
+ * DateTime.Zoned / Date). The `encode` direction always produces the wire
+ * primitive. This makes both `Schema.encode(substituted)` and
+ * `Schema.decode(substituted)` work end-to-end regardless of whether the
+ * caller passed wire-form or domain-form.
+ *
+ * @internal
+ */
+export declare const buildDateTransform: (encoding: DynamoEncoding) => Schema.Top;
+/**
+ * Substitute model fields with bidirectional transforms where needed:
+ *
+ *  - Self date schemas with an effective encoding (annotation or override)
+ *    → tolerant date transform that accepts either wire form (string/number)
+ *    or domain form (DateTime / Date) on decode, and always produces the
+ *    configured wire primitive on encode.
+ *  - `Schema.RedactedFromValue(inner)` fields → tolerant Redacted transform
+ *    that accepts either form on decode and unwraps to wire primitive on
+ *    encode (Effect v4's `RedactedFromValue` forbids encoding by default;
+ *    our substitution makes the round-trip work for storage).
+ *
+ * Existing transform schemas (other than `RedactedFromValue`) are passed
+ * through unchanged — the user-declared transform IS the wire format.
+ *
+ * Schema.Class fields (and Schema.Class fields nested inside Schema.Array,
+ * Schema.optional, etc.) are NOT substituted here. Instead, callers run
+ * `decode → encode` against the substituted schema: `Schema.decode` is
+ * forgiving for Schema.Class (lifts plain objects to instances), and the
+ * tolerant date / Redacted substitutes make the decode pass accept both
+ * wire and domain values. The subsequent `Schema.encode` produces the
+ * canonical wire shape.
+ *
+ * @internal
+ */
+export declare const substituteSchemas: (modelFields: SchemaFields, fieldEncodings: globalThis.Record<string, DynamoEncoding>) => SchemaFields;
+/**
+ * Validate that no model field combines a transform schema with a storage
+ * override. The two configuration paths are mutually exclusive: either declare
+ * a self schema (`Schema.DateTimeUtc`) and let the annotation drive storage,
+ * OR declare a transform and own the wire format yourself — not both.
+ *
+ * Two override sources are checked:
+ *
+ *  1. `ConfiguredModel.storedAs` (configured attributes) — surfaces the
+ *     override via `configuredAttributes[name].encoding`.
+ *
+ *  2. `DynamoModel.storedAs(...)` modifier piped onto the field schema —
+ *     adds a `DynamoEncoding` annotation directly to the AST. We detect this
+ *     by checking whether the field-level annotation disagrees with the
+ *     transform's actual wire format (the `inferDefaultEncoding` of the
+ *     transform). For an unmodified transform (e.g. `DynamoModel.DateString`
+ *     with a matching ISO-string annotation), the two agree and the field is
+ *     accepted.
+ *
+ * Throws at `Entity.make()` time if the conflict is detected.
+ *
+ * @internal
+ */
+export declare const validateNoTransformOverride: (modelFields: SchemaFields, configuredAttributes: ConfiguredAttributeEncodings) => void;
+export interface DerivedSchemas {
+    /** Pure model fields schema (substituted — used for both validation and decode) */
+    readonly modelSchema: Schema.Codec<any>;
+    /** Model + system fields schema */
+    readonly recordSchema: Schema.Codec<any>;
+    /**
+     * Typed input schema — the public payload type users see. Ref-aware (ref
+     * fields swapped for ID fields). System-colliding `createdAt`/`updatedAt`
+     * are marked optional; `version` (if colliding) is stripped.
+     *
+     * Used both as the public type and as the runtime encode/decode schema.
+     */
+    readonly inputSchema: Schema.Codec<any>;
+    /** Input fields minus primary key composites — the common "create" payload */
+    readonly createSchema: Schema.Codec<any>;
+    /** Optional model fields minus keys and immutable */
+    readonly updateSchema: Schema.Codec<any>;
+    /** Primary key composites only */
+    readonly keySchema: Schema.Codec<any>;
+    /** Record + key attrs + __edd_e__ */
+    readonly itemSchema: Schema.Codec<any>;
+    /** Record fields + deletedAt for soft-deleted items */
+    readonly deletedRecordSchema: Schema.Codec<any>;
+    /**
+     * `appendInput` schema for `.append()` on time-series entities.
+     * `null` when the entity is not configured with `timeSeries`.
+     */
+    readonly appendInputSchema: Schema.Codec<any> | null;
+    /**
+     * Record schema for history/event items. Same shape as `recordSchema` minus
+     * `updatedAt` (time-series auto-suppresses it). `null` when the entity is
+     * not configured with `timeSeries`.
+     */
+    readonly historyRecordSchema: Schema.Codec<any> | null;
+}
+export declare const buildDerivedSchemas: (modelFields: SchemaFields, indexes: globalThis.Record<string, IndexDefinition>, systemFields: ResolvedSystemFields, resolvedRefs?: ReadonlyArray<{
+    readonly fieldName: string;
+    readonly idFieldName: string;
+    readonly identifierSchema: Schema.Top;
+}>, immutableFields?: ReadonlySet<string>, identifierField?: string | undefined, timeSeries?: TimeSeriesConfig<any> | undefined, fieldEncodings?: globalThis.Record<string, DynamoEncoding>, generatedIdField?: string | undefined) => DerivedSchemas;
+export declare const resolveUniqueFields: (def: UniqueConstraintDef) => ReadonlyArray<string>;
+//# sourceMappingURL=EntitySchemas.d.ts.map

package/dist/internal/EntitySchemas.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"EntitySchemas.d.ts","sourceRoot":"","sources":["../../src/internal/EntitySchemas.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,EAKL,MAAM,EAIP,MAAM,QAAQ,CAAA;AACf,OAAO,EAAE,KAAK,cAAc,EAAyB,MAAM,mBAAmB,CAAA;AAC9E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,mBAAmB,CAAA;AACxD,OAAO,KAAK,EACV,gBAAgB,EAEhB,gBAAgB,EAChB,mBAAmB,EAEnB,eAAe,EAChB,MAAM,mBAAmB,CAAA;AAC1B,OAAO,EAEL,eAAe,EAEhB,MAAM,sBAAsB,CAAA;AAM7B,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;IACjC,QAAQ,CAAC,iBAAiB,EAAE,cAAc,GAAG,IAAI,CAAA;IACjD,2EAA2E;IAC3E,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAA;IACpC,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;IACjC,QAAQ,CAAC,iBAAiB,EAAE,cAAc,GAAG,IAAI,CAAA;IACjD,2EAA2E;IAC3E,QAAQ,CAAC,kBAAkB,EAAE,OAAO,CAAA;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;IAC/B,yEAAyE;IACzE,QAAQ,CAAC,gBAAgB,EAAE,OAAO,CAAA;CACnC;AAED;;;GAGG;AACH,MAAM,MAAM,4BAA4B,GAAG,UAAU,CAAC,MAAM,CAC1D,MAAM,EACN;IAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,cAAc,CAAA;CAAE,CACvC,CAAA;AAED;;;;;;;;;GASG;AACH,eAAO,MAAM,oBAAoB,GAC/B,aAAa,MAAM,CAAC,GAAG,EACvB,UAAU,cAAc,GAAG,SAAS,KACnC,cAAc,GAAG,IAUnB,CAAA;AAED;;;GAGG;AACH,eAAO,MAAM,mBAAmB,GAC9B,aAAa,YAAY,EACzB,sBAAsB,4BAA4B,KACjD,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAO1C,CAAA;AA0BD,eAAO,MAAM,mBAAmB,GAC9B,aAAa,gBAAgB,GAAG,SAAS,EACzC,YAAY,eAAe,GAAG,SAAS,EACvC,aAAa,gBAAgB,CAAC,GAAG,CAAC,GAAG,SAAS,EAC9C,cAAa,YAAiB,EAC9B,uBAAsB,4BAAiC,KACtD,oBA4FF,CAAA;AAMD,eAAO,MAAM,oBAAoB,GAC/B,SAAS,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,KAClD,aAAa,CAAC,MAAM,CAOtB,CAAA;AAMD,eAAO,MAAM,gBAAgB,GAC3B,SAAS,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,KAClD,aAAa,CAAC,MAAM,CAUtB,CAAA;AAMD,eAAO,MAAM,sBAAsB,GACjC,SAAS,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,KAClD,aAAa,CAAC,MAAM,CAUtB,CAAA;AAMD,MAAM,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,CAAC,CAAA;AAEhE;;;;;GAKG;AACH,OAAO,EAAE,eAAe,EAAE,CAAA;AAE1B,eAAO,MAAM,SAAS,GAAI,OAAO,MAAM,CAAC,GAAG,KAAG,YAI7C,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,oBAAoB,GAAI,QAAQ,MAAM,CAAC,GAAG,KAAG,cAAc,GAAG,SAU1E,CAAA;AAMD;;;;;;;;GAQG;AACH,eAAO,MAAM,YAAY,GAAI,QAAQ,MAAM,CAAC,GAAG,KAAG,OAA4C,CAAA;AAE9F;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,MAAM,CAAC,GAAG,KAAG,OAKrD,CAAA;AAED;;;;GAIG;AACH,eAAO,MAAM,eAAe,GAAI,QAAQ,MAAM,CAAC,GAAG,KAAG,OAGpD,CAAA;AA8CD;;;;;;;;;;;;;;;GAeG;AACH,eAAO,MAAM,kBAAkB,GAAI,UAAU,cAAc,KAAG,MAAM,CAAC,GAuEpE,CAAA;AA2DD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,eAAO,MAAM,iBAAiB,GAC5B,aAAa,YAAY,EACzB,gBAAgB,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,KACxD,YA4BF,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,2BAA2B,GACtC,aAAa,YAAY,EACzB,sBAAsB,4BAA4B,KACjD,IA+BF,CAAA;AAkBD,MAAM,WAAW,cAAc;IAC7B,mFAAmF;IACnF,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACvC,mCAAmC;IACnC,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACxC;;;;;;OAMG;IACH,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACvC,8EAA8E;IAC9E,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACxC,qDAAqD;IACrD,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACxC,kCAAkC;IAClC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACrC,qCAAqC;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IACtC,uDAAuD;IACvD,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;IAC/C;;;OAGG;IACH,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,CAAA;IACpD;;;;OAIG;IACH,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,IAAI,CAAA;CACvD;AAED,eAAO,MAAM,mBAAmB,GAC9B,aAAa,YAAY,EACzB,SAAS,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,EACnD,cAAc,oBAAoB,EAClC,eAAc,aAAa,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC,GAAG,CAAA;CACtC,CAAM,EACP,kBAAiB,WAAW,CAAC,MAAM,CAAa,EAChD,kBAAiB,MAAM,GAAG,SAAqB,EAC/C,aAAY,gBAAgB,CAAC,GAAG,CAAC,GAAG,SAAqB,EACzD,iBAAgB,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,cAAc,CAAM,EAC9D,mBAAkB,MAAM,GAAG,SAAqB,KAC/C,cAqPF,CAAA;AAMD,eAAO,MAAM,mBAAmB,GAAI,KAAK,mBAAmB,KAAG,aAAa,CAAC,MAAM,CACF,CAAA"}