permdock 0.6.0 → 0.8.0

package/dist/sources-B1Os_YUu.d.ts

@@ -0,0 +1,312 @@
+import { et as MembershipSource } from "./policy-types-CCiDRZBH.js";
+import { n as RoleMap, r as RoleThrough, x as SupabaseSuspension } from "./types-ah9NlU6j.js";
+import { t as SqlQuery } from "./sql-B80DFdpG.js";
+import { c as SupabaseManifestMembership } from "./manifest-CzzWtnAb.js";
+//#region src/supabase/roles.d.ts
+/** A roles table a role column references, by `schema.table`. */
+type RoleKeys = {
+  readonly table: string;
+  /** The roles table column the reference points at. */
+  readonly id: string;
+  /** The roles table column holding the role key. */
+  readonly key: string;
+  /** The referencing table's column. */
+  readonly ref: string;
+};
+/**
+ * One role source of a membership row: a key column, or a reference to a roles
+ * table.
+ */
+type RoleSource = string | RoleThrough | RoleMap;
+/** A role source, or several the row holds at once. */
+type RoleSpec = RoleSource | readonly RoleSource[];
+/**
+ * A roles table whose tenant rows are written by tenants. A role key read
+ * through it from a tenant row that is one of `declared` reads as null, so a
+ * tenant cannot claim the grants of a declared role by naming a role after it.
+ */
+type RoleGuard = {
+  /** `schema.table`, or `public`. */
+  readonly table: string;
+  /** The tenant column of the roles table. */
+  readonly tenant: string;
+  /**
+   * A tenant row with this column true is the application's own copy of a
+   * declared role.
+   */
+  readonly skip?: string | undefined;
+  readonly declared: readonly string[];
+};
+//#endregion
+//#region src/supabase/sources.d.ts
+type Common = {
+  readonly table: string;
+  /**
+   * Runs the lookups; without it the source only describes SQL (for `permdock
+   * supabase hook generate`).
+   */
+  readonly query?: SqlQuery;
+  /**
+   * Drop suspended users and memberships under suspended instances, like
+   * `rls.suspension`.
+   */
+  readonly suspension?: SupabaseSuspension;
+};
+type MembershipTableOptions = Common & {
+  /**
+   * Column names; `user`, `scope`, `id` and `role` default to `user_id`,
+   * `scope`, `scope_id`, `role`.
+   */
+  readonly columns?: {
+    /** The user id column, or a reference to a table that holds the user id. */
+    readonly user?: string | RoleThrough;
+    readonly scope?: string;
+    readonly id?: string;
+    /** A `jsonb` column of ancestor ids keyed by scope name. */
+    readonly within?: string;
+    /**
+     * The role key column, a reference to a roles table that holds the key, or
+     * several of them: the row holds every non-null key.
+     */
+    readonly role?: RoleSpec;
+    readonly via?: string;
+    readonly expiresAt?: string;
+    readonly disabledAt?: string;
+    /** The principal id that wrote the membership (`grantedBy`). */
+    readonly grantedBy?: string;
+    /** Free-text justification recorded on the membership (`reason`). */
+    readonly reason?: string;
+    /** A subgroup column filling `member.group`. */
+    readonly group?: string;
+    /**
+     * A text column; the value `idp` marks the row as owned by the identity
+     * provider.
+     */
+    readonly managedBy?: string;
+    /** A `text[]` column of seats. */
+    readonly seats?: string;
+    /** A `jsonb` column of app data (`Membership.x`); never written into claims. */
+    readonly x?: string;
+  };
+};
+type MembershipJunctionOptions = Common & {
+  /** The declared scope every row is a membership of. */
+  readonly scope: string;
+  /**
+   * The user id column (default `user_id`), or a reference to a table that
+   * holds the user id.
+   */
+  readonly user?: string | RoleThrough;
+  /** The column holding the scope instance id. Default `<scope>_id`. */
+  readonly id?: string;
+  /** Ancestor id columns keyed by scope name. */
+  readonly within?: Readonly<Record<string, string>>;
+  /**
+   * A role column, a reference to a roles table that holds the key, fixed roles
+   * every row holds (a contact table with no role column), or `{ sources }`:
+   * several role columns whose non-null keys the row holds.
+   */
+  readonly roles: string | RoleThrough | RoleMap | readonly string[] | {
+    readonly sources: readonly RoleSource[];
+  };
+  /** The membership kind every row has (`contact`, `staff`, `partner`). */
+  readonly via?: string;
+  readonly expiresAt?: string;
+  readonly disabledAt?: string;
+  /** The principal id that wrote the membership (`grantedBy`). */
+  readonly grantedBy?: string;
+  /** Free-text justification recorded on the membership (`reason`). */
+  readonly reason?: string;
+  /** A subgroup filling `member.group`: a fixed name every row has, or a column. */
+  readonly group?: string | {
+    readonly column: string;
+  };
+  /**
+   * `idp` when the identity provider owns every row, or a text column holding
+   * `idp` per row.
+   */
+  readonly managedBy?: "idp" | {
+    readonly column: string;
+  };
+  /** A `text[]` column of seats. */
+  readonly seats?: string;
+  /** A `jsonb` column of app data (`Membership.x`); never written into claims. */
+  readonly x?: string;
+};
+/**
+ * What `permdock supabase hook generate` compiles; the same SQL the source
+ * runs.
+ */
+type MembershipSql = {
+  readonly table: string;
+  /**
+   * The table's user column: the user id, or with `userThrough` the reference
+   * to the row holding it.
+   */
+  readonly user: string;
+  /**
+   * The table that holds the user id when `user` references it; a change of
+   * that id bumps the old and the new user.
+   */
+  readonly userThrough?: RoleKeys;
+  /**
+   * `<table>.<user>%type`: the PL/pgSQL type of the user id column, for a
+   * variable `select` compares with.
+   */
+  readonly userType: string;
+  /**
+   * The `select` of claim rows for one user, with every filter applied. `user`
+   * must have the column's type (a `userType` variable, or an untyped `$1`
+   * Postgres infers): the column is compared uncast so its index applies.
+   * `keep` adds the `keep` column; it defaults to `keeps`, and a `union` with a
+   * source that keeps passes `true`.
+   */
+  select: (user: string, keep?: boolean) => string;
+  /** The `select` of member rows for one scope instance (`$1` scope, `$2` id). */
+  list: (keep?: boolean) => string;
+  /**
+   * A suspended scope on the source keeps permissions: rows of its suspended
+   * instances stay, with a `keep` column.
+   */
+  readonly keeps: boolean;
+  /**
+   * A text column holding `idp` for rows the identity provider owns; `''` when
+   * every row is owned.
+   */
+  readonly managed?: string;
+  /** Other tables the `select` reads (suspension tables). */
+  readonly reads: readonly string[];
+  /**
+   * The roles table the role column references; a key change bumps every
+   * holder's authorization version.
+   */
+  readonly through?: RoleKeys;
+  /** Every roles table the role columns reference, `through` first. */
+  readonly throughs: readonly RoleKeys[];
+  /**
+   * Every column that decides who holds which membership: user, scope, id,
+   * `within`, role, `via` and expiry.
+   */
+  readonly columns: readonly string[];
+  /**
+   * For a single-scope source: its scope and the scopes whose ids each row
+   * carries.
+   */
+  readonly scope?: string;
+  readonly holds?: readonly string[];
+  /** The source's entry in the hook manifest's `memberships`. */
+  readonly manifest: SupabaseManifestMembership;
+  /** What the ownership triggers count; absent on a source that is not a table. */
+  readonly holders?: MembershipHolders;
+  /**
+   * The rows as plain columns, for Sync Streams and `powerSyncSource`; a source
+   * without it does not sync.
+   */
+  readonly stream?: MembershipStream;
+};
+/**
+ * One membership source as columns a Sync Streams query can filter on. Tables
+ * are `schema.table`; a `through` table is qualified in the source's schema
+ * when it names none.
+ */
+type MembershipStream = {
+  readonly table: string;
+  /** The user id column, or the reference to the table that holds the user id. */
+  readonly user: string | RoleThrough;
+  /** The scope column, or the scope every row is a membership of. */
+  readonly scope: {
+    readonly column: string;
+  } | {
+    readonly value: string;
+  };
+  readonly id: string;
+  /**
+   * The role sources (the row holds every non-null key), or the fixed roles
+   * every row holds.
+   */
+  readonly roles: RoleSpec | {
+    readonly value: readonly string[];
+  };
+  /** The membership kind column, or the kind every row has. */
+  readonly via?: {
+    readonly column: string;
+  } | {
+    readonly value: string;
+  };
+  readonly expiresAt?: string;
+  readonly disabledAt?: string;
+  /**
+   * A row may hold no role key: such a row is no membership, and a reader drops
+   * it.
+   */
+  readonly nullableRoles: boolean;
+  /**
+   * The guard the source reads its roles table with: a tenant row named like a
+   * declared role is no role.
+   */
+  readonly guard?: RoleGuard;
+};
+/**
+ * The rows of a membership table, for the holder-count and transfer-only
+ * triggers `permdock rls generate` puts on it. No suspension filter: a
+ * suspended holder still holds the role.
+ */
+type MembershipHolders = {
+  /**
+   * `<table>.<id column>%type`: the type of a variable `rows` compares the id
+   * column with.
+   */
+  readonly idType: string;
+  /**
+   * The instance id of scope `scope` the PL/pgSQL record `row` holds, as text;
+   * null on a row of another scope.
+   */
+  id: (scope: string, row: string) => string;
+  /**
+   * `select id, user_id, role, via, live` over the rows of scope `scope` in
+   * `from` (default the table): one row per held role key, `live` false once
+   * expired. `id` is an expression of `idType` the id column must equal.
+   */
+  rows: (scope: string, options?: {
+    readonly id?: string;
+    readonly from?: string;
+  }) => string;
+};
+type SqlMembershipSource = MembershipSource & {
+  readonly sql: MembershipSql;
+  /**
+   * The same source with the role keys of tenant rows of `guard.table` named
+   * like a declared role read as null.
+   */
+  readonly guarded?: (guard: RoleGuard) => SqlMembershipSource;
+};
+/** The part of `@supabase/server`'s `PostgresApi` a `SqlQuery` needs. */
+type SupabasePostgres = {
+  readonly queryRaw: (text: string, params?: unknown[]) => Promise<readonly Record<string, unknown>[]>;
+};
+declare function supabasePostgresQuery(postgres: SupabasePostgres): SqlQuery;
+/**
+ * Memberships from one table holding every scope: a row per user, scope,
+ * instance and role (`user_id, scope, scope_id, role`), with optional `within`,
+ * `via`, expiry, owner and seat columns. Rows of the same instance merge into
+ * one membership.
+ */
+declare function tableMembershipSource(options: MembershipTableOptions): SqlMembershipSource;
+/**
+ * Memberships from a table of one scope (`customer_contacts`): every row is a
+ * membership of `scope`, with roles from a column or fixed (`['contact']`), a
+ * fixed `via`, and ancestor ids from `within` columns.
+ */
+declare function junctionMembershipSource(options: MembershipJunctionOptions): SqlMembershipSource;
+declare const AUTHZ_VERSION_TABLE = "permdock_authz_version";
+/**
+ * Reads the authorization version `permdock supabase hook generate` keeps in
+ * `<schema>.permdock_authz_version`: pass it to `claimsFirst(sources, { version
+ * })`.
+ */
+declare function authzVersion(options: {
+  readonly query: SqlQuery;
+  readonly schema?: string;
+}): NonNullable<MembershipSource["version"]>;
+//#endregion
+export { MembershipStream as a, SupabasePostgres as c, supabasePostgresQuery as d, tableMembershipSource as f, MembershipSql as i, authzVersion as l, MembershipHolders as n, MembershipTableOptions as o, MembershipJunctionOptions as r, SqlMembershipSource as s, AUTHZ_VERSION_TABLE as t, junctionMembershipSource as u };

