@agentshouse/mdruntime-adapter 0.1.0-c96ce90a9df53 → 0.1.0-ca218e62303fd

package/dist/site.js

@@ -1,7 +1,8 @@
-import { actionOutcome } from './actions.js';
+import { actionOutcome, SITE_SUBMIT } from './actions.js';
 import { mapDiscovery, parseSiteDiscovery, siteCapabilities, siteTracked, } from './discovery.js';
-import { scopeModels, streamedModels, viewModels } from './model.js';
-import { advancedScope, bootstrapOf, parseEnumeration, parseSiteBootstrap, refreshFrom, viewOf, } from './read.js';
+import { partModels, streamedModels, viewModels } from './model.js';
+import { advancedScope, bootstrapOf, parseEnumeration, parseSiteBootstrap, refreshFrom, siteBootstrapNext, siteBootstrapOffset, viewOf, wholeView, } from './read.js';
+import { sha256Hex } from './digest.js';
 import { classifyDoor, classifyRead, discoveryFailure } from './refusal.js';
 import { houseNotifications } from './stream.js';
 import { SITE_DOOR_BOOTSTRAP, SITE_DOOR_DISCOVER, SITE_DOOR_ENUMERATE, SITE_DOOR_SUBMIT, SITE_FILE_RECORD, SITE_FILES, } from './transport.js';
@@ -29,32 +30,90 @@ export function createSiteAdapter(transport) {
         const named = houseReferrer(referrer, tracked);
         return named === null || !tracked.has(named.locator) ? null : named;
     }
