ultimabase 0.0.0-stage → 0.1.0

package/dist/cli-migrate.js

@@ -0,0 +1,105 @@
+// `migrate create` and `sync` (D-105), and the migration files both
+// `migrate` commands read.
+import { createHash } from 'node:crypto';
+import { existsSync } from 'node:fs';
+import { mkdir, readdir, readFile, writeFile } from 'node:fs/promises';
+import { join } from 'node:path';
+import { kernelLogger, schemaOf } from './lifecycle.js';
+import { Refused } from './errors.js';
+import { hashOf, migrationsOf, synced } from './migrate.js';
+export const header = '-- ultimabase schema ';
+/** For a statement a transaction refuses: `create index concurrently`. */
+export const noTransaction = '-- ultimabase no transaction';
+export const create = '`npx ultimabase migrate create <name>`';
+/** The `.sql` files of `dir` in name order, and its `schema.json`. */
+export async function read(dir) {
+    if (!existsSync(dir))
+        return { files: [], snapshot: undefined };
+    const names = (await readdir(dir))
+        .filter((name) => name.endsWith('.sql'))
+        .toSorted();
+    const files = await Promise.all(names.map(async (name) => {
+        // A Windows checkout's line endings change neither checksum nor header.
+        const text = await readFile(join(dir, name), 'utf8');
+        const sql = text.replaceAll('\r\n', '\n');
+        const checksum = createHash('sha256').update(sql).digest('hex');
+        const [first = '', second] = sql.split('\n', 2);
+        const schema = first.startsWith(header)
+            ? first.slice(header.length)
+            : undefined;
+        return {
+            name,
+            sql,
+            checksum,
+            ...(schema === undefined ? {} : { schema }),
+            transaction: second !== noTransaction,
+        };
+    }));
+    const json = join(dir, 'schema.json');
+    if (!existsSync(json)) {
+        if (files.length > 0) {
+            throw new Refused('migrations/ holds SQL files but no schema.json: restore it from version control.');
+        }
+        return { files, snapshot: undefined };
+    }
+    const snapshot = JSON.parse(await readFile(json, 'utf8'));
+    return { files, snapshot };
+}
+/** `yyyyMMddHHmmss`, in UTC. */
+const stamp = (now) => now.toISOString().replaceAll(/[-:T]/g, '').slice(0, 'yyyyMMddHHmmss'.length);
+function body(hash, statements, none) {
+    const blocks = statements.map(({ sql, loses, tries, rename }) => [
+        ...(loses === undefined ? [] : [`-- ${loses}.`]),
+        ...(tries === undefined ? [] : [`-- ${tries}.`]),
+        ...(rename === undefined ? [] : [`-- a rename? write: ${rename.sql};`]),
+        `${sql};`,
+    ].join('\n'));
+    const parts = blocks.length > 0 ? blocks : [none];
+    return `${header}${hash}\n\n${parts.join('\n\n')}\n`;
+}
+/**
+ * Writes the migration from `schema.json` to the models; with no model
+ * changed, a file for the developer's SQL, as a data migration.
+ */
+export async function migrateCreate({ options }, dir, name, now) {
+    if (!/^[a-z0-9_]+$/.test(name)) {
+        throw new Refused(`"${name}" is not a migration name: use lowercase letters, digits and _.`);
+    }
+    const migrations = migrationsOf(options.database);
+    const schema = schemaOf(options);
+    const to = migrations.snapshot(schema);
+    const { snapshot: from } = await read(dir);
+    const hash = hashOf(to);
+    const file = `${stamp(now)}_${name}.sql`;
+    await mkdir(dir, { recursive: true });
+    if (from !== undefined && hashOf(from) === hash) {
+        const sql = body(hash, [], '-- No model changed: write your SQL here.');
+        await writeFile(join(dir, file), sql, { flag: 'wx' });
+        return `Wrote migrations/${file}: no model changed, write your SQL in it.`;
+    }
+    const statements = migrations.plan(from, schema);
+    const sql = body(hash, statements, '-- No statement: only names changed.');
+    await writeFile(join(dir, file), sql, { flag: 'wx' });
+    await writeFile(join(dir, 'schema.json'), `${JSON.stringify(to, null, '\t')}\n`);
+    return `Wrote migrations/${file}.`;
+}
+/** Syncs a development database, losing data only with `force`. */
+export async function sync({ options }, force) {
+    if (process.env['NODE_ENV'] === 'production') {
+        throw new Refused('sync changes only a development database: run `npx ultimabase migrate deploy` in production.');
+    }
+    const { database } = options;
+    migrationsOf(database);
+    const schema = schemaOf(options);
+    const logger = kernelLogger(options);
+    await database.start(schema, logger);
+    try {
+        const ran = await synced(database, schema, logger, force);
+        return ran === undefined
+            ? 'The database already matches the models.'
+            : undefined;
+    }
+    finally {
+        await database.stop();
+    }
+}

