@zmdb/schema 1.0.0-beta.1

package/README.md

@@ -0,0 +1,30 @@
+# @zmdb/schema
+
+`@zmdb/schema` contains the schema tags and shared intermediate representation used throughout zmdb. It also derives entities and DTOs and builds relation and OpenAPI types. Provider-neutral AI tools
+are now published from `@zmdb/ai`.
+
+It is part of [zmdb](https://github.com/ambasta/zmdb), where one TypeScript schema drives validation, serialization, SQL, OpenAPI, and CRUD.
+
+## Install
+
+```bash
+yarn add @zmdb/schema@1.0.0-beta.1
+```
+
+> **Prerelease** (`1.0.0-beta.1`). Requires **Node.js 26+** and is **ESM-only**. Ships built ESM `.js` + `.d.ts` under `./dist`.
+
+## Entry points
+
+- Core schema APIs: `@zmdb/schema`
+- Schema building blocks: `/tags`, `/ir`, `/derive`, `/dto`, `/naming`, `/relations`, `/openapi`, `/custom-types`, `/entity-modeling`
+
+AI is not re-exported from `@zmdb/schema`. Provider-neutral tools ship from `@zmdb/ai`; Anthropic, LangChain, and Vercel integrations ship from their matching `@zmdb/ai-*` packages; MCP client and
+server cores ship from `@zmdb/mcp`.
+
+## Documentation
+
+Full docs: **https://ambasta.github.io/zmdb/**
+
+## License
+
+GNU General Public License v3.0 or later (GPL-3.0-or-later) — see [LICENSE](./LICENSE).

package/dist/custom-types/index.d.ts

@@ -0,0 +1,41 @@
+import { type Codec } from '../ir/index.js';
+/**
+ * A column type the library does not know, described by its owner.
+ *
+ * Three types, because a column has three (plan D3): `Wire` is what JSON carries,
+ * `TS` is what handler code holds, and `DB` is what the driver binds. A codec that
+ * named only two of them left the third to be guessed, and the guess was "the same
+ * as the app type" — which is how a `Money` instance ended up being handed to
+ * `JSON.stringify` and to a query parameter unchanged.
+ *
+ * All four functions are required. A codec whose `toWire` was optional would be a
+ * codec that sometimes converts, and the caller cannot tell which kind it has.
+ */
+export interface CustomType<Wire, TS, DB = unknown> {
+    /** DDL type, e.g. `'jsonb'`. Dialect spelling is the emitter's business. */
+    readonly sqlType: string;
+    /** Serialise for the driver. */
+    readonly toDb: (value: TS) => DB;
+    /** Parse a driver row value. */
+    readonly fromDb: (raw: DB) => TS;
+    /** Serialise for a JSON response. */
+    readonly toWire: (value: TS) => Wire;
+    /** Parse a JSON request body value. */
+    readonly fromWire: (raw: Wire) => TS;
+}
+export declare function defineType<Wire, TS, DB>(def: CustomType<Wire, TS, DB>): CustomType<Wire, TS, DB>;
+export declare function encodeValue<Wire, TS, DB>(type: CustomType<Wire, TS, DB>, value: TS): DB;
+export declare function decodeValue<Wire, TS, DB>(type: CustomType<Wire, TS, DB>, raw: DB): TS;
+/**
+ * Adapt a `CustomType` to the `Codec` the IR's wire crossing asks for.
+ *
+ * The IR speaks `unknown` on both sides because it is data, not generics; the
+ * conversion is one cast at this boundary rather than one at every registry literal.
+ * A `Codec<'Money'>` tag names the key this goes under:
+ *
+ * ```ts
+ * wireDecoder(Schema, 'create', { Money: wireCodec(MoneyType) })
+ * ```
+ */
+export declare function wireCodec<Wire, TS, DB>(type: CustomType<Wire, TS, DB>): Codec;
+//# sourceMappingURL=index.d.ts.map

package/dist/custom-types/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/custom-types/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAE5C;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO;IAChD,4EAA4E;IAC5E,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,gCAAgC;IAChC,QAAQ,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE,KAAK,EAAE,CAAC;IACjC,gCAAgC;IAChC,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,CAAC;IACjC,qCAAqC;IACrC,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,EAAE,KAAK,IAAI,CAAC;IACrC,uCAAuC;IACvC,QAAQ,CAAC,QAAQ,EAAE,CAAC,GAAG,EAAE,IAAI,KAAK,EAAE,CAAC;CACtC;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAEhG;AACD,wBAAgB,WAAW,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,CAEvF;AACD,wBAAgB,WAAW,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,GAAG,EAAE,CAErF;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,SAAS,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,GAAG,KAAK,CAQ7E"}

package/dist/custom-types/index.js

@@ -0,0 +1,32 @@
+// Custom types & codecs — see ./SPEC.md.
+import {} from '../ir/index.js';
+export function defineType(def) {
+    return Object.freeze({ ...def });
+}
+export function encodeValue(type, value) {
+    return type.toDb(value);
+}
+export function decodeValue(type, raw) {
+    return type.fromDb(raw);
+}
+/**
+ * Adapt a `CustomType` to the `Codec` the IR's wire crossing asks for.
+ *
+ * The IR speaks `unknown` on both sides because it is data, not generics; the
+ * conversion is one cast at this boundary rather than one at every registry literal.
+ * A `Codec<'Money'>` tag names the key this goes under:
+ *
+ * ```ts
+ * wireDecoder(Schema, 'create', { Money: wireCodec(MoneyType) })
+ * ```
+ */
+export function wireCodec(type) {
+    // boundary: a registry is keyed by name, so the value arriving at either direction is only
+    // as typed as the declaration that named this codec. The validator is what proves it, and
+    // it runs before `decode` and after `encode`.
+    return {
+        decode: (wire) => type.fromWire(wire),
+        encode: (app) => type.toWire(app),
+    };
+}
+//# sourceMappingURL=index.js.map

package/dist/custom-types/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/custom-types/index.ts"],"names":[],"mappings":"AAAA,yCAAyC;AAEzC,OAAO,EAAc,MAAM,gBAAgB,CAAC;AA2B5C,MAAM,UAAU,UAAU,CAAe,GAA6B;IACpE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,GAAG,EAAE,CAAC,CAAC;AACnC,CAAC;AACD,MAAM,UAAU,WAAW,CAAe,IAA8B,EAAE,KAAS;IACjF,OAAO,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAC1B,CAAC;AACD,MAAM,UAAU,WAAW,CAAe,IAA8B,EAAE,GAAO;IAC/E,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AAC1B,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,SAAS,CAAe,IAA8B;IACpE,2FAA2F;IAC3F,0FAA0F;IAC1F,8CAA8C;IAC9C,OAAO;QACL,MAAM,EAAE,CAAC,IAAa,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAY,CAAC;QACtD,MAAM,EAAE,CAAC,GAAY,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAS,CAAC;KACjD,CAAC;AACJ,CAAC"}

package/dist/derive/index.d.ts

@@ -0,0 +1,122 @@
+import { type AnyRelation, type HasDefault, type PrimaryKey, type Sensitive, type Serial, type SoftDelete, type Sql, type Table, type Unique, type WireAs } from '../tags/index.js';
+/**
+ * What every derivation takes: a type that could have been declared as a table.
+ *
+ * An alias for `Table<string>`, and the constraint is the point. `Table` is an
+ * all-optional weak type, so TypeScript's weak-type rule rejects anything with no property
+ * in common with it — which a generated schema *value* is. `Entity<typeof UserSchema>`, the
+ * spelling this design replaced, is therefore a compile error rather than the schema's own
+ * five properties dressed up as a row. Worth constraining for precisely because the wrong
+ * answer was structurally plausible: it had keys and it had types, so nothing downstream
+ * would have complained.
+ *
+ * An index-signature row still passes, because a string index can hold the slot — see
+ * `dto/index.ts`'s `UnknownRow`, the one corner of the query surface keyed by a table
+ * *name* instead of by a declaration.
+ */
+export type DeclaredTable = Table<string>;
+export type KeysCarrying<T, Tag> = {
+    [K in keyof T]-?: NonNullable<T[K]> extends Tag ? (K extends string ? K : never) : never;
+}[keyof T];
+/** Columns the database generates. Omitted from `CreateDTO` outright. */
+export type SerialKeys<T> = KeysCarrying<T, Serial>;
+/** Columns with a database default. Optional on insert, not absent. */
+export type DefaultKeys<T> = KeysCarrying<T, HasDefault>;
+export type PrimaryKeyKeys<T> = KeysCarrying<T, PrimaryKey>;
+export type SensitiveKeys<T> = KeysCarrying<T, Sensitive>;
+export type UniqueKeys<T> = KeysCarrying<T, Unique>;
+/** The entity-level soft-delete tag names one managed column. */
+export type SoftDeleteKeys<T> = T extends SoftDelete<infer Column> ? Extract<Column, ColumnKeys<T>> : never;
+/** Columns whose declared type admits `null`. Native, not a tag. */
+export type NullableKeys<T> = {
+    [K in keyof T]-?: null extends T[K] ? (K extends string ? K : never) : never;
+}[keyof T];
+/**
+ * Properties declared with a relation tag: a join target, not a column.
+ *
+ * These have to come out of `Entity<T>`, and therefore out of everything derived
+ * from it. A relation left in would be a column to `INSERT`, a column to `SELECT`
+ * and a JSON Schema property, none of which it is. `./query.ts` puts them back where
+ * they belong, in `Populated<T, K>`.
+ */
+export type RelationKeys<T> = KeysCarrying<T, AnyRelation>;
+/**
+ * Everything that is a column: a data key that is not a relation.
+ *
+ * Spelled as its own projection rather than as a subtraction. `Exclude<AllKeys<T>,
+ * RelationKeys<T>>` does not compile: for an unresolved `T` both operands normalise to
+ * the same deferred expression, so the subtraction yields `never`, and then
+ * `Pick<Entity<T>, DefaultKeys<T>>` is an error because nothing is a key of an entity
+ * with no keys.
+ */
+export type ColumnKeys<T> = {
+    [K in keyof T]-?: NonNullable<T[K]> extends AnyRelation ? never : K extends string ? K : never;
+}[keyof T];
+/**
+ * The selectable row: every column, required, sensitive columns included, tags
+ * preserved. Tags must survive here or the constraints would not survive `Omit`
+ * and `Partial` downstream.
+ *
+ * Relations are not columns and are not here. See `RelationKeys`.
+ */
+export type Entity<T extends DeclaredTable> = {
+    -readonly [K in ColumnKeys<T>]-?: T[K];
+};
+/**
+ * A tag filter's keys, narrowed to the keys `Entity<T>` actually has.
+ *
+ * `SerialKeys<T>` and friends are subsets of `ColumnKeys<T>` by construction — a
+ * relation cannot carry `Serial` — but TypeScript will not take it on trust. Relating
+ * two of these projections for an unresolved `T` works only while the *target*'s
+ * template is unconditional, which `DataKeys<T>` was and `ColumnKeys<T>` is not. So the
+ * subset is stated as an intersection, which is assignable to either side by
+ * definition, rather than proved. Nothing changes for a concrete type.
+ */
+type AsColumns<T extends DeclaredTable, K> = K & keyof Entity<T>;
+/**
+ * Insert shape. `Serial` columns are **absent** — naming one is a compile error,
+ * because the database generates the value. `HasDefault` columns are **present
+ * and optional**, because supplying one is legitimate. That distinction is the
+ * whole reason the two tags are separate.
+ *
+ * A nullable column is optional for the same reason a defaulted one is: omitting it
+ * inserts `NULL`, which is exactly what passing `null` does, so demanding the key adds
+ * ceremony and no information. The published document has always said this — a nullable
+ * column has never appeared in a `create` document's `required` — and so did the
+ * repository's runtime check. Requiring `bio: null` in the type while the contract said
+ * it was optional meant a client that followed the contract wrote a payload the type
+ * rejected, which is the disagreement this phase exists to remove. It stays *present* and
+ * optional rather than absent, because passing `null` explicitly is legitimate.
+ */
+type OptionalCreateKeys<T extends DeclaredTable> = Exclude<DefaultKeys<T> | NullableKeys<T>, SoftDeleteKeys<T>>;
+export type CreateDTO<T extends DeclaredTable> = Omit<Entity<T>, SerialKeys<T> | DefaultKeys<T> | NullableKeys<T> | SoftDeleteKeys<T>> & Partial<Pick<Entity<T>, AsColumns<T, OptionalCreateKeys<T>>>>;
+/** Patch shape: identity and framework-managed columns dropped, everything else optional. */
+export type UpdateDTO<T extends DeclaredTable> = Partial<Omit<Entity<T>, SerialKeys<T> | PrimaryKeyKeys<T> | SoftDeleteKeys<T>>>;
+/**
+ * What a read endpoint may return. `Sensitive` columns are removed from the
+ * type, so a leak is a compile error rather than a serializer's responsibility.
+ */
+export type ReadDTO<T extends DeclaredTable> = Omit<Entity<T>, SensitiveKeys<T>>;
+type IsUnion<T, U = T> = T extends unknown ? ([U] extends [T] ? false : true) : never;
+/**
+ * The key value: a scalar for a single-column key, an object map for a composite
+ * one, `unknown` when the type declares no primary key.
+ *
+ * Named `PrimaryKeyOf` so the tag can be `PrimaryKey`, which is the name typed at
+ * every declaration site (plan D1).
+ */
+export type PrimaryKeyOf<T extends DeclaredTable> = [PrimaryKeyKeys<T>] extends [never] ? unknown : IsUnion<PrimaryKeyKeys<T>> extends true ? {
+    [K in PrimaryKeyKeys<T>]: Entity<T>[AsColumns<T, K>];
+} : Entity<T>[AsColumns<T, PrimaryKeyKeys<T>>];
+type OrNull<V, W> = null extends V ? W | null : W;
+type WireValue<V> = NonNullable<V> extends WireAs<infer W> ? OrNull<V, W> : NonNullable<V> extends Sql<'timestamp'> ? OrNull<V, string> : NonNullable<V> extends Sql<'bigint'> ? OrNull<V, string> : V;
+/** The over-the-wire shape of an entity: JSON-representable throughout. */
+export type Wire<T> = {
+    -readonly [K in ColumnKeys<T>]-?: WireValue<T[K]>;
+};
+/** The over-the-wire shape of an insert payload. */
+export type WireCreateDTO<T extends DeclaredTable> = {
+    [K in keyof CreateDTO<T>]: WireValue<CreateDTO<T>[K]>;
+};
+export type { GetDTO, GetOptions, JoinRow, ListDTO, ListResult, OrderByDTO, PaginationDTO, Populated, PopulatedEntity, Projection, RelationPath, WhereDTO, } from './query.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/derive/index.ts"],"names":[],"mappings":"AAYA,OAAO,EACL,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,MAAM,EACX,KAAK,UAAU,EACf,KAAK,GAAG,EACR,KAAK,KAAK,EACV,KAAK,MAAM,EACX,KAAK,MAAM,EACZ,MAAM,kBAAkB,CAAC;AAE1B;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC;AAoB1C,MAAM,MAAM,YAAY,CAAC,CAAC,EAAE,GAAG,IAAI;KAChC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC,CAAC,SAAS,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK;CACzF,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX,yEAAyE;AACzE,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AACpD,uEAAuE;AACvE,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;AACzD,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;AAC5D,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AAC1D,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AACpD,iEAAiE;AACjE,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,UAAU,CAAC,MAAM,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;AAC5G,oEAAoE;AACpE,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,SAAS,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK;CAAE,CAAC,MAAM,CAAC,CAAC,CAAC;AAExH;;;;;;;GAOG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI,YAAY,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC;AAE3D;;;;;;;;GAQG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;KACzB,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,WAAW,GAAG,KAAK,GAAG,CAAC,SAAS,MAAM,GAAG,CAAC,GAAG,KAAK;CAC/F,CAAC,MAAM,CAAC,CAAC,CAAC;AAMX;;;;;;GAMG;AACH,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,aAAa,IAAI;IAAE,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAEzF;;;;;;;;;GASG;AACH,KAAK,SAAS,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC,IAAI,CAAC,GAAG,MAAM,MAAM,CAAC,CAAC,CAAC,CAAC;AAEjE;;;;;;;;;;;;;;GAcG;AACH,KAAK,kBAAkB,CAAC,CAAC,SAAS,aAAa,IAAI,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC;AAEhH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,aAAa,IAAI,IAAI,CACnD,MAAM,CAAC,CAAC,CAAC,EACT,UAAU,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CACrE,GACC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEhE,6FAA6F;AAC7F,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,aAAa,IAAI,OAAO,CACtD,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CACvE,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,aAAa,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;AAEjF,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,GAAG,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC;AAEtF;;;;;;GAMG;AACH,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,aAAa,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACnF,OAAO,GACP,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACrC;KAAG,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAAE,GACxD,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAmBjD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC;AAElD,KAAK,SAAS,CAAC,CAAC,IACd,WAAW,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,CAAC,GAClC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GACZ,WAAW,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,WAAW,CAAC,GACrC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,GACjB,WAAW,CAAC,CAAC,CAAC,SAAS,GAAG,CAAC,QAAQ,CAAC,GAClC,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,GACjB,CAAC,CAAC;AAEZ,2EAA2E;AAC3E,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI;IAAE,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAE5E,oDAAoD;AACpD,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,aAAa,IAAI;KAAG,CAAC,IAAI,MAAM,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAK/G,YAAY,EACV,MAAM,EACN,UAAU,EACV,OAAO,EACP,OAAO,EACP,UAAU,EACV,UAAU,EACV,aAAa,EACb,SAAS,EACT,eAAe,EACf,UAAU,EACV,YAAY,EACZ,QAAQ,GACT,MAAM,YAAY,CAAC"}

package/dist/derive/index.js

@@ -0,0 +1,13 @@
+// @zmdb/schema/derive: the DTO suite, derived from a tagged type.
+//
+// There is one `Entity`, one `CreateDTO`, one `UpdateDTO`, one `PrimaryKeyOf`, and they
+// are these. `../index.ts` re-exports them under the same names it used to define
+// schema-value twins under; the twins are deleted, not deprecated.
+//
+// Every derivation takes the declared type and nothing else. Nothing here tests
+// `T extends { columns: ... }`, nothing dispatches on whether it was handed a value, and
+// so nothing pays for that test per use. A caller who holds a schema value crosses back
+// at a boundary — `TaggedSchema<T>` in a parameter position, `T` by inference — and the
+// derivations never see the value at all.
+import {} from '../tags/index.js';
+//# sourceMappingURL=index.js.map

package/dist/derive/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/derive/index.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,EAAE;AACF,wFAAwF;AACxF,kFAAkF;AAClF,mEAAmE;AACnE,EAAE;AACF,gFAAgF;AAChF,yFAAyF;AACzF,wFAAwF;AACxF,wFAAwF;AACxF,0CAA0C;AAE1C,OAAO,EAWN,MAAM,kBAAkB,CAAC"}

package/dist/derive/query.d.ts

@@ -0,0 +1,62 @@
+import { type DeclaredTable, type Entity, type RelationKeys } from './index.js';
+export { type GetDTO, type GetOptions, type ListDTO, type ListResult, type OrderByDTO, type PaginationDTO, type Projection, type WhereDTO, } from '../dto/index.js';
+/**
+ * What a populated relation holds: fetched rows, and what happens when nothing matched.
+ *
+ * Cardinality comes from the declaration and nothing else, which is the point: `comments?:
+ * Comment[] & OneToMany<…>` is an array because it was written as one, and `author?: User &
+ * ManyToOne<…>` is not. The schema-value version had to read the cardinality out of a
+ * `RelationMeta` and rebuild the array, through six nested conditional types named
+ * `RelationEntityFromDef` and `RelationCardinalityFromDef`, because a relation *value* does
+ * not carry the target's type. Both are deleted.
+ *
+ * Without a nested path, the target becomes `Entity<>`: its own relations are absent.
+ * A nested path adds only its requested descendants, using this same derivation.
+ * And a to-one gains `| null`, because a foreign key that matches nothing is a row the
+ * database can hold — `null` is what the repository attaches for it, and a type that said
+ * `User` there would be wrong for the case the query cannot rule out. A to-many needs no
+ * such arm: no match is the empty array.
+ */
+type PopulatedValue<V, Paths extends string> = NonNullable<V> extends readonly (infer E)[] ? readonly ([Paths] extends [never] ? Entity<E & DeclaredTable> : PopulatedRow<E & DeclaredTable, Paths>)[] : ([Paths] extends [never] ? Entity<NonNullable<V> & DeclaredTable> : PopulatedRow<NonNullable<V> & DeclaredTable, Paths>) | null;
+/** Validate a supplied path without expanding every path of a recursive entity graph. */
+export type RelationPath<T extends DeclaredTable, Path extends string> = Path extends `${infer Head}.${infer Tail}` ? Head extends RelationKeys<T> ? `${Head}.${RelationPath<RelationTargetOf<T[Head & keyof T]>, Tail>}` : never : Path extends RelationKeys<T> ? Path : never;
+type PathHead<Path extends string> = Path extends `${infer Head}.${string}` ? Head : Path;
+type PathTail<Path extends string, Head extends string> = Path extends `${Head}.${infer Tail}` ? Tail : never;
+type RootRelationPath<T> = (RelationKeys<T> & string) | `${RelationKeys<T> & string}.${string}`;
+/**
+ * The row plus the relation paths named by `K`, populated.
+ *
+ * Dotted paths contribute their first segment to this row and pass their remaining
+ * segments to the child. Keeping direct keys in the mapped key set also lets a generic
+ * one-level relation loader index the result with its declared relation key.
+ */
+type PopulatedRow<T extends DeclaredTable, K extends string> = Entity<T> & {
+    -readonly [P in (K | PathHead<K>) & keyof T]: PopulatedValue<T[P], PathTail<K, P & string>>;
+};
+export type PopulatedEntity<T extends DeclaredTable, K extends RootRelationPath<T> = RelationKeys<T> & string> = PopulatedRow<T, K> & ([Exclude<K, RelationPath<T, K>>] extends [never] ? unknown : never);
+/** Alias kept because both names are in use across the repository and the docs. */
+export type Populated<T extends DeclaredTable, K extends RootRelationPath<T> = RelationKeys<T> & string> = PopulatedEntity<T, K>;
+/**
+ * The target of a relation: the element type for a to-many, the type itself for a to-one.
+ *
+ * `& DeclaredTable` on the way out rather than a constraint on the way in. A relation is
+ * declared as `Comment[] & OneToMany<…>`, so the element type is whatever the author wrote
+ * there and TypeScript cannot be told in advance that it is a table — but `Entity<>` wants
+ * to know, and intersecting is assignable by definition where proving is not.
+ */
+type RelationTargetOf<V> = (NonNullable<V> extends readonly (infer E)[] ? E : NonNullable<V>) & DeclaredTable;
+/**
+ * One row of a join: the base row's columns and the target's, flat.
+ *
+ * A `LEFT JOIN` can produce a row with no match, so the joined half is `Partial`. An
+ * `INNER JOIN` cannot, so it is not — and that asymmetry is the whole reason `Kind` is
+ * a parameter rather than always-partial.
+ *
+ * `../relations/index.ts` exports the same asymmetry as `JoinRow<Base, Joined, Kind>`, for
+ * the join that names its target directly instead of by a relation. Two shapes, because they
+ * take different arguments: that one is given both tables, this one is given a base table and
+ * the name of one of its relations. The conditional itself is two lines and duplicating it is
+ * cheaper than a shared helper neither would read more clearly.
+ */
+export type JoinRow<T extends DeclaredTable, K extends RelationKeys<T>, Kind extends 'inner' | 'left' = 'left'> = Kind extends 'inner' ? Entity<T> & Entity<RelationTargetOf<T[K & keyof T]>> : Entity<T> & Partial<Entity<RelationTargetOf<T[K & keyof T]>>>;
+//# sourceMappingURL=query.d.ts.map

package/dist/derive/query.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query.d.ts","sourceRoot":"","sources":["../../src/derive/query.ts"],"names":[],"mappings":"AAgBA,OAAO,EAAE,KAAK,aAAa,EAAE,KAAK,MAAM,EAAE,KAAK,YAAY,EAAE,MAAM,YAAY,CAAC;AAEhF,OAAO,EACL,KAAK,MAAM,EACX,KAAK,UAAU,EACf,KAAK,OAAO,EACZ,KAAK,UAAU,EACf,KAAK,UAAU,EACf,KAAK,aAAa,EAClB,KAAK,UAAU,EACf,KAAK,QAAQ,GACd,MAAM,iBAAiB,CAAC;AAUzB;;;;;;;;;;;;;;;;GAgBG;AACH,KAAK,cAAc,CAAC,CAAC,EAAE,KAAK,SAAS,MAAM,IACzC,WAAW,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GACvC,SAAS,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,CAAC,GAAG,aAAa,CAAC,GAAG,YAAY,CAAC,CAAC,GAAG,aAAa,EAAE,KAAK,CAAC,CAAC,EAAE,GAErG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,KAAK,CAAC,GACpB,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,GACtC,YAAY,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,aAAa,EAAE,KAAK,CAAC,CAAC,GACxD,IAAI,CAAC;AAEf,yFAAyF;AACzF,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,aAAa,EAAE,IAAI,SAAS,MAAM,IAAI,IAAI,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,IAAI,EAAE,GAC/G,IAAI,SAAS,YAAY,CAAC,CAAC,CAAC,GAC1B,GAAG,IAAI,IAAI,YAAY,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,GACpE,KAAK,GACP,IAAI,SAAS,YAAY,CAAC,CAAC,CAAC,GAC1B,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,QAAQ,CAAC,IAAI,SAAS,MAAM,IAAI,IAAI,SAAS,GAAG,MAAM,IAAI,IAAI,MAAM,EAAE,GAAG,IAAI,GAAG,IAAI,CAAC;AAC1F,KAAK,QAAQ,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,SAAS,MAAM,IAAI,IAAI,SAAS,GAAG,IAAI,IAAI,MAAM,IAAI,EAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAC9G,KAAK,gBAAgB,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,MAAM,IAAI,MAAM,EAAE,CAAC;AAEhG;;;;;;GAMG;AACH,KAAK,YAAY,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC,SAAS,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG;IACzE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,CAAC;CAC5F,CAAC;AAEF,MAAM,MAAM,eAAe,CACzB,CAAC,SAAS,aAAa,EACvB,CAAC,SAAS,gBAAgB,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,MAAM,IACtD,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,OAAO,GAAG,KAAK,CAAC,CAAC;AAE9F,mFAAmF;AACnF,MAAM,MAAM,SAAS,CACnB,CAAC,SAAS,aAAa,EACvB,CAAC,SAAS,gBAAgB,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,MAAM,IACtD,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAE1B;;;;;;;GAOG;AACH,KAAK,gBAAgB,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC;AAE9G;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,OAAO,CACjB,CAAC,SAAS,aAAa,EACvB,CAAC,SAAS,YAAY,CAAC,CAAC,CAAC,EACzB,IAAI,SAAS,OAAO,GAAG,MAAM,GAAG,MAAM,IACpC,IAAI,SAAS,OAAO,GACpB,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GACpD,MAAM,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/derive/query.js

@@ -0,0 +1,18 @@
+// @zmdb/schema/derive/query — the relation-aware half of the read surface.
+//
+// This file used to restate the whole query DTO family, because there were two of them:
+// `../dto/index.ts` was keyed by the schema value and these were keyed by the declared
+// type. There is one family now — `WhereDTO`, `OrderByDTO`, `PaginationDTO`, `Projection`,
+// `GetOptions`, `GetDTO` and `ListDTO` all take the declared type, and they live in
+// `../dto/index.ts` alongside the operator vocabulary and the runtime folders that read
+// them. Two copies of `WhereDTO` were two operator sets to keep in step; the copy is gone
+// and the names below are re-exports, so importing from either path is the same type.
+//
+// What is genuinely *here* is the three shapes that need a relation: a populated row and
+// the two spellings of a join row. Those read `RelationKeys<T>` and the relation tags off
+// the declaration, which is something only a declared type can answer — a schema value
+// carries no relations at all, which is why the version of `Populated` this replaced had
+// to rebuild the cardinality out of a `RelationMeta` through six nested conditionals.
+import {} from './index.js';
+export {} from '../dto/index.js';
+//# sourceMappingURL=query.js.map

package/dist/derive/query.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"query.js","sourceRoot":"","sources":["../../src/derive/query.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAC3E,EAAE;AACF,wFAAwF;AACxF,uFAAuF;AACvF,2FAA2F;AAC3F,oFAAoF;AACpF,wFAAwF;AACxF,0FAA0F;AAC1F,sFAAsF;AACtF,EAAE;AACF,yFAAyF;AACzF,0FAA0F;AAC1F,uFAAuF;AACvF,yFAAyF;AACzF,sFAAsF;AAEtF,OAAO,EAAsD,MAAM,YAAY,CAAC;AAEhF,OAAO,EASN,MAAM,iBAAiB,CAAC"}

package/dist/dto/index.d.ts

@@ -0,0 +1,224 @@
+import { type DeclaredTable, type RelationKeys } from '../derive/index.js';
+import { type Entity } from '../index.js';
+/**
+ * A row of a table the caller named with a string.
+ *
+ * A subquery target is `{ table: 'orders' }` — a table *name*, not a declared type — so there
+ * is nothing for its filter to be keyed by. This says exactly that much and no more: every
+ * property is a column of some SQL type, and none of them is a relation, which is what keeps
+ * `WhereDTO` willing to derive from it. It is a named type rather than an inline
+ * `Record<string, unknown>` so that it stays the one corner of the query surface that is
+ * keyed by string; everything else is keyed by the interface the table was declared as.
+ */
+export interface UnknownRow {
+    readonly [column: string]: string | number | boolean | bigint | Date | null;
+}
+export type SubqueryTarget<V = unknown> = {
+    compile(): {
+        readonly text: string;
+        readonly parameters: readonly unknown[];
+        readonly telemetry?: {
+            readonly system: string;
+            readonly operation: 'SELECT' | 'INSERT' | 'UPDATE' | 'DELETE';
+            readonly collection: string;
+        };
+    };
+    readonly _type?: V;
+} | {
+    table: string;
+    select?: readonly string[];
+    where?: WhereDTO<UnknownRow>;
+    readonly _type?: V;
+};
+type VectorOperand<V> = NonNullable<V> extends {
+    readonly __zmdbExt?: readonly [extension: string, name: 'vector', args: readonly (string | number)[]];
+} ? readonly number[] : never;
+export interface FieldOps<V> {
+    eq?: V | SubqueryTarget<V>;
+    ne?: V | SubqueryTarget<V>;
+    lt?: V | SubqueryTarget<V>;
+    lte?: V | SubqueryTarget<V>;
+    gt?: V | SubqueryTarget<V>;
+    gte?: V | SubqueryTarget<V>;
+    in?: readonly V[] | SubqueryTarget<V>;
+    nin?: readonly V[] | SubqueryTarget<V>;
+    like?: V extends string ? string | SubqueryTarget<string> : never;
+    ilike?: V extends string ? string | SubqueryTarget<string> : never;
+    l2?: VectorOperand<V>;
+    cosine?: VectorOperand<V>;
+    ip?: VectorOperand<V>;
+    isNull?: boolean;
+    notNull?: boolean;
+}
+export type WhereDTO<T extends DeclaredTable> = {
+    [K in keyof Entity<T>]?: Entity<T>[K] | FieldOps<Entity<T>[K]>;
+} & {
+    and?: readonly WhereDTO<T>[];
+    or?: readonly WhereDTO<T>[];
+    exists?: SubqueryTarget<unknown> | readonly SubqueryTarget<unknown>[];
+    notExists?: SubqueryTarget<unknown> | readonly SubqueryTarget<unknown>[];
+};
+export type OrderDir = 'asc' | 'desc';
+export type OrderByDTO<T extends DeclaredTable> = ReadonlyArray<{
+    column: keyof Entity<T>;
+    dir?: OrderDir;
+}>;
+export type OffsetPage = {
+    limit: number;
+    offset?: number | undefined;
+};
+export type PaginationDTO<T extends DeclaredTable> = OffsetPage | {
+    limit: number;
+    after?: Partial<Entity<T>> | string | undefined;
+    before?: Partial<Entity<T>> | string | undefined;
+};
+/**
+ * Schema-agnostic views of the order/page DTOs — exactly the fields the folders
+ * read. `OrderByDTO<T>`/`PaginationDTO<T>` are structurally assignable to these
+ * for *any* `T`, so callers pass their own typed DTO with no
+ * `as OrderByDTO<CoreSchema<string>>` widening cast (which is what leaked into
+ * consumer code, cf. COOKBOOK "sorting" example).
+ */
+export type OrderBySpec = ReadonlyArray<{
+    column: PropertyKey;
+    dir?: OrderDir;
+}>;
+export type PaginationSpec = {
+    limit: number;
+    offset?: number | undefined;
+    after?: Record<string, unknown> | string | undefined;
+    before?: Record<string, unknown> | string | undefined;
+};
+export declare function encodeCursor(payload: Record<string, unknown>): string;
+export declare function decodeCursor(cursor: string): Record<string, unknown>;
+export type Projection<T extends DeclaredTable, K extends keyof Entity<T>> = Pick<Entity<T>, K>;
+/** Narrow a row to `cols` (new object, stable order); passthrough when undefined. */
+export declare function project<Row extends Record<string, unknown>>(row: Row, cols: undefined): Row;
+export declare function project<Row extends Record<string, unknown>, K extends keyof Row>(row: Row, cols: readonly K[]): Pick<Row, K>;
+export declare function project<Row extends Record<string, unknown>, K extends keyof Row>(row: Row, cols: readonly K[] | undefined): Row | Pick<Row, K>;
+export interface GetOptions<T extends DeclaredTable> {
+    select?: readonly (keyof Entity<T>)[];
+    /**
+     * The relations to fetch alongside the row.
+     *
+     * `RelationKeys<T>` rather than `readonly string[]`: a declared type names its relations,
+     * so a misspelled one is a compile error rather than a relation that silently does not
+     * arrive. It was a bare `string[]` while this family was keyed by the schema value, which
+     * carries no relations to check a name against.
+     */
+    populate?: readonly RelationKeys<T>[];
+}
+export type GetDTO<T extends DeclaredTable, O extends GetOptions<T> = {}> = O['select'] extends readonly (infer K extends keyof Entity<T>)[] ? Projection<T, K> : Entity<T>;
+/** Apply a Get's select projection to a fetched row. */
+export declare function getResult<Row extends Record<string, unknown>>(row: Row, opts?: {
+    select?: readonly (keyof Row)[];
+}): Row | Partial<Row>;
+export interface ListDTO<T extends DeclaredTable> {
+    where?: WhereDTO<T>;
+    orderBy?: OrderByDTO<T>;
+    page?: PaginationDTO<T>;
+    select?: readonly (keyof Entity<T>)[];
+}
+export interface ListResult<Row> {
+    readonly items: readonly Row[];
+    readonly total?: number;
+    readonly hasMore: boolean;
+    readonly cursor?: string;
+}
+/** Everything `buildListResult` accepts except `select`, which is what its overloads differ on. */
+interface ListOptions {
+    limit?: number;
+    total?: number;
+    cursor?: string;
+    orderBy?: OrderBySpec;
+    pkColumn?: string;
+}
+/**
+ * Assemble a ListResult: limit+1 trim ⇒ hasMore, per-item projection, opt-in total, opaque cursor.
+ *
+ * Overloaded on `select` so the no-projection call keeps `ListResult<Row>` instead
+ * of widening to `ListResult<Row | Partial<Row>>` — the widening is what forced
+ * `as ListResult<Entity<T>>` in `@zmdb/orm`'s `list()`.
+ */
+export declare function buildListResult<Row extends Record<string, unknown>>(rows: readonly Row[], opts?: ListOptions): ListResult<Row>;
+export declare function buildListResult<Row extends Record<string, unknown>, K extends keyof Row>(rows: readonly Row[], opts: ListOptions & {
+    select: readonly K[];
+}): ListResult<Pick<Row, K>>;
+export declare function buildListResult<Row extends Record<string, unknown>>(rows: readonly Row[], opts?: ListOptions & {
+    select?: readonly (keyof Row)[];
+}): ListResult<Row | Partial<Row>>;
+export interface SearchDTO<T extends DeclaredTable> {
+    query: string;
+    columns: readonly (keyof Entity<T>)[];
+    where?: WhereDTO<T>;
+    page?: PaginationDTO<T>;
+    rank?: boolean;
+}
+export type SearchHit<Row> = Row & {
+    readonly _score?: number;
+};
+export type SearchResult<Row> = ListResult<SearchHit<Row>>;
+export type AggFn = 'count' | 'sum' | 'avg' | 'min' | 'max';
+/**
+ * `"relation.column"` for every relation the table declares.
+ *
+ * There was a second type parameter for this — the repository's relations map — and each of
+ * its entries named the target either as a declared type or as a schema value, so the arm
+ * that could see the target's columns was the one where an author had happened to write
+ * `entity: Order`; everything else fell back to `${Rel}.${string}`. `RelationKeys<T>` reads
+ * the target off the declaration, which every relation has, so every relation gets its
+ * columns listed.
+ */
+type RelationTargetOf<V> = (NonNullable<V> extends readonly (infer E)[] ? E : NonNullable<V>) & DeclaredTable;
+type RelatedColumns<T extends DeclaredTable> = {
+    [Rel in RelationKeys<T> & string]: `${Rel}.${keyof Entity<RelationTargetOf<T[Rel & keyof T]>> & string}`;
+}[RelationKeys<T> & string];
+export type AggregateColumn<T extends DeclaredTable> = (keyof Entity<T> & string) | RelatedColumns<T> | (string & {});
+export interface ComputedSpec<T extends DeclaredTable = DeclaredTable> {
+    fn: AggFn;
+    column?: AggregateColumn<T>;
+    raw?: string;
+}
+export interface AggregateSpec<T extends DeclaredTable> {
+    joins?: readonly (RelationKeys<T> & string)[] | readonly {
+        relation: RelationKeys<T> & string;
+        kind?: 'inner' | 'left' | 'right';
+    }[];
+    where?: WhereDTO<T> | Record<string, unknown>;
+    groupBy?: readonly AggregateColumn<T>[];
+    computed: Record<string, ComputedSpec<T>>;
+    having?: Readonly<{
+        column: AggregateColumn<T>;
+        op: string;
+        value: unknown;
+    }>;
+    orderBy?: ReadonlyArray<{
+        column: AggregateColumn<T>;
+        dir?: OrderDir;
+    }>;
+    limit?: number;
+    offset?: number;
+}
+type AggComputedType<T extends DeclaredTable, C> = C extends {
+    fn: 'count';
+} ? number : C extends {
+    fn: 'sum' | 'avg';
+} ? number | null : C extends {
+    fn: 'min' | 'max';
+    column: infer Col extends keyof Entity<T>;
+} ? Entity<T>[Col] | null : number | null;
+export type AggregateResult<T extends DeclaredTable, Spec extends AggregateSpec<T>> = {
+    [K in Spec['groupBy'] extends readonly (infer G extends keyof Entity<T>)[] ? G : never]: Entity<T>[K];
+} & {
+    [K in keyof Spec['computed']]: AggComputedType<T, Spec['computed'][K]>;
+};
+/** Ordered field list for an aggregate spec: group-key cols then computed keys. */
+export declare function describeAggregate<T extends DeclaredTable>(spec: AggregateSpec<T>): readonly string[];
+/** Assemble a SearchResult (reuses buildListResult; preserves _score on hits). */
+export declare function buildSearchResult<Row extends Record<string, unknown>>(rows: readonly SearchHit<Row>[], opts?: {
+    limit?: number;
+    select?: readonly (keyof Row)[];
+    total?: number;
+}): SearchResult<Row | Partial<Row>>;
+export {};
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/dto/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,aAAa,EAAE,KAAK,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAC3E,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,aAAa,CAAC;AAK1C;;;;;;;;;GASG;AACH,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,IAAI,GAAG,IAAI,CAAC;CAC7E;AACD,MAAM,MAAM,cAAc,CAAC,CAAC,GAAG,OAAO,IAClC;IACE,OAAO,IAAI;QACT,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,UAAU,EAAE,SAAS,OAAO,EAAE,CAAC;QACxC,QAAQ,CAAC,SAAS,CAAC,EAAE;YACnB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;YACxB,QAAQ,CAAC,SAAS,EAAE,QAAQ,GAAG,QAAQ,GAAG,QAAQ,GAAG,QAAQ,CAAC;YAC9D,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;SAC7B,CAAC;KACH,CAAC;IACF,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;CACpB,GACD;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,KAAK,CAAC,EAAE,QAAQ,CAAC,UAAU,CAAC,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;CAAE,CAAC;AAEpG,KAAK,aAAa,CAAC,CAAC,IAClB,WAAW,CAAC,CAAC,CAAC,SAAS;IACrB,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,CAAC;CACvG,GACG,SAAS,MAAM,EAAE,GACjB,KAAK,CAAC;AAEZ,MAAM,WAAW,QAAQ,CAAC,CAAC;IACzB,EAAE,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IAC3B,EAAE,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IAC3B,EAAE,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IAC3B,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IAC5B,EAAE,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IAC3B,GAAG,CAAC,EAAE,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IAC5B,EAAE,CAAC,EAAE,SAAS,CAAC,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IACtC,GAAG,CAAC,EAAE,SAAS,CAAC,EAAE,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IACvC,IAAI,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;IAClE,KAAK,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,cAAc,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC;IACnE,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IACtB,MAAM,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IAC1B,EAAE,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IACtB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,aAAa,IAAI;KAC7C,CAAC,IAAI,MAAM,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAC/D,GAAG;IACF,GAAG,CAAC,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7B,EAAE,CAAC,EAAE,SAAS,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;IAC5B,MAAM,CAAC,EAAE,cAAc,CAAC,OAAO,CAAC,GAAG,SAAS,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;IACtE,SAAS,CAAC,EAAE,cAAc,CAAC,OAAO,CAAC,GAAG,SAAS,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;CAC1E,CAAC;AAKF,MAAM,MAAM,QAAQ,GAAG,KAAK,GAAG,MAAM,CAAC;AAEtC,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,aAAa,IAAI,aAAa,CAAC;IAC9D,MAAM,EAAE,MAAM,MAAM,CAAC,CAAC,CAAC,CAAC;IACxB,GAAG,CAAC,EAAE,QAAQ,CAAC;CAChB,CAAC,CAAC;AAEH,MAAM,MAAM,UAAU,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC;AAExE,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,aAAa,IAC7C,UAAU,GACV;IACE,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,SAAS,CAAC;IAChD,MAAM,CAAC,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,SAAS,CAAC;CAClD,CAAC;AAEN;;;;;;GAMG;AACH,MAAM,MAAM,WAAW,GAAG,aAAa,CAAC;IACtC,MAAM,EAAE,WAAW,CAAC;IACpB,GAAG,CAAC,EAAE,QAAQ,CAAC;CAChB,CAAC,CAAC;AAIH,MAAM,MAAM,cAAc,GAAG;IAC3B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IAC5B,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,GAAG,SAAS,CAAC;IACrD,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,GAAG,SAAS,CAAC;CACvD,CAAC;AAwBF,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAErE;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAkBpE;AAKD,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC,SAAS,MAAM,MAAM,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEhG,qFAAqF;AACrF,wBAAgB,OAAO,CAAC,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,GAAG,GAAG,CAAC;AAE7F,wBAAgB,OAAO,CAAC,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,EAC9E,GAAG,EAAE,GAAG,EACR,IAAI,EAAE,SAAS,CAAC,EAAE,GACjB,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAEhB,wBAAgB,OAAO,CAAC,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,EAC9E,GAAG,EAAE,GAAG,EACR,IAAI,EAAE,SAAS,CAAC,EAAE,GAAG,SAAS,GAC7B,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;AAmBtB,MAAM,WAAW,UAAU,CAAC,CAAC,SAAS,aAAa;IACjD,MAAM,CAAC,EAAE,SAAS,CAAC,MAAM,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtC;;;;;;;OAOG;IACH,QAAQ,CAAC,EAAE,SAAS,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC;CACvC;AAED,MAAM,MAAM,MAAM,CAChB,CAAC,SAAS,aAAa,EACvB,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,IAC1B,CAAC,CAAC,QAAQ,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;AAEpG,wDAAwD;AACxD,wBAAgB,SAAS,CAAC,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC3D,GAAG,EAAE,GAAG,EACR,IAAI,CAAC,EAAE;IAAE,MAAM,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAA;CAAE,GACzC,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAEpB;AAKD,MAAM,WAAW,OAAO,CAAC,CAAC,SAAS,aAAa;IAC9C,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACpB,OAAO,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IACxB,MAAM,CAAC,EAAE,SAAS,CAAC,MAAM,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;CACvC;AAED,MAAM,WAAW,UAAU,CAAC,GAAG;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,EAAE,CAAC;IAC/B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,mGAAmG;AACnG,UAAU,WAAW;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACjE,IAAI,EAAE,SAAS,GAAG,EAAE,EACpB,IAAI,CAAC,EAAE,WAAW,GACjB,UAAU,CAAC,GAAG,CAAC,CAAC;AAEnB,wBAAgB,eAAe,CAAC,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC,SAAS,MAAM,GAAG,EACtF,IAAI,EAAE,SAAS,GAAG,EAAE,EACpB,IAAI,EAAE,WAAW,GAAG;IAAE,MAAM,EAAE,SAAS,CAAC,EAAE,CAAA;CAAE,GAC3C,UAAU,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;AAE5B,wBAAgB,eAAe,CAAC,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACjE,IAAI,EAAE,SAAS,GAAG,EAAE,EACpB,IAAI,CAAC,EAAE,WAAW,GAAG;IAAE,MAAM,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAA;CAAE,GACvD,UAAU,CAAC,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;AAyClC,MAAM,WAAW,SAAS,CAAC,CAAC,SAAS,aAAa;IAChD,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,SAAS,CAAC,MAAM,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IACtC,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC;IACpB,IAAI,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC;IACxB,IAAI,CAAC,EAAE,OAAO,CAAC;CAChB;AAED,MAAM,MAAM,SAAS,CAAC,GAAG,IAAI,GAAG,GAAG;IAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAEhE,MAAM,MAAM,YAAY,CAAC,GAAG,IAAI,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;AAK3D,MAAM,MAAM,KAAK,GAAG,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAC;AAE5D;;;;;;;;;GASG;AACH,KAAK,gBAAgB,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC;AAE9G,KAAK,cAAc,CAAC,CAAC,SAAS,aAAa,IAAI;KAC5C,GAAG,IAAI,YAAY,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,GAAG,GAAG,IAAI,MAAM,MAAM,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,EAAE;CACzG,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;AAE5B,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,aAAa,IAAI,CAAC,MAAM,MAAM,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;AAEtH,MAAM,WAAW,YAAY,CAAC,CAAC,SAAS,aAAa,GAAG,aAAa;IACnE,EAAE,EAAE,KAAK,CAAC;IACV,MAAM,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;IAC5B,GAAG,CAAC,EAAE,MAAM,CAAC;CACd;AAED,MAAM,WAAW,aAAa,CAAC,CAAC,SAAS,aAAa;IACpD,KAAK,CAAC,EACF,SAAS,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,GACrC,SAAS;QAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;QAAC,IAAI,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,OAAO,CAAA;KAAE,EAAE,CAAC;IACzF,KAAK,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC9C,OAAO,CAAC,EAAE,SAAS,eAAe,CAAC,CAAC,CAAC,EAAE,CAAC;IACxC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,MAAM,CAAC,EAAE,QAAQ,CAAC;QAAE,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;QAAC,EAAE,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,OAAO,CAAA;KAAE,CAAC,CAAC;IAC9E,OAAO,CAAC,EAAE,aAAa,CAAC;QAAE,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC;QAAC,GAAG,CAAC,EAAE,QAAQ,CAAA;KAAE,CAAC,CAAC;IACxE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,KAAK,eAAe,CAAC,CAAC,SAAS,aAAa,EAAE,CAAC,IAAI,CAAC,SAAS;IAAE,EAAE,EAAE,OAAO,CAAA;CAAE,GACxE,MAAM,GACN,CAAC,SAAS;IAAE,EAAE,EAAE,KAAK,GAAG,KAAK,CAAA;CAAE,GAC7B,MAAM,GAAG,IAAI,GACb,CAAC,SAAS;IAAE,EAAE,EAAE,KAAK,GAAG,KAAK,CAAC;IAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,MAAM,CAAC,CAAC,CAAC,CAAA;CAAE,GACxE,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,GACrB,MAAM,GAAG,IAAI,CAAC;AAEtB,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,aAAa,EAAE,IAAI,SAAS,aAAa,CAAC,CAAC,CAAC,IAAI;KACnF,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACtG,GAAG;KACD,CAAC,IAAI,MAAM,IAAI,CAAC,UAAU,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;CACvE,CAAC;AAEF,mFAAmF;AACnF,wBAAgB,iBAAiB,CAAC,CAAC,SAAS,aAAa,EAAE,IAAI,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,SAAS,MAAM,EAAE,CAGpG;AAED,kFAAkF;AAClF,wBAAgB,iBAAiB,CAAC,GAAG,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACnE,IAAI,EAAE,SAAS,SAAS,CAAC,GAAG,CAAC,EAAE,EAC/B,IAAI,CAAC,EAAE;IAAE,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,MAAM,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,GACzE,YAAY,CAAC,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAalC"}