@agentshouse/mdruntime 0.1.0-c2e8a6f99866d → 0.1.0-c2ef9303a058d

package/dist/stored.js

@@ -1,28 +1,37 @@
-import { parse } from '@agentshouse/mdmodel';
-import { derived, markdownPath } from './rows.js';
+import { sql } from '@agentshouse/mdmodel';
+import { composedOf } from './collection.js';
+import { described, derived, heldOf } from './rows.js';
 export const REPLICA_TABLES = [
-    'CREATE TABLE replica_keys (key INTEGER PRIMARY KEY AUTOINCREMENT, locator TEXT NOT NULL, transfer TEXT NOT NULL, composition TEXT NOT NULL, rederiving INTEGER)',
+    '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_transfers (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 TABLE replica_models (identity TEXT NOT NULL, version TEXT NOT NULL, schema TEXT NOT NULL, PRIMARY KEY (identity, version)) 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, links 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, 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 TABLE replica_values (doc INTEGER NOT NULL, key INTEGER NOT NULL, form TEXT NOT NULL, held INTEGER NOT NULL, item INTEGER NOT NULL, kind TEXT NOT NULL, value, size INTEGER, single INTEGER NOT NULL, PRIMARY KEY (doc, form, held, item)) WITHOUT ROWID',
-    'CREATE INDEX replica_values_lookup ON replica_values (key, form, kind, value)',
-    'CREATE TABLE replica_links (doc INTEGER NOT NULL, key INTEGER NOT NULL, kind TEXT NOT NULL, form TEXT NOT NULL, target TEXT NOT NULL, field TEXT NOT NULL, PRIMARY KEY (doc, kind, form, target)) WITHOUT ROWID',
-    'CREATE INDEX replica_links_target ON replica_links (key, target, kind, form)',
+    '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_received (key TEXT PRIMARY KEY, head TEXT NOT NULL) WITHOUT ROWID',
-    'CREATE TABLE replica_received_parts (key TEXT NOT NULL, part INTEGER NOT NULL, value TEXT NOT NULL, PRIMARY KEY (key, part)) WITHOUT ROWID',
     '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 compositions = new WeakMap();
+const DERIVED_ROWS = 64;
+const ENTRY_WEIGHT = 256;
+const ABSENT = {
+    type: null,
+    declared: null,
+    queried: false,
+    folder: '',
+    fields: null,
+    links: null,
+};
 function text(value) {
     return typeof value === 'string' ? value : null;
 }
@@ -38,55 +47,23 @@ function flag(value) {
 function paths(list) {
     return JSON.stringify(list);
 }
-function compositionOf(connection, key) {
-    let held = compositions.get(connection);
-    if (held === undefined) {
-        held = new Map();
-        compositions.set(connection, held);
-    }
-    const [row] = connection.rows('SELECT composition FROM replica_keys WHERE key = ?', [key]);
-    const textual = text(row?.composition) ?? 'null';
-    const known = held.get(textual);
-    if (known !== undefined)
-        return known;
-    const parsed = JSON.parse(textual) ?? {
-        model: { status: 'unavailable', reason: 'not-acquired' },
-        selection: null,
-    };
-    held.clear();
-    held.set(textual, parsed);
-    return parsed;
-}
-export function fingerprint(composition) {
-    const shape = (model) => model.status === 'unavailable' ? null : model.types;
-    return JSON.stringify({
-        model: shape(composition.model),
-        selection: composition.selection === null
-            ? null
-            : { roots: composition.selection.roots, model: shape(composition.selection.model) },
-    });
-}
 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) {
-    for (const value of made.values) {
-        connection.run('INSERT INTO replica_values (doc, key, form, held, item, kind, value, size, single) VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?)', [
+function writeDerived(connection, doc, key, path, held, composition) {
+    const made = derived(path, held, composition);
+    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,
-            value.form,
-            value.held,
-            value.item,
-            value.kind,
-            value.value,
-            value.size,
-            flag(value.single),
+            JSON.stringify(made.links.map((link) => [link.kind, link.keys, link.places, link.target, link.field])),
         ]);
     }
-    for (const link of made.links) {
-        connection.run('INSERT OR IGNORE INTO replica_links (doc, key, kind, form, target, field) VALUES (?, ?, ?, ?, ?, ?)', [doc, key, link.kind, link.form, 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]);
@@ -99,20 +76,8 @@ function removeEntry(connection, key, layer, path) {
     dropDerived(connection, id);
     connection.run('DELETE FROM replica_entries WHERE id = ?', [id]);
 }
-function putEntry(connection, key, layer, entry, present, composition) {
-    removeEntry(connection, key, layer, entry.path);
-    const made = present
-        ? derived(entry.path, entry.binary === null ? entry.content : null, composition)
-        : {
-            type: null,
-            declared: null,
-            queried: false,
-            folder: '',
-            fields: null,
-            values: [],
-            links: [],
-        };
-    connection.run('INSERT INTO replica_entries (key, layer, path, visible, present, queried, content, binary, revision, file_id, change, written, type, declared, folder, fields) VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)', [
+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, links) VALUES (?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?, ?)', [
         key,
         layer,
         entry.path,
@@ -129,69 +94,67 @@ function putEntry(connection, key, layer, entry, present, composition) {
         made.declared,
         made.folder,
         made.fields,
+        made.links,
     ]);
+}
+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);
+    insertEntry(connection, key, layer, entry, present, present ? described(entry.path, content, entry.facts) : ABSENT);
     if (!present)
         return;
     const id = entryId(connection, key, layer, entry.path);
-    writeDerived(connection, id, key, made);
+    writeDerived(connection, id, key, entry.path, heldOf(entry.path, content, entry.facts), composition);
+}
+function placeEntry(connection, key, entry) {
+    removeEntry(connection, key, CONFIRMED, entry.path);
+    insertEntry(connection, key, CONFIRMED, entry, true, described(entry.path, textOf(entry), entry.facts));
 }
 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, composition) {
-    connection.run('INSERT INTO replica_keys (locator, transfer, composition, rederiving) VALUES (?, ?, ?, NULL)', [locator, transfer, JSON.stringify(composition)]);
+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, composition) {
-    const [row] = connection.rows('SELECT composition FROM replica_keys WHERE key = ?', [key]);
-    const before = json(row?.composition);
-    if (before !== null && fingerprint(before) === fingerprint(composition)) {
-        connection.run('UPDATE replica_keys SET composition = ? WHERE key = ?', [
-            JSON.stringify(composition),
-            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;
-    }
-    connection.run('UPDATE replica_keys SET composition = ?, rederiving = 0 WHERE key = ?', [
-        JSON.stringify(composition),
-        key,
-    ]);
+    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, '', composition);
+    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 [held] = connection.rows('SELECT key FROM replica_transfers WHERE locator = ?', [
-        request.locator,
-    ]);
     const key = request.key ??
-        (held === undefined
-            ? newKey(connection, request.locator, request.transfer, request.composition)
-            : number(held.key));
-    recomposed(connection, key, request.composition);
-    if (request.record !== null) {
-        connection.run('INSERT OR REPLACE INTO replica_transfers (locator, key, record) VALUES (?, ?, ?)', [request.locator, key, request.record]);
-    }
-    const composition = compositionOf(connection, key);
-    for (const entry of request.entries) {
-        putEntry(connection, key, CONFIRMED, entry, true, composition);
-    }
+        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_rooms WHERE key = ? UNION ALL SELECT 1 FROM replica_transfers WHERE key = ?', [request.key, request.key]);
+    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;
-    const composition = compositionOf(connection, request.key);
+    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);
     }
@@ -204,6 +167,7 @@ export function refreshing(connection, request) {
             fileId: null,
             change: null,
             written: null,
+            facts: null,
         }, false, composition);
     }
     for (const [list, present] of [
@@ -253,12 +217,11 @@ function applyRefresh(connection, 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 outside = roots.map(() => '(path = ? OR (path >= ? AND path < ?))').join(' OR ');
-    const bind = [key];
-    for (const root of roots)
-        bind.push(root, `${root}/`, `${root}0`);
-    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')${roots.length === 0 ? '' : ` AND NOT (${outside})`}`, bind);
+    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) {
@@ -272,14 +235,12 @@ function erasing(connection, key, locator) {
 }
 function commitRoom(connection, room) {
     const touched = new Set();
-    if (room.composition !== undefined)
-        recomposed(connection, room.key, room.composition);
-    const composition = compositionOf(connection, room.key);
-    if (room.published !== undefined) {
-        if (room.published.from !== null && room.published.from !== room.key) {
-            erasing(connection, room.published.from, room.locator);
-        }
-        connection.run('DELETE FROM replica_transfers WHERE locator = ?', [room.locator]);
+    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))
@@ -304,27 +265,43 @@ function commitRoom(connection, room) {
     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,
-        ]);
+        connection.run(KEEP_MODEL, [room.record, room.record, room.record, room.record]);
+        connection.run(`INSERT OR REPLACE INTO replica_rooms (locator, key, record) VALUES (?, ?, ${MODEL_LEFT})`, [room.locator, room.key, room.record, room.record, room.record]);
     }
     return room.published === undefined ? changed : null;
 }
