@agentshouse/mdruntime 0.1.0-c389df724fd2f → 0.1.0-c38dcfe165d81

package/dist/stored.d.ts

@@ -0,0 +1,129 @@
+import type { HeadChange } from './adapter.js';
+import { type Composed, type Composition } from './collection.js';
+import type { HeldBinary } from './overlay.js';
+import type { Connection } from './tables.js';
+export declare const REPLICA_TABLES: readonly string[];
+export type View = 'confirmed' | 'visible' | 'refreshed';
+export type StoredEntry = {
+    readonly path: string;
+    readonly content: string | null;
+    readonly binary: HeldBinary | null;
+    readonly revision: string | null;
+    readonly fileId: string | null;
+    readonly change: HeadChange | null;
+    readonly written: string | null;
+};
+export type OverlayEntry = StoredEntry & {
+    readonly present: boolean;
+};
+export type HeldEntry = StoredEntry & {
+    readonly type: string | null;
+};
+export type TypedEntry = {
+    readonly path: string;
+    readonly type: string | null;
+    readonly binary: boolean;
+};
+export type Referrer = {
+    readonly path: string;
+    readonly target: string;
+    readonly kind: string;
+};
+export type HeldKey = {
+    readonly key: number;
+    readonly locator: string;
+    readonly transfer: string;
+    readonly rederiving: number | null;
+};
+export type ReplicaOpened = {
+    readonly rooms: readonly {
+        readonly locator: string;
+        readonly key: number;
+        readonly record: string;
+    }[];
+    readonly keys: readonly HeldKey[];
+    readonly facts: Readonly<Record<string, string>>;
+    readonly presentation: readonly {
+        readonly app: string;
+        readonly value: string;
+    }[];
+    readonly overlaid: readonly {
+        readonly key: number;
+        readonly path: string;
+    }[];
+    readonly erasing: readonly {
+        readonly key: number;
+        readonly locator: string;
+    }[];
+    readonly orphans: readonly number[];
+};
+export type RoomCommit = {
+    readonly locator: string;
+    readonly key: number;
+    readonly record?: string;
+    readonly roots?: readonly string[];
+    readonly published?: {
+        readonly from: number | null;
+    };
+    readonly refreshed?: true;
+    readonly composed: Composed;
+    readonly confirmed?: {
+        readonly set: readonly StoredEntry[];
+        readonly removed: readonly string[];
+    };
+    readonly overlay?: {
+        readonly set: readonly OverlayEntry[];
+        readonly cleared: readonly string[];
+    };
+};
+export type Committed = {
+    readonly counts: Readonly<Record<string, number>>;
+    readonly changed: Readonly<Record<string, readonly string[] | null>>;
+    readonly indexed: Readonly<Record<string, boolean>>;
+};
+export type CountedRoom = {
+    readonly key: number;
+    readonly roots: readonly string[];
+};
+export declare function entered(connection: Connection, locator: string, composition: Composition, rows: readonly StoredEntry[]): number;
+export declare function stage(connection: Connection, request: {
+    readonly locator: string;
+    readonly transfer: string;
+    readonly key: number | null;
+    readonly fingerprint: string;
+    readonly entries: readonly StoredEntry[];
+    readonly folders: readonly string[];
+}): number;
+export declare function refreshing(connection: Connection, request: {
+    readonly key: number;
+    readonly composed: Composed;
+    readonly entries: readonly StoredEntry[];
+    readonly removals: readonly string[];
+    readonly folders: readonly string[];
+    readonly folderRemovals: readonly string[];
+}): null;
+export declare function unrefresh(connection: Connection, key: number): null;
+export declare function counts(connection: Connection, rooms: readonly CountedRoom[]): number[];
+export declare function commit(connection: Connection, rooms: readonly RoomCommit[]): Committed;
+export declare function fenceRooms(connection: Connection, locators: readonly string[]): null;
+export declare function abandon(connection: Connection, locator: string): null;
+export declare function release(connection: Connection, key: number): null;
+export declare function erase(connection: Connection, locator: string | null, limit: number): {
+    readonly remaining: boolean;
+};
+export declare function rederive(connection: Connection, key: number, composed: Composed, bytes: number, ms: number, floor: number): {
+    readonly done: boolean;
+    readonly text: number;
+};
+export declare function entries(connection: Connection, key: number, view: View, list: readonly string[]): HeldEntry[];
+export declare function typed(connection: Connection, key: number, view: View, list: readonly string[]): TypedEntry[];
+export declare function referrers(connection: Connection, key: number, view: View, targets: readonly string[], kinds: readonly string[]): Referrer[];
+export declare function files(connection: Connection, key: number, view: View, after: string | null, limit: number): {
+    readonly path: string;
+    readonly revision: string;
+}[];
+export declare function folders(connection: Connection, key: number, view: View, list: readonly string[]): string[];
+export declare function typedWithin(connection: Connection, key: number, view: View, roots: readonly string[], within: boolean): boolean;
+export declare function opened(connection: Connection): ReplicaOpened;
+export declare function ended(connection: Connection): void;
+//# sourceMappingURL=stored.d.ts.map

