@agentshouse/mdruntime 0.1.0-cff1b70c6ad46 → 0.1.0-cffcba9cd9c2f

package/dist/messages.js

@@ -2,7 +2,6 @@ import { sql } from '@agentshouse/mdmodel';
 import { EXCERPT } from './read.js';
 const SAID_BY_HOUSE = `json_extract(message, '$.role') = 'house'`;
 const ANSWERS_THE_TURN = `json_extract(message, '$.role') = 'assistant'`;
-const MARKS_A_JOB = `instr(message, '"marker":"job"') > 0`;
 export const MESSAGE_TABLES = [
     'CREATE TABLE conversation_reads (conversation TEXT PRIMARY KEY, read TEXT, partial INTEGER NOT NULL) WITHOUT ROWID',
     'CREATE TABLE conversation_messages (id INTEGER PRIMARY KEY, conversation TEXT NOT NULL, identity TEXT NOT NULL, turn TEXT NOT NULL, position TEXT NOT NULL, message TEXT NOT NULL, text TEXT NOT NULL)',
@@ -10,7 +9,6 @@ export const MESSAGE_TABLES = [
     'CREATE INDEX conversation_messages_position ON conversation_messages (conversation, position, identity)',
     'CREATE INDEX conversation_messages_turn ON conversation_messages (conversation, turn)',
     `CREATE INDEX conversation_messages_house ON conversation_messages (conversation, position, identity) WHERE ${SAID_BY_HOUSE}`,
-    `CREATE INDEX conversation_messages_jobs ON conversation_messages (conversation, position, identity) WHERE ${MARKS_A_JOB}`,
 ];
 const NEWEST_FIRST = 'ORDER BY position DESC, identity DESC LIMIT 1';
 const OLDEST_FIRST = 'ORDER BY position, identity LIMIT 1';
@@ -40,13 +38,6 @@ export const ROWS = `WITH chosen AS (
   LEFT JOIN conversation_messages answer ON answer.id = chosen.answer
   LEFT JOIN conversation_messages opened ON opened.id = chosen.opened
   LEFT JOIN conversation_messages asking ON asking.id = chosen.asking`;
-export const JOB_MARKERS = `SELECT json_extract(part.value, '$.text') AS said,
-    json_extract(message, '$.accepted_at') AS at
-  FROM conversation_messages, json_each(message, '$.parts') AS part
-  WHERE conversation = ? AND ${MARKS_A_JOB}
-    AND json_extract(part.value, '$.type') = 'marker'
-    AND json_extract(part.value, '$.marker') = 'job'
-  ORDER BY position, identity, part.key`;
 function text(value) {
     return typeof value === 'string' ? value : String(value);
 }
@@ -143,11 +134,6 @@ export function conversationRows(connection, conversations) {
             },
     }));
 }
-export function jobMarkers(connection, conversation) {
-    return connection
-        .rows(JOB_MARKERS, [conversation])
-        .map((row) => ({ said: text(row.said), at: text(row.at) }));
-}
 export function turnArrived(connection, conversation, turn) {
     return (connection.rows('SELECT 1 FROM conversation_messages WHERE conversation = ? AND turn = ? LIMIT 1', [conversation, turn]).length > 0);
 }

package/dist/model.d.ts

@@ -50,7 +50,6 @@ export type ValidationReceipt = {
     source: Open<'current' | 'cached'>;
 };
 export declare const NO_MODEL: ModelState;
-export declare function definitionOf(state: ModelState, type: string | undefined): Definition | undefined;
 export declare function modelTypes(state: ModelState): TypesResult;
 export declare function storedModel(state: ModelState): StoredModel;
 //# sourceMappingURL=model.d.ts.map

