ultimabase 0.0.0-stage → 0.1.1

package/dist/delete-many.js

@@ -0,0 +1,58 @@
+import { cascadeOf, cascadeWhere } from './cascade.js';
+import { settle } from './hooks.js';
+import { filtered, given } from './query-context.js';
+import { byIds } from './query-where.js';
+import { checkedWrite, guarded } from './write-target.js';
+import { cascaded, writingOf } from './writing.js';
+export async function removeMany(context, store, commits, args) {
+    const { models, model, scope } = context;
+    const found = given(args, model.name, ['where'], []);
+    const where = (await filtered(context, found, 'delete')) ?? {};
+    const reach = cascadeWhere(models, model, where);
+    if (reach !== undefined && scope.access === undefined) {
+        // The write reads its rows as they were, to count them (D-102).
+        const read = { model: model.name, where };
+        const { checks } = reach;
+        const rows = await guarded(store.last({
+            checks: checks.map(({ check }) => check),
+            changes: reach.changes,
+            read,
+            before: true,
+        }), checks);
+        return { count: rows.length };
+    }
+    // In id order, so two calls on the same rows wait instead of deadlocking.
+    const orderBy = [{ field: 'id', direction: 'asc' }];
+    const rows = await store.find({
+        model: model.name,
+        where,
+        orderBy,
+        lock: true,
+    });
+    // One row refused, none deleted (D-111).
+    for (const row of rows)
+        scope.access?.allow(model, 'delete', { record: row });
+    if (rows.length > 0)
+        await deleted(context, store, commits, rows);
+    return { count: rows.length };
+}
+/**
+ * Deletes `rows`, which the caller may delete, as `delete` does: in one write
+ * when nothing runs (D-102), else with their cascade or redirect, then the
+ * hooks.
+ */
+export async function deleted(context, store, commits, rows) {
+    const { models, model, caller, scope } = context;
+    const locked = cascadeWhere(models, model, byIds(rows.map(({ id }) => id)));
+    if (locked !== undefined) {
+        await checkedWrite(store, locked.checks, locked.changes);
+        return;
+    }
+    const events = [];
+    const writing = writingOf(scope, store, events);
+    const cascade = await cascadeOf(models, model, rows, store);
+    const changes = await cascaded(writing, cascade);
+    if (changes.length > 0)
+        await checkedWrite(store, writing.checks, changes);
+    await settle(store, caller, events, commits);
+}

package/dist/engine.d.ts

@@ -0,0 +1,16 @@
+import type { Identity } from './rules.ts';
+import type { Read, Row } from './adapter.ts';
+import type { Store } from './transaction.ts';
+export type Operation = 'findMany' | 'findFirst' | 'findUnique' | 'findFirstOrThrow' | 'findUniqueOrThrow' | 'count' | 'aggregate' | 'groupBy' | 'create' | 'update' | 'upsert' | 'delete' | 'updateMany' | 'createMany' | 'updateManyAndReturn' | 'createManyAndReturn' | 'deleteMany' | 'upserted';
+/**
+ * `{ as }` only; without it, the caller is anonymous (D-19). The kernel
+ * completes a user one (D-121).
+ */
+export declare function callerOf(options: unknown, model: string): Identity;
+/** Finds a read's root rows, decoded; a live read may serve them (D-154). */
+export type RootFind = (store: Store, read: Read) => Promise<Row[]>;
+/** Runs one query of a model of the running application. */
+export declare function query(name: string, operation: Operation, args: unknown, options: unknown): Promise<unknown>;
+/** `findMany(args)` as `options` says, its root rows found by `root` (D-154). */
+export declare function rootFind(name: string, args: unknown, options: unknown, root: RootFind): Promise<unknown>;
+//# sourceMappingURL=engine.d.ts.map

package/dist/engine.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAE1C,OAAO,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,cAAc,CAAA;AAU7C,OAAO,KAAK,EAAU,KAAK,EAAE,MAAM,kBAAkB,CAAA;AASrD,MAAM,MAAM,SAAS,GAClB,UAAU,GACV,WAAW,GACX,YAAY,GACZ,kBAAkB,GAClB,mBAAmB,GACnB,OAAO,GACP,WAAW,GACX,SAAS,GACT,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,YAAY,GACZ,YAAY,GACZ,qBAAqB,GACrB,qBAAqB,GACrB,YAAY,GAEZ,UAAU,CAAA;AAIb;;;GAGG;AACH,wBAAgB,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,GAAG,QAAQ,CAgClE;AAYD,6EAA6E;AAC7E,MAAM,MAAM,QAAQ,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,IAAI,KAAK,OAAO,CAAC,GAAG,EAAE,CAAC,CAAA;AAgJnE,4DAA4D;AAC5D,wBAAsB,KAAK,CAC1B,IAAI,EAAE,MAAM,EACZ,SAAS,EAAE,SAAS,EACpB,IAAI,EAAE,OAAO,EACb,OAAO,EAAE,OAAO,GACd,OAAO,CAAC,OAAO,CAAC,CAelB;AAED,iFAAiF;AACjF,wBAAsB,QAAQ,CAC7B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,OAAO,EACb,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,QAAQ,GACZ,OAAO,CAAC,OAAO,CAAC,CASlB"}

