@lunora/server 0.0.0 → 1.0.0-alpha.1

package/dist/data-model.d.mts

@@ -0,0 +1,328 @@
+/**
+* Schema-independent type machinery for the generated data model.
+*
+* `@lunora/codegen` emits `lunora/_generated/dataModel.ts` with the
+* schema-specific pieces (the per-table `Doc_*` / `Insert_*` interfaces, the
+* `DataModel` / `Relations` / index-name maps) and then binds the generics
+* below to them. Everything here is identical for every project, so it lives
+* in the shipped package rather than in generated output — evolving the query
+* DSL or the table-facade API no longer regenerates a single line of a user's
+* `_generated` directory.
+*
+* The generics are parameterized over the generated maps:
+* - `DM`   — `DataModel`: table name → document type
+* - `IM`   — `InsertModel`: table name → insert shape
+* - `REL`  — `Relations`: table name → relation-descriptor map
+* - `RANK` — `RankIndexNamesByTable`: table name → declared rank-index names
+* - `SEARCH` — `SearchIndexNamesByTable`: table name → declared search-index names
+*
+* Relation descriptors are matched structurally (`{ __relationKind; __target }`)
+* so this module needs no reference to the project-local `OneRelation` /
+* `ManyRelation` aliases the codegen still emits.
+*/
+/** A branded id for table `TName`. Structurally a `string` at runtime. */
+type Id<TName extends string> = string & {
+  readonly __table: TName;
+};
+/** Field-level operators for the typed `where` DSL (see `@lunora/do`'s compiler). */
+interface WhereOperators<T> {
+  contains?: string;
+  eq?: T;
+  gt?: T;
+  gte?: T;
+  in?: T[];
+  isNull?: boolean;
+  lt?: T;
+  lte?: T;
+  ne?: T;
+  notIn?: T[];
+}
+/** A typed `where` tree over a document's columns. */
+type Where<TDocument> = { [K in keyof TDocument]?: TDocument[K] | WhereOperators<TDocument[K]> } & {
+  AND?: Where<TDocument>[];
+  NOT?: Where<TDocument>;
+  OR?: Where<TDocument>[];
+};
+/** One `{ field: "asc" | "desc" }` ordering entry; `orderBy` is an ordered list. */
+type OrderBy<TDocument> = Partial<Record<keyof TDocument, "asc" | "desc">>;
+interface QueryArgs<TDocument> {
+  cursor?: null | string;
+  limit?: number;
+  orderBy?: OrderBy<TDocument>[];
+  where?: Where<TDocument>;
+}
+/**
+* A to-one relation predicate node. `is` matches rows whose related record
+* satisfies `W`; `isNot` matches rows whose related record fails `W` *or* has
+* no related record at all (a null/dangling FK) — Prisma's semantics.
+*/
+interface OneRelationWhere<W> {
+  is?: W;
+  isNot?: W;
+}
+/**
+* A to-many relation predicate node. `some` ⇒ at least one related row matches
+* `W`; `none` ⇒ no related row matches (childless parents included); `every` ⇒
+* every *readable* related row matches (vacuously true for childless parents).
+*/
+interface ManyRelationWhere<W> {
+  every?: W;
+  none?: W;
+  some?: W;
+}
+/**
+* The relation-predicate portion of {@link WhereOf}: each declared relation on
+* `T` contributes a kind-dispatched node — `one` → `{ is?; isNot? }`, `many` →
+* `{ some?; none?; every? }` — whose inner type is the target table's own
+* relation-aware `where` (so multi-hop predicates type-check inside-out).
+*/
+type RelationWhere<DM, REL extends Record<keyof DM, object>, T extends keyof DM> = { [K in keyof REL[T]]?: REL[T][K] extends {
+  __relationKind: "one";
+  __target: infer Target extends keyof DM;
+} ? OneRelationWhere<WhereOf<DM, REL, Target>> : REL[T][K] extends {
+  __relationKind: "many";
+  __target: infer Target extends keyof DM;
+} ? ManyRelationWhere<WhereOf<DM, REL, Target>> : never };
+/**
+* Relation-aware `where` tree — the column predicates of {@link Where} plus
+* Prisma-style relation predicates resolved by the `@lunora/do` pre-resolver.
+* `Where&lt;DM[T]>` stays the column-only structural mirror for back-compat; the
+* table facade threads `REL` through this richer form.
+*/
+type WhereOf<DM, REL extends Record<keyof DM, object>, T extends keyof DM> = RelationWhere<DM, REL, T> & { [K in keyof DM[T]]?: DM[T][K] | WhereOperators<DM[T][K]> } & {
+  AND?: WhereOf<DM, REL, T>[];
+  NOT?: WhereOf<DM, REL, T>;
+  OR?: WhereOf<DM, REL, T>[];
+};
+/** {@link QueryArgs} with the relation-aware {@link WhereOf} `where` typing. */
+interface QueryArgsOf<DM, REL extends Record<keyof DM, object>, T extends keyof DM> {
+  cursor?: null | string;
+  limit?: number;
+  orderBy?: OrderBy<DM[T]>[];
+  where?: WhereOf<DM, REL, T>;
+}
+interface QueryPage<TDocument> {
+  continueCursor: null | string;
+  isDone: boolean;
+  page: TDocument[];
+}
+/** The nested `with` sub-argument inside a relation's with-value, or `{}`. */
+type NestedWithArgument<WK> = WK extends {
+  with: infer NW;
+} ? NW : {};
+/**
+* The `with` argument for table `T`: each relation can be `true` (load with no
+* refinements) or an object. `many` relations accept `where`/`orderBy`/`limit`
+* plus a nested `with`; `one` relations accept only a nested `with`. The
+* reserved `_count` key requests per-relation aggregate counts.
+*/
+type WithArg<DM, REL extends Record<keyof DM, object>, T extends keyof DM> = { [K in keyof REL[T]]?: REL[T][K] extends {
+  __relationKind: "many";
+  __target: infer Target extends keyof DM;
+} ? boolean | (QueryArgs<DM[Target]> & {
+  with?: WithArg<DM, REL, Target>;
+}) : REL[T][K] extends {
+  __relationKind: "one";
+  __target: infer Target extends keyof DM;
+} ? boolean | {
+  with?: WithArg<DM, REL, Target>;
+} : never } & {
+  _count?: { [K in keyof REL[T]]?: true };
+};
+/** Resolve a single relation descriptor + its with-value to the loaded type. */
+type LoadRelation<DM, REL extends Record<keyof DM, object>, R, WK> = R extends {
+  __relationKind: "one";
+  __target: infer Target extends keyof DM;
+} ? LoadWith<DM, REL, Target, NestedWithArgument<WK>> | null : R extends {
+  __relationKind: "many";
+  __target: infer Target extends keyof DM;
+} ? LoadWith<DM, REL, Target, NestedWithArgument<WK>>[] : never;
+/** The relation keys of `W` that were actually requested (not `false`/`undefined`). */
+type LoadedRelations<DM, REL extends Record<keyof DM, object>, T extends keyof DM, W> = { [K in keyof W as K extends keyof REL[T] ? (W[K] extends false | undefined ? never : K) : never]: K extends keyof REL[T] ? LoadRelation<DM, REL, REL[T][K], W[K]> : never };
+/** The `_count` projection of `W`, if any. */
+type LoadedCount<W> = W extends {
+  _count: infer C;
+} ? {
+  _count: { [K in keyof C]: number };
+} : {};
+/** `Doc&lt;T>` narrowed to exactly the relations requested in the with-arg `W`. */
+type LoadWith<DM, REL extends Record<keyof DM, object>, T extends keyof DM, W> = DM[T] & LoadedCount<W> & LoadedRelations<DM, REL, T, W>;
+/** Reducer applied by an aggregate (`avg`/`count`/`max`/`min`/`sum`). */
+type AggregateOp = "avg" | "count" | "max" | "min" | "sum";
+/**
+* Query-options shape shared by every aggregate reader. The RLS-aware ctx
+* populates `baseWhere` so it composes here without a hard import.
+* `restrictsCounts: true` flips `count()` into a thrown `COUNT_RLS_UNSUPPORTED`
+* `LunoraError` rather than silently undercount.
+*/
+interface RestrictableQueryOptions<TDocument> {
+  baseWhere?: Where<TDocument>;
+  restrictsCounts?: boolean;
+  where?: Where<TDocument>;
+}
+/**
+* Relation-aware twin of {@link RestrictableQueryOptions}. The `@lunora/do`
+* pre-resolver now resolves relation predicates on the `count`/`aggregate`/
+* `groupBy` paths too (semijoin), so the typed surface threads `REL` through
+* `where`/`baseWhere` to match. `rank`/`rankPage` stay column-only — they use
+* `where` solely to pin a partition and fail closed on a relation predicate.
+*/
+interface RestrictableQueryOptionsOf<DM, REL extends Record<keyof DM, object>, T extends keyof DM> {
+  baseWhere?: WhereOf<DM, REL, T>;
+  restrictsCounts?: boolean;
+  where?: WhereOf<DM, REL, T>;
+}
+/** Args for `ctx.db.&lt;table>.aggregate({ op, field?, where? })`. */
+interface TableAggregateOptions<TDocument> extends RestrictableQueryOptions<TDocument> {
+  field?: keyof TDocument & string;
+  op: AggregateOp;
+}
+/** Relation-aware twin of {@link TableAggregateOptions} (see {@link RestrictableQueryOptionsOf}). */
+interface TableAggregateOptionsOf<DM, REL extends Record<keyof DM, object>, T extends keyof DM> extends RestrictableQueryOptionsOf<DM, REL, T> {
+  field?: keyof DM[T] & string;
+  op: AggregateOp;
+}
+/** Args for `ctx.db.&lt;table>.groupBy({ by, agg?, where? })`. */
+interface TableGroupByOptions<TDocument> extends RestrictableQueryOptions<TDocument> {
+  agg?: {
+    field?: keyof TDocument & string;
+    op: AggregateOp;
+  };
+  by: ReadonlyArray<keyof TDocument & string>;
+}
+/** Relation-aware twin of {@link TableGroupByOptions} (see {@link RestrictableQueryOptionsOf}). */
+interface TableGroupByOptionsOf<DM, REL extends Record<keyof DM, object>, T extends keyof DM> extends RestrictableQueryOptionsOf<DM, REL, T> {
+  agg?: {
+    field?: keyof DM[T] & string;
+    op: AggregateOp;
+  };
+  by: ReadonlyArray<keyof DM[T] & string>;
+}
+/** One entry returned by `groupBy` — the group's by-tuple plus the reducer value. */
+interface GroupByEntry<TDocument> {
+  key: Partial<TDocument>;
+  value: null | number;
+}
+/** Args for `ctx.db.&lt;table>.rank(name, args)`. `row` is either an id or a row doc. */
+interface TableRankOptions<TDocument> extends RestrictableQueryOptions<TDocument> {
+  row: string | TDocument;
+}
+/** Result of `rank` — 1-based position within the partition + partition total. */
+interface RankResult {
+  position: number;
+  total: number;
+}
+/** Args for `ctx.db.&lt;table>.rankPage(name, args)`. */
+interface TableRankPageOptions<TDocument> extends RestrictableQueryOptions<TDocument> {
+  cursor?: null | string;
+  take?: number;
+}
+/** One page returned by `rankPage`. */
+interface RankPage<TDocument> {
+  continueCursor: null | string;
+  isDone: boolean;
+  page: TDocument[];
+}
+/**
+* Builder passed to `.withSearchIndex(name, q => …)`. `.search(field, query)`
+* runs the full-text match against the index's searchable field; `.eq(field,
+* value)` narrows by a declared filter field. Field names are constrained to
+* the table's columns.
+*/
+interface SearchFilterBuilder<TDocument> {
+  eq: <F extends keyof TDocument & string>(field: F, value: TDocument[F]) => SearchFilterBuilder<TDocument>;
+  search: (field: keyof TDocument & string, query: string) => SearchFilterBuilder<TDocument>;
+}
+/**
+* Chainable reader returned by `.withSearchIndex()` — rows come back ordered
+* by relevance. `.paginate()` is intentionally absent (a relevance-ordered
+* search can't keyset-paginate); cap the result set with `.take(n)`.
+*/
+interface SearchReader<TDocument> {
+  collect: () => Promise<TDocument[]>;
+  first: () => Promise<TDocument | null>;
+  take: (limit: number) => Promise<TDocument[]>;
+  unique: () => Promise<TDocument | null>;
+}
+/** Read-only typed table accessor exposed on `QueryCtx.db.&lt;table>`. */
+interface TableReaderFacade<DM, REL extends Record<keyof DM, object>, RANK extends Record<keyof DM, string>, SEARCH extends Record<keyof DM, string>, T extends keyof DM> {
+  /**
+  * Reduce rows in this table to a scalar (`avg`/`max`/`min`/`sum` — `count`
+  * lives on its own method). Routes through a declared `aggregateIndex` when
+  * the planner can prove the request is answerable; otherwise scans.
+  */
+  aggregate: (options: TableAggregateOptionsOf<DM, REL, T>) => Promise<null | number>;
+  /**
+  * Count rows. The planner routes `where` keys that match a declared
+  * `aggregateIndex.by` set to the indexed counter (no scan); otherwise
+  * falls back to a SCAN. Accepts either a bare `where` tree or the broader
+  * `RestrictableQueryOptions` shape; the latter is the seam the RLS layer
+  * uses to inject `baseWhere` and `restrictsCounts`.
+  */
+  count: (where?: RestrictableQueryOptionsOf<DM, REL, T> | WhereOf<DM, REL, T>) => Promise<number>;
+  findFirst: <W extends WithArg<DM, REL, T> = {}>(args?: QueryArgsOf<DM, REL, T> & {
+    with?: W;
+  }) => Promise<LoadWith<DM, REL, T, W> | null>;
+  findFirstOrThrow: <W extends WithArg<DM, REL, T> = {}>(args?: QueryArgsOf<DM, REL, T> & {
+    with?: W;
+  }) => Promise<LoadWith<DM, REL, T, W>>;
+  findMany: <W extends WithArg<DM, REL, T> = {}>(args?: QueryArgsOf<DM, REL, T> & {
+    with?: W;
+  }) => Promise<QueryPage<LoadWith<DM, REL, T, W>>>;
+  get: (id: Id<string & T>) => Promise<DM[T] | null>;
+  /**
+  * Group rows by the named keys and apply `agg` per group (defaults to
+  * `count`). Answered from the counter table when an aggregate index's
+  * `by` matches `options.by` exactly; otherwise scans.
+  */
+  groupBy: (options: TableGroupByOptionsOf<DM, REL, T>) => Promise<ReadonlyArray<GroupByEntry<DM[T]>>>;
+  /**
+  * Return the 1-based position of `options.row` within its partition
+  * under the declared rankIndex `indexName`, plus the partition's total
+  * row count. `null` when the row isn't in the index. Honors the same
+  * `baseWhere` / `restrictsCounts` RLS seam as `count()`.
+  */
+  rank: (indexName: RANK[T], options: TableRankOptions<DM[T]>) => Promise<null | RankResult>;
+  /**
+  * Walk the rank companion in declared sort order — sorted pagination
+  * accelerator. `options.where` may pin the partition; `cursor`/`take`
+  * follow the Convex-style keyset shape.
+  */
+  rankPage: (indexName: RANK[T], options?: TableRankPageOptions<DM[T]>) => Promise<RankPage<DM[T]>>;
+  /**
+  * Restrict the query to a declared `.searchIndex()` and run a full-text
+  * match. `indexName` is constrained to this table's search indexes
+  * (`never` when it declares none). Returns a relevance-ordered reader —
+  * finish with `.take(n)` / `.collect()`.
+  */
+  withSearchIndex: (indexName: SEARCH[T], search: (q: SearchFilterBuilder<DM[T]>) => SearchFilterBuilder<DM[T]>) => SearchReader<DM[T]>;
+}
+/** Read-write typed table accessor exposed on `MutationCtx.db.&lt;table>` / `ActionCtx.db.&lt;table>`. */
+interface TableWriterFacade<DM, IM extends Record<keyof DM, object>, REL extends Record<keyof DM, object>, RANK extends Record<keyof DM, string>, SEARCH extends Record<keyof DM, string>, T extends keyof DM> extends TableReaderFacade<DM, REL, RANK, SEARCH, T> {
+  delete: (id: Id<string & T>) => Promise<void>;
+  /** Delete many rows in this table by id in one call; returns the *requested* id count (unknown ids are no-ops). Atomic within a mutation (a throw rolls the mutation back); an action has no transaction span. */
+  deleteMany: (ids: ReadonlyArray<Id<string & T>>, options?: {
+    limit?: number;
+  }) => Promise<{
+    deleted: number;
+  }>;
+  insert: (values: IM[T]) => Promise<Id<string & T>>;
+  /** Insert many documents into this table in one call, returning the minted ids in input order. Atomic within a mutation (a throw rolls the mutation back); an action has no transaction span. */
+  insertMany: (values: ReadonlyArray<IM[T]>, options?: {
+    limit?: number;
+  }) => Promise<Id<string & T>[]>;
+  patch: (id: Id<string & T>, values: Partial<IM[T]>) => Promise<void>;
+  /** Patch many rows in this table by id in one call. Atomic within a mutation (a throw rolls the mutation back); an action has no transaction span. */
+  patchMany: (patches: ReadonlyArray<{
+    id: Id<string & T>;
+    values: Partial<IM[T]>;
+  }>, options?: {
+    limit?: number;
+  }) => Promise<void>;
+  replace: (id: Id<string & T>, values: IM[T]) => Promise<void>;
+}
+/** Per-table read facade — `ctx.db.&lt;table>` on a `QueryCtx`. */
+type DatabaseReaderFacade<DM, REL extends Record<keyof DM, object>, RANK extends Record<keyof DM, string>, SEARCH extends Record<keyof DM, string>> = { readonly [T in keyof DM]: TableReaderFacade<DM, REL, RANK, SEARCH, T> };
+/** Per-table read-write facade — `ctx.db.&lt;table>` on a `MutationCtx` / `ActionCtx`. */
+type DatabaseWriterFacade<DM, IM extends Record<keyof DM, object>, REL extends Record<keyof DM, object>, RANK extends Record<keyof DM, string>, SEARCH extends Record<keyof DM, string>> = { readonly [T in keyof DM]: TableWriterFacade<DM, IM, REL, RANK, SEARCH, T> };
+export { AggregateOp, DatabaseReaderFacade, DatabaseWriterFacade, GroupByEntry, Id, LoadWith, ManyRelationWhere, OneRelationWhere, OrderBy, QueryArgs, QueryArgsOf, QueryPage, RankPage, RankResult, RestrictableQueryOptions, RestrictableQueryOptionsOf, SearchFilterBuilder, SearchReader, TableAggregateOptions, TableAggregateOptionsOf, TableGroupByOptions, TableGroupByOptionsOf, TableRankOptions, TableRankPageOptions, TableReaderFacade, TableWriterFacade, Where, WhereOf, WhereOperators, WithArg };