package/dist/{sources-vs5dGOsS.js → sources-CMAM-2A3.js}

@@ -1,8 +1,11 @@
 import { r as isRecord, t as compact } from "./compact-CAf557ZB.js";
-import { i as readAppData } from "./app-data-MuyzVqX8.js";
-import { a as quoteQualifiedTable, c as quoteSqlTable, i as qualifySqlTable, o as quoteSqlIdent, s as quoteSqlLiteral, u as sqlTextArray } from "./sql-B5T1IL83.js";
+import { i as readAppData } from "./app-data-UNNm07jV.js";
+import { a as quoteQualifiedTable, c as quoteSqlTable, d as sqlTextArray, i as qualifySqlTable, o as quoteSqlIdent, s as quoteSqlLiteral, u as sqlRows } from "./sql-0WjxIp9g.js";
 //#region src/supabase/keep.ts
-/** The permission keys of a suspended scope's `keep`, references read by `key`, sorted and unique. */
+/**
+* The permission keys of a suspended scope's `keep`, references read by `key`,
+* sorted and unique.
+*/
 function keptKeys(row) {
 	const keep = row?.keep;
 	if (keep === void 0) return [];
@@ -30,8 +33,8 @@ function activeRow(row, id) {
 	return `exists (select 1 from ${quoteQualifiedTable(row.table)} s where ${parts.join(" and ")})`;
 }
 /**
-* The suspendable instances on the row's chain whose scope keeps
-* permissions: each one's active check and its kept keys.
+* The suspendable instances on the row's chain whose scope keeps permissions:
+* each one's active check and its kept keys.
 */
 function keeping(shape) {
 	const scopes = Object.entries(shape.suspension?.scopes ?? {}).flatMap(([name, row]) => {
@@ -55,9 +58,8 @@ function keepsDisabled(shape) {
 	return shape.disabledAt !== void 0 && keptKeys(shape.suspension?.memberships).length > 0;
 }
 /**
-* The keys a row on a suspended chain still grants, as a sorted `jsonb`
-* array: the keys every suspended instance on it keeps. `null` when nothing
-* is kept.
+* The keys a row on a suspended chain still grants, as a sorted `jsonb` array:
+* the keys every suspended instance on it keeps. `null` when nothing is kept.
 */
 function keptSql(shape) {
 	const list = keeping(shape);
@@ -115,7 +117,8 @@ function selectOf(shape, where, user, keep) {
 	return `select ${fields.join(", ")}
 from ${quoteQualifiedTable(shape.table)} m${shape.join}
 where ${where.join("\n  and ")}
-group by ${group.join(", ")}`;
+group by ${group.join(", ")}
+having ${shape.roles} is not null`;
 }
 function holdersOf(shape) {
 	const id = ident$1(shape.idColumn);
@@ -166,10 +169,10 @@ function isRoleList(role) {
 }
 /**
 * Resolves the role sources of `table` (`schema.table`, or `public`). An
-* unqualified `through` table is in `table`'s schema. `label` names the
-* option in the error for an `on` that is not exactly one column; `prefix`
-* starts every error. A row with several sources holds the union of their
-* non-null keys.
+* unqualified `through` table is in `table`'s schema. `label` names the option
+* in the error for an `on` that is not exactly one column; `prefix` starts
+* every error. A row with several sources holds the union of their non-null
+* keys.
 */
 function roleColumn(role, table, alias, options) {
 	if (!isRoleList(role)) return singleRole(role, table, alias, options);
@@ -191,7 +194,8 @@ function roleColumn(role, table, alias, options) {
 		lookup: sql,
 		columns: [...new Set(parts.map((part) => part.column))],
 		throughs: parts.flatMap((part) => part.throughs),
-		lateral: true
+		lateral: true,
+		nullable: false
 	};
 }
 function singleRole(role, table, alias, options) {
@@ -204,8 +208,24 @@ function singleRole(role, table, alias, options) {
 		lookup: `${alias}.${q(role)}::text`,
 		columns: [role],
 		throughs: [],
-		lateral: false
+		lateral: false,
+		nullable: false
 	};
+	if ("map" in role) {
+		const arms = Object.entries(role.map).map(([value, key]) => `when ${quoteSqlLiteral(value)} then ${key === null ? "null" : quoteSqlLiteral(key)}`);
+		const mapped = `case ${alias}.${q(role.column)}::text ${arms.join(" ")} else null end`;
+		return {
+			column: role.column,
+			sql: mapped,
+			join: "",
+			lookup: mapped,
+			columns: [role.column],
+			throughs: [],
+			lateral: false,
+			map: role.map,
+			nullable: true
+		};
+	}
 	const pairs = Object.entries(role.on);
 	const [pair] = pairs;
 	if (pair === void 0 || pairs.length !== 1) throw new TypeError(`${prefix}: ${options.label}.on must map exactly one column of ${table} to ${role.through}, for example ${options.example ?? "{ role_id: 'id' }"}`);
@@ -220,19 +240,30 @@ function singleRole(role, table, alias, options) {
 		key: role.column,
 		ref
 	};
+	const plain = `${keys}.${q(role.column)}::text`;
+	const guard = options.guard;
+	const key = guard !== void 0 && qualifySqlTable(guard.table) === through ? `case when ${keys}.${q(guard.tenant)} is not null${guard.skip === void 0 ? "" : ` and not coalesce(${keys}.${q(guard.skip)}, false)`} and ${plain} = any(${sqlTextArray(guard.declared)}) then null else ${plain} end` : plain;
 	return {
 		column: ref,
-		sql: `${keys}.${q(role.column)}::text`,
+		sql: key,
 		join: `${options.indent === void 0 ? " " : `\n${options.indent}`}join ${target} ${keys} on ${keys}.${q(id)} = ${alias}.${q(ref)}`,
-		lookup: `(select ${keys}.${q(role.column)}::text from ${target} ${keys} where ${keys}.${q(id)} = ${alias}.${q(ref)})`,
+		lookup: `(select ${key} from ${target} ${keys} where ${keys}.${q(id)} = ${alias}.${q(ref)})`,
 		through: keyed,
 		columns: [ref],
 		throughs: [keyed],
-		lateral: false
+		lateral: false,
+		nullable: false
 	};
 }
-/** The manifest entry of one role source: the column, and the roles table it references. */
-function sourceManifest(column, through) {
+/**
+* The manifest entry of one role source: the column, and the roles table it
+* references.
+*/
+function sourceManifest(column, through, map) {
+	if (map !== void 0) return {
+		column,
+		map
+	};
 	return through === void 0 ? { column } : {
 		column,
 		through: {
@@ -246,9 +277,12 @@ function sourceManifest(column, through) {
 function columnManifest(role) {
 	return sourceManifest(role.column, role.through);
 }
-/** The manifest entry of a role column, or one entry per source of a row with several. */
+/**
+* The manifest entry of a role column, or one entry per source of a row with
+* several.
+*/
 function roleManifest(role) {
-	if (!role.lateral) return sourceManifest(role.column, role.through);
+	if (!role.lateral) return sourceManifest(role.column, role.through, role.map);
 	return role.columns.map((column) => sourceManifest(column, role.throughs.find((through) => through.ref === column)));
 }
 //#endregion
@@ -258,14 +292,21 @@ const literal = quoteSqlLiteral;
 function isFixed(roles) {
 	return Array.isArray(roles);
 }
-/** A role column of the membership table, aliased `m`; a `through` column joins its roles table as `mk`. */
-function memberRole(role, table, label) {
+/**
+* A role column of the membership table, aliased `m`; a `through` column joins
+* its roles table as `mk`.
+*/
+function memberRole(role, table, label, guard) {
 	return roleColumn(role, qualifySqlTable(table), "m", {
 		label,
-		indent: ""
+		indent: "",
+		...guard === void 0 ? {} : { guard }
 	});
 }
-/** The user of the membership table, aliased `m`; a `through` user joins its table as `mu`. */
+/**
+* The user of the membership table, aliased `m`; a `through` user joins its
+* table as `mu`.
+*/
 function memberUser(user, table, label) {
 	const column = roleColumn(user, qualifySqlTable(table), "m", {
 		label,
@@ -278,12 +319,30 @@ function memberUser(user, table, label) {
 		sql: column.through === void 0 ? col(column.column) : `mu.${ident(column.through.key)}`
 	};
 }
-function roleAgg(role) {
-	return `jsonb_agg(distinct ${role.sql} order by ${role.sql})`;
+/** `through` tables qualified in the schema of `table`. */
+function throughIn(through, table) {
+	const schema = qualifySqlTable(table).split(".")[0] ?? "public";
+	return {
+		...through,
+		through: through.through.includes(".") ? through.through : `${schema}.${through.through}`
+	};
+}
+function qualifiedThrough(source, table) {
+	return typeof source === "string" || "map" in source ? source : throughIn(source, table);
 }
-function rowsOf(result) {
-	return Array.isArray(result) ? result : result.rows;
+function streamUser(user, table) {
+	return typeof user === "string" ? user : throughIn(user, table);
+}
+function isSourceList(role) {
+	return Array.isArray(role);
 }
+function streamRoles(role, table) {
+	return isSourceList(role) ? role.map((source) => qualifiedThrough(source, table)) : qualifiedThrough(role, table);
+}
+function roleAgg(role) {
+	return `jsonb_agg(distinct ${role.sql} order by ${role.sql}) filter (where ${role.sql} is not null)`;
+}
+const rowsOf = sqlRows;
 function strings(value) {
 	return Array.isArray(value) ? value.filter((item) => typeof item === "string" && item !== "") : [];
 }
@@ -339,9 +398,10 @@ function sourceOf(sql, query) {
 }
 /**
 * `ctx.postgres` (from `withPostgresClient`) or `ctx.postgresAdmin` as a
-* `SqlQuery` for `tableMembershipSource`, `junctionMembershipSource` and `supabaseApprovalStore`.
-* `ctx.postgres` runs as the caller under RLS, so the membership tables must
-* be readable by `authenticated`; `ctx.postgresAdmin` bypasses RLS.
+* `SqlQuery` for `tableMembershipSource`, `junctionMembershipSource` and
+* `supabaseApprovalStore`. `ctx.postgres` runs as the caller under RLS, so the
+* membership tables must be readable by `authenticated`; `ctx.postgresAdmin`
+* bypasses RLS.
 */
 function optionalColumn(name, cast) {
 	return name === void 0 ? `null::${cast}` : `${col(name)}::${cast}`;
@@ -351,18 +411,21 @@ function supabasePostgresQuery(postgres) {
 }
 /**
 * Memberships from one table holding every scope: a row per user, scope,
-* instance and role (`user_id, scope, scope_id, role`), with optional
-* `within`, `via`, expiry, owner and seat columns. Rows of the same instance
-* merge into one membership.
+* instance and role (`user_id, scope, scope_id, role`), with optional `within`,
+* `via`, expiry, owner and seat columns. Rows of the same instance merge into
+* one membership.
 */
 function tableMembershipSource(options) {
+	return tableSource(options, void 0);
+}
+function tableSource(options, guard) {
 	const c = options.columns ?? {};
 	const scope = `${col(c.scope ?? "scope")}::text`;
 	const id = `${col(c.id ?? "scope_id")}::text`;
 	const within = c.within === void 0 ? "null::jsonb" : col(c.within);
 	const user = memberUser(c.user ?? "user_id", options.table, "tableMembershipSource columns.user");
-	const role = memberRole(c.role ?? "role", options.table, "tableMembershipSource columns.role");
-	return sourceOf(sqlOf({
+	const role = memberRole(c.role ?? "role", options.table, "tableMembershipSource columns.role", guard);
+	const shape = {
 		table: options.table,
 		join: `${user.column.join}${role.join}`,
 		through: role.through,
@@ -427,7 +490,26 @@ function tableMembershipSource(options) {
 			expiresAt: c.expiresAt === void 0 ? void 0 : { column: c.expiresAt },
 			disabledAt: c.disabledAt === void 0 ? void 0 : { column: c.disabledAt }
 		})
-	}), options.query);
+	};
+	const stream = compact({
+		table: qualifySqlTable(options.table),
+		user: streamUser(c.user ?? "user_id", options.table),
+		scope: { column: c.scope ?? "scope" },
+		id: c.id ?? "scope_id",
+		roles: streamRoles(c.role ?? "role", options.table),
+		via: c.via === void 0 ? void 0 : { column: c.via },
+		expiresAt: c.expiresAt,
+		disabledAt: c.disabledAt,
+		nullableRoles: true,
+		guard
+	});
+	return {
+		...sourceOf({
+			...sqlOf(shape),
+			stream
+		}, options.query),
+		guarded: (next) => tableSource(options, next)
+	};
 }
 /**
 * Memberships from a table of one scope (`customer_contacts`): every row is a
@@ -435,13 +517,16 @@ function tableMembershipSource(options) {
 * fixed `via`, and ancestor ids from `within` columns.
 */
 function junctionMembershipSource(options) {
+	return junctionSource(options, void 0);
+}
+function junctionSource(options, guard) {
 	if (!/^[a-z][a-z0-9_]*$/u.test(options.scope)) throw new TypeError(`PermDock: unsafe scope name '${options.scope}'`);
 	const idColumn = options.id ?? `${options.scope}_id`;
 	const withinEntries = Object.entries(options.within ?? {});
 	const roles = options.roles;
 	const fixed = isFixed(roles) ? roles : void 0;
 	if (fixed?.length === 0) throw new TypeError("PermDock: junctionMembershipSource needs at least one role");
-	const role = isFixed(roles) ? void 0 : memberRole(typeof roles === "object" && "sources" in roles ? roles.sources : roles, options.table, "junctionMembershipSource roles");
+	const role = isFixed(roles) ? void 0 : memberRole(typeof roles === "object" && "sources" in roles ? roles.sources : roles, options.table, "junctionMembershipSource roles", guard);
 	const user = memberUser(options.user ?? "user_id", options.table, "junctionMembershipSource user");
 	const managedColumn = options.managedBy === void 0 ? void 0 : options.managedBy === "idp" ? "" : options.managedBy.column;
 	const groupColumn = options.group === void 0 || typeof options.group === "string" ? void 0 : options.group.column;
@@ -509,21 +594,40 @@ function junctionMembershipSource(options) {
 		})
 	};
 	const sql = sqlOf(shape);
-	return sourceOf({
-		...sql,
-		scope: options.scope,
-		holds: [options.scope, ...withinEntries.map(([name]) => name)],
-		list: (keep = sql.keeps) => selectOf(shape, filters(shape, `$1::text = ${literal(options.scope)} and ${col(idColumn)}::text = $2::text`), true, keep)
-	}, options.query);
+	const stream = compact({
+		table: qualifySqlTable(options.table),
+		user: streamUser(options.user ?? "user_id", options.table),
+		scope: { value: options.scope },
+		id: idColumn,
+		roles: fixed === void 0 ? streamRoles(typeof roles === "object" && "sources" in roles ? roles.sources : roles, options.table) : { value: [...fixed] },
+		via: options.via === void 0 ? void 0 : { value: options.via },
+		expiresAt: options.expiresAt,
+		disabledAt: options.disabledAt,
+		nullableRoles: fixed === void 0,
+		guard
+	});
+	return {
+		...sourceOf({
+			...sql,
+			stream,
+			scope: options.scope,
+			holds: [options.scope, ...withinEntries.map(([name]) => name)],
+			list: (keep = sql.keeps) => selectOf(shape, filters(shape, `$1::text = ${literal(options.scope)} and ${col(idColumn)}::text = $2::text`), true, keep)
+		}, options.query),
+		guarded: (next) => junctionSource(options, next)
+	};
 }
 const AUTHZ_VERSION_TABLE = "permdock_authz_version";
 /**
-* The default schema of everything PermDock generates: helpers, seeds, the
-* RBAC scaffold, the hook and the version table. Keep it out of the Data
-* API's exposed schemas, so the `security definer` functions are not RPCs.
+* The default schema of everything PermDock generates: helpers, seeds, the RBAC
+* scaffold, the hook and the version table. Keep it out of the Data API's
+* exposed schemas, so the `security definer` functions are not RPCs.
 */
 const PERMDOCK_SCHEMA = "permdock";
-/** Where `supabase.hook.api` puts the PostgREST wrappers, and the prefix of their names. */
+/**
+* Where `supabase.hook.api` puts the PostgREST wrappers, and the prefix of
+* their names.
+*/
 const HOOK_API_SCHEMA = "public";
 const HOOK_API_PREFIX = "permdock_";
 /** The wrapper function names of `supabase.hook.api` for `prefix`. */
@@ -536,7 +640,8 @@ function hookApiNames(prefix = HOOK_API_PREFIX) {
 }
 /**
 * Reads the authorization version `permdock supabase hook generate` keeps in
-* `<schema>.permdock_authz_version`: pass it to `claimsFirst(sources, { version })`.
+* `<schema>.permdock_authz_version`: pass it to `claimsFirst(sources, { version
+* })`.
 */
 function authzVersion(options) {
 	const table = quoteQualifiedTable(`${options.schema ?? "permdock"}.${AUTHZ_VERSION_TABLE}`);

package/dist/sources-qoIJQrJv.js

@@ -0,0 +1,11 @@
+//#region src/cli/sql/sources.ts
+/**
+* The membership sources a project reads: `rls.membershipSources`, else
+* `supabase.hook.memberships`. Every generator, doctor check and verifier
+* resolves them here, so they all read the same tables.
+*/
+function membershipSourcesOf(config) {
+	return config.rls?.membershipSources ?? config.supabase?.hook?.memberships ?? [];
+}
+//#endregion
+export { membershipSourcesOf as t };