package/dist/engine.js

@@ -0,0 +1,174 @@
+// The queries a model sends to the running application (D-18): each one
+// checked, run on the adapter, in the open transaction if any (D-36), and
+// returned in the shape it asked for.
+import { accessFor, and } from './access.js';
+import { InvalidQuery, PublicError } from './errors.js';
+import { isMaster } from './rules.js';
+import { current } from './running.js';
+import { filtered, first, given, picked, shapedRows } from './query-context.js';
+import { oneKeys, plan, restrict, uniqueWhere } from './query-args.js';
+import { counted } from './virtual-read.js';
+import { entries, isObject, unknownKey } from './query-where.js';
+import { QueryScope, planned } from './scope.js';
+import { reading, writing } from './transaction.js';
+import { aggregate } from './aggregate.js';
+import { distinctOf, groupBy } from './group-by.js';
+import { removeMany } from './delete-many.js';
+import { updateMany, updateManyAndReturn } from './update-many.js';
+import { createMany, createManyAndReturn } from './create-many.js';
+import { create, remove, update, upsert } from './writes.js';
+const anonymous = Object.freeze({ kind: 'anonymous' });
+/**
+ * `{ as }` only; without it, the caller is anonymous (D-19). The kernel
+ * completes a user one (D-121).
+ */
+export function callerOf(options, model) {
+    if (options === undefined)
+        return anonymous;
+    const keys = new Map(entries(options, 'options'));
+    for (const key of keys.keys()) {
+        if (key !== 'as')
+            throw unknownKey(`options.${key}`, model);
+    }
+    const caller = keys.get('as');
+    if (caller === undefined)
+        return anonymous;
+    if (!isObject(caller)) {
+        throw new InvalidQuery('options.as', 'options.as must be a caller.');
+    }
+    switch (caller['kind']) {
+        case 'anonymous':
+            return anonymous;
+        case 'user':
+            if (!isObject(caller['user']) ||
+                typeof caller['user']['id'] !== 'string') {
+                throw new InvalidQuery('options.as', 'options.as.user must be { id }.');
+            }
+            // oxlint-disable-next-line typescript/no-unsafe-type-assertion -- the kernel reads only the id; the record's other fields are the server code's.
+            return caller;
+        case 'master':
+            // Only the kernel creates Master (D-19): a copy is a forgery.
+            if (!isMaster(caller)) {
+                throw new Error('options.as is a Master the kernel did not create.');
+            }
+            return caller;
+        default:
+            throw new InvalidQuery('options.as', 'options.as must be a caller.');
+    }
+}
+const manyKeys = new Set([
+    'where',
+    ...oneKeys,
+    'orderBy',
+    'take',
+    'skip',
+    'cursor',
+]);
+const distinctKeys = new Set([...manyKeys, 'distinct']);
+const onStore = async (store, read) => store.find(read);
+async function find(context, store, args, single, root = onStore) {
+    const { models, model, scope } = context;
+    const keys = single ? manyKeys : distinctKeys;
+    const { read, shape, readable } = await planned(scope, () => ({
+        ...plan(models, model, args, '', 'many', keys, scope),
+        readable: scope.readable(model.name),
+    }));
+    const take = read.take ?? 1;
+    const limited = single ? { ...read, take: Math.sign(take) } : read;
+    const distinct = single ? undefined : await distinctOf(context, args);
+    const rows = await root(store, {
+        model: model.name,
+        ...restrict(limited, readable),
+        ...(distinct && { distinct }),
+    });
+    if (single)
+        return first(context, store, rows, shape, scope.access);
+    return shapedRows(context, store, rows, shape, scope.access);
+}
+async function findUnique(context, store, args) {
+    const { models, model, scope } = context;
+    const found = given(args, model.name, ['where', ...oneKeys], ['where']);
+    const { read, shape, where } = await planned(scope, () => ({
+        ...plan(models, model, picked(found), '', 'one', oneKeys, scope),
+        where: and(uniqueWhere(models, model, found.get('where'), 'where', scope), scope.readable(model.name)),
+    }));
+    const rows = await store.find({ model: model.name, ...read, where });
+    return first(context, store, rows, shape, scope.access);
+}
+async function count(context, store, args) {
+    const { model } = context;
+    const where = await filtered(context, given(args, model.name, ['where'], []), 'read');
+    return store.count({ model: model.name, ...(where && { where }) });
+}
+/** The read, which fails with `NOT_FOUND` rather than return `null` (D-135). */
+const orThrow = (read) => async (context, store, args) => {
+    const row = await read(context, store, args);
+    if (row !== null)
+        return row;
+    throw new PublicError('NOT_FOUND', `No ${context.model.name} matches.`);
+};
+const reads = {
+    findMany: async (context, store, args) => find(context, store, args, false),
+    findFirst: async (context, store, args) => find(context, store, args, true),
+    findUnique,
+    findFirstOrThrow: orThrow(async (context, store, args) => find(context, store, args, true)),
+    findUniqueOrThrow: orThrow(findUnique),
+    count,
+    aggregate,
+    groupBy,
+};
+const writes = {
+    create,
+    update,
+    upsert: async (context, store, commits, args) => (await upsert(context, store, commits, args)).row,
+    upserted: upsert,
+    delete: remove,
+    updateMany,
+    createMany,
+    updateManyAndReturn,
+    createManyAndReturn,
+    deleteMany: removeMany,
+};
+function isRead(operation) {
+    return Object.hasOwn(reads, operation);
+}
+/** The running application and its model `name`. */
+function runningModel(name) {
+    const app = current();
+    const model = app?.resolved.models.get(name);
+    if (app === undefined || model === undefined) {
+        throw new Error(`${name} is not a model of a started application.`);
+    }
+    return { app, model };
+}
+async function contextOf(app, model, identity) {
+    const caller = await app.complete(identity);
+    const { models } = app.resolved;
+    const access = accessFor(models, caller, app.logger);
+    const scope = new QueryScope(models, caller, access);
+    return { app, models, model, caller, scope };
+}
+/** Runs one query of a model of the running application. */
+export async function query(name, operation, args, options) {
+    const { app, model } = runningModel(name);
+    const identity = callerOf(options, name);
+    counted();
+    return app.work.run(async () => {
+        const context = await contextOf(app, model, identity);
+        if (isRead(operation)) {
+            const read = reads[operation];
+            return reading(app, async (store) => read(context, store, args));
+        }
+        const write = writes[operation];
+        return writing(app, async (store, commits) => write(context, store, commits, args));
+    });
+}
+/** `findMany(args)` as `options` says, its root rows found by `root` (D-154). */
+export async function rootFind(name, args, options, root) {
+    const { app, model } = runningModel(name);
+    const identity = callerOf(options, name);
+    return app.work.run(async () => {
+        const context = await contextOf(app, model, identity);
+        return reading(app, async (store) => find(context, store, args, false, root));
+    });
+}