package/dist/stored.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stored.d.ts","sourceRoot":"","sources":["../src/stored.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAc,KAAK,QAAQ,EAAE,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9E,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE/C,OAAO,KAAK,EAAE,UAAU,EAAc,MAAM,aAAa,CAAC;AAE1D,eAAO,MAAM,cAAc,EAAE,SAAS,MAAM,EAgB3C,CAAC;AAoBF,MAAM,MAAM,IAAI,GAAG,WAAW,GAAG,SAAS,GAAG,WAAW,CAAC;AAEzD,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,CAAC;AAEvE,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC;AAEvE,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjG,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,KAAK,EAAE,SAAS;QACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;QACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;KACzB,EAAE,CAAC;IACJ,QAAQ,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACjD,QAAQ,CAAC,YAAY,EAAE,SAAS;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACnF,QAAQ,CAAC,QAAQ,EAAE,SAAS;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAC9E,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IAChF,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,QAAQ,CAAC,SAAS,CAAC,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IACtD,QAAQ,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,SAAS,CAAC,EAAE;QACnB,QAAQ,CAAC,GAAG,EAAE,SAAS,WAAW,EAAE,CAAC;QACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;KACrC,CAAC;IACF,QAAQ,CAAC,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,SAAS,YAAY,EAAE,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC;CACnG,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;IACrE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CACrD,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAwJtF,wBAAgB,OAAO,CACrB,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,WAAW,EACxB,IAAI,EAAE,SAAS,WAAW,EAAE,GAC3B,MAAM,CAIR;AAED,wBAAgB,KAAK,CACnB,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE;IACP,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC,GACA,MAAM,CAiBR;AAED,wBAAgB,UAAU,CACxB,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE;IACP,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5C,GACA,IAAI,CAyCN;AAaD,wBAAgB,SAAS,CAAC,UAAU,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CAGnE;AAgDD,wBAAgB,MAAM,CAAC,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,WAAW,EAAE,GAAG,MAAM,EAAE,CAEtF;AAmDD,wBAAgB,MAAM,CAAC,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,SAAS,CAatF;AAQD,wBAAgB,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,QAAQ,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAWpF;AAED,wBAAgB,OAAO,CAAC,UAAU,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAUrE;AAED,wBAAgB,OAAO,CAAC,UAAU,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,GAAG,IAAI,CAQjE;AAED,wBAAgB,KAAK,CACnB,UAAU,EAAE,UAAU,EACtB,OAAO,EAAE,MAAM,GAAG,IAAI,EACtB,KAAK,EAAE,MAAM,GACZ;IAAE,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAwBjC;AAMD,wBAAgB,QAAQ,CACtB,UAAU,EAAE,UAAU,EACtB,GAAG,EAAE,MAAM,EACX,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,MAAM,EACb,EAAE,EAAE,MAAM,EACV,KAAK,EAAE,MAAM,GACZ;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAmCnD;AAwDD,wBAAgB,OAAO,CACrB,UAAU,EAAE,UAAU,EACtB,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,SAAS,MAAM,EAAE,GACtB,SAAS,EAAE,CAQb;AAED,wBAAgB,KAAK,CACnB,UAAU,EAAE,UAAU,EACtB,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,SAAS,MAAM,EAAE,GACtB,UAAU,EAAE,CAYd;AAED,wBAAgB,SAAS,CACvB,UAAU,EAAE,UAAU,EACtB,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,KAAK,EAAE,SAAS,MAAM,EAAE,GACvB,QAAQ,EAAE,CAYZ;AAED,wBAAgB,KAAK,CACnB,UAAU,EAAE,UAAU,EACtB,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,MAAM,GAAG,IAAI,EACpB,KAAK,EAAE,MAAM,GACZ;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,EAAE,CAUxD;AAED,wBAAgB,OAAO,CACrB,UAAU,EAAE,UAAU,EACtB,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,IAAI,EACV,IAAI,EAAE,SAAS,MAAM,EAAE,GACtB,MAAM,EAAE,CAQV;AAED,wBAAgB,WAAW,CACzB,UAAU,EAAE,UAAU,EACtB,GAAG,EAAE,MAAM,EACX,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,SAAS,MAAM,EAAE,EACxB,MAAM,EAAE,OAAO,GACd,OAAO,CAOT;AAED,wBAAgB,MAAM,CAAC,UAAU,EAAE,UAAU,GAAG,aAAa,CAuC5D;AAED,wBAAgB,KAAK,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAKlD"}

