@agentshouse/mdruntime 0.1.0-ce41fec66d91b → 0.1.0-ce5b3c1e6ea87

package/dist/search.d.ts

@@ -1,73 +1,22 @@
-import type { ProviderRefusal } from './adapter.js';
-import { type CoveredRoom, type Filter, type PendingRoom } from './query.js';
-import type { Open } from './open.js';
-export type DocumentPart = Open<'fields' | 'sections' | 'preamble' | 'path'>;
+import type { ProviderRefusal, SearchHit } from './adapter.js';
+import type { Failure, Offline } from './outcome.js';
 export type SearchRequest = {
     text: string;
-    documents?: Filter;
-    collection?: true;
-    conversations?: readonly string[];
-    limit?: number;
-    after?: string;
-    total?: true;
+    rooms?: readonly string[];
 };
-export type MessagePart = Open<'text'>;
-export type Snippet<Part extends string> = {
-    part: Part;
-    text: string;
-    at: readonly [number, number];
-};
-export type DocumentHit = {
-    room: string;
-    path: string;
-    type: string;
-    score: number;
-    matches: Readonly<Record<string, readonly DocumentPart[]>>;
-    snippet?: Snippet<DocumentPart>;
-};
-export type MessageHit = {
-    conversation: string;
-    identity: string;
-    score: number;
-    matches: Readonly<Record<string, readonly MessagePart[]>>;
-    snippet?: Snippet<MessagePart>;
-};
-export type SearchCoverage = {
-    rooms: readonly CoveredRoom[];
-    conversations: readonly string[];
-    overlay: readonly string[];
+export type { SearchHit } from './adapter.js';
+export type SearchFound = {
+    kind: 'found';
+    documents: readonly SearchHit[];
 };
-export type SearchHits = {
-    documents: readonly DocumentHit[];
-    messages: readonly MessageHit[];
-};
-export type SearchWindow = SearchHits & {
-    next?: string;
-    total?: {
-        documents: number;
-        messages: number;
-    };
-};
-export type SearchPending = SearchHits & {
-    pending: readonly PendingRoom[];
-    coverage: SearchCoverage;
-};
-export type SearchUndeclared = ProviderRefusal & {
+export type SearchResult = SearchFound | Offline | (ProviderRefusal & {
+    kind: 'rejected';
+}) | (ProviderRefusal & {
     kind: 'undeclared';
-};
-export type SearchResult = (SearchWindow & {
-    coverage: SearchCoverage;
-}) | SearchPending | SearchUndeclared;
-export declare function undeclaredSearch(): SearchUndeclared;
-export type HitCursor = readonly [number, string, string] | readonly [] | null;
+}) | Failure;
 export type SearchPlan = {
     text: string;
-    documents: unknown;
-    collection: boolean;
-    conversations: readonly string[] | null;
-    limit: number | null;
-    after: readonly [HitCursor, HitCursor] | null;
-    total: boolean;
+    rooms: readonly string[] | null;
 };
 export declare function searchPlanOf(input: unknown): SearchPlan;
 //# sourceMappingURL=search.d.ts.map

package/dist/search.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"search.d.ts","sourceRoot":"","sources":["../src/search.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAML,KAAK,WAAW,EAChB,KAAK,MAAM,EACX,KAAK,WAAW,EACjB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAGtC,MAAM,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,GAAG,UAAU,GAAG,UAAU,GAAG,MAAM,CAAC,CAAC;AAE7E,MAAM,MAAM,aAAa,GAAG;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,IAAI,CAAC;IAClB,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,IAAI,CAAC;CACd,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;AAEvC,MAAM,MAAM,OAAO,CAAC,IAAI,SAAS,MAAM,IAAI;IACzC,IAAI,EAAE,IAAI,CAAC;IACX,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC,CAAC,CAAC;IAC3D,OAAO,CAAC,EAAE,OAAO,CAAC,YAAY,CAAC,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,WAAW,EAAE,CAAC,CAAC,CAAC;IAC1D,OAAO,CAAC,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9B,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,SAAS,EAAE,SAAS,WAAW,EAAE,CAAC;IAClC,QAAQ,EAAE,SAAS,UAAU,EAAE,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,UAAU,GAAG;IACtC,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE;QAAE,SAAS,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;CACjD,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG,UAAU,GAAG;IACvC,OAAO,EAAE,SAAS,WAAW,EAAE,CAAC;IAChC,QAAQ,EAAE,cAAc,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,eAAe,GAAG;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC;AAExE,MAAM,MAAM,YAAY,GACpB,CAAC,YAAY,GAAG;IAAE,QAAQ,EAAE,cAAc,CAAA;CAAE,CAAC,GAC7C,aAAa,GACb,gBAAgB,CAAC;AAErB,wBAAgB,gBAAgB,IAAI,gBAAgB,CAOnD;AAED,MAAM,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,EAAE,GAAG,IAAI,CAAC;AAE/E,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,OAAO,CAAC;IACnB,UAAU,EAAE,OAAO,CAAC;IACpB,aAAa,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAC;IACxC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IACrB,KAAK,EAAE,SAAS,CAAC,SAAS,EAAE,SAAS,CAAC,GAAG,IAAI,CAAC;IAC9C,KAAK,EAAE,OAAO,CAAC;CAChB,CAAC;AA0BF,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAoBvD"}
+{"version":3,"file":"search.d.ts","sourceRoot":"","sources":["../src/search.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC/D,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAErD,MAAM,MAAM,aAAa,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAExE,YAAY,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAE9C,MAAM,MAAM,WAAW,GAAG;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,SAAS,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,CAAC;AAE7E,MAAM,MAAM,YAAY,GACpB,WAAW,GACX,OAAO,GACP,CAAC,eAAe,GAAG;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC,GACxC,CAAC,eAAe,GAAG;IAAE,IAAI,EAAE,YAAY,CAAA;CAAE,CAAC,GAC1C,OAAO,CAAC;AAEZ,MAAM,MAAM,UAAU,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAA;CAAE,CAAC;AAE3E,wBAAgB,YAAY,CAAC,KAAK,EAAE,OAAO,GAAG,UAAU,CAYvD"}

package/dist/search.js

@@ -1,57 +1,14 @@
-import { flag, invalid, known, limitOf, plain, } from './query.js';
-import { decodedCursor } from './windows.js';
-export function undeclaredSearch() {
-    return {
-        kind: 'undeclared',
-        code: 'search-undeclared',
-        fields: { name: 'local_search' },
-        retryable: false,
-    };
-}
-function hitCursor(input) {
-    if (input === null)
-        return null;
-    if (!Array.isArray(input))
-        return undefined;
-    if (input.length === 0)
-        return [];
-    const [score, first, second] = input;
-    return input.length === 3 &&
-        typeof score === 'number' &&
-        typeof first === 'string' &&
-        typeof second === 'string'
-        ? [score, first, second]
-        : undefined;
-}
-function searchAfter(input) {
-    if (input === undefined)
-        return null;
-    const decoded = typeof input === 'string' ? decodedCursor(input) : null;
-    const documents = decoded?.length === 2 ? hitCursor(decoded[0]) : undefined;
-    const messages = decoded?.length === 2 ? hitCursor(decoded[1]) : undefined;
-    if (documents === undefined || messages === undefined) {
-        invalid('after', 'expects the next an earlier search returned');
-    }
-    return [documents, messages];
-}
+import { invalid, known, plain } from '@agentshouse/mdmodel';
 export function searchPlanOf(input) {
     if (!plain(input))
         invalid('search', 'expects a search object');
-    known(input, ['text', 'documents', 'collection', 'conversations', 'limit', 'after', 'total'], '');
-    if (typeof input.text !== 'string')
-        invalid('text', 'expects text');
-    const conversations = input.conversations;
-    if (conversations !== undefined &&
-        (!Array.isArray(conversations) || conversations.some((named) => typeof named !== 'string'))) {
-        invalid('conversations', 'expects a list of conversations');
+    known(input, ['text', 'rooms'], '');
+    if (typeof input.text !== 'string' || input.text.trim() === '')
+        invalid('text', 'expects words');
+    const rooms = input.rooms;
+    if (rooms !== undefined &&
+        (!Array.isArray(rooms) || rooms.some((named) => typeof named !== 'string'))) {
+        invalid('rooms', 'expects a list of Rooms');
     }
-    return {
-        text: input.text,
-        documents: input.documents,
-        collection: flag(input.collection, 'collection'),
-        conversations: conversations ?? null,
-        limit: limitOf(input.limit),
-        after: searchAfter(input.after),
-        total: flag(input.total, 'total'),
-    };
+    return { text: input.text, rooms: rooms ?? null };
 }

package/dist/seed.d.ts

@@ -1,5 +1,9 @@
-import type { KeyedResult } from './observation.js';
-import type { QueryRows } from './query.js';
+import type { Cover } from './live.js';
+import { type KeyedResult } from './observation.js';
+import type { Plan, QueryRows } from './query.js';
+import type { Deliver } from './reach.js';
+import type { Runtime } from './runtime.js';
+import type { HeldCover, Store } from './store.js';
 export type EntrySeed = {
     readonly at: Readonly<Record<string, string>>;
     readonly queries: readonly {
@@ -11,6 +15,11 @@ export type Seeded = {
     readonly rows: QueryRows;
     readonly at: Readonly<Record<string, string>>;
 };
+type SeededWatch = (coverOf: (cover: Cover, held: HeldCover) => Cover, deliver: (message: unknown) => void) => () => void;
 export declare function entrySeedOf(value: unknown): EntrySeed | null;
 export declare function seededResult(seed: Seeded): KeyedResult;
+export declare function seedApplies(runtime: Runtime, plan: Plan, held: HeldCover): Seeded | null;
+export declare function keepEntrySeed(store: Store, entry: EntrySeed): void;
+export declare function watchSeeded(runtime: Runtime, plan: Plan, deliver: Deliver, watch: SeededWatch): () => void;
+export {};
 //# sourceMappingURL=seed.d.ts.map

package/dist/seed.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"seed.d.ts","sourceRoot":"","sources":["../src/seed.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,KAAK,EAA4C,SAAS,EAAE,MAAM,YAAY,CAAC;AAGtF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;KAAE,EAAE,CAAC;CACpF,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAAE,CAAC;AAwCjG,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,GAAG,IAAI,CAe5D;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAoBtD"}
+{"version":3,"file":"seed.d.ts","sourceRoot":"","sources":["../src/seed.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AACvC,OAAO,EAAS,KAAK,WAAW,EAAqB,MAAM,kBAAkB,CAAC;AAC9E,OAAO,KAAK,EAAE,IAAI,EAA4C,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5F,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AAE1C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAEnD,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC9C,QAAQ,CAAC,OAAO,EAAE,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;KAAE,EAAE,CAAC;CACpF,CAAC;AAEF,MAAM,MAAM,MAAM,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAAE,CAAC;AAEjG,KAAK,WAAW,GAAG,CACjB,OAAO,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,KAAK,KAAK,EACjD,OAAO,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,KAChC,MAAM,IAAI,CAAC;AA0ChB,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,GAAG,IAAI,CAe5D;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,WAAW,CAoBtD;AA+BD,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,GAAG,MAAM,GAAG,IAAI,CAOxF;AAYD,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI,CAMlE;AAED,wBAAgB,WAAW,CACzB,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,IAAI,EACV,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,WAAW,GACjB,MAAM,IAAI,CA4BZ"}

package/dist/seed.js

@@ -1,4 +1,7 @@
+import { queryKey } from '@agentshouse/mdmodel';
+import { whole } from './observation.js';
 import { documentKey } from './rows.js';
+const seedTopic = (key) => `seed\u0000${key}`;
 function plain(value) {
     return typeof value === 'object' && value !== null && !Array.isArray(value);
 }
@@ -73,3 +76,71 @@ export function seededResult(seed) {
         keys: seed.rows.documents.map((document) => documentKey(document.room, document.path)),
     };
 }
+function seedRoomHeld({ socket }, room, version, held) {
+    const stored = held.rooms.get(room);
+    return (stored !== undefined &&
+        stored.indexed &&
+        socket.reads.reached(room, stored.roomVersion, version));
+}
+function seedHeld(runtime, at, held) {
+    const { socket } = runtime;
+    return Object.entries(at).every(([room, version]) => (socket.session.now().roomsListed &&
+        socket.rooms.declared(room) === undefined &&
+        !held.rooms.has(room)) ||
+        seedRoomHeld(runtime, room, version, held));
+}
+export function seedApplies(runtime, plan, held) {
+    const { seeds } = runtime.store;
+    const seed = seeds.of(plan.key);
+    if (seed === undefined)
+        return null;
+    if (!seedHeld(runtime, seed.at, held))
+        return seed;
+    seeds.drop(plan.key);
+    return null;
+}
+function seedBehind(runtime, plan, cover, held) {
+    const seed = seedApplies(runtime, plan, held);
+    if (seed === null || 'pending' in cover)
+        return cover;
+    return {
+        pending: Object.entries(seed.at)
+            .filter(([room, version]) => !seedRoomHeld(runtime, room, version, held))
+            .map(([room]) => ({ room, awaits: 'acquisition' })),
+    };
+}
+export function keepEntrySeed(store, entry) {
+    for (const { query, rows } of entry.queries) {
+        const key = queryKey(query);
+        store.seeds.keep(key, { rows, at: entry.at });
+        for (const watcher of store.watching(seedTopic(key)))
+            watcher.answer(null);
+    }
+}
+export function watchSeeded(runtime, plan, deliver, watch) {
+    const { store } = runtime;
+    let seeded = false;
+    let pending = true;
+    const shown = () => {
+        const seed = store.seeds.of(plan.key);
+        if (seed === undefined || seeded || !pending)
+            return;
+        seeded = true;
+        deliver(seededResult(seed));
+    };
+    const watcher = store.watch(seedTopic(plan.key), shown);
+    const stop = watch((cover, held) => seedBehind(runtime, plan, cover, held), (message) => {
+        const answered = message;
+        pending = whole(answered) && 'pending' in answered.result;
+        if (pending && store.seeds.of(plan.key) !== undefined) {
+            shown();
+            return;
+        }
+        seeded = false;
+        deliver(message);
+    });
+    return () => {
+        watcher.stop();
+        stop();
+    };
+}

package/dist/shared.d.ts

@@ -1,4 +1,5 @@
 export type Paths<V> = Readonly<Record<string, V>>;
+export declare function guarding<V>(values: Paths<V>, handler: ProxyHandler<Paths<V>>): Paths<V>;
 export declare function entriesIn<V>(map: Paths<V>): Generator<readonly [string, V]>;
 export declare function sortedKeys(map: Paths<unknown>): Generator<number, readonly string[], void>;
 export declare function sorting(keys: Iterable<string>): Generator<number, readonly string[], void>;
@@ -6,7 +7,6 @@ export declare function sharing<V>(map: Paths<V>): Generator<number, Paths<V>, v
 export declare function shared<V>(map: Paths<V>): Paths<V>;
 export declare function patched<V>(base: Paths<V>, set: Iterable<readonly [string, V]>, removed?: Iterable<string>): Paths<V>;
 export declare function patching<V>(base: Paths<V>, set: Iterable<readonly [string, V]>, removed?: Iterable<string>): Generator<number, Paths<V>, void>;
-export declare function sizeOf<V>(map: Paths<V>): number;
 export declare function differences<V>(left: Paths<V>, right: Paths<V>, same?: (left: V, right: V) => boolean): Generator<number, ReadonlySet<string>, void>;
 export declare function differing<V>(left: Paths<V>, right: Paths<V>, same?: (left: V, right: V) => boolean): ReadonlySet<string>;
 export declare function drafted<V>(base: Paths<V>): Record<string, V>;

package/dist/shared.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../src/shared.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AA+LnD,wBAAiB,SAAS,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAO5E;AAuCD,wBAAiB,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,CAAC,CAE3F;AAED,wBAAiB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,CAAC,CAoB3F;AAED,wBAAiB,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAE5E;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAEjD;AAED,wBAAgB,OAAO,CAAC,CAAC,EACvB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EACd,GAAG,EAAE,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EACnC,OAAO,GAAE,QAAQ,CAAC,MAAM,CAAM,GAC7B,KAAK,CAAC,CAAC,CAAC,CAEV;AAED,wBAAiB,QAAQ,CAAC,CAAC,EACzB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EACd,GAAG,EAAE,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EACnC,OAAO,GAAE,QAAQ,CAAC,MAAM,CAAM,GAC7B,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAoBnC;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAE/C;AA8CD,wBAAiB,WAAW,CAAC,CAAC,EAC5B,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EACd,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EACf,IAAI,GAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAmB,GAC/C,SAAS,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAkB9C;AAED,wBAAgB,SAAS,CAAC,CAAC,EACzB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EACd,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EACf,IAAI,GAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAmB,GAC/C,WAAW,CAAC,MAAM,CAAC,CAErB;AAMD,wBAAgB,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAiD5D;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAE7D;AAED,wBAAiB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAUxF"}
+{"version":3,"file":"shared.d.ts","sourceRoot":"","sources":["../src/shared.ts"],"names":[],"mappings":"AAEA,MAAM,MAAM,KAAK,CAAC,CAAC,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;AAiMnD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAIvF;AAED,wBAAiB,SAAS,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAQ5E;AAuCD,wBAAiB,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,CAAC,CAE3F;AAED,wBAAiB,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,EAAE,IAAI,CAAC,CAoB3F;AAED,wBAAiB,OAAO,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAE5E;AAED,wBAAgB,MAAM,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAEjD;AAED,wBAAgB,OAAO,CAAC,CAAC,EACvB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EACd,GAAG,EAAE,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EACnC,OAAO,GAAE,QAAQ,CAAC,MAAM,CAAM,GAC7B,KAAK,CAAC,CAAC,CAAC,CAEV;AAED,wBAAiB,QAAQ,CAAC,CAAC,EACzB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EACd,GAAG,EAAE,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,EACnC,OAAO,GAAE,QAAQ,CAAC,MAAM,CAAM,GAC7B,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAoBnC;AA8CD,wBAAiB,WAAW,CAAC,CAAC,EAC5B,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EACd,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EACf,IAAI,GAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAmB,GAC/C,SAAS,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,CAkB9C;AAED,wBAAgB,SAAS,CAAC,CAAC,EACzB,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,EACd,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EACf,IAAI,GAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAmB,GAC/C,WAAW,CAAC,MAAM,CAAC,CAErB;AAMD,wBAAgB,OAAO,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAiD5D;AAED,wBAAgB,OAAO,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAE7D;AAED,wBAAiB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAUxF"}

package/dist/shared.js

@@ -179,11 +179,18 @@ function facade(root) {
     roots.set(map, root);
     return map;
 }
+const guarded = new WeakMap();
+export function guarding(values, handler) {
+    const map = new Proxy(values, handler);
+    guarded.set(map, values);
+    return map;
+}
 export function* entriesIn(map) {
     const root = roots.get(map);
     if (root === undefined) {
-        for (const key of Object.keys(map))
-            yield [key, map[key]];
+        const values = guarded.get(map) ?? map;
+        for (const key of Object.keys(values))
+            yield [key, values[key]];
         return;
     }
     for (const leaf of leavesOf(root.node))
@@ -278,9 +285,6 @@ export function* patching(base, set, removed = []) {
         return base;
     return facade({ node, size });
 }
-export function sizeOf(map) {
-    return roots.get(map)?.size ?? Object.keys(map).length;
-}
 function* compared(left, right, same, into) {
     const pending = [[left, right]];
     for (let pair = pending.pop(); pair !== undefined; pair = pending.pop()) {

package/dist/shown.d.ts

@@ -0,0 +1,31 @@
+import type { DiscoveredRoom, Member } from './adapter.js';
+import type { ChangeSet } from './change-set.js';
+import type { QueueEntry } from './outcome.js';
+import type { Runtime } from './runtime.js';
+import type { Live, Moving } from './socket.js';
+import { type CycleProgress } from './status.js';
+export declare const ROOMS_TOPIC = "rooms";
+export declare const STATUS_TOPIC = "sync-status";
+export declare const REFUSAL_TOPIC = "connection-refusal";
+export declare const STORAGE_LOSS_TOPIC = "storage-loss";
+export declare const SERVICE_MODE_TOPIC = "service-mode";
+export declare const MEMBER_TOPIC = "member";
+export declare const AUTHORITY_TOPIC = "authority-changes";
+export declare const LOCKS_TOPIC = "locks";
+export declare const queueTopic: (locator: string) => string;
+export declare function recoverReads({ liveQueries, figures }: Runtime): void;
+export declare function emitRooms(runtime: Runtime, changed?: readonly string[]): Promise<void>;
+export declare function emitKnownRooms(runtime: Runtime): void;
+export declare function emitRefusal(runtime: Runtime): void;
+export declare function emitStorageLoss({ store }: Runtime): void;
+export declare function emitMember({ store }: Runtime, member: Member | null): void;
+export declare function show(runtime: Runtime): Promise<void>;
+export declare function moveTo(runtime: Runtime, next: Moving): Promise<void>;
+export declare function statusShown(runtime: Runtime): Promise<void>;
+export declare function transferring({ socket }: Runtime): Moving;
+export declare function pendingShown(runtime: Runtime): Promise<void>;
+export declare function entriesOf(runtime: Runtime, locator: string): Promise<readonly QueueEntry[]>;
+export declare function publishChangeSet(runtime: Runtime, set: ChangeSet): Promise<void>;
+export declare function roomUnreadable(runtime: Runtime, room: DiscoveredRoom): void;
+export declare function rest(runtime: Runtime, progress: CycleProgress | null, live?: Live): Promise<void>;
+//# sourceMappingURL=shown.d.ts.map

package/dist/shown.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"shown.d.ts","sourceRoot":"","sources":["../src/shown.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAE3D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAGjD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAE/C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAChD,OAAO,EAA6B,KAAK,aAAa,EAAmB,MAAM,aAAa,CAAC;AAiB7F,eAAO,MAAM,WAAW,UAAU,CAAC;AAEnC,eAAO,MAAM,YAAY,gBAAgB,CAAC;AAE1C,eAAO,MAAM,aAAa,uBAAuB,CAAC;AAElD,eAAO,MAAM,kBAAkB,iBAAiB,CAAC;AAEjD,eAAO,MAAM,kBAAkB,iBAAiB,CAAC;AAEjD,eAAO,MAAM,YAAY,WAAW,CAAC;AAErC,eAAO,MAAM,eAAe,sBAAsB,CAAC;AAEnD,eAAO,MAAM,WAAW,UAAU,CAAC;AAEnC,eAAO,MAAM,UAAU,YAAa,MAAM,WAA4B,CAAC;AA0CvE,wBAAgB,YAAY,CAAC,EAAE,WAAW,EAAE,OAAO,EAAE,EAAE,OAAO,QAG7D;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAMtF;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,QAI9C;AA8ED,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,QAK3C;AAED,wBAAgB,eAAe,CAAC,EAAE,KAAK,EAAE,EAAE,OAAO,QAGjD;AAED,wBAAgB,UAAU,CAAC,EAAE,KAAK,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,QAEnE;AAsBD,wBAAgB,IAAI,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAepD;AAED,wBAAgB,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAIpE;AAED,wBAAgB,WAAW,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAE3D;AAED,wBAAgB,YAAY,CAAC,EAAE,MAAM,EAAE,EAAE,OAAO,GAAG,MAAM,CAExD;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAK5D;AAYD,wBAAsB,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,UAAU,EAAE,CAAC,CAKjG;AAcD,wBAAgB,gBAAgB,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAuBhF;AAED,wBAAgB,cAAc,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,QAIpE;AAED,wBAAsB,IAAI,CACxB,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,aAAa,GAAG,IAAI,EAC9B,IAAI,GAAE,IAAqC,iBAgC5C"}

package/dist/shown.js

@@ -0,0 +1,295 @@
+import { conversationsChanged, conversationsLearned } from './conversation.js';
+import { listingNow, list, patchedListing, shownRooms } from './listing.js';
+import { emitPresentation, publishRoomDrafts } from './room-drafts.js';
+import { same } from './status.js';
+export const ROOMS_TOPIC = 'rooms';
+export const STATUS_TOPIC = 'sync-status';
+export const REFUSAL_TOPIC = 'connection-refusal';
+export const STORAGE_LOSS_TOPIC = 'storage-loss';
+export const SERVICE_MODE_TOPIC = 'service-mode';
+export const MEMBER_TOPIC = 'member';
+export const AUTHORITY_TOPIC = 'authority-changes';
+export const LOCKS_TOPIC = 'locks';
+export const queueTopic = (locator) => `queue\u0000${locator}`;
+async function attended({ store, localSaves }) {
+    const isFenced = store.fences.has;
+    const held = await (await store.open()).status();
+    const attentionRequired = held.returned.flatMap((record) => record.returned === null || isFenced(record.locator)
+        ? []
+        : [{ room: record.locator, path: record.path, returned: structuredClone(record.returned) }]);
+    attentionRequired.sort((left, right) => {
+        if (left.room !== right.room)
+            return left.room < right.room ? -1 : 1;
+        if (left.path !== right.path)
+            return left.path < right.path ? -1 : 1;
+        return 0;
+    });
+    const changed = new Map();
+    if (!localSaves) {
+        for (const change of held.unsent) {
+            if (!isFenced(change.room))
+                changed.set(`${change.room}\u0000${change.path}`, change);
+        }
+    }
+    const unsent = [...changed]
+        .sort(([left], [right]) => (left < right ? -1 : left > right ? 1 : 0))
+        .map(([, change]) => change);
+    return {
+        queued: !localSaves && held.queued.some((locator) => !isFenced(locator)),
+        lastCompleted: held.lastCompleted,
+        attentionRequired,
+        unsent,
+        reset: held.resets.reduce((earliest, { locator, reset }) => isFenced(locator) || (earliest !== null && earliest <= reset) ? earliest : reset, null),
+    };
+}
+async function queuedWork({ store, localSaves }) {
+    const held = await (await store.open()).queued();
+    return !localSaves && held.some((locator) => !store.fences.has(locator));
+}
+export function recoverReads({ liveQueries, figures }) {
+    liveQueries.recover();
+    figures.recover();
+}
+export function emitRooms(runtime, changed) {
+    recoverReads(runtime);
+    runtime.store.readiness.queue();
+    return changed === undefined
+        ? publishRooms(runtime, 'all')
+        : publishRooms(runtime, 'changed', changed);
+}
+export function emitKnownRooms(runtime) {
+    conversationsLearned(runtime.conversations);
+    if (runtime.store.watching(ROOMS_TOPIC, 'waiting').length === 0)
+        return;
+    void publishRooms(runtime, 'known');
+}
+function roomsOwedWith(held, mode, touched) {
+    if (held === undefined) {
+        return {
+            all: mode === 'all',
+            changed: new Set(mode === 'changed' ? touched : []),
+            counted: new Set(mode === 'changed' ? [] : touched),
+        };
+    }
+    held.all ||= mode === 'all';
+    for (const locator of touched) {
+        (mode === 'changed' ? held.changed : held.counted).add(locator);
+    }
+    return held;
+}
+async function deliverRooms(runtime, owed) {
+    const { store, socket } = runtime;
+    const waiting = () => store.watching(ROOMS_TOPIC, 'waiting');
+    if (socket.closed() || store.watching(ROOMS_TOPIC).length === 0)
+        return;
+    const patched = owed.all || owed.changed.size === 0 || waiting().length > 0
+        ? null
+        : await patchedListing(runtime, new Set([...owed.changed, ...owed.counted]));
+    if (patched === null && owed.changed.size > 0)
+        owed.all = true;
+    if (patched === null && !owed.all && owed.counted.size > 0) {
+        const held = await store.covering().catch(() => null);
+        if (held === null)
+            return;
+        const { roomsShown } = store.device.now();
+        owed.all = [...owed.counted].some((locator) => held.rooms.has(locator) &&
+            roomsShown?.get(locator)?.documents !== held.rooms.get(locator).documents);
+        if (owed.all) {
+            recoverReads(runtime);
+            store.readiness.queue();
+        }
+        else if (waiting().length === 0)
+            return;
+    }
+    const listing = patched ?? (await listingNow(runtime).catch(() => null));
+    if (listing === null || socket.closed())
+        return;
+    const value = shownRooms(runtime, listing);
+    const { roomsListed, refusal, moving } = socket.session.now();
+    const joining = waiting().length > 0 &&
+        (roomsListed || listing.size > 0 || refusal !== null || moving.providerUnreachable);
+    if (!owed.all && patched === null && !joining)
+        return;
+    const { roomsShown } = store.device.now();
+    const moved = owed.all ||
+        patched !== null ||
+        (roomsShown !== null &&
+            JSON.stringify(shownRooms(runtime, roomsShown)) !== JSON.stringify(value));
+    if (moved)
+        for (const watcher of store.watching(ROOMS_TOPIC, 'ready'))
+            watcher.answer(value);
+    if (joining)
+        for (const watcher of waiting())
+            watcher.answer(value);
+    store.device.set({
+        roomsShown: store.watching(ROOMS_TOPIC, 'ready').length === 0 ? null : listing,
+    });
+}
+function publishRooms(runtime, mode, touched = []) {
+    if (runtime.socket.closed())
+        return Promise.resolve();
+    return runtime.store.owing(ROOMS_TOPIC, (held) => roomsOwedWith(held, mode, touched), (owed) => deliverRooms(runtime, owed));
+}
+export function emitRefusal(runtime) {
+    const { store, socket } = runtime;
+    store.readiness.queue();
+    store.tell(REFUSAL_TOPIC, socket.session.now().refusal);
+    emitKnownRooms(runtime);
+}
+export function emitStorageLoss({ store }) {
+    store.readiness.queue();
+    store.tell(STORAGE_LOSS_TOPIC, store.device.now().storageLoss);
+}
+export function emitMember({ store }, member) {
+    store.tell(MEMBER_TOPIC, member);
+}
+async function deliverStatus(runtime, owed) {
+    const { store, socket } = runtime;
+    const held = await attended(runtime);
+    if (socket.closed())
+        return;
+    for (const { moving, current } of owed) {
+        const state = moving.resting && held.queued ? 'pending' : moving.state;
+        const next = {
+            state: state === 'synced' && !current ? 'syncing' : state,
+            lastCompleted: held.lastCompleted,
+            providerUnreachable: moving.providerUnreachable,
+            attentionRequired: held.attentionRequired,
+            unsent: held.unsent,
+            reset: held.reset,
+        };
+        if (same(store.device.now().status, next))
+            continue;
+        store.device.set({ status: next });
+        store.tell(STATUS_TOPIC, next);
+    }
+}
+export function show(runtime) {
+    const { store, socket, conversations } = runtime;
+    if (socket.closed())
+        return Promise.resolve();
+    store.readiness.queue();
+    emitKnownRooms(runtime);
+    const moved = { moving: socket.session.now().moving, current: conversations.current() };
+    return store.owing(STATUS_TOPIC, (held) => {
+        if (held === undefined)
+            return [moved];
+        held.push(moved);
+        return held;
+    }, (owed) => deliverStatus(runtime, owed));
+}
+export function moveTo(runtime, next) {
+    if (runtime.socket.closed())
+        return Promise.resolve();
+    runtime.socket.session.set({ moving: next });
+    return show(runtime);
+}
+export function statusShown(runtime) {
+    return moveTo(runtime, runtime.socket.session.now().moving);
+}
+export function transferring({ socket }) {
+    return { ...socket.session.now().moving, state: 'syncing', resting: false };
+}
+export function pendingShown(runtime) {
+    const { socket, localSaves } = runtime;
+    if (!localSaves)
+        socket.session.set({ recorded: false });
+    const { moving } = socket.session.now();
+    return moveTo(runtime, localSaves ? moving : { ...moving, state: 'pending', resting: false });
+}
+function entryOf({ localSaves }, states, batch) {
+    if (localSaves)
+        return Object.freeze({ batch, state: 'local' });
+    const state = states.get(batch.id);
+    return Object.freeze({ batch, ...(state?.submission ?? { state: 'waiting' }) });
+}
+export async function entriesOf(runtime, locator) {
+    const { store } = runtime;
+    if (store.fences.has(locator))
+        return [];
+    const { queue, states } = await store.work(locator);
+    return queue.map((batch) => entryOf(runtime, states, batch));
+}
+function emitQueue(runtime, locator) {
+    const { store, socket } = runtime;
+    const listening = () => store.watching(queueTopic(locator));
+    if (socket.closed() || listening().length === 0)
+        return Promise.resolve();
+    return store.publication(async () => {
+        if (socket.closed() || listening().length === 0)
+            return;
+        const entries = await entriesOf(runtime, locator);
+        if (socket.closed())
+            return;
+        for (const watcher of listening())
+            watcher.answer(entries);
+    });
+}
+export function publishChangeSet(runtime, set) {
+    const { store, liveQueries, figures, conversations } = runtime;
+    liveQueries.touched(set);
+    figures.touched(set);
+    for (const { locator, path } of set.documents) {
+        if (path !== null)
+            store.attached.drop(locator, path);
+    }
+    const shownNow = [];
+    if (set.queues.length > 0 || set.drafts.length > 0)
+        shownNow.push(show(runtime));
+    if (set.rooms.length > 0)
+        shownNow.push(emitRooms(runtime, set.rooms));
+    else if (set.documents.length > 0) {
+        shownNow.push(publishRooms(runtime, 'counted', [...new Set(set.documents.map(({ locator }) => locator))]));
+    }
+    for (const locator of set.queues)
+        shownNow.push(emitQueue(runtime, locator));
+    if (set.drafts.length > 0)
+        shownNow.push(publishRoomDrafts(runtime, false));
+    else if (set.documents.length > 0) {
+        shownNow.push(publishRoomDrafts(runtime, false, set.documents));
+    }
+    for (const app of set.presentations)
+        shownNow.push(emitPresentation(runtime, app));
+    conversationsChanged(conversations, set);
+    return Promise.all(shownNow).then(() => undefined);
+}
+export function roomUnreadable(runtime, room) {
+    runtime.socket.rooms.stand(room.locator, { unreadable: true });
+    list(runtime, room, false);
+    emitRooms(runtime);
+}
+export async function rest(runtime, progress, live = () => !runtime.socket.closed()) {
+    const { store, socket } = runtime;
+    const { session, lanes, rooms } = socket;
+    if (!live())
+        return;
+    const settled = () => session.now().complete &&
+        lanes.roomWork() === 0 &&
+        !socket.naming() &&
+        rooms.standingWhere(({ stale }) => stale).length === 0;
+    let synced = settled();
+    if (synced && !session.now().recorded) {
+        const queued = await queuedWork(runtime).catch(() => true);
+        if (!live())
+            return;
+        synced = !queued && settled();
+    }
+    if (synced && !session.now().recorded) {
+        const completedAt = new Date().toISOString();
+        try {
+            await (await store.open()).fact('lastCompleted', completedAt);
+            if (!live())
+                return;
+            session.set({ recorded: true });
+        }
+        catch {
+            synced = false;
+        }
+    }
+    const { complete, moving } = session.now();
+    moveTo(runtime, {
+        state: synced && complete && lanes.roomWork() === 0 && !socket.naming() ? 'synced' : 'syncing',
+        providerUnreachable: progress === null ? moving.providerUnreachable : !progress.reachable,
+        resting: true,
+    });
+}