package/dist/errors.d.ts

@@ -0,0 +1,50 @@
+import type { JsonValue } from './fields.ts';
+/** The kernel's codes; a transport gives each its own status (D-72). */
+export type ErrorCode = 'ACCESS_DENIED' | 'NOT_FOUND' | 'VALIDATION_FAILED' | 'UNIQUE_VIOLATION' | 'RELATION_RESTRICTED' | 'UNAUTHENTICATED' | 'INVALID_CREDENTIALS' | 'TOO_MANY_ATTEMPTS' | 'INTERNAL';
+/** One failing value, as Standard Schema reports it (D-23). */
+export type Issue = {
+    readonly path: readonly (string | number)[];
+    readonly message: string;
+};
+type Details<C> = C extends 'VALIDATION_FAILED' ? {
+    readonly issues: readonly Issue[];
+} : C extends 'TOO_MANY_ATTEMPTS' ? {
+    readonly retryAfter: number;
+} : JsonValue;
+/** An error whose code, message and details reach the client. */
+export interface PublicError extends Error {
+    readonly code: ErrorCode | Uppercase<string>;
+    readonly details?: JsonValue;
+}
+type PublicErrorConstructor = {
+    new <const C extends string>(code: C extends Uppercase<C> ? C : Uppercase<C>, message: string, options?: {
+        readonly details?: Details<C>;
+        readonly cause?: unknown;
+    }): PublicError;
+    readonly prototype: PublicError;
+};
+/**
+ * The code is a kernel code, which keeps its meaning, or the application's
+ * own, in capitals. Only the constructor is generic: `instanceof` would type
+ * a generic class's members as `any`.
+ */
+export declare const PublicError: PublicErrorConstructor;
+/**
+ * A query argument the kernel does not know (D-20): a bug of the server
+ * code, never public.
+ */
+export declare class InvalidQuery extends Error {
+    readonly code = "INVALID_QUERY";
+    readonly path: string;
+    constructor(path: string, message: string);
+}
+/**
+ * A configuration refused while the application is defined or starts, whose
+ * message says what is wrong and how to fix it: a command prints it without
+ * its stack (D-119).
+ */
+export declare class Refused extends Error {
+    constructor(message: string, options?: ErrorOptions);
+}
+export {};
+//# sourceMappingURL=errors.d.ts.map

