@stll/auth-model 0.7.0 → 0.7.1

package/dist/invitation-sections.d.ts

@@ -9734,6 +9734,9 @@ interface Driver {
   beginTransaction(connection: DatabaseConnection, settings: TransactionSettings): Promise<void>;
   /**
    * Commits a transaction.
+   *
+   * Throws {@link AbortedTransactionError} if the database confirms that
+   * the transaction was rolled back instead of committed.
    */
   commitTransaction(connection: DatabaseConnection): Promise<void>;
   /**
@@ -10944,14 +10947,14 @@ declare class JoinBuilder<DB, TB extends keyof DB> implements OperationNodeSourc
    * See {@link WhereInterface.where} for documentation and examples.
    */
   on<RE extends ReferenceExpression<DB, TB>>(lhs: RE, op: ComparisonOperatorExpression, rhs: OperandValueExpressionOrList<DB, TB, RE>): JoinBuilder<DB, TB>;
-  on(expression: ExpressionOrFactory<DB, TB, SqlBool>): JoinBuilder<DB, TB>;
+  on<E extends ExpressionOrFactory<DB, TB, SqlBool>>(expression: E): JoinBuilder<DB, TB>;
   /**
    * Just like {@link WhereInterface.whereRef} but adds an item to the join's
    * `on` clause instead.
    *
    * See {@link WhereInterface.whereRef} for documentation and examples.
    */
-  onRef(lhs: ReferenceExpression<DB, TB>, op: ComparisonOperatorExpression, rhs: ReferenceExpression<DB, TB>): JoinBuilder<DB, TB>;
+  onRef<LRE extends ReferenceExpression<DB, TB>, RRE extends ReferenceExpression<DB, TB>>(lhs: LRE, op: ComparisonOperatorExpression, rhs: RRE): JoinBuilder<DB, TB>;
   /**
    * Adds `on true`.
    */
@@ -13680,7 +13683,7 @@ interface SelectQueryBuilder<DB, TB extends keyof DB, O> extends WhereInterface<
    * select "first_name" from "person" limit $1 offset $2
    * ```
    */
-  limit(limit: ValueExpression<DB, TB, number | bigint | null>): SelectQueryBuilder<DB, TB, O>;
+  limit<VE extends ValueExpression<DB, TB, number | bigint | null>>(limit: VE): SelectQueryBuilder<DB, TB, O>;
   /**
    * Adds an `offset` clause to the query.
    *
@@ -13703,7 +13706,7 @@ interface SelectQueryBuilder<DB, TB extends keyof DB, O> extends WhereInterface<
    * select "first_name" from "person" limit $1 offset $2
    * ```
    */
-  offset(offset: ValueExpression<DB, TB, number | bigint>): SelectQueryBuilder<DB, TB, O>;
+  offset<VE extends ValueExpression<DB, TB, number | bigint>>(offset: VE): SelectQueryBuilder<DB, TB, O>;
   /**
    * Adds a `fetch` clause to the query.
    *
@@ -14664,16 +14667,38 @@ interface SelectQueryBuilder<DB, TB extends keyof DB, O> extends WhereInterface<
 interface AliasedSelectQueryBuilder<out O = undefined, out A extends string = never> extends AliasedExpression<O, A> {
   get isAliasedSelectQueryBuilder(): true;
 }
-type SelectQueryBuilderWithInnerJoin<DB, TB extends keyof DB, O, TE extends TableExpression<DB, TB>> = TE extends `${infer T} as ${infer A}` ? T extends keyof DB ? InnerJoinedBuilder$2<DB, TB, O, A, DB[T]> : never : TE extends keyof DB ? SelectQueryBuilder<DB, TB | TE, O> : TE extends AliasedExpression<infer QO, infer QA> ? InnerJoinedBuilder$2<DB, TB, O, QA, QO> : TE extends ((qb: any) => AliasedExpression<infer QO, infer QA>) ? InnerJoinedBuilder$2<DB, TB, O, QA, QO> : never;
+/**
+ * Guards a join's result type against being computed for an unknown table
+ * expression.
+ *
+ * `TableExpression<DB, TB> extends TE` only holds when `TE` is as wide as its
+ * own constraint, which never happens at a call site - there `TE` is a specific
+ * table name, alias or subquery. It does happen when the compiler asks what a
+ * join returns for an arbitrary table expression, which is what it has to do
+ * whenever it compares two `SelectQueryBuilder` types structurally.
+ *
+ * Without this guard that comparison never terminates on its own: computing the
+ * join result yields a `SelectQueryBuilder` over a wider `DB`, whose own join
+ * methods yield a wider one still, so the compiler only stops when it hits its
+ * internal recursion limit. That limit differs between TypeScript versions - 7.0
+ * searches a level deeper than 5.9 and 6.0 - which made comparing two select
+ * query builders over 6x more expensive there.
+ *
+ * Collapsing to a fixed type makes the recursion converge instead: joining an
+ * unknown table expression again produces the same type, so the compiler
+ * recognises the pair it is already comparing and stops immediately.
+ */
+type JoinResultForUnknownTable<O> = SelectQueryBuilder<any, any, O>;
+type SelectQueryBuilderWithInnerJoin<DB, TB extends keyof DB, O, TE extends TableExpression<DB, TB>> = TableExpression<DB, TB> extends TE ? JoinResultForUnknownTable<O> : TE extends `${infer T} as ${infer A}` ? T extends keyof DB ? InnerJoinedBuilder$2<DB, TB, O, A, DB[T]> : never : TE extends keyof DB ? SelectQueryBuilder<DB, TB | TE, O> : TE extends AliasedExpression<infer QO, infer QA> ? InnerJoinedBuilder$2<DB, TB, O, QA, QO> : TE extends ((qb: any) => AliasedExpression<infer QO, infer QA>) ? InnerJoinedBuilder$2<DB, TB, O, QA, QO> : never;
 type InnerJoinedBuilder$2<DB, TB extends keyof DB, O, A extends string, R> = A extends keyof DB ? SelectQueryBuilder<InnerJoinedDB$2<DB, A, R>, TB | A, O> : SelectQueryBuilder<DB & ShallowRecord<A, R>, TB | A, O>;
 type InnerJoinedDB$2<DB, A extends string, R> = DrainOuterGeneric<{ [C in keyof DB | A]: C extends A ? R : C extends keyof DB ? DB[C] : never; }>;
-type SelectQueryBuilderWithLeftJoin<DB, TB extends keyof DB, O, TE extends TableExpression<DB, TB>> = TE extends `${infer T} as ${infer A}` ? T extends keyof DB ? LeftJoinedBuilder$2<DB, TB, O, A, DB[T]> : never : TE extends keyof DB ? LeftJoinedBuilder$2<DB, TB, O, TE, DB[TE]> : TE extends AliasedExpression<infer QO, infer QA> ? LeftJoinedBuilder$2<DB, TB, O, QA, QO> : TE extends ((qb: any) => AliasedExpression<infer QO, infer QA>) ? LeftJoinedBuilder$2<DB, TB, O, QA, QO> : never;
+type SelectQueryBuilderWithLeftJoin<DB, TB extends keyof DB, O, TE extends TableExpression<DB, TB>> = TableExpression<DB, TB> extends TE ? JoinResultForUnknownTable<O> : TE extends `${infer T} as ${infer A}` ? T extends keyof DB ? LeftJoinedBuilder$2<DB, TB, O, A, DB[T]> : never : TE extends keyof DB ? LeftJoinedBuilder$2<DB, TB, O, TE, DB[TE]> : TE extends AliasedExpression<infer QO, infer QA> ? LeftJoinedBuilder$2<DB, TB, O, QA, QO> : TE extends ((qb: any) => AliasedExpression<infer QO, infer QA>) ? LeftJoinedBuilder$2<DB, TB, O, QA, QO> : never;
 type LeftJoinedBuilder$2<DB, TB extends keyof DB, O, A extends keyof any, R> = A extends keyof DB ? SelectQueryBuilder<LeftJoinedDB$2<DB, A, R>, TB | A, O> : SelectQueryBuilder<DB & ShallowRecord<A, Nullable<R>>, TB | A, O>;
 type LeftJoinedDB$2<DB, A extends keyof any, R> = DrainOuterGeneric<{ [C in keyof DB | A]: C extends A ? Nullable<R> : C extends keyof DB ? DB[C] : never; }>;
-type SelectQueryBuilderWithRightJoin<DB, TB extends keyof DB, O, TE extends TableExpression<DB, TB>> = TE extends `${infer T} as ${infer A}` ? T extends keyof DB ? RightJoinedBuilder$2<DB, TB, O, A, DB[T]> : never : TE extends keyof DB ? RightJoinedBuilder$2<DB, TB, O, TE, DB[TE]> : TE extends AliasedExpression<infer QO, infer QA> ? RightJoinedBuilder$2<DB, TB, O, QA, QO> : TE extends ((qb: any) => AliasedExpression<infer QO, infer QA>) ? RightJoinedBuilder$2<DB, TB, O, QA, QO> : never;
+type SelectQueryBuilderWithRightJoin<DB, TB extends keyof DB, O, TE extends TableExpression<DB, TB>> = TableExpression<DB, TB> extends TE ? JoinResultForUnknownTable<O> : TE extends `${infer T} as ${infer A}` ? T extends keyof DB ? RightJoinedBuilder$2<DB, TB, O, A, DB[T]> : never : TE extends keyof DB ? RightJoinedBuilder$2<DB, TB, O, TE, DB[TE]> : TE extends AliasedExpression<infer QO, infer QA> ? RightJoinedBuilder$2<DB, TB, O, QA, QO> : TE extends ((qb: any) => AliasedExpression<infer QO, infer QA>) ? RightJoinedBuilder$2<DB, TB, O, QA, QO> : never;
 type RightJoinedBuilder$2<DB, TB extends keyof DB, O, A extends keyof any, R> = SelectQueryBuilder<RightJoinedDB$2<DB, TB, A, R>, TB | A, O>;
 type RightJoinedDB$2<DB, TB extends keyof DB, A extends keyof any, R> = DrainOuterGeneric<{ [C in keyof DB | A]: C extends A ? R : C extends TB ? Nullable<DB[C]> : C extends keyof DB ? DB[C] : never; }>;
-type SelectQueryBuilderWithFullJoin<DB, TB extends keyof DB, O, TE extends TableExpression<DB, TB>> = TE extends `${infer T} as ${infer A}` ? T extends keyof DB ? OuterJoinedBuilder$2<DB, TB, O, A, DB[T]> : never : TE extends keyof DB ? OuterJoinedBuilder$2<DB, TB, O, TE, DB[TE]> : TE extends AliasedExpression<infer QO, infer QA> ? OuterJoinedBuilder$2<DB, TB, O, QA, QO> : TE extends ((qb: any) => AliasedExpression<infer QO, infer QA>) ? OuterJoinedBuilder$2<DB, TB, O, QA, QO> : never;
+type SelectQueryBuilderWithFullJoin<DB, TB extends keyof DB, O, TE extends TableExpression<DB, TB>> = TableExpression<DB, TB> extends TE ? JoinResultForUnknownTable<O> : TE extends `${infer T} as ${infer A}` ? T extends keyof DB ? OuterJoinedBuilder$2<DB, TB, O, A, DB[T]> : never : TE extends keyof DB ? OuterJoinedBuilder$2<DB, TB, O, TE, DB[TE]> : TE extends AliasedExpression<infer QO, infer QA> ? OuterJoinedBuilder$2<DB, TB, O, QA, QO> : TE extends ((qb: any) => AliasedExpression<infer QO, infer QA>) ? OuterJoinedBuilder$2<DB, TB, O, QA, QO> : never;
 type OuterJoinedBuilder$2<DB, TB extends keyof DB, O, A extends keyof any, R> = SelectQueryBuilder<OuterJoinedBuilderDB$2<DB, TB, A, R>, TB | A, O>;
 type OuterJoinedBuilderDB$2<DB, TB extends keyof DB, A extends keyof any, R> = DrainOuterGeneric<{ [C in keyof DB | A]: C extends A ? Nullable<R> : C extends TB ? Nullable<DB[C]> : C extends keyof DB ? DB[C] : never; }>;
 type TableOrList<TB extends keyof any> = (TB & string) | ReadonlyArray<TB & string>;
@@ -18521,7 +18546,7 @@ declare class CreateTypeBuilder implements OperationNodeSource, Compilable {
   constructor(props: CreateTypeBuilderProps);
   toOperationNode(): CreateTypeNode;
   /**
-   * Creates an anum type.
+   * Creates an enum type.
    *
    * ### Examples
    *
@@ -19630,7 +19655,7 @@ declare class OnConflictBuilder<DB, TB extends keyof DB> implements WhereInterfa
    *  "last_name" = excluded."last_name"
    * ```
    */
-  doUpdateSet(update: UpdateObjectExpression<OnConflictDatabase<DB, TB>, OnConflictTables<TB>, OnConflictTables<TB>>): OnConflictUpdateBuilder<OnConflictDatabase<DB, TB>, OnConflictTables<TB>>;
+  doUpdateSet(update: UpdateObjectExpression<OnConflictUpdateDatabase<DB, TB>, OnConflictTables<TB>, OnConflictTables<TB>>): OnConflictUpdateBuilder<OnConflictDatabase<DB, TB>, OnConflictTables<TB>>;
   /**
    * Simply calls the provided function passing `this` as the only argument. `$call` returns
    * what the provided function returns.
@@ -19640,7 +19665,8 @@ declare class OnConflictBuilder<DB, TB extends keyof DB> implements WhereInterfa
 interface OnConflictBuilderProps {
   readonly onConflictNode: OnConflictNode;
 }
-type OnConflictDatabase<DB, TB extends keyof DB> = { [K in keyof DB | 'excluded']: Updateable<K extends keyof DB ? DB[K] : DB[TB]>; };
+type OnConflictUpdateDatabase<DB, TB extends keyof DB> = { [K in keyof DB | 'excluded']: Updateable<K extends keyof DB ? DB[K] : DB[TB]>; };
+type OnConflictDatabase<DB, TB extends keyof DB> = { [K in keyof DB | 'excluded']: K extends keyof DB ? DB[K] : DB[TB]; };
 type OnConflictTables<TB> = TB | 'excluded';
 declare class OnConflictDoNothingBuilder<DB, _TB extends keyof DB> implements OperationNodeSource {
   #private;
@@ -22452,7 +22478,7 @@ declare class UpdateQueryBuilder<DB, UT extends keyof DB, TB extends keyof DB, O
    * }>
    * ```
    */
-  $if<O2>(condition: boolean, func: (qb: this) => UpdateQueryBuilder<any, any, any, O2>): O2 extends UpdateResult ? UpdateQueryBuilder<DB, UT, TB, UpdateResult> : O2 extends O & (infer E) ? UpdateQueryBuilder<DB, UT, TB, O & Partial<E>> : UpdateQueryBuilder<DB, UT, TB, Partial<O2>>;
+  $if<O2>(condition: boolean, func: (qb: this) => UpdateQueryBuilder<any, any, any, O2>): unknown extends O2 ? UpdateQueryBuilder<any, any, any, O2> : O2 extends UpdateResult ? UpdateQueryBuilder<DB, UT, TB, UpdateResult> : O2 extends O & (infer E) ? UpdateQueryBuilder<DB, UT, TB, O & Partial<E>> : UpdateQueryBuilder<DB, UT, TB, Partial<O2>>;
   /**
    * Change the output type of the query.
    *
@@ -23694,7 +23720,7 @@ declare class DeleteQueryBuilder<DB, TB extends keyof DB, O> implements WhereInt
    * delete from `pet` order by `created_at` limit ?
    * ```
    */
-  limit(limit: ValueExpression<DB, TB, number>): DeleteQueryBuilder<DB, TB, O>;
+  limit<VE extends ValueExpression<DB, TB, number>>(limit: VE): DeleteQueryBuilder<DB, TB, O>;
   /**
    * This can be used to add any additional SQL to the end of the query.
    *
@@ -23777,7 +23803,7 @@ declare class DeleteQueryBuilder<DB, TB extends keyof DB, O> implements WhereInt
    * }>
    * ```
    */
-  $if<O2>(condition: boolean, func: (qb: this) => DeleteQueryBuilder<any, any, O2>): O2 extends DeleteResult ? DeleteQueryBuilder<DB, TB, DeleteResult> : O2 extends O & (infer E) ? DeleteQueryBuilder<DB, TB, O & Partial<E>> : DeleteQueryBuilder<DB, TB, Partial<O2>>;
+  $if<O2>(condition: boolean, func: (qb: this) => DeleteQueryBuilder<any, any, O2>): unknown extends O2 ? DeleteQueryBuilder<any, any, O2> : O2 extends DeleteResult ? DeleteQueryBuilder<DB, TB, DeleteResult> : O2 extends O & (infer E) ? DeleteQueryBuilder<DB, TB, O & Partial<E>> : DeleteQueryBuilder<DB, TB, Partial<O2>>;
   /**
    * Change the output type of the query.
    *
@@ -25618,7 +25644,8 @@ declare global {
  * The main Kysely class.
  *
  * You should create one instance of `Kysely` per database using the {@link Kysely}
- * constructor. Each `Kysely` instance maintains its own connection pool.
+ * constructor. The dialect manages database connections and may use a shared
+ * pool or database instance.
  *
  * ### Examples
  *
@@ -26039,7 +26066,16 @@ declare class Kysely<DB> extends QueryCreator<DB> implements QueryExecutorProvid
   /**
    * Releases all resources and disconnects from the database.
    *
-   * You need to call this when you are done using the `Kysely` instance.
+   * Call this when you are done using the `Kysely` instance and Kysely is
+   * responsible for closing its connections, pool, or database instance.
+   *
+   * If the pool or database instance is shared with other consumers or its
+   * lifecycle is managed elsewhere, skip this call. Let the application close it
+   * once all consumers, including Kysely, have finished. No separate cleanup of
+   * the `Kysely` instance is needed.
+   *
+   * The driver is initialized lazily. If initialization hasn't started, this
+   * method does nothing.
    */
   destroy(): Promise<void>;
   /**
@@ -26203,6 +26239,13 @@ declare class ControlledTransaction<DB, S extends string[] = []> extends Transac
   /**
    * Commits the transaction.
    *
+   * If the database rolls back instead of committing, marks the transaction
+   * as rolled back, releases the connection and throws {@link AbortedTransactionError}.
+   *
+   * Waits for ongoing queries to finish. Streams must be exhausted or closed
+   * before awaiting this command. When consuming a stream with `for await`,
+   * exit the loop before committing.
+   *
    * See {@link rollback}.
    *
    * ### Examples
@@ -26228,6 +26271,16 @@ declare class ControlledTransaction<DB, S extends string[] = []> extends Transac
   /**
    * Rolls back the transaction.
    *
+   * If a commit already reported that the database rolled back the transaction,
+   * succeeds without sending another rollback command.
+   *
+   * The connection is released even if the rollback fails, so the transaction
+   * cannot be used afterwards in either case.
+   *
+   * Waits for ongoing queries to finish. Streams must be exhausted or closed
+   * before awaiting this command. When consuming a stream with `for await`,
+   * exit the loop before rolling back.
+   *
    * See {@link commit} and {@link rollbackToSavepoint}.
    *
    * ### Examples
@@ -26253,6 +26306,10 @@ declare class ControlledTransaction<DB, S extends string[] = []> extends Transac
   /**
    * Creates a savepoint with a given name.
    *
+   * Waits for ongoing queries to finish. Streams must be exhausted or closed
+   * before awaiting this command. When consuming a stream with `for await`,
+   * exit the loop before creating a savepoint.
+   *
    * See {@link rollbackToSavepoint} and {@link releaseSavepoint}.
    *
    * For a type-safe experience, you should use the returned instance from now on.
@@ -26283,6 +26340,10 @@ declare class ControlledTransaction<DB, S extends string[] = []> extends Transac
   /**
    * Rolls back to a savepoint with a given name.
    *
+   * Waits for ongoing queries to finish. Streams must be exhausted or closed
+   * before awaiting this command. When consuming a stream with `for await`,
+   * exit the loop before rolling back to a savepoint.
+   *
    * See {@link savepoint} and {@link releaseSavepoint}.
    *
    * You must use the same instance returned by {@link savepoint}, or
@@ -26314,6 +26375,10 @@ declare class ControlledTransaction<DB, S extends string[] = []> extends Transac
   /**
    * Releases a savepoint with a given name.
    *
+   * Waits for ongoing queries to finish. Streams must be exhausted or closed
+   * before awaiting this command. When consuming a stream with `for await`,
+   * exit the loop before releasing a savepoint.
+   *
    * See {@link savepoint} and {@link rollbackToSavepoint}.
    *
    * You must use the same instance returned by {@link savepoint}, or
@@ -26369,8 +26434,12 @@ declare class ControlledTransaction<DB, S extends string[] = []> extends Transac
   $omitTables<T extends keyof DB>(): ControlledTransaction<DB extends object ? Omit<DB, T> : DB, S>;
   $pickTables<T extends keyof DB>(): ControlledTransaction<DB extends object ? Pick<DB, T> : DB, S>;
 }
+interface ControlledTransactionState {
+  status: 'active' | 'committed' | 'rolled back' | 'aborted';
+}
 interface ControlledTransactionProps extends KyselyProps {
   readonly connection: ControlledConnection;
+  readonly transactionState: ControlledTransactionState;
 }
 declare class Command<T> {
   #private;
@@ -26477,7 +26546,7 @@ type PostgresClientConstructor = new (options: any) => PostgresClient;
  * https://node-postgres.com/apis/pool#releasing-clients
  */
 interface PostgresPoolClient extends Omit<PostgresClient, 'connect' | 'end'> {
-  release(): void;
+  release(destroy?: boolean): void;
 }
 /**
  * This interface is pg driver's `Cursor` class that kysely needs.
@@ -26498,7 +26567,7 @@ interface PostgresCursor<T> {
  * https://node-postgres.com/apis/result
  */
 interface PostgresQueryResult<R> {
-  command: 'UPDATE' | 'DELETE' | 'INSERT' | 'SELECT' | 'MERGE';
+  command: 'UPDATE' | 'DELETE' | 'INSERT' | 'SELECT' | 'MERGE' | 'COMMIT' | 'ROLLBACK';
   rowCount: number;
   rows: R[];
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@stll/auth-model",
-  "version": "0.7.0",
+  "version": "0.7.1",
   "description": "Portable Better Auth core contract and parity checks.",
   "keywords": [
     "authentication",
@@ -52,8 +52,8 @@
     "@stll/typescript-config": "0.0.0",
     "better-auth": "1.7.16",
     "bun-types": "1.4.4",
-    "tsdown": "0.23.1",
-    "tsrs": "0.18.0-ts7.1.0-dev.20260929"
+    "tsdown": "0.23.4",
+    "tsrs": "0.20.1-ts7.1.0-beta"
   },
   "main": "./dist/contract.js",
   "types": "./dist/contract.d.ts"