@agentshouse/mdruntime 0.1.0-alpha.2 → 0.1.0-alpha.21

package/dist/connection.js

@@ -1,39 +1,255 @@
-import { query as evaluate } from '@agentshouse/query';
+import { rawQuery } from './query.js';
+import { cached, modelTypes, NO_MODEL, sameModel } from './model.js';
 import { ROOM_CONTRACT_VERSION, VERSION_1_CAPABILITIES } from './adapter.js';
-import { adoptReplica, bootstrapRoom } from './bootstrap.js';
-import { MD_MODEL, PRESENTED } from './collection.js';
-import { openReplicaStore } from './store.js';
+import { bootstrapRoom } from './bootstrap.js';
+import { changeSet, mergeChangeSets } from './change-set.js';
+import { createConversationStore } from './conversation.js';
+import { MD_MODEL, PRESENTED, validRoot } from './collection.js';
+import { createLog } from './log.js';
+import { queuedOutcome, refusalOf, refused, withheldUntilReset } from './outcome.js';
+import { refreshRoom } from './refresh.js';
+import { buildBatch } from './save.js';
+import { applyReturned, compositionOf, readConfirmed, replicaOf } from './replica.js';
+import { settled, same, saving, STARTING, transferring } from './status.js';
+import { detectStorageLoss, nextGeneration } from './durability.js';
+import { beneath } from './paths.js';
+import { openRuntimeStore } from './store.js';
+import { unconfirmed } from './transfer.js';
 const DEFAULT_DISCOVERY_INTERVAL_MS = 60_000;
 const knownCapabilities = new Set(VERSION_1_CAPABILITIES);
