@agentshouse/mdruntime-adapter 0.1.0-c6ddfd288ac81 → 0.1.0-c95606073022b

package/AGENTS.md

@@ -7,9 +7,18 @@ enforcement.
 ## The MD Runtime API
 
 App code reaches the MD Runtime through the remote client. The surfaces are
-Rooms, Slots, Query, Search, Observe, Types, Room Draft, Save, History, Call, Reached, Log,
-storage loss, the reported persistence answer, deployment facts, Sync Status, the Service Mode,
-reauthorization, conversation, the chat draft, and Presentation State.
+Rooms, Query, Search, Observe, Types, Room Draft, Save, History, Call, Reached, Log,
+the reported persistence answer, reauthorization, conversation, the chat draft,
+and Presentation State. Sync Status, the Service Mode, the storage-loss
+statement and the deployment facts are observations only.
+
+The host attaches each port with its reach, and every member and observation
+answers within it: a Room outside it answers as one the replica does not hold, a
+Room reached for single Documents shows only those Documents, the Types of the
+models that govern them and no attachments, and without conversations the
+conversation members, the chat draft and the conversation observation hold none.
+A change of the reach reaches every open observation as its new value, a query
+keeping every unchanged Document the same object.
 
 Every `observe` resolves, once its first value has arrived, to a handle:
 `current()` is the latest complete value, `subscribe(listener)` hears each later
@@ -21,25 +30,21 @@ Each conversation a Provider card names is held complete in the browser.
 Observe one with `observe('conversation', id, { limit })`: the view
 holds its latest `limit` messages, or all of them, oldest first, its chat
 draft, and what the Provider streams for it whether or not anything views it:
-the growing text and plan of the running turn, the open questions, the process
-state, the CLI's commands and options, and the latest `workingNote`. These live
-only in memory: the turn's accepted message replaces its growing text and plan,
-a working note is never part of a message, and none of them is stored or
-searchable.
+the running `turn` with its message parts and its context in use and window, the
+open questions, the process state, and the CLI's commands and options. These live
+only in memory: the message accepted under the turn's id replaces the running turn,
+and none of them is stored or searchable.
 `chatDraft.write` and `chatDraft.discard` keep what the App Creator composes;
 sending it is a Provider Action that needs the Provider reachable and is never
 queued.
 
-Slots answers each Slot the Provider declares, in its order, with its entries
-in order, each a Room and its segment; a Room two Slots list is the same Room.
-
 Each Room in Rooms lists its `attachments`, the files the Provider holds for it
 that its Documents link by the Provider's reference, ordered by `reference`,
 each with `name`, `byteLength`, `mediaType` and the Provider's own entry as
 `entry`. They are as the Provider last declared them and hold no bytes;
 open one through the Provider Action that serves it.
 
-Rooms, Slots, Query, Search, Observe, Types, Room Draft, Save, and Reached never
+Rooms, Query, Search, Observe, Types, Room Draft, Save, and Reached never
 touch the network.
 History and Call go to the Provider through the Adapter. A Call result whose
 effect the Provider places in a Room carries `at`, that Room and Room Version;
@@ -53,9 +58,8 @@ client is asynchronous. Results are detached snapshots. Nothing in this
 surface returns the authorization, performs a request the App's code
 composes, or exposes the browser store.
 
-Read deployment facts with `deploymentFacts()` and observe replacements with
-`observe('deployment-facts')`. Interpret the opaque value using the
-host's contract.
+Read the deployment facts with `observe('deployment-facts')`. Interpret the
+opaque value using the host's contract.
 
 The in-memory Adapter at `@agentshouse/mdruntime/memory` is for tests and
 ships in no bundle.
@@ -114,7 +118,7 @@ search.
 
 - **What is found.** A Document by its field values, its sections' headings and
   text, its preamble and its Path; a message by its text. Frontmatter keys, Room
-  Drafts, chat drafts and growing text are never found. There are no phrases,
+  Drafts, chat drafts and a running turn's parts are never found. There are no phrases,
   word forms, typo tolerance or prefix matching.
 - **Narrowing.** `documents` is a Local Query filter: `rooms`, `types`, `where`,
   `pathPrefix`, `hop` and `backlinks`. `conversations` names conversations. Both
@@ -130,7 +134,7 @@ search.
 
 The MD Runtime owns one Room Draft per Room and Path, shared by every App and
 tab. It is durable: it survives reload and navigation. A Room that Discovery
-stops listing takes its Room Drafts, its queue and their outcomes with it.
+stops listing takes its Room Drafts and its queue with it.
 Write a Room Draft with `roomDraft.write(room, path, revision, parts)`, naming
 the revision you read, or `null` when there was none, and every part it should
 now change: fields, sections and the preamble, or the whole Markdown, a
@@ -150,20 +154,21 @@ each Document and binary link target beneath it, saved together.
 
 Outcomes follow the Provider's answer. An Accepted Change Batch stays in the
 queue, drawn over the confirmed layer, until the confirmed layer reaches the
