@ultimat3/entity 0.0.1 → 1.0.0

package/src/errors.ts

@@ -1,27 +1,49 @@
 // The entity layer's stable error codes. Each factory produces the exact command
 // that fixes the situation — `X_DB_DRIFT` is the flagship: it names the table, the
 // column and the generator invocation.
-import { UltimateError } from '@ultimat3/core';
+import { registerErrorCodes, UltimateError } from '@ultimat3/core';
 
-export const ENTITY_ERROR_CODES = [
+/** Codes this package declares and owns. */
+export const ENTITY_OWNED_ERROR_CODES = [
   'X_ENTITY_DUPLICATE',
   'X_INVARIANT_VIOLATED',
   'X_TENANCY_UNSCOPED',
-  'X_DB_DRIFT',
   'X_NOT_FOUND',
 ] as const;
 
+/**
+ * `X_DB_DRIFT` is `@ultimat3/db`'s — drift is a fact about migrations, and this package imports db
+ * rather than the other way round. `dbDrift()` below throws it; nothing here titles it, because a
+ * second copy of the title is what lets the two packages disagree about what the code means.
+ */
+export const ENTITY_BORROWED_ERROR_CODES = ['X_DB_DRIFT'] as const;
+
+/** Every code entity can throw: the ones it owns plus the one it borrows. */
+export const ENTITY_ERROR_CODES = [
+  ...ENTITY_OWNED_ERROR_CODES,
+  ...ENTITY_BORROWED_ERROR_CODES,
+] as const;
+
+export type EntityOwnedErrorCode = (typeof ENTITY_OWNED_ERROR_CODES)[number];
 export type EntityErrorCode = (typeof ENTITY_ERROR_CODES)[number];
 
-export const ENTITY_ERROR_TITLES: Readonly<Record<EntityErrorCode, string>> = {
+export const ENTITY_ERROR_TITLES: Readonly<Record<EntityOwnedErrorCode, string>> = {
   X_ENTITY_DUPLICATE: 'two entities claim the same name',
   X_INVARIANT_VIOLATED: 'a domain invariant rejected this row',
   X_TENANCY_UNSCOPED: 'a tenant-scoped query has no org predicate',
-  X_DB_DRIFT: 'schema differs from migrations',
   X_NOT_FOUND: 'no row for that id',
 };
 
+// Registered at module load, unconditionally, in one call. Without this the registry humanises the
+// code and every surface renders a title this package never wrote; with a presence guard, a second
+// package claiming one of these codes would silently win instead of throwing X_ERROR_CODE_DUPLICATE.
+registerErrorCodes(
+  Object.fromEntries(Object.entries(ENTITY_ERROR_TITLES).map(([code, title]) => [code, { title }])),
+);
+
 export class EntityError extends UltimateError {
+  override readonly name = 'EntityError';
+
   constructor(init: { code: EntityErrorCode; cause: string; fix: string }) {
     super({
       code: init.code,
@@ -29,7 +51,6 @@ export class EntityError extends UltimateError {
       fix: init.fix,
       docs: `https://ultimate.dev/errors/${init.code}`,
     });
-    this.name = 'EntityError';
   }
 }
 

package/src/expr.d.ts

@@ -0,0 +1,41 @@
+export type Row = Readonly<Record<string, unknown>>;
+/** Property path -> physical column name. */
+export type Resolve = (path: readonly string[]) => string;
+export interface Expr {
+    readonly kind: 'check' | 'unique';
+    readonly paths: readonly (readonly string[])[];
+    readonly message: string;
+    /** `null` when the rule is a JS predicate the database cannot be told about. */
+    toSql(resolve: Resolve): string | null;
+    holds(row: Row): boolean;
+}
+export interface ColumnExpr {
+    /** `btrim(...)` in SQL, `.trim()` in the app — the same rule, both sides. */
+    trimmed(): ColumnExpr;
+    minLength(length: number): Expr;
+    contains(value: string): Expr;
+    /** A `RegExp` reaches the database; a function is app-only. */
+    matches(pattern: RegExp | ((value: string) => boolean)): Expr;
+    atLeast(value: number | bigint): Expr;
+    eq(value: string | number | boolean | bigint | ColumnExpr): Expr;
+    isTrue(): Expr;
+    /** Money is two physical columns; these are how a rule names one of them. */
+    readonly minor: ColumnExpr;
+    readonly currency: ColumnExpr;
+}
+type RowPredicate = (...values: never[]) => boolean;
+export type InvariantColumns = {
+    readonly [column: string]: ColumnExpr;
+} & {
+    /** Decided by the database — a single row cannot see a duplicate. */
+    unique(columns: readonly string[]): Expr;
+    /** Lifts a domain predicate over several columns. App-only by construction. */
+    satisfies(predicate: RowPredicate, columns: readonly string[]): Expr;
+};
+/**
+ * The `c` an invariant is written against. A Proxy so a typo in a column name is a
+ * declaration-time error naming the columns that do exist, not `undefined is not a function`.
+ */
+export declare const invariantColumns: (entity: string, properties: readonly string[]) => InvariantColumns;
+export {};
+//# sourceMappingURL=expr.d.ts.map

package/src/expr.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expr.d.ts","sourceRoot":"","sources":["expr.ts"],"names":[],"mappings":"AAYA,MAAM,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAEpD,6CAA6C;AAC7C,MAAM,MAAM,OAAO,GAAG,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,KAAK,MAAM,CAAC;AAE1D,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,QAAQ,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC;IAC/C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,gFAAgF;IAChF,KAAK,CAAC,OAAO,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAAC;IACvC,KAAK,CAAC,GAAG,EAAE,GAAG,GAAG,OAAO,CAAC;CAC1B;AASD,MAAM,WAAW,UAAU;IACzB,6EAA6E;IAC7E,OAAO,IAAI,UAAU,CAAC;IACtB,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,+DAA+D;IAC/D,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,KAAK,OAAO,CAAC,GAAG,IAAI,CAAC;IAC9D,OAAO,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IACtC,EAAE,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,UAAU,GAAG,IAAI,CAAC;IACjE,MAAM,IAAI,IAAI,CAAC;IACf,6EAA6E;IAC7E,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;CAC/B;AAED,KAAK,YAAY,GAAG,CAAC,GAAG,MAAM,EAAE,KAAK,EAAE,KAAK,OAAO,CAAC;AAEpD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC;CACvC,GAAG;IACF,qEAAqE;IACrE,MAAM,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;IACzC,+EAA+E;IAC/E,SAAS,CAAC,SAAS,EAAE,YAAY,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;CACtE,CAAC;AAqJF;;;GAGG;AACH,eAAO,MAAM,gBAAgB,WACnB,MAAM,cACF,SAAS,MAAM,EAAE,KAC5B,gBAiBF,CAAC"}

package/src/expr.js

@@ -0,0 +1,94 @@
+// The invariant expression language. One declaration compiles to two enforcement points: a
+// predicate the app runs on every write, and the SQL predicate the migration emits.
+//
+// Expressions are written against property keys (`c.likeCount`) and resolved to physical names
+// (`like_count`) by `entity()`, because the author never writes a physical name.
+//
+// A JS predicate (`matches(isValidSlug)`, `satisfies(fn, [...])`) cannot be translated to SQL.
+// It still runs in the app, and reports `sql: null` so `x verify` can warn that the database
+// does not know this rule — silently pretending it reached Postgres would be worse.
+import { invariantViolated } from './errors';
+const terms = new WeakMap();
+const walk = (row, path) => path.reduce((value, key) => (typeof value === 'object' && value !== null ? value[key] : undefined), row);
+const literal = (value) => typeof value === 'string' ? `'${value.replaceAll("'", "''")}'` : String(value);
+const check = (paths, message, sql, holds) => ({ kind: 'check', paths, message, toSql: sql, holds });
+const isColumnExpr = (value) => typeof value === 'object' && value !== null && terms.has(value);
+const expr = (term) => {
+    const one = (message, sql, holds) => check([term.path], message, sql, (row) => holds(term.read(row)));
+    const built = {
+        trimmed: () => expr({
+            path: term.path,
+            label: `trimmed ${term.label}`,
+            sql: (resolve) => `btrim(${term.sql(resolve)})`,
+            read: (row) => {
+                const value = term.read(row);
+                return typeof value === 'string' ? value.trim() : value;
+            },
+        }),
+        minLength: (length) => one(`${term.label} must be at least ${length} character${length === 1 ? '' : 's'}`, (resolve) => `char_length(${term.sql(resolve)}) >= ${length}`, (value) => typeof value === 'string' && value.length >= length),
+        contains: (value) => one(`${term.label} must contain ${literal(value)}`, (resolve) => `position(${literal(value)} in ${term.sql(resolve)}) > 0`, (actual) => typeof actual === 'string' && actual.includes(value)),
+        matches: (pattern) => one(`${term.label} must match ${pattern instanceof RegExp ? pattern.source : pattern.name || 'the rule'}`, (resolve) => pattern instanceof RegExp ? `${term.sql(resolve)} ~ ${literal(pattern.source)}` : null, (value) => typeof value === 'string' &&
+            (pattern instanceof RegExp ? pattern.test(value) : pattern(value))),
+        atLeast: (bound) => one(`${term.label} must be at least ${bound}`, (resolve) => `${term.sql(resolve)} >= ${bound}`, (value) => (typeof value === 'number' || typeof value === 'bigint') && value >= bound),
+        eq: (other) => isColumnExpr(other)
+            ? sameAs(term, other)
+            : one(`${term.label} must equal ${literal(other)}`, (resolve) => `${term.sql(resolve)} = ${literal(other)}`, (value) => value === other),
+        isTrue: () => one(`${term.label} must be true`, (resolve) => term.sql(resolve), (value) => value === true),
+        get minor() {
+            return part(term, 'minor');
+        },
+        get currency() {
+            return part(term, 'currency');
+        },
+    };
+    terms.set(built, term);
+    return built;
+};
+const part = (term, key) => expr({
+    path: [...term.path, key],
+    label: `${term.label}.${key}`,
+    sql: (resolve) => resolve([...term.path, key]),
+    read: (row) => walk(row, [...term.path, key]),
+});
+const sameAs = (left, other) => {
+    const right = terms.get(other);
+    if (right === undefined)
+        throw invariantViolated('invariant', 'eq', 'not a column expression');
+    return check([left.path, right.path], `${left.label} must equal ${right.label}`, (resolve) => `${left.sql(resolve)} = ${right.sql(resolve)}`, (row) => left.read(row) === right.read(row));
+};
+const columnTerm = (property) => ({
+    path: [property],
+    label: property,
+    sql: (resolve) => resolve([property]),
+    read: (row) => row[property],
+});
+const unique = (columns) => ({
+    kind: 'unique',
+    paths: columns.map((column) => [column]),
+    message: `${columns.join(', ')} must be unique`,
+    toSql: (resolve) => columns.map((column) => resolve([column])).join(', '),
+    // A single row cannot see a duplicate: the unique index is the authority.
+    holds: () => true,
+});
+const satisfies = (predicate, columns) => check(columns.map((column) => [column]), `${columns.join(', ')} must satisfy ${predicate.name || 'the rule'}`, () => null, (row) => Reflect.apply(predicate, undefined, columns.map((column) => row[column])) === true);
+/**
+ * The `c` an invariant is written against. A Proxy so a typo in a column name is a
+ * declaration-time error naming the columns that do exist, not `undefined is not a function`.
+ */
+export const invariantColumns = (entity, properties) => {
+    const known = new Set(properties);
+    const helpers = { unique, satisfies };
+    return new Proxy(helpers, {
+        get(target, property) {
+            if (property === 'unique' || property === 'satisfies')
+                return target[property];
+            if (typeof property !== 'string')
+                return undefined;
+            if (!known.has(property)) {
+                throw invariantViolated(entity, 'invariant', `no column "${property}"; declared columns are ${properties.join(', ')}`);
+            }
+            return expr(columnTerm(property));
+        },
+    });
+};
+//# sourceMappingURL=expr.js.map

package/src/expr.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"expr.js","sourceRoot":"","sources":["expr.ts"],"names":[],"mappings":"AAAA,2FAA2F;AAC3F,oFAAoF;AACpF,EAAE;AACF,+FAA+F;AAC/F,iFAAiF;AACjF,EAAE;AACF,+FAA+F;AAC/F,6FAA6F;AAC7F,oFAAoF;AAEpF,OAAO,EAAE,iBAAiB,EAAE,MAAM,UAAU,CAAC;AAiD7C,MAAM,KAAK,GAAG,IAAI,OAAO,EAAoB,CAAC;AAE9C,MAAM,IAAI,GAAG,CAAC,GAAQ,EAAE,IAAuB,EAAW,EAAE,CAC1D,IAAI,CAAC,MAAM,CACT,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAE,KAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,EAC/F,GAAG,CACJ,CAAC;AAEJ,MAAM,OAAO,GAAG,CAAC,KAAc,EAAU,EAAE,CACzC,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAEjF,MAAM,KAAK,GAAG,CACZ,KAAqC,EACrC,OAAe,EACf,GAAwC,EACxC,KAA4B,EACtB,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;AAElE,MAAM,YAAY,GAAG,CAAC,KAAc,EAAuB,EAAE,CAC3D,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,KAAmB,CAAC,CAAC;AAEhF,MAAM,IAAI,GAAG,CAAC,IAAU,EAAc,EAAE;IACtC,MAAM,GAAG,GAAG,CACV,OAAe,EACf,GAAwC,EACxC,KAAkC,EAC5B,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAE5E,MAAM,KAAK,GAAe;QACxB,OAAO,EAAE,GAAG,EAAE,CACZ,IAAI,CAAC;YACH,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,KAAK,EAAE,WAAW,IAAI,CAAC,KAAK,EAAE;YAC9B,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,GAAG;YAC/C,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE;gBACZ,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAC7B,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;YAC1D,CAAC;SACF,CAAC;QAEJ,SAAS,EAAE,CAAC,MAAM,EAAE,EAAE,CACpB,GAAG,CACD,GAAG,IAAI,CAAC,KAAK,qBAAqB,MAAM,aAAa,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,EAAE,EAC9E,CAAC,OAAO,EAAE,EAAE,CAAC,eAAe,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,MAAM,EAAE,EAC7D,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,IAAI,MAAM,CAC/D;QAEH,QAAQ,EAAE,CAAC,KAAK,EAAE,EAAE,CAClB,GAAG,CACD,GAAG,IAAI,CAAC,KAAK,iBAAiB,OAAO,CAAC,KAAK,CAAC,EAAE,EAC9C,CAAC,OAAO,EAAE,EAAE,CAAC,YAAY,OAAO,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,EACtE,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CACjE;QAEH,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CACnB,GAAG,CACD,GAAG,IAAI,CAAC,KAAK,eAAe,OAAO,YAAY,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,IAAI,UAAU,EAAE,EACrG,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,YAAY,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EACxF,CAAC,KAAK,EAAE,EAAE,CACR,OAAO,KAAK,KAAK,QAAQ;YACzB,CAAC,OAAO,YAAY,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CACrE;QAEH,OAAO,EAAE,CAAC,KAAK,EAAE,EAAE,CACjB,GAAG,CACD,GAAG,IAAI,CAAC,KAAK,qBAAqB,KAAK,EAAE,EACzC,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,EAAE,EAC/C,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,CAAC,IAAI,KAAK,IAAI,KAAK,CACtF;QAEH,EAAE,EAAE,CAAC,KAAK,EAAE,EAAE,CACZ,YAAY,CAAC,KAAK,CAAC;YACjB,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC;YACrB,CAAC,CAAC,GAAG,CACD,GAAG,IAAI,CAAC,KAAK,eAAe,OAAO,CAAC,KAAK,CAAC,EAAE,EAC5C,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,OAAO,CAAC,KAAK,CAAC,EAAE,EACvD,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,CAC3B;QAEP,MAAM,EAAE,GAAG,EAAE,CACX,GAAG,CACD,GAAG,IAAI,CAAC,KAAK,eAAe,EAC5B,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,EAC9B,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,IAAI,CAC1B;QAEH,IAAI,KAAK;YACP,OAAO,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;QAC7B,CAAC;QACD,IAAI,QAAQ;YACV,OAAO,IAAI,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAChC,CAAC;KACF,CAAC;IAEF,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACvB,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,IAAI,GAAG,CAAC,IAAU,EAAE,GAAW,EAAc,EAAE,CACnD,IAAI,CAAC;IACH,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC;IACzB,KAAK,EAAE,GAAG,IAAI,CAAC,KAAK,IAAI,GAAG,EAAE;IAC7B,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC9C,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;CAC9C,CAAC,CAAC;AAEL,MAAM,MAAM,GAAG,CAAC,IAAU,EAAE,KAAiB,EAAQ,EAAE;IACrD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC/B,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,iBAAiB,CAAC,WAAW,EAAE,IAAI,EAAE,yBAAyB,CAAC,CAAC;IAC/F,OAAO,KAAK,CACV,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,EACvB,GAAG,IAAI,CAAC,KAAK,eAAe,KAAK,CAAC,KAAK,EAAE,EACzC,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,EAC3D,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAC5C,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,QAAgB,EAAQ,EAAE,CAAC,CAAC;IAC9C,IAAI,EAAE,CAAC,QAAQ,CAAC;IAChB,KAAK,EAAE,QAAQ;IACf,GAAG,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC;IACrC,IAAI,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC;CAC7B,CAAC,CAAC;AAEH,MAAM,MAAM,GAAG,CAAC,OAA0B,EAAQ,EAAE,CAAC,CAAC;IACpD,IAAI,EAAE,QAAQ;IACd,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC;IACxC,OAAO,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB;IAC/C,KAAK,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;IACzE,0EAA0E;IAC1E,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI;CAClB,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,CAAC,SAAuB,EAAE,OAA0B,EAAQ,EAAE,CAC9E,KAAK,CACH,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EACjC,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,SAAS,CAAC,IAAI,IAAI,UAAU,EAAE,EACpE,GAAG,EAAE,CAAC,IAAI,EACV,CAAC,GAAG,EAAE,EAAE,CACN,OAAO,CAAC,KAAK,CACX,SAAS,EACT,SAAS,EACT,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CACrC,KAAK,IAAI,CACb,CAAC;AAEJ;;;GAGG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,MAAc,EACd,UAA6B,EACX,EAAE;IACpB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACtC,OAAO,IAAI,KAAK,CAAC,OAAO,EAAE;QACxB,GAAG,CAAC,MAAM,EAAE,QAAQ;YAClB,IAAI,QAAQ,KAAK,QAAQ,IAAI,QAAQ,KAAK,WAAW;gBAAE,OAAO,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC/E,IAAI,OAAO,QAAQ,KAAK,QAAQ;gBAAE,OAAO,SAAS,CAAC;YACnD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzB,MAAM,iBAAiB,CACrB,MAAM,EACN,WAAW,EACX,cAAc,QAAQ,2BAA2B,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CACzE,CAAC;YACJ,CAAC;YACD,OAAO,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC;QACpC,CAAC;KACF,CAAqB,CAAC;AACzB,CAAC,CAAC"}

package/src/expr.ts

@@ -0,0 +1,231 @@
+// The invariant expression language. One declaration compiles to two enforcement points: a
+// predicate the app runs on every write, and the SQL predicate the migration emits.
+//
+// Expressions are written against property keys (`c.likeCount`) and resolved to physical names
+// (`like_count`) by `entity()`, because the author never writes a physical name.
+//
+// A JS predicate (`matches(isValidSlug)`, `satisfies(fn, [...])`) cannot be translated to SQL.
+// It still runs in the app, and reports `sql: null` so `x verify` can warn that the database
+// does not know this rule — silently pretending it reached Postgres would be worse.
+
+import { invariantViolated } from './errors';
+
+export type Row = Readonly<Record<string, unknown>>;
+
+/** Property path -> physical column name. */
+export type Resolve = (path: readonly string[]) => string;
+
+export interface Expr {
+  readonly kind: 'check' | 'unique';
+  readonly paths: readonly (readonly string[])[];
+  readonly message: string;
+  /** `null` when the rule is a JS predicate the database cannot be told about. */
+  toSql(resolve: Resolve): string | null;
+  holds(row: Row): boolean;
+}
+
+interface Term {
+  readonly path: readonly string[];
+  readonly label: string;
+  sql(resolve: Resolve): string;
+  read(row: Row): unknown;
+}
+
+export interface ColumnExpr {
+  /** `btrim(...)` in SQL, `.trim()` in the app — the same rule, both sides. */
+  trimmed(): ColumnExpr;
+  minLength(length: number): Expr;
+  contains(value: string): Expr;
+  /** A `RegExp` reaches the database; a function is app-only. */
+  matches(pattern: RegExp | ((value: string) => boolean)): Expr;
+  atLeast(value: number | bigint): Expr;
+  eq(value: string | number | boolean | bigint | ColumnExpr): Expr;
+  isTrue(): Expr;
+  /** Money is two physical columns; these are how a rule names one of them. */
+  readonly minor: ColumnExpr;
+  readonly currency: ColumnExpr;
+}
+
+type RowPredicate = (...values: never[]) => boolean;
+
+export type InvariantColumns = {
+  readonly [column: string]: ColumnExpr;
+} & {
+  /** Decided by the database — a single row cannot see a duplicate. */
+  unique(columns: readonly string[]): Expr;
+  /** Lifts a domain predicate over several columns. App-only by construction. */
+  satisfies(predicate: RowPredicate, columns: readonly string[]): Expr;
+};
+
+const terms = new WeakMap<ColumnExpr, Term>();
+
+const walk = (row: Row, path: readonly string[]): unknown =>
+  path.reduce<unknown>(
+    (value, key) => (typeof value === 'object' && value !== null ? (value as Row)[key] : undefined),
+    row,
+  );
+
+const literal = (value: unknown): string =>
+  typeof value === 'string' ? `'${value.replaceAll("'", "''")}'` : String(value);
+
+const check = (
+  paths: readonly (readonly string[])[],
+  message: string,
+  sql: (resolve: Resolve) => string | null,
+  holds: (row: Row) => boolean,
+): Expr => ({ kind: 'check', paths, message, toSql: sql, holds });
+
+const isColumnExpr = (value: unknown): value is ColumnExpr =>
+  typeof value === 'object' && value !== null && terms.has(value as ColumnExpr);
+
+const expr = (term: Term): ColumnExpr => {
+  const one = (
+    message: string,
+    sql: (resolve: Resolve) => string | null,
+    holds: (value: unknown) => boolean,
+  ): Expr => check([term.path], message, sql, (row) => holds(term.read(row)));
+
+  const built: ColumnExpr = {
+    trimmed: () =>
+      expr({
+        path: term.path,
+        label: `trimmed ${term.label}`,
+        sql: (resolve) => `btrim(${term.sql(resolve)})`,
+        read: (row) => {
+          const value = term.read(row);
+          return typeof value === 'string' ? value.trim() : value;
+        },
+      }),
+
+    minLength: (length) =>
+      one(
+        `${term.label} must be at least ${length} character${length === 1 ? '' : 's'}`,
+        (resolve) => `char_length(${term.sql(resolve)}) >= ${length}`,
+        (value) => typeof value === 'string' && value.length >= length,
+      ),
+
+    contains: (value) =>
+      one(
+        `${term.label} must contain ${literal(value)}`,
+        (resolve) => `position(${literal(value)} in ${term.sql(resolve)}) > 0`,
+        (actual) => typeof actual === 'string' && actual.includes(value),
+      ),
+
+    matches: (pattern) =>
+      one(
+        `${term.label} must match ${pattern instanceof RegExp ? pattern.source : pattern.name || 'the rule'}`,
+        (resolve) =>
+          pattern instanceof RegExp ? `${term.sql(resolve)} ~ ${literal(pattern.source)}` : null,
+        (value) =>
+          typeof value === 'string' &&
+          (pattern instanceof RegExp ? pattern.test(value) : pattern(value)),
+      ),
+
+    atLeast: (bound) =>
+      one(
+        `${term.label} must be at least ${bound}`,
+        (resolve) => `${term.sql(resolve)} >= ${bound}`,
+        (value) => (typeof value === 'number' || typeof value === 'bigint') && value >= bound,
+      ),
+
+    eq: (other) =>
+      isColumnExpr(other)
+        ? sameAs(term, other)
+        : one(
+            `${term.label} must equal ${literal(other)}`,
+            (resolve) => `${term.sql(resolve)} = ${literal(other)}`,
+            (value) => value === other,
+          ),
+
+    isTrue: () =>
+      one(
+        `${term.label} must be true`,
+        (resolve) => term.sql(resolve),
+        (value) => value === true,
+      ),
+
+    get minor() {
+      return part(term, 'minor');
+    },
+    get currency() {
+      return part(term, 'currency');
+    },
+  };
+
+  terms.set(built, term);
+  return built;
+};
+
+const part = (term: Term, key: string): ColumnExpr =>
+  expr({
+    path: [...term.path, key],
+    label: `${term.label}.${key}`,
+    sql: (resolve) => resolve([...term.path, key]),
+    read: (row) => walk(row, [...term.path, key]),
+  });
+
+const sameAs = (left: Term, other: ColumnExpr): Expr => {
+  const right = terms.get(other);
+  if (right === undefined) throw invariantViolated('invariant', 'eq', 'not a column expression');
+  return check(
+    [left.path, right.path],
+    `${left.label} must equal ${right.label}`,
+    (resolve) => `${left.sql(resolve)} = ${right.sql(resolve)}`,
+    (row) => left.read(row) === right.read(row),
+  );
+};
+
+const columnTerm = (property: string): Term => ({
+  path: [property],
+  label: property,
+  sql: (resolve) => resolve([property]),
+  read: (row) => row[property],
+});
+
+const unique = (columns: readonly string[]): Expr => ({
+  kind: 'unique',
+  paths: columns.map((column) => [column]),
+  message: `${columns.join(', ')} must be unique`,
+  toSql: (resolve) => columns.map((column) => resolve([column])).join(', '),
+  // A single row cannot see a duplicate: the unique index is the authority.
+  holds: () => true,
+});
+
+const satisfies = (predicate: RowPredicate, columns: readonly string[]): Expr =>
+  check(
+    columns.map((column) => [column]),
+    `${columns.join(', ')} must satisfy ${predicate.name || 'the rule'}`,
+    () => null,
+    (row) =>
+      Reflect.apply(
+        predicate,
+        undefined,
+        columns.map((column) => row[column]),
+      ) === true,
+  );
+
+/**
+ * The `c` an invariant is written against. A Proxy so a typo in a column name is a
+ * declaration-time error naming the columns that do exist, not `undefined is not a function`.
+ */
+export const invariantColumns = (
+  entity: string,
+  properties: readonly string[],
+): InvariantColumns => {
+  const known = new Set(properties);
+  const helpers = { unique, satisfies };
+  return new Proxy(helpers, {
+    get(target, property) {
+      if (property === 'unique' || property === 'satisfies') return target[property];
+      if (typeof property !== 'string') return undefined;
+      if (!known.has(property)) {
+        throw invariantViolated(
+          entity,
+          'invariant',
+          `no column "${property}"; declared columns are ${properties.join(', ')}`,
+        );
+      }
+      return expr(columnTerm(property));
+    },
+  }) as InvariantColumns;
+};

package/src/index.d.ts

@@ -0,0 +1,23 @@
+export type { TextOptions } from './columns';
+export { boolean, enumerated, integer, locale, money, newId, text, timestamp, tz, url, uuid, } from './columns';
+export type { Database, DatabaseOptions, Driver, EntitySet } from './database';
+export { database, memoryDriver } from './database';
+export type { Entity, EntityCore, EntityInit, IndexInit } from './entity';
+export { entity, SOFT_DELETE_COLUMN } from './entity';
+export type { EntityErrorCode } from './errors';
+export { dbDrift, ENTITY_ERROR_CODES, ENTITY_ERROR_TITLES, EntityError, entityDuplicate, invariantViolated, notFound, tenancyUnscoped, } from './errors';
+export type { ColumnExpr, Expr, InvariantColumns, Resolve } from './expr';
+export type { Invariant, InvariantDef, InvariantKind } from './invariants';
+export { assertInvariants, constraintName, invariant, invariantsToSql, toSql, } from './invariants';
+export type { ReadBuilder, Table } from './query';
+export { tableFor } from './query';
+export type { ColumnDescription, EntityDescription, InvariantDescription, RegistryEntry, } from './registry';
+export { clearRegistry, describeEntities, entityNames, getEntity, registerEntity, } from './registry';
+export type { FindManyArgs, Page, Repo, RepoOptions, Transactor, Tx } from './repo';
+export { decodeCursor, encodeCursor, memoryRepo, memoryTransactor } from './repo';
+export type { Seed, SeedContext, SeedOptions } from './seed';
+export { defineSeed, seedId } from './seed';
+export type { Operator, Predicate, QueryPlan, SortDirection, SortKey } from './tenancy';
+export { assertScoped, describePlan, emptyPlan, hasOrgPredicate, isOrgScoped, ORG_COLUMN, orgScoped, tenantColumnOf, } from './tenancy';
+export type { AnyColumn, Column, ColumnDefault, ColumnKind, ColumnMap, ColumnMeta, IndexDef, Insertable, MoneyInput, MoneyValue, OnDelete, ReferenceOptions, RowOf, TimestampColumn, TypeOf, UuidColumn, } from './types';
+//# sourceMappingURL=index.d.ts.map

package/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["index.ts"],"names":[],"mappings":"AAEA,YAAY,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EACL,OAAO,EACP,UAAU,EACV,OAAO,EACP,MAAM,EACN,KAAK,EACL,KAAK,EACL,IAAI,EACJ,SAAS,EACT,EAAE,EACF,GAAG,EACH,IAAI,GACL,MAAM,WAAW,CAAC;AACnB,YAAY,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC/E,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AACpD,YAAY,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAC1E,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAC;AACtD,YAAY,EAAE,eAAe,EAAE,MAAM,UAAU,CAAC;AAChD,OAAO,EACL,OAAO,EACP,kBAAkB,EAClB,mBAAmB,EACnB,WAAW,EACX,eAAe,EACf,iBAAiB,EACjB,QAAQ,EACR,eAAe,GAChB,MAAM,UAAU,CAAC;AAClB,YAAY,EAAE,UAAU,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAE,MAAM,QAAQ,CAAC;AAC1E,YAAY,EAAE,SAAS,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC3E,OAAO,EACL,gBAAgB,EAChB,cAAc,EACd,SAAS,EACT,eAAe,EACf,KAAK,GACN,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,SAAS,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AACnC,YAAY,EACV,iBAAiB,EACjB,iBAAiB,EACjB,oBAAoB,EACpB,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,WAAW,EACX,SAAS,EACT,cAAc,GACf,MAAM,YAAY,CAAC;AACpB,YAAY,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,QAAQ,CAAC;AACpF,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAClF,YAAY,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,QAAQ,CAAC;AAC7D,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC5C,YAAY,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACxF,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,SAAS,EACT,eAAe,EACf,WAAW,EACX,UAAU,EACV,SAAS,EACT,cAAc,GACf,MAAM,WAAW,CAAC;AACnB,YAAY,EACV,SAAS,EACT,MAAM,EACN,aAAa,EACb,UAAU,EACV,SAAS,EACT,UAAU,EACV,QAAQ,EACR,UAAU,EACV,UAAU,EACV,UAAU,EACV,QAAQ,EACR,gBAAgB,EAChB,KAAK,EACL,eAAe,EACf,MAAM,EACN,UAAU,GACX,MAAM,SAAS,CAAC"}

package/src/index.js

@@ -0,0 +1,12 @@
+// The public surface of @ultimat3/entity. Explicit, never `export *`.
+export { boolean, enumerated, integer, locale, money, newId, text, timestamp, tz, url, uuid, } from './columns';
+export { database, memoryDriver } from './database';
+export { entity, SOFT_DELETE_COLUMN } from './entity';
+export { dbDrift, ENTITY_ERROR_CODES, ENTITY_ERROR_TITLES, EntityError, entityDuplicate, invariantViolated, notFound, tenancyUnscoped, } from './errors';
+export { assertInvariants, constraintName, invariant, invariantsToSql, toSql, } from './invariants';
+export { tableFor } from './query';
+export { clearRegistry, describeEntities, entityNames, getEntity, registerEntity, } from './registry';
+export { decodeCursor, encodeCursor, memoryRepo, memoryTransactor } from './repo';
+export { defineSeed, seedId } from './seed';
+export { assertScoped, describePlan, emptyPlan, hasOrgPredicate, isOrgScoped, ORG_COLUMN, orgScoped, tenantColumnOf, } from './tenancy';
+//# sourceMappingURL=index.js.map

package/src/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["index.ts"],"names":[],"mappings":"AAAA,sEAAsE;AAGtE,OAAO,EACL,OAAO,EACP,UAAU,EACV,OAAO,EACP,MAAM,EACN,KAAK,EACL,KAAK,EACL,IAAI,EACJ,SAAS,EACT,EAAE,EACF,GAAG,EACH,IAAI,GACL,MAAM,WAAW,CAAC;AAEnB,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAEpD,OAAO,EAAE,MAAM,EAAE,kBAAkB,EAAE,MAAM,UAAU,CAAC;AAEtD,OAAO,EACL,OAAO,EACP,kBAAkB,EAClB,mBAAmB,EACnB,WAAW,EACX,eAAe,EACf,iBAAiB,EACjB,QAAQ,EACR,eAAe,GAChB,MAAM,UAAU,CAAC;AAGlB,OAAO,EACL,gBAAgB,EAChB,cAAc,EACd,SAAS,EACT,eAAe,EACf,KAAK,GACN,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAOnC,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,WAAW,EACX,SAAS,EACT,cAAc,GACf,MAAM,YAAY,CAAC;AAEpB,OAAO,EAAE,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,gBAAgB,EAAE,MAAM,QAAQ,CAAC;AAElF,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAE5C,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,SAAS,EACT,eAAe,EACf,WAAW,EACX,UAAU,EACV,SAAS,EACT,cAAc,GACf,MAAM,WAAW,CAAC"}