package/dist/model.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../src/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAClE,MAAM,MAAM,aAAa,GAAG,aAAa,GAAG;IAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC;AAC/F,MAAM,MAAM,sBAAsB,GAAG,IAAI,CAAC,cAAc,GAAG,SAAS,GAAG,cAAc,CAAC,CAAC;AACvF,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,aAAa,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAA;CAAE,CAAC;AAClE,MAAM,MAAM,MAAM,GAAG,UAAU,CAAC;AAChC,MAAM,MAAM,UAAU,GAClB;IAAE,MAAM,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAA;CAAE,GACzD;IACE,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAC;IAC7B,QAAQ,EAAE,aAAa,CAAC;IACxB,YAAY,EAAE,aAAa,CAAC;IAC5B,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;CAC/B,CAAC;AACN,MAAM,MAAM,WAAW,GACnB,OAAO,CAAC,UAAU,EAAE;IAAE,MAAM,EAAE,aAAa,CAAA;CAAE,CAAC,GAC9C,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE;IAAE,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAA;CAAE,CAAC,EAAE,OAAO,CAAC,CAAC;AACzE,MAAM,MAAM,WAAW,GACnB;IAAE,MAAM,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GAC5E;IACE,MAAM,EAAE,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,CAAC;IACnC,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,aAAa,CAAC;IAC5B,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB,CAAC;AACN,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,CAAC;CACpC,CAAC;AACF,eAAO,MAAM,QAAQ,EAAE,UAA8D,CAAC;AACtF,wBAAgB,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAGhG;AACD,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,CAczD;AACD,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,CAI1D"}
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../src/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AACtE,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEtC,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAClE,MAAM,MAAM,aAAa,GAAG,aAAa,GAAG;IAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CAAC;AAC/F,MAAM,MAAM,sBAAsB,GAAG,IAAI,CAAC,cAAc,GAAG,SAAS,GAAG,cAAc,CAAC,CAAC;AACvF,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,aAAa,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAA;CAAE,CAAC;AAClE,MAAM,MAAM,MAAM,GAAG,UAAU,CAAC;AAChC,MAAM,MAAM,UAAU,GAClB;IAAE,MAAM,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAA;CAAE,GACzD;IACE,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAC;IAC7B,QAAQ,EAAE,aAAa,CAAC;IACxB,YAAY,EAAE,aAAa,CAAC;IAC5B,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;CAC/B,CAAC;AACN,MAAM,MAAM,WAAW,GACnB,OAAO,CAAC,UAAU,EAAE;IAAE,MAAM,EAAE,aAAa,CAAA;CAAE,CAAC,GAC9C,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE;IAAE,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAA;CAAE,CAAC,EAAE,OAAO,CAAC,CAAC;AACzE,MAAM,MAAM,WAAW,GACnB;IAAE,MAAM,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAC;IAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GAC5E;IACE,MAAM,EAAE,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,CAAC;IACnC,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,aAAa,CAAC;IAC5B,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IACzB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CACzB,CAAC;AACN,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAC,CAAC;CACpC,CAAC;AACF,eAAO,MAAM,QAAQ,EAAE,UAA8D,CAAC;AACtF,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,CAczD;AACD,wBAAgB,WAAW,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,CAI1D"}

package/dist/model.js

@@ -1,9 +1,4 @@
 export const NO_MODEL = { status: 'unavailable', reason: 'not-acquired' };
