dyna-record 0.6.2 → 0.6.4

package/README.md

@@ -212,7 +212,7 @@ class Store extends MyTable {
 }
 ```
 
-- **Supported field types:** `"string"`, `"number"`, `"boolean"`, `"date"` (stored as ISO strings, exposed as `Date` objects), `"enum"` (via `values`), nested `"object"` (via `fields`), and `"array"` (via `items`)
+- **Supported field types:** `"string"`, `"number"`, `"boolean"`, `"date"` (stored as ISO strings, exposed as `Date` objects), `"enum"` (via `values`), nested `"object"` (via `fields`), `"array"` (via `items`), and `"discriminatedUnion"` (via `discriminator` + `variants`)
 - **Nullable fields:** Set `nullable: true` on individual non-object fields within the schema to make them optional
 - **Object attributes are never nullable:** DynamoDB cannot update nested document paths (e.g., `address.geo.lat`) if the parent object does not exist. To prevent this, `@ObjectAttribute` fields always exist as at least an empty object `{}`. Nested object fields within the schema are also never nullable. Non-object fields (primitives, enums, dates, arrays) can still be nullable.
 - **Alias support:** Use the `alias` option to map to a different DynamoDB attribute name
@@ -249,6 +249,48 @@ const schema = {
 
 The schema must be declared with `as const satisfies ObjectSchema` so TypeScript preserves the literal string values for type inference. At runtime, providing an invalid value (e.g., `status: "unknown"`) throws a `ValidationError`.
 
+##### Discriminated union fields
+
+Use `{ type: "discriminatedUnion", discriminator: "...", variants: { ... } }` to define a field that is a tagged union of object types. Each variant is an `ObjectSchema` keyed by its discriminator value. The discriminator key is automatically included in each variant's inferred type as a string literal.
+
+```typescript
+const drawingSchema = {
+  shape: {
+    type: "discriminatedUnion",
+    discriminator: "kind",
+    variants: {
+      circle: { radius: { type: "number" } },
+      square: { side: { type: "number" } }
+    }
+  }
+} as const satisfies ObjectSchema;
+
+@Entity
+class Drawing extends MyTable {
+  declare readonly type: "Drawing";
+
+  @ObjectAttribute({ alias: "Drawing", schema: drawingSchema })
+  public readonly drawing: InferObjectSchema<typeof drawingSchema>;
+}
+
+// TypeScript infers:
+// drawing.shape → { kind: "circle"; radius: number } | { kind: "square"; side: number }
+```
+
+Unlike nested `"object"` fields, discriminated union fields **can be nullable** (`nullable: true`) because they always use **full replacement** on update rather than document path expressions:
+
+```typescript
+// Replaces the entire shape field — no partial merge
+await Drawing.update("123", {
+  drawing: { shape: { kind: "square", side: 10 } }
+});
+```
+
+**Scoping constraints (initial release):**
+
+- Supported at the ObjectAttribute root level and as fields within an ObjectSchema
+- Not supported inside array items or nested inside other discriminated unions
+
 ### Foreign Keys
 
 Define foreign keys in order to support [@BelongsTo](https://docs.dyna-record.com/functions/BelongsTo.html) relationships. A foreign key is required for [@HasOne](https://docs.dyna-record.com/functions/HasOne.html) and [@HasMany](https://docs.dyna-record.com/functions/HasMany.html) relationships.
@@ -671,6 +713,7 @@ The type system validates:
 - **Filter attribute keys**: Only attributes that exist on the entity or its related entities are accepted. Relationship property names, partition keys, and sort keys are excluded.
 - **`type` field values**: The `type` field only accepts entity names from the partition — the entity itself and its declared relationships. Entities from other tables or unrelated entities on the same table are rejected.
 - **Sort key values**: Both `skCondition` and the `sk` property in key conditions only accept entity names from the partition. This matches dyna-record's single-table design where sort key values always start with an entity class name.
+- **SK-scoped filters**: When `skCondition` narrows to specific entities, the `filter` parameter is scoped to only those entities' attributes. For example, `skCondition: { $beginsWith: "Order" }` restricts the filter to Order's attributes — using `lastFour` (a PaymentMethod attribute) produces a compile error.
 - **`type` narrowing in `$or`**: Each `$or` element is independently narrowed. When an `$or` block specifies `type: "Order"`, only Order's attributes are allowed in that block.
 - **Dot-path keys**: Nested `@ObjectAttribute` fields are available as typed filter keys using dot notation (e.g., `"address.city"`).
 
@@ -798,7 +841,73 @@ const specific = await Customer.query("123", { skCondition: "Order#123" });
 // specific is QueryResults<Customer> (full union)
 ```
 
-When using the object key form (`{ pk: "...", sk: "..." }`), sort key values are **validated** but the return type is **not narrowed**. Use `filter: { type: "Order" }` alongside key conditions for return type narrowing:
+##### `$beginsWith` prefix matching
+
+`$beginsWith` also accepts partial entity name prefixes that match multiple entity types. When a prefix matches more than one entity name, the return type and filter are scoped to the union of all matching entities:
+
+```typescript
+// "C" matches both "Customer" and "ContactInformation"
+const results = await Customer.query("123", {
+  skCondition: { $beginsWith: "C" }
+});
+// results is Array<EntityAttributesInstance<Customer> | EntityAttributesInstance<ContactInformation>>
+
+// When one entity name is a prefix of another (e.g., PaymentMethod / PaymentMethodProvider):
+const results = await PaymentMethod.query("123", {
+  skCondition: { $beginsWith: "PaymentMethod" }
+});
+// results includes both PaymentMethod and PaymentMethodProvider
+
+// Longer prefix narrows further
+const results = await PaymentMethod.query("123", {
+  skCondition: { $beginsWith: "PaymentMethodP" }
+});
+// results is Array<EntityAttributesInstance<PaymentMethodProvider>>
+
+// Prefixes that don't match any entity name are rejected
+await Customer.query("123", {
+  skCondition: { $beginsWith: "X" } // Compile error
+});
+```
+
+##### SK-scoped filter validation
+
+When `skCondition` narrows to specific entities, the `filter` parameter is automatically scoped to only those entities' attributes. This prevents filtering on attributes from entities that can't appear in the results:
+
+```typescript
+// SK narrows to Order — filter accepts only Order attributes (+ default fields)
+await Customer.query("123", {
+  skCondition: { $beginsWith: "Order" },
+  filter: { orderDate: "2023", customerId: "c1" } // OK: both are Order attributes
+});
+
+// Error: lastFour is a PaymentMethod attribute, not available when SK scopes to Order
+await Customer.query("123", {
+  skCondition: { $beginsWith: "Order" },
+  filter: { lastFour: "1234" } // Compile error
+});
+
+// $or blocks are also scoped by SK
+await Customer.query("123", {
+  skCondition: { $beginsWith: "Order" },
+  filter: {
+    $or: [
+      { type: "Order", orderDate: "2023" }, // OK
+      { type: "PaymentMethod", lastFour: "1234" } // Compile error: PaymentMethod outside SK scope
+    ]
+  }
+});
+
+// When $beginsWith matches multiple entities, filter accepts attributes from all matches
+await Customer.query("123", {
+  skCondition: { $beginsWith: "C" }, // matches Customer and ContactInformation
+  filter: { name: "John", email: "j@test.com" } // OK: name is on Customer, email on ContactInformation
+});
+```
+
+##### Object key form (`{ pk, sk }`)
+
+When using the object key form, sort key values are **validated** but the return type is **not narrowed**. Use `filter: { type: "Order" }` alongside key conditions for return type narrowing:
 
 ```typescript
 // sk is validated but does NOT narrow the return type
@@ -818,6 +927,8 @@ const orders = await Customer.query(
 > **Filter key narrowing:** When no `type` is specified, the return type automatically narrows based on which entities have the filtered attributes. For example, `filter: { orderDate: "2023" }` narrows to `Order` if only `Order` has `orderDate`. In `$or` blocks, each element narrows independently — by `type` if present, or by filter keys otherwise — and the return type is the union across all blocks.
 >
 > **AND intersection:** Since DynamoDB ANDs top-level filter conditions with `$or` blocks, the return type reflects this. When both top-level conditions and `$or` blocks independently narrow to specific entity sets, the return type is their intersection. If no entity satisfies both (e.g., `{ orderDate: "2023", $or: [{ lastFour: "1234" }] }` where `orderDate` is on `Order` and `lastFour` is on `PaymentMethod`), the return type is `never[]` — correctly indicating that no records can match.
+>
+> **SK intersection:** `skCondition` is always intersected with filter-based narrowing because it is a DynamoDB key condition that physically limits which items are scanned. When both `skCondition` and a filter narrow to different entity sets, the return type is their intersection.
 
 ### Querying on an index
 
@@ -921,6 +1032,15 @@ await Store.update("123", {
 });
 ```
 
+**Discriminated unions** within objects are also **full replacement** (not merged):
+
+```typescript
+// Replaces the entire shape — switches from circle to square
+await Drawing.update("123", {
+  drawing: { shape: { kind: "square", side: 10 } }
+});
+```
+
 The instance `update` method returns a deep-merged result, preserving existing fields:
 
 ```typescript

package/dist/src/DynaRecord.d.ts

@@ -1,5 +1,5 @@
 import { type TableMetadata } from "./metadata";
-import { type FindByIdOptions, type FindByIdIncludesRes, type EntityKeyConditions, type QueryResults, Create, type CreateOptions, type UpdateOptions, type EntityAttributesInstance, type IncludedAssociations, type IndexKeyConditions, type OptionsWithoutIndex, type OptionsWithIndex, type TypedFilterParams, type TypedSortKeyCondition, type InferQueryResults } from "./operations";
+import { type FindByIdOptions, type FindByIdIncludesRes, type EntityKeyConditions, type QueryResults, Create, type CreateOptions, type UpdateOptions, type EntityAttributesInstance, type IncludedAssociations, type IndexKeyConditions, type OptionsWithoutIndex, type OptionsWithIndex, type TypedFilterParams, type TypedSortKeyCondition, type InferQueryResults, type SKScopedFilterParams } from "./operations";
 import type { DynamoTableItem, EntityClass, Optional } from "./types";
 interface DynaRecordBase {
     id: string;
@@ -93,13 +93,24 @@ declare abstract class DynaRecord implements DynaRecordBase {
      * sort key format where SK values always start with an entity class name. Unrelated entities
      * and entities from other tables are rejected at compile time.
      *
+     * **SK-scoped filter:** When `skCondition` narrows to specific entities, the `filter`
+     * parameter is scoped to only those entities' attributes. For example,
+     * `skCondition: { $beginsWith: "Order" }` restricts the filter to Order's attributes —
+     * using attributes from other entities (e.g., `lastFour` from PaymentMethod) produces a
+     * compile error.
+     *
+     * **`$beginsWith` prefix matching:** `$beginsWith` accepts partial entity name prefixes
+     * that match multiple entity types. For example, `$beginsWith: "Inv"` matches both
+     * "Invoice" and "Inventory". The return type and filter are scoped to the union of
+     * all matching entities.
+     *
      * **Return type narrowing:** The return type narrows automatically based on:
      * - Top-level filter `type`: `type: "Order"` → `Array<EntityAttributesInstance<Order>>`
      * - Top-level filter `type` array: `type: ["Order", "PaymentMethod"]` → union of both
      * - Top-level filter keys: `{ orderDate: "2023" }` → narrows to entities that have `orderDate`
      * - `$or` elements: each block narrows by `type` (if present) or by filter keys; return type is the union
      * - AND intersection: when top-level conditions and `$or` both narrow, the return type is their intersection. Empty intersection → `never[]`.
-     * - `skCondition` option: `skCondition: "Order"` or `skCondition: { $beginsWith: "Order" }` → narrows to Order
+     * - `skCondition` option: always intersected with filter narrowing. `skCondition: "Order"` or `{ $beginsWith: "Order" }` → narrows to Order. `{ $beginsWith: "Inv" }` → narrows to all entities starting with "Inv".
      * - No type/keys/SK specified → union of T and all related entities (e.g., `Customer | Order | PaymentMethod | ContactInformation`)
      *
      * Note: When using the object key form (`{ pk: "...", sk: "Order" }`), the `sk` value is
@@ -108,20 +119,20 @@ declare abstract class DynaRecord implements DynaRecordBase {
      * return type narrowing.
      *
      * @template T - The entity type being queried.
-     * @template F - The inferred filter type, captured via `const` generic for literal type inference.
      * @template SK - The inferred sort key condition type, captured via `const` generic for literal type inference.
+     * @template F - The inferred filter type, captured via `const` generic. Constrained by {@link SKScopedFilterParams} — when SK narrows, only matched entities' attributes are accepted.
      * @param {string | EntityKeyConditions<T>} key - Entity Id (string) or an object with PartitionKey and optional SortKey conditions.
      * @param {Object=} options - QueryOptions. Supports typed filter, consistentRead and skCondition. indexName is not supported.
-     * @param {TypedFilterParams<T>=} options.filter - Typed filter conditions. Keys are validated against partition entity attributes. The `type` field accepts valid entity class names.
-     * @param {TypedSortKeyCondition<T>=} options.skCondition - Sort key condition. Only accepts valid entity names from the partition. Narrows the return type when matching an exact entity name.
-     * @returns A promise resolving to query results. The return type narrows based on the filter's `type` value or `skCondition`.
+     * @param {SKScopedFilterParams<T, SK>=} options.filter - Typed filter conditions. Keys are validated against partition entity attributes, scoped by `skCondition` when present. The `type` field accepts valid entity class names within the SK scope.
+     * @param {TypedSortKeyCondition<T>=} options.skCondition - Sort key condition. Accepts entity names, entity-name-prefixed strings, or `$beginsWith` with exact names or partial prefixes. Narrows the return type and scopes the filter to matched entities.
+     * @returns A promise resolving to query results. The return type narrows based on the filter's `type` value, filter keys, and `skCondition`.
      *
      * @example By entity ID
      * ```typescript
      * const results = await Customer.query("123");
      * ```
      *
-     * @example With skCondition (narrows return type to Order)
+     * @example With skCondition (narrows return type and scopes filter to Order)
      * ```typescript
      * const orders = await Customer.query("123", { skCondition: "Order" });
      * // orders is Array<EntityAttributesInstance<Order>>
