@agentshouse/mdruntime 0.1.0-c49444f2a8fc6 → 0.1.0-c4ef58fbdca7b

package/dist/messages.d.ts

@@ -2,7 +2,7 @@ import type { AcceptedMessage } from './adapter.js';
 import type { JobMarker } from './job.js';
 import type { Connection } from './tables.js';
 export declare const MESSAGE_TABLES: readonly string[];
-export declare const ROWS = "WITH chosen AS (\n    SELECT listed.value AS conversation,\n      (SELECT id FROM conversation_messages WHERE conversation = listed.value AND json_extract(message, '$.role') = 'assistant' ORDER BY position DESC, identity DESC LIMIT 1) AS answer,\n      (SELECT id FROM conversation_messages WHERE conversation = listed.value AND text <> '' ORDER BY position DESC, identity DESC LIMIT 1) AS said,\n      (SELECT id FROM conversation_messages WHERE conversation = listed.value AND json_extract(message, '$.role') = 'house' ORDER BY position, identity LIMIT 1) AS opened,\n      (SELECT id FROM conversation_messages WHERE conversation = listed.value AND json_extract(message, '$.role') = 'house' AND json_extract(message, '$.waiting') = 1 ORDER BY position, identity LIMIT 1) AS asking\n    FROM json_each(?) AS listed\n  )\n  SELECT chosen.conversation AS conversation,\n    substr(said.text, 1, 512) AS said_text,\n    json_extract(said.message, '$.role') AS said_role,\n    json_extract(said.message, '$.accepted_at') AS said_at,\n    substr(json_extract(answer.message, '$.failure'), 1, 512) AS failure,\n    json_extract(opened.message, '$.source') AS opened_source,\n    json_extract(opened.message, '$.sender') AS opened_sender,\n    asking.identity AS asking_identity,\n    substr(asking.text, 1, 512) AS asking_text,\n    json_extract(asking.message, '$.accepted_at') AS asking_at,\n    json_extract(asking.message, '$.source') AS asking_source,\n    json_extract(asking.message, '$.sender') AS asking_sender\n  FROM chosen\n  LEFT JOIN conversation_messages said ON said.id = chosen.said\n  LEFT JOIN conversation_messages answer ON answer.id = chosen.answer\n  LEFT JOIN conversation_messages opened ON opened.id = chosen.opened\n  LEFT JOIN conversation_messages asking ON asking.id = chosen.asking";
+export declare const ROWS = "WITH chosen AS (\n    SELECT listed.value AS conversation,\n      (SELECT id FROM conversation_messages WHERE conversation = listed.value AND json_extract(message, '$.role') = 'assistant' ORDER BY position DESC, identity DESC LIMIT 1) AS answer,\n      (SELECT id FROM conversation_messages WHERE conversation = listed.value AND text <> '' ORDER BY position DESC, identity DESC LIMIT 1) AS said,\n      (SELECT id FROM conversation_messages WHERE conversation = listed.value AND json_extract(message, '$.role') = 'house' ORDER BY position, identity LIMIT 1) AS opened,\n      (SELECT id FROM conversation_messages WHERE conversation = listed.value AND json_extract(message, '$.role') = 'house' AND json_extract(message, '$.waiting') = 1 ORDER BY position, identity LIMIT 1) AS asking\n    FROM json_each(?) AS listed\n  )\n  SELECT chosen.conversation AS conversation,\n    substr(said.text, 1, 512) AS said_text,\n    json_extract(said.message, '$.role') AS said_role,\n    json_extract(said.message, '$.accepted_at') AS said_at,\n    substr(json_extract(answer.message, '$.failure'), 1, 512) AS failure,\n    json_extract(opened.message, '$.source') AS opened_source,\n    json_extract(opened.message, '$.sender') AS opened_sender,\n    asking.identity AS asking_identity,\n    asking.text AS asking_text,\n    json_extract(asking.message, '$.accepted_at') AS asking_at,\n    json_extract(asking.message, '$.source') AS asking_source,\n    json_extract(asking.message, '$.sender') AS asking_sender\n  FROM chosen\n  LEFT JOIN conversation_messages said ON said.id = chosen.said\n  LEFT JOIN conversation_messages answer ON answer.id = chosen.answer\n  LEFT JOIN conversation_messages opened ON opened.id = chosen.opened\n  LEFT JOIN conversation_messages asking ON asking.id = chosen.asking";
 export declare const JOB_MARKERS = "SELECT json_extract(part.value, '$.text') AS said,\n    json_extract(message, '$.accepted_at') AS at\n  FROM conversation_messages, json_each(message, '$.parts') AS part\n  WHERE conversation = ? AND instr(message, '\"marker\":\"job\"') > 0\n    AND json_extract(part.value, '$.type') = 'marker'\n    AND json_extract(part.value, '$.marker') = 'job'\n  ORDER BY position, identity, part.key";
 export type HeldConversation = {
     readonly conversation: string;

package/dist/messages.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"messages.d.ts","sourceRoot":"","sources":["../src/messages.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAE1C,OAAO,KAAK,EAAE,UAAU,EAAc,MAAM,aAAa,CAAC;AAQ1D,eAAO,MAAM,cAAc,EAAE,SAAS,MAAM,EAQ3C,CAAC;AAQF,eAAO,MAAM,IAAI,qxDAwBqD,CAAC;AAEvE,eAAO,MAAM,WAAW,2YAMgB,CAAC;AAEzC,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,eAAe,EAAE,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAE7F,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC;AAEtF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE;QACb,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;QAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;KAC5B,GAAG,IAAI,CAAC;IACT,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,MAAM,EACX,CAAC,UAAU,GAAG;QACZ,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;KAC5B,CAAC,GACF,IAAI,CAAC;CACV,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAC;IAC9C,QAAQ,CAAC,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;CAC3E,CAAC;AAMF,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,UAAU,EACtB,aAAa,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,GACtC,gBAAgB,EAAE,CA0BpB;AAED,wBAAgB,YAAY,CAC1B,UAAU,EAAE,UAAU,EACtB,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,iBAAiB,GAClD,IAAI,CA+BN;AAkBD,wBAAgB,aAAa,CAC3B,UAAU,EAAE,UAAU,EACtB,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,EACxC,MAAM,EAAE,MAAM,GAAG,IAAI,GACpB,aAAa,CAWf;AAED,wBAAgB,YAAY,CAC1B,UAAU,EAAE,UAAU,EACtB,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,MAAM,GAAG,IAAI,GACpB,MAAM,CAOR;AAaD,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,UAAU,EACtB,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B,OAAO,EAAE,CAuBX;AAED,wBAAgB,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,GAAG,SAAS,EAAE,CAIpF;AAED,wBAAgB,WAAW,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAO/F;AAED,wBAAgB,eAAe,CAAC,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAK9F;AAED,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAG9D"}
+{"version":3,"file":"messages.d.ts","sourceRoot":"","sources":["../src/messages.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,UAAU,CAAC;AAE1C,OAAO,KAAK,EAAE,UAAU,EAAc,MAAM,aAAa,CAAC;AAQ1D,eAAO,MAAM,cAAc,EAAE,SAAS,MAAM,EAQ3C,CAAC;AAQF,eAAO,MAAM,IAAI,qwDAwBqD,CAAC;AAEvE,eAAO,MAAM,WAAW,2YAMgB,CAAC;AAEzC,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,eAAe,EAAE,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAE7F,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC;AAEtF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE;QACb,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;QAC7B,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;KAC5B,GAAG,IAAI,CAAC;IACT,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,MAAM,EACX,CAAC,UAAU,GAAG;QACZ,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;QAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;KAC5B,CAAC,GACF,IAAI,CAAC;CACV,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,SAAS,eAAe,EAAE,CAAC;IAC9C,QAAQ,CAAC,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,CAAC;QAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,CAAC;CAC3E,CAAC;AAMF,wBAAgB,iBAAiB,CAC/B,UAAU,EAAE,UAAU,EACtB,aAAa,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,GACtC,gBAAgB,EAAE,CA0BpB;AAED,wBAAgB,YAAY,CAC1B,UAAU,EAAE,UAAU,EACtB,EAAE,YAAY,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,iBAAiB,GAClD,IAAI,CA+BN;AAkBD,wBAAgB,aAAa,CAC3B,UAAU,EAAE,UAAU,EACtB,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,IAAI,EACxC,MAAM,EAAE,MAAM,GAAG,IAAI,GACpB,aAAa,CAWf;AAED,wBAAgB,YAAY,CAC1B,UAAU,EAAE,UAAU,EACtB,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,MAAM,GAAG,IAAI,GACpB,MAAM,CAOR;AAaD,wBAAgB,gBAAgB,CAC9B,UAAU,EAAE,UAAU,EACtB,aAAa,EAAE,SAAS,MAAM,EAAE,GAC/B,OAAO,EAAE,CAuBX;AAED,wBAAgB,UAAU,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,GAAG,SAAS,EAAE,CAIpF;AAED,wBAAgB,WAAW,CAAC,UAAU,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAO/F;AAED,wBAAgB,eAAe,CAAC,UAAU,EAAE,UAAU,EAAE,aAAa,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAK9F;AAED,wBAAgB,iBAAiB,CAAC,UAAU,EAAE,UAAU,GAAG,IAAI,CAG9D"}

package/dist/messages.js

@@ -31,7 +31,7 @@ export const ROWS = `WITH chosen AS (
     json_extract(opened.message, '$.source') AS opened_source,
     json_extract(opened.message, '$.sender') AS opened_sender,
     asking.identity AS asking_identity,
-    substr(asking.text, 1, ${EXCERPT}) AS asking_text,
+    asking.text AS asking_text,
     json_extract(asking.message, '$.accepted_at') AS asking_at,
     json_extract(asking.message, '$.source') AS asking_source,
     json_extract(asking.message, '$.sender') AS asking_sender

package/dist/models.d.ts

@@ -0,0 +1,14 @@
+import type { ScopedRefusal } from './adapter.js';
+import { type ModelState } from './model.js';
+import { type ReplicaRecord } from './replica.js';
+import type { Runtime } from './runtime.js';
+import type { RoomDeclaration } from './socket.js';
+import type { RuntimeStore } from './store.js';
+export declare function declaredAsHeld(held: ReplicaRecord | undefined, room: RoomDeclaration): boolean;
+export declare function revoked(model: ModelState | undefined): boolean;
+export declare function keepNaming(runtime: Runtime, local: RuntimeStore, room: RoomDeclaration): Promise<void>;
+export declare function retainModel(runtime: Runtime, local: RuntimeStore, room: RoomDeclaration, given: ModelState | null): Promise<void>;
+export declare function scoped(runtime: Runtime, result: ScopedRefusal, room: RoomDeclaration, local: RuntimeStore): Promise<void>;
+export declare function settleModels(runtime: Runtime, held: readonly RoomDeclaration[], status: 'current' | 'cached', local: RuntimeStore): Promise<void>;
+export declare function cachedModels(runtime: Runtime, local: RuntimeStore): Promise<void>;
+//# sourceMappingURL=models.d.ts.map

package/dist/models.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"models.d.ts","sourceRoot":"","sources":["../src/models.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAKlD,OAAO,EAAY,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,EAAgB,KAAK,aAAa,EAAE,MAAM,cAAc,CAAC;AAChE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAG5C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,wBAAgB,cAAc,CAAC,IAAI,EAAE,aAAa,GAAG,SAAS,EAAE,IAAI,EAAE,eAAe,GAAG,OAAO,CAQ9F;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAE9D;AAMD,wBAAsB,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,eAAe,iBAqB5F;AAMD,wBAAsB,WAAW,CAC/B,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,YAAY,EACnB,IAAI,EAAE,eAAe,EACrB,KAAK,EAAE,UAAU,GAAG,IAAI,iBAsDzB;AAED,wBAAsB,MAAM,CAC1B,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,aAAa,EACrB,IAAI,EAAE,eAAe,EACrB,KAAK,EAAE,YAAY,iBA0BpB;AAED,wBAAsB,YAAY,CAChC,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,SAAS,eAAe,EAAE,EAChC,MAAM,EAAE,SAAS,GAAG,QAAQ,EAC5B,KAAK,EAAE,YAAY,iBAsDpB;AAED,wBAAsB,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAcvF"}

package/dist/models.js

@@ -0,0 +1,193 @@
+import { changeSet } from './change-set.js';
+import { composedOf } from './collection.js';
+import { admitted, declarationOf, list, listedLocators } from './listing.js';
+import { loseRooms } from './lost.js';
+import { NO_MODEL } from './model.js';
+import { storedRecord } from './replica.js';
+import { overlayDiff, preparedAfter, replayed, sliceAt } from './saves.js';
+import { emitRooms } from './shown.js';
+export function declaredAsHeld(held, room) {
+    return (held === undefined ||
+        (JSON.stringify(held.operations) === JSON.stringify(room.operations) &&
+            JSON.stringify(held.replica) === JSON.stringify(room.replica) &&
+            JSON.stringify(held.providerOwnedPaths) === JSON.stringify(room.providerOwnedPaths) &&
+            JSON.stringify(held.typedSelection) === JSON.stringify(room.typedSelection ?? null)));
+}
+export function revoked(model) {
+    return model?.status === 'unavailable' && model.reason === 'revoked';
+}
+function unheldModelOf({ socket }, locator) {
+    return socket.rooms.standing(locator).unheldModel ?? NO_MODEL;
+}
+export async function keepNaming(runtime, local, room) {
+    const { store, socket } = runtime;
+    const held = await store.record(room.locator);
+    if (held === undefined || (held.name === room.name && held.handle === room.handle))
+        return;
+    await store.exclusive(async () => {
+        if (!socket.continuing())
+            return;
+        const current = await store.record(room.locator);
+        if (current === undefined)
+            return;
+        const record = { ...current, name: room.name, handle: room.handle };
+        await local.commit({
+            rooms: [
+                {
+                    locator: room.locator,
+                    key: record.key,
+                    record: storedRecord(record),
+                    composed: composedOf(store.composed(record)),
+                },
+            ],
+        });
+        emitRooms(runtime);
+    });
+}
+async function modelNow(runtime, locator) {
+    return (await runtime.store.record(locator))?.model ?? unheldModelOf(runtime, locator);
+}
+export async function retainModel(runtime, local, room, given) {
+    const { store, socket } = runtime;
+    const held = await store.record(room.locator);
+    const previous = held?.model ?? unheldModelOf(runtime, room.locator);
+    const next = given ?? previous;
+    if (JSON.stringify(previous) === JSON.stringify(next) && declaredAsHeld(held, room))
+        return;
+    await store.exclusive(async () => {
+        if (!socket.continuing())
+            return;
+        const work = await store.work(room.locator);
+        const current = work.replica;
+        let changed = null;
+        if (current !== undefined) {
+            const record = {
+                ...current.record,
+                name: room.name,
+                handle: room.handle,
+                operations: room.operations,
+                replica: room.replica,
+                providerOwnedPaths: room.providerOwnedPaths,
+                typedSelection: room.typedSelection ?? null,
+                model: next,
+            };
+            const confirmedLayer = await sliceAt(store, record, 'confirmed', current.queue, current.overlaid);
+            const replayedLayer = await replayed(store, record, confirmedLayer, current.queue);
+            const diff = await overlayDiff(record, current, replayedLayer.visible, replayedLayer.touched);
+            const answer = await local.commit({
+                rooms: [
+                    {
+                        locator: room.locator,
+                        key: record.key,
+                        record: storedRecord(record),
+                        roots: record.typedSelection?.roots ?? [],
+                        composed: composedOf(store.composed(record)),
+                        overlay: diff.overlay,
+                    },
+                ],
+            });
+            preparedAfter(runtime, room.locator, answer);
+            changed = changeSet(room.locator, {
+                documents: answer.changed[room.locator] ?? [],
+                room: true,
+            });
+        }
+        else
+            socket.rooms.stand(room.locator, { unheldModel: next });
+        list(runtime, room, admitted(runtime, room));
+        if (changed === null)
+            emitRooms(runtime);
+        else
+            store.changed(changed);
+    });
+}
+export async function scoped(runtime, result, room, local) {
+    const { socket, journal } = runtime;
+    if (result.scope === 'content' && !result.retryable) {
+        journal.record(`scoped refusal ${room.locator} ${result.scope} ${result.code}`);
+        await loseRooms(runtime, [room.locator]);
+        return;
+    }
+    socket.rooms.stand(room.locator, {
+        refusal: { code: result.code, fields: result.fields, retryable: result.retryable },
+    });
+    let scopedAway = room;
+    if (result.scope === 'model')
+        await retainModel(runtime, local, room, {
+            status: 'unavailable',
+            reason: 'not-readable',
+        });
+    else if (result.scope !== 'operation') {
+        socket.rooms.stand(room.locator, { unreadable: true });
+        scopedAway = { ...room, replica: { ...room.replica, admission: 'unavailable' } };
+        await retainModel(runtime, local, scopedAway, null);
+    }
+    if (!socket.continuing())
+        return;
+    list(runtime, scopedAway, admitted(runtime, scopedAway));
+    emitRooms(runtime);
+    journal.record(`scoped refusal ${room.locator} ${result.scope} ${result.code}`);
+}
+export async function settleModels(runtime, held, status, local) {
+    const { store, socket, journal } = runtime;
+    const owed = (model) => model.status !== 'unavailable' && model.status !== status;
+    const declaredAnew = await store.exclusive(async () => {
+        if (!socket.continuing())
+            return [];
+        const stored = await store.rooms(held.map(({ locator }) => locator));
+        const unchanged = held.filter((room) => {
+            const record = stored.get(room.locator)?.record;
+            return (owed(record?.model ?? unheldModelOf(runtime, room.locator)) && declaredAsHeld(record, room));
+        });
+        const records = unchanged.flatMap((room) => {
+            const record = stored.get(room.locator)?.record;
+            return record === undefined
+                ? []
+                : [{ ...record, model: { ...record.model, status } }];
+        });
+        if (records.length > 0) {
+            try {
+                await local.commit({
+                    rooms: records.map((record) => ({
+                        locator: record.locator,
+                        key: record.key,
+                        record: storedRecord(record),
+                        composed: composedOf(store.composed(record)),
+                    })),
+                });
+            }
+            catch {
+                journal.record(`model ${status} persistence failed`);
+            }
+        }
+        for (const room of unchanged) {
+            const { unheldModel } = socket.rooms.standing(room.locator);
+            if (!stored.has(room.locator) && unheldModel !== null) {
+                socket.rooms.stand(room.locator, {
+                    unheldModel: { ...unheldModel, status },
+                });
+            }
+            list(runtime, room, admitted(runtime, room));
+        }
+        if (unchanged.length > 0)
+            emitRooms(runtime);
+        return held.filter((room) => {
+            const record = stored.get(room.locator)?.record;
+            return (!unchanged.includes(room) && owed(record?.model ?? unheldModelOf(runtime, room.locator)));
+        });
+    });
+    for (const room of declaredAnew) {
+        const model = await modelNow(runtime, room.locator);
+        if (owed(model))
+            await retainModel(runtime, local, room, { ...model, status });
+    }
+}
+export async function cachedModels(runtime, local) {
+    const { store, socket } = runtime;
+    const held = await store.rooms();
+    await settleModels(runtime, listedLocators(runtime, held).flatMap((locator) => {
+        const room = socket.rooms.discovered(locator) ??
+            declarationOf(runtime, locator, held.get(locator))?.room;
+        return room === undefined ? [] : [room];
+    }), 'cached', local);
+}

package/dist/opening.d.ts

@@ -0,0 +1,4 @@
+import type { Runtime } from './runtime.js';
+import type { RuntimeStore } from './store.js';
+export declare function open(runtime: Runtime, opened: RuntimeStore): Promise<RuntimeStore>;
+//# sourceMappingURL=opening.d.ts.map

package/dist/opening.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"opening.d.ts","sourceRoot":"","sources":["../src/opening.ts"],"names":[],"mappings":"AAKA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAE/C,wBAAsB,IAAI,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,CA2CxF"}

package/dist/opening.js

@@ -0,0 +1,57 @@
+import { conversationsOpened } from './conversation.js';
+import { detectStorageLoss, nextGeneration, refusedForSpace } from './durability.js';
+import { sweep } from './install.js';
+import { eraseFenced } from './lost.js';
+import { prepare } from './preparation.js';
+import { emitRooms, emitStorageLoss, statusShown } from './shown.js';
+export async function open(runtime, opened) {
+    const { store, socket, journal, shell, conversations, build, usableWhenHeld } = runtime;
+    if (socket.closed())
+        throw new Error('runtime closed');
+    const interrupted = await opened.fences();
+    const kept = 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 shell.keepGeneration(generation);
+    if (loss !== null) {
+        store.device.set({ storageLoss: loss });
+        emitStorageLoss(runtime);
+    }
+    const held = await opened.opened();
+    store.device.set({
+        heldWhenOpened: usableWhenHeld.length > 0 && (await opened.covering()).rooms.size > 0,
+    });
+    try {
+        await opened.demote();
+        await store.ask({ kind: 'read.builds', build });
+        for (const key of held.orphans)
+            await opened.release(key);
+    }
+    catch (error) {
+        if (!refusedForSpace(error))
+            throw error;
+    }
+    if (held.erasing || held.orphans.length > 0)
+        queueMicrotask(() => sweep(runtime));
+    await conversationsOpened(conversations, opened);
+    if (interrupted.length > 0) {
+        queueMicrotask(() => {
+            void eraseFenced(runtime, interrupted).catch(() => {
+                journal.record('erasure failed');
+            });
+        });
+    }
+    statusShown(runtime);
+    prepare(runtime);
+    emitRooms(runtime);
+    void store
+        .exclusive(() => runtime.unpair(opened))
+        .catch(() => {
+        journal.record('unpair failed');
+    });
+    return opened;
+}

package/dist/outcome.d.ts

@@ -13,7 +13,9 @@ export type CallResult = {
     kind: 'action';
     result: unknown;
     at?: RoomVersionAt;
-} | Refused<'rejected'> | Refused<'undeclared'> | Failure;
+} | (Refused<'rejected'> & {
+    reset?: string;
+}) | Refused<'undeclared'> | Failure;
 export type HistoryAnswer = Exclude<HistoryResult, {
     kind: Failure['kind'];
 }> | Failure;
@@ -65,6 +67,7 @@ export type Offline = {
     readonly kind: 'offline';
 };
 export declare const OFFLINE: Offline;
+export declare function answeredResult(value: unknown): boolean;
 export declare const UNCERTAIN: Failure;
 export declare function undeclared(name: string): CallResult;
 export declare function failure(result: AdapterFailure): Failure;

package/dist/outcome.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"outcome.d.ts","sourceRoot":"","sources":["../src/outcome.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,eAAe,EACf,aAAa,EACb,aAAa,EACd,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE1D,KAAK,OAAO,CAAC,IAAI,SAAS,MAAM,IAAI,eAAe,GAAG;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAErE,MAAM,MAAM,OAAO,GACf,OAAO,CAAC,uBAAuB,CAAC,GAChC,OAAO,CAAC,uBAAuB,CAAC,GAChC,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,GACpD,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,GAC9C,aAAa,CAAC;AAElB,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,OAAO,CAAC;IAAC,EAAE,CAAC,EAAE,aAAa,CAAA;CAAE,GACvD,OAAO,CAAC,UAAU,CAAC,GACnB,OAAO,CAAC,YAAY,CAAC,GACrB,OAAO,CAAC;AAEZ,MAAM,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,EAAE;IAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;CAAE,CAAC,GAAG,OAAO,CAAC;AAExF,KAAK,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,OAAO,CAAC;AAEvE,MAAM,MAAM,YAAY,GACpB;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB,GACD,aAAa,CAAC;AAElB,MAAM,MAAM,gBAAgB,GAAG,UAAU,GAAG,aAAa,CAAC;AAE1D,MAAM,MAAM,gBAAgB,GACxB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAC9D,OAAO,CAAC,UAAU,CAAC,GACnB,OAAO,CAAC,QAAQ,CAAC,GACjB,OAAO,CAAC;AAEZ,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,gBAAgB,CAAC;AAE5D,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG,gBAAgB,CAAC;AAE1D,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClC,OAAO,GACP,OAAO,CAAC,UAAU,CAAC,GACnB,OAAO,CAAC;AAEZ,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB,OAAO,CAAC,UAAU,CAAC,GACnB,OAAO,CAAC,QAAQ,CAAC,GACjB,OAAO,CAAC,SAAS,CAAC,GAClB,OAAO,CAAC;AAEZ,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC3E;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;CACpC,GACD,OAAO,CAAC,YAAY,CAAC,GACrB,OAAO,CAAC,QAAQ,CAAC,GACjB,OAAO,CAAC;AAEZ,eAAO,MAAM,UAAU,EAAE,OAAO,CAAC,YAAY,CAK5C,CAAC;AAEF,eAAO,MAAM,iBAAiB,EAAE,OAAO,CAAC,YAAY,CAKnD,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,OAAO,CAAC,QAAQ,CAK3C,CAAC;AAEF,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAE5D;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,GAAG,gBAAgB,CAEjE;AAID,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,gBAAgB,CAU1F;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,YAAY,GAAG,YAAY,CAG/D;AAED,eAAO,MAAM,WAAW,gBAAgB,CAAC;AAEzC,wBAAgB,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAExF;AAED,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAEnD,eAAO,MAAM,OAAO,EAAE,OAA6B,CAAC;AAEpD,eAAO,MAAM,SAAS,EAAE,OAKvB,CAAC;AAEF,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAEnD;AAED,wBAAgB,OAAO,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAiBvD;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,YAAY,GAAG,UAAU,CAE7D;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,aAAa,GAAG,aAAa,CAIlE;AAED,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,WAAW,CAAA;CAAE,GAC3C;IAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAExD,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GAAG,CACvD,UAAU,GACV;IAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAC9B,CAAC"}
+{"version":3,"file":"outcome.d.ts","sourceRoot":"","sources":["../src/outcome.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,aAAa,EACb,eAAe,EACf,eAAe,EACf,aAAa,EACb,aAAa,EACd,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAC/C,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE1D,KAAK,OAAO,CAAC,IAAI,SAAS,MAAM,IAAI,eAAe,GAAG;IAAE,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAErE,MAAM,MAAM,OAAO,GACf,OAAO,CAAC,uBAAuB,CAAC,GAChC,OAAO,CAAC,uBAAuB,CAAC,GAChC,CAAC,OAAO,CAAC,mBAAmB,CAAC,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,GACpD,CAAC,OAAO,CAAC,aAAa,CAAC,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC,GAC9C,aAAa,CAAC;AAElB,MAAM,MAAM,UAAU,GAClB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,OAAO,CAAC;IAAC,EAAE,CAAC,EAAE,aAAa,CAAA;CAAE,GACvD,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG;IAAE,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC,GAC1C,OAAO,CAAC,YAAY,CAAC,GACrB,OAAO,CAAC;AAEZ,MAAM,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,EAAE;IAAE,IAAI,EAAE,OAAO,CAAC,MAAM,CAAC,CAAA;CAAE,CAAC,GAAG,OAAO,CAAC;AAExF,KAAK,aAAa,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,OAAO,CAAC,QAAQ,CAAC,GAAG,OAAO,CAAC;AAEvE,MAAM,MAAM,YAAY,GACpB;IACE,IAAI,EAAE,QAAQ,CAAC;IACf,MAAM,EAAE,cAAc,CAAC,UAAU,CAAC,CAAC;IACnC,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE,MAAM,CAAC;CACnB,GACD,aAAa,CAAC;AAElB,MAAM,MAAM,gBAAgB,GAAG,UAAU,GAAG,aAAa,CAAC;AAE1D,MAAM,MAAM,gBAAgB,GACxB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAA;CAAE,GAC9D,OAAO,CAAC,UAAU,CAAC,GACnB,OAAO,CAAC,QAAQ,CAAC,GACjB,OAAO,CAAC;AAEZ,MAAM,MAAM,eAAe,GAAG,UAAU,GAAG,gBAAgB,CAAC;AAE5D,MAAM,MAAM,WAAW,GAAG,YAAY,GAAG,gBAAgB,CAAC;AAE1D,MAAM,MAAM,YAAY,GACpB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClC,OAAO,GACP,OAAO,CAAC,UAAU,CAAC,GACnB,OAAO,CAAC;AAEZ,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB,OAAO,CAAC,UAAU,CAAC,GACnB,OAAO,CAAC,QAAQ,CAAC,GACjB,OAAO,CAAC,SAAS,CAAC,GAClB,OAAO,CAAC;AAEZ,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC3E;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;CACpC,GACD,OAAO,CAAC,YAAY,CAAC,GACrB,OAAO,CAAC,QAAQ,CAAC,GACjB,OAAO,CAAC;AAEZ,eAAO,MAAM,UAAU,EAAE,OAAO,CAAC,YAAY,CAK5C,CAAC;AAEF,eAAO,MAAM,iBAAiB,EAAE,OAAO,CAAC,YAAY,CAKnD,CAAC;AAEF,eAAO,MAAM,aAAa,EAAE,OAAO,CAAC,QAAQ,CAK3C,CAAC;AAEF,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,QAAQ,CAAC,CAE5D;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,GAAG,gBAAgB,CAEjE;AAID,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,gBAAgB,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,gBAAgB,CAU1F;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,YAAY,GAAG,YAAY,CAG/D;AAED,eAAO,MAAM,WAAW,gBAAgB,CAAC;AAEzC,wBAAgB,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,CAAC,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAExF;AAED,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAEnD,eAAO,MAAM,OAAO,EAAE,OAA6B,CAAC;AAEpD,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAEtD;AAED,eAAO,MAAM,SAAS,EAAE,OAKvB,CAAC;AAEF,wBAAgB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,UAAU,CAEnD;AAED,wBAAgB,OAAO,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAiBvD;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,YAAY,GAAG,UAAU,CAE7D;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,aAAa,GAAG,aAAa,CAIlE;AAED,MAAM,MAAM,UAAU,GAClB;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,WAAW,CAAA;CAAE,GAC3C;IAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAExD,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GAAG,CACvD,UAAU,GACV;IAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAC9B,CAAC"}

package/dist/outcome.js

@@ -44,6 +44,9 @@ export function lockedRoom(locator) {
     return { kind: ROOM_LOCKED, locator, code: ROOM_LOCKED, fields: {}, retryable: true };
 }
 export const OFFLINE = { kind: 'offline' };
+export function answeredResult(value) {
+    return typeof value === 'object' && value !== null && !('pending' in value);
+}
 export const UNCERTAIN = {
     kind: 'transport-uncertainty',
     code: 'transport-uncertainty',

package/dist/preparation.d.ts

@@ -0,0 +1,20 @@
+import type { PlanReach } from './query.js';
+import { type PortReach } from './reach.js';
+import { type CodeAvailability, type ConnectionAvailability, type Readiness } from './readiness.js';
+import type { Runtime } from './runtime.js';
+export type ReadinessPort = {
+    readonly target: string;
+    readonly code: CodeAvailability;
+};
+export type ReadinessWatch = {
+    readonly port: ReadinessPort;
+    readonly reach: PortReach | null;
+    readonly deliver: (readiness: Readiness) => void;
+};
+export declare function prepare(runtime: Runtime, locators?: readonly string[]): void;
+export declare function roomsOfReach(reach: PlanReach): ReadonlySet<string>;
+export declare function connectionNow(runtime: Runtime): Promise<ConnectionAvailability>;
+export declare function deliverOwedReadiness(runtime: Runtime, owed: readonly ReadinessWatch[]): Promise<void>;
+export declare function watchReadiness({ store }: Runtime, port: ReadinessPort, reach: PortReach | null, deliver: (readiness: Readiness) => void): () => void;
+export declare function filled(runtime: Runtime): void;
+//# sourceMappingURL=preparation.d.ts.map

package/dist/preparation.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"preparation.d.ts","sourceRoot":"","sources":["../src/preparation.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAC5C,OAAO,EAAa,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,EAEL,KAAK,gBAAgB,EACrB,KAAK,sBAAsB,EAE3B,KAAK,SAAS,EAEf,MAAM,gBAAgB,CAAC;AAExB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAK5C,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,CAAC,SAAS,EAAE,SAAS,KAAK,IAAI,CAAC;CAClD,CAAC;AAuCF,wBAAgB,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,GAAE,SAAS,MAAM,EAAO,QA8BzE;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,CAElE;AAmDD,wBAAsB,aAAa,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,sBAAsB,CAAC,CAMrF;AAkFD,wBAAsB,oBAAoB,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,cAAc,EAAE,iBAI3F;AAED,wBAAgB,cAAc,CAC5B,EAAE,KAAK,EAAE,EAAE,OAAO,EAClB,IAAI,EAAE,aAAa,EACnB,KAAK,EAAE,SAAS,GAAG,IAAI,EACvB,OAAO,EAAE,CAAC,SAAS,EAAE,SAAS,KAAK,IAAI,GACtC,MAAM,IAAI,CAQZ;AAED,wBAAgB,MAAM,CAAC,OAAO,EAAE,OAAO,QAMtC"}

package/dist/preparation.js

@@ -0,0 +1,226 @@
+import { changeSet } from './change-set.js';
+import { installationOf } from './install.js';
+import { listedLocators } from './listing.js';
+import { planReach } from './reach.js';
+import { readinessOf, } from './readiness.js';
+import { roomOfKey } from './rows.js';
+import { recoverReads } from './shown.js';
+import { yielded } from './turn.js';
+async function prepareReplica(runtime, locator) {
+    const { store, socket } = runtime;
+    for (;;) {
+        const held = (await store.rooms([locator])).get(locator);
+        if (held === undefined || socket.closed() || held.indexed)
+            return;
+        const key = held.record.key;
+        const done = await store.exclusive(async () => {
+            const local = await store.open();
+            return store.rederive(local, key, store.composed(held.record));
+        });
+        if (!done.done)
+            continue;
+        if ((await store.rooms([locator])).get(locator)?.record.key !== key)
+            continue;
+        store.changed(changeSet(locator, { documents: null }));
+        recoverReads(runtime);
+        store.readiness.queue();
+        return;
+    }
+}
+async function unprepared({ store, socket }) {
+    const held = (await store.covering()).rooms;
+    return [...store.device.now().unpreparedDemand, ...held.keys()].find((locator) => !(held.get(locator)?.indexed ?? false) && !socket.rooms.standing(locator).unpreparable);
+}
+function unpreparedBy({ store, socket, journal }, locator, error) {
+    socket.rooms.stand(locator, { unpreparable: true });
+    journal.record(`preparation failed ${locator} ${error instanceof Error ? error.name : 'unknown'}`);
+    store.readiness.queue();
+}
+export function prepare(runtime, locators = []) {
+    const { store, socket, journal } = runtime;
+    const { device } = store;
+    if (locators.length > 0) {
+        device.set({ unpreparedDemand: new Set([...device.now().unpreparedDemand, ...locators]) });
+    }
+    if (device.now().preparing)
+        return;
+    device.set({ preparing: true });
+    void (async () => {
+        try {
+            for (let waiting = await unprepared(runtime); waiting !== undefined; waiting = await unprepared(runtime)) {
+                await yielded();
+                if (socket.closed())
+                    return;
+                const demand = new Set(device.now().unpreparedDemand);
+                demand.delete(waiting);
+                device.set({ unpreparedDemand: demand });
+                await prepareReplica(runtime, waiting).catch((error) => unpreparedBy(runtime, waiting, error));
+            }
+        }
+        catch {
+            journal.record('preparation failed');
+        }
+        finally {
+            device.set({ preparing: false });
+        }
+    })();
+}
+export function roomsOfReach(reach) {
+    return new Set([...reach.rooms, ...reach.documents.map(roomOfKey)]);
+}
+function requiredRooms(runtime, given, held) {
+    const { roomsListed } = runtime.socket.session.now();
+    const reach = planReach(given);
+    const listed = new Set(listedLocators(runtime, held));
+    if (reach === null)
+        return { listed: roomsListed, rooms: [...listed].sort() };
+    const named = [...roomsOfReach(reach)].sort();
+    if (roomsListed)
+        return { listed: true, rooms: named.filter((room) => listed.has(room)) };
+    return { listed: named.every((room) => held.has(room)), rooms: named };
+}
+function roomState({ socket }, locator, held) {
+    const listedRoom = socket.rooms.discovered(locator);
+    if (socket.session.now().roomsListed &&
+        (listedRoom === undefined ||
+            listedRoom.replica.admission !== 'admitted' ||
+            socket.rooms.standing(locator).unreadable))
+        return 'unadmitted';
+    const stored = held.get(locator);
+    if (stored === undefined)
+        return 'acquiring';
+    if (!stored.indexed)
+        return 'preparing';
+    return 'complete';
+}
+function conversationCoverage({ socket, conversations }, reach) {
+    const declaredConversations = reach === null || reach.conversations;
+    if (!declaredConversations || socket.conversations() === undefined)
+        return 'undeclared';
+    if (!conversations.known() || !conversations.current())
+        return 'acquiring';
+    return 'complete';
+}
+function connectionOf({ socket }, lastCompleted) {
+    if (socket.isOpen())
+        return 'connected';
+    if (socket.session.now().moving.providerUnreachable)
+        return 'unreachable';
+    return !socket.streamed && lastCompleted !== null ? 'connected' : 'connecting';
+}
+export async function connectionNow(runtime) {
+    const { store, socket } = runtime;
+    if (socket.isOpen() || socket.session.now().moving.providerUnreachable || socket.streamed) {
+        return connectionOf(runtime, null);
+    }
+    return connectionOf(runtime, (await (await store.open()).facts()).lastCompleted);
+}
+async function readinessHeld({ store }) {
+    const local = await store.open();
+    const [held, facts] = await Promise.all([store.covering(), local.facts()]);
+    return { held: held.rooms, facts };
+}
+function readinessFor(runtime, port, reach, { held, facts }) {
+    const { store, socket, usableWhenHeld } = runtime;
+    const required = requiredRooms(runtime, reach, held);
+    const coverage = required.rooms.map((room) => ({ room, state: roomState(runtime, room, held) }));
+    const preparing = coverage
+        .filter((room) => room.state === 'preparing' && !socket.rooms.standing(room.room).unpreparable)
+        .map(({ room }) => room);
+    if (preparing.length > 0)
+        prepare(runtime, preparing);
+    const { persistence, storageLoss, heldWhenOpened } = store.device.now();
+    return readinessOf({
+        code: port.code,
+        coverage: {
+            listed: required.listed,
+            rooms: coverage,
+            conversations: conversationCoverage(runtime, reach),
+        },
+        persistence,
+        connection: connectionOf(runtime, facts.lastCompleted),
+        house: socket.session.now().refusal !== null
+            ? 'refused'
+            : socket.writesHeld()
+                ? 'write-halted'
+                : 'open',
+        space: store.space.full() ? 'full' : null,
+        installation: installationOf(store, coverage, held),
+        lost: storageLoss !== null,
+        established: facts.targets[port.target]?.established === true ||
+            (heldWhenOpened && usableWhenHeld.includes(port.target)),
+    });
+}
+function establish(runtime, name) {
+    const { store, journal } = runtime;
+    const { device } = store;
+    if (device.now().establishing.has(name))
+        return;
+    device.set({ establishing: new Set([...device.now().establishing, name]) });
+    void store
+        .durably(async (local) => {
+        const { targets } = await local.facts();
+        await local.fact('targets', { ...targets, [name]: { established: true } });
+    })
+        .then(() => {
+        store.readiness.queue();
+        void probeEachMinute(runtime);
+    }, () => {
+        journal.record(`target record failed ${name}`);
+    })
+        .finally(() => {
+        const establishing = new Set(device.now().establishing);
+        establishing.delete(name);
+        device.set({ establishing });
+    });
+}
+function deliverReadiness(runtime, watch, held) {
+    if (!runtime.store.readiness.held(watch))
+        return;
+    const readiness = readinessFor(runtime, watch.port, watch.reach, held);
+    if (readiness.ready && held.facts.targets[watch.port.target]?.established !== true) {
+        establish(runtime, watch.port.target);
+    }
+    if (!runtime.store.readiness.changed(watch, JSON.stringify(readiness)))
+        return;
+    watch.deliver(structuredClone(readiness));
+}
+export async function deliverOwedReadiness(runtime, owed) {
+    const held = await readinessHeld(runtime);
+    if (runtime.socket.closed())
+        return;
+    for (const watch of owed)
+        deliverReadiness(runtime, watch, held);
+}
+export function watchReadiness({ store }, port, reach, deliver) {
+    const watch = { port, reach, deliver };
+    const stop = store.readiness.add(watch);
+    void store.open().then(() => store.readiness.owe([watch]), () => store.readiness.owe([watch]));
+    return stop;
+}
+export function filled(runtime) {
+    const { store, socket, journal } = runtime;
+    if (socket.closed() || !store.space.fill())
+        return;
+    journal.record('space full');
+    store.readiness.queue();
+    void probeEachMinute(runtime);
+}
+async function installedTarget({ store, usableWhenHeld }) {
+    if (store.device.now().heldWhenOpened && usableWhenHeld.length > 0)
+        return true;
+    const { targets } = await (await store.open()).facts();
+    return Object.values(targets).some((target) => target.established);
+}
+async function probeEachMinute(runtime) {
+    const { store, socket } = runtime;
+    const { space } = store;
+    const idle = () => !space.full() || space.probing() || socket.closed();
+    if (idle())
+        return;
+    if (!(await installedTarget(runtime).catch(() => false)))
+        return;
+    if (idle())
+        return;
+    space.probeEachMinute();
+}

package/dist/queries.d.ts

@@ -0,0 +1,16 @@
+import { type FiguresCover } from './figures.js';
+import type { Cover, Ran } from './live.js';
+import { type Plan, type QueryResult } from './query.js';
+import { type Deliver, type Fail, type PortReach } from './reach.js';
+import type { Runtime } from './runtime.js';
+import { type SearchResult } from './search.js';
+import type { QueryRoom } from './store.js';
+export declare function figuresCover(runtime: Runtime): Promise<FiguresCover>;
+export declare function answeredPlan(runtime: Runtime, plan: Plan, cover: () => Promise<Cover>): Promise<Ran>;
+export declare function rowsQuery(runtime: Runtime, plan: Plan): Promise<QueryResult>;
+export declare function planned(runtime: Runtime, input: unknown, reach: PortReach | null): Promise<Plan>;
+export declare function roomTallies(runtime: Runtime, rooms: readonly QueryRoom[], since: string): Promise<readonly import("./tallies.js").RoomTally[]>;
+export declare function watchPlan(runtime: Runtime, plan: Plan, deliver: Deliver, fail: Fail): () => void;
+export declare function watchPlanned(runtime: Runtime, planning: Promise<Plan>, deliver: Deliver, fail: Fail): () => void;
+export declare function searched(runtime: Runtime, input: unknown, reach: PortReach | null): Promise<SearchResult>;
+//# sourceMappingURL=queries.d.ts.map

package/dist/queries.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"queries.d.ts","sourceRoot":"","sources":["../src/queries.ts"],"names":[],"mappings":"AACA,OAAO,EAAe,KAAK,YAAY,EAAE,MAAM,cAAc,CAAC;AAE9D,OAAO,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAK5C,OAAO,EAIL,KAAK,IAAI,EACT,KAAK,WAAW,EAEjB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAa,KAAK,OAAO,EAAE,KAAK,IAAI,EAAE,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAGhF,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,EAAgB,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AAE9D,OAAO,KAAK,EAAa,SAAS,EAAgB,MAAM,YAAY,CAAC;AAuFrE,wBAAsB,YAAY,CAAC,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,YAAY,CAAC,CAa1E;AA2ED,wBAAsB,YAAY,CAChC,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,MAAM,OAAO,CAAC,KAAK,CAAC,GAC1B,OAAO,CAAC,GAAG,CAAC,CAQd;AAQD,wBAAsB,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAWlF;AAED,wBAAsB,OAAO,CAC3B,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,SAAS,GAAG,IAAI,GACtB,OAAO,CAAC,IAAI,CAAC,CAOf;AAED,wBAAsB,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,wDAO7F;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,MAAM,IAAI,CAchG;AAED,wBAAgB,YAAY,CAC1B,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,OAAO,CAAC,IAAI,CAAC,EACvB,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,IAAI,GACT,MAAM,IAAI,CAeZ;AAED,wBAAsB,QAAQ,CAC5B,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,SAAS,GAAG,IAAI,GACtB,OAAO,CAAC,YAAY,CAAC,CAqDvB"}