package/dist/errors.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAE5C,wEAAwE;AACxE,MAAM,MAAM,SAAS,GAClB,eAAe,GACf,WAAW,GACX,mBAAmB,GACnB,kBAAkB,GAClB,qBAAqB,GACrB,iBAAiB,GACjB,qBAAqB,GACrB,mBAAmB,GACnB,UAAU,CAAA;AAEb,+DAA+D;AAC/D,MAAM,MAAM,KAAK,GAAG;IACnB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE,CAAA;IAC3C,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;CACxB,CAAA;AAED,KAAK,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,mBAAmB,GAC5C;IAAE,QAAQ,CAAC,MAAM,EAAE,SAAS,KAAK,EAAE,CAAA;CAAE,GACrC,CAAC,SAAS,mBAAmB,GAC5B;IAA6B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAC1D,SAAS,CAAA;AAEb,iEAAiE;AACjE,MAAM,WAAW,WAAY,SAAQ,KAAK;IACzC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;IAC5C,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,CAAA;CAC5B;AAED,KAAK,sBAAsB,GAAG;IAC7B,KAAK,KAAK,CAAC,CAAC,SAAS,MAAM,EAC1B,IAAI,EAAE,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,EAC/C,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;QAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;KAAE,GACnE,WAAW,CAAA;IACd,QAAQ,CAAC,SAAS,EAAE,WAAW,CAAA;CAC/B,CAAA;AAqBD;;;;GAIG;AACH,eAAO,MAAM,WAAW,EAAE,sBAE4B,CAAA;AAEtD;;;GAGG;AACH,qBAAa,YAAa,SAAQ,KAAK;IACtC,QAAQ,CAAC,IAAI,mBAAkB;IAC/B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IAErB,YAAY,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAIxC;CACD;AAED;;;;GAIG;AACH,qBAAa,OAAQ,SAAQ,KAAK;IACjC,YAAY,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,YAAY,EAGlD;CACD"}

package/dist/errors.js

@@ -0,0 +1,43 @@
+class PublicErrorClass extends Error {
+    code;
+    details;
+    constructor(code, message, options) {
+        super(message, options && 'cause' in options ? { cause: options.cause } : {});
+        this.name = 'PublicError';
+        this.code = code;
+        if (options?.details !== undefined)
+            this.details = options.details;
+    }
+}
+/**
+ * The code is a kernel code, which keeps its meaning, or the application's
+ * own, in capitals. Only the constructor is generic: `instanceof` would type
+ * a generic class's members as `any`.
+ */
+export const PublicError = 
+// oxlint-disable-next-line typescript/no-unsafe-type-assertion -- the class is the constructor; only its generic signature is added.
+PublicErrorClass;
+/**
+ * A query argument the kernel does not know (D-20): a bug of the server
+ * code, never public.
+ */
+export class InvalidQuery extends Error {
+    code = 'INVALID_QUERY';
+    path;
+    constructor(path, message) {
+        super(message);
+        this.name = 'InvalidQuery';
+        this.path = path;
+    }
+}
+/**
+ * A configuration refused while the application is defined or starts, whose
+ * message says what is wrong and how to fix it: a command prints it without
+ * its stack (D-119).
+ */
+export class Refused extends Error {
+    constructor(message, options) {
+        super(message, options);
+        this.name = 'Refused';
+    }
+}

package/dist/exact.d.ts