@@ -133,12 +144,21 @@ declare abstract class DynaRecord implements DynaRecordBase {
      * // orders is Array<EntityAttributesInstance<Order>>
      * ```
      *
-     * @example With typed filter (narrows return type)
+     * @example $beginsWith prefix matching multiple entities
+     * ```typescript
+     * const results = await Customer.query("123", { skCondition: { $beginsWith: "C" } });
+     * // results includes Customer and ContactInformation (both start with "C")
+     * // filter accepts attributes from both entities
+     * ```
+     *
+     * @example SK-scoped filter (only Order attributes accepted)
      * ```typescript
      * const orders = await Customer.query("123", {
+     *   skCondition: { $beginsWith: "Order" },
      *   filter: { type: "Order", orderDate: "2023-01-01" }
      * });
      * // orders is Array<EntityAttributesInstance<Order>>
+     * // filter: { lastFour: "1234" } would be a compile error (PaymentMethod attribute)
      * ```
      *
      * @example By primary key (sk validated, return type NOT narrowed)
@@ -161,7 +181,7 @@ declare abstract class DynaRecord implements DynaRecordBase {
      * const results = await Customer.query("123", { consistentRead: true });
      * ```
      */
-    static query<T extends DynaRecord, const F extends TypedFilterParams<T> = TypedFilterParams<T>, const SK extends TypedSortKeyCondition<T> = TypedSortKeyCondition<T>>(this: EntityClass<T>, key: string, options?: OptionsWithoutIndex<T> & {
+    static query<T extends DynaRecord, const SK extends TypedSortKeyCondition<T> = TypedSortKeyCondition<T>, const F extends SKScopedFilterParams<T, SK> = SKScopedFilterParams<T, SK>>(this: EntityClass<T>, key: string, options?: OptionsWithoutIndex<T, SK> & {
         filter?: F;
         skCondition?: SK;
     }): Promise<InferQueryResults<T, F, SK>>;

package/dist/src/DynaRecord.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"DynaRecord.d.ts","sourceRoot":"","sources":["../../src/DynaRecord.ts"],"names":[],"mappings":"AAAA,OAAiB,EAAsB,KAAK,aAAa,EAAE,MAAM,YAAY,CAAC;AAE9E,OAAO,EAEL,KAAK,eAAe,EACpB,KAAK,mBAAmB,EAExB,KAAK,mBAAmB,EACxB,KAAK,YAAY,EACjB,MAAM,EACN,KAAK,aAAa,EAElB,KAAK,aAAa,EAGlB,KAAK,wBAAwB,EAC7B,KAAK,oBAAoB,EACzB,KAAK,kBAAkB,EACvB,KAAK,mBAAmB,EACxB,KAAK,gBAAgB,EAErB,KAAK,iBAAiB,EACtB,KAAK,qBAAqB,EAC1B,KAAK,iBAAiB,EACvB,MAAM,cAAc,CAAC;AAEtB,OAAO,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAGtE,UAAU,cAAc;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,IAAI,CAAC;IAChB,SAAS,EAAE,IAAI,CAAC;CACjB;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,uBAAe,UAAW,YAAW,cAAc;IACjD;;OAEG;IACH,SACgB,EAAE,EAAE,MAAM,CAAC;IAE3B;;;;;;OAMG;IACH,SACgB,IAAI,EAAE,MAAM,CAAC;IAE7B;;OAEG;IACH,SACgB,SAAS,EAAE,IAAI,CAAC;IAEhC;;OAEG;IACH,SACgB,SAAS,EAAE,IAAI,CAAC;IAEhC;;;;;;;;;;;;;;;;;;;;;;OAsBG;WAEiB,QAAQ,CAAC,CAAC,SAAS,UAAU,EAC/C,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EACpB,EAAE,EAAE,MAAM,EACV,OAAO,CAAC,EAAE,SAAS,GAClB,OAAO,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAAC;WAG7B,QAAQ,CAC1B,CAAC,SAAS,UAAU,EACpB,GAAG,SAAS,oBAAoB,CAAC,CAAC,CAAC,GAAG,EAAE,EAExC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EACpB,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,GAC/B,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAgBjD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAmFG;WAEiB,KAAK,CACvB,CAAC,SAAS,UAAU,EACpB,KAAK,CAAC,CAAC,SAAS,iBAAiB,CAAC,CAAC,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,EAC3D,KAAK,CAAC,EAAE,SAAS,qBAAqB,CAAC,CAAC,CAAC,GAAG,qBAAqB,CAAC,CAAC,CAAC,EAEpE,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EACpB,GAAG,EAAE,MAAM,EACX,OAAO,CAAC,EAAE,mBAAmB,CAAC,CAAC,CAAC,GAAG;QACjC,MAAM,CAAC,EAAE,CAAC,CAAC;QACX,WAAW,CAAC,EAAE,EAAE,CAAC;KAClB,GACA,OAAO,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;WAGnB,KAAK,CACvB,CAAC,SAAS,UAAU,EACpB,KAAK,CAAC,CAAC,SAAS,iBAAiB,CAAC,CAAC,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,EAE3D,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EACpB,GAAG,EAAE,mBAAmB,CAAC,CAAC,CAAC,EAC3B,OAAO,CAAC,EAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,GAAG;QAAE,MAAM,CAAC,EAAE,CAAC,CAAA;KAAE,GACrE,OAAO,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEnC;;;;;;;;;;;;;;;OAeG;WACiB,KAAK,CAAC,CAAC,SAAS,UAAU,EAC5C,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EACpB,GAAG,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAC1B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAW3B;;;;;;;;;;;;;;;;;;OAkBG;WACiB,MAAM,CAAC,CAAC,SAAS,UAAU,EAC7C,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EACpB,UAAU,EAAE,aAAa,CAAC,CAAC,CAAC,EAC5B,OAAO,CAAC,EAAE;QAAE,yBAAyB,CAAC,EAAE,OAAO,CAAA;KAAE,GAChD,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAKxC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAiCG;WACiB,MAAM,CAAC,CAAC,SAAS,UAAU,EAC7C,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EACpB,EAAE,EAAE,MAAM,EACV,UAAU,EAAE,aAAa,CAAC,CAAC,CAAC,EAC5B,OAAO,CAAC,EAAE;QAAE,yBAAyB,CAAC,EAAE,OAAO,CAAA;KAAE,GAChD,OAAO,CAAC,IAAI,CAAC;IAKhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+BG;IACU,MAAM,CAAC,CAAC,SAAS,IAAI,EAChC,UAAU,EAAE,aAAa,CAAC,CAAC,CAAC,EAC5B,OAAO,CAAC,EAAE;QAAE,yBAAyB,CAAC,EAAE,OAAO,CAAA;KAAE,GAChD,OAAO,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC;IAuBvC;;;;;;;;;;OAUG;WACiB,MAAM,CAAC,CAAC,SAAS,UAAU,EAC7C,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EACpB,EAAE,EAAE,MAAM,GACT,OAAO,CAAC,IAAI,CAAC;IAKhB;;;;;;;;;OASG;WACW,iBAAiB,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM;IAKnD;;OAEG;WACW,iBAAiB,CAAC,CAAC,SAAS,UAAU,EAClD,IAAI,EAAE,UAAU,CAAC,EACjB,SAAS,EAAE,eAAe,GACzB,wBAAwB,CAAC,CAAC,CAAC;IAW9B;;;OAGG;IACI,iBAAiB,IAAI,MAAM;IAIlC;;;;;;;;;;;;OAYG;WACW,QAAQ,IAAI,UAAU,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;CAK9D;AAED,eAAe,UAAU,CAAC"}
+{"version":3,"file":"DynaRecord.d.ts","sourceRoot":"","sources":["../../src/DynaRecord.ts"],"names":[],"mappings":"AAAA,OAAiB,EAAsB,KAAK,aAAa,EAAE,MAAM,YAAY,CAAC;AAE9E,OAAO,EAEL,KAAK,eAAe,EACpB,KAAK,mBAAmB,EAExB,KAAK,mBAAmB,EACxB,KAAK,YAAY,EACjB,MAAM,EACN,KAAK,aAAa,EAElB,KAAK,aAAa,EAGlB,KAAK,wBAAwB,EAC7B,KAAK,oBAAoB,EACzB,KAAK,kBAAkB,EACvB,KAAK,mBAAmB,EACxB,KAAK,gBAAgB,EAErB,KAAK,iBAAiB,EACtB,KAAK,qBAAqB,EAC1B,KAAK,iBAAiB,EACtB,KAAK,oBAAoB,EAC1B,MAAM,cAAc,CAAC;AAEtB,OAAO,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAGtE,UAAU,cAAc;IACtB,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,IAAI,CAAC;IAChB,SAAS,EAAE,IAAI,CAAC;CACjB;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,uBAAe,UAAW,YAAW,cAAc;IACjD;;OAEG;IACH,SACgB,EAAE,EAAE,MAAM,CAAC;IAE3B;;;;;;OAMG;IACH,SACgB,IAAI,EAAE,MAAM,CAAC;IAE7B;;OAEG;IACH,SACgB,SAAS,EAAE,IAAI,CAAC;IAEhC;;OAEG;IACH,SACgB,SAAS,EAAE,IAAI,CAAC;IAEhC;;;;;;;;;;;;;;;;;;;;;;OAsBG;WAEiB,QAAQ,CAAC,CAAC,SAAS,UAAU,EAC/C,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EACpB,EAAE,EAAE,MAAM,EACV,OAAO,CAAC,EAAE,SAAS,GAClB,OAAO,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC,CAAC;WAG7B,QAAQ,CAC1B,CAAC,SAAS,UAAU,EACpB,GAAG,SAAS,oBAAoB,CAAC,CAAC,CAAC,GAAG,EAAE,EAExC,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EACpB,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,GAC/B,OAAO,CAAC,QAAQ,CAAC,mBAAmB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC;IAgBjD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAuGG;WAEiB,KAAK,CACvB,CAAC,SAAS,UAAU,EACpB,KAAK,CAAC,EAAE,SAAS,qBAAqB,CAAC,CAAC,CAAC,GAAG,qBAAqB,CAAC,CAAC,CAAC,EACpE,KAAK,CAAC,CAAC,SAAS,oBAAoB,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,oBAAoB,CAAC,CAAC,EAAE,EAAE,CAAC,EAEzE,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EACpB,GAAG,EAAE,MAAM,EACX,OAAO,CAAC,EAAE,mBAAmB,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;QACrC,MAAM,CAAC,EAAE,CAAC,CAAC;QACX,WAAW,CAAC,EAAE,EAAE,CAAC;KAClB,GACA,OAAO,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;WAGnB,KAAK,CACvB,CAAC,SAAS,UAAU,EACpB,KAAK,CAAC,CAAC,SAAS,iBAAiB,CAAC,CAAC,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,EAE3D,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EACpB,GAAG,EAAE,mBAAmB,CAAC,CAAC,CAAC,EAC3B,OAAO,CAAC,EAAE,IAAI,CAAC,mBAAmB,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,GAAG;QAAE,MAAM,CAAC,EAAE,CAAC,CAAA;KAAE,GACrE,OAAO,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAEnC;;;;;;;;;;;;;;;OAeG;WACiB,KAAK,CAAC,CAAC,SAAS,UAAU,EAC5C,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EACpB,GAAG,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAC1B,OAAO,EAAE,gBAAgB,GACxB,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IAW3B;;;;;;;;;;;;;;;;;;OAkBG;WACiB,MAAM,CAAC,CAAC,SAAS,UAAU,EAC7C,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EACpB,UAAU,EAAE,aAAa,CAAC,CAAC,CAAC,EAC5B,OAAO,CAAC,EAAE;QAAE,yBAAyB,CAAC,EAAE,OAAO,CAAA;KAAE,GAChD,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAKxC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAiCG;WACiB,MAAM,CAAC,CAAC,SAAS,UAAU,EAC7C,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EACpB,EAAE,EAAE,MAAM,EACV,UAAU,EAAE,aAAa,CAAC,CAAC,CAAC,EAC5B,OAAO,CAAC,EAAE;QAAE,yBAAyB,CAAC,EAAE,OAAO,CAAA;KAAE,GAChD,OAAO,CAAC,IAAI,CAAC;IAKhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA+BG;IACU,MAAM,CAAC,CAAC,SAAS,IAAI,EAChC,UAAU,EAAE,aAAa,CAAC,CAAC,CAAC,EAC5B,OAAO,CAAC,EAAE;QAAE,yBAAyB,CAAC,EAAE,OAAO,CAAA;KAAE,GAChD,OAAO,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC;IAuBvC;;;;;;;;;;OAUG;WACiB,MAAM,CAAC,CAAC,SAAS,UAAU,EAC7C,IAAI,EAAE,WAAW,CAAC,CAAC,CAAC,EACpB,EAAE,EAAE,MAAM,GACT,OAAO,CAAC,IAAI,CAAC;IAKhB;;;;;;;;;OASG;WACW,iBAAiB,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM;IAKnD;;OAEG;WACW,iBAAiB,CAAC,CAAC,SAAS,UAAU,EAClD,IAAI,EAAE,UAAU,CAAC,EACjB,SAAS,EAAE,eAAe,GACzB,wBAAwB,CAAC,CAAC,CAAC;IAW9B;;;OAGG;IACI,iBAAiB,IAAI,MAAM;IAIlC;;;;;;;;;;;;OAYG;WACW,QAAQ,IAAI,UAAU,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC;CAK9D;AAED,eAAe,UAAU,CAAC"}

package/dist/src/decorators/attributes/ObjectAttribute.d.ts

@@ -10,7 +10,7 @@ import type { ObjectSchema, InferObjectSchema } from "./types";
  * `ValidationException: The document path provided in the update expression is invalid for update`.
  * To avoid this, `@ObjectAttribute` fields always exist as at least an empty object `{}`.
  *
- * The schema supports all {@link FieldDef} types: primitives, enums, nested objects, and arrays.
+ * The schema supports all {@link FieldDef} types: primitives, enums, nested objects, arrays, and discriminated unions.
  * Non-object fields within the schema may still be nullable.
  *
  * @template S The specific ObjectSchema type used for type inference
@@ -47,6 +47,7 @@ export interface ObjectAttributeOptions<S extends ObjectSchema> extends NonNullA
  * - `"date"` — dates stored as ISO strings (support `nullable: true`)
  * - `"object"` — nested objects, arbitrarily deep (**never nullable**)
  * - `"array"` — lists of any field type (support `nullable: true`, full replacement on update)
+ * - `"discriminatedUnion"` — tagged unions via `discriminator` + `variants` (support `nullable: true`, full replacement on update)
  *
  * Objects within arrays are not subject to the document path limitation because arrays
  * use full replacement on update. Partial updates of individual objects within arrays
@@ -102,6 +103,10 @@ export interface ObjectAttributeOptions<S extends ObjectSchema> extends NonNullA
  * await MyEntity.update("id", { address: { zip: null } });
  * ```
  *
+ * **Discriminated union fields** always use **full replacement** on update — the user
+ * must provide a complete variant object. See {@link DiscriminatedUnionFieldDef} for
+ * the rationale.
+ *
  * Object attributes support filtering in queries using dot-path notation for nested fields
  * and the {@link ContainsFilter | $contains} operator for List membership checks.
  *

package/dist/src/decorators/attributes/ObjectAttribute.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ObjectAttribute.d.ts","sourceRoot":"","sources":["../../../../src/decorators/attributes/ObjectAttribute.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,UAAU,MAAM,kBAAkB,CAAC;AAE/C,OAAO,KAAK,EACV,yBAAyB,EACzB,uBAAuB,EACxB,MAAM,UAAU,CAAC;AAClB,OAAO,KAAK,EAAE,YAAY,EAAE,iBAAiB,EAAY,MAAM,SAAS,CAAC;AAGzE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,WAAW,sBAAsB,CAAC,CAAC,SAAS,YAAY,CAC5D,SAAQ,uBAAuB;IAC/B;;;;OAIG;IACH,MAAM,EAAE,CAAC,CAAC;CACX;AA6GD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqFG;AACH,iBAAS,eAAe,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,CAAC,CAAC,SAAS,YAAY,EACzE,KAAK,EAAE,sBAAsB,CAAC,CAAC,CAAC,YAGtB,SAAS,WACR,yBAAyB,CAChC,CAAC,EACD,iBAAiB,CAAC,CAAC,CAAC,EACpB,sBAAsB,CAAC,CAAC,CAAC,CAC1B,UAmBJ;AAED,eAAe,eAAe,CAAC"}
+{"version":3,"file":"ObjectAttribute.d.ts","sourceRoot":"","sources":["../../../../src/decorators/attributes/ObjectAttribute.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,UAAU,MAAM,kBAAkB,CAAC;AAE/C,OAAO,KAAK,EACV,yBAAyB,EACzB,uBAAuB,EACxB,MAAM,UAAU,CAAC;AAClB,OAAO,KAAK,EACV,YAAY,EACZ,iBAAiB,EAGlB,MAAM,SAAS,CAAC;AAGjB;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,WAAW,sBAAsB,CAAC,CAAC,SAAS,YAAY,CAC5D,SAAQ,uBAAuB;IAC/B;;;;OAIG;IACH,MAAM,EAAE,CAAC,CAAC;CACX;AAgKD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA0FG;AACH,iBAAS,eAAe,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,CAAC,CAAC,SAAS,YAAY,EACzE,KAAK,EAAE,sBAAsB,CAAC,CAAC,CAAC,YAGtB,SAAS,WACR,yBAAyB,CAChC,CAAC,EACD,iBAAiB,CAAC,CAAC,CAAC,EACpB,sBAAsB,CAAC,CAAC,CAAC,CAC1B,UAoBJ;AAED,eAAe,eAAe,CAAC"}

package/dist/src/decorators/attributes/ObjectAttribute.js

@@ -27,11 +27,17 @@ function objectSchemaToZodPartial(schema) {
  * Converts a single {@link FieldDef} to the corresponding partial Zod type.
  * Nested objects use partial schemas; all other types use the standard schema.
  * Object fields are never nullable — they always exist as at least `{}`.
+ * Discriminated union fields use the full schema (not partial) since they
+ * always use full replacement on update.
  */
 function fieldDefToZodPartial(fieldDef) {
     if (fieldDef.type === "object") {
         return objectSchemaToZodPartial(fieldDef.fields);
     }
+    if (fieldDef.type === "discriminatedUnion") {
+        // Discriminated unions use full replacement — same schema as create
+        return discriminatedUnionToZod(fieldDef);
+    }
     // For non-object fields, use the standard schema (includes nullable wrapping)
     return fieldDefToZod(fieldDef);
 }
@@ -48,12 +54,39 @@ function objectSchemaToZod(schema) {
     }
     return zod_1.z.object(shape);
 }
+/**
+ * Builds a Zod `discriminatedUnion` schema from a {@link DiscriminatedUnionFieldDef}.
+ *
+ * Each variant's ObjectSchema is converted to a `z.object()` and extended with a
+ * `z.literal()` for the discriminator key. The resulting schemas are wrapped in
+ * `z.discriminatedUnion()`.
+ *
+ * @param fieldDef The discriminated union field definition
+ * @returns A ZodType that validates discriminated union values
+ */
+function discriminatedUnionToZod(fieldDef) {
+    if (Object.keys(fieldDef.variants).length === 0) {
+        throw new Error("DiscriminatedUnionFieldDef requires at least one variant");
+    }
+    const variantSchemas = Object.entries(fieldDef.variants).map(([variantKey, variantObjectSchema]) => {
+        const variantZod = objectSchemaToZod(variantObjectSchema);
+        return variantZod.extend({
+            [fieldDef.discriminator]: zod_1.z.literal(variantKey)
+        });
+    });
+    let zodType = zod_1.z.discriminatedUnion(fieldDef.discriminator, variantSchemas);
+    if (fieldDef.nullable === true) {
+        zodType = zodType.optional().nullable();
+    }
+    return zodType;
+}
 /**
  * Converts a single {@link FieldDef} to the corresponding Zod type for runtime validation.
  *
  * Handles all field types:
  * - `"object"` → recursively builds a `z.object()` via {@link objectSchemaToZod}.
  *   Object fields are never nullable — DynamoDB requires them to exist for document path updates.
+ * - `"discriminatedUnion"` → `z.discriminatedUnion()` via {@link discriminatedUnionToZod}
  * - `"array"` → `z.array()` wrapping a recursive call for the `items` type
  * - `"string"` → `z.string()`
  * - `"number"` → `z.number()`
@@ -70,6 +103,10 @@ function fieldDefToZod(fieldDef) {
     if (fieldDef.type === "object") {
         return objectSchemaToZod(fieldDef.fields);
     }
+    // Discriminated union fields handle their own nullable wrapping
+    if (fieldDef.type === "discriminatedUnion") {
+        return discriminatedUnionToZod(fieldDef);
+    }
     let zodType;
     switch (fieldDef.type) {
         case "array":
@@ -118,6 +155,7 @@ function fieldDefToZod(fieldDef) {
  * - `"date"` — dates stored as ISO strings (support `nullable: true`)
  * - `"object"` — nested objects, arbitrarily deep (**never nullable**)
  * - `"array"` — lists of any field type (support `nullable: true`, full replacement on update)
+ * - `"discriminatedUnion"` — tagged unions via `discriminator` + `variants` (support `nullable: true`, full replacement on update)
  *
  * Objects within arrays are not subject to the document path limitation because arrays
  * use full replacement on update. Partial updates of individual objects within arrays
@@ -173,6 +211,10 @@ function fieldDefToZod(fieldDef) {
  * await MyEntity.update("id", { address: { zip: null } });
  * ```
  *
+ * **Discriminated union fields** always use **full replacement** on update — the user
+ * must provide a complete variant object. See {@link DiscriminatedUnionFieldDef} for
+ * the rationale.
+ *
  * Object attributes support filtering in queries using dot-path notation for nested fields
  * and the {@link ContainsFilter | $contains} operator for List membership checks.
  *
@@ -188,11 +230,12 @@ function fieldDefToZod(fieldDef) {
  */
 function ObjectAttribute(props) {
     return function (_value, context) {
+        // Fail fast: surface schema validation errors at class definition time.
+        const { schema, ...restProps } = props;
+        const zodSchema = objectSchemaToZod(schema);
+        const partialZodSchema = objectSchemaToZodPartial(schema);
+        const serializers = (0, serializers_1.createObjectSerializer)(schema);
         context.addInitializer(function () {
-            const { schema, ...restProps } = props;
-            const zodSchema = objectSchemaToZod(schema);
-            const partialZodSchema = objectSchemaToZodPartial(schema);
-            const serializers = (0, serializers_1.createObjectSerializer)(schema);
             metadata_1.default.addEntityAttribute(this.constructor.name, {
                 attributeName: context.name.toString(),
                 type: zodSchema,

package/dist/src/decorators/attributes/index.d.ts

@@ -10,5 +10,5 @@ export { default as IdAttribute } from "./IdAttribute";
 export { default as ObjectAttribute } from "./ObjectAttribute";
 export type { ObjectAttributeOptions } from "./ObjectAttribute";
 export * from "./serializers";
-export type { ObjectSchema, InferObjectSchema, FieldDef, PrimitiveFieldDef, ObjectFieldDef, ArrayFieldDef, EnumFieldDef, DateFieldDef } from "./types";
+export type { ObjectSchema, NonUnionObjectSchema, InferObjectSchema, InferDiscriminatedUnion, FieldDef, NonUnionFieldDef, PrimitiveFieldDef, ObjectFieldDef, ArrayFieldDef, EnumFieldDef, DateFieldDef, DiscriminatedUnionFieldDef } from "./types";
 //# sourceMappingURL=index.d.ts.map

package/dist/src/decorators/attributes/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/decorators/attributes/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,IAAI,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAC3E,OAAO,EAAE,OAAO,IAAI,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,OAAO,IAAI,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACvE,OAAO,EAAE,OAAO,IAAI,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EAAE,OAAO,IAAI,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,OAAO,IAAI,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,OAAO,IAAI,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,OAAO,IAAI,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EAAE,OAAO,IAAI,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAC/D,YAAY,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAChE,cAAc,eAAe,CAAC;AAC9B,YAAY,EACV,YAAY,EACZ,iBAAiB,EACjB,QAAQ,EACR,iBAAiB,EACjB,cAAc,EACd,aAAa,EACb,YAAY,EACZ,YAAY,EACb,MAAM,SAAS,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/decorators/attributes/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,IAAI,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAC3E,OAAO,EAAE,OAAO,IAAI,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,OAAO,IAAI,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AACvE,OAAO,EAAE,OAAO,IAAI,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EAAE,OAAO,IAAI,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,OAAO,IAAI,gBAAgB,EAAE,MAAM,oBAAoB,CAAC;AACjE,OAAO,EAAE,OAAO,IAAI,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EAAE,OAAO,IAAI,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAC3D,OAAO,EAAE,OAAO,IAAI,WAAW,EAAE,MAAM,eAAe,CAAC;AACvD,OAAO,EAAE,OAAO,IAAI,eAAe,EAAE,MAAM,mBAAmB,CAAC;AAC/D,YAAY,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAChE,cAAc,eAAe,CAAC;AAC9B,YAAY,EACV,YAAY,EACZ,oBAAoB,EACpB,iBAAiB,EACjB,uBAAuB,EACvB,QAAQ,EACR,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,aAAa,EACb,YAAY,EACZ,YAAY,EACZ,0BAA0B,EAC3B,MAAM,SAAS,CAAC"}

package/dist/src/decorators/attributes/serializers.d.ts

@@ -19,6 +19,8 @@ export declare const dateSerializer: {
  * - `"date"` fields are converted from `Date` objects to ISO 8601 strings.
  * - `"object"` fields recurse into their nested schema.
  * - `"array"` fields map each item through the same conversion.
+ * - `"discriminatedUnion"` fields look up the variant schema by discriminator value
+ *   and recurse into that variant's object schema, preserving the discriminator key.
  * - `null` and `undefined` values are stripped from the result so that nullable
  *   fields set to `null` are removed from the stored object rather than persisted
  *   as `null` in DynamoDB.
@@ -29,6 +31,21 @@ export declare const dateSerializer: {
  * @returns A new object suitable for DynamoDB storage
  */
 export declare function objectToTableItem(schema: ObjectSchema, value: Record<string, unknown>): Record<string, unknown>;
+/**
+ * Converts a single field value to its DynamoDB table representation based on
+ * the field definition.
+ *
+ * - `"date"` → ISO 8601 string
+ * - `"object"` → recursively converts via {@link objectToTableItem}
+ * - `"array"` → maps each item through the same conversion
+ * - `"discriminatedUnion"` → looks up the variant schema by discriminator value,
+ *   converts via {@link objectToTableItem}, and preserves the discriminator key
+ * - All other types pass through unchanged
+ *
+ * @param fieldDef The {@link FieldDef} describing the field's type
+ * @param val The entity-level value to convert
+ * @returns The DynamoDB-compatible value
+ */
 export declare function convertFieldToTableItem(fieldDef: FieldDef, val: unknown): unknown;
 /**
  * Recursively walks an {@link ObjectSchema} and converts a DynamoDB table item
@@ -37,6 +54,8 @@ export declare function convertFieldToTableItem(fieldDef: FieldDef, val: unknown
  * - `"date"` fields are converted from ISO 8601 strings to `Date` objects.
  * - `"object"` fields recurse into their nested schema.
  * - `"array"` fields map each item through the same conversion.
+ * - `"discriminatedUnion"` fields look up the variant schema by discriminator value
+ *   and recurse into that variant's object schema, preserving the discriminator key.
  * - `null` and `undefined` values are stripped from the result so that absent
  *   fields are represented as `undefined` (omitted) on the entity, consistent
  *   with root-level nullable attribute behaviour.

package/dist/src/decorators/attributes/serializers.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"serializers.d.ts","sourceRoot":"","sources":["../../../../src/decorators/attributes/serializers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AACtD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAExD;;;;;;GAMG;AACH,eAAO,MAAM,cAAc;6BACA,oBAAoB,KAAG,OAAO;4BAM/B,OAAO;CAEhC,CAAC;AAEF;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC7B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAUzB;AAED,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,QAAQ,EAClB,GAAG,EAAE,OAAO,GACX,OAAO,CAaT;AAED;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC7B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAUzB;AAiBD;;;;;;;;;;GAUG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,YAAY,GAAG,WAAW,CAOxE"}
+{"version":3,"file":"serializers.d.ts","sourceRoot":"","sources":["../../../../src/decorators/attributes/serializers.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AACnE,OAAO,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AACtD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAExD;;;;;;GAMG;AACH,eAAO,MAAM,cAAc;6BACA,oBAAoB,KAAG,OAAO;4BAM/B,OAAO;CAEhC,CAAC;AAuBF;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC7B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAUzB;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,uBAAuB,CACrC,QAAQ,EAAE,QAAQ,EAClB,GAAG,EAAE,OAAO,GACX,OAAO,CAqBT;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,YAAY,EACpB,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC7B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAUzB;AAgCD;;;;;;;;;;GAUG;AACH,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,YAAY,GAAG,WAAW,CAOxE"}

package/dist/src/decorators/attributes/serializers.js

@@ -21,6 +21,20 @@ exports.dateSerializer = {
     },
     toTableAttribute: (val) => val instanceof Date ? val.toISOString() : undefined
 };
+/**
+ * Resolves the variant schema for a discriminated union value by reading the
+ * discriminator key and looking up the corresponding variant in the field definition.
+ *
+ * Uses `Object.hasOwn` to guard against prototype property pollution — only
+ * own-enumerable variant keys are matched.
+ */
+function resolveVariantSchema(fieldDef, value) {
+    const discriminatorValue = value[fieldDef.discriminator];
+    if (!Object.hasOwn(fieldDef.variants, discriminatorValue)) {
+        return undefined;
+    }
+    return fieldDef.variants[discriminatorValue];
+}
 /**
  * Recursively walks an {@link ObjectSchema} and converts the entity value to its
  * DynamoDB representation.
@@ -28,6 +42,8 @@ exports.dateSerializer = {
  * - `"date"` fields are converted from `Date` objects to ISO 8601 strings.
  * - `"object"` fields recurse into their nested schema.
  * - `"array"` fields map each item through the same conversion.
+ * - `"discriminatedUnion"` fields look up the variant schema by discriminator value
+ *   and recurse into that variant's object schema, preserving the discriminator key.
  * - `null` and `undefined` values are stripped from the result so that nullable
  *   fields set to `null` are removed from the stored object rather than persisted
  *   as `null` in DynamoDB.
@@ -48,6 +64,21 @@ function objectToTableItem(schema, value) {
     }
     return result;
 }
+/**
+ * Converts a single field value to its DynamoDB table representation based on
+ * the field definition.
+ *
+ * - `"date"` → ISO 8601 string
+ * - `"object"` → recursively converts via {@link objectToTableItem}
+ * - `"array"` → maps each item through the same conversion
+ * - `"discriminatedUnion"` → looks up the variant schema by discriminator value,
+ *   converts via {@link objectToTableItem}, and preserves the discriminator key
+ * - All other types pass through unchanged
+ *
+ * @param fieldDef The {@link FieldDef} describing the field's type
+ * @param val The entity-level value to convert
+ * @returns The DynamoDB-compatible value
+ */
 function convertFieldToTableItem(fieldDef, val) {
     switch (fieldDef.type) {
         case "date":
@@ -56,6 +87,15 @@ function convertFieldToTableItem(fieldDef, val) {
             return objectToTableItem(fieldDef.fields, val);
         case "array":
             return val.map(item => convertFieldToTableItem(fieldDef.items, item));
+        case "discriminatedUnion": {
+            const value = val;
+            const variantSchema = resolveVariantSchema(fieldDef, value);
+            if (variantSchema === undefined)
+                return val;
+            const result = objectToTableItem(variantSchema, value);
+            result[fieldDef.discriminator] = value[fieldDef.discriminator];
+            return result;
+        }
         default:
             return val;
     }
@@ -67,6 +107,8 @@ function convertFieldToTableItem(fieldDef, val) {
  * - `"date"` fields are converted from ISO 8601 strings to `Date` objects.
  * - `"object"` fields recurse into their nested schema.
  * - `"array"` fields map each item through the same conversion.
+ * - `"discriminatedUnion"` fields look up the variant schema by discriminator value
+ *   and recurse into that variant's object schema, preserving the discriminator key.
  * - `null` and `undefined` values are stripped from the result so that absent
  *   fields are represented as `undefined` (omitted) on the entity, consistent
  *   with root-level nullable attribute behaviour.
@@ -87,6 +129,13 @@ function tableItemToObject(schema, value) {
     }
     return result;
 }
+/**
+ * Converts a single DynamoDB field value back to its entity representation.
+ *
+ * Mirrors {@link convertFieldToTableItem} in reverse: dates become `Date` objects,
+ * objects and discriminated unions recurse through their schemas, arrays map each item,
+ * and all other types pass through unchanged.
+ */
 function convertFieldToEntityValue(fieldDef, val) {
     switch (fieldDef.type) {
         case "date":
@@ -95,6 +144,15 @@ function convertFieldToEntityValue(fieldDef, val) {
             return tableItemToObject(fieldDef.fields, val);
         case "array":
             return val.map(item => convertFieldToEntityValue(fieldDef.items, item));
+        case "discriminatedUnion": {
+            const value = val;
+            const variantSchema = resolveVariantSchema(fieldDef, value);
+            if (variantSchema === undefined)
+                return val;
+            const result = tableItemToObject(variantSchema, value);
+            result[fieldDef.discriminator] = value[fieldDef.discriminator];
+            return result;
+        }
         default:
             return val;
     }

package/dist/src/decorators/attributes/types.d.ts

@@ -91,8 +91,13 @@ export interface ObjectFieldDef {
 export interface ArrayFieldDef {
     /** Must be `"array"` to indicate a list/array field. */
     type: "array";
-    /** A {@link FieldDef} describing the type of each array element. */
-    items: FieldDef;
+    /**
+     * A {@link NonUnionFieldDef} describing the type of each array element.
+     * Discriminated unions are not supported as array items because arrays use
+     * full replacement on update and the variant-aware serialization semantics
+     * are not defined for array item context.
+     */
+    items: NonUnionFieldDef;
     /** When `true`, the field becomes optional. */
     nullable?: boolean;
 }
@@ -171,6 +176,71 @@ export interface DateFieldDef {
     /** When `true`, the field becomes optional (`Date | undefined`). */
     nullable?: boolean;
 }
+/**
+ * A schema field definition for a discriminated union type.
+ *
+ * The `discriminator` names the key used to distinguish variants, and `variants`
+ * maps each discriminator value to an {@link ObjectSchema} describing that variant's
+ * fields. The discriminator key is automatically added to each variant's inferred type
+ * as a string literal.
+ *
+ * **Update semantics:** Discriminated union fields always use **full replacement** on
+ * update (`SET #field = :value`), never document path merging. This is because:
+ * - Different variants have different field sets — a partial document path update could
+ *   leave orphaned fields from a previous variant leaking through when variants change.
+ * - Avoiding orphaned fields without full replacement would require a read-before-write
+ *   to determine the current discriminator value.
+ * - This matches array update semantics (also full replacement).
+ *
+ * Unlike {@link ObjectFieldDef}, discriminated union fields **can be nullable** because
+ * they always use full replacement on update rather than document path expressions,
+ * so there is no risk of DynamoDB failing on a missing parent path.
+ *
+ * **Scoping constraints (initial release):**
+ * - Supported at the ObjectAttribute root level and as fields within an ObjectSchema
+ * - Not supported inside array items or nested inside other discriminated unions
+ *
+ * @example
+ * ```typescript
+ * const schema = {
+ *   shape: {
+ *     type: "discriminatedUnion",
+ *     discriminator: "kind",
+ *     variants: {
+ *       circle: { radius: { type: "number" } },
+ *       square: { side: { type: "number" } }
+ *     }
+ *   }
+ * } as const satisfies ObjectSchema;
+ *
+ * type T = InferObjectSchema<typeof schema>;
+ * // { shape: { kind: "circle"; radius: number } | { kind: "square"; side: number } }
+ * ```
+ */
+export interface DiscriminatedUnionFieldDef {
+    /** Must be `"discriminatedUnion"` to indicate a discriminated union field. */
+    type: "discriminatedUnion";
+    /** The key name used to discriminate between variants. */
+    discriminator: string;
+    /**
+     * A record mapping each discriminator value to a {@link NonUnionObjectSchema}
+     * describing that variant's fields (excluding the discriminator itself).
+     * Discriminated unions cannot be nested inside other discriminated unions.
+     */
+    variants: Readonly<Record<string, NonUnionObjectSchema>>;
+    /** When `true`, the field becomes optional (`T | undefined`). */
+    nullable?: boolean;
+}
+/**
+ * A field definition that excludes {@link DiscriminatedUnionFieldDef}.
+ *
+ * Used in contexts where discriminated unions are not allowed:
+ * - {@link ArrayFieldDef} `items` — arrays use full replacement and variant-aware
+ *   serialization is not defined for array item context
+ * - {@link DiscriminatedUnionFieldDef} `variants` — discriminated unions cannot
+ *   be nested inside other discriminated unions
+ */
+export type NonUnionFieldDef = PrimitiveFieldDef | DateFieldDef | ObjectFieldDef | ArrayFieldDef | EnumFieldDef;
 /**
  * A field definition within an {@link ObjectSchema}.
  *
@@ -180,10 +250,17 @@ export interface DateFieldDef {
  * - {@link ObjectFieldDef} — nested objects via `fields`
  * - {@link ArrayFieldDef} — arrays/lists via `items`
  * - {@link EnumFieldDef} — string literal enums via `values`
+ * - {@link DiscriminatedUnionFieldDef} — discriminated unions via `discriminator` + `variants`
  *
  * Each variant is discriminated by the `type` property.
  */
-export type FieldDef = PrimitiveFieldDef | DateFieldDef | ObjectFieldDef | ArrayFieldDef | EnumFieldDef;
+export type FieldDef = NonUnionFieldDef | DiscriminatedUnionFieldDef;
+/**
+ * ObjectSchema that excludes discriminated union fields.
+ * Used for {@link DiscriminatedUnionFieldDef} variant schemas where
+ * nested discriminated unions are not allowed.
+ */
+export type NonUnionObjectSchema = Record<string, NonUnionFieldDef>;
 /**
  * Declarative schema for describing the shape of an object attribute.
  *
@@ -205,18 +282,36 @@ export type FieldDef = PrimitiveFieldDef | DateFieldDef | ObjectFieldDef | Array
  * ```
  */
 export type ObjectSchema = Record<string, FieldDef>;
+/**
+ * Infers the TypeScript type of a {@link DiscriminatedUnionFieldDef}.
+ *
+ * Iterates over the variant keys and for each produces a union member that is
+ * `{ [discriminator]: VariantKey } & InferObjectSchema<VariantSchema>`.
+ *
+ * @example
+ * ```typescript
+ * // Given: discriminator: "kind", variants: { circle: { radius: { type: "number" } }, square: { side: { type: "number" } } }
+ * // Produces: { kind: "circle"; radius: number } | { kind: "square"; side: number }
+ * ```
+ */
+export type InferDiscriminatedUnion<F extends DiscriminatedUnionFieldDef> = {
+    [V in keyof F["variants"] & string]: {
+        [D in F["discriminator"]]: V;
+    } & InferObjectSchema<F["variants"][V]>;
+}[keyof F["variants"] & string];
 /**
  * Infers the TypeScript type of a single {@link FieldDef}.
  *
  * Used internally by {@link InferObjectSchema} and for recursive array item inference.
  *
  * Resolution order:
- * 1. {@link ArrayFieldDef} → `Array<InferFieldDef<items>>`
- * 2. {@link ObjectFieldDef} → `InferObjectSchema<fields>`
- * 3. {@link EnumFieldDef} → `values[number]` (string literal union)
- * 4. {@link PrimitiveFieldDef} → `PrimitiveTypeMap[type]`
+ * 1. {@link DiscriminatedUnionFieldDef} → `InferDiscriminatedUnion<F>`
+ * 2. {@link ArrayFieldDef} → `Array<InferFieldDef<items>>`
+ * 3. {@link ObjectFieldDef} → `InferObjectSchema<fields>`
+ * 4. {@link EnumFieldDef} → `values[number]` (string literal union)
+ * 5. {@link PrimitiveFieldDef} → `PrimitiveTypeMap[type]`
  */
-export type InferFieldDef<F extends FieldDef> = F extends ArrayFieldDef ? Array<InferFieldDef<F["items"]>> : F extends ObjectFieldDef ? InferObjectSchema<F["fields"]> : F extends EnumFieldDef ? F["values"][number] : F extends PrimitiveFieldDef ? PrimitiveTypeMap[F["type"]] : never;
+export type InferFieldDef<F extends FieldDef> = F extends DiscriminatedUnionFieldDef ? InferDiscriminatedUnion<F> : F extends ArrayFieldDef ? Array<InferFieldDef<F["items"]>> : F extends ObjectFieldDef ? InferObjectSchema<F["fields"]> : F extends EnumFieldDef ? F["values"][number] : F extends PrimitiveFieldDef ? PrimitiveTypeMap[F["type"]] : never;
 /**
  * Infers the TypeScript type from an {@link ObjectSchema} definition.
  *

package/dist/src/decorators/attributes/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/decorators/attributes/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG,MAAM,gBAAgB,CAAC;AAExD;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,iBAAiB;IAChC,mEAAmE;IACnE,IAAI,EAAE,kBAAkB,CAAC;IACzB,iEAAiE;IACjE,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,WAAW,cAAc;IAC7B,4DAA4D;IAC5D,IAAI,EAAE,QAAQ,CAAC;IACf,qEAAqE;IACrE,MAAM,EAAE,YAAY,CAAC;CACtB;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,aAAa;IAC5B,wDAAwD;IACxD,IAAI,EAAE,OAAO,CAAC;IACd,oEAAoE;IACpE,KAAK,EAAE,QAAQ,CAAC;IAChB,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AACH,MAAM,WAAW,YAAY;IAC3B,kDAAkD;IAClD,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;;OAOG;IACH,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IACvC,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,YAAY;IAC3B,iDAAiD;IACjD,IAAI,EAAE,MAAM,CAAC;IACb,oEAAoE;IACpE,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,QAAQ,GAChB,iBAAiB,GACjB,YAAY,GACZ,cAAc,GACd,aAAa,GACb,YAAY,CAAC;AAEjB;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAEpD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS,aAAa,GACnE,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAChC,CAAC,SAAS,cAAc,GACtB,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAC9B,CAAC,SAAS,YAAY,GACpB,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GACnB,CAAC,SAAS,iBAAiB,GACzB,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAC3B,KAAK,CAAC;AAEhB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,YAAY,IAAI;KACrD,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,GAAG,KAAK,GAAG,CAAC,GAAG,aAAa,CAC1E,CAAC,CAAC,CAAC,CAAC,CACL;CACF,GAAG;KACD,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,aAAa,CAC3E,CAAC,CAAC,CAAC,CAAC,CACL;CACF,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/decorators/attributes/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,gBAAgB;IAC/B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,IAAI,CAAC;CACZ;AAED;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG,MAAM,gBAAgB,CAAC;AAExD;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,iBAAiB;IAChC,mEAAmE;IACnE,IAAI,EAAE,kBAAkB,CAAC;IACzB,iEAAiE;IACjE,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,WAAW,cAAc;IAC7B,4DAA4D;IAC5D,IAAI,EAAE,QAAQ,CAAC;IACf,qEAAqE;IACrE,MAAM,EAAE,YAAY,CAAC;CACtB;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,aAAa;IAC5B,wDAAwD;IACxD,IAAI,EAAE,OAAO,CAAC;IACd;;;;;OAKG;IACH,KAAK,EAAE,gBAAgB,CAAC;IACxB,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAuCG;AACH,MAAM,WAAW,YAAY;IAC3B,kDAAkD;IAClD,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;;OAOG;IACH,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;IACvC,+CAA+C;IAC/C,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,WAAW,YAAY;IAC3B,iDAAiD;IACjD,IAAI,EAAE,MAAM,CAAC;IACb,oEAAoE;IACpE,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,MAAM,WAAW,0BAA0B;IACzC,8EAA8E;IAC9E,IAAI,EAAE,oBAAoB,CAAC;IAC3B,0DAA0D;IAC1D,aAAa,EAAE,MAAM,CAAC;IACtB;;;;OAIG;IACH,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC,CAAC;IACzD,iEAAiE;IACjE,QAAQ,CAAC,EAAE,OAAO,CAAC;CACpB;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,gBAAgB,GACxB,iBAAiB,GACjB,YAAY,GACZ,cAAc,GACd,aAAa,GACb,YAAY,CAAC;AAEjB;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,QAAQ,GAAG,gBAAgB,GAAG,0BAA0B,CAAC;AAErE;;;;GAIG;AACH,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;AAEpE;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAEpD;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,uBAAuB,CAAC,CAAC,SAAS,0BAA0B,IAAI;KACzE,CAAC,IAAI,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,MAAM,GAAG;SAClC,CAAC,IAAI,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC;KAC7B,GAAG,iBAAiB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;CACxC,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,MAAM,CAAC,CAAC;AAEhC;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,QAAQ,IAC1C,CAAC,SAAS,0BAA0B,GAChC,uBAAuB,CAAC,CAAC,CAAC,GAC1B,CAAC,SAAS,aAAa,GACrB,KAAK,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAChC,CAAC,SAAS,cAAc,GACtB,iBAAiB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,GAC9B,CAAC,SAAS,YAAY,GACpB,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,GACnB,CAAC,SAAS,iBAAiB,GACzB,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAC3B,KAAK,CAAC;AAEpB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,YAAY,IAAI;KACrD,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,GAAG,KAAK,GAAG,CAAC,GAAG,aAAa,CAC1E,CAAC,CAAC,CAAC,CAAC,CACL;CACF,GAAG;KACD,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,aAAa,CAC3E,CAAC,CAAC,CAAC,CAAC,CACL;CACF,CAAC"}

package/dist/src/index.d.ts

@@ -2,6 +2,6 @@ export * from "./decorators";
 export * from "./errors";
 export * from "./relationships";
 export * from "./dynamo-utils/errors";
-export type { EntityAttributesOnly, EntityAttributesInstance as EntityInstance, FindByIdIncludesRes, TypedFilterParams, TypedSortKeyCondition, InferQueryResults, PartitionEntityNames } from "./operations";
+export type { EntityAttributesOnly, EntityAttributesInstance as EntityInstance, FindByIdIncludesRes, TypedFilterParams, TypedSortKeyCondition, SKScopedFilterParams, InferQueryResults, PartitionEntityNames } from "./operations";
 export type { PartitionKey, SortKey, ForeignKey, NullableForeignKey } from "./types";
 //# sourceMappingURL=index.d.ts.map

package/dist/src/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC;AAC7B,cAAc,UAAU,CAAC;AACzB,cAAc,iBAAiB,CAAC;AAChC,cAAc,uBAAuB,CAAC;AAEtC,YAAY,EACV,oBAAoB,EACpB,wBAAwB,IAAI,cAAc,EAC1C,mBAAmB,EACnB,iBAAiB,EACjB,qBAAqB,EACrB,iBAAiB,EACjB,oBAAoB,EACrB,MAAM,cAAc,CAAC;AACtB,YAAY,EACV,YAAY,EACZ,OAAO,EACP,UAAU,EACV,kBAAkB,EACnB,MAAM,SAAS,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,cAAc,CAAC;AAC7B,cAAc,UAAU,CAAC;AACzB,cAAc,iBAAiB,CAAC;AAChC,cAAc,uBAAuB,CAAC;AAEtC,YAAY,EACV,oBAAoB,EACpB,wBAAwB,IAAI,cAAc,EAC1C,mBAAmB,EACnB,iBAAiB,EACjB,qBAAqB,EACrB,oBAAoB,EACpB,iBAAiB,EACjB,oBAAoB,EACrB,MAAM,cAAc,CAAC;AACtB,YAAY,EACV,YAAY,EACZ,OAAO,EACP,UAAU,EACV,kBAAkB,EACnB,MAAM,SAAS,CAAC"}

package/dist/src/operations/Query/types.d.ts

@@ -31,8 +31,8 @@ export type QueryOptions = QueryBuilderOptions & {
  * @template T - The entity type being queried. Defaults to `DynaRecord` for backward
  * compatibility in generic contexts.
  */
-export type OptionsWithoutIndex<T extends DynaRecord = DynaRecord> = Omit<QueryOptions, "indexName" | "filter" | "skCondition"> & {
-    filter?: TypedFilterParams<T>;
+export type OptionsWithoutIndex<T extends DynaRecord = DynaRecord, SK = unknown> = Omit<QueryOptions, "indexName" | "filter" | "skCondition"> & {
+    filter?: SKScopedFilterParams<T, SK>;
 };
 /**
  *  Options for querying on an index. Consistent reads are not allowed
@@ -135,11 +135,6 @@ export type PartitionEntities<T extends DynaRecord> = T | RelationshipEntities<T
  * Falls back to `string` if any entity lacks `declare readonly type`.
  */
 export type PartitionEntityNames<T extends DynaRecord> = PartitionEntities<T>["type"];
-/**
- * Union of EntityFilterableKeys<E> for each entity E in PartitionEntities<T>.
- * This is the full set of valid filter keys when no `type` narrowing is applied.
- */
-export type AllPartitionFilterableKeys<T extends DynaRecord> = PartitionEntities<T> extends infer E ? E extends DynaRecord ? EntityFilterableKeys<E> : never : never;
 /**
  * Maps a union of string keys to an optional FilterTypes record.
  * Shared helper for building filter records from key unions.
@@ -156,38 +151,56 @@ type FilterRecord<Keys extends string> = {
  */
 export type EntityFilterRecord<E extends DynaRecord> = FilterRecord<EntityFilterableKeys<E>>;
 /**
- * Filter record for all entities in a partition (union of all filter keys).
- *
- * @template T - The root entity whose partition defines the filter keys.
+ * Union of filterable keys across a set of entities (distributive).
  */
-type FullPartitionFilterRecord<T extends DynaRecord> = FilterRecord<AllPartitionFilterableKeys<T>>;
+type FilterableKeysFor<Entities extends DynaRecord> = Entities extends DynaRecord ? EntityFilterableKeys<Entities> : never;
 /**
- * Discriminated union enabling per-block `type` narrowing.
- * When type is a single string literal, only that entity's attributes are allowed.
- * When type is an array or absent, all partition attributes are allowed.
- * The `type` field is handled separately from other filter keys to enable narrowing.
+ * Discriminated union enabling per-block `type` narrowing, scoped to a set
+ * of entities. When type is a single string literal, only that entity's
+ * attributes are allowed. When type is an array or absent, all scoped
+ * entity attributes are allowed.
+ *
+ * @template Entities - The union of entity types whose attributes are accepted.
  */
-export type TypedAndFilter<T extends DynaRecord> = (PartitionEntities<T> extends infer E ? E extends DynaRecord ? {
+type AndFilterForEntities<Entities extends DynaRecord> = (Entities extends infer E extends DynaRecord ? {
     type: E["type"];
-} & EntityFilterRecord<E> : never : never) | ({
-    type: PartitionEntityNames<T>[];
-} & FullPartitionFilterRecord<T>) | ({
+} & EntityFilterRecord<E> : never) | ({
+    type: Entities["type"][];
+} & FilterRecord<FilterableKeysFor<Entities>>) | ({
     type?: never;
-} & FullPartitionFilterRecord<T>);
+} & FilterRecord<FilterableKeysFor<Entities>>);
 /**
- * Typed `$or` filter block for partition queries.
- * Each `$or` element is independently narrowed: when a block specifies
- * `type: "Order"`, only Order's attributes are accepted in that block.
- *
- * @template T - The root entity whose partition defines valid filter keys and type values.
+ * Typed `$or` filter scoped to a set of entities.
  */
-export type TypedOrFilter<T extends DynaRecord> = {
-    $or?: TypedAndFilter<T>[];
+type OrFilterForEntities<Entities extends DynaRecord> = {
+    $or?: AndFilterForEntities<Entities>[];
 };
 /**
- * Top-level filter combining AND and OR.
+ * Full filter params (AND + OR) scoped to a set of entities.
+ */
+type FilterParamsForEntities<Entities extends DynaRecord> = AndFilterForEntities<Entities> & OrFilterForEntities<Entities>;
+/**
+ * Top-level filter combining AND and OR for a full partition.
+ * Alias for {@link FilterParamsForEntities} applied to {@link PartitionEntities}.
+ */
+export type TypedFilterParams<T extends DynaRecord> = FilterParamsForEntities<PartitionEntities<T>>;
+/**
+ * Generates all non-empty prefixes of a string literal type.
+ * E.g. `Prefixes<"Order">` → `"O" | "Or" | "Ord" | "Orde" | "Order"`.
+ * Distributes over unions: `Prefixes<"A" | "B">` → prefixes of both.
+ *
+ * **Recursion limit:** This type recurses once per character. TypeScript's
+ * template literal recursion limit is ~24 characters per string. Entity class
+ * names should stay under this limit to avoid "Type instantiation is
+ * excessively deep" errors.
+ */
+type Prefixes<S extends string, Acc extends string = ""> = S extends `${infer Head}${infer Tail}` ? `${Acc}${Head}` | Prefixes<Tail, `${Acc}${Head}`> : never;
+/**
+ * Finds partition entity names that start with a given prefix string.
+ * E.g. if partition has "Invoice" and "Inventory", `EntityNamesStartingWith<T, "Inv">`
+ * returns `"Invoice" | "Inventory"`.
  */
-export type TypedFilterParams<T extends DynaRecord> = TypedAndFilter<T> & TypedOrFilter<T>;
+type EntityNamesStartingWith<T extends DynaRecord, Prefix extends string> = Extract<PartitionEntityNames<T>, `${Prefix}${string}`>;
 /**
  * Typed sort key condition for querying within an entity's partition.
  *
@@ -201,28 +214,45 @@ export type TypedFilterParams<T extends DynaRecord> = TypedAndFilter<T> & TypedO
  * entity's own name or its related entity names (or prefixes thereof). Unrelated
  * entities and entities from other tables are rejected at compile time.
  *
+ * The `$beginsWith` variant also accepts partial entity name prefixes — e.g.
+ * `$beginsWith: "Inv"` is valid when the partition contains "Invoice" and "Inventory",
+ * since DynamoDB's `begins_with` would match both entity types.
+ *
  * @template T - The entity type being queried.
  */
 export type TypedSortKeyCondition<T extends DynaRecord> = PartitionEntityNames<T> | `${PartitionEntityNames<T>}${string}` | {
-    $beginsWith: PartitionEntityNames<T> | `${PartitionEntityNames<T>}${string}`;
+    $beginsWith: PartitionEntityNames<T> | `${PartitionEntityNames<T>}${string}` | Prefixes<PartitionEntityNames<T>>;
 };
 /**
- * Extracts the entity name from a typed sort key condition for return type narrowing.
+ * Extracts entity names from a typed sort key condition for return type narrowing.
  *
  * Narrows when:
  * - SK is an exact entity name: `"Order"` → `"Order"`
  * - SK is `{ $beginsWith: "Order" }` → `"Order"`
+ * - SK is `{ $beginsWith: "Inv" }` → `"Invoice" | "Inventory"` (prefix matches multiple)
+ * - SK is `{ $beginsWith: "PaymentMethod" }` → `"PaymentMethod" | "PaymentMethodProvider"`
+ *   (when one entity name is a prefix of another)
  *
  * Does not narrow when:
  * - SK is a prefixed string like `"Order#123"` (can't parse the delimiter at type level)
- * - SK is `{ $beginsWith: "Order#..." }` (specific prefix, not just entity name)
+ * - SK is `{ $beginsWith: "Order#..." }` (specific prefix past entity name boundary)
  *
  * @template T - The entity type being queried.
  * @template SK - The inferred sort key condition literal type.
  */
 export type ExtractEntityFromSK<T extends DynaRecord, SK> = SK extends {
-    $beginsWith: infer V extends PartitionEntityNames<T>;
-} ? V : SK extends PartitionEntityNames<T> ? SK : never;
+    $beginsWith: infer V extends string;
+} ? EntityNamesStartingWith<T, V> : SK extends PartitionEntityNames<T> ? SK : never;
+/**
+ * Computes the filter type based on SK narrowing. When `skCondition` narrows to
+ * specific entities, only those entities' attributes are accepted in the filter.
+ * When SK doesn't narrow (no skCondition, suffixed string, etc.), falls back to
+ * the full {@link TypedFilterParams}.
+ *
+ * @template T - The root entity being queried.
+ * @template SK - The inferred sort key condition type.
+ */
+export type SKScopedFilterParams<T extends DynaRecord, SK> = ExtractEntityFromSK<T, SK> extends infer Names ? ShouldNarrow<T, Names> extends true ? FilterParamsForEntities<ResolveEntityByName<T, Names & string>> : TypedFilterParams<T> : TypedFilterParams<T>;
 /**
  * Extracts string values from a type that may be a string or an array of strings.
  * Returns the literal string if single value, array element types if array, or `never`.

package/dist/src/operations/Query/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/operations/Query/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,UAAU,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EACV,aAAa,IAAI,kBAAkB,EACnC,YAAY,IAAI,mBAAmB,EACnC,WAAW,EACX,gBAAgB,EACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAChE,OAAO,KAAK,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAE/E;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,mBAAmB,GAAG;IAC/C;;OAEG;IACH,WAAW,CAAC,EAAE,gBAAgB,CAAC;CAChC,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI,IAAI,CACvE,YAAY,EACZ,WAAW,GAAG,QAAQ,GAAG,aAAa,CACvC,GAAG;IACF,MAAM,CAAC,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC;CAC/B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,mBAAmB,GAAG;IACnD,SAAS,EAAE,MAAM,CAAC;IAElB,cAAc,CAAC,EAAE,KAAK,CAAC;CACxB,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;KAElE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,YAAY,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,MAAM;CAClE,GAAG;KAID,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC;CAC9E,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,IAAI;KACjC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,kBAAkB;CACpC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI,CAAC,SAAS,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC;AAEnE;;;;;;;GAOG;AACH,MAAM,MAAM,sBAAsB,CAAC,CAAC,SAAS,UAAU,IAAI,OAAO,CAChE;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,EAAE,GAC/D,CAAC,GACD,KAAK;CACV,CAAC,MAAM,CAAC,CAAC,EACV,MAAM,CACP,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,UAAU,IAAI;KACtD,CAAC,IAAI,sBAAsB,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GACtE,gBAAgB,CAAC,CAAC,CAAC,GACnB,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACxC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC;AAE7B;;;;;;;;GAQG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,UAAU,IAAI,KAAK,CAClD,wBAAwB,CAAC,CAAC,CAAC,GAC3B,CAAC,oBAAoB,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GACpC,CAAC,SAAS,UAAU,GAClB,wBAAwB,CAAC,CAAC,CAAC,GAC3B,KAAK,GACP,KAAK,CAAC,CACb,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,UAAU,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAExE;;;;GAIG;AACH,MAAM,MAAM,wBAAwB,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAClE,mBAAmB,CAAC,CAAC,CAAC,GACtB,kBAAkB,CAAC,CAAC,CAAC,CAAC;AAI1B;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,UAAU,IAC9C,CAAC,GACD,oBAAoB,CAAC,CAAC,CAAC,CAAC;AAE5B;;;;;;GAMG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,UAAU,IACnD,iBAAiB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAE/B;;;GAGG;AACH,MAAM,MAAM,0BAA0B,CAAC,CAAC,SAAS,UAAU,IACzD,iBAAiB,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GAChC,CAAC,SAAS,UAAU,GAClB,oBAAoB,CAAC,CAAC,CAAC,GACvB,KAAK,GACP,KAAK,CAAC;AAEZ;;;;;GAKG;AACH,KAAK,YAAY,CAAC,IAAI,SAAS,MAAM,IAAI;KACtC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,WAAW;CAC1B,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,UAAU,IAAI,YAAY,CACjE,oBAAoB,CAAC,CAAC,CAAC,CACxB,CAAC;AAEF;;;;GAIG;AACH,KAAK,yBAAyB,CAAC,CAAC,SAAS,UAAU,IAAI,YAAY,CACjE,0BAA0B,CAAC,CAAC,CAAC,CAC9B,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,UAAU,IAC3C,CAAC,iBAAiB,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GACjC,CAAC,SAAS,UAAU,GAClB;IAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;CAAE,GAAG,kBAAkB,CAAC,CAAC,CAAC,GAC3C,KAAK,GACP,KAAK,CAAC,GACV,CAAC;IAAE,IAAI,EAAE,oBAAoB,CAAC,CAAC,CAAC,EAAE,CAAA;CAAE,GAAG,yBAAyB,CAAC,CAAC,CAAC,CAAC,GACpE,CAAC;IAAE,IAAI,CAAC,EAAE,KAAK,CAAA;CAAE,GAAG,yBAAyB,CAAC,CAAC,CAAC,CAAC,CAAC;AAEtD;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,UAAU,IAAI;IAChD,GAAG,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;CAC3B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,UAAU,IAAI,cAAc,CAAC,CAAC,CAAC,GACrE,aAAa,CAAC,CAAC,CAAC,CAAC;AAInB;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,qBAAqB,CAAC,CAAC,SAAS,UAAU,IAClD,oBAAoB,CAAC,CAAC,CAAC,GACvB,GAAG,oBAAoB,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,GACrC;IACE,WAAW,EACP,oBAAoB,CAAC,CAAC,CAAC,GACvB,GAAG,oBAAoB,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,CAAC;CAC3C,CAAC;AAEN;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS;IACrE,WAAW,EAAE,MAAM,CAAC,SAAS,oBAAoB,CAAC,CAAC,CAAC,CAAC;CACtD,GACG,CAAC,GACD,EAAE,SAAS,oBAAoB,CAAC,CAAC,CAAC,GAChC,EAAE,GACF,KAAK,CAAC;AAIZ;;;;;GAKG;AACH,KAAK,2BAA2B,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAClD,CAAC,GACD,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GACrC,CAAC,GACD,KAAK,CAAC;AAEZ;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAC9D,2BAA2B,CAAC,CAAC,CAAC,GAC9B,KAAK,CAAC;AAEV;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,CAC7B,CAAC,SAAS,UAAU,EACpB,IAAI,SAAS,MAAM,IACjB,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC;AAElD;;GAEG;AACH,KAAK,0BAA0B,CAAC,CAAC,IAAI,CAAC,SAAS,UAAU,GACrD,wBAAwB,CAAC,CAAC,CAAC,GAC3B,KAAK,CAAC;AAEV;;;;;;GAMG;AACH,KAAK,aAAa,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,SAAS,MAAM,IAAI;IAC/D,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC;CAC9B,SAAS,CAAC,KAAK,CAAC,GACb,YAAY,CAAC,CAAC,CAAC,GACf,KAAK,CAAC,0BAA0B,CAAC,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAErE;;;;;;;GAOG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,IACtD,qBAAqB,CAAC,CAAC,CAAC,SAAS,MAAM,KAAK,SAAS,MAAM,GACvD,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC,GACvB,YAAY,CAAC,CAAC,CAAC,CAAC;AAItB;;;;GAIG;AACH,KAAK,YAAY,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC;AAEjE;;;;;;GAMG;AACH,KAAK,mBAAmB,CAAC,CAAC,SAAS,UAAU,EAAE,IAAI,SAAS,MAAM,IAAI;IACpE,IAAI;CACL,SAAS,CAAC,KAAK,CAAC,GACb,iBAAiB,CAAC,CAAC,CAAC,GACpB,iBAAiB,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GAClC,CAAC,SAAS,UAAU,GAClB,CAAC,IAAI,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,GACtC,CAAC,GACD,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEZ;;;;;GAKG;AACH,KAAK,mBAAmB,CACtB,CAAC,SAAS,UAAU,EACpB,IAAI,SAAS,MAAM,IACjB,mBAAmB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzC;;;;;;;GAOG;AACH,KAAK,uBAAuB,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,IACtD,KAAK,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,SAAS,IAAI,GAC5C,mBAAmB,CAAC,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,GAC3C,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC5C,mBAAmB,CAAC,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,GAC3C,qBAAqB,CAAC,KAAK,CAAC,CAAC;AAErC;;;;;;;GAOG;AACH,KAAK,yBAAyB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,IAAI,CAAC,SAAS;IAClE,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,SAAS,CAAC,CAAC;CAC9B,GACG,SAAS,SAAS,MAAM,KAAK,SAAS,MAAM,GAC1C,uBAAuB,CAAC,CAAC,EAAE,KAAK,CAAC,GACjC,KAAK,GACP,KAAK,CAAC;AAIV;;;;;;;;;;;;;;;GAeG;AACH,KAAK,YAAY,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,IAC3C,KAAK,CAAC,KAAK,CAAC,SAAS,IAAI,GACrB,KAAK,GACL,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,GACrB,KAAK,GACL,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,GACtB,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvC,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAEhB;;GAEG;AACH,KAAK,YAAY,CAAC,CAAC,SAAS,UAAU,EAAE,EAAE,IACxC,mBAAmB,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,MAAM,KAAK,GAC1C,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,IAAI,GACjC,aAAa,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,GAChC,YAAY,CAAC,CAAC,CAAC,GACjB,YAAY,CAAC,CAAC,CAAC,CAAC;AAEtB;;;;;GAKG;AACH,KAAK,mBAAmB,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,SAAS,MAAM,IAAI;IACrE,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC;CAC9B,SAAS,CAAC,KAAK,CAAC,GACb,KAAK,EAAE,GACP,KAAK,CAAC,0BAA0B,CAAC,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAErE;;;;;;;GAOG;AACH,KAAK,eAAe,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,SAAS,MAAM,EAAE,EAAE,IACjE,mBAAmB,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,MAAM,OAAO,GAC5C,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,IAAI,GACnC,mBAAmB,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC,CAAC,GACxD,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC,GACzB,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAE9B;;;;;GAKG;AACH,KAAK,qBAAqB,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,SAAS,MAAM,EAAE,EAAE,IACvE,mBAAmB,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,MAAM,OAAO,GAC5C,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,IAAI,GACnC,mBAAmB,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC,CAAC,GACxD,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,GAC/B,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAEpC;;;;;;;;GAQG;AACH,KAAK,mBAAmB,CACtB,CAAC,SAAS,UAAU,EACpB,QAAQ,SAAS,MAAM,EACvB,CAAC,EACD,EAAE,GAAG,OAAO,IAEZ,yBAAyB,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,OAAO,GACjD,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,IAAI,GACnC,qBAAqB,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,GAAG,MAAM,CAAC,EAAE,EAAE,CAAC,GACjE,eAAe,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,GAClC,eAAe,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;AAEvC;;;GAGG;AACH,KAAK,kBAAkB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,EAAE,EAAE,IACjD,yBAAyB,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,KAAK,GAC/C,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,IAAI,GACjC,eAAe,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,EAAE,CAAC,GACtC,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,GACrB,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAE1B;;;;;;GAMG;AACH,KAAK,oBAAoB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,EAAE,EAAE,IACnD,mBAAmB,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,KAAK,GACvD,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,IAAI,GACjC,mBAAmB,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,GAC7C,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAC9B,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;AAEnC;;;;GAIG;AACH,KAAK,mBAAmB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,EAAE,EAAE,GAAG,OAAO,IAC5D,yBAAyB,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,OAAO,GACjD,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,IAAI,GACnC,qBAAqB,CACnB,CAAC,EACD,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,OAAO,GAAG,MAAM,CAAC,EAC5D,EAAE,CACH,GACD,eAAe,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,EAAE,CAAC,GAC3D,eAAe,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,EAAE,CAAC,CAAC;AAEhE;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,EAAE,EAAE,GAAG,OAAO,IACjE,qBAAqB,CAAC,CAAC,CAAC,SAAS,MAAM,KAAK,GACxC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,IAAI,GACjC,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAC7B,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAChC,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../../src/operations/Query/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,UAAU,MAAM,kBAAkB,CAAC;AAC/C,OAAO,KAAK,EACV,aAAa,IAAI,kBAAkB,EACnC,YAAY,IAAI,mBAAmB,EACnC,WAAW,EACX,gBAAgB,EACjB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,OAAO,EAAE,MAAM,aAAa,CAAC;AAChE,OAAO,KAAK,EAAE,wBAAwB,EAAE,oBAAoB,EAAE,MAAM,UAAU,CAAC;AAE/E;;;;;GAKG;AACH,MAAM,MAAM,YAAY,GAAG,mBAAmB,GAAG;IAC/C;;OAEG;IACH,WAAW,CAAC,EAAE,gBAAgB,CAAC;CAChC,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,mBAAmB,CAC7B,CAAC,SAAS,UAAU,GAAG,UAAU,EACjC,EAAE,GAAG,OAAO,IACV,IAAI,CAAC,YAAY,EAAE,WAAW,GAAG,QAAQ,GAAG,aAAa,CAAC,GAAG;IAC/D,MAAM,CAAC,EAAE,oBAAoB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;CACtC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,mBAAmB,GAAG;IACnD,SAAS,EAAE,MAAM,CAAC;IAElB,cAAc,CAAC,EAAE,KAAK,CAAC;CACxB,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAAI;KAElE,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,YAAY,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,MAAM;CAClE,GAAG;KAID,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC;CAC9E,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,IAAI;KACjC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,kBAAkB;CACpC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI,CAAC,SAAS,UAAU,GAAG,CAAC,GAAG,KAAK,CAAC;AAEnE;;;;;;;GAOG;AACH,MAAM,MAAM,sBAAsB,CAAC,CAAC,SAAS,UAAU,IAAI,OAAO,CAChE;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,EAAE,GAC/D,CAAC,GACD,KAAK;CACV,CAAC,MAAM,CAAC,CAAC,EACV,MAAM,CACP,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,UAAU,IAAI;KACtD,CAAC,IAAI,sBAAsB,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GACtE,gBAAgB,CAAC,CAAC,CAAC,GACnB,gBAAgB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACxC,CAAC,sBAAsB,CAAC,CAAC,CAAC,CAAC,CAAC;AAE7B;;;;;;;;GAQG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,UAAU,IAAI,KAAK,CAClD,wBAAwB,CAAC,CAAC,CAAC,GAC3B,CAAC,oBAAoB,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GACpC,CAAC,SAAS,UAAU,GAClB,wBAAwB,CAAC,CAAC,CAAC,GAC3B,KAAK,GACP,KAAK,CAAC,CACb,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,UAAU,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAExE;;;;GAIG;AACH,MAAM,MAAM,wBAAwB,CAAC,CAAC,SAAS,UAAU,GAAG,UAAU,IAClE,mBAAmB,CAAC,CAAC,CAAC,GACtB,kBAAkB,CAAC,CAAC,CAAC,CAAC;AAI1B;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,UAAU,IAC9C,CAAC,GACD,oBAAoB,CAAC,CAAC,CAAC,CAAC;AAE5B;;;;;;GAMG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,UAAU,IACnD,iBAAiB,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;AAE/B;;;;;GAKG;AACH,KAAK,YAAY,CAAC,IAAI,SAAS,MAAM,IAAI;KACtC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,WAAW;CAC1B,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,CAAC,CAAC,SAAS,UAAU,IAAI,YAAY,CACjE,oBAAoB,CAAC,CAAC,CAAC,CACxB,CAAC;AAEF;;GAEG;AACH,KAAK,iBAAiB,CAAC,QAAQ,SAAS,UAAU,IAChD,QAAQ,SAAS,UAAU,GAAG,oBAAoB,CAAC,QAAQ,CAAC,GAAG,KAAK,CAAC;AAEvE;;;;;;;GAOG;AACH,KAAK,oBAAoB,CAAC,QAAQ,SAAS,UAAU,IACjD,CAAC,QAAQ,SAAS,MAAM,CAAC,SAAS,UAAU,GACxC;IAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;CAAE,GAAG,kBAAkB,CAAC,CAAC,CAAC,GAC3C,KAAK,CAAC,GACV,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAA;CAAE,GAAG,YAAY,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,GAC1E,CAAC;IAAE,IAAI,CAAC,EAAE,KAAK,CAAA;CAAE,GAAG,YAAY,CAAC,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAEnE;;GAEG;AACH,KAAK,mBAAmB,CAAC,QAAQ,SAAS,UAAU,IAAI;IACtD,GAAG,CAAC,EAAE,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;CACxC,CAAC;AAEF;;GAEG;AACH,KAAK,uBAAuB,CAAC,QAAQ,SAAS,UAAU,IACtD,oBAAoB,CAAC,QAAQ,CAAC,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;AAEjE;;;GAGG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,UAAU,IAAI,uBAAuB,CAC3E,iBAAiB,CAAC,CAAC,CAAC,CACrB,CAAC;AAIF;;;;;;;;;GASG;AACH,KAAK,QAAQ,CACX,CAAC,SAAS,MAAM,EAChB,GAAG,SAAS,MAAM,GAAG,EAAE,IACrB,CAAC,SAAS,GAAG,MAAM,IAAI,GAAG,MAAM,IAAI,EAAE,GACtC,GAAG,GAAG,GAAG,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,GAAG,GAAG,IAAI,EAAE,CAAC,GACjD,KAAK,CAAC;AAEV;;;;GAIG;AACH,KAAK,uBAAuB,CAC1B,CAAC,SAAS,UAAU,EACpB,MAAM,SAAS,MAAM,IACnB,OAAO,CAAC,oBAAoB,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,GAAG,MAAM,EAAE,CAAC,CAAC;AAE3D;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,MAAM,qBAAqB,CAAC,CAAC,SAAS,UAAU,IAClD,oBAAoB,CAAC,CAAC,CAAC,GACvB,GAAG,oBAAoB,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,GACrC;IACE,WAAW,EACP,oBAAoB,CAAC,CAAC,CAAC,GACvB,GAAG,oBAAoB,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,GACrC,QAAQ,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC;CACvC,CAAC;AAEN;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,UAAU,EAAE,EAAE,IAAI,EAAE,SAAS;IACrE,WAAW,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC;CACrC,GACG,uBAAuB,CAAC,CAAC,EAAE,CAAC,CAAC,GAC7B,EAAE,SAAS,oBAAoB,CAAC,CAAC,CAAC,GAChC,EAAE,GACF,KAAK,CAAC;AAEZ;;;;;;;;GAQG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,UAAU,EAAE,EAAE,IACvD,mBAAmB,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,MAAM,KAAK,GAC1C,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,IAAI,GACjC,uBAAuB,CAAC,mBAAmB,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,CAAC,GAC/D,iBAAiB,CAAC,CAAC,CAAC,GACtB,iBAAiB,CAAC,CAAC,CAAC,CAAC;AAI3B;;;;;GAKG;AACH,KAAK,2BAA2B,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,GAClD,CAAC,GACD,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GACrC,CAAC,GACD,KAAK,CAAC;AAEZ;;;;;GAKG;AACH,MAAM,MAAM,qBAAqB,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GAC9D,2BAA2B,CAAC,CAAC,CAAC,GAC9B,KAAK,CAAC;AAEV;;;;;GAKG;AACH,MAAM,MAAM,mBAAmB,CAC7B,CAAC,SAAS,UAAU,EACpB,IAAI,SAAS,MAAM,IACjB,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC;AAElD;;GAEG;AACH,KAAK,0BAA0B,CAAC,CAAC,IAAI,CAAC,SAAS,UAAU,GACrD,wBAAwB,CAAC,CAAC,CAAC,GAC3B,KAAK,CAAC;AAEV;;;;;;GAMG;AACH,KAAK,aAAa,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,SAAS,MAAM,IAAI;IAC/D,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC;CAC9B,SAAS,CAAC,KAAK,CAAC,GACb,YAAY,CAAC,CAAC,CAAC,GACf,KAAK,CAAC,0BAA0B,CAAC,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAErE;;;;;;;GAOG;AACH,MAAM,MAAM,oBAAoB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,IACtD,qBAAqB,CAAC,CAAC,CAAC,SAAS,MAAM,KAAK,SAAS,MAAM,GACvD,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC,GACvB,YAAY,CAAC,CAAC,CAAC,CAAC;AAItB;;;;GAIG;AACH,KAAK,YAAY,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,GAAG,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC;AAEjE;;;;;;GAMG;AACH,KAAK,mBAAmB,CAAC,CAAC,SAAS,UAAU,EAAE,IAAI,SAAS,MAAM,IAAI;IACpE,IAAI;CACL,SAAS,CAAC,KAAK,CAAC,GACb,iBAAiB,CAAC,CAAC,CAAC,GACpB,iBAAiB,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,GAClC,CAAC,SAAS,UAAU,GAClB,CAAC,IAAI,CAAC,SAAS,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,GACtC,CAAC,GACD,KAAK,GACP,KAAK,GACP,KAAK,CAAC;AAEZ;;;;;GAKG;AACH,KAAK,mBAAmB,CACtB,CAAC,SAAS,UAAU,EACpB,IAAI,SAAS,MAAM,IACjB,mBAAmB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC;AAEzC;;;;;;;GAOG;AACH,KAAK,uBAAuB,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,IACtD,KAAK,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,SAAS,IAAI,GAC5C,mBAAmB,CAAC,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,GAC3C,CAAC,qBAAqB,CAAC,KAAK,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC5C,mBAAmB,CAAC,CAAC,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,GAC3C,qBAAqB,CAAC,KAAK,CAAC,CAAC;AAErC;;;;;;;GAOG;AACH,KAAK,yBAAyB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,IAAI,CAAC,SAAS;IAClE,GAAG,CAAC,EAAE,KAAK,CAAC,MAAM,SAAS,CAAC,CAAC;CAC9B,GACG,SAAS,SAAS,MAAM,KAAK,SAAS,MAAM,GAC1C,uBAAuB,CAAC,CAAC,EAAE,KAAK,CAAC,GACjC,KAAK,GACP,KAAK,CAAC;AAwBV;;;;;;;;;;;;;;;GAeG;AACH,KAAK,YAAY,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,IAC3C,KAAK,CAAC,KAAK,CAAC,SAAS,IAAI,GACrB,KAAK,GACL,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,GACrB,KAAK,GACL,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,GACtB,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvC,KAAK,GACL,IAAI,GACN,KAAK,CAAC;AAEhB;;GAEG;AACH,KAAK,YAAY,CAAC,CAAC,SAAS,UAAU,EAAE,EAAE,IACxC,mBAAmB,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,MAAM,KAAK,GAC1C,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,IAAI,GACjC,aAAa,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,CAAC,GAChC,YAAY,CAAC,CAAC,CAAC,GACjB,YAAY,CAAC,CAAC,CAAC,CAAC;AAEtB;;;;;GAKG;AACH,KAAK,mBAAmB,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,SAAS,MAAM,IAAI;IACrE,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC;CAC9B,SAAS,CAAC,KAAK,CAAC,GACb,KAAK,EAAE,GACP,KAAK,CAAC,0BAA0B,CAAC,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAErE;;;;;;;GAOG;AACH,KAAK,eAAe,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,SAAS,MAAM,EAAE,EAAE,IACjE,mBAAmB,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,MAAM,OAAO,GAC5C,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,IAAI,GACnC,mBAAmB,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC,CAAC,GACxD,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC,GACzB,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAE9B;;;;;GAKG;AACH,KAAK,qBAAqB,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,SAAS,MAAM,EAAE,EAAE,IACvE,mBAAmB,CAAC,CAAC,EAAE,EAAE,CAAC,SAAS,MAAM,OAAO,GAC5C,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,IAAI,GACnC,mBAAmB,CAAC,CAAC,EAAE,OAAO,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC,CAAC,GACxD,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,GAC/B,mBAAmB,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAEpC;;;;;;;;GAQG;AACH,KAAK,mBAAmB,CACtB,CAAC,SAAS,UAAU,EACpB,QAAQ,SAAS,MAAM,EACvB,CAAC,EACD,EAAE,GAAG,OAAO,IAEZ,yBAAyB,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,OAAO,GACjD,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,IAAI,GACnC,qBAAqB,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,EAAE,OAAO,GAAG,MAAM,CAAC,EAAE,EAAE,CAAC,GACjE,eAAe,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,GAClC,eAAe,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC;AAEvC;;;GAGG;AACH,KAAK,kBAAkB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,EAAE,EAAE,IACjD,yBAAyB,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,KAAK,GAC/C,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,IAAI,GACjC,eAAe,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,EAAE,CAAC,GACtC,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,GACrB,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;AAE1B;;;;;;GAMG;AACH,KAAK,oBAAoB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,EAAE,EAAE,IACnD,mBAAmB,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,MAAM,KAAK,GACvD,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,IAAI,GACjC,mBAAmB,CAAC,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC,GAC7C,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAC9B,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC;AAEnC;;;;GAIG;AACH,KAAK,mBAAmB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,EAAE,EAAE,GAAG,OAAO,IAC5D,yBAAyB,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,MAAM,OAAO,GACjD,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,SAAS,IAAI,GACnC,qBAAqB,CACnB,CAAC,EACD,OAAO,CAAC,qBAAqB,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,OAAO,GAAG,MAAM,CAAC,EAC5D,EAAE,CACH,GACD,eAAe,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,EAAE,CAAC,GAC3D,eAAe,CAAC,CAAC,EAAE,qBAAqB,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE,EAAE,CAAC,CAAC;AAEhE;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,EAAE,EAAE,GAAG,OAAO,IACjE,qBAAqB,CAAC,CAAC,CAAC,SAAS,MAAM,KAAK,GACxC,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,SAAS,IAAI,GACjC,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAC7B,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAChC,oBAAoB,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC"}

package/dist/src/operations/types.d.ts

@@ -105,7 +105,7 @@ export type ObjectDotPaths<T extends DynaRecord> = {
  * - Relationship properties (via {@link EntityAttributesOnly})
  * - Function fields (via {@link EntityAttributesOnly})
  * - PartitionKeyAttribute and SortKeyAttribute
- * - `type` (handled separately by {@link TypedAndFilter} for discriminated union narrowing)
+ * - `type` (handled separately by {@link AndFilterForEntities} for discriminated union narrowing)
  */
 export type EntityFilterableKeys<T extends DynaRecord> = Exclude<keyof EntityAttributesOnly<T> & string, PartitionKeyAttribute<T> | SortKeyAttribute<T> | "type"> | ObjectDotPaths<T>;
 export {};

package/dist/src/operations/utils/flattenObjectForUpdate.d.ts

@@ -8,7 +8,8 @@ import type { DocumentPathOperation } from "./types";
  * - `undefined` → skip (not being updated)
  * - `null` → REMOVE operation
  * - Nested object (`fieldDef.type === "object"`) → recurse, prepending parent path
- * - Everything else (primitives, arrays, dates, enums) → serialize and SET
+ * - Everything else (primitives, arrays, dates, enums, discriminated unions) → serialize and SET
+ *
  *
  * @param parentPath Path segments leading to this object (e.g. ["address"] or ["address", "geo"])
  * @param schema The ObjectSchema describing the object shape

package/dist/src/operations/utils/flattenObjectForUpdate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"flattenObjectForUpdate.d.ts","sourceRoot":"","sources":["../../../../src/operations/utils/flattenObjectForUpdate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AAEtE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,SAAS,CAAC;AAErD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,MAAM,EAAE,EACpB,MAAM,EAAE,YAAY,EACpB,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACpC,qBAAqB,EAAE,CAmCzB"}
+{"version":3,"file":"flattenObjectForUpdate.d.ts","sourceRoot":"","sources":["../../../../src/operations/utils/flattenObjectForUpdate.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mCAAmC,CAAC;AAEtE,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,SAAS,CAAC;AAErD;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,sBAAsB,CACpC,UAAU,EAAE,MAAM,EAAE,EACpB,MAAM,EAAE,YAAY,EACpB,YAAY,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACpC,qBAAqB,EAAE,CAkCzB"}

package/dist/src/operations/utils/flattenObjectForUpdate.js

@@ -10,7 +10,8 @@ const serializers_1 = require("../../decorators/attributes/serializers");
  * - `undefined` → skip (not being updated)
  * - `null` → REMOVE operation
  * - Nested object (`fieldDef.type === "object"`) → recurse, prepending parent path
- * - Everything else (primitives, arrays, dates, enums) → serialize and SET
+ * - Everything else (primitives, arrays, dates, enums, discriminated unions) → serialize and SET
+ *
  *
  * @param parentPath Path segments leading to this object (e.g. ["address"] or ["address", "geo"])
  * @param schema The ObjectSchema describing the object shape
@@ -37,7 +38,6 @@ function flattenObjectForUpdate(parentPath, schema, partialValue) {
             ops.push(...nestedOps);
             continue;
         }
-        // Primitives, arrays, dates, enums → serialize and SET
         const serialized = (0, serializers_1.convertFieldToTableItem)(fieldDef, val);
         ops.push({ type: "set", path: fieldPath, value: serialized });
     }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "dyna-record",
-  "version": "0.6.2",
+  "version": "0.6.4",
   "description": "Typescript Data Modeler and ORM for Dynamo",
   "main": "dist/index.js",
   "types": "dist/index.d.ts",