better-supabase 0.7.1 → 0.9.0

package/dist/spec-pins-S4PymRxp.js

@@ -0,0 +1,60 @@
+//#region src/core/spec-pins.ts
+/**
+* Versions of evolving specs and conventions the code follows. Moving a pin
+* is a minor release with a changeset (see the standards docs page).
+*/
+const SPEC_PINS = {
+	otelSemconv: "1.37.0",
+	otlp: "1.7.0",
+	mcp: "2026-07-28",
+	openapi: "3.1.2",
+	openapi30: "3.0.4",
+	openapi31: "3.1.2",
+	openapi32: "3.2.1",
+	openapi33Preview: "aa2f6c0",
+	securityProfiles: "sig-security#50@2026-05-05",
+	overlay10: "1.0.0",
+	overlay11: "1.1.0",
+	overlay12: "1.2.0",
+	arazzo10: "1.0.1",
+	arazzo11: "1.1.0",
+	asyncapi30: "3.0.0",
+	asyncapi31: "3.1.0",
+	authzen: "1.0",
+	cloudevents: "1.0.2",
+	standardWebhooks: "1.0.0",
+	sarif: "2.1.0",
+	jsonSchema: "2020-12",
+	postgrestAggregates: "12",
+	serverTiming: "WD-20260407",
+	stripeSyncEngine: "0.48.5",
+	pgvector: "0.8",
+	ocsf: "1.9.0",
+	openfeature: "0.9.0",
+	scim: "2.0",
+	supabaseSdkCapabilities: "1.14.0",
+	aiMessage: "1",
+	aiSdkUiMessageStream: "v1",
+	anthropicMemoryTool: "20250818",
+	rfc5545: "2009-09",
+	rfc4180: "2005-10",
+	iso4217: "2026-09-17",
+	rfc6902: "2013-04",
+	rfc9396: "2023-05",
+	rfc9864: "2025-10",
+	rfc8417: "2018-07",
+	rfc8935: "2020-11",
+	rfc8936: "2020-11",
+	ssf: "1.0",
+	caep: "1.0",
+	risc: "1.0",
+	rfc9068: "2021-10",
+	rfc7591: "2015-07",
+	rfc7636: "2015-09",
+	rfc8628: "2019-08",
+	rfc9700: "2025-01",
+	ratelimitHeaders: "draft-11",
+	shadcnRegistry: "4.21.4"
+};
+//#endregion
+export { SPEC_PINS as t };

package/dist/sql/index.d.ts