@@ -0,0 +1,20 @@
+type Leaf = string | number | boolean | bigint | symbol | Date | null | undefined;
+type Shapes<S> = Exclude<Extract<S, object>, Date | readonly unknown[] | ((...args: never[]) => unknown)>;
+type Keys<S> = S extends unknown ? keyof S : never;
+type At<S, K> = S extends unknown ? (K extends keyof S ? S[K] : never) : never;
+type Items<S> = Extract<S, readonly unknown[]>[number];
+type Same<A, S> = (<T>() => T extends A ? 1 : 2) extends <T>() => (T extends S ? 1 : 2) ? true : false;
+type Fine<O> = [keyof O] extends [never] ? unknown : O;
+type Fields<A, S> = Fine<{
+    readonly [K in keyof A as K extends Keys<S> ? unknown extends Exact<A[K], At<S, K>> ? never : K : K]: K extends Keys<S> ? Exact<A[K], At<S, K>> : {
+        readonly error: `'${K & string}' is not a key here`;
+    };
+}>;
+export type Exact<A, S> = [A] extends [Leaf] ? unknown : {} extends A ? unknown : Same<A, S> extends true ? unknown : A extends readonly unknown[] ? Fits<A, {
+    readonly [I in keyof A]: Exact<A[I], Items<S>>;
+}> : Fields<A, Shapes<S>>;
+type Fits<A, E> = {
+    readonly [I in keyof A]: unknown;
+} extends E ? unknown : E;
+export {};
+//# sourceMappingURL=exact.d.ts.map

package/dist/exact.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"exact.d.ts","sourceRoot":"","sources":["../src/exact.ts"],"names":[],"mappings":"AAKA,KAAK,IAAI,GACR,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,GAAG,IAAI,GAAG,SAAS,CAAA;AACtE,KAAK,MAAM,CAAC,CAAC,IAAI,OAAO,CACvB,OAAO,CAAC,CAAC,EAAE,MAAM,CAAC,EAClB,IAAI,GAAG,SAAS,OAAO,EAAE,GAAG,CAAC,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,OAAO,CAAC,CAC3D,CAAA;AACD,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,MAAM,CAAC,GAAG,KAAK,CAAA;AAClD,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAA;AAC9E,KAAK,KAAK,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAA;AAEtD,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,IAEb,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC,QAAO,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA,GAChE,IAAI,GACJ,KAAK,CAAA;AACT,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,OAAO,GAAG,CAAC,CAAA;AAEtD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC;IACxB,QAAQ,EACP,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,GAC9B,OAAO,SAAS,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GACpC,KAAK,GACL,CAAC,GACF,CAAC,GACF,CAAC,SAAS,IAAI,CAAC,CAAC,CAAC,GACjB,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GACrB;QAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,MAAM,qBAAqB,CAAA;KAAE;CAC1D,CAAC,CAAA;AAKF,MAAM,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GACzC,OAAO,GACP,EAAE,SAAS,CAAC,GACX,OAAO,GACP,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GACtB,OAAO,GACP,CAAC,SAAS,SAAS,OAAO,EAAE,GAC3B,IAAI,CAAC,CAAC,EAAE;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC,GAC3D,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AAG1B,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,OAAO;CAAE,SAAS,CAAC,GAAG,OAAO,GAAG,CAAC,CAAA"}

package/dist/exact.js

@@ -0,0 +1 @@
+export {};

package/dist/feed.d.ts

@@ -0,0 +1,6 @@
+import type { Feed } from './adapter.ts';
+import type { PluginRecord } from './definition.ts';
+import { type Installed } from './plugin-app.ts';
+/** Calls each plugin's `changed` and `missed`, in declaration order. */
+export declare function feedOf(records: readonly PluginRecord[], plugins: readonly Installed[]): Feed | undefined;
+//# sourceMappingURL=feed.d.ts.map

package/dist/feed.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"feed.d.ts","sourceRoot":"","sources":["../src/feed.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AACxC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAA;AACnD,OAAO,EAAW,KAAK,SAAS,EAAE,MAAM,iBAAiB,CAAA;AAMzD,wEAAwE;AACxE,wBAAgB,MAAM,CACrB,OAAO,EAAE,SAAS,YAAY,EAAE,EAChC,OAAO,EAAE,SAAS,SAAS,EAAE,GAC3B,IAAI,GAAG,SAAS,CAuBlB"}

package/dist/feed.js

@@ -0,0 +1,33 @@
+// The change feed (D-154): what each commit changed, to the plugins that
+// take it. The adapter feeds nothing when none does.
+import { AsyncLocalStorage } from 'node:async_hooks';
+import { inOrder } from './plugin-app.js';
+// Outside every async context: an adapter may deliver from within the write,
+// whose transaction and recording a hook's queries must not join.
+const outside = AsyncLocalStorage.snapshot();
+/** Calls each plugin's `changed` and `missed`, in declaration order. */
+export function feedOf(records, plugins) {
+    const takers = inOrder(records, plugins).filter(({ code }) => code.changed !== undefined);
+    if (takers.length === 0)
+        return undefined;
+    // A plugin failing on a change must not stop the others nor the write.
+    const each = (hook, args) => {
+        for (const { code, context } of takers) {
+            const run = code[hook];
+            if (run === undefined)
+                continue;
+            try {
+                outside(() => {
+                    Reflect.apply(run, undefined, [...args, context]);
+                });
+            }
+            catch (error) {
+                context.logger.error({ err: error }, `The plugin's ${hook} failed.`);
+            }
+        }
+    };
+    return {
+        changed: (changes) => each('changed', [changes]),
+        missed: () => each('missed', []),
+    };
+}