-Room Version it was accepted at, and then leaves it. Conflicted and Rejected, an expired outcome record, and a change that no
+Room Version it was accepted at, and then leaves it. Conflicted and Rejected, an expired operation, and a change that no
 longer applies over the Room each leave the queue and return as Room Drafts on
 the Documents they changed, marked with why: the Provider's structured refusal
 code and fields as returned, not known to have applied, or withdrawn locally.
 The rest of the queue keeps synchronizing, and Sync Status requires attention
-until each returned Room Draft is saved again or discarded. `outcome` answers
-the saved Change Batch's outcome, and `null` while it is Pending. Transport
+until each returned Room Draft is saved again or discarded. A Change Batch
+keeps no outcome once it leaves the queue; `observe('queue', room)` shows each
+Pending one, and a returned Room Draft says why it returned. Transport
 failure and Provider unavailability keep work Pending and do not infer a
 rejection. A refusal the Provider marks retryable stays Pending until the reset
 it names; the MD Runtime retries the same Change Batch identity and payload and
 never infers an outcome from transport uncertainty. The MD Runtime never
 combines, reorders, or rebases.
 
-`serviceMode()` and `observe('service-mode')` answer the Provider's Service
+`observe('service-mode')` answers the Provider's Service
 Mode, `open` or `write-halted`. While writes are halted, Save still succeeds,
 its Change Batch waits unsent, and the queue is submitted in order once the
 Provider reopens writes. An Action is never held: a write the Provider refuses
@@ -196,13 +201,25 @@ an App's override respected. What an App Creator's agent adds carries none
 of these promises by itself. Reading, querying and searching never wait for
 the network. Data lives only in the App Creator's browser and with the Provider.
 
-## App code imports only the client entry and never constructs a Runtime
-
-App code imports only `@agentshouse/mdruntime/client` and calls
-`connectMdRuntime` on the port the host hands it. It never constructs a
-Runtime. It does not import the package main, the host entry, or the Adapter
-package, and it does not call `createMdRuntime` or `serveMdRuntime`. Hosts
-and tests use those entries; the served App does not.
+## App code takes the client its host hands it and never constructs a Runtime
+
+App code takes the client its host hands it: in House,
+`connectHouseBridge().runtime` from `@agentshouse/app-bridge` resolves to the
+client House built into the page. It never constructs a Runtime or a client.
+It imports only types from `@agentshouse/mdruntime/client`, does not call
+`connectMdRuntime` or `serveMdRuntime`, and does not import the package main,
+the host entry, or the Adapter package. Hosts and tests use those entries; the
+served App does not.
+
+A React App may observe and save through `@agentshouse/mdruntime/react`, which
+names React as a peer dependency. `useObserve(client, topic, ...input)` takes
+the arguments of `observe` and returns the topic's current value, `undefined`
+until it arrives, re-rendering on each change; a `null` client observes
+nothing. `useSave(client)` returns `busy`, the last `outcome` or `failure`, and
+`save(room, roomDrafts)`, which writes each Path's parts onto the Room Draft
+already there, keeping the bases its parts have, or onto a new one, and saves
+them together. A refused Save leaves the Room Drafts for the App to save again
+or discard; a failure is recorded and rejects.
 
 ## What an agent must never do
 

package/README.md

@@ -19,12 +19,12 @@ import { serveMdRuntime } from '@agentshouse/mdruntime/host';
 import { createAgentsHouseAdapter } from '@agentshouse/mdruntime-adapter';
 
 const adapter = createAgentsHouseAdapter({ transport, authorize });