-    async function enumeration(entry, from) {
+    async function enumerated(entry, from, page) {
         const answer = await transport.door(SITE_DOOR_ENUMERATE, {
-            positions: [presented(entry.authority, from)],
+            positions: [
+                page === undefined
+                    ? presented(entry.authority, from)
+                    : {
+                        ...presented(entry.authority, { position: page.after, logEpoch: from.logEpoch }),
+                        page: { through: page.through, read: page.read },
+                    },
+            ],
         });
         const classified = classifyRead(answer.status, answer.body, entry.locator);
         if (classified !== null)
             return classified;
-        return parseEnumeration(answer.body, 'site') ?? UNCERTAIN;
+        const found = parseEnumeration(answer.body, 'site');
+        if (found === null)
+            return UNCERTAIN;
+        return viewOf(found, entry) ?? { kind: 'room-not-readable', locator: entry.locator };
+    }
+    async function enumeration(entry, from) {
+        const first = await enumerated(entry, from);
+        return 'kind' in first ? first : wholeView(first, (page) => enumerated(entry, from, page));
     }
-    async function caughtUp(entry) {
-        const answer = await transport.read(`${SITE_DOOR_BOOTSTRAP}${entry.authority}`);
+    async function bootstrapPart(entry, after, offset) {
+        const query = [
+            ...(after === null ? [] : [`after=${encodeURIComponent(after)}`]),
+            ...(offset === null ? [] : [`offset=${offset}`]),
+        ];
+        const answer = await transport.read(`${SITE_DOOR_BOOTSTRAP}${entry.authority}${query.length === 0 ? '' : `?${query.join('&')}`}`);
         const classified = classifyDoor(answer.status, answer.body, entry.locator);
         if (classified !== null)
             return { failure: classified };
         const scope = parseSiteBootstrap(answer.body);
-        if (scope === null)
-            return { failure: UNCERTAIN };
-        if (roomVersion(scope) === roomVersion(entry))
-            return { scope };
-        const found = await enumeration(entry, scope);
-        if ('kind' in found)
-            return { failure: settled(found) };
-        const view = viewOf(found, entry);
-        if (view === undefined)
-            return { failure: { kind: 'room-not-readable', locator: entry.locator } };
-        return { scope: advancedScope(scope, view) };
+        return scope === null ? { failure: UNCERTAIN } : { body: answer.body, scope };
+    }
+    async function assembled(entry, scope, path, offset) {
+        const opened = scope.contents.at(-1);
+        if (opened === undefined || opened.path !== path || opened.content.length !== offset) {
+            return UNCERTAIN;
+        }
+        let text = opened.content;
+        for (;;) {
+            const part = await bootstrapPart(entry, path, text.length);
+            if ('failure' in part)
+                return part.failure;
+            const [piece] = part.scope.contents;
+            if (piece === undefined ||
+                part.scope.contents.length !== 1 ||
+                piece.path !== path ||
+                piece.content.length === 0) {
+                return UNCERTAIN;
+            }
+            text += piece.content;
+            const more = siteBootstrapOffset(part.body);
+            if (more === null)
+                break;
+            if (more !== text.length)
+                return UNCERTAIN;
+        }
+        const file = scope.files.find((held) => held.path === path);
+        if (file === undefined || (await sha256Hex(text)) !== file.version)
+            return UNCERTAIN;
+        return { ...scope, contents: [...scope.contents.slice(0, -1), { path, content: text }] };
+    }
+    async function caughtUp(entry, after) {
+        const part = await bootstrapPart(entry, after, null);
+        if ('failure' in part)
+            return part;
+        const next = siteBootstrapNext(part.body);
+        const offset = siteBootstrapOffset(part.body);
+        if (offset !== null) {
+            if (next === null)
+                return { failure: UNCERTAIN };
+            const scope = await assembled(entry, part.scope, next, offset);
+            return 'kind' in scope ? { failure: scope } : { scope, next };
+        }
+        const { scope } = part;
+        if (after !== null || next !== null || roomVersion(scope) === roomVersion(entry)) {
+            return { scope, next };
+        }
+        const view = await enumeration(entry, scope);
+        if ('kind' in view)
+            return { failure: settled(view) };
+        return { scope: advancedScope(scope, view), next: null };
     }
     async function refreshed(entry, fromRoomVersion) {
         const from = logPosition(fromRoomVersion);
@@ -65,12 +124,9 @@ export function createSiteAdapter(transport) {
             const models = await streamedModels(streamed.schemas, entry, 'site');
             return models === undefined ? streamed.page : { ...streamed.page, models };
         }
-        const found = await enumeration(entry, from);
-        if ('kind' in found)
-            return found;
-        const view = viewOf(found, entry);
-        if (view === undefined)
-            return { kind: 'room-not-readable', locator: entry.locator };
+        const view = await enumeration(entry, from);
+        if ('kind' in view)
+            return view;
         notifications.reach(entry.authority, view);
         const answer = refreshFrom(view, fromRoomVersion);
         if (answer.kind !== 'net-advancement')
@@ -80,6 +136,7 @@ export function createSiteAdapter(transport) {
     }
     return {
         localSaves: true,
+        exhaustiveDiscovery: true,
         async authorize() {
             return {};
         },
@@ -102,14 +159,24 @@ export function createSiteAdapter(transport) {
             const entry = tracked.get(request.locator);
             if (entry === undefined)
                 return { kind: 'room-not-readable', locator: request.locator };
-            if (request.pageToken !== undefined)
-                return UNCERTAIN;
-            const held = await caughtUp(entry);
+            const continued = request.pageToken === undefined
+                ? null
+                : JSON.parse(request.pageToken);
+            const held = await caughtUp(entry, continued?.after ?? null);
             if ('failure' in held)
                 return held.failure;
             notifications.reach(entry.authority, held.scope);
-            const models = await scopeModels(held.scope, entry);
-            return { ...bootstrapOf(held.scope), ...(models === undefined ? {} : { models }) };
+            const seen = [
+                ...(continued?.seen ?? []),
+                ...entry.schemas.filter((schema) => held.scope.files.some((file) => file.path === schema)),
+            ];
+            const models = await partModels(held.scope, entry, new Set(seen), held.next === null);
+            const continuation = held.next === null ? null : { after: held.next, seen };
+            return {
+                ...bootstrapOf(held.scope),
+                ...(models === undefined ? {} : { models }),
+                ...(continuation === null ? {} : { pageToken: JSON.stringify(continuation) }),
+            };
         },
         async refresh(_authorization, request) {
             const entry = tracked.get(request.locator);
@@ -158,7 +225,7 @@ export function createSiteAdapter(transport) {
             return followsVersion(version, next);
         },
         async action(_authorization, request) {
-            if (request.name !== 'submit') {
+            if (request.name !== SITE_SUBMIT) {
                 return {
                     kind: 'rejected',
                     code: 'action-unimplemented',
@@ -168,7 +235,7 @@ export function createSiteAdapter(transport) {
             }
             if (!transport.online())
                 return UNCERTAIN;
-            return actionOutcome(await transport.door(SITE_DOOR_SUBMIT, request.input), 'submit');
+            return actionOutcome(await transport.door(SITE_DOOR_SUBMIT, request.input), SITE_SUBMIT);
         },
         roomStream: {
             hold(rooms) {
@@ -183,6 +250,11 @@ export function createSiteAdapter(transport) {
             },
             reopen: notifications.reopen,
             observe: notifications.observe,
+            published(locator, roomVersion) {
+                const at = logPosition(roomVersion);
+                if (at !== null)
+                    notifications.published(locator, at);
+            },
         },
         serviceMode: notifications.serviceMode,
     };

package/dist/stream.d.ts

@@ -1,4 +1,4 @@
-import type { ConversationStream, RefreshPage, RoomStreamEvent, ServiceModeSignal } from '@agentshouse/mdruntime';
+import type { ConversationStream, RefreshPage, RoomStreamEvent, ServiceModeSignal, StreamReceipts } from '@agentshouse/mdruntime';
 import type { TrackedAuthority } from './discovery.js';
 import type { HouseDoor, HouseHeldRoom, HouseMode, HouseStreamEntry } from './transport.js';
 import { type LogPosition } from './version.js';
@@ -10,8 +10,9 @@ export type StreamedAdvancement = {
 };
 export type HouseNotifications = {
     runtime: string;
-    observe(notify: (event: RoomStreamEvent) => void): () => void;
+    observe(notify: (event: RoomStreamEvent) => void, receipts: StreamReceipts): () => void;
     send(rooms: readonly HouseHeldRoom[]): void;
+    published(locator: string, at: LogPosition): void;
     reopen(): void;
     track(authorities: readonly TrackedAuthority[]): void;
     reach(authority: string, at: LogPosition): void;

package/dist/stream.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"stream.d.ts","sourceRoot":"","sources":["../src/stream.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,kBAAkB,EAElB,WAAW,EACX,eAAe,EAEf,iBAAiB,EAElB,MAAM,wBAAwB,CAAC;AAEhC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAEvD,OAAO,KAAK,EACV,SAAS,EACT,aAAa,EAEb,SAAS,EAET,gBAAgB,EAEjB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAe,KAAK,WAAW,EAAE,MAAM,cAAc,CAAC;AAgB7D,MAAM,MAAM,YAAY,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC;AAEvE,MAAM,MAAM,mBAAmB,GAAG;IAChC,IAAI,EAAE,WAAW,CAAC;IAClB,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACrC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;CAChD,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,eAAe,KAAK,IAAI,GAAG,MAAM,IAAI,CAAC;IAC9D,IAAI,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,GAAG,IAAI,CAAC;IAC5C,MAAM,IAAI,IAAI,CAAC;IACf,KAAK,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,GAAG,IAAI,CAAC;IACtD,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,WAAW,GAAG,IAAI,CAAC;IAChD,OAAO,CACL,OAAO,EAAE,gBAAgB,EACzB,IAAI,EAAE,WAAW,EACjB,KAAK,CAAC,EAAE,YAAY,GACnB,mBAAmB,GAAG,IAAI,CAAC;IAC9B,aAAa,EAAE,kBAAkB,CAAC;IAClC,WAAW,EAAE,iBAAiB,CAAC;CAChC,CAAC;AAuBF,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,GAAG,kBAAkB,CA8S5F"}
+{"version":3,"file":"stream.d.ts","sourceRoot":"","sources":["../src/stream.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,kBAAkB,EAElB,WAAW,EACX,eAAe,EAEf,iBAAiB,EACjB,cAAc,EAEf,MAAM,wBAAwB,CAAC;AAGhC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAEvD,OAAO,KAAK,EACV,SAAS,EACT,aAAa,EAEb,SAAS,EAET,gBAAgB,EAEjB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAe,KAAK,WAAW,EAAE,MAAM,cAAc,CAAC;AA0C7D,MAAM,MAAM,YAAY,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,OAAO,CAAC;AAEvE,MAAM,MAAM,mBAAmB,GAAG;IAChC,IAAI,EAAE,WAAW,CAAC;IAClB,OAAO,EAAE,SAAS,gBAAgB,EAAE,CAAC;IACrC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;CAChD,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,eAAe,KAAK,IAAI,EAAE,QAAQ,EAAE,cAAc,GAAG,MAAM,IAAI,CAAC;IACxF,IAAI,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,GAAG,IAAI,CAAC;IAC5C,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,WAAW,GAAG,IAAI,CAAC;IAClD,MAAM,IAAI,IAAI,CAAC;IACf,KAAK,CAAC,WAAW,EAAE,SAAS,gBAAgB,EAAE,GAAG,IAAI,CAAC;IACtD,KAAK,CAAC,SAAS,EAAE,MAAM,EAAE,EAAE,EAAE,WAAW,GAAG,IAAI,CAAC;IAChD,OAAO,CACL,OAAO,EAAE,gBAAgB,EACzB,IAAI,EAAE,WAAW,EACjB,KAAK,CAAC,EAAE,YAAY,GACnB,mBAAmB,GAAG,IAAI,CAAC;IAC9B,aAAa,EAAE,kBAAkB,CAAC;IAClC,WAAW,EAAE,iBAAiB,CAAC;CAChC,CAAC;AAkFF,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,GAAG,kBAAkB,CAmhB5F"}

package/dist/stream.js

@@ -1,4 +1,5 @@
 import { acceptedMessage } from './actions.js';
+import { sha256Hex } from './digest.js';
 import { binaryFileOf, headChange } from './read.js';
 import { roomVersion } from './version.js';
 const HELD_FRAMES_MAX = 256;
@@ -21,9 +22,78 @@ function position(value) {
         return null;
     return BigInt(value);
 }
+function assembled(entries) {
+    const whole = [];
+    let open = null;
+    for (const entry of entries) {
+        if (entry.kind === 'piece') {
+            if (open === null || open.entry.path !== entry.path || entry.text === undefined)
+                return null;
+            open.texts.push(entry.text);
+        }
+        else {
+            if (open !== null)
+                return null;
+            if (entry.continued !== true) {
+                whole.push(entry);
+                continue;
+            }
+            if (entry.text === undefined)
+                return null;
+            open = { entry, texts: [entry.text] };
+        }
+        if (entry.continued === true)
+            continue;
+        const { continued: _continued, ...head } = open.entry;
+        whole.push({ ...head, text: open.texts.join('') });
+        open = null;
+    }
+    return open === null ? whole : null;
+}
+async function verified(entries) {
+    try {
+        for (const entry of entries) {
+            if (entry.text === undefined || entry.sha256 === undefined)
+                continue;
+            if ((await sha256Hex(entry.text)) !== entry.sha256)
+                return false;
+        }
+        return true;
+    }
+    catch {
+        return false;
+    }
+}
+function resumed(kept, frame) {
+    const last = frame.entries.at(-1);
+    const point = { parts: frame.index + 1, from: frame.from, target: frame.target };
+    if (last?.continued !== true)
+        return { ...point, handled: frame.handled, piece: null };
+    const text = last.text?.length ?? 0;
+    if (last.kind !== 'piece') {
+        return last.sha256 === undefined
+            ? kept.resume
+            : { ...point, handled: frame.handled, piece: { sha256: last.sha256, offset: text } };
+    }
+    const piece = kept.resume?.piece ?? null;
+    if (piece === null)
+        return kept.resume;
+    const pieces = frame.entries.reduce((sum, entry) => sum + (entry.kind === 'piece' ? (entry.text?.length ?? 0) : 0), 0);
+    return {
+        ...point,
+        handled: frame.handled,
+        piece: { sha256: piece.sha256, offset: piece.offset + pieces },
+    };
+}
 export function houseNotifications(transport, mode) {
     const stream = transport.stream;
     const lines = new Map();
+    const kept = new Map();
+    let receipts = null;
+    let loaded = Promise.resolve();
+    let acknowledging = null;
+    let receiving = Promise.resolve();
+    let verifying = 0;
     const locators = new Map();
     const observers = new Set();
     const conversationObservers = new Set();
@@ -49,6 +119,7 @@ export function houseNotifications(transport, mode) {
     }
     function reopened(next) {
         opening = next;
+        acknowledging = next;
         const gapped = new Set([...replicated, ...live]);
         live.clear();
         for (const conversation of gapped)
@@ -110,7 +181,162 @@ export function houseNotifications(transport, mode) {
         if (line !== undefined)
             lines.set(authority, { ...line, frames: [] });
     }
-    function receive(frame) {
+    async function forget(carries) {
+        const held = carries.filter((carry) => kept.delete(carry));
+        if (held.length > 0)
+            await receipts?.drop(held).catch(() => { });
+    }
+    async function lost(authority, carry) {
+        interrupt(authority);
+        await forget([carry]);
+    }
+    async function stage(frame, via) {
+        await loaded;
+        const port = receipts;
+        if (port === null)
+            return;
+        const held = kept.get(frame.carry);
+        if (held === undefined && frame.index !== 0) {
+            interrupt(frame.authority);
+            return;
+        }
+        if (held !== undefined &&
+            (held.fenced !== null || frame.index > held.parts || frame.index < (held.resume?.parts ?? 0))) {
+            await lost(frame.authority, frame.carry);
+            return;
+        }
+        if (held === undefined) {
+            await forget([...kept.values()]
+                .filter((other) => other.authority === frame.authority && other.fenced === null)
+                .map((other) => other.carry));
+        }
+        const start = held ?? {
+            authority: frame.authority,
+            carry: frame.carry,
+            logEpoch: lines.get(frame.authority)?.logEpoch ?? null,
+            after: frame.after,
+            parts: 0,
+            resume: null,
+            fenced: null,
+        };
+        const next = { ...start, parts: frame.index + 1, resume: resumed(start, frame) };
+        const part = { entries: frame.entries };
+        try {
+            await port.keep(frame.carry, next, { index: frame.index, value: part });
+        }
+        catch {
+            await lost(frame.authority, frame.carry);
+            return;
+        }
+        kept.set(frame.carry, next);
+        via?.received(frame.authority, frame.carry, frame.index);
+    }
+    async function keptEntries(carry, parts) {
+        if (parts === 0)
+            return [];
+        if (receipts === null)
+            return null;
+        const read = (await receipts.parts(carry, parts));
+        if (read.length !== parts)
+            return null;
+        const entries = assembled(read.flatMap((part) => part.entries));
+        return entries !== null && (await verified(entries)) ? entries : null;
+    }
+    async function carried(frame) {
+        await loaded;
+        const held = kept.get(frame.carry);
+        if (frame.parts > 0 && held?.parts !== frame.parts) {
+            await lost(frame.authority, frame.carry);
+            return;
+        }
+        const entries = await keptEntries(frame.carry, frame.parts).catch(() => null);
+        if (entries === null) {
+            await lost(frame.authority, frame.carry);
+            return;
+        }
+        const fenced = {
+            ...(held ?? {
+                authority: frame.authority,
+                carry: frame.carry,
+                logEpoch: frame.log_epoch,
+                after: frame.after,
+                parts: 0,
+                resume: null,
+            }),
+            after: frame.after,
+            fenced: { position: frame.position, logEpoch: frame.log_epoch },
+        };
+        try {
+            await receipts?.keep(frame.carry, fenced);
+        }
+        catch {
+            await lost(frame.authority, frame.carry);
+            return;
+        }
+        kept.set(frame.carry, fenced);
+        publish(frame, entries);
+    }
+    async function load(port) {
+        try {
+            for (const { key, head } of await port.heads())
+                kept.set(key, head);
+        }
+        catch {
+            kept.clear();
+        }
+    }
+    async function restored(room) {
+        const line = lines.get(room.authority);
+        let at = room.position;
+        const chain = [];
+        for (;;) {
+            const next = [...kept.values()].find((carry) => carry.authority === room.authority &&
+                carry.after === at &&
+                carry.fenced?.logEpoch === room.log_epoch);
+            if (next?.fenced == null)
+                break;
+            const entries = await keptEntries(next.carry, next.parts).catch(() => null);
+            if (entries === null)
+                break;
+            chain.push({ carry: next, entries });
+            at = next.fenced.position;
+        }
+        const partial = [...kept.values()].find((carry) => carry.authority === room.authority &&
+            carry.fenced === null &&
+            carry.logEpoch === room.log_epoch &&
+            carry.after === at &&
+            carry.resume !== null &&
+            carry.resume.parts > 0);
+        const stale = [...kept.values()].filter((carry) => carry.authority === room.authority &&
+            carry !== partial &&
+            !chain.some((link) => link.carry === carry));
+        await forget(stale.map((carry) => carry.carry));
+        if (line !== undefined && line.logEpoch === room.log_epoch && chain.length > 0) {
+            const frames = chain.map(({ carry, entries }) => ({
+                after: BigInt(carry.after),
+                position: BigInt(carry.fenced.position),
+                entries,
+            }));
+            lines.set(room.authority, { ...line, frames: [...line.frames, ...frames] });
+        }
+        return {
+            ...room,
+            position: at,
+            ...(partial?.resume == null
+                ? {}
+                : {
+                    carry: {
+                        id: partial.carry,
+                        parts: partial.resume.parts,
+                        from: partial.resume.from,
+                        target: partial.resume.target,
+                        handled: partial.resume.handled,
+                        ...(partial.resume.piece === null ? {} : { piece: partial.resume.piece }),
+                    },
+                }),
+        };
+    }
+    function handle(frame, via) {
         if (frame.type === 'signal') {
             const mode = frame.service_mode;
             if (mode !== 'open' && mode !== 'write-halted')
@@ -147,8 +373,12 @@ export function houseNotifications(transport, mode) {
             converse(frame);
             return;
         }
-        if (frame.type !== 'entries')
-            return;
+        if (frame.type === 'part')
+            return stage(frame, via);
+        if (frame.type === 'carried')
+            return carried(frame);
+    }
+    function publish(frame, entries) {
         const at = position(frame.position);
         const after = position(frame.after);
         if (at === null || after === null || after >= at) {
@@ -162,7 +392,7 @@ export function houseNotifications(transport, mode) {
             const last = line.frames.at(-1);
             if (last !== undefined && at <= last.position)
                 return;
-            const held = { after, position: at, entries: frame.entries };
+            const held = { after, position: at, entries };
             const next = last !== undefined && after <= last.position ? [...line.frames, held] : [held];
             lines.set(frame.authority, { ...line, frames: next.length > HELD_FRAMES_MAX ? [] : next });
         }
@@ -171,10 +401,29 @@ export function houseNotifications(transport, mode) {
         }
         announce(frame.authority, { position: frame.position, logEpoch: frame.log_epoch });
     }
-    stream.observe(receive);
+    stream.observe((frame) => {
+        const via = acknowledging;
+        if (verifying === 0) {
+            const handled = handle(frame, via);
+            if (handled === undefined)
+                return;
+            verifying += 1;
+            receiving = handled.finally(() => {
+                verifying -= 1;
+            });
+            return;
+        }
+        verifying += 1;
+        receiving = receiving
+            .then(() => handle(frame, via))
+            .finally(() => {
+            verifying -= 1;
+        });
+    });
     stream.opened(reopened);
     stream.closed((revoked) => {
         opening = null;
+        acknowledging = null;
         emit({ kind: 'closed', revoked });
     });
     return {
@@ -198,8 +447,12 @@ export function houseNotifications(transport, mode) {
                 };
             },
         },
-        observe(notify) {
+        observe(notify, port) {
             observers.add(notify);
+            if (receipts === null) {
+                receipts = port;
+                loaded = load(port);
+            }
             if (opening !== null) {
                 queueMicrotask(() => {
                     if (observers.has(notify))
@@ -220,7 +473,30 @@ export function houseNotifications(transport, mode) {
             }
             const current = opening;
             opening = null;
-            current?.hold(rooms, runtime);
+            if (current === null)
+                return;
+            void loaded
+                .then(() => Promise.all(rooms.map(restored)))
+                .then((presented) => {
+                current.hold(presented, runtime);
+                for (const [index, room] of presented.entries()) {
+                    if (room.position === rooms[index].position)
+                        continue;
+                    announce(room.authority, { position: room.position, logEpoch: room.log_epoch });
+                }
+            });
+        },
+        published(locator, at) {
+            const authority = [...locators].find(([, held]) => held.includes(locator))?.[0];
+            const reached = position(at.position);
+            if (authority === undefined || reached === null)
+                return;
+            void forget([...kept.values()]
+                .filter((carry) => carry.authority === authority &&
+                carry.fenced !== null &&
+                carry.fenced.logEpoch === at.logEpoch &&
+                BigInt(carry.fenced.position) <= reached)
+                .map((carry) => carry.carry));
         },
         reopen() {
             const current = opening;
@@ -239,6 +515,9 @@ export function houseNotifications(transport, mode) {
                 if (!locators.has(authority))
                     lines.delete(authority);
             }
+            void loaded.then(() => forget([...kept.values()]
+                .filter((carry) => !locators.has(carry.authority))
+                .map((carry) => carry.carry)));
         },
         reach(authority, at) {
             const line = lines.get(authority);

package/dist/transport.d.ts

@@ -31,7 +31,7 @@ export type HouseByteTransfer = {
 };
 export type HouseStreamEntry = {
     path: string;
-    kind: 'edited' | 'removed';
+    kind: 'edited' | 'removed' | 'piece';
     revision?: string;
     sha256?: string;
     text?: string;
@@ -46,6 +46,7 @@ export type HouseStreamEntry = {
         name: string;
     };
     created_at?: string;
+    continued?: true;
 };
 type LiveFact<K extends ConversationEvent['kind']> = Extract<ConversationEvent, {
     kind: K;
@@ -59,12 +60,23 @@ export type HouseListedConversation = {
     outcome: string | null;
 };
 export type HouseStreamFrame = {
-    type: 'entries';
+    type: 'part';
     authority: string;
+    carry: string;
+    index: number;
+    after: string;
+    from: string;
+    target: string;
+    handled: number;
+    entries: readonly HouseStreamEntry[];
+} | {
+    type: 'carried';
+    authority: string;
+    carry: string;
+    parts: number;
     after: string;
     position: string;
     log_epoch: string;
-    entries: readonly HouseStreamEntry[];
 } | {
     type: 'opening';
     expired: readonly string[];
@@ -105,13 +117,26 @@ export type HouseStreamFrame = {
     type: 'signal';
     service_mode: string;
 };
+export type HouseHeldCarry = {
+    id: string;
+    parts: number;
+    from: string;
+    target: string;
+    handled: number;
+    piece?: {
+        sha256: string;
+        offset: number;
+    };
+};
 export type HouseHeldRoom = {
     authority: string;
     position: string;
     log_epoch: string;
+    carry?: HouseHeldCarry;
 };
 export type HouseOpening = {
     hold(rooms: readonly HouseHeldRoom[], runtime: string): void;
+    received(authority: string, carry: string, index: number): void;
     close(): void;
 };
 export type HouseStream = {