@@ -1,9 +1,9 @@
-import { n as AccessPolicySql, u as ClaimsMeta } from "../types-6BdhkmZe.js";
-import { K as ReadSet } from "../define-CJJkkr1-.js";
-import { i as DisabledRow, o as ModuleMode, s as ModulesConfig } from "../modules-DpPwzC7E.js";
-import { n as AuthorizationMembership, o as AuthorizationRoleSource, t as AuthorizationFunctions } from "../authorization-BFCqamMs.js";
-import { a as ModuleAudit, c as ModuleEmit, d as ModuleTableSpec, f as contractSignature, i as ModuleAction, l as ModuleIdType, m as moduleIdType, n as AuditCategory, o as ModuleContext, p as isModuleIdType, r as MODULE_ID_TYPES, s as ModuleContractFunction, t as AUDIT_CATEGORIES, u as ModuleNames } from "../context-BCrWe7ow.js";
-import { D as ResolvedConfig, l as EntitlementPlansSource } from "../config-D44Y7PAv.js";
+import { n as AccessPolicySql, u as ClaimsMeta } from "../types-YfwpIE-d.js";
+import { C as BLOCK_OPTION_SCHEMAS, S as resolveModule, g as BlockScope, h as BlockMode, n as AuthorizationMembership, p as AnyBlocksConfig, r as AuthorizationOperation, s as AuthorizationRoleSource, t as AuthorizationFunctions, w as BlockOptionsRegistry, x as SqlNaming, y as DisabledRow } from "../authorization-DpRfs6Wx.js";
+import { q as ReadSet } from "../define-DxHHbNEb.js";
+import { n as SubjectsConfig, t as SubjectConfig } from "../subjects-z8VWA_lF.js";
+import { a as ModuleAudit, c as ModuleEmit, d as ModuleTableSpec, f as contractSignature, i as ModuleAction, l as ModuleIdType, m as moduleIdType, n as AuditCategory, o as ModuleContext, p as isModuleIdType, r as MODULE_ID_TYPES, s as ModuleContractFunction, t as AUDIT_CATEGORIES, u as ModuleNames } from "../context-1sSWcd7_.js";
+import { S as EntitlementPlansSource, Sn as AppTablesConfig, x as ResolvedConfig } from "../codegen-DeoSt1mi.js";
 //#region src/sql/shared.d.ts
 /** A `pg_jsonschema` check on a jsonb column, for the `jsonb-schemas` module and key-value tables. */
 interface JsonSchemaCheck {
@@ -38,7 +38,95 @@ export declare function auditRegistrations(files: readonly {
   readonly text: string;
 }[]): AuditedTable[];
 //#endregion
-//#region src/sql/registry.d.ts
+//#region src/sql/foreign-keys.d.ts
+/** A foreign key the schema files declare. */
+interface DeclaredForeignKey {
+  /** `schema.table`, unquoted. */
+  readonly table: string;
+  readonly columns: readonly string[];
+  /** The referenced `schema.table`, unquoted. */
+  readonly references: string;
+  /**
+   * The referenced columns. Without a column list, the referenced table's
+   * declared primary key, or `id` when the files don't declare one.
+   */
+  readonly referencedColumns: readonly string[];
+}
+/** The layout fields `blocks.tenant.options.sameTenant.auto` derives its entries from. */
+export declare function sameTenantLayout(files: readonly {
+  readonly text: string;
+}[], schemas: readonly string[]): Required<Pick<ModuleLayout, "foreignKeys" | "declaredColumns">>;
+//#endregion
+//#region src/sql/modules/entitlements-checks.d.ts
+/** `entitlements.claim`: what `feature_claims` puts in the token. */
+type FeatureClaimOption = false | {
+  /** At most this many tenants, the lowest ids first. */
+  readonly maxTenants?: number;
+  /** Short codes written instead of the feature keys: `{ exports: "x" }`. */
+  readonly keys?: Readonly<Record<string, string>>;
+};
+//#endregion
+//#region src/sql/modules/entitlements-source.d.ts
+/** The table holding each tenant's Stripe customer id. */
+interface EntitlementsSource {
+  /** `table` or `schema.table`; unset uses the `organizations` module's. */
+  readonly table?: string;
+  /** Column with the Stripe customer id (`cus_...`). */
+  readonly column?: string;
+  /** Column with the tenant id. */
+  readonly key: string;
+  /** Where entitlements come from; the customer lookups are for `stripe-sync` only. */
+  readonly source?: "stripe-sync" | "custom" | EntitlementPlansSource;
+  readonly claim?: FeatureClaimOption;
+}
+//#endregion
+//#region src/sql/modules/grants.d.ts
+/** Privileges one role gets on a table or view. */
+interface TableGrant {
+  /** `table` or `schema.table`. */
+  readonly table: string;
+  readonly role: "anon" | "authenticated" | "service_role";
+  readonly privileges: readonly string[];
+}
+/** The roles that may execute a function. */
+interface FunctionGrant {
+  /** `name(argument types)` or `schema.name(argument types)`. */
+  readonly function: string;
+  readonly roles: readonly ("anon" | "authenticated" | "service_role")[];
+}
+//#endregion
+//#region src/sql/modules/vector-search.d.ts
+/** An embedding column `db.$search` can query. */
+interface VectorSearchTable {
+  /** `table` or `schema.table`. */
+  readonly table: string;
+  readonly column: string;
+  readonly distance: "cosine" | "l2" | "inner_product";
+  /** The column's type: pgvector's `vector` (default) or `halfvec`. */
+  readonly type?: "vector" | "halfvec";
+  /** The primary key column the scores function returns. Defaults to `id`. */
+  readonly key?: string;
+  /** Full-text ranking fused with the vector ranking (reciprocal rank fusion). */
+  readonly hybrid?: {
+    readonly tsvector: string;
+    /** The text search configuration of the query. Defaults to `simple`. */
+    readonly config?: string;
+    /** The RRF constant. Defaults to 60. */
+    readonly k?: number;
+  };
+  /** A SQL expression over the row `t` the score is multiplied by, such as `t.priority`. */
+  readonly boost?: string;
+  /** Columns `filter` narrows before ranking, such as `organization_id`. */
+  readonly prefilter?: readonly string[];
+  /** A SQL condition over the row `t` every candidate must meet. */
+  readonly predicate?: string;
+  /** How `boost` combines with the score. Defaults to `multiply`. */
+  readonly boostMode?: "multiply" | "add";
+  /** A SQL `order by` list over the row `t` that breaks score ties. */
+  readonly order?: string;
+}
+//#endregion
+//#region src/sql/module-types.d.ts
 /** The step from one module version to the next, for `sql upgrade`. */
 interface ModuleUpgrade {
   /** The installed version this step upgrades from. */
@@ -70,7 +158,7 @@ interface ModuleDeprecation {
   readonly wrapper?: (ctx: ModuleContext) => string;
 }
 /**
- * SQL modules for `better-supabase sql add`. Every module is idempotent
+ * SQL modules for `better-supabase add`. Every module is idempotent
  * (`create or replace`, `if not exists`), so re-running it upgrades in place.
  */
 interface SqlModule {
@@ -79,6 +167,20 @@ interface SqlModule {
   readonly description: string;
   /** Modules this one needs, added along with it. */
   readonly requires: readonly string[];
+  /**
+   * The scopes the module runs in. A module that needs tenants declares
+   * `["tenant"]`; unset, it runs in every scope. Outside `tenant` scope a
+   * module needs neither `tenant` nor `access`, so they drop from
+   * `requires`.
+   */
+  readonly scopes?: readonly BlockScope[];
+  /**
+   * A module this one renders and is numbered ahead of, for a module that
+   * owns a subject table the `case` checks of `comments` or `attachments`
+   * name, or that `search` puts its index trigger on. The file takes the
+   * number before it, so later files keep theirs.
+   */
+  readonly before?: string;
   /** What it needs instead when an authorization provider supplies memberships. */
   readonly providerRequires?: readonly string[];
   /**
@@ -94,24 +196,28 @@ interface SqlModule {
    * `*` stands for every module, for one that reads them all (`data-lifecycle`).
    */
   readonly integrates?: readonly string[];
-  /** What it needs for this layout, e.g. per `sql.modules.access.model`; overrides both. */
+  /** What it needs for this layout, e.g. per `blocks.access.model`; overrides both. */
   readonly dependencies?: (layout: ModuleLayout) => readonly string[];
   /** `schema` files go with your schemas; `test` files go to `supabase/tests`. */
   readonly target: "schema" | "test";
-  /** The module with the default claim names. */
+  /** The module built for the default layout. */
   readonly sql: string;
-  /** The module for configured claim names (`config.claims`), when it reads claims. */
-  readonly render?: (claims: ClaimsMeta, layout: ModuleLayout) => string;
   /** Bumped when installed databases need an upgrade step. Defaults to 1. */
   readonly version?: number;
-  /** The modes `sql.modules.<name>.mode` accepts. Defaults to `managed` only. */
-  readonly modes?: readonly ModuleMode[];
-  /** The logical tables and columns `sql.modules.<name>.tables` and `columns` map. */
+  /** The modes `blocks.<name>.mode` accepts. Defaults to `managed` only. */
+  readonly modes?: readonly BlockMode[];
+  /** The logical tables and columns `blocks.<name>.tables` and `columns` map. */
   readonly names?: ModuleNames;
   /** The functions other modules and the TypeScript side call. */
   readonly contract?: (ctx: ModuleContext) => readonly ModuleContractFunction[];
-  /** Renders the module for a layout; takes precedence over `render`. */
-  readonly build?: (ctx: ModuleContext, layout: ModuleLayout) => string;
+  /** Renders the module for a layout. */
+  readonly build: (ctx: ModuleContext, layout: ModuleLayout) => string;
+  /**
+   * SQL appended after the module's body that depends on the whole layout, for
+   * example the grants for the tables in `expose`. Unlike `build`, it stays out
+   * of what `api` wrappers and extension scans read.
+   */
+  readonly extras?: (ctx: ModuleContext, layout: ModuleLayout) => string;
   readonly upgrades?: readonly ModuleUpgrade[];
   readonly deprecated?: readonly ModuleDeprecation[];
   /**
@@ -129,7 +235,23 @@ interface SqlModule {
    * entry point for them.
    */
   readonly internal?: readonly string[];
+  /**
+   * Soft-delete columns, as logical `table.column`: a write can set them to
+   * hide a row but never clear them again, so doctor BS213 doesn't count
+   * them as columns that grant access.
+   */
+  readonly hidingColumns?: readonly string[];
   readonly adoptOptional?: (ctx: ModuleContext) => Readonly<Record<string, readonly string[]>>;
+  /**
+   * Adopted tables a subject carries (`options.subjects.<type>.<key>`),
+   * checked by `adoptedColumnProblems`. A null column is mapped away.
+   */
+  readonly adoptSubjectTables?: (ctx: ModuleContext) => readonly {
+    readonly logical: string;
+    readonly schema: string;
+    readonly table: string;
+    readonly columns: Readonly<Record<string, string | null>>;
+  }[];
 }
 /** A pgTAP file a module writes for the layout, e.g. one per audited table. */
 interface ModuleTestFile {
@@ -138,17 +260,6 @@ interface ModuleTestFile {
   readonly sql: string;
 }
 export declare const moduleVersion: (module: SqlModule) => number;
-/** `entitlements.claim`: what `feature_claims` puts in the token. */
-type FeatureClaimOption = false | {
-  /** At most this many tenants, the lowest ids first. */
-  readonly maxTenants?: number;
-  /** Short codes written instead of the feature keys: `{ exports: "x" }`. */
-  readonly keys?: Readonly<Record<string, string>>;
-};
-/** New modules go at the end: the position is part of the file name. */
-export declare const SQL_MODULES: Readonly<Record<string, SqlModule>>;
-/** The modules to install for `names`, dependencies first. Throws on an unknown name. */
-export declare function resolveModules(names: readonly string[], layout?: ModuleLayout): SqlModule[];
 interface ModuleFile {
   readonly module: string;
   /** `schema` and `test` files are diffed; `data` files go in a migration too. */
@@ -185,14 +296,18 @@ interface ModuleLayout {
   readonly functionGrants?: readonly FunctionGrant[];
   /**
    * Grants the permissive policies in the schema files imply, for
-   * `sql.modules.grants.options.fromPolicies`. Tables in `grants` keep
+   * `blocks.grants.options.fromPolicies`. Tables in `grants` keep
    * their listed privileges.
    */
   readonly policyGrants?: readonly TableGrant[];
-  /** The tables the schema files create, for `sql.modules.sessions.options.policies`. */
+  /** The tables the schema files create, for `blocks.sessions.options.policies`. */
   readonly declaredTables?: readonly string[];
   /** The declared tables with row level security on, for tables `fromPolicies` makes service-only. */
   readonly rlsTables?: readonly string[];
+  /** The foreign keys the schema files declare, for `blocks.tenant.options.sameTenant.auto`. */
+  readonly foreignKeys?: readonly DeclaredForeignKey[];
+  /** Each declared table's columns, `schema.table` to names, for `sameTenant.auto`. */
+  readonly declaredColumns?: Readonly<Record<string, readonly string[]>>;
   /** `config.readSets`, compiled: the functions the `read-sets` module writes. */
   readonly readSets?: readonly {
     readonly name: string;
@@ -209,10 +324,20 @@ interface ModuleLayout {
   readonly entitlementsProvider?: ModuleEntitlementsProvider;
   /** The authorization provider the `access` module's `provider` model calls. */
   readonly accessProvider?: ModuleAccessProvider;
-  /** `config.sql.modules`: modes, names and permission keys per module. */
-  readonly modules?: ModulesConfig;
+  /** `config.blocks`: modes, names and permission keys per module. */
+  readonly modules?: AnyBlocksConfig;
+  /** `sql.scope`: the scope of every block that sets none. Defaults to `tenant`. */
+  readonly scope?: BlockScope;
+  /** `sql.naming`: the tenant concept's name in tables, functions and columns. */
+  readonly naming?: SqlNaming;
+  /** `config.subjects`: the app-wide subject registry (ADR 0020). */
+  readonly subjects?: SubjectsConfig;
+  /** `config.appTables`: the tables the app owns, rendered after the blocks (ADR 0040). */
+  readonly appTables?: AppTablesConfig;
   /** The authorization provider's permission keys, for `api-keys` scopes. */
   readonly permissionCatalog?: readonly string[];
+  /** `authorization.delegation.scopes`: the access module's `scope_permissions` (with `blocks.access.scopes` merged over it). */
+  readonly delegationScopes?: Readonly<Record<string, readonly string[]>>;
 }
 /** Where the `entitlements` module reads the provider's memberships, and the tables behind them. */
 interface ModuleEntitlementsProvider {
@@ -233,6 +358,8 @@ interface ModuleAccessProvider {
   readonly name: string;
   /** The provider scope tenants are. */
   readonly scope: string;
+  /** Every scope it declares, for `options.subjects.<type>.scope`. */
+  readonly scopes?: readonly string[];
   readonly idType: ModuleIdType;
   readonly functions: AuthorizationFunctions;
   /** The access module's `disabled` setting defaults to these. */
@@ -246,107 +373,13 @@ interface ModuleAccessProvider {
   readonly approvals?: {
     readonly distinctApprover?: boolean;
   };
+  /** The provider's operations table; `operationPermission` reads it. */
+  readonly operations?: Readonly<Record<string, AuthorizationOperation>>;
 }
-/** An embedding column `db.$search` can query. */
-interface VectorSearchTable {
-  /** `table` or `schema.table`. */
-  readonly table: string;
-  readonly column: string;
-  readonly distance: "cosine" | "l2" | "inner_product";
-  /** The column's type: pgvector's `vector` (default) or `halfvec`. */
-  readonly type?: "vector" | "halfvec";
-  /** The primary key column the scores function returns. Defaults to `id`. */
-  readonly key?: string;
-  /** Full-text ranking fused with the vector ranking (reciprocal rank fusion). */
-  readonly hybrid?: {
-    readonly tsvector: string;
-    /** The text search configuration of the query. Defaults to `simple`. */
-    readonly config?: string;
-    /** The RRF constant. Defaults to 60. */
-    readonly k?: number;
-  };
-  /** A SQL expression over the row `t` the score is multiplied by, such as `t.priority`. */
-  readonly boost?: string;
-  /** Columns `filter` narrows before ranking, such as `organization_id`. */
-  readonly prefilter?: readonly string[];
-  /** A SQL condition over the row `t` every candidate must meet. */
-  readonly predicate?: string;
-  /** How `boost` combines with the score. Defaults to `multiply`. */
-  readonly boostMode?: "multiply" | "add";
-  /** A SQL `order by` list over the row `t` that breaks score ties. */
-  readonly order?: string;
-}
-/** The table holding each tenant's Stripe customer id. */
-interface EntitlementsSource {
-  /** `table` or `schema.table`; unset uses the `organizations` module's. */
-  readonly table?: string;
-  /** Column with the Stripe customer id (`cus_...`). */
-  readonly column?: string;
-  /** Column with the tenant id. */
-  readonly key: string;
-  /** Where entitlements come from; the customer lookups are for `stripe-sync` only. */
-  readonly source?: "stripe-sync" | "custom" | EntitlementPlansSource;
-  readonly claim?: FeatureClaimOption;
-}
-/** Privileges one role gets on a table or view. */
-interface TableGrant {
-  /** `table` or `schema.table`. */
-  readonly table: string;
-  readonly role: "anon" | "authenticated" | "service_role";
-  readonly privileges: readonly string[];
-}
-/** The roles that may execute a function. */
-interface FunctionGrant {
-  /** `name(argument types)` or `schema.name(argument types)`. */
-  readonly function: string;
-  readonly roles: readonly ("anon" | "authenticated" | "service_role")[];
-}
-/** Whether an installed file matches, ignoring the version stamped in its header and line endings. */
-export declare function sameModuleFile(current: string | undefined, expected: string): boolean;
-/** The installed version of a module file, from its `@bs-module` line. */
-export declare function moduleFileVersion(contents: string): {
-  readonly module: string;
-  readonly version: number;
-} | undefined;
+//#endregion
+//#region src/sql/render.d.ts
 /** A module's SQL for `layout`, without header; `undefined` in custom mode. */
 export declare function moduleBody(name: string, layout?: ModuleLayout): string | undefined;
-/**
- * The schema or test file `renderModules` writes for each of `names` and the
- * modules they pull in, without rendering: modules in custom mode have none.
- */
-export declare function moduleFilePaths(names: readonly string[], layout?: ModuleLayout): ReadonlyMap<string, string>;
-/** A permission key a SQL module checks, from `modulePermissionKeys`. */
-interface ModulePermissionKey {
-  readonly module: string;
-  /** The action in `sql.modules.<module>.permissions` that overrides the key. */
-  readonly action: string;
-  readonly key: string;
-  /**
-   * `tenant` for keys checked in a tenant (`member_can`, `can`,
-   * `tenant_ids_with`), `platform` for `is_platform` and `platform_can`.
-   */
-  readonly scope: "tenant" | "platform";
-}
-/**
- * Every permission key the modules `names` install (with what they pull
- * in) check, after `sql.modules.<module>.permissions` overrides. Modules in custom
- * mode are skipped, and so is `invitations.invitePlatform` without platform
- * roles.
- */
-export declare function modulePermissionKeys(config: ModulesConfig, names: readonly string[]): ModulePermissionKey[];
-interface ModuleExtension {
-  readonly name: string;
-  readonly statement: string;
-}
-export declare const moduleSchemaExtensions: (files: readonly ModuleFile[]) => ModuleExtension[];
-/**
- * The event triggers each of these modules creates, as its default file
- * renders them, for doctor's check of a database.
- */
-export declare function moduleEventTriggers(names: readonly string[], modules?: Readonly<Record<string, SqlModule>>): {
-  readonly module: string;
-  readonly name: string;
-}[];
 /**
  * The files `sql add` writes for these modules. Modules in `custom` mode
  * write nothing: the app implements their contract. A schema module's rows,
@@ -360,6 +393,15 @@ interface ModuleTopic {
   readonly topic: string;
 }
 export declare function moduleTopics(names: readonly string[], layout?: ModuleLayout): ModuleTopic[];
+/** The contract functions of the modules in `custom` mode, for doctor. */
+export declare function customContracts(names: readonly string[], layout?: ModuleLayout): {
+  readonly module: string;
+  readonly schema: string;
+  readonly idType: ModuleIdType;
+  readonly functions: readonly ModuleContractFunction[];
+}[];
+//#endregion
+//#region src/sql/upgrade.d.ts
 /** An installed module, from its file's `@bs-module` line or `modules`. */
 interface InstalledModule {
   readonly module: string;
@@ -386,24 +428,169 @@ export declare function upgradePlan(installed: readonly InstalledModule[], layou
 export declare function moduleDeprecations(modules?: Readonly<Record<string, SqlModule>>): readonly (ModuleDeprecation & {
   readonly module: string;
 })[];
-/** The contract functions of the modules in `custom` mode, for doctor. */
-export declare function customContracts(names: readonly string[], layout?: ModuleLayout): {
+//#endregion
+//#region src/sql/paths.d.ts
+/**
+ * The schema or test file `renderModules` writes for each of `names` and the
+ * modules they pull in, without rendering: modules in custom mode have none.
+ */
+export declare function moduleFilePaths(names: readonly string[], layout?: ModuleLayout): ReadonlyMap<string, string>;
+//#endregion
+//#region src/sql/markers.d.ts
+/** The installed version of a module file, from its `@bs-module` line. */
+export declare function moduleFileVersion(contents: string): {
   readonly module: string;
-  readonly schema: string;
-  readonly idType: ModuleIdType;
-  readonly functions: readonly ModuleContractFunction[];
+  readonly version: number;
+} | undefined;
+/** Whether an installed file matches, ignoring the version stamped in its header and line endings. */
+export declare function sameModuleFile(current: string | undefined, expected: string): boolean;
+//#endregion
+//#region src/sql/introspect.d.ts
+/** A permission key a SQL module checks, from `modulePermissionKeys`. */
+interface ModulePermissionKey {
+  readonly module: string;
+  /** The action in `blocks.<module>.permissions` that overrides the key. */
+  readonly action: string;
+  readonly key: string;
+  /**
+   * `tenant` for keys checked in a tenant (`member_can`, `can`,
+   * `tenant_ids_with`), `platform` for `is_platform` and `platform_can`.
+   */
+  readonly scope: "tenant" | "platform";
+}
+/**
+ * Every permission key the modules `names` install (with what they pull
+ * in) check, after `blocks.<module>.permissions` overrides. Modules in custom
+ * mode are skipped, and so is `invitations.invitePlatform` without platform
+ * roles.
+ */
+export declare function modulePermissionKeys(config: AnyBlocksConfig, names: readonly string[]): ModulePermissionKey[];
+interface ModuleExtension {
+  readonly name: string;
+  readonly statement: string;
+}
+export declare const moduleSchemaExtensions: (files: readonly ModuleFile[]) => ModuleExtension[];
+/**
+ * The installed modules' soft-delete columns (`SqlModule.hidingColumns`), as
+ * `schema.table.column` after the layout's renames, for doctor BS213.
+ */
+export declare function moduleHidingColumns(installed: readonly string[], layout: ModuleLayout): string[];
+/**
+ * The event triggers each of these modules creates, as its default file
+ * renders them, for doctor's check of a database.
+ */
+export declare function moduleEventTriggers(names: readonly string[], modules?: Readonly<Record<string, SqlModule>>): {
+  readonly module: string;
+  readonly name: string;
 }[];
 //#endregion
+//#region src/sql/registry.d.ts
+/** New modules go at the end: the position is part of the file name. */
+export declare const SQL_MODULES: Readonly<Record<string, SqlModule>>;
+/** The modules to install for `names`, dependencies first. Throws on an unknown name. */
+export declare function resolveModules(names: readonly string[], layout?: ModuleLayout): SqlModule[];
+//#endregion
+//#region src/sql/modules/app-tables.d.ts
+/**
+ * The `module` of the files `renderModules` writes for `appTables`. App
+ * tables aren't a block: no `SQL_MODULES` entry, no preset, no row in
+ * `better_supabase.modules` (ADR 0040).
+ */
+export declare const APP_TABLES_MODULE = "app-tables";
+/** The first line after the title of the app tables schema file. */
+export declare const APP_TABLES_MARKER = "-- @bs-app-tables";
+/**
+ * The files for `layout.appTables`: one schema file that creates every app
+ * table in `public` (implicit columns first, then each column with `add
+ * column if not exists`, so a later column reaches an existing table),
+ * with row level security, the grants and policies of its scope, indexes
+ * on the scope and reference columns, and the `updated_at` trigger when
+ * the `updated-at` block is installed; and one pgTAP file that checks the
+ * policies and grants. Empty without app tables. `installed` is every
+ * block module `renderModules` resolved.
+ */
+export declare function appTablesFiles(layout: ModuleLayout, installed: readonly string[]): ModuleFile[];
+//#endregion
 //#region src/sql/adopted-columns.d.ts
+/** A table an adopt-mode module reads and writes, with the columns it uses. */
+interface AdoptedTable {
+  readonly module: string;
+  readonly logical: string;
+  readonly schema: string;
+  readonly table: string;
+  /** Logical column to the physical column the module's SQL names. */
+  readonly columns: Readonly<Record<string, string>>;
+}
+/**
+ * Every table the adopt-mode modules in `modules` use, with the columns
+ * their SQL names: mapped to `null` and unused optional columns are left out.
+ */
+export declare function adoptedTables(modules: AnyBlocksConfig): readonly AdoptedTable[];
 /**
  * Adopt-mode modules that default an optional column to its physical name
  * while the adopted `create table` has no such column. `sql sync` refuses
  * those configs so `has()` does not treat a missing column as present.
  */
-export declare function adoptedColumnProblems(modules: ModulesConfig, files: readonly {
+export declare function adoptedColumnProblems(modules: AnyBlocksConfig, files: readonly {
   readonly text: string;
 }[], schemas: readonly string[]): readonly string[];
 //#endregion
+//#region src/sql/expose-columns.d.ts
+/**
+ * The columns `privilege(*, -a, -b)` leaves out, unquoted. Empty for any
+ * other privilege.
+ */
+export declare function excludedColumns(privilege: string): readonly string[];
+/**
+ * `grants` with every `privilege(*, -col)` turned into the explicit column
+ * list the `create table` in `files` declares, in declaration order. Throws
+ * for a table no file declares, or when the exclusions leave no column.
+ */
+export declare function resolveExposeColumns(grants: readonly TableGrant[], files: readonly {
+  readonly text: string;
+}[], schemas: readonly string[]): readonly TableGrant[];
+//#endregion
+//#region src/sql/modules/data-lifecycle-secrets.d.ts
+/** Column names that usually hold a credential, matched case-insensitively. */
+export declare const SECRET_COLUMNS = "token|secret|_hash|password|api_key|license_key";
+/** What doctor needs to tell which columns a data export reads. */
+interface DataExportPlan {
+  /** The listed and module tables an export reads, `schema.table`, with the columns it leaves out. */
+  readonly tables: readonly {
+    readonly name: string;
+    readonly omit: readonly string[];
+  }[];
+  /** `options.autoTables`: the tables in `schemas` with one of `columns`, minus `excluded` and the listed ones. */
+  readonly auto: {
+    readonly schemas: readonly string[];
+    readonly columns: readonly string[];
+    readonly excluded: (name: string) => boolean;
+  } | undefined;
+  /** `options.omitPattern`, resolved. */
+  readonly omitPattern: string | undefined;
+}
+/** The export tables for doctor. Undefined without the `data-lifecycle` module. */
+export declare function dataExportPlan(layout: ModuleLayout, installed: readonly string[]): DataExportPlan | undefined;
+//#endregion
+//#region src/sql/modules/tenant-same.d.ts
+/** The unquoted trigger name `sameTenant` gives `column`, within Postgres' 63 bytes. */
+export declare function sameTenantTrigger(column: string): string;
+/** The tenant column `sameTenant` entries default to: the memberships tenant column. */
+export declare function sameTenantColumn(layout: ModuleLayout): string;
+//#endregion
+//#region src/sql/flag-lifecycle.d.ts
+/**
+ * The flags past their `expires_at`, as doctor reads them: `expires_at` and
+ * `owner` are optional `extraColumns` of the flags table, and an archived
+ * flag is left out. Undefined when the flags module isn't installed or has
+ * no `expires_at` column.
+ */
+export declare function expiredFlagsQuery(layout: ModuleLayout, installed: readonly string[]): string | undefined;
+//#endregion
+//#region src/sql/subject-registry.d.ts
+/** Every column a registry entry names, keyed by the config path that names it. */
+export declare function subjectColumns(entry: SubjectConfig): readonly (readonly [path: string, column: string])[];
+//#endregion
 //#region src/sql/schema-scan.d.ts
 /** Privileges one role gets on a table, from the policies that name it. */
 interface PolicyGrant {
@@ -483,14 +670,14 @@ interface MigrationOptionUse {
   readonly option: string;
   readonly value: unknown;
   readonly adopted: boolean;
-  /** `sql.modules.<module>.options.<option> ... It <effect>.` */
+  /** `blocks.<module>.options.<option> ... It <effect>.` */
   readonly message: string;
 }
 /**
- * The migration-only options `sql.modules` sets to a value other than the managed
+ * The migration-only options `blocks` sets to a value other than the managed
  * default. They are accepted in `adopt` mode only; doctor warns about each.
  */
-export declare function migrationOptionUses(modules?: ModulesConfig): MigrationOptionUse[];
+export declare function migrationOptionUses(modules?: AnyBlocksConfig): MigrationOptionUse[];
 //#endregion
 //#region src/sql/shared-roles.d.ts
 /**
@@ -519,4 +706,4 @@ export declare function compileReadSet(set: ReadSet): Promise<CompiledReadSet>;
 /** Compiles every set, sorted by name. Throws on a duplicate name. */
 export declare function compileReadSets(sets: readonly ReadSet[]): Promise<CompiledReadSet[]>;
 //#endregion
-export { AUDIT_CATEGORIES, type AuditCategory, type AuditedTable, type CompiledReadSet, type InstalledModule, MODULE_ID_TYPES, type MigrationOptionUse, type ModuleAccessProvider, type ModuleAction, type ModuleAudit, type ModuleContext, type ModuleContractFunction, type ModuleDeprecation, type ModuleEmit, type ModuleEntitlementsProvider, type ModuleExtension, type ModuleFile, type ModuleIdType, type ModuleLayout, type ModuleNames, type ModulePermissionKey, type ModuleTableSpec, type ModuleTestFile, type ModuleTopic, type ModuleUpgrade, type ModuleUpgradePlan, type PolicyGrant, type SqlModule, contractSignature, isModuleIdType, moduleIdType };
+export { AUDIT_CATEGORIES, type AdoptedTable, type AuditCategory, type AuditedTable, BLOCK_OPTION_SCHEMAS, type BlockOptionsRegistry, type CompiledReadSet, type DataExportPlan, type DeclaredForeignKey, type InstalledModule, MODULE_ID_TYPES, type MigrationOptionUse, type ModuleAccessProvider, type ModuleAction, type ModuleAudit, type ModuleContext, type ModuleContractFunction, type ModuleDeprecation, type ModuleEmit, type ModuleEntitlementsProvider, type ModuleExtension, type ModuleFile, type ModuleIdType, type ModuleLayout, type ModuleNames, type ModulePermissionKey, type ModuleTableSpec, type ModuleTestFile, type ModuleTopic, type ModuleUpgrade, type ModuleUpgradePlan, type PolicyGrant, type SqlModule, contractSignature, isModuleIdType, moduleIdType, resolveModule };