-const host = serveMdRuntime({ adapter, shell, requiredGuarantees: [] });
+const host = serveMdRuntime({ adapter, shell });
 host.attach(port, 'my-app');
 ```
 
-App code never imports this package; it reaches the Runtime only through
-`@agentshouse/mdruntime/client`. The rules an App's agent follows are in the
+App code never imports this package; it reaches the Runtime only through the
+client its host hands it. The rules an App's agent follows are in the
 package's `AGENTS.md`.
 
 ## License

package/dist/adapter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,OAAO,EACP,aAAa,EAad,MAAM,wBAAwB,CAAC;AA0ChC,OAAO,EASL,KAAK,kBAAkB,EACvB,KAAK,cAAc,EACpB,MAAM,gBAAgB,CAAC;AAuBxB,MAAM,MAAM,yBAAyB,GACjC;IACE,SAAS,EAAE,cAAc,CAAC;IAC1B,SAAS,IAAI,OAAO,CAAC,aAAa,CAAC,CAAC;CACrC,GACD;IAAE,IAAI,EAAE,kBAAkB,CAAA;CAAE,CAAC;AAiCjC,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,yBAAyB,GAAG,OAAO,CA4YpF"}
+{"version":3,"file":"adapter.d.ts","sourceRoot":"","sources":["../src/adapter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,OAAO,EACP,aAAa,EAWd,MAAM,wBAAwB,CAAC;AAqChC,OAAO,EAQL,KAAK,kBAAkB,EACvB,KAAK,cAAc,EACpB,MAAM,gBAAgB,CAAC;AAyBxB,MAAM,MAAM,yBAAyB,GACjC;IACE,SAAS,EAAE,cAAc,CAAC;IAC1B,SAAS,IAAI,OAAO,CAAC,aAAa,CAAC,CAAC;CACrC,GACD;IAAE,IAAI,EAAE,kBAAkB,CAAA;CAAE,CAAC;AAsBjC,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,yBAAyB,GAAG,OAAO,CA0WpF"}

package/dist/adapter.js

@@ -1,26 +1,20 @@
-import { DISCOVER_PREFIXES, HOUSE_SCHEMA, capabilities, discoveredRoom, locatorOf, mapDiscovery, parseDiscovery, providerSelection, trackedFrom, } from './discovery.js';
-import { MODEL_ABSENT, failedModel, heldModel, modelKey, modelShelf, } from './model.js';
+import { DISCOVER_PREFIXES, capabilities, discoveredRoom, mapDiscovery, parseDiscovery, trackedFrom, } from './discovery.js';
+import { scopeModels, streamedModels, viewModels } from './model.js';
 import { gathered, selections } from './gather.js';
 import { createSiteAdapter } from './site.js';
-import { bootstrapOf, contentPrefixes, matchesScope, parseEnumeration, parseEnvelope, parseGrant, refreshFrom, schemaFrom, schemaPath, viewOf, } from './read.js';
-import { enumeratedLinks, scopeLinks, streamedLinks } from './links.js';
+import { bootstrapOf, contentPrefixes, matchesScope, parseEnumeration, parseEnvelope, parseGrant, refreshFrom, viewOf, } from './read.js';
+import { acceptedLinks, enumeratedLinks, heldLinks, scopeLinks, streamedLinks, } from './links.js';
 import { houseAction } from './actions.js';
 import { classifyDoor, discoveryFailure, doorRefusal } from './refusal.js';
 import { houseNotifications } from './stream.js';
-import { DOOR_BATCH, DOOR_BATCH_UPLOAD, DOOR_BOOTSTRAP, DOOR_DISCOVER, DOOR_ENUMERATE, DOOR_REVISIONS, DOOR_SELECTION_MAX, PRIVATE_LOCATOR, } from './transport.js';
+import { DOOR_BATCH, DOOR_BATCH_UPLOAD, DOOR_BOOTSTRAP, DOOR_DISCOVER, DOOR_ENUMERATE, DOOR_REVISIONS, PRIVATE_LOCATOR, } from './transport.js';
 import { batchPaths, deltaBody, deltaBytes, deltaDigest, historyOutcome, houseChanges, mutationOutcome, operationHead, rejectedMapping, revisionBody, uploadable, } from './write.js';
-import { logPosition, presented, reachedVersion, roomVersion, } from './version.js';
+import { followsVersion, logPosition, presented, reachedVersion, roomVersion, } from './version.js';
 const UNCERTAIN = { kind: 'transport-uncertainty' };
 const UNCERTAIN_READ = { kind: 'transport-uncertainty' };
 function lapsedGrant(outcome) {
     return outcome.kind === 'rejected' && outcome.code === 'upload_unavailable';
 }
-function modelFailure(classified, envelope) {
-    if (classified === null) {
-        return envelope === null ? { kind: 'transport-uncertainty' } : MODEL_ABSENT;
-    }
-    return failedModel(classified);
-}
 export function createAgentsHouseAdapter(options) {
     if ('site' in options)
         return createSiteAdapter(options.site);
@@ -28,74 +22,75 @@ export function createAgentsHouseAdapter(options) {
     const notifications = houseNotifications(transport, 'credential');
     const tracked = new Map();
     const handed = new Map();
-    const models = modelShelf();
-    function bootstrappedRoom(envelope, entry) {
+    let bounds;
+    function declared() {
+        if (bounds === undefined)
+            throw new Error('no Discovery declared the bounds');
+        return bounds;
+    }
+    async function bootstrappedRoom(envelope, entry) {
         const scope = envelope.scopes.find((candidate) => matchesScope(candidate, entry));
         if (scope === undefined)
             return { kind: 'room-not-readable', locator: entry.locator };
         handed.set(entry.locator, scopeLinks(scope));
-        return bootstrapOf(scope, entry);
+        notifications.reach(entry.authority, scope);
+        const models = await scopeModels(scope, entry);
+        return { ...bootstrapOf(scope), ...(models === undefined ? {} : { models }) };
     }
-    function enumeratedRoom(enumeration, ask) {
+    async function enumeratedRoom(enumeration, ask) {
         const view = viewOf(enumeration, ask.entry);
         if (view === undefined)
             return { kind: 'room-not-readable', locator: ask.entry.locator };
-        const answer = refreshFrom(view, ask.entry, ask.fromRoomVersion);
-        if (answer.kind === 'net-advancement') {
-            handed.set(ask.entry.locator, enumeratedLinks(view, handed.get(ask.entry.locator)));
-        }
-        return answer;
+        notifications.reach(ask.entry.authority, view);
+        const answer = refreshFrom(view, ask.fromRoomVersion);
+        if (answer.kind !== 'net-advancement')
+            return answer;
+        handed.set(ask.entry.locator, enumeratedLinks(view, handed.get(ask.entry.locator)));
+        const models = await viewModels(view, ask.entry);
+        return models === undefined ? answer : { ...answer, models };
     }
-    function streamed(entry, request, from) {
+    async function streamed(entry, request, from) {
         const links = handed.get(entry.locator);
         if (links?.roomVersion !== request.fromRoomVersion)
             return null;
-        const advanced = notifications.advance(entry, from);
+        const advanced = notifications.advance(entry, from, (path, revision) => links.revisions.get(path) === revision);
         if (advanced === null)
             return null;
-        if (request.minPosition !== undefined &&
-            !reachedVersion(advanced.page.roomVersion, request.minPosition, entry.logEpoch))
-            return null;
         const relinked = streamedLinks(links, advanced);
         if (relinked === null)
             return null;
         handed.set(entry.locator, relinked);
-        return advanced.page;
-    }
-    function held(envelope, entry, schema, failure) {
-        return heldModel(envelope === null ? null : schemaFrom(envelope, entry, schema), schemaPath(entry.handle, schema), failure);
-    }
-    function modelPrefixes(entry) {
-        return entry.schemas.map((schema) => schemaPath(entry.handle, schema));
+        const models = await streamedModels(advanced.schemas, entry, 'credential');
+        return models === undefined ? advanced.page : { ...advanced.page, models };
     }
-    async function acquireModels(entries) {
-        const acquired = new Map();
-        for (const part of selections(entries, (entry) => modelPrefixes(entry).length, DOOR_SELECTION_MAX)) {
-            const privateEntry = part.find((entry) => entry.locator === PRIVATE_LOCATOR);
-            const answer = await transport.door(DOOR_BOOTSTRAP, {
-                prefixes: part.flatMap((entry) => modelPrefixes(entry)),
-            });
-            const classified = classifyDoor(answer.status, answer.body, PRIVATE_LOCATOR);
-            const envelope = classified === null ? parseEnvelope(await bundled(answer.body)) : null;
-            const failure = modelFailure(classified, envelope);
-            for (const entry of part) {
-                acquired.set(modelKey(entry.locator, 'collection'), await held(envelope, entry, entry.schema, failure));
-            }
-            if (privateEntry !== undefined) {
-                acquired.set(modelKey(privateEntry.locator, 'typed-selection'), await held(envelope, privateEntry, HOUSE_SCHEMA, failure));
-            }
-        }
-        return acquired;
+    function held(rooms) {
+        const kept = rooms.flatMap((room) => {
+            const entry = tracked.get(room.locator);
+            const at = logPosition(room.roomVersion);
+            if (entry === undefined || at === null)
+                return [];
+            handed.set(room.locator, heldLinks(room));
+            notifications.reach(entry.authority, at);
+            return [presented(entry.authority, at)];
+        });
+        notifications.send(kept);
     }
-    function roomOf(authority, acquired) {
-        const locator = locatorOf(authority);
-        const key = modelKey(locator, 'collection');
-        const collection = models.retain(key, acquired.get(key));
-        if (locator !== PRIVATE_LOCATOR) {
-            return discoveredRoom(authority, collection?.identity ?? null, undefined);
-        }
-        const selection = models.retain(modelKey(locator, 'typed-selection'), acquired.get(modelKey(locator, 'typed-selection')));
-        return discoveredRoom(authority, collection?.identity ?? null, providerSelection(selection?.identity ?? null));
+    function adopted(entry, outcome) {
+        if (outcome.kind !== 'accepted')
+            return outcome;
+        const { originals, ...accepted } = outcome;
+        const links = handed.get(entry.locator);
+        if (links === undefined)
+            return accepted;
+        const follows = followsVersion(links.roomVersion, accepted.roomVersion);
+        const relinked = acceptedLinks(links, accepted, follows ? accepted.roomVersion : links.roomVersion, originals);
+        handed.set(entry.locator, relinked.links);
+        const at = logPosition(accepted.roomVersion);
+        if (follows && at !== null)
+            notifications.reach(entry.authority, at);
+        return relinked.attachments === undefined
+            ? accepted
+            : { ...accepted, attachments: relinked.attachments };
     }
     function authorityFor(locator) {
         return tracked.get(locator);
@@ -135,20 +130,20 @@ export function createAgentsHouseAdapter(options) {
     }
     async function bootstrapped(entries) {
         const answers = [];
-        for (const part of selections(entries, weight, DOOR_SELECTION_MAX)) {
+        for (const part of selections(entries, weight, declared().max_prefixes)) {
             const answer = await transport.door(DOOR_BOOTSTRAP, {
                 prefixes: part.flatMap((entry) => contentPrefixes(entry)),
             });
             const classified = part.map((entry) => classifyDoor(answer.status, answer.body, entry.locator));
             const envelope = classified[0] === null ? parseEnvelope(await bundled(answer.body)) : null;
-            part.forEach((entry, index) => {
+            for (const [index, entry] of part.entries()) {
                 const failure = classified[index];
                 if (failure === null || failure === undefined) {
-                    answers.push(envelope === null ? UNCERTAIN_READ : bootstrappedRoom(envelope, entry));
-                    return;
+                    answers.push(envelope === null ? UNCERTAIN_READ : await bootstrappedRoom(envelope, entry));
+                    continue;
                 }
                 answers.push(failure.kind === 'beyond-horizon' ? UNCERTAIN_READ : failure);
-            });
+            }
         }
         return answers;
     }
@@ -164,26 +159,14 @@ export function createAgentsHouseAdapter(options) {
     }
     async function enumerated(asks) {
         const answers = new Map();
-        const parts = layered(asks).flatMap((layer) => selections(layer, (ask) => weight(ask.entry), DOOR_SELECTION_MAX));
+        const parts = layered(asks).flatMap((layer) => selections(layer, (ask) => weight(ask.entry), declared().max_prefixes));
         for (const part of parts) {
             let open = [...part];
             while (open.length > 0) {
                 const answer = await transport.door(DOOR_ENUMERATE, {
                     prefixes: open.flatMap((ask) => contentPrefixes(ask.entry)),
-                    positions: open.map((ask) => ({
-                        ...presented(ask.entry.authority, ask.from),
-                        ...(ask.minPosition === undefined ? {} : { min_position: ask.minPosition }),
-                    })),
+                    positions: open.map((ask) => presented(ask.entry.authority, ask.from)),
                 });
-                const refusal = doorRefusal(answer.body);
-                if (refusal?.code === 'replica_behind') {
-                    const named = open.filter((ask) => ask.entry.authority === refusal.fields.authority);
-                    const behind = named.length === 0 ? open : named;
-                    for (const ask of behind)
-                        answers.set(ask, { kind: 'retryable-refusal', ...refusal });
-                    open = open.filter((ask) => !behind.includes(ask));
-                    continue;
-                }
                 const classified = open.map((ask) => classifyDoor(answer.status, answer.body, ask.entry.locator));
                 if (classified[0]?.kind === 'beyond-horizon') {
                     const named = doorRefusal(answer.body)?.fields.authority;
@@ -196,14 +179,14 @@ export function createAgentsHouseAdapter(options) {
                     continue;
                 }
                 const enumeration = classified[0] === null ? parseEnumeration(answer.body, 'credential') : null;
-                open.forEach((ask, index) => {
+                for (const [index, ask] of open.entries()) {
                     const failure = classified[index];
                     if (failure !== null && failure !== undefined) {
                         answers.set(ask, failure);
-                        return;
+                        continue;
                     }
-                    answers.set(ask, enumeration === null ? UNCERTAIN_READ : enumeratedRoom(enumeration, ask));
-                });
+                    answers.set(ask, enumeration === null ? UNCERTAIN_READ : await enumeratedRoom(enumeration, ask));
+                }
                 open = [];
             }
         }
@@ -215,7 +198,7 @@ export function createAgentsHouseAdapter(options) {
         const paths = batchPaths(changes);
         const sha256 = await deltaDigest(delta);
         if (handed !== undefined && handed.sha256 === sha256) {
-            return { body: { ...head, paths, upload: handed } };
+            return { body: { ...head, paths, upload: handed, runtime: notifications.runtime } };
         }
         const minted = await transport.door(DOOR_BATCH_UPLOAD, { ...head, paths, bytes, sha256 });
         if (minted.status !== 200) {
@@ -238,12 +221,13 @@ export function createAgentsHouseAdapter(options) {
             return { outcome: UNCERTAIN };
         const upload = { url: holding.url, operation: holding.operation, bytes, sha256 };
         await keep(upload);
-        return { body: { ...head, paths, upload } };
+        return { body: { ...head, paths, upload, runtime: notifications.runtime } };
     }
     async function submit(head, changes, delta, bytes, entry, handed, keep) {
-        const prepared = uploadable(bytes)
+        const inline = { ...head, changes, runtime: notifications.runtime };
+        const prepared = uploadable(inline, bytes, declared())
             ? await uploaded(head, changes, delta, bytes, entry, handed, keep)
-            : { body: { ...head, changes } };
+            : { body: inline };
         if ('outcome' in prepared)
             return prepared.outcome;
         const answer = await transport.door(DOOR_BATCH, prepared.body);
@@ -253,9 +237,6 @@ export function createAgentsHouseAdapter(options) {
         async authorize() {
             return options.authorize();
         },
-        async model(_authorization, request) {
-            return models.answer(request);
-        },
         async discover(_authorization) {
             const answer = await transport.door(DOOR_DISCOVER, { prefixes: [...DISCOVER_PREFIXES] });
             const classified = classifyDoor(answer.status, answer.body, PRIVATE_LOCATOR);
@@ -264,6 +245,7 @@ export function createAgentsHouseAdapter(options) {
             const document = parseDiscovery(answer.body);
             if (document === null)
                 return { kind: 'transport-uncertainty' };
+            bounds = document.bounds;
             const entries = trackedFrom(document);
             tracked.clear();
             for (const entry of entries)
@@ -272,9 +254,7 @@ export function createAgentsHouseAdapter(options) {
                 if (!tracked.has(locator))
                     handed.delete(locator);
             notifications.track(entries);
-            const acquired = await acquireModels(entries);
-            models.keep(entries.map((entry) => entry.locator));
-            return mapDiscovery(document, document.authorities.map((authority) => roomOf(authority, acquired)), capabilities(document.actions));
+            return mapDiscovery(document, document.authorities.map((authority) => discoveredRoom(authority)), capabilities(document.actions));
         },
         async bootstrap(_authorization, request) {
             const entry = authorityFor(request.locator);
@@ -293,16 +273,10 @@ export function createAgentsHouseAdapter(options) {
             const from = logPosition(request.fromRoomVersion);
             if (from === null)
                 return { kind: 'beyond-horizon' };
-            const answered = streamed(entry, request, from);
+            const answered = await streamed(entry, request, from);
             if (answered !== null)
                 return answered;
-            const minPosition = request.minPosition === undefined ? null : logPosition(request.minPosition);
-            return enumerateTogether({
-                entry,
-                from,
-                fromRoomVersion: request.fromRoomVersion,
-                ...(minPosition?.logEpoch === from.logEpoch ? { minPosition: minPosition.position } : {}),
-            });
+            return enumerateTogether({ entry, from, fromRoomVersion: request.fromRoomVersion });
         },
         async mutate(_authorization, request, keep) {
             const entry = authorityFor(request.locator);
@@ -317,8 +291,8 @@ export function createAgentsHouseAdapter(options) {
             const handed = request.upload;
             const outcome = await submit(head, mapped.changes, delta, bytes, entry, handed, keep);
             if (handed === undefined || !lapsedGrant(outcome))
-                return outcome;
-            return submit(head, mapped.changes, delta, bytes, entry, undefined, keep);
+                return adopted(entry, outcome);
+            return adopted(entry, await submit(head, mapped.changes, delta, bytes, entry, undefined, keep));
         },
         async history(_authorization, request) {
             const entry = authorityFor(request.locator);
@@ -338,10 +312,13 @@ export function createAgentsHouseAdapter(options) {
         reached(locator, version, target) {
             return reachedVersion(version, target, authorityFor(locator)?.logEpoch);
         },
+        follows(_locator, version, next) {
+            return followsVersion(version, next);
+        },
         async action(_authorization, request) {
             return withAt(await houseAction(transport, request));
         },
-        roomVersions: notifications,
+        roomStream: { hold: held, observe: notifications.observe },
         conversations: notifications.conversations,
         serviceMode: notifications.serviceMode,
     };

package/dist/discovery.d.ts

@@ -1,15 +1,7 @@
-import type { Capability, DiscoveredRoom, Discovery, ProviderLimit, Retention, TypedSelection } from '@agentshouse/mdruntime';
+import type { Capability, DiscoveredRoom, Discovery, ProviderLimit, Retention } from '@agentshouse/mdruntime';
 import { type LogPosition } from './version.js';
-export declare const ROOM_CONTRACT_VERSION = 1;
-export declare const MD_MODEL_IDENTITY = "@agentshouse/mdmodel";
-export declare const ROOM_VERSION_NOTIFICATIONS = "room-version-notifications";
 export declare const PROVIDER_ACTIONS = "provider-actions";
-export declare const MOVE_REFERENCE_REWRITES = "move-reference-rewrites";
 export declare const DISCOVER_PREFIXES: readonly string[];
-export declare const PROVIDER_SELECTION_ROOTS: readonly string[];
-export declare const UNTYPED_FOLDERS: readonly string[];
-export declare const RESERVED_NAMES: readonly string[];
-export declare const HOUSE_SCHEMA = "house/schema.yaml";
 export declare const PRIVATE_HANDLE = "private";
 export type HouseBounds = {
     max_authored_file_bytes: number;
@@ -19,6 +11,9 @@ export type HouseBounds = {
     max_path_depth: number;
     max_mount_files: number;
     max_mount_bytes: number;
+    max_inline_body_bytes: number;
+    max_upload_bytes: number;
+    max_prefixes: number;
     change_retention_seconds: number;
     operation_retention_seconds: number;
 };
@@ -28,18 +23,22 @@ export type HouseOperations = {
     write: readonly string[];
     delete: readonly string[];
 };
+export type HouseModel = {
+    root: string;
+    paths: readonly string[];
+};
 export type HouseAuthority = LogPosition & {
     roomRef: string;
     roomHandle: string;
     name: string;
     schema: string;
+    houseModel: HouseModel | null;
     managedReplication: 'admitted' | 'unavailable';
     protectedPaths: readonly string[];
     operations: HouseOperations;
 };
 export type HouseDiscoveryDocument = {
     bounds: HouseBounds;
-    mdModelVersion: string;
     authorities: readonly HouseAuthority[];
     actions: readonly string[];
 };
@@ -48,16 +47,9 @@ export type TrackedAuthority = LogPosition & {
     authority: string;
     handle: string;
     schema: string;
+    houseModel: HouseModel | null;
     schemas: readonly string[];
 };
-export type HouseSiteEntry = {
-    roomRef: string;
-    segment: string;
-};
-export type HouseSiteSlot = {
-    slot: string;
-    entries: readonly HouseSiteEntry[];
-};
 export type HouseSiteAuthority = LogPosition & {
     roomRef: string;
     roomHandle: string;
@@ -65,21 +57,17 @@ export type HouseSiteAuthority = LogPosition & {
 };
 export type HouseSiteDiscovery = {
     bounds: HouseBounds;
-    mdModelVersion: string;
-    slots: readonly HouseSiteSlot[];
     authorities: readonly HouseSiteAuthority[];
 };
 export declare function parseDiscovery(body: unknown): HouseDiscoveryDocument | null;
 export declare function parseSiteDiscovery(body: unknown): HouseSiteDiscovery | null;
 export declare function siteTracked(document: HouseSiteDiscovery): TrackedAuthority[];
-export declare function siteSlots(document: HouseSiteDiscovery): Discovery['slots'];
 export declare function locatorOf(authority: HouseAuthority): string;
 export declare function trackedFrom(document: HouseDiscoveryDocument): TrackedAuthority[];
 export declare function providerLimits(bounds: HouseBounds): readonly ProviderLimit[];
 export declare function declaredRetention(bounds: HouseBounds): Retention;
 export declare function capabilities(actions: readonly string[]): readonly Capability[];
 export declare function siteCapabilities(): readonly Capability[];
-export declare function providerSelection(attachedModel: TypedSelection['attachedModel']): TypedSelection;
-export declare function discoveredRoom(authority: HouseAuthority, attachedModel: DiscoveredRoom['attachedModel'], typedSelection: TypedSelection | undefined): DiscoveredRoom;
-export declare function mapDiscovery(document: Pick<HouseDiscoveryDocument, 'bounds' | 'mdModelVersion'>, rooms: readonly DiscoveredRoom[], declared: readonly Capability[]): Discovery;
+export declare function discoveredRoom(authority: HouseAuthority): DiscoveredRoom;
+export declare function mapDiscovery(document: Pick<HouseDiscoveryDocument, 'bounds'>, rooms: readonly DiscoveredRoom[], declared: readonly Capability[]): Discovery;
 //# sourceMappingURL=discovery.d.ts.map

package/dist/discovery.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../src/discovery.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,UAAU,EACV,cAAc,EACd,SAAS,EACT,aAAa,EACb,SAAS,EACT,cAAc,EACf,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EAA6B,KAAK,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3E,eAAO,MAAM,qBAAqB,IAAI,CAAC;AAEvC,eAAO,MAAM,iBAAiB,yBAAyB,CAAC;AAExD,eAAO,MAAM,0BAA0B,+BAA+B,CAAC;AAEvE,eAAO,MAAM,gBAAgB,qBAAqB,CAAC;AAEnD,eAAO,MAAM,uBAAuB,4BAA4B,CAAC;AAEjE,eAAO,MAAM,iBAAiB,EAAE,SAAS,MAAM,EAAU,CAAC;AAE1D,eAAO,MAAM,wBAAwB,EAAE,SAAS,MAAM,EAMrD,CAAC;AAEF,eAAO,MAAM,eAAe,EAAE,SAAS,MAAM,EAAgB,CAAC;AAE9D,eAAO,MAAM,cAAc,EAAE,SAAS,MAAM,EAY3C,CAAC;AAEF,eAAO,MAAM,YAAY,sBAAsB,CAAC;AAEhD,eAAO,MAAM,cAAc,YAAY,CAAC;AAExC,MAAM,MAAM,WAAW,GAAG;IACxB,uBAAuB,EAAE,MAAM,CAAC;IAChC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,eAAe,EAAE,MAAM,CAAC;IACxB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,wBAAwB,EAAE,MAAM,CAAC;IACjC,2BAA2B,EAAE,MAAM,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,WAAW,GAAG;IACzC,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,kBAAkB,EAAE,UAAU,GAAG,aAAa,CAAC;IAC/C,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,UAAU,EAAE,eAAe,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,MAAM,EAAE,WAAW,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,WAAW,EAAE,SAAS,cAAc,EAAE,CAAC;IACvC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,WAAW,GAAG;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG;IAC3B,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,EAAE,MAAM,CAAC;CACjB,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,SAAS,cAAc,EAAE,CAAC;CACpC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,WAAW,GAAG;IAC7C,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,MAAM,EAAE,WAAW,CAAC;IACpB,cAAc,EAAE,MAAM,CAAC;IACvB,KAAK,EAAE,SAAS,aAAa,EAAE,CAAC;IAChC,WAAW,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC5C,CAAC;AAwEF,wBAAgB,cAAc,CAAC,IAAI,EAAE,OAAO,GAAG,sBAAsB,GAAG,IAAI,CAqB3E;AAyCD,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,OAAO,GAAG,kBAAkB,GAAG,IAAI,CAoB3E;AAED,wBAAgB,WAAW,CAAC,QAAQ,EAAE,kBAAkB,GAAG,gBAAgB,EAAE,CAU5E;AAED,wBAAgB,SAAS,CAAC,QAAQ,EAAE,kBAAkB,GAAG,SAAS,CAAC,OAAO,CAAC,CAK1E;AAED,wBAAgB,SAAS,CAAC,SAAS,EAAE,cAAc,GAAG,MAAM,CAE3D;AAQD,wBAAgB,WAAW,CAAC,QAAQ,EAAE,sBAAsB,GAAG,gBAAgB,EAAE,CAUhF;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,WAAW,GAAG,SAAS,aAAa,EAAE,CAU5E;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,WAAW,GAAG,SAAS,CAMhE;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,UAAU,EAAE,CAU9E;AAED,wBAAgB,gBAAgB,IAAI,SAAS,UAAU,EAAE,CAKxD;AAED,wBAAgB,iBAAiB,CAAC,aAAa,EAAE,cAAc,CAAC,eAAe,CAAC,GAAG,cAAc,CAEhG;AAED,wBAAgB,cAAc,CAC5B,SAAS,EAAE,cAAc,EACzB,aAAa,EAAE,cAAc,CAAC,eAAe,CAAC,EAC9C,cAAc,EAAE,cAAc,GAAG,SAAS,GACzC,cAAc,CAiBhB;AAED,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,IAAI,CAAC,sBAAsB,EAAE,QAAQ,GAAG,gBAAgB,CAAC,EACnE,KAAK,EAAE,SAAS,cAAc,EAAE,EAChC,QAAQ,EAAE,SAAS,UAAU,EAAE,GAC9B,SAAS,CAUX"}
+{"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../src/discovery.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,UAAU,EACV,cAAc,EACd,SAAS,EACT,aAAa,EACb,SAAS,EACV,MAAM,wBAAwB,CAAC;AAGhC,OAAO,EAA6B,KAAK,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3E,eAAO,MAAM,gBAAgB,qBAAqB,CAAC;AAEnD,eAAO,MAAM,iBAAiB,EAAE,SAAS,MAAM,EAAU,CAAC;AAE1D,eAAO,MAAM,cAAc,YAAY,CAAC;AAExC,MAAM,MAAM,WAAW,GAAG;IACxB,uBAAuB,EAAE,MAAM,CAAC;IAChC,oBAAoB,EAAE,MAAM,CAAC;IAC7B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,eAAe,EAAE,MAAM,CAAC;IACxB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,gBAAgB,EAAE,MAAM,CAAC;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,wBAAwB,EAAE,MAAM,CAAC;IACjC,2BAA2B,EAAE,MAAM,CAAC;CACrC,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,MAAM,EAAE,SAAS,MAAM,EAAE,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,MAAM,CAAC;IACb,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1B,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,WAAW,GAAG;IACzC,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IAC9B,kBAAkB,EAAE,UAAU,GAAG,aAAa,CAAC;IAC/C,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,UAAU,EAAE,eAAe,CAAC;CAC7B,CAAC;AAEF,MAAM,MAAM,sBAAsB,GAAG;IACnC,MAAM,EAAE,WAAW,CAAC;IACpB,WAAW,EAAE,SAAS,cAAc,EAAE,CAAC;IACvC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG,WAAW,GAAG;IAC3C,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,UAAU,EAAE,UAAU,GAAG,IAAI,CAAC;IAC9B,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,WAAW,GAAG;IAC7C,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,MAAM,EAAE,WAAW,CAAC;IACpB,WAAW,EAAE,SAAS,kBAAkB,EAAE,CAAC;CAC5C,CAAC;AAuFF,wBAAgB,cAAc,CAAC,IAAI,EAAE,OAAO,GAAG,sBAAsB,GAAG,IAAI,CAoB3E;AAmBD,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,OAAO,GAAG,kBAAkB,GAAG,IAAI,CAa3E;AAED,wBAAgB,WAAW,CAAC,QAAQ,EAAE,kBAAkB,GAAG,gBAAgB,EAAE,CAW5E;AAED,wBAAgB,SAAS,CAAC,SAAS,EAAE,cAAc,GAAG,MAAM,CAE3D;AAQD,wBAAgB,WAAW,CAAC,QAAQ,EAAE,sBAAsB,GAAG,gBAAgB,EAAE,CAWhF;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,WAAW,GAAG,SAAS,aAAa,EAAE,CAU5E;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,WAAW,GAAG,SAAS,CAMhE;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,UAAU,EAAE,CAQ9E;AAED,wBAAgB,gBAAgB,IAAI,SAAS,UAAU,EAAE,CAIxD;AAED,wBAAgB,cAAc,CAAC,SAAS,EAAE,cAAc,GAAG,cAAc,CAkBxE;AAED,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,IAAI,CAAC,sBAAsB,EAAE,QAAQ,CAAC,EAChD,KAAK,EAAE,SAAS,cAAc,EAAE,EAChC,QAAQ,EAAE,SAAS,UAAU,EAAE,GAC9B,SAAS,CAQX"}