package/dist/cli.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=cli.d.ts.map

package/dist/cli.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":""}

package/dist/cli.js

@@ -0,0 +1,4 @@
+#!/usr/bin/env node
+// The `ultimabase` bin (D-105).
+import { main } from './cli-main.js';
+process.exitCode = await main(process.argv.slice(2));

package/dist/complete.d.ts

@@ -0,0 +1,13 @@
+import type { Caller, Identity } from './rules.ts';
+/** A plugin's `caller`, bound to its context. */
+export type PluginCaller = {
+    readonly plugin: string;
+    readonly caller: (identity: Identity) => Promise<unknown>;
+};
+export type Complete = (identity: Identity) => Promise<Caller>;
+/**
+ * Completes a user caller the first time the kernel receives it; `plugins`
+ * is read on each call, filled once their contexts exist.
+ */
+export declare function completer(plugins: readonly PluginCaller[]): Complete;
+//# sourceMappingURL=complete.d.ts.map

package/dist/complete.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"complete.d.ts","sourceRoot":"","sources":["../src/complete.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAElD,iDAAiD;AACjD,MAAM,MAAM,YAAY,GAAG;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,QAAQ,KAAK,OAAO,CAAC,OAAO,CAAC,CAAA;CACzD,CAAA;AAED,MAAM,MAAM,QAAQ,GAAG,CAAC,QAAQ,EAAE,QAAQ,KAAK,OAAO,CAAC,MAAM,CAAC,CAAA;AAmC9D;;;GAGG;AACH,wBAAgB,SAAS,CAAC,OAAO,EAAE,SAAS,YAAY,EAAE,GAAG,QAAQ,CAqBpE"}

package/dist/complete.js

@@ -0,0 +1,60 @@
+// A user caller completed with its plugins' keys (D-121): once per object,
+// each plugin's `caller` in the order of `plugins`, a key given by one only,
+// a symbol key as a string one (D-126).
+import { isObject } from './query-where.js';
+// The keys every caller holds, which no plugin gives.
+const own = new Set(['kind', 'user']);
+async function completed(identity, plugins) {
+    const keys = {};
+    const givers = new Map();
+    for (const { plugin, caller } of plugins) {
+        const given = await caller(identity);
+        if (!isObject(given)) {
+            throw new TypeError(`${plugin}.caller returns an object of keys.`);
+        }
+        for (const key of Reflect.ownKeys(given)) {
+            if (!Object.prototype.propertyIsEnumerable.call(given, key))
+                continue;
+            const other = own.has(key) ? 'the kernel' : givers.get(key);
+            if (other !== undefined) {
+                throw new Error(`${plugin}.caller gives the caller ${String(key)}, which ${other} gives; a key has one plugin.`);
+            }
+            givers.set(key, plugin);
+            const value = Reflect.get(given, key);
+            keys[key] = value;
+        }
+    }
+    // Unnecessary only while no plugin declares a key: once one does, the
+    // kernel's types cannot see it given (D-121). caller-keys-typing proves it.
+    // oxlint-disable-next-line typescript/no-unnecessary-type-assertion -- see above.
+    return Object.freeze({ ...identity, ...keys });
+}
+/**
+ * Completes a user caller the first time the kernel receives it; `plugins`
+ * is read on each call, filled once their contexts exist.
+ */
+export function completer(plugins) {
+    const pending = new WeakMap();
+    const done = new WeakSet();
+    // A completed caller, or a user one when no plugin gives a key.
+    const kept = (identity) => done.has(identity);
+    return async (identity) => {
+        if (identity.kind !== 'user')
+            return identity;
+        if (plugins.length === 0)
+            done.add(identity);
+        if (kept(identity))
+            return identity;
+        const known = pending.get(identity);
+        if (known !== undefined)
+            return known;
+        const caller = completed(identity, plugins).then((result) => {
+            done.add(result);
+            return result;
+        });
+        pending.set(identity, caller);
+        // A failure is not kept: the next request tries again.
+        caller.catch(() => pending.delete(identity));
+        return caller;
+    };
+}