+const SCHEMA = '$.model.snapshot.schema';
+const KEEP_MODEL = `INSERT OR IGNORE INTO replica_models (identity, version, schema)
+  SELECT json_extract(?, '$.model.snapshot.identity'), json_extract(?, '$.model.snapshot.version'),
+    json_extract(?, '${SCHEMA}')
+  WHERE json_type(?, '${SCHEMA}') = 'text'`;
+const MODEL_LEFT = `CASE WHEN json_type(?, '${SCHEMA}') = 'text' THEN json_set(?, '${SCHEMA}', json('null')) ELSE ? END`;
+const UNHELD_MODELS = `DELETE FROM replica_models WHERE NOT EXISTS (
+  SELECT 1 FROM replica_rooms r
+  WHERE json_extract(r.record, '$.model.snapshot.identity') = replica_models.identity
+    AND json_extract(r.record, '$.model.snapshot.version') = replica_models.version
+)`;
+const HELD_RECORDS = `SELECT r.locator, r.key, CASE WHEN m.schema IS NULL THEN r.record
+    ELSE json_set(r.record, '${SCHEMA}', m.schema) END AS record
+  FROM replica_rooms r
+  LEFT JOIN replica_models m
+    ON m.identity = json_extract(r.record, '$.model.snapshot.identity')
+   AND m.version = json_extract(r.record, '$.model.snapshot.version')`;
 export function commit(connection, rooms) {
     const counted = {};
     const changed = {};
-    const prepared = {};
+    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]);
-        prepared[room.locator] = held !== undefined && held.rederiving === null;
+        indexed[room.locator] = held !== undefined && held.rederiving === null;
     }