package/dist/field-codec.d.ts

@@ -0,0 +1,11 @@
+import type { Nested, Row } from './adapter.ts';
+import type { ModelInfo } from './schema.ts';
+type Models = ReadonlyMap<string, ModelInfo>;
+/** A value the kernel reads as a row: an object with a string `id`. */
+export declare const isRow: (value: unknown) => value is Row;
+/** The rows `read` returned, decoded. */
+export declare function decoded(models: Models, read: (Nested & {
+    readonly model: string;
+}) | undefined, rows: Row[]): Row[];
+export {};
+//# sourceMappingURL=field-codec.d.ts.map

package/dist/field-codec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"field-codec.d.ts","sourceRoot":"","sources":["../src/field-codec.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,cAAc,CAAA;AAG/C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAE5C,KAAK,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;AAmD5C,uEAAuE;AACvE,eAAO,MAAM,KAAK,UAAW,OAAO,KAAG,KAAK,IAAI,GACG,CAAA;AAEnD,yCAAyC;AACzC,wBAAgB,OAAO,CACtB,MAAM,EAAE,MAAM,EACd,IAAI,EAAE,CAAC,MAAM,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC,GAAG,SAAS,EACvD,IAAI,EAAE,GAAG,EAAE,GACT,GAAG,EAAE,CAIP"}

package/dist/field-codec.js

@@ -0,0 +1,48 @@
+import { isObject } from './query-where.js';
+const known = new WeakMap();
+function codecsOf(model) {
+    const found = known.get(model);
+    if (found !== undefined)
+        return found;
+    const codecs = [...model.fields.values()].flatMap((field) => field.kind === 'scalar' && field.codec !== undefined
+        ? [[field.name, field.codec]]
+        : []);
+    known.set(model, codecs);
+    return codecs;
+}
+/** The row with its plugin fields decoded, its included rows' too. */
+function decodedRow(models, model, read, row) {
+    const changed = {};
+    // `null` is stored as is, never decoded.
+    for (const [name, codec] of codecsOf(model)) {
+        const value = row[name];
+        if (value !== undefined && value !== null) {
+            changed[name] = codec.decode(value);
+        }
+    }
+    for (const [name, nested] of Object.entries(read.include ?? {})) {
+        const field = model.fields.get(name);
+        const target = field === undefined || field.kind === 'scalar'
+            ? undefined
+            : models.get(field.target);
+        const value = row[name];
+        if (target === undefined)
+            continue;
+        if (Array.isArray(value)) {
+            changed[name] = value.map((item) => isRow(item) ? decodedRow(models, target, nested, item) : item);
+        }
+        else if (isRow(value)) {
+            changed[name] = decodedRow(models, target, nested, value);
+        }
+    }
+    return Object.keys(changed).length === 0 ? row : { ...row, ...changed };
+}
+/** A value the kernel reads as a row: an object with a string `id`. */
+export const isRow = (value) => isObject(value) && typeof value['id'] === 'string';
+/** The rows `read` returned, decoded. */
+export function decoded(models, read, rows) {
+    const model = read === undefined ? undefined : models.get(read.model);
+    if (read === undefined || model === undefined)
+        return rows;
+    return rows.map((row) => decodedRow(models, model, read, row));
+}

package/dist/field-rules.d.ts