package/src/index.ts

@@ -1,26 +1,26 @@
 // The public surface of @ultimat3/entity. Explicit, never `export *`.
 
-export type { MoneyColumns } from './columns';
+/** Re-exported so an `entity` file needs one import, not two. Same object as schema's. */
+export type { Infer } from '@ultimat3/schema';
+export { t } from '@ultimat3/schema';
+export type { TextOptions } from './columns';
 export {
   boolean,
-  id,
+  enumerated,
   integer,
-  jsonb,
   locale,
   money,
   newId,
-  nullable,
-  orgId,
-  references,
-  slug,
-  softDelete,
-  table,
   text,
-  timestamps,
+  timestamp,
   tz,
+  url,
+  uuid,
 } from './columns';
-export type { Entity, EntityInit, EntitySchema } from './entity';
-export { entity } from './entity';
+export type { Database, DatabaseOptions, Driver, EntitySet } from './database';
+export { database, memoryDriver } from './database';
+export type { Entity, EntityCore, EntityInit, IndexInit } from './entity';
+export { entity, SOFT_DELETE_COLUMN } from './entity';
 export type { EntityErrorCode } from './errors';
 export {
   dbDrift,
@@ -32,15 +32,19 @@ export {
   notFound,
   tenancyUnscoped,
 } from './errors';
-export type { CheckInit, Invariant, InvariantKind, UniqueInit } from './invariants';
+export type { ColumnExpr, Expr, InvariantColumns, Resolve } from './expr';
+export type { Invariant, InvariantDef, InvariantKind } from './invariants';
 export {
   assertInvariants,
   constraintName,
   invariant,
   invariantsToSql,
   toSql,
-  unique,
 } from './invariants';
+export type { PostgresDriverOptions } from './pg-driver';
+export { postgresDriver, postgresRepo, postgresTransactor } from './pg-driver';
+export type { ReadBuilder, Table } from './query';
+export { tableFor } from './query';
 export type {
   ColumnDescription,
   EntityDescription,
@@ -55,8 +59,10 @@ export {
   registerEntity,
 } from './registry';
 export type { FindManyArgs, Page, Repo, RepoOptions, Transactor, Tx } from './repo';
-export { decodeCursor, encodeCursor, memoryRepo, memoryTransactor } from './repo';
-export type { Operator, Predicate, QueryPlan, SortDirection } from './tenancy';
+export { memoryRepo, memoryTransactor } from './repo';
+export type { Seed, SeedContext, SeedOptions } from './seed';
+export { defineSeed, seedId } from './seed';
+export type { Operator, Predicate, QueryPlan, SortDirection, SortKey } from './tenancy';
 export {
   assertScoped,
   describePlan,
@@ -65,15 +71,25 @@ export {
   isOrgScoped,
   ORG_COLUMN,
   orgScoped,
+  tenantColumnOf,
 } from './tenancy';
 export type {
-  ColumnDef,
+  AnyColumn,
+  Column,
   ColumnDefault,
   ColumnKind,
   ColumnMap,
+  ColumnMeta,
   IndexDef,
-  ReferenceDef,
+  Insertable,
+  MoneyInput,
+  MoneyValue,
+  OnDelete,
+  ReferenceOptions,
   RowOf,
-  TableDef,
+  TimestampColumn,
+  TypeOf,
+  UuidColumn,
 } from './types';
-export { columnNames, hasColumn } from './types';
+// `viewFor` stays internal: a view is reached through the entity, as `posts.$view([...])`.
+export type { EntityView } from './view';

package/src/invariants.d.ts

@@ -0,0 +1,36 @@
+import type { Expr, InvariantColumns, Resolve } from './expr';
+/** `assert` is a rule only the app can run — a JS predicate with no SQL translation. */
+export type InvariantKind = 'check' | 'unique' | 'assert';
+export interface Invariant<T> {
+    /** Becomes the constraint name: `<table>_<name>_check`. Keep it snake_case. */
+    readonly name: string;
+    readonly kind: InvariantKind;
+    /** Safe to log and useful to an agent: says what was expected, not what leaked. */
+    readonly message: string;
+    /** SQL predicate for `check`, the column list for `unique`, `null` for `assert`. */
+    readonly sql: string | null;
+    /** Physical column names the rule reads. */
+    readonly columns: readonly string[];
+    /** Partial-constraint predicate, e.g. `deleted_at is null`. */
+    readonly where?: string;
+    readonly holds: (row: T) => boolean;
+}
+/** What `invariant()` returns: a rule that does not yet know its physical column names. */
+export interface InvariantDef {
+    readonly name: string;
+    readonly build: (columns: InvariantColumns) => Expr;
+}
+/** `invariant('post_like_count_non_negative', (c) => c.likeCount.atLeast(0))` */
+export declare const invariant: (name: string, build: (columns: InvariantColumns) => Expr) => InvariantDef;
+/** Called by `entity()`: resolves property paths to physical names and freezes the rule. */
+export declare const bindInvariant: <T>(def: InvariantDef, columns: InvariantColumns, resolve: Resolve, partialWhere: string | undefined) => Invariant<T>;
+export declare const constraintName: (table: string, inv: {
+    readonly name: string;
+    readonly kind: InvariantKind;
+}) => string;
+/** The DDL the migration emits. One statement, terminated, ready to diff. */
+export declare const toSql: <T>(table: string, inv: Invariant<T>) => string | null;
+export declare const invariantsToSql: <T>(table: string, invariants: readonly Invariant<T>[]) => string;
+/** Runs on every write. Reports every violation at once so one round trip fixes all. */
+export declare const assertInvariants: <T>(entityName: string, invariants: readonly Invariant<T>[], row: T) => void;
+//# sourceMappingURL=invariants.d.ts.map

package/src/invariants.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"invariants.d.ts","sourceRoot":"","sources":["invariants.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,OAAO,EAAO,MAAM,QAAQ,CAAC;AAEnE,wFAAwF;AACxF,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAE1D,MAAM,WAAW,SAAS,CAAC,CAAC;IAC1B,+EAA+E;IAC/E,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,mFAAmF;IACnF,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,oFAAoF;IACpF,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,4CAA4C;IAC5C,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,+DAA+D;IAC/D,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,OAAO,CAAC;CACrC;AAED,2FAA2F;AAC3F,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,CAAC,OAAO,EAAE,gBAAgB,KAAK,IAAI,CAAC;CACrD;AAED,iFAAiF;AACjF,eAAO,MAAM,SAAS,SACd,MAAM,SACL,CAAC,OAAO,EAAE,gBAAgB,KAAK,IAAI,KACzC,YAAiC,CAAC;AAKrC,4FAA4F;AAC5F,eAAO,MAAM,aAAa,GAAI,CAAC,OACxB,YAAY,WACR,gBAAgB,WAChB,OAAO,gBACF,MAAM,GAAG,SAAS,KAC/B,SAAS,CAAC,CAAC,CAcb,CAAC;AAEF,eAAO,MAAM,cAAc,UAClB,MAAM,OACR;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;CAAE,KAC3D,MAA2E,CAAC;AAE/E,6EAA6E;AAC7E,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,MAAM,OAAO,SAAS,CAAC,CAAC,CAAC,KAAG,MAAM,GAAG,IASpE,CAAC;AAEF,eAAO,MAAM,eAAe,GAAI,CAAC,SAAS,MAAM,cAAc,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,KAAG,MAIzE,CAAC;AAEhB,wFAAwF;AACxF,eAAO,MAAM,gBAAgB,GAAI,CAAC,cACpB,MAAM,cACN,SAAS,SAAS,CAAC,CAAC,CAAC,EAAE,OAC9B,CAAC,KACL,IAKF,CAAC"}