@agentshouse/mdruntime 0.1.0-cc7bd7a53214e → 0.1.0-cc8c6d652ec3b

package/dist/attached-model.js

@@ -0,0 +1,81 @@
+import { verify } from '@agentshouse/mdmodel';
+import { MD_MODEL } from './collection.js';
+import { NO_MODEL, sameModel } from './model.js';
+export const NO_ROOM_TYPES = Object.freeze({ types: Object.freeze({}) });
+export function roomTypesOf(schema, nameable = []) {
+    if (schema === undefined)
+        return NO_ROOM_TYPES;
+    const verified = verify(schema);
+    if (verified.verdict === 'refuse')
+        throw new Error(`the Adapter's Room types refuse ${verified.rule}`);
+    return Object.freeze({ ...verified.model, nameable });
+}
+const BUILT_IN = {
+    kind: 'model',
+    snapshot: { identity: 'built-in', version: '', schema: null, revision: null },
+};
+export function builtInModel(roomTypes) {
+    return attachedModel(BUILT_IN, NO_MODEL, roomTypes).state;
+}
+const VERIFIED_SCHEMAS = 64;
+const verifications = new WeakMap();
+function schemaVerification(schema, roomTypes) {
+    let held = verifications.get(roomTypes);
+    if (held === undefined) {
+        held = new Map();
+        verifications.set(roomTypes, held);
+    }
+    const known = held.get(schema);
+    if (known !== undefined)
+        return known;
+    const verification = verify(schema, roomTypes);
+    if (held.size >= VERIFIED_SCHEMAS)
+        held.delete(held.keys().next().value);
+    held.set(schema, verification);
+    return verification;
+}
+export function attachedModel(answer, previous, roomTypes) {
+    if (answer.kind === 'model-unavailable') {
+        return { state: { status: 'unavailable', reason: answer.reason }, refused: null };
+    }
+    if (previous.status !== 'unavailable' &&
+        sameModel(previous.snapshot, answer.snapshot) &&
+        previous.snapshot.schema !== answer.snapshot.schema) {
+        return {
+            state: {
+                status: 'unavailable',
+                reason: 'invalid',
+                schema: answer.snapshot.schema,
+                revision: answer.snapshot.revision,
+            },
+            refused: null,
+        };
+    }
+    const verified = answer.snapshot.schema === null
+        ? { verdict: 'accept', model: roomTypes }
+        : schemaVerification(answer.snapshot.schema, roomTypes);
+    if (verified.verdict === 'refuse') {
+        return {
+            state: {
+                status: 'unavailable',
+                reason: 'invalid',
+                schema: answer.snapshot.schema,
+                revision: answer.snapshot.revision,
+            },
+            refused: {
+                identity: answer.snapshot.identity,
+                rule: verified.rule,
+                ...(verified.location === undefined ? {} : { location: verified.location }),
+            },
+        };
+    }
+    return {
+        state: {
+            status: 'current',
+            snapshot: structuredClone(answer.snapshot),
+            verifiedWith: MD_MODEL,
+            types: verified.model.types,
+        },
+        refused: null,
+    };
+}

package/dist/attempt.d.ts

@@ -0,0 +1,16 @@
+export type Answered = 'accepted' | 'refused' | 'unanswered' | 'offline';
+export type Identities = {
+    of(intent: string): string;
+    settle(answered: Answered): void;
+};
+export declare function identities(mint?: () => string): Identities;
+export declare function intentOf(name: string, about: unknown): string;
+export type Attempt = {
+    identity(intent: string): string;
+    settle(answered: Answered, drop: (act: number) => void): void;
+};
+export type Attempts = {
+    begin(act: number): Attempt;
+};
+export declare function attempts(mint?: () => string): Attempts;
+//# sourceMappingURL=attempt.d.ts.map