@@ -0,0 +1,57 @@
+import type { RecordFor } from './record.ts';
+import type { Caller } from './rules.ts';
+import type { declaredRecord } from './symbols.ts';
+type ReadFacts<R extends object> = {
+    readonly caller: Caller;
+    readonly operation: 'read';
+    readonly record: RecordFor<R>;
+};
+type CreateFacts<V> = {
+    readonly caller: Caller;
+    readonly operation: 'create';
+    readonly value: V;
+};
+type UpdateFacts<R extends object, V> = {
+    readonly caller: Caller;
+    readonly operation: 'update';
+    readonly record: RecordFor<R>;
+    readonly value: V;
+};
+type Rule<F> = (facts: F) => boolean;
+type FieldReadRule<R extends object> = Rule<ReadFacts<R>>;
+type FieldCreateRule<V> = Rule<CreateFacts<V>>;
+type FieldUpdateRule<R extends object, V> = Rule<UpdateFacts<R, V>>;
+type FieldWriteRule<R extends object, V> = Rule<CreateFacts<V> | UpdateFacts<R, V>>;
+type FieldRule<R extends object, V> = Rule<ReadFacts<R> | CreateFacts<V> | UpdateFacts<R, V>>;
+/** A field keeps its declared record type, which `defineModel` checks. */
+export type Declared<R> = [R] extends [never] ? unknown : {
+    readonly [declaredRecord]: {
+        readonly [P in keyof R]: (value: R[P]) => R[P];
+    };
+};
+/** One rule, or one rule per operation (D-44). */
+export type FieldAccess<R extends object, V> = FieldRule<R, V> | {
+    readonly read?: FieldReadRule<R>;
+    readonly create?: FieldCreateRule<V>;
+    readonly update?: FieldUpdateRule<R, V>;
+    readonly write?: FieldWriteRule<R, V>;
+};
+/**
+ * The rules of the model's plugins for one field, each under the plugin's
+ * name and typed by the field's value (D-12, D-57).
+ */
+type PluginFieldRules<T, V> = {
+    readonly [X in T as X extends {
+        readonly name: infer N extends string;
+        readonly fieldWith: object;
+    } ? N : never]?: X extends {
+        readonly fieldWith: object;
+    } ? (X & {
+        readonly value: V;
+    })['fieldWith'] : never;
+};
+export type FieldWith<R extends object, V, T = never> = {
+    readonly access?: FieldAccess<R, V>;
+} & PluginFieldRules<T, V>;
+export {};
+//# sourceMappingURL=field-rules.d.ts.map

package/dist/field-rules.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"field-rules.d.ts","sourceRoot":"","sources":["../src/field-rules.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAC5C,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,YAAY,CAAA;AACxC,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAKlD,KAAK,SAAS,CAAC,CAAC,SAAS,MAAM,IAAI;IAClC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;IAC1B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;CAC7B,CAAA;AACD,KAAK,WAAW,CAAC,CAAC,IAAI;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAA;IAC5B,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CACjB,CAAA;AACD,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,EAAE,QAAQ,CAAA;IAC5B,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,CAAA;IAC7B,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;CACjB,CAAA;AACD,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAA;AAEpC,KAAK,aAAa,CAAC,CAAC,SAAS,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;AACzD,KAAK,eAAe,CAAC,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;AAC9C,KAAK,eAAe,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;AACnE,KAAK,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,IAAI,CAC9C,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAClC,CAAA;AACD,KAAK,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IAAI,IAAI,CACzC,SAAS,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CACjD,CAAA;AAED,0EAA0E;AAG1E,MAAM,MAAM,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC1C,OAAO,GACP;IACA,QAAQ,CAAC,CAAC,cAAc,CAAC,EAAE;QAC1B,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;KAC9C,CAAA;CACD,CAAA;AAEH,kDAAkD;AAClD,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,IACxC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACf;IACA,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,CAAA;IAChC,QAAQ,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC,CAAC,CAAC,CAAA;IACpC,QAAQ,CAAC,MAAM,CAAC,EAAE,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACvC,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CACpC,CAAA;AAEJ;;;GAGG;AACH,KAAK,gBAAgB,CAAC,CAAC,EAAE,CAAC,IAAI;IAC7B,QAAQ,EACP,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS;QACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;QACrC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;KAC1B,GACE,CAAC,GACD,KAAK,CACR,CAAC,EAAE,CAAC,SAAS;QAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;KAAE,GACzC,CAAC,CAAC,GAAG;QAAE,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;KAAE,CAAC,CAAC,WAAW,CAAC,GACxC,KAAK;CACR,CAAA;AAED,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,KAAK,IAAI;IACvD,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CACnC,GAAG,gBAAgB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA"}

package/dist/field-rules.js

@@ -0,0 +1 @@
+export {};

package/dist/field-type.d.ts