package/dist/console-logger.d.ts

@@ -0,0 +1,3 @@
+import type { Logger } from './app-options.ts';
+export declare function consoleLogger(bindings?: object): Logger;
+//# sourceMappingURL=console-logger.d.ts.map

package/dist/console-logger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"console-logger.d.ts","sourceRoot":"","sources":["../src/console-logger.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAA;AA2D9C,wBAAgB,aAAa,CAAC,QAAQ,GAAE,MAAW,GAAG,MAAM,CAuB3D"}

package/dist/console-logger.js

@@ -0,0 +1,62 @@
+// The logger the kernel writes to when the application gives none (D-58,
+// D-88, D-93): a readable line in a terminal, one JSON line with pino's
+// fields everywhere else.
+import { styleText } from 'node:util';
+const colors = { info: 'green', warn: 'yellow', error: 'red' };
+/** An error as pino's `err` serializer writes it. */
+function serialized(value) {
+    if (!(value instanceof Error))
+        return value;
+    return { type: value.name, message: value.message, stack: value.stack };
+}
+function json(level, fields, msg) {
+    return JSON.stringify({
+        level,
+        time: Date.now(),
+        ...Object.fromEntries(Object.entries(fields).map(([key, value]) => [key, serialized(value)])),
+        ...(msg === undefined ? {} : { msg }),
+    });
+}
+/** A value as `key=value` shows it: quoted when it would read ambiguously. */
+function shown(value) {
+    if (typeof value === 'string' && /^[^\s"=]+$/u.test(value))
+        return value;
+    return JSON.stringify(value) ?? String(value);
+}
+/** `10:42:07 INFO  [cache] Warm. size=2`, then each error's stack, indented. */
+function readable(level, fields, msg, stream) {
+    const { name, ...rest } = fields;
+    const errors = Object.values(rest).filter((value) => value instanceof Error);
+    const details = Object.entries(rest)
+        .filter(([, value]) => !(value instanceof Error))
+        .map(([key, value]) => `${key}=${shown(value)}`);
+    const line = [
+        styleText('dim', new Date().toTimeString().slice(0, 8), { stream }),
+        styleText(colors[level], level.toUpperCase().padEnd(5), { stream }),
+        name === undefined ? undefined : `[${shown(name)}]`,
+        msg,
+        ...details,
+    ];
+    const stacks = errors.map((error) => (error.stack ?? `${error.name}: ${error.message}`).replaceAll(/^/gmu, '    '));
+    return [line.filter((part) => part !== undefined).join(' '), ...stacks].join('\n');
+}
+export function consoleLogger(bindings = {}) {
+    const log = (level) => (first, message) => {
+        const fields = {
+            ...bindings,
+            ...(typeof first === 'string' ? {} : first),
+        };
+        const msg = typeof first === 'string' ? first : message;
+        // console.info writes to stdout, console.warn and console.error to stderr.
+        const stream = level === 'info' ? process.stdout : process.stderr;
+        console[level](stream.isTTY
+            ? readable(level, fields, msg, stream)
+            : json(level, fields, msg));
+    };
+    return {
+        info: log('info'),
+        warn: log('warn'),
+        error: log('error'),
+        child: (more) => consoleLogger({ ...bindings, ...more }),
+    };
+}

package/dist/create-many.d.ts

@@ -0,0 +1,7 @@
+import type { Context } from './query-context.ts';
+import type { Commit, Store } from './transaction.ts';
+export declare function createMany(context: Context, store: Store, commits: Commit[], args: unknown): Promise<{
+    readonly count: number;
+}>;
+export declare function createManyAndReturn(context: Context, store: Store, commits: Commit[], args: unknown): Promise<readonly unknown[]>;
+//# sourceMappingURL=create-many.d.ts.map

package/dist/create-many.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"create-many.d.ts","sourceRoot":"","sources":["../src/create-many.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAIjD,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AA2FrD,wBAAsB,UAAU,CAC/B,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,MAAM,EAAE,EACjB,IAAI,EAAE,OAAO,GACX,OAAO,CAAC;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,CAIrC;AAED,wBAAsB,mBAAmB,CACxC,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,MAAM,EAAE,EACjB,IAAI,EAAE,OAAO,GACX,OAAO,CAAC,SAAS,OAAO,EAAE,CAAC,CAK7B"}

package/dist/create-many.js

@@ -0,0 +1,88 @@
+import { InvalidQuery } from './errors.js';
+import { rereads, runHook, settle, settles } from './hooks.js';
+import { oneKeys } from './query-args.js';
+import { given, shapedRows } from './query-context.js';
+import { byIds, entries, isObject } from './query-where.js';
+import { createPlan } from './query-write.js';
+import { prepared, readData } from './write-data.js';
+import { guarded } from './write-target.js';
+import { writingOf } from './writing.js';
+import { returned } from './writes.js';
+/** A row's data, as `create` reads it, with no write but `connect` on a `one`. */
+function rowData(context, data, at) {
+    const { models, model } = context;
+    for (const [name, value] of entries(data, at)) {
+        const field = model.fields.get(name);
+        if (field === undefined || field.kind === 'scalar')
+            continue;
+        const path = `${at}.${name}`;
+        if (field.kind === 'many') {
+            throw new InvalidQuery(path, `${path} is a many relation, which createMany does not write.`);
+        }
+        if (!isObject(value) ||
+            Object.keys(value).some((key) => key !== 'connect')) {
+            throw new InvalidQuery(path, `${path} takes only connect in createMany.`);
+        }
+    }
+    return readData(models, model, data, true, at);
+}
+/**
+ * Creates the rows of `data`: their ids, or with `at` the rows as it shapes
+ * them, in `data`'s order. The rows come back even when a read rule would
+ * hide them, as `create`'s does (D-86).
+ */
+async function created(context, store, commits, data, at) {
+    const { model, caller, scope } = context;
+    const drafts = Array.isArray(data)
+        ? data.map((row, index) => rowData(context, row, `data.${index}`))
+        : [rowData(context, data, 'data')];
+    const sent = drafts.map((draft) => ({ ...draft }));
+    // One row refused, none written (D-111).
+    for (const each of sent)
+        scope.access?.allow(model, 'create', { data: each });
+    if (drafts.length === 0)
+        return [];
+    for (const draft of drafts) {
+        await prepared(model, draft, caller, true);
+        await runHook(model, 'beforeCreate', { caller, data: draft });
+    }
+    const events = [];
+    const writing = writingOf(scope, store, events);
+    const changes = [];
+    const ids = [];
+    for (const [index, draft] of drafts.entries()) {
+        const { id, plan } = await createPlan(scope, model, draft, sent[index] ?? {}, store);
+        ids.push(id);
+        events.push({ model, operation: 'create', id }, ...plan.events);
+        await plan.check(writing);
+        changes.push(...(await plan.changes(writing)));
+    }
+    const read = at && { model: model.name, ...at.read, where: byIds(ids) };
+    // An `after*` hook may change the rows: they are read once it ran (D-88).
+    const again = rereads(events);
+    const write = {
+        checks: writing.checks.map(({ check }) => check),
+        changes,
+        ...(read && !again && { read }),
+    };
+    // Nothing follows a write without hooks: it may need no transaction.
+    const run = settles(events) ? store.write(write) : store.last(write);
+    const rows = await guarded(run, writing.checks);
+    await settle(store, caller, events, commits);
+    if (at === undefined || read === undefined)
+        return ids;
+    const found = new Map((again ? await store.find(read) : rows).map((row) => [row.id, row]));
+    const ordered = ids.flatMap((id) => found.get(id) ?? []);
+    return shapedRows(context, store, ordered, at.shape, scope.access);
+}
+export async function createMany(context, store, commits, args) {
+    const found = given(args, context.model.name, ['data'], ['data']);
+    const ids = await created(context, store, commits, found.get('data'));
+    return { count: ids.length };
+}
+export async function createManyAndReturn(context, store, commits, args) {
+    const keys = ['data', ...oneKeys];
+    const found = given(args, context.model.name, keys, ['data']);
+    const at = await returned(context, found);
+    return created(context, store, commits, found.get('data'), at);
+}

package/dist/decimal.d.ts

@@ -0,0 +1,23 @@
+/** A decimal string's shape, as transports describe it. */
+export declare const decimalPattern = "^-?\\d+(\\.\\d+)?$";
+/** A decimal field's precision and scale. */
+export type Digits = {
+    readonly precision: number;
+    readonly scale: number;
+};
+/** A field, which has digits if it is a decimal. */
+type Digited = {
+    readonly type: string;
+} & Partial<Digits>;
+/** The message of a value a decimal `field` cannot hold, if it cannot. */
+export declare function decimalIssue(value: unknown, field: Digited): string | undefined;
+/** `value`, which fits, at `scale`: `'012.5'` is `'12.50'`. */
+export declare const normalized: (value: string, scale: number) => string;
+/** A value that fits `field`, as stored: a decimal at its scale. */
+export declare const storedValue: (value: unknown, field: Digited) => unknown;
+/** A decimal string's units at `scale`, which order decimals by value. */
+export declare const unitsOf: (value: string, scale: number) => bigint;
+/** The exact sum of decimal strings, at `scale`. */
+export declare function sumDecimals(values: readonly string[], scale: number): string;
+export {};
+//# sourceMappingURL=decimal.d.ts.map

package/dist/decimal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"decimal.d.ts","sourceRoot":"","sources":["../src/decimal.ts"],"names":[],"mappings":"AAGA,2DAA2D;AAC3D,eAAO,MAAM,cAAc,uBAAuB,CAAA;AA4BlD,6CAA6C;AAC7C,MAAM,MAAM,MAAM,GAAG;IAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAA;AAE3E,oDAAoD;AACpD,KAAK,OAAO,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;AAE1D,0EAA0E;AAC1E,wBAAgB,YAAY,CAC3B,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,OAAO,GACZ,MAAM,GAAG,SAAS,CAWpB;AAED,+DAA+D;AAC/D,eAAO,MAAM,UAAU,UAAW,MAAM,SAAS,MAAM,KAAG,MACjB,CAAA;AAEzC,oEAAoE;AACpE,eAAO,MAAM,WAAW,UAAW,OAAO,SAAS,OAAO,KAAG,OAGpD,CAAA;AAET,0EAA0E;AAC1E,eAAO,MAAM,OAAO,UAAW,MAAM,SAAS,MAAM,KAAG,MAC3B,CAAA;AAE5B,oDAAoD;AACpD,wBAAgB,WAAW,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,KAAK,EAAE,MAAM,GAAG,MAAM,CAG5E"}

package/dist/decimal.js

@@ -0,0 +1,50 @@
+// Decimal values (D-145): exact numbers as strings, normalized to their
+// field's scale, compared and summed through `BigInt`.
+/** A decimal string's shape, as transports describe it. */
+export const decimalPattern = '^-?\\d+(\\.\\d+)?$';
+const shape = new RegExp(decimalPattern);
+function exact(value) {
+    const [whole = '', fraction = ''] = value.split('.');
+    return { units: BigInt(`${whole}${fraction}`), scale: fraction.length };
+}
+/** `value`'s units at `to` digits after the point; a cut digit is a 0. */
+const scaled = ({ units, scale }, to) => to >= scale
+    ? units * 10n ** BigInt(to - scale)
+    : units / 10n ** BigInt(scale - to);
+function text(units, scale) {
+    const digits = (units < 0n ? -units : units)
+        .toString()
+        .padStart(scale + 1, '0');
+    const whole = digits.slice(0, digits.length - scale);
+    const sign = units < 0n ? '-' : '';
+    return scale === 0
+        ? `${sign}${whole}`
+        : `${sign}${whole}.${digits.slice(-scale)}`;
+}
+/** The message of a value a decimal `field` cannot hold, if it cannot. */
+export function decimalIssue(value, field) {
+    const digits = { precision: field.precision ?? 0, scale: field.scale ?? 0 };
+    const expected = `Expected a decimal string of at most ${digits.precision} digits, ${digits.scale} after the point, such as '12.50'.`;
+    if (typeof value !== 'string' || !shape.test(value))
+        return expected;
+    const [whole = '', fraction = ''] = value.replace('-', '').split('.');
+    const significant = whole.replace(/^0+/, '').length;
+    const decimals = fraction.replace(/0+$/, '').length;
+    return significant > digits.precision - digits.scale ||
+        decimals > digits.scale
+        ? expected
+        : undefined;
+}
+/** `value`, which fits, at `scale`: `'012.5'` is `'12.50'`. */
+export const normalized = (value, scale) => text(scaled(exact(value), scale), scale);
+/** A value that fits `field`, as stored: a decimal at its scale. */
+export const storedValue = (value, field) => field.type === 'decimal' && typeof value === 'string'
+    ? normalized(value, field.scale ?? 0)
+    : value;
+/** A decimal string's units at `scale`, which order decimals by value. */
+export const unitsOf = (value, scale) => scaled(exact(value), scale);
+/** The exact sum of decimal strings, at `scale`. */
+export function sumDecimals(values, scale) {
+    const total = values.reduce((sum, value) => sum + unitsOf(value, scale), 0n);
+    return text(total, scale);
+}

package/dist/define-app.d.ts

@@ -0,0 +1,59 @@
+import type { Adapter } from './adapter.ts';
+import type { Logger, MasterKey } from './app-options.ts';
+import type { FunctionShape } from './function.ts';
+import type { App, FieldTypePlugins, InverseCheck, ModelShape } from './model.ts';
+import type { PluginValue } from './plugin.ts';
+import type { fieldType, modelFields } from './symbols.ts';
+type Used<M> = (M extends {
+    readonly plugins?: infer P;
+} ? P : never) | (M extends {
+    readonly [modelFields]: infer F;
+} ? FieldTypePlugins<F> : never);
+type Missing<P extends readonly PluginValue<string, string>[], X> = Exclude<Used<X>, P[number]['name'] | undefined>;
+type RequiresOf<V> = V extends PluginValue<string, infer R> ? R : never;
+type Unmet<P extends readonly PluginValue<string, string>[]> = Exclude<RequiresOf<P[number]>, P[number]['name']>;
+type PluginCheck<P extends readonly PluginValue<string, string>[], M extends readonly ModelShape[], Fn extends readonly FunctionShape[]> = [Missing<P, M[number]>] extends [never] ? [Missing<P, Fn[number]>] extends [never] ? [Unmet<P>] extends [never] ? unknown : {
+    readonly pluginError: `a plugin requires '${Unmet<P> & string}', which is not in plugins`;
+} : {
+    readonly pluginError: `a function uses '${Missing<P, Fn[number]> & string}', which is not in plugins`;
+} : {
+    readonly pluginError: `a model uses '${Missing<P, M[number]> & string}', which is not in plugins`;
+};
+type Targets<X> = X extends {
+    readonly [modelFields]: infer F;
+} ? {
+    [K in keyof F]: F[K] extends {
+        readonly [fieldType]: {
+            readonly target: () => infer T;
+        };
+    } ? T extends {
+        readonly name: infer N;
+    } ? N : never : never;
+}[keyof F] : never;
+type Unlisted<M extends readonly ModelShape[]> = Exclude<Targets<M[number]>, M[number]['name']>;
+type Names<M> = {
+    [I in keyof M]: M[I] extends {
+        readonly name: infer N;
+    } ? N : never;
+};
+type Twice<N, Seen = never, Found = never> = N extends readonly [
+    infer H,
+    ...infer R
+] ? string extends H ? Twice<R, Seen, Found> : Twice<R, Seen | H, H extends Seen ? Found | H : Found> : Found;
+type ModelCheck<M extends readonly ModelShape[]> = [Twice<Names<M>>] extends [
+    never
+] ? [Unlisted<M>] extends [never] ? unknown : {
+    readonly modelError: `a relation points to '${Unlisted<M> & string}', which is not in models`;
+} : {
+    readonly modelError: `two models are named '${Twice<Names<M>> & string}'`;
+};
+export declare function defineApp<const P extends readonly PluginValue<string, string>[] = [], const M extends readonly ModelShape[] = [], const Fn extends readonly FunctionShape[] = []>(options: {
+    readonly database: Adapter;
+    readonly plugins?: P;
+    readonly models: M;
+    readonly functions?: Fn;
+    readonly masterKey?: MasterKey;
+    readonly logger?: Logger;
+} & NoInfer<PluginCheck<P, M, Fn>> & NoInfer<ModelCheck<M>> & NoInfer<InverseCheck<M>>): App<M>;
+export {};
+//# sourceMappingURL=define-app.d.ts.map

package/dist/define-app.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"define-app.d.ts","sourceRoot":"","sources":["../src/define-app.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AAE3C,OAAO,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAA;AACzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAA;AAElD,OAAO,KAAK,EACX,GAAG,EACH,gBAAgB,EAChB,YAAY,EACZ,UAAU,EACV,MAAM,YAAY,CAAA;AACnB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAA;AAC9C,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAG1D,KAAK,IAAI,CAAC,CAAC,IACR,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAC,GACtD,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GAC5C,gBAAgB,CAAC,CAAC,CAAC,GACnB,KAAK,CAAC,CAAA;AACX,KAAK,OAAO,CAAC,CAAC,SAAS,SAAS,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,IAAI,OAAO,CAC1E,IAAI,CAAC,CAAC,CAAC,EACP,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,SAAS,CAC7B,CAAA;AACD,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AACvE,KAAK,KAAK,CAAC,CAAC,SAAS,SAAS,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,IAAI,OAAO,CACrE,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EACrB,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CACjB,CAAA;AACD,KAAK,WAAW,CACf,CAAC,SAAS,SAAS,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,EAChD,CAAC,SAAS,SAAS,UAAU,EAAE,EAC/B,EAAE,SAAS,SAAS,aAAa,EAAE,IAChC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACxC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACzB,OAAO,GACP;IACA,QAAQ,CAAC,WAAW,EAAE,sBAAsB,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,4BAA4B,CAAA;CACzF,GACD;IACA,QAAQ,CAAC,WAAW,EAAE,oBAAoB,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,4BAA4B,CAAA;CACrG,GACD;IACA,QAAQ,CAAC,WAAW,EAAE,iBAAiB,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,MAAM,4BAA4B,CAAA;CACjG,CAAA;AAEH,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC,CAAA;CAAE,GAC5D;KACC,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;QAC5B,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE;YAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,MAAM,CAAC,CAAA;SAAE,CAAA;KACxD,GACE,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;KAAE,GACnC,CAAC,GACD,KAAK,GACN,KAAK;CACR,CAAC,MAAM,CAAC,CAAC,GACT,KAAK,CAAA;AACR,KAAK,QAAQ,CAAC,CAAC,SAAS,SAAS,UAAU,EAAE,IAAI,OAAO,CACvD,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAClB,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CACjB,CAAA;AAID,KAAK,KAAK,CAAC,CAAC,IAAI;KACd,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;KAAE,GAAG,CAAC,GAAG,KAAK;CACnE,CAAA;AACD,KAAK,KAAK,CAAC,CAAC,EAAE,IAAI,GAAG,KAAK,EAAE,KAAK,GAAG,KAAK,IAAI,CAAC,SAAS,SAAS;IAC/D,MAAM,CAAC;IACP,GAAG,MAAM,CAAC;CACV,GACE,MAAM,SAAS,CAAC,GACf,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,GACrB,KAAK,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,CAAC,SAAS,IAAI,GAAG,KAAK,GAAG,CAAC,GAAG,KAAK,CAAC,GACvD,KAAK,CAAA;AACR,KAAK,UAAU,CAAC,CAAC,SAAS,SAAS,UAAU,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS;IAC5E,KAAK;CACL,GACE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC5B,OAAO,GACP;IACA,QAAQ,CAAC,UAAU,EAAE,yBAAyB,QAAQ,CAAC,CAAC,CAAC,GAAG,MAAM,2BAA2B,CAAA;CAC7F,GACD;IACA,QAAQ,CAAC,UAAU,EAAE,yBAAyB,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,CAAA;CACzE,CAAA;AAEH,wBAAgB,SAAS,CACxB,KAAK,CAAC,CAAC,SAAS,SAAS,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,GAAG,EAAE,EAC3D,KAAK,CAAC,CAAC,SAAS,SAAS,UAAU,EAAE,GAAG,EAAE,EAC1C,KAAK,CAAC,EAAE,SAAS,SAAS,aAAa,EAAE,GAAG,EAAE,EAE9C,OAAO,EAAE;IACR,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,SAAS,CAAC,EAAE,EAAE,CAAA;IACvB,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAA;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACxB,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GACjC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GACtB,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GACvB,GAAG,CAAC,CAAC,CAAC,CAER"}

package/dist/define-app.js

@@ -0,0 +1,5 @@
+import { remember } from './app-internals.js';
+import { lifecycle } from './lifecycle.js';
+export function defineApp(options) {
+    return remember({ models: options.models, ...lifecycle(options) }, options);
+}

package/dist/define-enum.d.ts

@@ -0,0 +1,6 @@
+import type { Enum } from './fields.ts';
+/** A shared enum, frozen, which `f.enumOf` takes in place of its values. */
+export declare function defineEnum<const E extends string>(name: string, values: readonly E[], options?: {
+    readonly description?: string;
+}): Enum<E>;
+//# sourceMappingURL=define-enum.d.ts.map

package/dist/define-enum.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"define-enum.d.ts","sourceRoot":"","sources":["../src/define-enum.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAEvC,4EAA4E;AAC5E,wBAAgB,UAAU,CAAC,KAAK,CAAC,CAAC,SAAS,MAAM,EAChD,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,SAAS,CAAC,EAAE,EACpB,OAAO,GAAE;IAAE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAO,GAC7C,IAAI,CAAC,CAAC,CAAC,CAeT"}

package/dist/define-enum.js

@@ -0,0 +1,18 @@
+// Shared enums (D-150): one name and its values, which every field taking
+// it shows as one GraphQL enum and one OpenAPI schema; storage is unchanged.
+import { describedBy, enumValues, sharedEnums } from './definition.js';
+/** A shared enum, frozen, which `f.enumOf` takes in place of its values. */
+export function defineEnum(name, values, options = {}) {
+    if (!/^[A-Z_a-z]\w*$/.test(name) || name.startsWith('__')) {
+        throw new Error(`defineEnum takes a GraphQL name: letters, digits and _, not ${JSON.stringify(name)}.`);
+    }
+    const of = `defineEnum(${name})`;
+    enumValues(values, of);
+    const shared = Object.freeze({
+        name,
+        values: Object.freeze([...values]),
+        description: describedBy(options.description, of),
+    });
+    sharedEnums.set(shared, shared);
+    return shared;
+}

package/dist/define-function.d.ts

@@ -0,0 +1,25 @@
+import type { FunctionDefinition } from './definition.ts';
+import type { StandardSchema } from './fields.ts';
+import type { Client, FunctionPlugin, FunctionWithKeys, InputCheck, ObjectType, OutputSpec, QueryCheck, ResultOf, RunFacts, ServerFunction, TypeFields } from './function.ts';
+import type { ModelUse } from './plugin.ts';
+export declare function defineType<const N extends string, const F extends TypeFields>(definition: {
+    readonly name: N;
+    /** What the type means, which the transports show (D-150). */
+    readonly description?: string;
+    readonly fields: F;
+}): ObjectType<N, F>;
+/** `run`'s call, the input first when the function takes one; a transport
+ * passes its client (D-113). */
+export declare function called(value: object, record: FunctionDefinition, args: readonly unknown[], client?: Client): Promise<unknown>;
+export declare function defineFunction<const N extends string, const O extends OutputSpec | undefined = undefined, const I extends StandardSchema | undefined = undefined, const U extends readonly ModelUse<string, FunctionPlugin>[] = []>(definition: {
+    readonly name: N;
+    /** What the function does, which the transports show (D-150). */
+    readonly description?: string;
+    /** A query, served over GET too; a mutation by default (D-109). */
+    readonly query?: boolean;
+    readonly use?: U;
+    readonly input?: I;
+    readonly output?: O;
+    readonly run: (facts: RunFacts<NoInfer<I>>) => NoInfer<ResultOf<O>> | Promise<NoInfer<ResultOf<O>>>;
+} & NoInfer<InputCheck<I>> & NoInfer<QueryCheck<U[number]>>): ServerFunction<N, I, O, U[number]['plugin'], FunctionWithKeys<U[number]>>;
+//# sourceMappingURL=define-function.d.ts.map

package/dist/define-function.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"define-function.d.ts","sourceRoot":"","sources":["../src/define-function.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,kBAAkB,EAAU,MAAM,iBAAiB,CAAA;AAajE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AACjD,OAAO,KAAK,EACX,MAAM,EACN,cAAc,EACd,gBAAgB,EAChB,UAAU,EACV,UAAU,EACV,UAAU,EACV,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,cAAc,EACd,UAAU,EACV,MAAM,eAAe,CAAA;AACtB,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAQ3C,wBAAgB,UAAU,CACzB,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,KAAK,CAAC,CAAC,SAAS,UAAU,EACzB,UAAU,EAAE;IACb,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,8DAA8D;IAC9D,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;CAClB,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAmBnB;AAuBD;gCACgC;AAChC,wBAAsB,MAAM,CAC3B,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,kBAAkB,EAC1B,IAAI,EAAE,SAAS,OAAO,EAAE,EACxB,MAAM,CAAC,EAAE,MAAM,GACb,OAAO,CAAC,OAAO,CAAC,CA8BlB;AAED,wBAAgB,cAAc,CAC7B,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,KAAK,CAAC,CAAC,SAAS,UAAU,GAAG,SAAS,GAAG,SAAS,EAClD,KAAK,CAAC,CAAC,SAAS,cAAc,GAAG,SAAS,GAAG,SAAS,EACtD,KAAK,CAAC,CAAC,SAAS,SAAS,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,GAAG,EAAE,EAEhE,UAAU,EAAE;IACX,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAA;IAChB,iEAAiE;IACjE,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,mEAAmE;IACnE,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAA;IAChB,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;IACnB,QAAQ,CAAC,GAAG,EAAE,CACb,KAAK,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KACvB,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;CACzD,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GACzB,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAC7B,cAAc,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAuC3E"}