package/dist/attempt.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"attempt.d.ts","sourceRoot":"","sources":["../src/attempt.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,QAAQ,GAAG,UAAU,GAAG,SAAS,GAAG,YAAY,GAAG,SAAS,CAAC;AAEzE,MAAM,MAAM,UAAU,GAAG;IACvB,EAAE,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IAC3B,MAAM,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;CAClC,CAAC;AAEF,wBAAgB,UAAU,CAAC,IAAI,GAAE,MAAM,MAAoC,GAAG,UAAU,CAmBvF;AAID,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,MAAM,CAa7D;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IACjC,MAAM,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,MAAM,KAAK,IAAI,GAAG,IAAI,CAAC;CAC/D,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IACrB,KAAK,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;CAC7B,CAAC;AAEF,wBAAgB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,MAAM,GAAG,QAAQ,CAyBtD"}

package/dist/attempt.js

@@ -0,0 +1,70 @@
+import { changeBatchIdentity } from './identity.js';
+export function identities(mint = () => changeBatchIdentity()) {
+    const kept = new Map();
+    let used = new Map();
+    return {
+        of(intent) {
+            const one = used.get(intent) ?? kept.get(intent) ?? mint();
+            used.set(intent, one);
+            return one;
+        },
+        settle(answered) {
+            if (answered !== 'offline') {
+                for (const [intent, one] of used) {
+                    if (answered === 'unanswered')
+                        kept.set(intent, one);
+                    else
+                        kept.delete(intent);
+                }
+            }
+            used = new Map();
+        },
+    };
+}
+const blobs = new WeakMap();
+export function intentOf(name, about) {
+    const carried = [];
+    const json = JSON.stringify(about, (_key, value) => {
+        if (!(value instanceof Blob))
+            return value;
+        let identity = blobs.get(value);
+        if (identity === undefined) {
+            identity = changeBatchIdentity();
+            blobs.set(value, identity);
+        }
+        carried.push(identity);
+        return null;
+    });
+    return `${name}\u0000${json}\u0000${carried.join(',')}`;
+}
+export function attempts(mint) {
+    const numbers = identities(mint);
+    const waiting = new Map();
+    return {
+        begin(act) {
+            const intents = [];
+            return {
+                identity(intent) {
+                    intents.push(intent);
+                    return numbers.of(intent);
+                },
+                settle(answered, drop) {
+                    numbers.settle(answered);
+                    if (answered === 'refused' || answered === 'offline')
+                        drop(act);
+                    if (answered === 'offline')
+                        return;
+                    for (const intent of intents) {
+                        const earlier = waiting.get(intent);
+                        if (earlier !== undefined && earlier !== act)
+                            drop(earlier);
+                        if (answered === 'unanswered')
+                            waiting.set(intent, act);
+                        else
+                            waiting.delete(intent);
+                    }
+                },
+            };
+        },
+    };
+}

package/dist/binary.d.ts

@@ -0,0 +1,18 @@
+import type { HeldBinary } from './overlay.js';
+export type BinaryFileRecord = {
+    readonly state: 'accepted';
+    readonly revision: string;
+    readonly path: string;
+    readonly byteLength: number;
+    readonly mediaType: string;
+    readonly sha256: string;
+} | {
+    readonly state: 'pending';
+    readonly localId: string;
+    readonly path: string;
+    readonly byteLength: number;
+    readonly mediaType: string;
+    readonly sha256: string;
+};
+export declare function binaryRecord(path: string, held: HeldBinary, revision: string | undefined): BinaryFileRecord;
+//# sourceMappingURL=binary.d.ts.map

package/dist/binary.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"binary.d.ts","sourceRoot":"","sources":["../src/binary.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE/C,MAAM,MAAM,gBAAgB,GACxB;IACE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,GACD;IACE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEN,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,UAAU,EAChB,QAAQ,EAAE,MAAM,GAAG,SAAS,GAC3B,gBAAgB,CAKlB"}

package/dist/binary.js