@@ -0,0 +1,51 @@
+import type { DefaultFunction, Described, Field, FieldBuilders, JsonValue, SchemaTypes, StandardSchema } from './fields.ts';
+import type { fieldType } from './symbols.ts';
+/** A kernel scalar field, as `stored` returns it. */
+type Stored = {
+    readonly [fieldType]: {
+        readonly kind: 'scalar';
+        readonly value: unknown;
+        readonly options: unknown;
+    };
+};
+type StoredValue<S> = S extends {
+    readonly [fieldType]: {
+        readonly value: infer V;
+    };
+} ? V : never;
+type StoredOptions<S> = S extends {
+    readonly [fieldType]: {
+        readonly options: infer O;
+    };
+} ? O : never;
+/** What `defineFieldType` takes (D-122), each function given the options. */
+export type FieldTypeDefinition<P extends string, S, V, X, O extends object> = {
+    /** The plugin that provides the field type, which `plugins` lists (D-32). */
+    readonly plugin: P;
+    /** The names of the field type's own options, beside `default` (D-152). */
+    readonly options?: readonly NoInfer<keyof O & string>[];
+    /** The kernel field that stores, filters and indexes the value. */
+    readonly stored: (f: FieldBuilders<never>, options: O) => S;
+    readonly decode: (stored: StoredValue<S>, options: O) => V;
+    readonly encode: (value: V, options: O) => StoredValue<S>;
+    /** Takes the value or its JSON, and gives the value. */
+    readonly schema: X | ((options: O) => X);
+    /** What a client reads. */
+    readonly toJSON: (value: V, options: O) => JsonValue;
+    /** What `toJSON` gives, which types it for clients (D-152). */
+    readonly shape?: StandardSchema | ((options: O) => StandardSchema);
+};
+/** A field type's options: the stored field says whether it may be `null`. */
+export type FieldTypeOptions<I> = Described & {
+    readonly default?: I | DefaultFunction<I>;
+};
+/** The builder `defineFieldType` returns (D-122). */
+export type FieldType<P extends string, S, V, I, O extends object = Described> = <const G extends FieldTypeOptions<I> & Partial<O> = {}>(options?: G) => Field<V, StoredOptions<S> & G, P, never, I, true, S>;
+/**
+ * A plugin's field type (D-122): its builder takes `default`, `description`
+ * (D-150) and the type's own options (D-152), and its value is stored through
+ * `stored`, encoded after the hooks and decoded on each read.
+ */
+export declare function defineFieldType<const P extends string, S extends Stored, V, X extends StandardSchema<unknown, V>, O extends object = Described>(definition: FieldTypeDefinition<P, S, V, X, O>): FieldType<P, S, V, SchemaTypes<X>['input'], O>;
+export {};
+//# sourceMappingURL=field-type.d.ts.map

package/dist/field-type.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"field-type.d.ts","sourceRoot":"","sources":["../src/field-type.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EACX,eAAe,EACf,SAAS,EACT,KAAK,EACL,aAAa,EACb,SAAS,EACT,WAAW,EACX,cAAc,EACd,MAAM,aAAa,CAAA;AACpB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAG7C,qDAAqD;AACrD,KAAK,MAAM,GAAG;IACb,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE;QACrB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;QACvB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;QACvB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KACzB,CAAA;CACD,CAAA;AACD,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS;IAC/B,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;CACjD,GACE,CAAC,GACD,KAAK,CAAA;AACR,KAAK,aAAa,CAAC,CAAC,IAAI,CAAC,SAAS;IACjC,QAAQ,CAAC,CAAC,SAAS,CAAC,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;CACnD,GACE,CAAC,GACD,KAAK,CAAA;AAER,6EAA6E;AAC7E,MAAM,MAAM,mBAAmB,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI;IAC9E,6EAA6E;IAC7E,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,OAAO,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,EAAE,CAAA;IACvD,mEAAmE;IACnE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,CAAA;IAC3D,QAAQ,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,CAAC,CAAA;IAC1D,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,CAAA;IACzD,wDAAwD;IACxD,QAAQ,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,CAAA;IACxC,2BAA2B;IAC3B,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,KAAK,SAAS,CAAA;IACpD,+DAA+D;IAC/D,QAAQ,CAAC,KAAK,CAAC,EAAE,cAAc,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC,KAAK,cAAc,CAAC,CAAA;CAClE,CAAA;AAED,8EAA8E;AAC9E,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAAI,SAAS,GAAG;IAC7C,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;CACzC,CAAA;AAED,qDAAqD;AACrD,MAAM,MAAM,SAAS,CACpB,CAAC,SAAS,MAAM,EAChB,CAAC,EACD,CAAC,EACD,CAAC,EAED,CAAC,SAAS,MAAM,GAAG,SAAS,IACzB,CAAC,KAAK,CAAC,CAAC,SAAS,gBAAgB,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,EACzD,OAAO,CAAC,EAAE,CAAC,KACP,KAAK,CAAC,CAAC,EAAE,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAA;AAqGzD;;;;GAIG;AACH,wBAAgB,eAAe,CAC9B,KAAK,CAAC,CAAC,SAAS,MAAM,EACtB,CAAC,SAAS,MAAM,EAChB,CAAC,EACD,CAAC,SAAS,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,EACpC,CAAC,SAAS,MAAM,GAAG,SAAS,EAE5B,UAAU,EAAE,mBAAmB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAC5C,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAA"}