+function within(root, path) {
+    return root === '' || beneath(root, path);
+}
+function declaredIdentity(model) {
+    if (model === undefined) return false;
+    if (model === null) return true;
+    return typeof model.identity === 'string' && model.identity.length > 0 && typeof model.version === 'string' && model.version.length > 0;
+}
+function declaredSelection(room) {
+    const selection = room.typedSelection;
+    if (selection === undefined) return true;
+    if (!Array.isArray(selection.roots) || selection.roots.length === 0) return false;
+    if (!declaredIdentity(selection.attachedModel)) return false;
+    return selection.roots.every((root, index)=>validRoot(root) && root !== '' && !within(room.collectionRoot, root) && selection.roots.every((other, at)=>at === index || !within(other, root)));
+}
 export function createMdRuntime(options) {
     const period = options.discoveryIntervalMs ?? DEFAULT_DISCOVERY_INTERVAL_MS;
     let authorization = options.authorization;
+    let opening;
     let store;
     const replicas = new Map();
+    const drafts = new Map();
+    const presentations = new Map();
+    const outcomes = new Map();
+    const acceptedIn = new Map();
+    let limits = [];
+    let slots = [];
+    let capabilities = [];
+    function rewriting() {
+        return capabilities.some((capability)=>capability.name === 'move-reference-rewrites') ? 'provider' : 'runtime';
+    }
     const rooms = new Map();
     const unreadable = new Set();
+    const models = new Map();
+    const liveModels = new Map();
+    const invalidModels = new Set();
+    const modelEpoch = new Map();
+    const discovered = new Map();
+    const scopedRefusals = new Map();
+    function modelKey(locator, attached) {
+        return `${attached} ${locator}`;
+    }
+    function modelOf(locator, attached = 'collection') {
+        return models.get(modelKey(locator, attached)) ?? NO_MODEL;
+    }
+    function savedModel(locator, attached) {
+        return invalidModels.has(modelKey(locator, attached)) ? {
+            status: 'unavailable',
+            reason: 'revoked'
+        } : modelOf(locator, attached);
+    }
+    function compositionFor(record) {
+        return compositionOf({
+            ...record,
+            model: savedModel(record.locator, 'collection'),
+            selectionModel: savedModel(record.locator, 'typed-selection')
+        });
+    }
+    const mismatchedRoots = new Set();
     let refusal = null;
+    let storageLoss = null;
+    let status = STARTING;
     let discoveryPaused = false;
     let timer;
     let closed = false;
+    let withdrawNotifications;
+    let handed;
+    const notices = new Map();
     let chain = Promise.resolve();
+    let mutations = Promise.resolve();
     let inflight = false;
     let queued = false;
     const roomListeners = new Set();
     const refusalListeners = new Set();
+    const storageLossListeners = new Set();
+    const statusListeners = new Set();
     const querySubscriptions = new Set();
-    function listed() {
+    const queueSubscriptions = new Set();
+    const draftListeners = new Set();
+    const presentationListeners = new Set();
+    let withdrawConversations;
+    const conversations = createConversationStore({
+        cards: declaredCards,
+        documents: ()=>visible({}),
+        call: (name, input)=>invokeAction(name, input),
+        durably,
+        path: ()=>options.adapter.conversations,
+        closed: ()=>closed
+    });
+    const journal = createLog();
+    let notifyReady = ()=>{};
+    const ready = new Promise((resolve)=>{
+        notifyReady = resolve;
+    });
+    function draftContent(locator, path) {
+        return drafts.get(locator)?.get(path);
+    }
+    function rememberDraft(locator, path, content) {
+        const room = drafts.get(locator) ?? new Map();
+        room.set(path, content);
+        drafts.set(locator, room);
+    }
+    function forgetDraft(locator, path) {
+        const room = drafts.get(locator);
+        if (room === undefined) return;
+        room.delete(path);
+        if (room.size === 0) drafts.delete(locator);
+    }
+    function snapshotDrafts() {
+        const entries = [];
+        for (const [locator, room] of drafts){
+            for (const [path, content] of room){
+                entries.push({
+                    locator,
+                    path,
+                    content: structuredClone(content)
+                });
+            }
+        }
+        entries.sort((left, right)=>{
+            if (left.locator !== right.locator) return left.locator < right.locator ? -1 : 1;
+            if (left.path !== right.path) return left.path < right.path ? -1 : 1;
+            return 0;
+        });
+        return entries;
+    }
+    function publishDrafts(waitingOnly) {
+        if (closed) return;
+        const value = snapshotDrafts();
+        for (const listener of draftListeners){
+            if (waitingOnly && listener.ready) continue;
+            listener.ready = true;
+            listener.notify(value);
+        }
+    }
+    function emitDrafts() {
+        publishDrafts(false);
+    }
+    function releaseWaitingDrafts() {
+        publishDrafts(true);
+    }
+    function presentationOf(app) {
+        const value = presentations.get(app);
+        return value === undefined ? null : structuredClone(value);
+    }
+    function emitPresentation(app) {
+        if (closed) return;
+        for (const listener of presentationListeners){
+            if (listener.app === app && listener.ready) listener.notify(presentationOf(app));
+        }
+    }
+    function commitDraft(locator, path, work) {
+        return exclusive(async ()=>{
+            const local = await openLocal();
+            await work(local);
+            publishChangeSet(changeSet(locator, null, null, {
+                drafts: [
+                    path
+                ]
+            }));
+        });
+    }
+    function pending() {
         return [
+            ...replicas.values()
+        ].some((replica)=>replica.queue.length > 0);
+    }
+    function attention() {
+        const attentionRequired = [];
+        let reset = null;
+        for (const [locator, replica] of replicas){
+            const head = replica.queue[0];
+            if (head === undefined) continue;
+            const outcome = outcomes.get(head.id);
+            if (outcome?.kind === 'retryable-refusal') {
+                if (outcome.reset !== undefined && (reset === null || outcome.reset < reset)) {
+                    reset = outcome.reset;
+                }
+                continue;
+            }
+            if (!refused(outcome)) continue;
+            attentionRequired.push({
+                locator,
+                batch: head.id,
+                outcome: outcome.kind,
+                refusal: refusalOf(outcome),
+                ...outcome.kind === 'conflicted' && outcome.roomVersion !== undefined ? {
+                    roomVersion: outcome.roomVersion
+                } : {}
+            });
+        }
+        return {
+            attentionRequired,
+            reset
+        };
+    }
+    async function persistQueue(local, replica, batches, changedOutcomes = []) {
+        await local.write({
+            next: replica.confirmed.record,
+            previous: replica.confirmed.record,
+            queue: batches,
+            previousQueue: replica.queue,
+            outcomes: changedOutcomes
+        });
+    }
+    function listed() {
+        return structuredClone([
             ...rooms.values()
-        ];
+        ]);
+    }
+    function slotted() {
+        return structuredClone(slots.map(({ slot, entries })=>({
+                slot,
+                entries: entries.flatMap(({ locator, segment })=>{
+                    const room = rooms.get(locator);
+                    return room === undefined ? [] : [
+                        {
+                            room,
+                            segment
+                        }
+                    ];
+                })
+            })));
     }
     function queryRooms() {
         return [
             ...replicas.values()
         ].map((replica)=>({
-                room: replica.record.locator,
-                roomVersion: replica.record.roomVersion,
-                documents: replica.collection.documents
+                room: replica.confirmed.record.locator,
+                roomVersion: replica.confirmed.record.roomVersion,
+                documents: replica.visible.collection.documents,
+                model: modelTypes(modelOf(replica.confirmed.record.locator)),
+                typedSelection: replica.confirmed.record.typedSelection === null ? null : modelTypes(modelOf(replica.confirmed.record.locator, 'typed-selection'))
             }));
     }
     function emitRooms() {
@@ -43,8 +259,20 @@ export function createMdRuntime(options) {
     function emitRefusal() {
         for (const listener of refusalListeners)listener(refusal);
     }
+    function emitStorageLoss() {
+        for (const listener of storageLossListeners)listener(storageLoss);
+    }
+    function moveTo(next) {
+        if (closed || same(status, next)) return;
+        status = next;
+        for (const listener of statusListeners)listener(status);
+    }
     function visible(request) {
-        return evaluate(queryRooms(), {
+        if (options.queryBinding === null) {
+            if (Object.keys(request).length > 0) throw new Error('query-binding-unavailable');
+            return rawQuery(queryRooms());
+        }
+        return options.queryBinding(queryRooms(), {
             ...request,
             selector: {
                 $and: [
@@ -59,6 +287,27 @@ export function createMdRuntime(options) {
             subscription.notify(visible(subscription.query));
         }
     }
+    function entriesOf(locator) {
+        const replica = replicas.get(locator);
+        if (replica === undefined) return [];
+        return replica.queue.map((batch)=>Object.freeze({
+                batch,
+                outcome: queuedOutcome(outcomes.get(batch.id))
+            }));
+    }
+    function emitQueue(locator) {
+        const entries = entriesOf(locator);
+        for (const subscription of queueSubscriptions){
+            if (subscription.locator === locator) subscription.notify(entries);
+        }
+    }
+    function publishChangeSet(set) {
+        if (set.rooms.length > 0) emitRooms();
+        if (set.documents.length > 0 || set.query) emitVisible();
+        for (const locator of set.queues)emitQueue(locator);
+        if (set.drafts.length > 0) emitDrafts();
+        for (const app of set.presentations)emitPresentation(app);
+    }
     function stopTimer() {
         if (timer === undefined) return;
         clearInterval(timer);
@@ -70,102 +319,1141 @@ export function createMdRuntime(options) {
             void enqueue();
         }, period);
     }
-    function refuse(reason) {
+    async function refuse(reason, provider = null) {
         stopTimer();
         discoveryPaused = true;
-        refusal = {
-            reason,
-            reauthorizationOffered: reason === 'revoked-authorization'
-        };
-        emitRefusal();
+        try {
+            if (reason === 'revoked-authorization') {
+                await exclusive(async ()=>{
+                    const revoked = {
+                        status: 'unavailable',
+                        reason: 'revoked'
+                    };
+                    try {
+                        const local = await openLocal();
+                        await local.revokeModels([
+                            ...replicas.values()
+                        ].map((replica)=>({
+                                record: replica.confirmed.record,
+                                queue: replica.queue
+                            })));
+                    } catch  {
+                        journal.record('model revocation persistence failed');
+                    }
+                    const keys = new Set(models.keys());
+                    for (const locator of rooms.keys()){
+                        keys.add(modelKey(locator, 'collection'));
+                        keys.add(modelKey(locator, 'typed-selection'));
+                    }
+                    for (const key of keys){
+                        invalidModels.add(key);
+                        modelEpoch.set(key, (modelEpoch.get(key) ?? 0) + 1);
+                        models.set(key, revoked);
+                        liveModels.delete(key);
+                    }
+                    const changed = [];
+                    for (const [locator, room] of rooms){
+                        const before = replicas.get(locator) ?? null;
+                        if (before !== null) {
+                            const record = {
+                                ...before.confirmed.record,
+                                model: revoked,
+                                selectionModel: revoked
+                            };
+                            const confirmed = readConfirmed(record, before.confirmed);
+                            if (confirmed === null) throw new Error(`Cannot retype revoked Room ${locator}`);
+                            replicas.set(locator, replicaOf(confirmed, before.queue, rewriting(), before));
+                        }
+                        rooms.set(locator, {
+                            ...room,
+                            model: modelTypes(revoked),
+                            typedSelection: room.typedSelection === null ? null : {
+                                ...room.typedSelection,
+                                model: modelTypes(revoked)
+                            }
+                        });
+                        changed.push(changeSet(locator, before, replicas.get(locator) ?? null, {
+                            room: true,
+                            query: true
+                        }));
+                    }
+                    publishChangeSet(mergeChangeSets(changed));
+                });
+            }
+        } finally{
+            refusal = {
+                reason,
+                reauthorizationOffered: reason === 'revoked-authorization',
+                refusal: provider
+            };
+            journal.record(`connection refused ${reason}`);
+            emitRefusal();
+        }
     }
     function list(room, synchronizationAvailable) {
+        const selection = room.typedSelection ?? null;
         rooms.set(room.locator, {
             name: room.name,
+            collectionRoot: room.collectionRoot,
             locator: room.locator,
-            writeGrants: room.writeGrants,
+            operations: room.operations,
+            replica: room.replica,
+            attachedModel: room.attachedModel,
+            model: modelTypes(modelOf(room.locator)),
+            typedSelection: selection === null ? null : {
+                roots: selection.roots,
+                attachedModel: selection.attachedModel,
+                model: modelTypes(modelOf(room.locator, 'typed-selection'))
+            },
             providerOwnedPaths: room.providerOwnedPaths,
-            roomVersion: replicas.get(room.locator)?.record.roomVersion ?? null,
-            synchronizationAvailable
+            roomVersion: replicas.get(room.locator)?.confirmed.record.roomVersion ?? null,
+            synchronizationAvailable,
+            refusal: scopedRefusals.get(room.locator) ?? null
         });
     }
-    function applyDiscovery(discovered) {
-        const listedLocators = new Set(discovered.map((room)=>room.locator));
-        for (const room of discovered){
-            list(room, !unreadable.has(room.locator));
+    async function applyDiscovery(listed, local) {
+        const listedLocators = new Set(listed.map((room)=>room.locator));
+        for (const locator of listedLocators)scopedRefusals.delete(locator);
+        discovered.clear();
+        for (const room of listed)discovered.set(room.locator, room);
+        await dropUnlisted(listedLocators, local);
+        for (const room of listed){
+            const held = replicas.get(room.locator)?.confirmed.record;
+            if (held !== undefined && held.replica.selection !== room.replica.selection) {
+                list(held, false);
+                continue;
+            }
+            list(room, room.replica.admission === 'admitted' && !unreadable.has(room.locator));
         }
-        for (const [locator, room] of rooms){
-            if (listedLocators.has(locator)) continue;
-            rooms.set(locator, {
-                ...room,
-                synchronizationAvailable: false
+        emitRooms();
+    }
+    function unlistedHeld(listed) {
+        return [
+            ...new Set([
+                ...rooms.keys(),
+                ...drafts.keys()
+            ])
+        ].filter((locator)=>!listed.has(locator));
+    }
+    async function dropUnlisted(listed, local) {
+        if (unlistedHeld(listed).length === 0) return;
+        await exclusive(async ()=>{
+            const unlisted = unlistedHeld(listed);
+            await local.dropRooms(unlisted);
+            for (const [batch, locator] of acceptedIn){
+                if (listed.has(locator)) continue;
+                acceptedIn.delete(batch);
+                outcomes.delete(batch);
+            }
+            const removed = unlisted.map((locator)=>changeSet(locator, replicas.get(locator) ?? null, null, {
+                    room: true,
+                    queue: true,
+                    query: true,
+                    drafts: [
+                        ...drafts.get(locator)?.keys() ?? []
+                    ]
+                }));
+            for (const locator of unlisted){
+                for (const batch of replicas.get(locator)?.queue ?? [])outcomes.delete(batch.id);
+                replicas.delete(locator);
+                rooms.delete(locator);
+                drafts.delete(locator);
+                unreadable.delete(locator);
+                scopedRefusals.delete(locator);
+                for (const attached of [
+                    'collection',
+                    'typed-selection'
+                ]){
+                    const key = modelKey(locator, attached);
+                    models.delete(key);
+                    liveModels.delete(key);
+                    invalidModels.delete(key);
+                    modelEpoch.delete(key);
+                }
+                journal.record(`room unlisted ${locator}`);
+            }
+            publishChangeSet(mergeChangeSets(removed));
+            moveTo({
+                ...status,
+                ...attention()
             });
+        });
+    }
+    function restored(key, persisted) {
+        const prior = models.get(key);
+        if (prior !== undefined && prior.status !== 'unavailable' && (persisted.status === 'unavailable' || !sameModel(prior.snapshot, persisted.snapshot))) {
+            modelEpoch.set(key, (modelEpoch.get(key) ?? 0) + 1);
+            invalidModels.add(key);
         }
-        emitRooms();
+        const model = persisted.status === 'unavailable' || liveModels.get(key) === JSON.stringify(persisted.snapshot) ? persisted : cached(persisted);
+        models.set(key, model);
+        if (model.status === 'unavailable') {
+            liveModels.delete(key);
+            invalidModels.delete(key);
+        }
+        return model;
     }
-    async function openLocal() {
-        if (store !== undefined) return store;
-        const opened = await openReplicaStore();
-        const records = await opened.all();
-        store = opened;
+    async function hydrate(opened) {
+        const [records, queues, recordedOutcomes, kept, presented, cached, unsent, lastCompleted, declared, named, listedSlots] = await Promise.all([
+            opened.all(),
+            opened.queues(),
+            opened.outcomes(),
+            opened.drafts(),
+            opened.presentation(),
+            opened.conversations(),
+            opened.instructions(),
+            opened.lastCompleted(),
+            opened.providerLimits(),
+            opened.capabilities(),
+            opened.slots()
+        ]);
+        limits = declared;
+        capabilities = named;
+        slots = listedSlots;
+        drafts.clear();
+        for (const draft of kept)rememberDraft(draft.locator, draft.path, draft.content);
+        presentations.clear();
+        for (const record of presented)presentations.set(record.app, record.value);
+        conversations.hydrate(cached, unsent);
+        const queuedBatches = new Map(queues.map((queue)=>[
+                queue.locator,
+                queue.batches
+            ]));
+        outcomes.clear();
+        acceptedIn.clear();
+        for (const record of recordedOutcomes){
+            outcomes.set(record.id, record.outcome);
+            if (record.outcome.kind === 'accepted') acceptedIn.set(record.id, record.locator);
+        }
+        const previousReplicas = new Map(replicas);
+        replicas.clear();
         for (const record of records){
-            const staged = adoptReplica(record);
-            if (staged === null) continue;
-            replicas.set(record.locator, staged);
-            list(record, false);
+            const model = restored(modelKey(record.locator, 'collection'), record.model);
+            const selectionModel = restored(modelKey(record.locator, 'typed-selection'), record.selectionModel);
+            const prior = previousReplicas.get(record.locator);
+            const confirmed = readConfirmed({
+                ...record,
+                model,
+                selectionModel
+            }, prior?.confirmed);
+            if (confirmed === null) continue;
+            replicas.set(record.locator, replicaOf(confirmed, queuedBatches.get(record.locator) ?? [], rewriting(), prior));
+            const existing = rooms.get(record.locator);
+            if (existing === undefined) list(record, false);
+            else {
+                rooms.set(record.locator, {
+                    ...existing,
+                    roomVersion: record.roomVersion,
+                    operations: record.operations,
+                    replica: record.replica,
+                    attachedModel: record.attachedModel,
+                    model: modelTypes(model),
+                    typedSelection: record.typedSelection === null ? null : {
+                        roots: record.typedSelection.roots,
+                        attachedModel: record.typedSelection.attachedModel,
+                        model: modelTypes(selectionModel)
+                    }
+                });
+            }
         }
+        return {
+            lastCompleted,
+            locators: new Set([
+                ...queuedBatches.keys(),
+                ...replicas.keys()
+            ])
+        };
+    }
+    async function readState(opened) {
+        const { lastCompleted, locators } = await hydrate(opened);
         if (replicas.size > 0) {
             emitRooms();
             emitVisible();
         }
+        for (const locator of locators)emitQueue(locator);
+        emitDrafts();
+        return lastCompleted;
+    }
+    async function open() {
+        const opened = await openRuntimeStore();
+        store = opened;
+        const kept = options.shell.generation;
+        const storedGeneration = await opened.generation();
+        const loss = detectStorageLoss(storedGeneration, kept);
+        const generation = nextGeneration(storedGeneration, kept);
+        if (generation !== storedGeneration) await opened.rememberGeneration(generation);
+        if (generation !== kept) await options.shell.keepGeneration(generation);
+        if (loss !== null) {
+            storageLoss = loss;
+            emitStorageLoss();
+        }
+        const lastCompleted = await readState(opened);
+        moveTo({
+            ...status,
+            lastCompleted,
+            ...attention()
+        });
         return opened;
     }
-    async function bootstrapMissing(discovered, local) {
-        for (const room of discovered){
-            if (closed || authorization === undefined) return;
-            if (replicas.has(room.locator)) continue;
-            const outcome = await bootstrapRoom(options.adapter, authorization, room);
-            if (outcome.kind === 'revoked-authorization') {
-                refuse('revoked-authorization');
-                return;
+    function durably(work) {
+        return exclusive(async ()=>{
+            const local = await openLocal();
+            return work(local);
+        });
+    }
+    function openLocal() {
+        opening ??= open().catch((error)=>{
+            opening = undefined;
+            throw error;
+        });
+        return opening;
+    }
+    function exclusive(work) {
+        const next = mutations.then(work, work);
+        mutations = next.then(()=>undefined, ()=>undefined);
+        return next;
+    }
+    function publish(local, room, confirmed) {
+        return exclusive(async ()=>{
+            const prior = replicas.get(room.locator);
+            const retained = readConfirmed({
+                ...confirmed.record,
+                model: modelOf(room.locator),
+                selectionModel: modelOf(room.locator, 'typed-selection')
+            }, prior?.confirmed);
+            if (retained !== null) {
+                await local.write({
+                    next: retained.record,
+                    previous: prior?.confirmed.record ?? null,
+                    queue: prior?.queue ?? []
+                });
+                unreadable.delete(room.locator);
+                replicas.set(room.locator, replicaOf(retained, prior?.queue ?? [], rewriting(), prior));
+            }
+            list(room, true);
+            publishChangeSet(changeSet(room.locator, prior ?? null, replicas.get(room.locator) ?? null, {
+                room: true,
+                query: true
+            }));
+        });
+    }
+    async function write(locator, changes, replacing, writtenBy) {
+        const local = await openLocal();
+        const replica = replicas.get(locator);
+        const room = rooms.get(locator);
+        if (replica === undefined || room === undefined) {
+            throw new Error(`No Local Replica for ${locator}`);
+        }
+        if (mismatchedRoots.has(locator)) return {
+            outcome: 'refused',
+            rule: 'collection-root-mismatch'
+        };
+        const built = buildBatch({
+            baseRoomVersion: replica.confirmed.record.roomVersion,
+            composition: compositionFor(replica.confirmed.record),
+            operations: room.operations,
+            binding: options.modelBinding,
+            providerOwnedPaths: room.providerOwnedPaths,
+            providerLimits: limits,
+            rewriting: rewriting(),
+            visible: replica.visible,
+            changes,
+            writtenBy
+        });
+        if (built.kind === 'refused') return {
+            outcome: 'refused',
+            ...built.refusal
+        };
+        const head = replica.queue[0];
+        if (replacing !== undefined) {
+            if (head === undefined || head.id !== replacing || !refused(outcomes.get(head.id))) {
+                return {
+                    outcome: 'refused',
+                    rule: 'no-refused-head'
+                };
             }
-            if (outcome.kind === 'room-not-readable') {
+        }
+        const batches = replacing === undefined ? [
+            ...replica.queue,
+            built.batch
+        ] : [
+            built.batch,
+            ...replica.queue.slice(1)
+        ];
+        const consumed = [
+            ...new Set(changes.map((change)=>change.path))
+        ];
+        try {
+            await local.write({
+                next: replica.confirmed.record,
+                previous: replica.confirmed.record,
+                queue: batches,
+                previousQueue: replica.queue,
+                outcomes: replacing === undefined ? [] : [
+                    {
+                        id: replacing,
+                        outcome: null
+                    }
+                ],
+                consumedDrafts: consumed
+            });
+        } catch  {
+            return {
+                outcome: 'refused',
+                rule: 'durable-write'
+            };
+        }
+        if (replacing !== undefined) outcomes.delete(replacing);
+        for (const path of consumed)forgetDraft(locator, path);
+        replicas.set(locator, replicaOf(replica.confirmed, batches, rewriting(), replica));
+        publishChangeSet(changeSet(locator, replica, replicas.get(locator) ?? null, {
+            queue: true,
+            drafts: consumed
+        }));
+        moveTo({
+            ...saving(status),
+            ...attention()
+        });
+        void enqueue();
+        return {
+            outcome: 'saved',
+            id: built.batch.id
+        };
+    }
+    async function discardHead(locator, identifier) {
+        const local = await openLocal();
+        const replica = replicas.get(locator);
+        const head = replica?.queue[0];
+        if (replica === undefined || head === undefined || head.id !== identifier || !refused(outcomes.get(head.id))) {
+            return;
+        }
+        const batches = replica.queue.slice(1);
+        await persistQueue(local, replica, batches, [
+            {
+                id: identifier,
+                outcome: null
+            }
+        ]);
+        outcomes.delete(identifier);
+        replicas.set(locator, replicaOf(replica.confirmed, batches, rewriting(), replica));
+        publishChangeSet(changeSet(locator, replica, replicas.get(locator) ?? null, {
+            queue: true
+        }));
+        moveTo({
+            ...status,
+            state: pending() ? 'pending' : status.state,
+            ...attention()
+        });
+        void enqueue();
+    }
+    async function readHistory(locator, path, query = {}) {
+        if (closed || refusal !== null) return {
+            kind: 'transport-uncertainty'
+        };
+        try {
+            await ensureAuthorization();
+        } catch  {
+            return {
+                kind: 'transport-uncertainty'
+            };
+        }
+        if (closed || authorization === undefined || refusal !== null) {
+            return {
+                kind: 'transport-uncertainty'
+            };
+        }
+        const transfer = [
+            'transfer',
+            'history',
+            locator,
+            path
+        ];
+        if (query.revision !== undefined) transfer.push(query.revision);
+        if (query.pageToken !== undefined) transfer.push(query.pageToken);
+        journal.record(transfer.join(' '));
+        try {
+            const result = await options.adapter.history(authorization, {
+                locator,
+                path,
+                ...query.revision === undefined ? {} : {
+                    revision: query.revision
+                },
+                ...query.pageToken === undefined ? {} : {
+                    pageToken: query.pageToken
+                }
+            });
+            journal.record(`outcome history ${result.kind}`);
+            if (result.kind === 'scoped-refusal') {
+                const room = replicas.get(result.locator)?.confirmed.record;
+                if (room !== undefined) await scoped(result, room, await openLocal());
+            }
+            if (result.kind === 'revoked-authorization') await refuse('revoked-authorization');
+            return result;
+        } catch  {
+            journal.record('outcome history transport-uncertainty');
+            return {
+                kind: 'transport-uncertainty'
+            };
+        }
+    }
+    function declaredCards() {
+        for (const capability of capabilities){
+            if (capability.conversationCards !== undefined) return capability.conversationCards;
+        }
+        return undefined;
+    }
+    function declaredAction(name) {
+        for (const capability of capabilities){
+            for (const action of capability.actions ?? []){
+                if (action.name === name) return action;
+            }
+        }
+        return undefined;
+    }
+    async function invokeAction(name, input) {
+        await ready;
+        if (closed || refusal !== null) return {
+            kind: 'transport-uncertainty'
+        };
+        if (declaredAction(name) === undefined) return {
+            kind: 'undeclared'
+        };
+        try {
+            await ensureAuthorization();
+        } catch  {
+            return {
+                kind: 'transport-uncertainty'
+            };
+        }
+        if (closed || authorization === undefined || refusal !== null) {
+            return {
+                kind: 'transport-uncertainty'
+            };
+        }
+        journal.record(`transfer action ${name}`);
+        try {
+            const result = await options.adapter.action(authorization, {
+                name,
+                input
+            });
+            if (result.kind === 'scoped-refusal') {
+                const room = replicas.get(result.locator)?.confirmed.record;
+                if (room !== undefined) await scoped(result, room, await openLocal());
+            }
+            if (result.kind === 'revoked-authorization') await refuse('revoked-authorization');
+            journal.record(`outcome action ${result.kind}`);
+            if (result.kind === 'rejected') journal.record(`refusal rejected ${result.code}`);
+            return result;
+        } catch  {
+            journal.record('outcome action transport-uncertainty');
+            return {
+                kind: 'transport-uncertainty'
+            };
+        }
+    }
+    async function pullRefresh(authorized, confirmed) {
+        try {
+            const result = await refreshRoom(options.adapter, authorized, confirmed, options.modelBinding);
+            const detail = result.kind === 'advanced' ? result.confirmed.record.roomVersion : result.kind;
+            journal.record(`transfer refresh ${confirmed.record.locator} ${detail}`);
+            return result;
+        } catch (error) {
+            journal.record(`transfer refresh ${confirmed.record.locator} transport-uncertainty`);
+            throw error;
+        }
+    }
+    async function pullBootstrap(authorized, room) {
+        try {
+            const result = await bootstrapRoom(options.adapter, authorized, room, {
+                collection: modelOf(room.locator),
+                selection: modelOf(room.locator, 'typed-selection')
+            }, options.modelBinding);
+            const detail = result.kind === 'staged' ? result.confirmed.record.roomVersion : result.kind;
+            journal.record(`transfer bootstrap ${room.locator} ${detail}`);
+            return result;
+        } catch (error) {
+            journal.record(`transfer bootstrap ${room.locator} transport-uncertainty`);
+            throw error;
+        }
+    }
+    async function advance(room, local, authorized) {
+        const held = replicas.get(room.locator);
+        if (held !== undefined) {
+            const refreshed = await pullRefresh(authorized, held.confirmed);
+            if (refreshed.kind === 'still-current') {
+                if (unreadable.delete(room.locator)) {
+                    list(room, true);
+                    emitRooms();
+                }
+                return null;
+            }
+            if (refreshed.kind === 'advanced') {
+                if (closed) return unconfirmed;
+                await publish(local, room, refreshed.confirmed);
+                return null;
+            }
+            if (refreshed.kind !== 'beyond-horizon') return refreshed;
+        }
+        const bootstrapped = await pullBootstrap(authorized, room);
+        if (bootstrapped.kind !== 'staged') return bootstrapped;
+        if (closed) return unconfirmed;
+        await publish(local, room, bootstrapped.confirmed);
+        return null;
+    }
+    function recordRefusal(result) {
+        if (result.kind === 'expired') return {
+            kind: 'expired'
+        };
+        if (result.kind === 'retryable-refusal') {
+            return {
+                kind: 'retryable-refusal',
+                code: result.code,
+                fields: result.fields,
+                ...result.reset === undefined ? {} : {
+                    reset: result.reset
+                }
+            };
+        }
+        if (result.kind === 'conflicted') {
+            return {
+                kind: 'conflicted',
+                ...result.roomVersion === undefined ? {} : {
+                    roomVersion: result.roomVersion
+                },
+                affected: result.affected,
+                code: result.code,
+                fields: result.fields
+            };
+        }
+        return {
+            kind: 'rejected',
+            affected: result.affected,
+            code: result.code,
+            fields: result.fields
+        };
+    }
+    async function commitAccept(room, local, submitted, accepted, base, overlay) {
+        const current = replicas.get(room.locator);
+        if (current === undefined || !current.queue.some((batch)=>batch.id === submitted.id)) {
+            return true;
+        }
+        const remaining = current.queue.filter((batch)=>batch.id !== submitted.id);
+        const retainedBase = readConfirmed({
+            ...base.record,
+            model: modelOf(room.locator),
+            selectionModel: modelOf(room.locator, 'typed-selection')
+        }, base);
+        if (retainedBase === null) return false;
+        const applied = overlay ? applyReturned(retainedBase, accepted.documents, accepted.revisions, accepted.removals, accepted.roomVersion, options.modelBinding) : retainedBase;
+        if (applied === null) return false;
+        const acceptedOutcome = {
+            kind: 'accepted',
+            roomVersion: accepted.roomVersion,
+            ...accepted.author === undefined ? {} : {
+                author: accepted.author
+            },
+            ...accepted.time === undefined ? {} : {
+                time: accepted.time
+            }
+        };
+        await local.write({
+            next: applied.record,
+            previous: current.confirmed.record,
+            queue: remaining,
+            previousQueue: current.queue,
+            outcomes: [
+                {
+                    id: submitted.id,
+                    outcome: acceptedOutcome
+                }
+            ]
+        });
+        acceptedIn.set(submitted.id, room.locator);
+        outcomes.set(submitted.id, acceptedOutcome);
+        unreadable.delete(room.locator);
+        replicas.set(room.locator, replicaOf(applied, remaining, rewriting(), current));
+        list(room, true);
+        publishChangeSet(changeSet(room.locator, current, replicas.get(room.locator) ?? null, {
+            room: true,
+            queue: true,
+            query: true
+        }));
+        journal.record(`outcome ${room.locator} ${submitted.id} accepted ${accepted.roomVersion}` + (accepted.author === undefined ? '' : ` author ${accepted.author}`) + (accepted.time === undefined ? '' : ` time ${accepted.time}`));
+        return true;
+    }
+    async function submitRoom(room, local, authorized, progress) {
+        while(!closed && authorization !== undefined){
+            const replica = replicas.get(room.locator);
+            const head = replica?.queue[0];
+            if (replica === undefined || head === undefined) return null;
+            const held = outcomes.get(head.id);
+            if (refused(held)) return null;
+            if (held?.kind === 'retryable-refusal') {
+                if (withheldUntilReset(held, Date.now())) {
+                    progress.complete = false;
+                    return null;
+                }
+                await exclusive(async ()=>{
+                    const current = replicas.get(room.locator);
+                    if (current === undefined || current.queue[0]?.id !== head.id) return;
+                    await persistQueue(local, current, current.queue, [
+                        {
+                            id: head.id,
+                            outcome: null
+                        }
+                    ]);
+                    outcomes.delete(head.id);
+                    publishChangeSet(changeSet(room.locator, current, current, {
+                        queue: true
+                    }));
+                    moveTo({
+                        ...status,
+                        ...attention()
+                    });
+                });
+            }
+            let result;
+            journal.record(`submission ${room.locator} ${head.id}`);
+            if (await local.markSubmitted(room.locator, head.id)) {
+                publishChangeSet(changeSet(room.locator, replica, replica, {
+                    queue: true
+                }));
+            }
+            try {
+                result = await options.adapter.mutate(authorized, {
+                    locator: room.locator,
+                    changeBatch: head
+                });
+            } catch  {
+                progress.complete = false;
+                progress.reachable = false;
+                return null;
+            }
+            if (closed) return null;
+            if (result.kind === 'transport-uncertainty') {
+                progress.complete = false;
+                progress.reachable = false;
+                return null;
+            }
+            if (result.kind === 'room-not-readable') {
+                progress.complete = false;
                 unreadable.add(room.locator);
                 list(room, false);
                 emitRooms();
+                return null;
+            }
+            if (result.kind === 'revoked-authorization') {
+                await refuse('revoked-authorization');
+                return 'stop';
+            }
+            if (result.kind === 'scoped-refusal') {
+                await scoped(result, room, local);
+                progress.complete = false;
+                return null;
+            }
+            if (result.kind === 'conflicted' || result.kind === 'rejected' || result.kind === 'expired' || result.kind === 'retryable-refusal') {
+                journal.record(`outcome ${room.locator} ${head.id} ${result.kind}` + (result.kind === 'conflicted' && result.roomVersion !== undefined ? ` ${result.roomVersion}` : ''));
+                if (result.kind !== 'expired') journal.record(`refusal ${result.kind} ${result.code}`);
+                if (result.kind === 'retryable-refusal') progress.complete = false;
+                await exclusive(async ()=>{
+                    const current = replicas.get(room.locator);
+                    if (current === undefined || !current.queue.some((batch)=>batch.id === head.id)) {
+                        return;
+                    }
+                    const recorded = recordRefusal(result);
+                    await persistQueue(local, current, current.queue, [
+                        {
+                            id: head.id,
+                            outcome: recorded
+                        }
+                    ]);
+                    outcomes.set(head.id, recorded);
+                    publishChangeSet(changeSet(room.locator, current, current, {
+                        queue: true
+                    }));
+                    moveTo({
+                        ...status,
+                        ...attention()
+                    });
+                });
+                return null;
+            }
+            const from = replicas.get(room.locator)?.confirmed;
+            if (from === undefined) return null;
+            const pulled = await pullRefresh(authorized, from);
+            if (pulled.kind === 'revoked-authorization') {
+                await refuse('revoked-authorization');
+                return 'stop';
+            }
+            if (pulled.kind === 'scoped-refusal') {
+                await scoped(pulled, room, local);
+                progress.complete = false;
+                return null;
+            }
+            if (pulled.kind === 'still-current') {
+                const committed = await exclusive(()=>commitAccept(room, local, head, result, from, true));
+                if (!committed) {
+                    progress.complete = false;
+                    return null;
+                }
                 continue;
             }
-            if (outcome.kind === 'unconfirmed') continue;
-            if (closed) return;
-            await local.publish(outcome.replica.record);
-            unreadable.delete(room.locator);
-            replicas.set(room.locator, outcome.replica);
-            list(room, true);
-            emitRooms();
-            emitVisible();
+            if (pulled.kind === 'advanced') {
+                const overlay = pulled.confirmed.record.roomVersion === result.roomVersion;
+                const committed = await exclusive(()=>commitAccept(room, local, head, result, pulled.confirmed, overlay));
+                if (!committed) {
+                    progress.complete = false;
+                    return null;
+                }
+                continue;
+            }
+            if (pulled.kind === 'beyond-horizon') {
+                const bootstrapped = await pullBootstrap(authorized, room);
+                if (bootstrapped.kind === 'revoked-authorization') {
+                    await refuse('revoked-authorization');
+                    return 'stop';
+                }
+                if (bootstrapped.kind === 'scoped-refusal') {
+                    await scoped(bootstrapped, room, local);
+                    progress.complete = false;
+                    return null;
+                }
+                if (bootstrapped.kind === 'staged') {
+                    const overlay = bootstrapped.confirmed.record.roomVersion === result.roomVersion;
+                    const committed = await exclusive(()=>commitAccept(room, local, head, result, bootstrapped.confirmed, overlay));
+                    if (!committed) {
+                        progress.complete = false;
+                        return null;
+                    }
+                    continue;
+                }
+                progress.complete = false;
+                if (bootstrapped.kind === 'transport-uncertainty') {
+                    progress.reachable = false;
+                } else if (bootstrapped.kind === 'room-not-readable') {
+                    unreadable.add(room.locator);
+                    list(room, false);
+                    emitRooms();
+                }
+                return null;
+            }
+            progress.complete = false;
+            if (pulled.kind === 'transport-uncertainty') {
+                progress.reachable = false;
+            } else if (pulled.kind === 'room-not-readable') {
+                unreadable.add(room.locator);
+                list(room, false);
+                emitRooms();
+            }
+            return null;
         }
+        return null;
     }
-    async function cycle(local) {
-        if (closed || authorization === undefined) return;
-        const result = await options.adapter.discover(authorization);
-        if (closed) return;
-        if (result.kind === 'transport-uncertainty') return;
+    async function retainModel(local, room, attached, next) {
+        const key = modelKey(room.locator, attached);
+        if (next.status === 'unavailable') modelEpoch.set(key, (modelEpoch.get(key) ?? 0) + 1);
+        const epoch = modelEpoch.get(key) ?? 0;
+        const previous = modelOf(room.locator, attached);
+        const heldBefore = replicas.get(room.locator)?.confirmed.record;
+        if (JSON.stringify(previous) === JSON.stringify(next) && (heldBefore === undefined || JSON.stringify(heldBefore.operations) === JSON.stringify(room.operations) && JSON.stringify(heldBefore.replica) === JSON.stringify(room.replica) && JSON.stringify(heldBefore.attachedModel) === JSON.stringify(room.attachedModel) && JSON.stringify(heldBefore.typedSelection) === JSON.stringify(room.typedSelection ?? null))) return;
+        const queryChanged = previous.status === 'unavailable' || next.status === 'unavailable' ? previous.status !== next.status : JSON.stringify(previous.types) !== JSON.stringify(next.types);
+        if (next.status === 'unavailable') {
+            invalidModels.add(key);
+            liveModels.delete(key);
+        }
+        await exclusive(async ()=>{
+            if (next.status !== 'unavailable' && epoch !== (modelEpoch.get(key) ?? 0)) return;
+            const held = replicas.get(room.locator);
+            if (held !== undefined) {
+                const record = {
+                    ...held.confirmed.record,
+                    operations: room.operations,
+                    replica: room.replica,
+                    attachedModel: room.attachedModel,
+                    typedSelection: room.typedSelection ?? null,
+                    ...attached === 'collection' ? {
+                        model: next
+                    } : {
+                        selectionModel: next
+                    }
+                };
+                await local.write({
+                    next: record,
+                    previous: held.confirmed.record,
+                    queue: held.queue
+                });
+                const confirmed = readConfirmed(record, held.confirmed);
+                if (confirmed !== null) {
+                    replicas.set(room.locator, replicaOf(confirmed, held.queue, rewriting(), held));
+                }
+            }
+            models.set(key, next);
+            if (next.status === 'current') {
+                liveModels.set(key, JSON.stringify(next.snapshot));
+                invalidModels.delete(key);
+            }
+            list(room, room.replica.admission === 'admitted' && !unreadable.has(room.locator));
+            if (held === undefined) emitRooms();
+            else publishChangeSet(changeSet(room.locator, held, replicas.get(room.locator) ?? null, {
+                room: true,
+                query: queryChanged
+            }));
+        });
+    }
+    async function acquireModel(local, room, authorized, selection) {
+        const attached = selection === null ? 'collection' : 'typed-selection';
+        const key = modelKey(room.locator, attached);
+        const declared = selection === null ? room.attachedModel : selection.attachedModel;
+        let previous = modelOf(room.locator, attached);
+        if (previous.status !== 'unavailable' && (declared === null || !sameModel(previous.snapshot, declared))) {
+            previous = {
+                status: 'unavailable',
+                reason: 'version-changed'
+            };
+            await retainModel(local, room, attached, previous);
+        }
+        const epoch = modelEpoch.get(key) ?? 0;
+        let answer;
+        try {
+            answer = await options.adapter.model(authorized, selection === null ? {
+                locator: room.locator,
+                attached: 'collection',
+                collectionRoot: room.collectionRoot,
+                model: declared
+            } : {
+                locator: room.locator,
+                attached: 'typed-selection',
+                roots: selection.roots,
+                model: declared
+            });
+        } catch  {
+            answer = {
+                kind: 'transport-uncertainty'
+            };
+        }
+        if (epoch !== (modelEpoch.get(key) ?? 0)) return;
+        if (answer.kind === 'revoked-authorization') {
+            await refuse('revoked-authorization');
+            return;
+        }
+        if (answer.kind === 'transport-uncertainty') {
+            await retainModel(local, room, attached, cached(previous));
+            return;
+        }
+        if (answer.kind === 'model-unavailable') {
+            await retainModel(local, room, attached, {
+                status: 'unavailable',
+                reason: answer.reason
+            });
+            return;
+        }
+        if (declared === null || !sameModel(answer.snapshot, declared)) {
+            await retainModel(local, room, attached, {
+                status: 'unavailable',
+                reason: 'version-changed'
+            });
+            return;
+        }
+        if (previous.status !== 'unavailable' && sameModel(previous.snapshot, answer.snapshot) && JSON.stringify(Object.entries(previous.snapshot.definitions).sort()) !== JSON.stringify(Object.entries(answer.snapshot.definitions).sort())) {
+            await retainModel(local, room, attached, {
+                status: 'unavailable',
+                reason: 'invalid'
+            });
+            return;
+        }
+        const verified = options.modelBinding?.verify(answer.snapshot);
+        await retainModel(local, room, attached, verified?.kind === 'verified' ? {
+            status: 'current',
+            snapshot: structuredClone(answer.snapshot),
+            verifiedWith: MD_MODEL,
+            types: verified.types
+        } : {
+            status: 'unavailable',
+            reason: verified === undefined ? 'binding-unavailable' : 'invalid'
+        });
+    }
+    async function scoped(result, room, local) {
+        scopedRefusals.set(room.locator, {
+            code: result.code,
+            fields: result.fields
+        });
+        let scopedAway = room;
+        if (result.scope === 'model') await retainModel(local, room, 'collection', {
+            status: 'unavailable',
+            reason: 'not-readable'
+        });
+        else if (result.scope !== 'operation') {
+            unreadable.add(room.locator);
+            scopedAway = {
+                ...room,
+                replica: {
+                    ...room.replica,
+                    admission: 'unavailable'
+                },
+                operations: {
+                    ...room.operations,
+                    ...result.scope === 'content' ? {
+                        read: []
+                    } : {},
+                    ...result.scope === 'sync' ? {
+                        sync: []
+                    } : {}
+                }
+            };
+            await retainModel(local, scopedAway, 'collection', modelOf(room.locator));
+        }
+        list(scopedAway, scopedAway.replica.admission === 'admitted' && !unreadable.has(room.locator));
+        emitRooms();
+        journal.record(`scoped refusal ${room.locator} ${result.scope} ${result.code}`);
+    }
+    async function synchronize(discovered, local, progress) {
+        for (const room of discovered){
+            if (closed || authorization === undefined) {
+                progress.complete = false;
+                return;
+            }
+            const prior = replicas.get(room.locator)?.confirmed.record;
+            if (prior !== undefined && prior.replica.selection !== room.replica.selection) {
+                list(prior, false);
+                emitRooms();
+                journal.record(`selection changed ${room.locator}`);
+                progress.complete = false;
+                continue;
+            }
+            await acquireModel(local, room, authorization, null);
+            if (discoveryPaused) return;
+            if (room.typedSelection !== undefined) {
+                await acquireModel(local, room, authorization, room.typedSelection);
+                if (discoveryPaused) return;
+            }
+            if (room.replica.admission !== 'admitted') {
+                progress.complete = false;
+                continue;
+            }
+            const held = replicas.get(room.locator);
+            if (held !== undefined && held.confirmed.record.replica.selection !== room.replica.selection) {
+                progress.complete = false;
+                continue;
+            }
+            const withheld = await advance(room, local, authorization);
+            if (withheld !== null) {
+                progress.complete = false;
+                if (withheld.kind === 'scoped-refusal') {
+                    await scoped(withheld, room, local);
+                    continue;
+                }
+                if (withheld.kind === 'transport-uncertainty') {
+                    progress.reachable = false;
+                    continue;
+                }
+                if (withheld.kind === 'room-not-readable') {
+                    unreadable.add(room.locator);
+                    list(room, false);
+                    emitRooms();
+                    continue;
+                }
+                if (withheld.kind === 'revoked-authorization') {
+                    await refuse('revoked-authorization');
+                    return;
+                }
+                continue;
+            }
+            if (await submitRoom(room, local, authorization, progress) === 'stop') return;
+        }
+    }
+    async function cycle(local, progress) {
+        if (closed || authorization === undefined) {
+            notifyReady();
+            return;
+        }
+        moveTo(transferring(status));
+        let result;
+        try {
+            result = await options.adapter.discover(authorization);
+        } catch  {
+            result = {
+                kind: 'transport-uncertainty'
+            };
+        }
+        if (closed) {
+            notifyReady();
+            return;
+        }
+        journal.record(`connection discover ${result.kind}`);
+        if (result.kind === 'transport-uncertainty') {
+            for (const room of rooms.values()){
+                await retainModel(local, room, 'collection', cached(modelOf(room.locator)));
+                if (room.typedSelection !== null) {
+                    await retainModel(local, room, 'typed-selection', cached(modelOf(room.locator, 'typed-selection')));
+                }
+            }
+            progress.reachable = false;
+            notifyReady();
+            return;
+        }
+        if (result.kind === 'contract-unavailable') {
+            journal.record(`connection contract unavailable ${result.code}`);
+            await refuse('missing-required-guarantee', {
+                code: result.code,
+                fields: result.fields
+            });
+            notifyReady();
+            return;
+        }
         if (result.kind === 'revoked-authorization') {
-            refuse('revoked-authorization');
+            await refuse('revoked-authorization');
+            notifyReady();
             return;
         }
         if (!result.supportedVersions.includes(ROOM_CONTRACT_VERSION)) {
-            refuse('no-matching-version');
+            await refuse('no-matching-version');
+            notifyReady();
             return;
         }
         if (result.mdModel.identity !== MD_MODEL.identity || result.mdModel.version !== MD_MODEL.version) {
-            refuse('md-model-version-mismatch');
+            await refuse('md-model-version-mismatch');
+            notifyReady();
+            return;
+        }
+        mismatchedRoots.clear();
+        for (const room of result.rooms){
+            const held = replicas.get(room.locator)?.confirmed.record;
+            const malformed = !validRoot(room.collectionRoot);
+            if (room.operations === undefined || ![
+                'read',
+                'sync',
+                'write',
+                'delete'
+            ].every((operation)=>Array.isArray(room.operations[operation]) && room.operations[operation].every((scope)=>typeof scope === 'string')) || room.replica === undefined || typeof room.replica.selection !== 'string' || room.replica.selection.length === 0 || ![
+                'admitted',
+                'unavailable'
+            ].includes(room.replica.admission) || !declaredIdentity(room.attachedModel)) {
+                journal.record(`invalid model or replica declaration ${room.locator}`);
+                await refuse('missing-required-guarantee');
+                notifyReady();
+                return;
+            }
+            if (!declaredSelection(room)) {
+                journal.record(`invalid typed selection declaration ${room.locator}`);
+                await refuse('missing-required-guarantee');
+                notifyReady();
+                return;
+            }
+            if (malformed || held !== undefined && held.collectionRoot !== room.collectionRoot) {
+                mismatchedRoots.add(room.locator);
+                journal.record(`collection root ${malformed ? 'invalid' : 'changed'} ${room.locator}`);
+            }
+        }
+        if (mismatchedRoots.size > 0) {
+            await refuse('missing-required-guarantee');
+            notifyReady();
             return;
         }
         const declared = new Set(result.capabilities.map((capability)=>capability.name));
         for (const required of options.requiredGuarantees){
             if (!knownCapabilities.has(required) || !declared.has(required)) {
-                refuse('missing-required-guarantee');
+                await refuse('missing-required-guarantee');
+                notifyReady();
                 return;
             }
         }
@@ -173,24 +1461,61 @@ export function createMdRuntime(options) {
             refusal = null;
             emitRefusal();
         }
-        applyDiscovery(result.rooms);
-        await bootstrapMissing(result.rooms, local);
+        const previousCapabilities = capabilities;
+        capabilities = result.capabilities;
+        notifyReady();
+        if (declared.has('room-version-notifications')) observeRoomVersions();
+        if (declared.has('provider-actions')) observeConversations();
+        const discoveredSlots = result.slots ?? [];
+        if (JSON.stringify(result.providerLimits) !== JSON.stringify(limits) || JSON.stringify(result.capabilities) !== JSON.stringify(previousCapabilities) || JSON.stringify(discoveredSlots) !== JSON.stringify(slots)) {
+            limits = result.providerLimits;
+            slots = discoveredSlots;
+            await local.declare(limits, capabilities, slots);
+        }
+        await applyDiscovery(result.rooms, local);
+        handSelected(result.rooms.filter((room)=>room.replica.admission === 'admitted').map((room)=>room.locator).sort());
+        progress.complete = true;
+        await synchronize(result.rooms, local, progress);
     }
     async function ensureAuthorization() {
         if (authorization !== undefined) return;
-        authorization = await options.adapter.authorize();
+        try {
+            authorization = await options.adapter.authorize();
+            journal.record('connection authorize');
+        } catch (error) {
+            journal.record('connection authorize transport-uncertainty');
+            throw error;
+        }
     }
     async function connect() {
-        if (closed || discoveryPaused) return;
+        if (closed || discoveryPaused) {
+            notifyReady();
+            return;
+        }
         startTimer();
+        const progress = {
+            complete: false,
+            reachable: true
+        };
+        let completedAt = new Date().toISOString();
         try {
             const local = await openLocal();
             if (closed) return;
             await ensureAuthorization();
             if (closed) return;
-            await cycle(local);
+            await cycle(local, progress);
+            if (closed) return;
+            if (progress.complete) {
+                completedAt = new Date().toISOString();
+                await local.complete(completedAt);
+            }
         } catch  {
+            progress.complete = false;
+            notifyReady();
             return;
+        } finally{
+            notifyReady();
+            moveTo(settled(status, progress, completedAt, pending(), attention()));
         }
     }
     async function run() {
@@ -204,6 +1529,79 @@ export function createMdRuntime(options) {
             }
         }
     }
+    function observeRoomVersions() {
+        const path = options.adapter.roomVersions;
+        if (path === undefined || withdrawNotifications !== undefined) return;
+        withdrawNotifications = path.observe((notification)=>{
+            if (closed || discoveryPaused) return;
+            notices.set(notification.locator, notification.roomVersion);
+            chain = chain.then(runNotified, runNotified);
+        });
+    }
+    function observeConversations() {
+        const path = options.adapter.conversations;
+        if (path === undefined || withdrawConversations !== undefined) return;
+        withdrawConversations = path.observe((event)=>{
+            conversations.receive(event);
+        });
+    }
+    function handSelected(locators) {
+        const path = options.adapter.roomVersions;
+        if (path === undefined || withdrawNotifications === undefined) return;
+        if (handed !== undefined && JSON.stringify(locators) === JSON.stringify(handed)) return;
+        handed = locators;
+        path.select(locators);
+    }
+    async function runNotified() {
+        const announced = [
+            ...notices
+        ];
+        notices.clear();
+        if (announced.length === 0 || closed || discoveryPaused) return;
+        const resting = status;
+        const progress = {
+            complete: false,
+            reachable: !resting.providerUnreachable
+        };
+        moveTo(transferring(resting));
+        try {
+            const local = await openLocal();
+            for (const [locator, roomVersion] of announced){
+                if (closed || discoveryPaused || authorization === undefined) return;
+                if (handed?.includes(locator) !== true) continue;
+                const room = discovered.get(locator);
+                const held = replicas.get(locator);
+                if (room === undefined || held === undefined) continue;
+                if (held.confirmed.record.roomVersion === roomVersion) continue;
+                const withheld = await advance(room, local, authorization);
+                if (withheld === null) continue;
+                if (withheld.kind === 'scoped-refusal') {
+                    await scoped(withheld, room, local);
+                    continue;
+                }
+                if (withheld.kind === 'transport-uncertainty') {
+                    progress.reachable = false;
+                    continue;
+                }
+                if (withheld.kind === 'room-not-readable') {
+                    unreadable.add(locator);
+                    list(room, false);
+                    emitRooms();
+                    continue;
+                }
+                if (withheld.kind === 'revoked-authorization') {
+                    await refuse('revoked-authorization');
+                    return;
+                }
+            }
+        } catch  {
+            progress.reachable = false;
+        } finally{
+            if (!closed) {
+                moveTo(settled(resting, progress, resting.lastCompleted, pending(), attention()));
+            }
+        }
+    }
     function enqueue() {
         if (inflight) {
             queued = true;
@@ -215,28 +1613,184 @@ export function createMdRuntime(options) {
     }
     function close() {
         closed = true;
+        withdrawNotifications?.();
+        withdrawNotifications = undefined;
+        withdrawConversations?.();
+        withdrawConversations = undefined;
+        conversations.close();
         stopTimer();
         store?.close();
+        void opening?.then((opened)=>{
+            opened.close();
+        }, ()=>{});
         roomListeners.clear();
         refusalListeners.clear();
+        storageLossListeners.clear();
+        statusListeners.clear();
         querySubscriptions.clear();
+        queueSubscriptions.clear();
+        draftListeners.clear();
+        presentationListeners.clear();
     }
     options.signal?.addEventListener('abort', close, {
         once: true
     });
     if (options.signal?.aborted) close();
+    void openLocal().catch(()=>{
+        notifyReady();
+    });
     void enqueue();
     return {
+        loaded () {
+            return openLocal().then(()=>undefined);
+        },
         rooms () {
             return listed();
         },
+        slots () {
+            return slotted();
+        },
         query (request = {}) {
             return visible(request);
         },
         types (locator) {
-            return replicas.get(locator)?.collection.types ?? [];
+            return {
+                collection: modelTypes(modelOf(locator)),
+                typedSelection: rooms.get(locator)?.typedSelection === undefined || rooms.get(locator)?.typedSelection === null ? null : modelTypes(modelOf(locator, 'typed-selection'))
+            };
+        },
+        syncStatus () {
+            return status;
+        },
+        draft: {
+            list () {
+                return exclusive(async ()=>{
+                    await openLocal();
+                    return snapshotDrafts();
+                }).then((entries)=>{
+                    releaseWaitingDrafts();
+                    return entries;
+                });
+            },
+            read (locator, path) {
+                const content = draftContent(locator, path);
+                return content === undefined ? null : structuredClone(content);
+            },
+            replace (locator, path, content) {
+                return commitDraft(locator, path, async (local)=>{
+                    const stored = structuredClone(content);
+                    await local.keep({
+                        locator,
+                        path,
+                        content: stored
+                    });
+                    rememberDraft(locator, path, stored);
+                });
+            },
+            discard (locator, path) {
+                return commitDraft(locator, path, async (local)=>{
+                    await local.discard(locator, path);
+                    forgetDraft(locator, path);
+                });
+            }
+        },
+        conversation: conversations.surface,
+        presentation: {
+            read (app) {
+                return exclusive(async ()=>{
+                    await openLocal();
+                    return presentationOf(app);
+                });
+            },
+            write (app, value) {
+                return exclusive(async ()=>{
+                    const local = await openLocal();
+                    const stored = structuredClone(value);
+                    await local.present({
+                        app,
+                        value: stored
+                    });
+                    presentations.set(app, stored);
+                    publishChangeSet(changeSet('', null, null, {
+                        presentation: app
+                    }));
+                });
+            }
+        },
+        save (locator, changes, replacing, writtenBy) {
+            return exclusive(()=>write(locator, changes, replacing, writtenBy));
+        },
+        outcome (identifier) {
+            const recorded = outcomes.get(identifier);
+            if (recorded !== undefined) return recorded;
+            for (const replica of replicas.values()){
+                if (replica.queue.some((batch)=>batch.id === identifier)) return {
+                    kind: 'pending'
+                };
+            }
+            return null;
+        },
+        queue: {
+            discard (locator, identifier) {
+                return exclusive(()=>discardHead(locator, identifier));
+            }
+        },
+        history (locator, path, query) {
+            return readHistory(locator, path, query);
+        },
+        call (name, input) {
+            return invokeAction(name, input);
+        },
+        log () {
+            return journal.export();
+        },
+        storageLoss () {
+            return storageLoss;
+        },
+        persistence () {
+            return options.shell.persistentStorage;
         },
         observe (topic, second, third) {
+            if (topic === 'drafts') {
+                const notify = second;
+                const listener = {
+                    notify,
+                    ready: false
+                };
+                draftListeners.add(listener);
+                void exclusive(async ()=>{
+                    await openLocal();
+                    if (closed || !draftListeners.has(listener)) return;
+                    listener.ready = true;
+                }).then(()=>{
+                    if (closed || !listener.ready || !draftListeners.has(listener)) return;
+                    listener.notify(snapshotDrafts());
+                }, ()=>{});
+                return ()=>{
+                    draftListeners.delete(listener);
+                };
+            }
+            if (topic === 'conversation') {
+                return conversations.observe(second, third);
+            }
+            if (topic === 'presentation') {
+                const listener = {
+                    app: second,
+                    notify: third,
+                    ready: false
+                };
+                presentationListeners.add(listener);
+                void exclusive(async ()=>{
+                    await openLocal();
+                }).then(()=>{
+                    if (closed || !presentationListeners.has(listener)) return;
+                    listener.ready = true;
+                    listener.notify(presentationOf(listener.app));
+                }, ()=>{});
+                return ()=>{
+                    presentationListeners.delete(listener);
+                };
+            }
             if (topic === 'rooms') {
                 const notify = second;
                 roomListeners.add(notify);
@@ -253,6 +1807,33 @@ export function createMdRuntime(options) {
                     refusalListeners.delete(notify);
                 };
             }
+            if (topic === 'storage-loss') {
+                const notify = second;
+                storageLossListeners.add(notify);
+                notify(storageLoss);
+                return ()=>{
+                    storageLossListeners.delete(notify);
+                };
+            }
+            if (topic === 'sync-status') {
+                const notify = second;
+                statusListeners.add(notify);
+                notify(status);
+                return ()=>{
+                    statusListeners.delete(notify);
+                };
+            }
+            if (topic === 'queue') {
+                const queue = {
+                    locator: second,
+                    notify: third
+                };
+                queueSubscriptions.add(queue);
+                queue.notify(entriesOf(queue.locator));
+                return ()=>{
+                    queueSubscriptions.delete(queue);
+                };
+            }
             const subscription = {
                 query: second,
                 notify: third
@@ -266,6 +1847,8 @@ export function createMdRuntime(options) {
         },
         async reauthorize () {
             if (refusal === null || !refusal.reauthorizationOffered) return;
+            journal.record('connection reauthorize');
+            await mutations;
             authorization = undefined;
             discoveryPaused = false;
             await enqueue();