-    return { counts: counted, changed, prepared };
+    if (rooms.some((room) => room.record !== undefined))
+        connection.run(UNHELD_MODELS);
+    return { counts: counted, changed, indexed };
 }
 function rootsOf(connection, locator) {
     const [row] = connection.rows('SELECT record FROM replica_rooms WHERE locator = ?', [locator]);
@@ -333,27 +310,25 @@ function rootsOf(connection, locator) {
 }
 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 = ? UNION SELECT key FROM replica_transfers WHERE locator = ?', [locator, locator, locator])) {
+        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]);
-        connection.run('DELETE FROM replica_transfers WHERE locator = ?', [locator]);
     }
+    connection.run(UNHELD_MODELS);
     return null;
 }
-export function abandon(connection, locator, kept) {
-    const [held] = connection.rows('SELECT key FROM replica_transfers WHERE locator = ?', [locator]);
-    connection.run('DELETE FROM replica_transfers WHERE locator = ?', [locator]);
-    if (held === undefined)
-        return null;
-    if (!kept)
-        erasing(connection, number(held.key), locator);
-    return number(held.key);
+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)
-       AND NOT EXISTS (SELECT 1 FROM replica_transfers t WHERE t.key = k.key)`, [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;
@@ -377,28 +352,46 @@ export function erase(connection, locator, limit) {
     const [more] = connection.rows(`SELECT 1 FROM replica_erasing${locator === null ? '' : ' WHERE locator = ?'} LIMIT 1`, locator === null ? [] : [locator]);
     return { remaining: more !== undefined };
 }
-export function rederive(connection, key, limit) {
+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]);
-    if (held === undefined || held.rederiving === null)
-        return { done: true };
-    const after = number(held.rederiving);
-    const composition = compositionOf(connection, key);
-    const rows = connection.rows('SELECT id, path, content FROM replica_entries WHERE key = ? AND present = 1 AND id > ? ORDER BY id LIMIT ?', [key, after, limit]);
-    for (const row of rows) {
-        const id = number(row.id);
-        const path = text(row.path);
-        const made = derived(path, text(row.content), composition);
-        dropDerived(connection, id);
-        connection.run('UPDATE replica_entries SET type = ?, declared = ?, queried = ?, fields = ? WHERE id = ?', [made.type, made.declared, flag(made.queried), made.fields, id]);
-        writeDerived(connection, id, key, made);
+    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, type, fields, links, octet_length(content) AS size 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 size = row.size === null ? 0 : number(row.size);
+            dropDerived(connection, id);
+            writeDerived(connection, id, key, path, {
+                type: text(row.type),
+                fields: json(row.fields),
+                links: json(row.links) ?? [],
+            }, composition);
+            built += size;
+            last = id;
+            spent += ENTRY_WEIGHT + size;
+            if (spent >= bytes || (spent >= floor && performance.now() - started >= ms))
+                break reading;
+        }
+        if (rows.length < DERIVED_ROWS) {
+            read = true;
+            break;
+        }
     }
-    const last = rows.at(-1);
-    const done = rows.length < limit || last === undefined;
-    connection.run('UPDATE replica_keys SET rederiving = ? WHERE key = ?', [
-        done ? null : number(last.id),
-        key,
-    ]);
-    return { done };
+    connection.run('UPDATE replica_keys SET rederiving = ? WHERE key = ?', [read ? null : last, key]);
+    return { done: read, text: built };
 }
 function heldEntry(row) {
     return {
@@ -410,15 +403,45 @@ function heldEntry(row) {
         change: json(row.change),
         written: text(row.written),
         type: text(row.type),
+        facts: factsHeld(row),
+    };
+}
+function factsHeld(row) {
+    const type = text(row.declared);
+    if (type === null)
+        return null;
+    return {
+        type,
+        fields: json(row.fields) ?? {},
+        links: json(row.links) ?? [],
     };
 }
-const ENTRY_COLUMNS = 'e.path, e.content, e.binary, e.revision, e.file_id, e.change, e.written, e.type';
+const ENTRY_COLUMNS = 'e.path, e.content, e.binary, e.revision, e.file_id, e.change, e.written, e.type, e.declared, e.fields, e.links';
+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 NOT EXISTS (SELECT 1 FROM replica_entries r WHERE r.key = ${alias}.key AND r.layer = ${REFRESHED} AND r.path = ${alias}.path)))`;
+    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)
@@ -438,75 +461,21 @@ export function typed(connection, key, view, list) {
         binary: number(row.binary) === 1,
     }));
 }