-export function definitionOf(state, type) {
-    if (state.status === 'unavailable' || type === undefined)
-        return undefined;
-    return Object.hasOwn(state.types, type) ? state.types[type] : undefined;
-}
 export function modelTypes(state) {
     return state.status === 'unavailable'
         ? { ...state, types: null }

package/dist/models.d.ts

@@ -1,14 +1,10 @@
-import type { ScopedRefusal } from './adapter.js';
+import type { RoomDeclaration, 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 retainModel(runtime: Runtime, locator: string, declaration: RoomDeclaration, given: ModelState | null, refused?: true): Promise<void>;
+export declare function scoped(runtime: Runtime, result: ScopedRefusal, locator: string, declaration: RoomDeclaration): Promise<void>;
+export declare function settleModels(runtime: Runtime, held: ReadonlyMap<string, 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

@@ -1 +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,CAS9F;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,iBAuDzB;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"}
+{"version":3,"file":"models.d.ts","sourceRoot":"","sources":["../src/models.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAOnE,OAAO,EAAY,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAGvD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C,OAAO,KAAK,EAAc,YAAY,EAAS,MAAM,YAAY,CAAC;AAMlE,wBAAgB,OAAO,CAAC,KAAK,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAE9D;AAqED,wBAAsB,WAAW,CAC/B,OAAO,EAAE,OAAO,EAChB,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,eAAe,EAC5B,KAAK,EAAE,UAAU,GAAG,IAAI,EACxB,OAAO,CAAC,EAAE,IAAI,iBA4Bf;AAED,wBAAsB,MAAM,CAC1B,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,eAAe,iBAwB7B;AAED,wBAAsB,YAAY,CAChC,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,EAC1C,MAAM,EAAE,SAAS,GAAG,QAAQ,EAC5B,KAAK,EAAE,YAAY,iBAkDpB;AAED,wBAAsB,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAkBvF"}

package/dist/models.js

@@ -1,18 +1,16 @@
+import { equalValue } from '@agentshouse/mdmodel';
 import { changeSet } from './change-set.js';
 import { composedOf } from './collection.js';
+import { declared, sameDeclaration } from './declaration.js';
+import { uncaught } from './failure.js';
 import { admitted, declarationOf, list, listedLocators } from './listing.js';
 import { loseRooms } from './lost.js';
 import { NO_MODEL } from './model.js';
+import { settle } from './queue.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.authoredPaths) === JSON.stringify(room.authoredPaths) &&
-            JSON.stringify(held.typedSelection) === JSON.stringify(room.typedSelection ?? null)));
+function declaredAsHeld(held, declaration) {
+    return held === undefined || sameDeclaration(held.declaration, declaration);
 }
 export function revoked(model) {
     return model?.status === 'unavailable' && model.reason === 'revoked';
@@ -20,115 +18,96 @@ export function revoked(model) {
 function unheldModelOf({ socket }, locator) {
     return socket.rooms.standing(locator).unheldModel ?? NO_MODEL;
 }
-export async function keepNaming(runtime, local, room) {
+async function modelNow(runtime, locator) {
+    return (await runtime.store.record(locator))?.model ?? unheldModelOf(runtime, locator);
+}
+function restands(held, model, declaration) {
+    return (JSON.stringify(held.model) !== JSON.stringify(model) ||
+        !equalValue(held.declaration.typedSelection, declaration.typedSelection));
+}
+function recordAlone(store, record) {
+    return {
+        locator: record.locator,
+        key: record.key,
+        record: storedRecord(record),
+        composed: composedOf(store.composed(record)),
+    };
+}
+function listed(runtime, locator, declaration) {
+    list(runtime, locator, declaration, admitted(runtime, locator, declaration));
+}
+function unheld(runtime, locator, declaration, model) {
+    runtime.socket.rooms.stand(locator, { unheldModel: model });
+    listed(runtime, locator, declaration);
+    emitRooms(runtime);
+}
+function recorded(runtime, locator, declaration, model) {
     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 () => {
+    return store.exclusive(async () => {
         if (!socket.continuing())
             return;
-        const current = await store.record(room.locator);
-        if (current === undefined)
+        const current = await store.record(locator);
+        if (current === undefined) {
+            unheld(runtime, locator, declaration, model);
             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);
+        }
+        const answer = await (await store.open()).commit({ rooms: [recordAlone(store, { ...current, declaration, model })] });
+        listed(runtime, locator, declaration);
+        void store.changed(changeSet(locator, {
+            documents: answer.changed[locator] ?? [],
+            room: true,
+            unindexed: answer.indexed[locator] === false,
+        }));
     });
 }
-async function modelNow(runtime, locator) {
-    return (await runtime.store.record(locator))?.model ?? unheldModelOf(runtime, locator);
-}
-export async function retainModel(runtime, local, room, given) {
+export async function retainModel(runtime, locator, declaration, given, refused) {
     const { store, socket } = runtime;
-    const held = await store.record(room.locator);
-    const previous = held?.model ?? unheldModelOf(runtime, room.locator);
+    const held = await store.record(locator);
+    const previous = held?.model ?? unheldModelOf(runtime, locator);
     const next = given ?? previous;
-    if (JSON.stringify(previous) === JSON.stringify(next) && declaredAsHeld(held, room))
+    if (JSON.stringify(previous) === JSON.stringify(next) && declaredAsHeld(held, declaration))
+        return;
+    if (held !== undefined && !restands(held, next, declaration)) {
+        await recorded(runtime, locator, declaration, next);
         return;
-    await store.exclusive(async () => {
+    }
+    await settle(runtime, [locator], async (works) => {
         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,
-                authoredPaths: room.authoredPaths,
-                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,
-            });
+            return [];
+        const current = works.get(locator)?.replica;
+        if (current === undefined) {
+            unheld(runtime, locator, declaration, next);
+            return [];
         }
-        else
-            socket.rooms.stand(room.locator, { unheldModel: next });
-        list(runtime, room, admitted(runtime, room));
-        if (changed === null)
-            emitRooms(runtime);
-        else
-            store.changed(changed);
+        return [
+            {
+                locator,
+                record: { ...current.record, declaration, model: next },
+                ...(refused === undefined ? {} : { refused }),
+                after: () => listed(runtime, locator, declaration),
+            },
+        ];
     });
 }
-export async function scoped(runtime, result, room, local) {
+export async function scoped(runtime, result, locator, declaration) {
     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]);
+        journal.record(`scoped refusal ${locator} ${result.scope} ${result.code}`);
+        await loseRooms(runtime, [locator]);
         return;
     }
-    socket.rooms.stand(room.locator, {
+    socket.rooms.stand(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);
-    }
+        await retainModel(runtime, locator, declaration, { status: 'unavailable', reason: 'not-readable' }, true);
+    else if (result.scope !== 'operation')
+        socket.rooms.stand(locator, { unreadable: true });
     if (!socket.continuing())
         return;
-    list(runtime, scopedAway, admitted(runtime, scopedAway));
+    listed(runtime, locator, declaration);
     emitRooms(runtime);
-    journal.record(`scoped refusal ${room.locator} ${result.scope} ${result.code}`);
+    journal.record(`scoped refusal ${locator} ${result.scope} ${result.code}`);
 }
 export async function settleModels(runtime, held, status, local) {
     const { store, socket, journal } = runtime;
@@ -136,60 +115,56 @@ export async function settleModels(runtime, held, status, local) {
     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 stored = await store.rooms([...held.keys()]);
+        const unchanged = [...held].filter(([locator, declaration]) => {
+            const record = stored.get(locator)?.record;
+            return (owed(record?.model ?? unheldModelOf(runtime, locator)) &&
+                declaredAsHeld(record, declaration));
         });
-        const records = unchanged.flatMap((room) => {
-            const record = stored.get(room.locator)?.record;
+        const records = unchanged.flatMap(([locator]) => {
+            const record = stored.get(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)),
-                    })),
-                });
+                await local.commit({ rooms: records.map((record) => recordAlone(store, record)) });
             }
-            catch {
+            catch (error) {
                 journal.record(`model ${status} persistence failed`);
+                uncaught(error);
             }
         }
-        for (const room of unchanged) {
-            const { unheldModel } = socket.rooms.standing(room.locator);
-            if (!stored.has(room.locator) && unheldModel !== null) {
-                socket.rooms.stand(room.locator, {
+        for (const [locator, declaration] of unchanged) {
+            const { unheldModel } = socket.rooms.standing(locator);
+            if (!stored.has(locator) && unheldModel !== null) {
+                socket.rooms.stand(locator, {
                     unheldModel: { ...unheldModel, status },
                 });
             }
-            list(runtime, room, admitted(runtime, room));
+            listed(runtime, locator, declaration);
         }
         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)));
-        });
+        const kept = new Set(unchanged.map(([locator]) => locator));
+        return [...held].filter(([locator]) => !kept.has(locator) &&
+            owed(stored.get(locator)?.record.model ?? unheldModelOf(runtime, locator)));
     });
-    for (const room of declaredAnew) {
-        const model = await modelNow(runtime, room.locator);
+    for (const [locator, declaration] of declaredAnew) {
+        const model = await modelNow(runtime, locator);
         if (owed(model))
-            await retainModel(runtime, local, room, { ...model, status });
+            await retainModel(runtime, locator, declaration, { ...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);
+    await settleModels(runtime, new Map(listedLocators(runtime, held).flatMap((locator) => {
+        const discovered = socket.rooms.discovered(locator);
+        const declaration = discovered === undefined
+            ? declarationOf(runtime, locator, held.get(locator))?.room
+            : declared(discovered);
+        return declaration === undefined ? [] : [[locator, declaration]];
+    })), 'cached', local);
 }

package/dist/opening.d.ts.map

@@ -1 +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"}
+{"version":3,"file":"opening.d.ts","sourceRoot":"","sources":["../src/opening.ts"],"names":[],"mappings":"AAOA,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

@@ -1,8 +1,10 @@
 import { conversationsOpened } from './conversation.js';
 import { detectStorageLoss, nextGeneration, refusedForSpace } from './durability.js';
+import { uncaught } from './failure.js';
 import { sweep } from './install.js';
 import { eraseFenced } from './lost.js';
 import { prepare } from './preparation.js';
+import { unpair } from './queue.js';
 import { emitRooms, emitStorageLoss, statusShown } from './shown.js';
 export async function open(runtime, opened) {
     const { store, socket, journal, shell, conversations, build, usableWhenHeld } = runtime;
@@ -40,18 +42,18 @@ export async function open(runtime, opened) {
     await conversationsOpened(conversations, opened);
     if (interrupted.length > 0) {
         queueMicrotask(() => {
-            void eraseFenced(runtime, interrupted).catch(() => {
+            void eraseFenced(runtime, interrupted).catch((error) => {
                 journal.record('erasure failed');
+                uncaught(error);
             });
         });
     }
     statusShown(runtime);
     prepare(runtime);
     emitRooms(runtime);
-    void store
-        .exclusive(() => runtime.unpair(opened))
-        .catch(() => {
+    void unpair(runtime).catch((error) => {
         journal.record('unpair failed');
+        uncaught(error);
     });
     return opened;
 }

package/dist/overlay.d.ts

@@ -1,4 +1,5 @@
 import type { BinaryFile, HeadChange } from './adapter.js';
+import { type Composition } from './collection.js';
 import type { ChangeBatch } from './change.js';
 export type Heads = {
     revisions: Readonly<Record<string, string>>;
@@ -22,5 +23,5 @@ export type Layer = Heads & {
 export declare function acceptedBinaries(files: Readonly<Record<string, BinaryFile>>): Generator<readonly [string, HeldBinary]>;
 export declare function sameBinary(left: HeldBinary | undefined, right: HeldBinary | undefined): boolean;
 export declare function sameChange(left: HeadChange | undefined, right: HeadChange | undefined): boolean;
-export declare function overlaying(base: Layer, queue: readonly ChangeBatch[], unapplied?: () => void): Generator<number, Layer, void>;
+export declare function overlaying(base: Layer, queue: readonly ChangeBatch[], composition: Composition, unapplied?: () => void): Generator<number, Layer, void>;
 //# sourceMappingURL=overlay.d.ts.map

package/dist/overlay.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"overlay.d.ts","sourceRoot":"","sources":["../src/overlay.ts"],"names":[],"mappings":"AAOA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,KAAK,EAAU,WAAW,EAAgB,MAAM,aAAa,CAAC;AAIrE,MAAM,MAAM,KAAK,GAAG;IAClB,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5C,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1C,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1C,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;CAC/C,CAAC;AAEF,MAAM,MAAM,UAAU,GAClB,CAAC;IAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GAAG,UAAU,CAAC,GAC7C;IACE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEN,MAAM,MAAM,KAAK,GAAG,KAAK,GAAG;IAC1B,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5C,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;CAChD,CAAC;AAEF,wBAAiB,gBAAgB,CAC/B,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,GAC1C,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAE1C;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,EAAE,KAAK,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAW/F;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,EAAE,KAAK,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAQ/F;AA6MD,wBAAiB,UAAU,CACzB,IAAI,EAAE,KAAK,EACX,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,SAAS,CAAC,EAAE,MAAM,IAAI,GACrB,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAsChC"}
+{"version":3,"file":"overlay.d.ts","sourceRoot":"","sources":["../src/overlay.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC3D,OAAO,EAAiB,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAClE,OAAO,KAAK,EAAU,WAAW,EAAgB,MAAM,aAAa,CAAC;AAIrE,MAAM,MAAM,KAAK,GAAG;IAClB,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5C,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1C,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC1C,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;CAC/C,CAAC;AAEF,MAAM,MAAM,UAAU,GAClB,CAAC;IAAE,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GAAG,UAAU,CAAC,GAC7C;IACE,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB,CAAC;AAEN,MAAM,MAAM,KAAK,GAAG,KAAK,GAAG;IAC1B,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5C,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;CAChD,CAAC;AAEF,wBAAiB,gBAAgB,CAC/B,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,GAC1C,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAE1C;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,EAAE,KAAK,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAW/F;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,EAAE,KAAK,EAAE,UAAU,GAAG,SAAS,GAAG,OAAO,CAQ/F;AA+ND,wBAAiB,UAAU,CACzB,IAAI,EAAE,KAAK,EACX,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,WAAW,EAAE,WAAW,EACxB,SAAS,CAAC,EAAE,MAAM,IAAI,GACrB,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAsChC"}

package/dist/overlay.js

@@ -1,4 +1,5 @@
-import { apply, frontmatterValue, parse, serialize, } from '@agentshouse/mdmodel';
+import { apply, create, frontmatterValue, parse, serialize, TYPE_FIELD, } from '@agentshouse/mdmodel';
+import { definitionsAt } from './collection.js';
 import { drafted, entriesIn, settling } from './shared.js';
 import { ROW_WEIGHT } from './turn.js';
 export function* acceptedBinaries(files) {
@@ -24,7 +25,6 @@ export function sameChange(left, right) {
         left.author?.id === right.author?.id &&
         left.author?.name === right.author?.name);
 }
-const EMPTY_FRONTMATTER = '---\n---\n';
 function isPart(change) {
     return change.kind === 'field' || change.kind === 'section' || change.kind === 'preamble';
 }
@@ -53,16 +53,23 @@ function* priorsOf(preconditions) {
         preamble: (path) => preambles.get(path) ?? '',
     };
 }
-function compose(fields, sections) {
-    const body = Object.entries(sections)
-        .map(([name, value]) => `\n## ${name}\n${value}`)
-        .join('');
-    const skeleton = `${EMPTY_FRONTMATTER}${body}`;
-    const opened = parse(skeleton);
-    if (!opened.ok)
-        return skeleton;
-    const next = apply(opened.document, Object.entries(fields).flatMap(([name, value]) => frontmatterValue(value) ? [{ kind: 'field', name, value, prior: undefined }] : []));
-    return serialize(next.outcome === 'applied' ? next.document : opened.document);
+function compose(path, fields, sections, composition) {
+    const declared = fields[TYPE_FIELD];
+    const type = typeof declared === 'string' && declared !== '' ? declared : undefined;
+    const definition = definitionsAt(composition, path)(type);
+    const created = create(type, definition);
+    const next = apply(created, [
+        ...Object.entries(fields).flatMap(([name, value]) => (name !== TYPE_FIELD || type === undefined) && frontmatterValue(value)
+            ? [{ kind: 'field', name, value, prior: undefined }]
+            : []),
+        ...Object.entries(sections).map(([name, value]) => ({
+            kind: 'section',
+            name,
+            value,
+            prior: undefined,
+        })),
+    ], definition);
+    return serialize(next.outcome === 'applied' ? next.document : created);
 }
 function edited(change, priors) {
     if (change.kind === 'field')
@@ -81,17 +88,19 @@ function edited(change, priors) {
         prior: priors.section(change.path, change.name),
     };
 }
-function edit(staged, changes, priors) {
+function edit(staged, changes, priors, composition) {
     const path = changes[0].path;
     delete staged.revisions[path];
     const text = staged.documents[path];
     if (text === undefined)
         return changes.length;
-    const parsed = parse(text, path);
+    const definitions = definitionsAt(composition, path);
+    const parsed = parse(text, path, definitions);
     if (!parsed.ok)
         return changes.length;
+    const definition = definitions(parsed.document.type);
     const wanted = changes.map((change) => edited(change, priors));
-    const first = apply(parsed.document, wanted);
+    const first = apply(parsed.document, wanted, definition);
     if (first.outcome === 'refuse')
         return changes.length;
     if (first.outcome === 'applied') {
@@ -100,7 +109,7 @@ function edit(staged, changes, priors) {
     }
     const stale = new Set(first.stale);
     const kept = wanted.filter((_, at) => !stale.has(at));
-    const rest = apply(parsed.document, kept);
+    const rest = apply(parsed.document, kept, definition);
     if (rest.outcome !== 'applied')
         return changes.length;
     staged.documents[path] = serialize(rest.document);
@@ -151,10 +160,12 @@ function erase(staged, path) {
     delete staged.changes[path];
     delete staged.binaries[path];
 }
-function stage(staged, change) {
+function stage(staged, change, composition) {
     if (change.kind === 'create') {
         staged.documents[change.path] =
-            'content' in change ? change.content : compose(change.fields, change.sections);
+            'content' in change
+                ? change.content
+                : compose(change.path, change.fields, change.sections, composition);
         delete staged.fileIds[change.path];
         delete staged.created[change.path];
         delete staged.changes[change.path];
@@ -206,7 +217,7 @@ function arrive(heads, change) {
     if (change.change !== undefined)
         heads.changes[change.path] = change.change;
 }
-export function* overlaying(base, queue, unapplied) {
+export function* overlaying(base, queue, composition, unapplied) {
     const staged = {
         documents: drafted(base.documents),
         binaries: drafted(base.binaries),
@@ -220,7 +231,7 @@ export function* overlaying(base, queue, unapplied) {
         for (let index = 0; index < batch.changes.length; index += 1) {
             const change = batch.changes[index];
             if (!isPart(change)) {
-                if (!stage(staged, change))
+                if (!stage(staged, change, composition))
                     unapplied?.();
                 yield ROW_WEIGHT;
                 continue;
@@ -234,7 +245,7 @@ export function* overlaying(base, queue, unapplied) {
                 index += 1;
             }
             const text = staged.documents[change.path] ?? '';
-            for (let left = edit(staged, run, priors); left > 0; left -= 1)
+            for (let left = edit(staged, run, priors, composition); left > 0; left -= 1)
                 unapplied?.();
             yield ROW_WEIGHT + text.length;
         }

package/dist/parts.d.ts

@@ -1,49 +1,4 @@
-import type { RunningSubagent, TurnContext } from './adapter.js';
-import { type JobMarker, type OpenJob } from './job.js';
-export type PlanStep = {
-    readonly content: string;
-    readonly status: string;
-};
-export type Marker = 'mode' | 'compaction' | 'retry' | 'model' | 'job';
-export type Part = {
-    readonly type: 'text';
-    readonly text: string;
-} | {
-    readonly type: 'reasoning';
-    readonly text: string;
-} | {
-    readonly type: 'commands';
-    readonly count: number;
-} | {
-    readonly type: 'subagent';
-    readonly description: string;
-    readonly done: boolean;
-    readonly result: string | null;
-} | {
-    readonly type: 'message';
-    readonly command: string;
-    readonly target: string | null;
-} | {
-    readonly type: 'image';
-    readonly path: string;
-    readonly name: string;
-    readonly mediaType: string;
-} | {
-    readonly type: 'marker';
-    readonly marker: Marker;
-    readonly text: string;
-} | {
-    readonly type: 'plan';
-    readonly steps: readonly PlanStep[];
-};
-export declare function partsOf(raw: readonly unknown[]): readonly Part[];
-export declare function contextIn(raw: unknown): TurnContext | null;
-export declare function tokensIn(raw: unknown): number | null;
-export type Turn = {
-    readonly turn: string;
-    readonly parts: readonly Part[];
-    readonly ended: boolean;
-};
+import { type Part, type SessionState } from '@agentshouse/session-content';
 export type ChatWork = {
     readonly kind: 'job' | 'schedule' | 'subagent';
     readonly title: string;
@@ -51,10 +6,6 @@ export type ChatWork = {
     readonly activity: string | null;
 };
 export declare function counted(count: number): string;
-export declare function runningLine(raw: readonly unknown[]): string | null;
-export declare function jobsOf(markers: readonly JobMarker[], turn: {
-    readonly started: string | null;
-    readonly parts: readonly unknown[];
-} | null): readonly OpenJob[];
-export declare function stillRunning(turns: readonly Turn[], subagents: readonly RunningSubagent[]): ReadonlyMap<string, readonly ChatWork[]>;
+export declare function runningLine(parts: readonly Part[]): string | null;
+export declare function workOf(state: SessionState | null): readonly ChatWork[];
 //# sourceMappingURL=parts.d.ts.map