@@ -0,0 +1,8 @@
+export function binaryRecord(path, held, revision) {
+    const facts = { byteLength: held.byteLength, mediaType: held.mediaType, sha256: held.sha256 };
+    if (held.state === 'pending')
+        return { state: 'pending', localId: held.localId, path, ...facts };
+    if (revision === undefined)
+        throw new Error(`the accepted binary file ${path} has no revision`);
+    return { state: 'accepted', revision, path, ...facts };
+}

package/dist/bootstrap.d.ts

@@ -1,10 +1,40 @@
 import type { ModelState } from './model.js';
-import type { Adapter, AdapterFailure, Authorization, DiscoveredRoom } from './adapter.js';
-import { type Staged } from './replica.js';
+import type { Adapter, AdapterFailure, Authorization, DiscoveredRoom, HeldContent, RetryableRefusal, RoomModels } from './adapter.js';
+import type { Composition } from './collection.js';
+import type { InstallationStep } from './readiness.js';
+import { type Refreshing } from './refresh.js';
+import type { ReplicaRecord } from './replica.js';
+import type { StagedPage, TransferRecord } from './store.js';
 import { type Unconfirmed } from './transfer.js';
-export type BootstrapOutcome = Staged | Unconfirmed | AdapterFailure;
-export declare function bootstrapRoom(adapter: Adapter, authorization: Authorization, room: DiscoveredRoom, models: {
+export type Bootstrapped = {
+    kind: 'staged';
+    record: ReplicaRecord;
+    refreshed: boolean;
+};
+export type BootstrapOutcome = Bootstrapped | Unconfirmed | RetryableRefusal | AdapterFailure;
+export type HeldModels = {
     collection: ModelState;
-    selection: ModelState;
-}, continuing: () => boolean): Promise<BootstrapOutcome>;
+};
+export type Remodel = (models: RoomModels | undefined, held: HeldModels) => HeldModels;
+export type Reads = Pick<Adapter, 'bootstrap' | 'refresh' | 'reached'>;
+export type Arriving = {
+    at(bytes: number): void;
+    end(): void;
+};
+export type Staging = {
+    held(locator: string): TransferRecord | null;
+    turn(locator: string, step: InstallationStep): Promise<() => void>;
+    unqueued(): Promise<void>;
+    queued(text: number): () => void;
+    arriving(locator: string): Arriving;
+    readonly streamed: boolean;
+    stage(record: TransferRecord, page: StagedPage, composition: Composition): Promise<TransferRecord | null>;
+    derive(locator: string, key: number, composition: Composition): Promise<boolean>;
+    refreshing(locator: string, key: number, composition: Composition): Promise<Refreshing>;
+    abandon(locator: string): Promise<void>;
+    setAside(locator: string): Promise<void>;
+    release(key: number): Promise<void>;
+    content(key: number): HeldContent;
+};
+export declare function bootstrapRoom(adapter: Reads, authorization: Authorization, room: DiscoveredRoom, held: HeldModels, builtIn: ModelState, remodel: Remodel, continuing: () => boolean, staging: Staging, reuse: HeldContent | null): Promise<BootstrapOutcome>;
 //# sourceMappingURL=bootstrap.d.ts.map