package/dist/data-model.d.ts

@@ -0,0 +1,328 @@
+/**
+* Schema-independent type machinery for the generated data model.
+*
+* `@lunora/codegen` emits `lunora/_generated/dataModel.ts` with the
+* schema-specific pieces (the per-table `Doc_*` / `Insert_*` interfaces, the
+* `DataModel` / `Relations` / index-name maps) and then binds the generics
+* below to them. Everything here is identical for every project, so it lives
+* in the shipped package rather than in generated output — evolving the query
+* DSL or the table-facade API no longer regenerates a single line of a user's
+* `_generated` directory.
+*
+* The generics are parameterized over the generated maps:
+* - `DM`   — `DataModel`: table name → document type
+* - `IM`   — `InsertModel`: table name → insert shape
+* - `REL`  — `Relations`: table name → relation-descriptor map
+* - `RANK` — `RankIndexNamesByTable`: table name → declared rank-index names
+* - `SEARCH` — `SearchIndexNamesByTable`: table name → declared search-index names
+*
+* Relation descriptors are matched structurally (`{ __relationKind; __target }`)
+* so this module needs no reference to the project-local `OneRelation` /
+* `ManyRelation` aliases the codegen still emits.
+*/
+/** A branded id for table `TName`. Structurally a `string` at runtime. */
+type Id<TName extends string> = string & {
+  readonly __table: TName;
+};
+/** Field-level operators for the typed `where` DSL (see `@lunora/do`'s compiler). */
+interface WhereOperators<T> {
+  contains?: string;
+  eq?: T;
+  gt?: T;
+  gte?: T;
+  in?: T[];
+  isNull?: boolean;
+  lt?: T;
+  lte?: T;
+  ne?: T;
+  notIn?: T[];
+}
+/** A typed `where` tree over a document's columns. */
+type Where<TDocument> = { [K in keyof TDocument]?: TDocument[K] | WhereOperators<TDocument[K]> } & {
+  AND?: Where<TDocument>[];
+  NOT?: Where<TDocument>;
+  OR?: Where<TDocument>[];
+};
+/** One `{ field: "asc" | "desc" }` ordering entry; `orderBy` is an ordered list. */
+type OrderBy<TDocument> = Partial<Record<keyof TDocument, "asc" | "desc">>;
+interface QueryArgs<TDocument> {
+  cursor?: null | string;
+  limit?: number;
+  orderBy?: OrderBy<TDocument>[];
+  where?: Where<TDocument>;
+}
+/**
+* A to-one relation predicate node. `is` matches rows whose related record
+* satisfies `W`; `isNot` matches rows whose related record fails `W` *or* has
+* no related record at all (a null/dangling FK) — Prisma's semantics.
+*/
+interface OneRelationWhere<W> {
+  is?: W;
+  isNot?: W;
+}
+/**
+* A to-many relation predicate node. `some` ⇒ at least one related row matches
+* `W`; `none` ⇒ no related row matches (childless parents included); `every` ⇒
+* every *readable* related row matches (vacuously true for childless parents).
+*/
+interface ManyRelationWhere<W> {
+  every?: W;
+  none?: W;
+  some?: W;
+}
+/**
+* The relation-predicate portion of {@link WhereOf}: each declared relation on
+* `T` contributes a kind-dispatched node — `one` → `{ is?; isNot? }`, `many` →
+* `{ some?; none?; every? }` — whose inner type is the target table's own
+* relation-aware `where` (so multi-hop predicates type-check inside-out).
+*/
+type RelationWhere<DM, REL extends Record<keyof DM, object>, T extends keyof DM> = { [K in keyof REL[T]]?: REL[T][K] extends {
+  __relationKind: "one";
+  __target: infer Target extends keyof DM;
+} ? OneRelationWhere<WhereOf<DM, REL, Target>> : REL[T][K] extends {
+  __relationKind: "many";
+  __target: infer Target extends keyof DM;
+} ? ManyRelationWhere<WhereOf<DM, REL, Target>> : never };
+/**
+* Relation-aware `where` tree — the column predicates of {@link Where} plus
+* Prisma-style relation predicates resolved by the `@lunora/do` pre-resolver.
+* `Where&lt;DM[T]>` stays the column-only structural mirror for back-compat; the
+* table facade threads `REL` through this richer form.
+*/
+type WhereOf<DM, REL extends Record<keyof DM, object>, T extends keyof DM> = RelationWhere<DM, REL, T> & { [K in keyof DM[T]]?: DM[T][K] | WhereOperators<DM[T][K]> } & {
+  AND?: WhereOf<DM, REL, T>[];
+  NOT?: WhereOf<DM, REL, T>;
+  OR?: WhereOf<DM, REL, T>[];
+};
+/** {@link QueryArgs} with the relation-aware {@link WhereOf} `where` typing. */
+interface QueryArgsOf<DM, REL extends Record<keyof DM, object>, T extends keyof DM> {
+  cursor?: null | string;
+  limit?: number;
+  orderBy?: OrderBy<DM[T]>[];
+  where?: WhereOf<DM, REL, T>;
+}
+interface QueryPage<TDocument> {
+  continueCursor: null | string;
+  isDone: boolean;
+  page: TDocument[];
+}
+/** The nested `with` sub-argument inside a relation's with-value, or `{}`. */
+type NestedWithArgument<WK> = WK extends {
+  with: infer NW;
+} ? NW : {};
+/**
+* The `with` argument for table `T`: each relation can be `true` (load with no
+* refinements) or an object. `many` relations accept `where`/`orderBy`/`limit`
+* plus a nested `with`; `one` relations accept only a nested `with`. The
+* reserved `_count` key requests per-relation aggregate counts.
+*/
+type WithArg<DM, REL extends Record<keyof DM, object>, T extends keyof DM> = { [K in keyof REL[T]]?: REL[T][K] extends {
+  __relationKind: "many";
+  __target: infer Target extends keyof DM;
+} ? boolean | (QueryArgs<DM[Target]> & {
+  with?: WithArg<DM, REL, Target>;
+}) : REL[T][K] extends {
+  __relationKind: "one";
+  __target: infer Target extends keyof DM;
+} ? boolean | {
+  with?: WithArg<DM, REL, Target>;
+} : never } & {
+  _count?: { [K in keyof REL[T]]?: true };
+};
+/** Resolve a single relation descriptor + its with-value to the loaded type. */
+type LoadRelation<DM, REL extends Record<keyof DM, object>, R, WK> = R extends {
+  __relationKind: "one";
+  __target: infer Target extends keyof DM;
+} ? LoadWith<DM, REL, Target, NestedWithArgument<WK>> | null : R extends {
+  __relationKind: "many";
+  __target: infer Target extends keyof DM;
+} ? LoadWith<DM, REL, Target, NestedWithArgument<WK>>[] : never;
+/** The relation keys of `W` that were actually requested (not `false`/`undefined`). */
+type LoadedRelations<DM, REL extends Record<keyof DM, object>, T extends keyof DM, W> = { [K in keyof W as K extends keyof REL[T] ? (W[K] extends false | undefined ? never : K) : never]: K extends keyof REL[T] ? LoadRelation<DM, REL, REL[T][K], W[K]> : never };
+/** The `_count` projection of `W`, if any. */
+type LoadedCount<W> = W extends {
+  _count: infer C;
+} ? {
+  _count: { [K in keyof C]: number };
+} : {};
+/** `Doc&lt;T>` narrowed to exactly the relations requested in the with-arg `W`. */
+type LoadWith<DM, REL extends Record<keyof DM, object>, T extends keyof DM, W> = DM[T] & LoadedCount<W> & LoadedRelations<DM, REL, T, W>;
+/** Reducer applied by an aggregate (`avg`/`count`/`max`/`min`/`sum`). */
+type AggregateOp = "avg" | "count" | "max" | "min" | "sum";
+/**
+* Query-options shape shared by every aggregate reader. The RLS-aware ctx
+* populates `baseWhere` so it composes here without a hard import.
+* `restrictsCounts: true` flips `count()` into a thrown `COUNT_RLS_UNSUPPORTED`
+* `LunoraError` rather than silently undercount.
+*/
+interface RestrictableQueryOptions<TDocument> {
+  baseWhere?: Where<TDocument>;
+  restrictsCounts?: boolean;
+  where?: Where<TDocument>;
+}
+/**
+* Relation-aware twin of {@link RestrictableQueryOptions}. The `@lunora/do`
+* pre-resolver now resolves relation predicates on the `count`/`aggregate`/
+* `groupBy` paths too (semijoin), so the typed surface threads `REL` through
+* `where`/`baseWhere` to match. `rank`/`rankPage` stay column-only — they use
+* `where` solely to pin a partition and fail closed on a relation predicate.
+*/
+interface RestrictableQueryOptionsOf<DM, REL extends Record<keyof DM, object>, T extends keyof DM> {
+  baseWhere?: WhereOf<DM, REL, T>;
+  restrictsCounts?: boolean;
+  where?: WhereOf<DM, REL, T>;
+}
+/** Args for `ctx.db.&lt;table>.aggregate({ op, field?, where? })`. */
+interface TableAggregateOptions<TDocument> extends RestrictableQueryOptions<TDocument> {
+  field?: keyof TDocument & string;
+  op: AggregateOp;
+}
+/** Relation-aware twin of {@link TableAggregateOptions} (see {@link RestrictableQueryOptionsOf}). */
+interface TableAggregateOptionsOf<DM, REL extends Record<keyof DM, object>, T extends keyof DM> extends RestrictableQueryOptionsOf<DM, REL, T> {
+  field?: keyof DM[T] & string;
+  op: AggregateOp;
+}
+/** Args for `ctx.db.&lt;table>.groupBy({ by, agg?, where? })`. */
+interface TableGroupByOptions<TDocument> extends RestrictableQueryOptions<TDocument> {
+  agg?: {
+    field?: keyof TDocument & string;
+    op: AggregateOp;
+  };
+  by: ReadonlyArray<keyof TDocument & string>;
+}
+/** Relation-aware twin of {@link TableGroupByOptions} (see {@link RestrictableQueryOptionsOf}). */
+interface TableGroupByOptionsOf<DM, REL extends Record<keyof DM, object>, T extends keyof DM> extends RestrictableQueryOptionsOf<DM, REL, T> {
+  agg?: {
+    field?: keyof DM[T] & string;
+    op: AggregateOp;
+  };
+  by: ReadonlyArray<keyof DM[T] & string>;
+}
+/** One entry returned by `groupBy` — the group's by-tuple plus the reducer value. */
+interface GroupByEntry<TDocument> {
+  key: Partial<TDocument>;
+  value: null | number;
+}
+/** Args for `ctx.db.&lt;table>.rank(name, args)`. `row` is either an id or a row doc. */
+interface TableRankOptions<TDocument> extends RestrictableQueryOptions<TDocument> {
+  row: string | TDocument;
+}
+/** Result of `rank` — 1-based position within the partition + partition total. */
+interface RankResult {
+  position: number;
+  total: number;
+}
+/** Args for `ctx.db.&lt;table>.rankPage(name, args)`. */
+interface TableRankPageOptions<TDocument> extends RestrictableQueryOptions<TDocument> {
+  cursor?: null | string;
+  take?: number;
+}
+/** One page returned by `rankPage`. */
+interface RankPage<TDocument> {
+  continueCursor: null | string;
+  isDone: boolean;
+  page: TDocument[];
+}
+/**
+* Builder passed to `.withSearchIndex(name, q => …)`. `.search(field, query)`
+* runs the full-text match against the index's searchable field; `.eq(field,
+* value)` narrows by a declared filter field. Field names are constrained to
+* the table's columns.
+*/
+interface SearchFilterBuilder<TDocument> {
+  eq: <F extends keyof TDocument & string>(field: F, value: TDocument[F]) => SearchFilterBuilder<TDocument>;
+  search: (field: keyof TDocument & string, query: string) => SearchFilterBuilder<TDocument>;
+}
+/**
+* Chainable reader returned by `.withSearchIndex()` — rows come back ordered
+* by relevance. `.paginate()` is intentionally absent (a relevance-ordered
+* search can't keyset-paginate); cap the result set with `.take(n)`.
+*/
+interface SearchReader<TDocument> {
+  collect: () => Promise<TDocument[]>;
+  first: () => Promise<TDocument | null>;
+  take: (limit: number) => Promise<TDocument[]>;
+  unique: () => Promise<TDocument | null>;
+}
+/** Read-only typed table accessor exposed on `QueryCtx.db.&lt;table>`. */
+interface TableReaderFacade<DM, REL extends Record<keyof DM, object>, RANK extends Record<keyof DM, string>, SEARCH extends Record<keyof DM, string>, T extends keyof DM> {
+  /**
+  * Reduce rows in this table to a scalar (`avg`/`max`/`min`/`sum` — `count`
+  * lives on its own method). Routes through a declared `aggregateIndex` when
+  * the planner can prove the request is answerable; otherwise scans.
+  */
+  aggregate: (options: TableAggregateOptionsOf<DM, REL, T>) => Promise<null | number>;
+  /**
+  * Count rows. The planner routes `where` keys that match a declared
+  * `aggregateIndex.by` set to the indexed counter (no scan); otherwise
+  * falls back to a SCAN. Accepts either a bare `where` tree or the broader
+  * `RestrictableQueryOptions` shape; the latter is the seam the RLS layer
+  * uses to inject `baseWhere` and `restrictsCounts`.
+  */
+  count: (where?: RestrictableQueryOptionsOf<DM, REL, T> | WhereOf<DM, REL, T>) => Promise<number>;
+  findFirst: <W extends WithArg<DM, REL, T> = {}>(args?: QueryArgsOf<DM, REL, T> & {
+    with?: W;
+  }) => Promise<LoadWith<DM, REL, T, W> | null>;
+  findFirstOrThrow: <W extends WithArg<DM, REL, T> = {}>(args?: QueryArgsOf<DM, REL, T> & {
+    with?: W;
+  }) => Promise<LoadWith<DM, REL, T, W>>;
+  findMany: <W extends WithArg<DM, REL, T> = {}>(args?: QueryArgsOf<DM, REL, T> & {
+    with?: W;
+  }) => Promise<QueryPage<LoadWith<DM, REL, T, W>>>;
+  get: (id: Id<string & T>) => Promise<DM[T] | null>;
+  /**
+  * Group rows by the named keys and apply `agg` per group (defaults to
+  * `count`). Answered from the counter table when an aggregate index's
+  * `by` matches `options.by` exactly; otherwise scans.
+  */
+  groupBy: (options: TableGroupByOptionsOf<DM, REL, T>) => Promise<ReadonlyArray<GroupByEntry<DM[T]>>>;
+  /**
+  * Return the 1-based position of `options.row` within its partition
+  * under the declared rankIndex `indexName`, plus the partition's total
+  * row count. `null` when the row isn't in the index. Honors the same
+  * `baseWhere` / `restrictsCounts` RLS seam as `count()`.
+  */
+  rank: (indexName: RANK[T], options: TableRankOptions<DM[T]>) => Promise<null | RankResult>;
+  /**
+  * Walk the rank companion in declared sort order — sorted pagination
+  * accelerator. `options.where` may pin the partition; `cursor`/`take`
+  * follow the Convex-style keyset shape.
+  */
+  rankPage: (indexName: RANK[T], options?: TableRankPageOptions<DM[T]>) => Promise<RankPage<DM[T]>>;
+  /**
+  * Restrict the query to a declared `.searchIndex()` and run a full-text
+  * match. `indexName` is constrained to this table's search indexes
+  * (`never` when it declares none). Returns a relevance-ordered reader —
+  * finish with `.take(n)` / `.collect()`.
+  */
+  withSearchIndex: (indexName: SEARCH[T], search: (q: SearchFilterBuilder<DM[T]>) => SearchFilterBuilder<DM[T]>) => SearchReader<DM[T]>;
+}
+/** Read-write typed table accessor exposed on `MutationCtx.db.&lt;table>` / `ActionCtx.db.&lt;table>`. */
+interface TableWriterFacade<DM, IM extends Record<keyof DM, object>, REL extends Record<keyof DM, object>, RANK extends Record<keyof DM, string>, SEARCH extends Record<keyof DM, string>, T extends keyof DM> extends TableReaderFacade<DM, REL, RANK, SEARCH, T> {
+  delete: (id: Id<string & T>) => Promise<void>;
+  /** Delete many rows in this table by id in one call; returns the *requested* id count (unknown ids are no-ops). Atomic within a mutation (a throw rolls the mutation back); an action has no transaction span. */
+  deleteMany: (ids: ReadonlyArray<Id<string & T>>, options?: {
+    limit?: number;
+  }) => Promise<{
+    deleted: number;
+  }>;
+  insert: (values: IM[T]) => Promise<Id<string & T>>;
+  /** Insert many documents into this table in one call, returning the minted ids in input order. Atomic within a mutation (a throw rolls the mutation back); an action has no transaction span. */
+  insertMany: (values: ReadonlyArray<IM[T]>, options?: {
+    limit?: number;
+  }) => Promise<Id<string & T>[]>;
+  patch: (id: Id<string & T>, values: Partial<IM[T]>) => Promise<void>;
+  /** Patch many rows in this table by id in one call. Atomic within a mutation (a throw rolls the mutation back); an action has no transaction span. */
+  patchMany: (patches: ReadonlyArray<{
+    id: Id<string & T>;
+    values: Partial<IM[T]>;
+  }>, options?: {
+    limit?: number;
+  }) => Promise<void>;
+  replace: (id: Id<string & T>, values: IM[T]) => Promise<void>;
+}
+/** Per-table read facade — `ctx.db.&lt;table>` on a `QueryCtx`. */
+type DatabaseReaderFacade<DM, REL extends Record<keyof DM, object>, RANK extends Record<keyof DM, string>, SEARCH extends Record<keyof DM, string>> = { readonly [T in keyof DM]: TableReaderFacade<DM, REL, RANK, SEARCH, T> };
+/** Per-table read-write facade — `ctx.db.&lt;table>` on a `MutationCtx` / `ActionCtx`. */
+type DatabaseWriterFacade<DM, IM extends Record<keyof DM, object>, REL extends Record<keyof DM, object>, RANK extends Record<keyof DM, string>, SEARCH extends Record<keyof DM, string>> = { readonly [T in keyof DM]: TableWriterFacade<DM, IM, REL, RANK, SEARCH, T> };
+export { AggregateOp, DatabaseReaderFacade, DatabaseWriterFacade, GroupByEntry, Id, LoadWith, ManyRelationWhere, OneRelationWhere, OrderBy, QueryArgs, QueryArgsOf, QueryPage, RankPage, RankResult, RestrictableQueryOptions, RestrictableQueryOptionsOf, SearchFilterBuilder, SearchReader, TableAggregateOptions, TableAggregateOptionsOf, TableGroupByOptions, TableGroupByOptionsOf, TableRankOptions, TableRankPageOptions, TableReaderFacade, TableWriterFacade, Where, WhereOf, WhereOperators, WithArg };

package/dist/data-model.mjs

@@ -0,0 +1 @@
+

package/dist/drizzle.d.mts

@@ -0,0 +1 @@
+export * from 'drizzle-orm/sqlite-core';

package/dist/drizzle.d.ts

@@ -0,0 +1 @@
+export * from 'drizzle-orm/sqlite-core';

package/dist/drizzle.mjs

@@ -0,0 +1 @@
+export * from 'drizzle-orm/sqlite-core';