package/dist/stored.js

@@ -0,0 +1,495 @@
+import { sql } from '@agentshouse/mdmodel';
+import { composedOf } from './collection.js';
+import { described, derived } from './rows.js';
+export const REPLICA_TABLES = [
+    'CREATE TABLE replica_keys (key INTEGER PRIMARY KEY AUTOINCREMENT, locator TEXT NOT NULL, transfer TEXT NOT NULL, fingerprint TEXT NOT NULL, rederiving INTEGER)',
+    'CREATE TABLE replica_rooms (locator TEXT PRIMARY KEY, key INTEGER NOT NULL, record TEXT NOT NULL) WITHOUT ROWID',
+    'CREATE TABLE replica_entries (id INTEGER PRIMARY KEY, key INTEGER NOT NULL, layer INTEGER NOT NULL, path TEXT NOT NULL, visible INTEGER NOT NULL, present INTEGER NOT NULL, queried INTEGER NOT NULL, binary TEXT, revision TEXT, file_id TEXT, change TEXT, written TEXT, type TEXT, declared TEXT, folder TEXT NOT NULL, fields TEXT, content TEXT)',
+    'CREATE UNIQUE INDEX replica_entries_path ON replica_entries (key, layer, path)',
+    'CREATE INDEX replica_entries_visible ON replica_entries (key, visible, present, path, binary)',
+    'CREATE INDEX replica_entries_folder ON replica_entries (key, folder, path)',
+    'CREATE INDEX replica_entries_type ON replica_entries (key, type, visible, present, queried, folder)',
+    'CREATE INDEX replica_entries_key ON replica_entries (key)',
+    sql.VALUE_TABLE,
+    'CREATE TABLE replica_links (doc INTEGER NOT NULL, key INTEGER NOT NULL, kind TEXT NOT NULL, keys TEXT NOT NULL, places TEXT NOT NULL, target TEXT NOT NULL, field TEXT NOT NULL, PRIMARY KEY (doc, kind, keys, places, target)) WITHOUT ROWID',
+    'CREATE INDEX replica_links_target ON replica_links (key, target, kind, keys)',
+    'CREATE TABLE replica_folders (key INTEGER NOT NULL, layer INTEGER NOT NULL, path TEXT NOT NULL, present INTEGER NOT NULL, PRIMARY KEY (key, layer, path)) WITHOUT ROWID',
+    'CREATE TABLE replica_erasing (key INTEGER PRIMARY KEY, locator TEXT NOT NULL)',
+    'CREATE TABLE replica_facts (name TEXT PRIMARY KEY, value TEXT NOT NULL) WITHOUT ROWID',
+    'CREATE TABLE replica_presentation (app TEXT PRIMARY KEY, value TEXT NOT NULL) WITHOUT ROWID',
+];
+const CONFIRMED = 0;
+const OVERLAY = 1;
+const REFRESHED = 2;
+const DERIVED_ROWS = 64;
+const ENTRY_WEIGHT = 256;
+const ABSENT = {
+    type: null,
+    declared: null,
+    queried: false,
+    folder: '',
+    fields: null,
+    values: [],
+    links: [],
+};
+function text(value) {
+    return typeof value === 'string' ? value : null;
+}
+function number(value) {
+    return typeof value === 'bigint' ? Number(value) : value;
+}
+function json(value) {
+    return typeof value === 'string' ? JSON.parse(value) : null;
+}
+function flag(value) {
+    return value ? 1 : 0;
+}
+function paths(list) {
+    return JSON.stringify(list);
+}
+function dropDerived(connection, doc) {
+    connection.run('DELETE FROM replica_values WHERE doc = ?', [doc]);
+    connection.run('DELETE FROM replica_links WHERE doc = ?', [doc]);
+}
+function writeDerived(connection, doc, key, made) {
+    if (made.values.length > 0) {
+        const inserted = sql.insertedValues(doc, made.values);
+        connection.run(inserted.sql, inserted.bind);
+    }
+    if (made.links.length > 0) {
+        connection.run('INSERT OR IGNORE INTO replica_links (doc, key, kind, keys, places, target, field) SELECT ?, ?, value ->> 0, value ->> 1, value ->> 2, value ->> 3, value ->> 4 FROM json_each(?)', [
+            doc,
+            key,
+            JSON.stringify(made.links.map((link) => [link.kind, link.keys, link.places, link.target, link.field])),
+        ]);
+    }
+}
+function entryId(connection, key, layer, path) {
+    const [row] = connection.rows('SELECT id FROM replica_entries WHERE key = ? AND layer = ? AND path = ?', [key, layer, path]);
+    return row === undefined ? null : number(row.id);
+}
+function removeEntry(connection, key, layer, path) {
+    const id = entryId(connection, key, layer, path);
+    if (id === null)
+        return;
+    dropDerived(connection, id);
+    connection.run('DELETE FROM replica_entries WHERE id = ?', [id]);
+}
+function insertEntry(connection, key, layer, entry, present, made) {
+    connection.run('INSERT INTO replica_entries (key, layer, path, visible, present, queried, content, binary, revision, file_id, change, written, type, declared, folder, fields) VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)', [
+        key,
+        layer,
+        entry.path,
+        flag(present && layer !== REFRESHED),
+        flag(present),
+        flag(made.queried),
+        entry.binary === null ? entry.content : null,
+        entry.binary === null ? null : JSON.stringify(entry.binary),
+        entry.revision,
+        entry.fileId,
+        entry.change === null ? null : JSON.stringify(entry.change),
+        entry.written,
+        made.type,
+        made.declared,
+        made.folder,
+        made.fields,
+    ]);
+}
+function textOf(entry) {
+    return entry.binary === null ? entry.content : null;
+}
+function putEntry(connection, key, layer, entry, present, composition) {
+    removeEntry(connection, key, layer, entry.path);
+    const content = textOf(entry);
+    const made = present ? derived(entry.path, content, composition) : ABSENT;
+    insertEntry(connection, key, layer, entry, present, made);
+    if (!present)
+        return;
+    const id = entryId(connection, key, layer, entry.path);
+    writeDerived(connection, id, key, made);
+}
+function placeEntry(connection, key, entry) {
+    removeEntry(connection, key, CONFIRMED, entry.path);
+    insertEntry(connection, key, CONFIRMED, entry, true, described(entry.path, textOf(entry)));
+}
+function revealed(connection, key, touched) {
+    if (touched.length === 0)
+        return;
+    connection.run(`UPDATE replica_entries SET visible = CASE WHEN layer = ${OVERLAY} THEN present ELSE NOT EXISTS (SELECT 1 FROM replica_entries o WHERE o.key = replica_entries.key AND o.layer = ${OVERLAY} AND o.path = replica_entries.path) END WHERE key = ? AND layer IN (${CONFIRMED}, ${OVERLAY}) AND path IN (SELECT value FROM json_each(?))`, [key, paths(touched)]);
+}
+function newKey(connection, locator, transfer, fingerprint, built) {
+    const owed = built ? null : 0;
+    connection.run('INSERT INTO replica_keys (locator, transfer, fingerprint, rederiving) VALUES (?, ?, ?, ?)', [locator, transfer, fingerprint, owed]);
+    const [row] = connection.rows('SELECT last_insert_rowid() AS key');
+    return number(row.key);
+}
+function recomposed(connection, key, fingerprint) {
+    const [row] = connection.rows('SELECT fingerprint FROM replica_keys WHERE key = ?', [key]);
+    if (row === undefined || text(row.fingerprint) === fingerprint)
+        return;
+    const held = connection.rows('SELECT 1 FROM replica_entries WHERE key = ? LIMIT 1', [key]);
+    connection.run(`UPDATE replica_keys SET fingerprint = ?${held.length === 0 ? '' : ', rederiving = 0'} WHERE key = ?`, [fingerprint, key]);
+}
+export function entered(connection, locator, composition, rows) {
+    const key = newKey(connection, locator, '', composedOf(composition).fingerprint, true);
+    for (const entry of rows)
+        putEntry(connection, key, CONFIRMED, entry, true, composition);
+    return key;
+}
+export function stage(connection, request) {
+    const key = request.key ??
+        newKey(connection, request.locator, request.transfer, request.fingerprint, false);
+    recomposed(connection, key, request.fingerprint);
+    connection.run('UPDATE replica_keys SET rederiving = coalesce(rederiving, last) FROM (SELECT coalesce(max(id), 0) AS last FROM replica_entries) WHERE key = ?', [key]);
+    for (const entry of request.entries)
+        placeEntry(connection, key, entry);
+    for (const path of request.folders) {
+        connection.run('INSERT OR REPLACE INTO replica_folders (key, layer, path, present) VALUES (?, ?, ?, 1)', [key, CONFIRMED, path]);
+    }
+    return key;
+}
+export function refreshing(connection, request) {
+    const held = connection.rows('SELECT 1 FROM replica_keys k WHERE k.key = ? AND NOT EXISTS (SELECT 1 FROM replica_erasing e WHERE e.key = k.key)', [request.key]);
+    if (held.length === 0)
+        return null;
+    recomposed(connection, request.key, request.composed.fingerprint);
+    const composition = request.composed.composition;
+    for (const entry of request.entries) {
+        putEntry(connection, request.key, REFRESHED, entry, true, composition);
+    }
+    for (const path of request.removals) {
+        putEntry(connection, request.key, REFRESHED, {
+            path,
+            content: null,
+            binary: null,
+            revision: null,
+            fileId: null,
+            change: null,
+            written: null,
+        }, false, composition);
+    }
+    for (const [list, present] of [
+        [request.folders, 1],
+        [request.folderRemovals, 0],
+    ]) {
+        for (const path of list) {
+            connection.run('INSERT OR REPLACE INTO replica_folders (key, layer, path, present) VALUES (?, ?, ?, ?)', [request.key, REFRESHED, path, present]);
+        }
+    }
+    return null;
+}
+function dropLayer(connection, key, layer) {
+    for (const table of ['replica_values', 'replica_links']) {
+        connection.run(`DELETE FROM ${table} WHERE doc IN (SELECT id FROM replica_entries WHERE key = ? AND layer = ?)`, [key, layer]);
+    }
+    connection.run('DELETE FROM replica_entries WHERE key = ? AND layer = ?', [key, layer]);
+    connection.run('DELETE FROM replica_folders WHERE key = ? AND layer = ?', [key, layer]);
+}
+export function unrefresh(connection, key) {
+    dropLayer(connection, key, REFRESHED);
+    return null;
+}
+function refreshedPaths(connection, key) {
+    return connection
+        .rows('SELECT path FROM replica_entries WHERE key = ? AND layer = ?', [key, REFRESHED])
+        .map((row) => text(row.path));
+}
+function applyRefresh(connection, key) {
+    const touched = refreshedPaths(connection, key);
+    const replaced = `SELECT c.id FROM replica_entries c JOIN replica_entries r ON r.key = c.key AND r.layer = ${REFRESHED} AND r.path = c.path WHERE c.key = ? AND c.layer = ${CONFIRMED}`;
+    for (const table of ['replica_values', 'replica_links']) {
+        connection.run(`DELETE FROM ${table} WHERE doc IN (${replaced})`, [key]);
+    }
+    connection.run(`DELETE FROM replica_entries WHERE id IN (${replaced})`, [key]);
+    connection.run('DELETE FROM replica_entries WHERE key = ? AND layer = ? AND present = 0', [
+        key,
+        REFRESHED,
+    ]);
+    connection.run('UPDATE replica_entries SET layer = ? WHERE key = ? AND layer = ?', [
+        CONFIRMED,
+        key,
+        REFRESHED,
+    ]);
+    connection.run(`DELETE FROM replica_folders WHERE key = ? AND layer = ${CONFIRMED} AND path IN (SELECT path FROM replica_folders WHERE key = ? AND layer = ${REFRESHED})`, [key, key]);
+    connection.run(`UPDATE replica_folders SET layer = ${CONFIRMED} WHERE key = ? AND layer = ${REFRESHED} AND present = 1`, [key]);
+    connection.run('DELETE FROM replica_folders WHERE key = ? AND layer = ?', [key, REFRESHED]);
+    return touched;
+}
+function beneathRoots(path) {
+    return `EXISTS (SELECT 1 FROM json_each(?) r WHERE ${path} = r.value OR (${path} >= r.value || '/' AND ${path} < r.value || '0'))`;
+}
+function counted(connection, key, roots) {
+    const [row] = connection.rows(`SELECT count(*) AS held FROM replica_entries WHERE key = ? AND visible = 1 AND present = 1 AND (binary IS NOT NULL OR substr(path, -3) = '.md') AND NOT ${beneathRoots('replica_entries.path')}`, [key, JSON.stringify(roots)]);
+    return number(row.held);
+}
+export function counts(connection, rooms) {
+    return rooms.map(({ key, roots }) => counted(connection, key, roots));
+}
+function erasing(connection, key, locator) {
+    connection.run('INSERT OR REPLACE INTO replica_erasing (key, locator) VALUES (?, ?)', [
+        key,
+        locator,
+    ]);
+}
+function commitRoom(connection, room) {
+    const touched = new Set();
+    recomposed(connection, room.key, room.composed.fingerprint);
+    const composition = room.composed.composition;
+    if (room.published !== undefined &&
+        room.published.from !== null &&
+        room.published.from !== room.key) {
+        erasing(connection, room.published.from, room.locator);
+    }
+    if (room.refreshed === true) {
+        for (const path of applyRefresh(connection, room.key))
+            touched.add(path);
+    }
+    for (const entry of room.confirmed?.set ?? []) {
+        putEntry(connection, room.key, CONFIRMED, entry, true, composition);
+        touched.add(entry.path);
+    }
+    for (const path of room.confirmed?.removed ?? []) {
+        removeEntry(connection, room.key, CONFIRMED, path);
+        touched.add(path);
+    }
+    for (const entry of room.overlay?.set ?? []) {
+        putEntry(connection, room.key, OVERLAY, entry, entry.present, composition);
+        touched.add(entry.path);
+    }
+    for (const path of room.overlay?.cleared ?? []) {
+        removeEntry(connection, room.key, OVERLAY, path);
+        touched.add(path);
+    }
+    const changed = [...touched];
+    revealed(connection, room.key, changed);
+    if (room.record !== undefined) {
+        connection.run('INSERT OR REPLACE INTO replica_rooms (locator, key, record) VALUES (?, ?, ?)', [
+            room.locator,
+            room.key,
+            room.record,
+        ]);
+    }
+    return room.published === undefined ? changed : null;
+}
+export function commit(connection, rooms) {
+    const counted = {};
+    const changed = {};
+    const indexed = {};
+    for (const room of rooms) {
+        changed[room.locator] = commitRoom(connection, room);
+        counted[room.locator] = counts(connection, [
+            { key: room.key, roots: room.roots ?? rootsOf(connection, room.locator) },
+        ])[0];
+        const [held] = connection.rows('SELECT rederiving FROM replica_keys WHERE key = ?', [room.key]);
+        indexed[room.locator] = held !== undefined && held.rederiving === null;
+    }
+    return { counts: counted, changed, indexed };
+}
+function rootsOf(connection, locator) {
+    const [row] = connection.rows('SELECT record FROM replica_rooms WHERE locator = ?', [locator]);
+    const record = json(row?.record);
+    return record?.typedSelection?.roots ?? [];
+}
+export function fenceRooms(connection, locators) {
+    for (const locator of locators) {
+        for (const row of connection.rows('SELECT key FROM replica_keys WHERE locator = ? UNION SELECT key FROM replica_rooms WHERE locator = ?', [locator, locator])) {
+            erasing(connection, number(row.key), locator);
+        }
+        connection.run('DELETE FROM replica_rooms WHERE locator = ?', [locator]);
+    }
+    return null;
+}
+export function abandon(connection, locator) {
+    for (const row of connection.rows(`SELECT k.key FROM replica_keys k WHERE k.locator = ?
+       AND NOT EXISTS (SELECT 1 FROM replica_rooms r WHERE r.key = k.key)
+       AND NOT EXISTS (SELECT 1 FROM replica_erasing e WHERE e.key = k.key)`, [locator])) {
+        erasing(connection, number(row.key), locator);
+    }
+    return null;
+}
+export function release(connection, key) {
+    const [held] = connection.rows(`SELECT k.locator FROM replica_keys k WHERE k.key = ?
+       AND NOT EXISTS (SELECT 1 FROM replica_rooms r WHERE r.key = k.key)`, [key]);
+    if (held !== undefined)
+        erasing(connection, key, text(held.locator));
+    return null;
+}
+export function erase(connection, locator, limit) {
+    const [held] = connection.rows(`SELECT key FROM replica_erasing${locator === null ? '' : ' WHERE locator = ?'} ORDER BY key LIMIT 1`, locator === null ? [] : [locator]);
+    if (held === undefined)
+        return { remaining: false };
+    const key = number(held.key);
+    const batch = 'SELECT id FROM replica_entries WHERE key = ? ORDER BY id LIMIT ?';
+    for (const table of ['replica_values', 'replica_links']) {
+        connection.run(`DELETE FROM ${table} WHERE doc IN (${batch})`, [key, limit]);
+    }
+    connection.run(`DELETE FROM replica_entries WHERE id IN (${batch})`, [key, limit]);
+    const left = connection.rows('SELECT 1 FROM replica_entries WHERE key = ? LIMIT 1', [key]).length > 0;
+    if (!left) {
+        connection.run('DELETE FROM replica_folders WHERE key = ?', [key]);
+        connection.run('DELETE FROM replica_erasing WHERE key = ?', [key]);
+        connection.run('DELETE FROM replica_keys WHERE key = ?', [key]);
+    }
+    const [more] = connection.rows(`SELECT 1 FROM replica_erasing${locator === null ? '' : ' WHERE locator = ?'} LIMIT 1`, locator === null ? [] : [locator]);
+    return { remaining: more !== undefined };
+}
+function cursor(value) {
+    return value === null || value === undefined ? null : number(value);
+}
+export function rederive(connection, key, composed, bytes, ms, floor) {
+    const started = performance.now();
+    recomposed(connection, key, composed.fingerprint);
+    const [held] = connection.rows('SELECT rederiving FROM replica_keys WHERE key = ?', [key]);
+    const deriving = cursor(held?.rederiving);
+    if (deriving === null)
+        return { done: true, text: 0 };
+    const composition = composed.composition;
+    let last = deriving;
+    let spent = 0;
+    let built = 0;
+    let read = false;
+    reading: for (;;) {
+        const rows = connection.rows('SELECT id, path, content FROM replica_entries WHERE key = ? AND present = 1 AND id > ? ORDER BY id LIMIT ?', [key, last, DERIVED_ROWS]);
+        for (const row of rows) {
+            const id = number(row.id);
+            const path = text(row.path);
+            const content = text(row.content);
+            const made = derived(path, content, composition);
+            dropDerived(connection, id);
+            writeDerived(connection, id, key, made);
+            built += content?.length ?? 0;
+            last = id;
+            spent += ENTRY_WEIGHT + (content?.length ?? 0);
+            if (spent >= bytes || (spent >= floor && performance.now() - started >= ms))
+                break reading;
+        }
+        if (rows.length < DERIVED_ROWS) {
+            read = true;
+            break;
+        }
+    }
+    connection.run('UPDATE replica_keys SET rederiving = ? WHERE key = ?', [read ? null : last, key]);
+    return { done: read, text: built };
+}
+function heldEntry(row) {
+    return {
+        path: text(row.path),
+        content: text(row.content),
+        binary: json(row.binary),
+        revision: text(row.revision),
+        fileId: text(row.file_id),
+        change: json(row.change),
+        written: text(row.written),
+        type: text(row.type),
+    };
+}
+const ENTRY_COLUMNS = 'e.path, e.content, e.binary, e.revision, e.file_id, e.change, e.written, e.type';
+function unrefreshed(alias) {
+    return `NOT EXISTS (SELECT 1 FROM replica_entries r WHERE r.key = ${alias}.key AND r.layer = ${REFRESHED} AND r.path = ${alias}.path)`;
+}
+function viewed(view, alias) {
+    if (view === 'visible')
+        return `${alias}.visible = 1 AND ${alias}.present = 1`;
+    if (view === 'confirmed')
+        return `${alias}.layer = ${CONFIRMED}`;
+    return `${alias}.present = 1 AND (${alias}.layer = ${REFRESHED} OR (${alias}.layer = ${CONFIRMED} AND ${unrefreshed(alias)}))`;
+}
+function layers(view) {
+    if (view !== 'refreshed')
+        return [viewed(view, 'e')];
+    return [
+        `e.layer = ${REFRESHED} AND e.present = 1`,
+        `e.layer = ${CONFIRMED} AND e.present = 1 AND ${unrefreshed('e')}`,
+    ];
+}
+function pathOrdered(connection, columns, key, view, condition, after, limit) {
+    const beyond = after === null ? '' : ' AND e.path > ?';
+    const parts = layers(view).map((layer) => `SELECT ${columns} FROM replica_entries e WHERE e.key = ? AND ${layer}${condition}${beyond}`);
+    return connection.rows(`${parts.join(' UNION ALL ')} ORDER BY path LIMIT ?`, [
+        ...parts.flatMap(() => (after === null ? [key] : [key, after])),
+        limit,
+    ]);
+}
+export function entries(connection, key, view, list) {
+    if (list.length === 0)
+        return [];
+    return connection
+        .rows(`SELECT ${ENTRY_COLUMNS} FROM replica_entries e WHERE e.key = ? AND ${viewed(view, 'e')} AND e.path IN (SELECT value FROM json_each(?))`, [key, paths(list)])
+        .map(heldEntry);
+}
+export function typed(connection, key, view, list) {
+    if (list.length === 0)
+        return [];
+    return connection
+        .rows(`SELECT e.path, e.declared, e.binary IS NOT NULL AS binary FROM replica_entries e WHERE e.key = ? AND ${viewed(view, 'e')} AND e.path IN (SELECT value FROM json_each(?))`, [key, paths(list)])
+        .map((row) => ({
+        path: text(row.path),
+        type: text(row.declared),
+        binary: number(row.binary) === 1,
+    }));
+}
+export function referrers(connection, key, view, targets, kinds) {
+    if (targets.length === 0)
+        return [];
+    return connection
+        .rows(`SELECT DISTINCT e.path, l.target, l.kind FROM replica_links l JOIN replica_entries e ON e.id = l.doc WHERE l.key = ? AND l.target IN (SELECT value FROM json_each(?)) AND l.kind IN (SELECT value FROM json_each(?)) AND ${viewed(view, 'e')}`, [key, paths(targets), JSON.stringify(kinds)])
+        .map((row) => ({
+        path: text(row.path),
+        target: text(row.target),
+        kind: text(row.kind),
+    }));
+}
+export function files(connection, key, view, after, limit) {
+    return pathOrdered(connection, 'e.path, e.revision', key, view, ' AND e.content IS NOT NULL AND e.revision IS NOT NULL', after, limit).map((row) => ({ path: text(row.path), revision: text(row.revision) }));
+}
+export function folders(connection, key, view, list) {
+    return list.filter((path) => connection.rows(`SELECT 1 FROM replica_folders f WHERE f.key = ? AND f.layer = ${CONFIRMED} AND f.present = 1 AND f.path = ? UNION ALL SELECT 1 FROM replica_entries e WHERE e.key = ? AND ${viewed(view, 'e')} AND e.path >= ? AND e.path < ? LIMIT 1`, [key, path, key, `${path}/`, `${path}0`]).length > 0);
+}
+export function typedWithin(connection, key, view, roots, within) {
+    return (connection.rows(`SELECT 1 FROM replica_entries e WHERE e.key = ? AND ${viewed(view, 'e')} AND e.declared IS NOT NULL AND e.declared <> 'any' AND ${within ? '' : 'NOT '}${beneathRoots('e.path')} LIMIT 1`, [key, JSON.stringify(roots)]).length > 0);
+}
+export function opened(connection) {
+    const facts = {};
+    for (const row of connection.rows('SELECT name, value FROM replica_facts')) {
+        facts[text(row.name)] = text(row.value);
+    }
+    return {
+        rooms: connection.rows('SELECT locator, key, record FROM replica_rooms').map((row) => ({
+            locator: text(row.locator),
+            key: number(row.key),
+            record: text(row.record),
+        })),
+        keys: connection
+            .rows('SELECT key, locator, transfer, rederiving FROM replica_keys')
+            .map((row) => ({
+            key: number(row.key),
+            locator: text(row.locator),
+            transfer: text(row.transfer),
+            rederiving: cursor(row.rederiving),
+        })),
+        facts,
+        presentation: connection.rows('SELECT app, value FROM replica_presentation').map((row) => ({
+            app: text(row.app),
+            value: text(row.value),
+        })),
+        overlaid: connection
+            .rows(`SELECT key, path FROM replica_entries WHERE layer = ${OVERLAY}`)
+            .map((row) => ({ key: number(row.key), path: text(row.path) })),
+        orphans: connection
+            .rows(`SELECT k.key FROM replica_keys k
+         WHERE NOT EXISTS (SELECT 1 FROM replica_rooms r WHERE r.key = k.key)
+           AND NOT EXISTS (SELECT 1 FROM replica_erasing e WHERE e.key = k.key)`)
+            .map((row) => number(row.key)),
+        erasing: connection.rows('SELECT key, locator FROM replica_erasing').map((row) => ({
+            key: number(row.key),
+            locator: text(row.locator),
+        })),
+    };
+}
+export function ended(connection) {
+    for (const statement of REPLICA_TABLES) {
+        const table = /^CREATE TABLE (\w+)/u.exec(statement)?.[1];
+        if (table !== undefined)
+            connection.run(`DELETE FROM ${table}`);
+    }
+}