-export function referrers(connection, key, view, targets, kinds) {
+export function referrers(connection, key, view, targets) {
     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 walk(connection, key, view, after, bytes) {
-    const found = [];
-    let spent = 0;
-    let from = after;
-    for (;;) {
-        const rows = connection.rows(`SELECT ${ENTRY_COLUMNS} FROM replica_entries e WHERE e.key = ? AND ${viewed(view, 'e')}${from === null ? '' : ' AND e.path > ?'} ORDER BY e.path LIMIT 64`, from === null ? [key] : [key, from]);
-        for (const row of rows) {
-            const entry = heldEntry(row);
-            found.push(entry);
-            spent += 256 + (entry.content?.length ?? 0) * 2;
-            if (spent >= bytes)
-                return { entries: found, next: entry.path };
-        }
-        if (rows.length < 64)
-            return { entries: found, next: null };
-        from = found.at(-1).path;
-    }
+        .rows(`SELECT DISTINCT e.path, l.target 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 ${viewed(view, 'e')}`, [key, paths(targets)])
+        .map((row) => ({ path: text(row.path), target: text(row.target) }));
 }
 export function files(connection, key, view, after, limit) {
-    return connection
-        .rows(`SELECT e.path, e.revision FROM replica_entries e WHERE e.key = ? AND ${viewed(view, 'e')} AND e.content IS NOT NULL AND e.revision IS NOT NULL${after === null ? '' : ' AND e.path > ?'} ORDER BY e.path LIMIT ?`, after === null ? [key, limit] : [key, after, limit])
-        .map((row) => ({ path: text(row.path), revision: text(row.revision) }));
+    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) {
-    const inside = roots.map(() => '(e.path = ? OR (e.path >= ? AND e.path < ?))').join(' OR ');
-    const bind = [key];
-    for (const root of roots)
-        bind.push(root, `${root}/`, `${root}0`);
-    const placed = roots.length === 0 ? (within ? ' AND 0' : '') : ` AND ${within ? '' : 'NOT '}(${inside})`;
-    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'${placed} LIMIT 1`, bind).length > 0);
-}
-export function searched(connection, key, locator, after, limit, only) {
-    const bind = [key];
-    if (only !== null)
-        bind.push(paths(only));
-    if (after !== null)
-        bind.push(after);
-    bind.push(limit);
-    const rows = connection.rows(`SELECT e.path, e.type, e.fields, e.content FROM replica_entries e WHERE e.key = ? AND e.visible = 1 AND e.present = 1 AND e.queried = 1 AND e.type IS NOT NULL${only === null ? '' : ' AND e.path IN (SELECT value FROM json_each(?))'}${after === null ? '' : ' AND e.path > ?'} ORDER BY e.path LIMIT ?`, bind);
-    const documents = [];
-    for (const row of rows) {
-        const path = text(row.path);
-        const read = parse(text(row.content) ?? '', path);
-        if (!read.ok || !markdownPath(path))
-            continue;
-        documents.push({
-            room: locator,
-            path,
-            type: text(row.type),
-            fields: json(row.fields) ?? {},
-            preamble: read.document.preamble,
-            sections: read.document.sections,
-        });
-    }
-    return {
-        documents,
-        next: rows.length < limit ? null : text(rows.at(-1).path),
-    };
+    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 = {};
@@ -514,12 +483,7 @@ export function opened(connection) {
         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),
-        })),
-        transfers: connection.rows('SELECT locator, key, record FROM replica_transfers').map((row) => ({
+        rooms: connection.rows(HELD_RECORDS).map((row) => ({
             locator: text(row.locator),
             key: number(row.key),
             record: text(row.record),
@@ -530,7 +494,7 @@ export function opened(connection) {
             key: number(row.key),
             locator: text(row.locator),
             transfer: text(row.transfer),
-            rederiving: row.rederiving === null ? null : number(row.rederiving),
+            rederiving: cursor(row.rederiving),
         })),
         facts,
         presentation: connection.rows('SELECT app, value FROM replica_presentation').map((row) => ({
@@ -543,7 +507,6 @@ export function opened(connection) {
         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_transfers t WHERE t.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) => ({