package/dist/bootstrap.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"bootstrap.d.ts","sourceRoot":"","sources":["../src/bootstrap.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EACV,OAAO,EACP,cAAc,EACd,aAAa,EACb,cAAc,EAGf,MAAM,cAAc,CAAC;AAEtB,OAAO,EAAc,KAAK,MAAM,EAAE,MAAM,cAAc,CAAC;AACvD,OAAO,EAAe,KAAK,WAAW,EAAE,MAAM,eAAe,CAAC;AAE9D,MAAM,MAAM,gBAAgB,GAAG,MAAM,GAAG,WAAW,GAAG,cAAc,CAAC;AAErE,wBAAsB,aAAa,CACjC,OAAO,EAAE,OAAO,EAChB,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,cAAc,EACpB,MAAM,EAAE;IAAE,UAAU,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,UAAU,CAAA;CAAE,EACzD,UAAU,EAAE,MAAM,OAAO,GACxB,OAAO,CAAC,gBAAgB,CAAC,CA+C3B"}
+{"version":3,"file":"bootstrap.d.ts","sourceRoot":"","sources":["../src/bootstrap.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EACV,OAAO,EACP,cAAc,EACd,aAAa,EAGb,cAAc,EACd,WAAW,EACX,gBAAgB,EAChB,UAAU,EACX,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAEnD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AACvD,OAAO,EAA4B,KAAK,UAAU,EAAE,MAAM,cAAc,CAAC;AAEzE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAE7D,OAAO,EAAe,KAAK,WAAW,EAAE,MAAM,eAAe,CAAC;AAE9D,MAAM,MAAM,YAAY,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,aAAa,CAAC;IAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAAC;AAEzF,MAAM,MAAM,gBAAgB,GAAG,YAAY,GAAG,WAAW,GAAG,gBAAgB,GAAG,cAAc,CAAC;AAE9F,MAAM,MAAM,UAAU,GAAG;IAAE,UAAU,EAAE,UAAU,CAAA;CAAE,CAAC;AAEpD,MAAM,MAAM,OAAO,GAAG,CAAC,MAAM,EAAE,UAAU,GAAG,SAAS,EAAE,IAAI,EAAE,UAAU,KAAK,UAAU,CAAC;AAEvF,MAAM,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,EAAE,WAAW,GAAG,SAAS,GAAG,SAAS,CAAC,CAAC;AAEvE,MAAM,MAAM,QAAQ,GAAG;IACrB,EAAE,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,GAAG,IAAI,IAAI,CAAC;CACb,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,cAAc,GAAG,IAAI,CAAC;IAC7C,IAAI,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,gBAAgB,GAAG,OAAO,CAAC,MAAM,IAAI,CAAC,CAAC;IACnE,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,IAAI,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,QAAQ,CAAC;IACpC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,KAAK,CACH,MAAM,EAAE,cAAc,EACtB,IAAI,EAAE,UAAU,EAChB,WAAW,EAAE,WAAW,GACvB,OAAO,CAAC,cAAc,GAAG,IAAI,CAAC,CAAC;IAClC,MAAM,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IACjF,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IACxF,OAAO,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACxC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACzC,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO,CAAC,GAAG,EAAE,MAAM,GAAG,WAAW,CAAC;CACnC,CAAC;AA0CF,wBAAsB,aAAa,CACjC,OAAO,EAAE,KAAK,EACd,aAAa,EAAE,aAAa,EAC5B,IAAI,EAAE,cAAc,EACpB,IAAI,EAAE,UAAU,EAChB,OAAO,EAAE,UAAU,EACnB,OAAO,EAAE,OAAO,EAChB,UAAU,EAAE,MAAM,OAAO,EACzB,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,WAAW,GAAG,IAAI,GACxB,OAAO,CAAC,gBAAgB,CAAC,CAe3B"}

package/dist/bootstrap.js

@@ -1,56 +1,210 @@
-import { declaredAttachments } from './attachment.js';
-import { readStaged } from './replica.js';
+import { transferIdentity } from './identity.js';
+import { advancement, pageEntries } from './refresh.js';
+import { entriesIn } from './shared.js';
 import { unconfirmed } from './transfer.js';
-export async function bootstrapRoom(adapter, authorization, room, models, continuing) {
-    const first = await adapter.bootstrap(authorization, {
-        locator: room.locator,
-        selection: room.replica.selection,
-    });
-    if (first.kind !== 'bootstrap')
+const NOTHING_PRIOR = () => Promise.resolve(new Map());
+function textOf(page) {
+    let text = 0;
+    for (const [, content] of entriesIn(page.documents))
+        text += content.length;
+    return text;
+}
+async function pageOf(page) {
+    return {
+        entries: await pageEntries(page, [], page.roomVersion, NOTHING_PRIOR),
+        folders: page.folders ?? [],
+    };
+}
+function heldTogether(first, second) {
+    if (first === null)
+        return second;
+    return {
+        async files(after, limit) {
+            const [left, right] = await Promise.all([
+                first.files(after, limit),
+                second.files(after, limit),
+            ]);
+            const merged = new Map([...left, ...right].map((file) => [file.path, file]));
+            return [...merged.values()]
+                .sort((one, other) => (one.path < other.path ? -1 : one.path > other.path ? 1 : 0))
+                .slice(0, limit);
+        },
+        async contents(paths) {
+            const [left, right] = await Promise.all([first.contents(paths), second.contents(paths)]);
+            return new Map([...left, ...right]);
+        },
+    };
+}
+const NO_CONTENT = {
+    files: () => Promise.resolve([]),
+    contents: () => Promise.resolve(new Map()),
+};
+export async function bootstrapRoom(adapter, authorization, room, held, builtIn, remodel, continuing, staging, reuse) {
+    if (staging.held(room.locator) !== null)
+        await staging.abandon(room.locator);
+    const begun = (pool) => started(adapter, authorization, room, held, builtIn, remodel, continuing, staging, pool);
+    const first = await begun(reuse);
+    if (first.kind !== 'expired')
         return first;
-    const roomVersion = first.roomVersion;
-    const documents = { ...first.documents };
-    const revisions = { ...first.revisions };
-    const changes = { ...first.changes };
-    const binaryTargets = new Set(first.binaryTargets);
-    const attachments = [first.attachments ?? []];
-    let pageToken = first.pageToken;
-    while (pageToken !== undefined) {
-        if (!continuing())
-            return unconfirmed;
-        const page = await adapter.bootstrap(authorization, {
-            locator: room.locator,
-            selection: room.replica.selection,
-            pageToken,
-        });
-        if (page.kind !== 'bootstrap')
-            return page;
-        if (page.roomVersion !== roomVersion)
-            return unconfirmed;
-        Object.assign(documents, page.documents);
-        Object.assign(revisions, page.revisions);
-        Object.assign(changes, page.changes);
-        for (const target of page.binaryTargets)
-            binaryTargets.add(target);
-        attachments.push(page.attachments ?? []);
-        pageToken = page.pageToken;
-    }
-    return readStaged({
-        locator: room.locator,
+    await staging.setAside(room.locator);
+    try {
+        const replacement = await begun(heldTogether(reuse, first.held));
+        if (replacement.kind !== 'expired')
+            return replacement;
+        await staging.abandon(room.locator);
+        return unconfirmed;
+    }
+    finally {
+        if (first.key !== null)
+            await staging.release(first.key);
+    }
+}
+function dropped(ahead) {
+    void ahead?.fetched.then(({ next, written }) => {
+        written();
+        dropped(next);
+    }, () => { });
+}
+function compositionFor(room, models, builtIn) {
+    return {
+        model: models.collection,
+        selection: room.typedSelection === undefined
+            ? null
+            : { roots: room.typedSelection.roots, model: builtIn },
+    };
+}
+async function started(adapter, authorization, room, held, builtIn, remodel, continuing, staging, pool) {
+    let outcome;
+    try {
+        outcome = await bundle(adapter, authorization, room, held, builtIn, remodel, continuing, staging, pool);
+    }
+    catch (error) {
+        await staging.abandon(room.locator).catch(() => { });
+        throw error;
+    }
+    if (outcome.kind !== 'staged' && outcome.kind !== 'expired') {
+        await staging.abandon(room.locator);
+    }
+    return outcome;
+}
+async function bundle(adapter, authorization, room, held, builtIn, remodel, continuing, staging, pool) {
+    const locator = room.locator;
+    const selection = room.replica.selection;
+    const ending = new AbortController();
+    const arriving = staging.arriving(locator);
+    const downloaded = await staging.turn(locator, 'downloading');
+    const asking = (token) => adapter.bootstrap(authorization, {
+        locator,
+        selection,
+        signal: ending.signal,
+        ...(token === null
+            ? { arriving: (bytes) => arriving.at(bytes) }
+            : { pageToken: token }),
+        ...(pool === null ? {} : { held: pool }),
+    });
+    const fetching = (token) => {
+        const fetched = (async () => {
+            await staging.unqueued();
+            const page = continuing() ? await asking(token) : unconfirmed;
+            if (page.kind !== 'bootstrap')
+                return { page, next: null, written: () => { } };
+            const written = staging.queued(textOf(page));
+            const later = page.pageToken;
+            if (later === undefined) {
+                downloaded();
+                arriving.end();
+            }
+            return { page, written, next: later === undefined || !continuing() ? null : fetching(later) };
+        })();
+        fetched.catch(() => { });
+        return { fetched };
+    };
+    let transfer = null;
+    let ahead = fetching(null);
+    try {
+        while (ahead !== null) {
+            if (!continuing())
+                return unconfirmed;
+            const fetched = await ahead.fetched;
+            ahead = fetched.next;
+            try {
+                if (!continuing())
+                    return unconfirmed;
+                const page = fetched.page;
+                if (page.kind === 'beyond-horizon') {
+                    const key = transfer?.key ?? null;
+                    return { kind: 'expired', held: key === null ? NO_CONTENT : staging.content(key), key };
+                }
+                if (page.kind !== 'bootstrap')
+                    return page;
+                const models = remodel(page.models, transfer?.models ?? held);
+                const staged = await staging.stage({
+                    locator,
+                    transfer: transfer?.transfer ?? transferIdentity(),
+                    selection,
+                    from: transfer !== null && adapter.reached(locator, page.roomVersion, transfer.from)
+                        ? transfer.from
+                        : page.roomVersion,
+                    last: transfer !== null && !adapter.reached(locator, page.roomVersion, transfer.last)
+                        ? transfer.last
+                        : page.roomVersion,
+                    done: { bytes: (transfer?.done.bytes ?? 0) + (page.bytes ?? 0) },
+                    models,
+                    key: transfer?.key ?? null,
+                }, await pageOf(page), compositionFor(room, models, builtIn));
+                if (staged === null)
+                    return unconfirmed;
+                transfer = staged;
+            }
+            finally {
+                fetched.written();
+            }
+        }
+    }
+    finally {
+        ending.abort();
+        downloaded();
+        arriving.end();
+        dropped(ahead);
+    }
+    if (transfer === null)
+        return unconfirmed;
+    const installed = transfer;
+    const composition = compositionFor(room, installed.models, builtIn);
+    if (!(await staging.derive(locator, installed.key, composition)))
+        return unconfirmed;
+    await staging.turn(locator, 'replaying');
+    if (!continuing())
+        return unconfirmed;
+    const record = {
+        locator,
         name: room.name,
+        handle: room.handle,
         operations: room.operations,
         replica: room.replica,
-        attachedModel: room.attachedModel,
-        model: models.collection,
+        model: installed.models.collection,
         typedSelection: room.typedSelection ?? null,
-        selectionModel: models.selection,
         providerOwnedPaths: room.providerOwnedPaths,
-        roomVersion,
-        documents,
-        binaryTargets: [...binaryTargets].sort(),
-        revisions,
-        changes,
-        written: Object.fromEntries(Object.keys(documents).map((path) => [path, roomVersion])),
-        attachments: declaredAttachments(attachments),
-    });
+        roomVersion: installed.from,
+        transfer: installed.transfer,
+        inventory: installed.done,
+        key: installed.key,
+    };
+    const last = installed.last;
+    const refresh = adapter.refresh;
+    const reconciled = last === installed.from &&
+        (staging.streamed || adapter.reached(locator, last, room.roomVersion))
+        ? { kind: 'still-current' }
+        : refresh === undefined
+            ? unconfirmed
+            : await advancement(refresh, authorization, record, remodel, continuing, await staging.refreshing(locator, record.key, composition));
+    if (reconciled.kind === 'advanced') {
+        return { kind: 'staged', record: reconciled.record, refreshed: true };
+    }
+    if (reconciled.kind === 'still-current')
+        return { kind: 'staged', record, refreshed: false };
+    if (reconciled.kind === 'beyond-horizon') {
+        return { kind: 'expired', held: staging.content(record.key), key: record.key };
+    }
+    return reconciled;
 }

package/dist/chain.d.ts

@@ -0,0 +1,11 @@
+import type { MdRuntimeClient } from './client.js';
+import type { DocumentQuery, DocumentResult, GroupQuery, GroupResult, PendingResult } from './query.js';
+type Rows = DocumentResult | GroupResult;
+export type WindowAnswer = Rows | PendingResult;
+export type WindowChain = {
+    want(count: number): void;
+    close(): void;
+};
+export declare function chainedWindows(runtime: MdRuntimeClient, query: DocumentQuery | GroupQuery, count: number, publish: (answers: readonly (WindowAnswer | null)[], settled: boolean) => void): WindowChain;
+export {};
+//# sourceMappingURL=chain.d.ts.map

package/dist/chain.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"chain.d.ts","sourceRoot":"","sources":["../src/chain.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAEnD,OAAO,KAAK,EACV,aAAa,EACb,cAAc,EACd,UAAU,EACV,WAAW,EACX,aAAa,EACd,MAAM,YAAY,CAAC;AAEpB,KAAK,IAAI,GAAG,cAAc,GAAG,WAAW,CAAC;AAEzC,MAAM,MAAM,YAAY,GAAG,IAAI,GAAG,aAAa,CAAC;AAEhD,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,KAAK,IAAI,IAAI,CAAC;CACf,CAAC;AAaF,wBAAgB,cAAc,CAC5B,OAAO,EAAE,eAAe,EACxB,KAAK,EAAE,aAAa,GAAG,UAAU,EACjC,KAAK,EAAE,MAAM,EACb,OAAO,EAAE,CAAC,OAAO,EAAE,SAAS,CAAC,YAAY,GAAG,IAAI,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,KAAK,IAAI,GAC7E,WAAW,CAkEb"}

package/dist/chain.js

@@ -0,0 +1,64 @@
+function answered(answer) {
+    return answer !== null && !('pending' in answer);
+}
+export function chainedWindows(runtime, query, count, publish) {
+    let links = [];
+    let wanted = count;
+    let closed = false;
+    const observe = runtime.observe;
+    const open = (after, shown) => {
+        const link = { after, observation: null, value: shown, fresh: false };
+        void observe('query', after === undefined ? query : { ...query, after }).then((observation) => {
+            if (closed || !links.includes(link)) {
+                observation.close();
+                return;
+            }
+            link.observation = observation;
+            const take = (value) => {
+                link.value = value;
+                link.fresh = true;
+                settle();
+            };
+            observation.subscribe(take);
+            take(observation.current());
+        }, () => { });
+        return link;
+    };
+    const settle = () => {
+        if (closed)
+            return;
+        const next = [];
+        for (let at = 0; at < wanted; at += 1) {
+            const before = next[at - 1];
+            if (before !== undefined && !before.fresh) {
+                next.push(...links.slice(at, wanted));
+                break;
+            }
+            if (before !== undefined && (!answered(before.value) || before.value.next === undefined)) {
+                break;
+            }
+            const after = before === undefined ? undefined : before.value.next;
+            const held = links[at];
+            next.push(held !== undefined && held.after === after ? held : open(after, held?.value ?? null));
+        }
+        for (const link of links)
+            if (!next.includes(link))
+                link.observation?.close();
+        links = next;
+        publish(links.map((link) => link.value), links.every((link) => link.fresh));
+    };
+    settle();
+    return {
+        want(count) {
+            if (count === wanted)
+                return;
+            wanted = count;
+            settle();
+        },
+        close() {
+            closed = true;
+            for (const link of links)
+                link.observation?.close();
+        },
+    };
+}

package/dist/change-set.d.ts

@@ -1,14 +1,6 @@
-import { type Replica } from './replica.js';
-import { type Row } from './rows.js';
 export type DocumentChange = {
-    locator: string;
-    path: string;
-    before: readonly Row[];
-    after: readonly Row[];
-};
-export type MessageChange = {
-    conversation: string;
-    identity: string;
+    readonly locator: string;
+    readonly path: string | null;
 };
 export type ChangeSet = {
     documents: readonly DocumentChange[];
@@ -19,15 +11,18 @@ export type ChangeSet = {
     rooms: readonly string[];
     queues: readonly string[];
     presentations: readonly string[];
-    messages: readonly MessageChange[];
     conversations: readonly string[];
 };
-export declare function changeSet(locator: string, before: Replica | null, after: Replica | null, changed?: {
+type Changed = {
+    documents?: readonly string[] | null;
     drafts?: readonly string[];
     room?: boolean;
     queue?: boolean;
     presentation?: string;
-}): ChangeSet;
-export declare function conversationChangeSet(messages: readonly MessageChange[], conversations: readonly string[]): ChangeSet;
+};
+export declare function changeSet(locator: string, changed?: Changed): ChangeSet;
+export declare function conversationChangeSet(conversations: readonly string[]): ChangeSet;
 export declare function mergeChangeSets(sets: readonly ChangeSet[]): ChangeSet;
+export declare function touches(set: ChangeSet, locator: string, path: string): boolean;
+export {};
 //# sourceMappingURL=change-set.d.ts.map

package/dist/change-set.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"change-set.d.ts","sourceRoot":"","sources":["../src/change-set.ts"],"names":[],"mappings":"AAEA,OAAO,EAAiC,KAAK,OAAO,EAAE,MAAM,cAAc,CAAC;AAC3E,OAAO,EAAU,KAAK,GAAG,EAAE,MAAM,WAAW,CAAC;AAE7C,MAAM,MAAM,cAAc,GAAG;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,SAAS,GAAG,EAAE,CAAC;IACvB,KAAK,EAAE,SAAS,GAAG,EAAE,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAAE,YAAY,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvE,MAAM,MAAM,SAAS,GAAG;IACtB,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;IACrC,MAAM,EAAE,SAAS;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACrD,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,EAAE,SAAS,aAAa,EAAE,CAAC;IACnC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC,CAAC;AAqBF,wBAAgB,SAAS,CACvB,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,OAAO,GAAG,IAAI,EACtB,KAAK,EAAE,OAAO,GAAG,IAAI,EACrB,OAAO,GAAE;IACP,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,CAAC;CAClB,GACL,SAAS,CAiDX;AAED,wBAAgB,qBAAqB,CACnC,QAAQ,EAAE,SAAS,aAAa,EAAE,EAClC,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B,SAAS,CAUX;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,SAAS,SAAS,EAAE,GAAG,SAAS,CAUrE"}
+{"version":3,"file":"change-set.d.ts","sourceRoot":"","sources":["../src/change-set.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,cAAc,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC;AAExF,MAAM,MAAM,SAAS,GAAG;IACtB,SAAS,EAAE,SAAS,cAAc,EAAE,CAAC;IACrC,MAAM,EAAE,SAAS;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACrD,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1B,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC,CAAC;AAEF,KAAK,OAAO,GAAG;IACb,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;IACrC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,IAAI,CAAC,EAAE,OAAO,CAAC;IACf,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,wBAAgB,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,GAAE,OAAY,GAAG,SAAS,CAe3E;AAED,wBAAgB,qBAAqB,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,CASjF;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,SAAS,SAAS,EAAE,GAAG,SAAS,CASrE;AAED,wBAAgB,OAAO,CAAC,GAAG,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAI9E"}