@agentshouse/mdruntime 0.1.0-cede5a74284be → 0.1.0-cefbc8bb8a1c0

package/dist/query.js

@@ -1,6 +1,7 @@
 import { pointerFacts, } from '@agentshouse/mdmodel';
 import { referenceField } from './model.js';
 import { normalize } from './paths.js';
+import { decodedCursor } from './windows.js';
 export class QueryError extends Error {
     code;
     retryable = false;
@@ -11,9 +12,18 @@ export class QueryError extends Error {
 }
 const RANGE = ['$gt', '$gte', '$lt', '$lte'];
 const SINGLE = ['$eq', '$ne', '$in', '$nin', '$all', '$size', '$exists'];
-const FILTER = ['rooms', 'types', 'where', 'pathPrefix', 'hop', 'backlinks'];
+const FILTER = ['rooms', 'types', 'where', 'pathPrefix', 'folder', 'paths', 'hop', 'backlinks'];
 const RELATED = ['types', 'where', 'pathPrefix', 'field'];
-const PARTS = ['fields', 'sections', 'preamble', 'markdown', 'backlinks', 'change'];
+const PARTS = [
+    'fields',
+    'sections',
+    'preamble',
+    'markdown',
+    'backlinks',
+    'change',
+    'fileId',
+    'revision',
+];
 const ORDER = ['by', 'direction', 'nulls', 'stringSort', 'locale', 'localeOptions'];
 const CALENDAR_DATE = /^(\d{4})-(\d{2})-(\d{2})$/;
 const STRAY_ESCAPE = /~(?![01])/u;
@@ -60,6 +70,13 @@ function names(input, at) {
         invalid(at, 'expects a list of names');
     return [...new Set(listed)].sort();
 }
+function pathsOf(input) {
+    const listed = list(input, 'paths');
+    if (listed.some((item) => typeof item !== 'string' || item === '' || normalize(item) !== item)) {
+        invalid('paths', 'expects a list of Paths');
+    }
+    return [...new Set(listed)].sort();
+}
 function directory(input, at) {
     if (typeof input !== 'string' || normalize(input) !== input) {
         invalid(at, 'expects a normalized directory');
@@ -279,15 +296,16 @@ function backlinksOf(facts, rooms, input) {
     return { types, where, pathPrefix, field };
 }
 function keyPlan(typed, input, at, path) {
-    if (input === 'room' || input === 'type' || (path && input === 'path'))
+    if (input === 'room' || input === 'type' || input === 'folder' || (path && input === 'path')) {
         return { of: input };
+    }
     if (plain(input) && Object.hasOwn(input, 'field') && Object.keys(input).length === 1) {
         if (specs(typed, input.field, place(at, 'field')).some(several)) {
             invalid(place(at, 'field'), 'a path that can hold several values');
         }
         return { of: 'field', field: input.field };
     }
-    return invalid(at, path ? 'expects room, path, type or a field' : 'expects room, type or a field');
+    return invalid(at, path ? 'expects room, path, type, folder or a field' : 'expects room, type, folder or a field');
 }
 function direction(input, at) {
     if (input === undefined)
@@ -349,7 +367,7 @@ function parts(typed, input, at, fields) {
     });
     return named;
 }
-function flag(input, at) {
+export function flag(input, at) {
     if (input === undefined)
         return false;
     if (input !== true)
@@ -377,6 +395,8 @@ function documentShape(typed, input) {
             markdown: true,
             backlinks: true,
             change: true,
+            fileId: true,
+            revision: true,
             orderBy,
         };
     }
@@ -391,6 +411,8 @@ function documentShape(typed, input) {
         markdown: flag(select.markdown, 'select.markdown'),
         backlinks: flag(select.backlinks, 'select.backlinks'),
         change: flag(select.change, 'select.change'),
+        fileId: flag(select.fileId, 'select.fileId'),
+        revision: flag(select.revision, 'select.revision'),
         orderBy,
     };
 }
@@ -421,20 +443,36 @@ export function planOf(input, facts, reach = null) {
         invalid('select', 'a grouped query selects nothing');
     if (!grouped && input.select === undefined)
         invalid('select', 'a Document query must select');
-    known(input, [...FILTER, 'orderBy', 'limit', grouped ? 'groupBy' : 'select'], '');
+    known(input, [...FILTER, 'orderBy', 'limit', 'after', 'total', grouped ? 'groupBy' : 'select'], '');
     const limit = limitOf(input.limit);
     const rooms = input.rooms === undefined ? null : names(input.rooms, 'rooms');
     const { typed, ...root } = scope(facts, rooms, input, '');
+    const shape = grouped ? groupShape(typed, input) : documentShape(typed, input);
     return {
+        key: queryKey(input),
         rooms,
         reach,
+        locked: [],
         root,
+        folder: input.folder === undefined ? null : directory(input.folder, 'folder'),
+        paths: input.paths === undefined ? null : pathsOf(input.paths),
         hop: input.hop === undefined ? null : hopOf(facts, rooms, typed, input.hop),
         backlinks: input.backlinks === undefined ? null : backlinksOf(facts, rooms, input.backlinks),
-        shape: grouped ? groupShape(typed, input) : documentShape(typed, input),
+        shape,
         limit,
+        after: continuationOf(input.after, shape.orderBy.length + 1),
+        total: flag(input.total, 'total'),
     };
 }
+function continuationOf(input, arity) {
+    if (input === undefined)
+        return null;
+    const values = typeof input === 'string' ? decodedCursor(input) : null;
+    if (values === null || (values.length !== 0 && values.length !== arity)) {
+        invalid('after', 'expects the next an earlier result of this query returned');
+    }
+    return { text: input, values: values.length === 0 ? null : values };
+}
 export function limitOf(input) {
     if (input === undefined)
         return null;
@@ -449,6 +487,9 @@ export function filterOf(input, facts, reach = null) {
     known(input, FILTER, '');
     return planOf({ ...input, select: {} }, facts, reach);
 }
+export function queryKey(query) {
+    return canonical(query);
+}
 function canonical(value) {
     if (Array.isArray(value))
         return `[${value.map(canonical).join(',')}]`;

package/dist/reach.d.ts

@@ -1,14 +1,20 @@
-import type { ReferrerScope } from './adapter.js';
-import type { MdRuntime, RuntimeTopic } from './connection.js';
+import type { AppRoom, MdRuntime, ReadinessPort, RuntimeTopic } from './connection.js';
 import type { Plan, PlanReach, QueryResult } from './query.js';
-import type { SearchResult } from './search.js';
+import type { Readiness } from './readiness.js';
+import { type SearchResult } from './search.js';
 export type ReachedDocument = {
     readonly room: string;
     readonly path: string;
 };
+export type ReachedArea = {
+    readonly room: string;
+    readonly path: string;
+    readonly types: readonly string[];
+};
 export type PortReach = {
     readonly rooms: readonly string[];
     readonly documents: readonly ReachedDocument[];
+    readonly areas?: readonly ReachedArea[];
     readonly conversations: boolean;
 };
 export type Deliver = (message: unknown) => void;
@@ -19,13 +25,19 @@ export type RuntimeView = {
 };
 export type NarrowedView = RuntimeView & {
     narrow(reach: PortReach | null): void;
+    facts(port: ReadinessPort): void;
 };
 export type Reachable = RuntimeView & {
     plan(input: unknown, reach: PortReach | null): Plan;
     query(plan: Plan): Promise<QueryResult>;
     watchPlan(plan: Plan, deliver: (message: unknown) => void): () => void;
-    search(input: unknown, reach: PortReach | null): Promise<SearchResult>;
-    referrerScope(referrer: unknown): ReferrerScope | null;
+    search(input: unknown, reach: PortReach | null, locked: readonly string[]): Promise<SearchResult>;
+    watchReadiness(port: ReadinessPort, reach: PortReach | null, deliver: (readiness: Readiness) => void): () => void;
+    locked(room: string): boolean;
+    lockedRooms(): readonly string[];
+    watchLocks(notify: () => void): () => void;
+    located(room: string, path: string, destination: string): ReachedDocument | null;
+    room(locator: string): AppRoom | undefined;
 };
 export declare function holds(reach: PortReach | null, room: string): boolean;
 export declare function governs(reach: PortReach | null, room: {
@@ -38,5 +50,5 @@ export declare function governs(reach: PortReach | null, room: {
     readonly selection: boolean;
 };
 export declare function planReach(reach: PortReach | null): PlanReach | null;
-export declare function narrowed(runtime: Reachable, given: PortReach | null): NarrowedView;
+export declare function narrowed(runtime: Reachable, given: PortReach | null, told: ReadinessPort): NarrowedView;
 //# sourceMappingURL=reach.d.ts.map

package/dist/reach.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reach.d.ts","sourceRoot":"","sources":["../src/reach.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,KAAK,EAAW,SAAS,EAAe,YAAY,EAAc,MAAM,iBAAiB,CAAC;AAajG,OAAO,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAU/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAGhD,MAAM,MAAM,eAAe,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/E,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,SAAS,eAAe,EAAE,CAAC;IAC/C,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;AAEjD,MAAM,MAAM,KAAK,GAAG,CAClB,KAAK,EAAE,YAAY,EACnB,KAAK,EAAE,SAAS,OAAO,EAAE,EACzB,OAAO,EAAE,OAAO,KACb,MAAM,IAAI,CAAC;AAEhB,MAAM,MAAM,WAAW,GAAG;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC;AAE1D,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG;IAAE,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI,CAAA;CAAE,CAAC;AAEnF,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG;IACpC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI,CAAC;IACpD,KAAK,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACxC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,GAAG,MAAM,IAAI,CAAC;IACvE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IACvE,aAAa,CAAC,QAAQ,EAAE,OAAO,GAAG,aAAa,GAAG,IAAI,CAAC;CACxD,CAAC;AAyBF,wBAAgB,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAMpE;AAMD,wBAAgB,OAAO,CACrB,KAAK,EAAE,SAAS,GAAG,IAAI,EACvB,IAAI,EAAE;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE;QAAE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,GAAG,IAAI,CAAA;CAAE,GAC/F;IAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAU/D;AA2BD,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,SAAS,GAAG,IAAI,CASnE;AA8ED,wBAAgB,QAAQ,CAAC,OAAO,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,YAAY,CA4KlF"}
+{"version":3,"file":"reach.d.ts","sourceRoot":"","sources":["../src/reach.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,OAAO,EACP,SAAS,EACT,aAAa,EAEb,YAAY,EAEb,MAAM,iBAAiB,CAAC;AAyBzB,OAAO,KAAK,EAAiB,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAS9E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAChD,OAAO,EAAoB,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AAGlE,MAAM,MAAM,eAAe,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/E,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,SAAS,eAAe,EAAE,CAAC;IAC/C,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;AAEjD,MAAM,MAAM,KAAK,GAAG,CAClB,KAAK,EAAE,YAAY,EACnB,KAAK,EAAE,SAAS,OAAO,EAAE,EACzB,OAAO,EAAE,OAAO,KACb,MAAM,IAAI,CAAC;AAEhB,MAAM,MAAM,WAAW,GAAG;IAAE,EAAE,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAAC;AAE1D,MAAM,MAAM,YAAY,GAAG,WAAW,GAAG;IACvC,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI,CAAC;IACtC,KAAK,CAAC,IAAI,EAAE,aAAa,GAAG,IAAI,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,WAAW,GAAG;IACpC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,IAAI,CAAC;IACpD,KAAK,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IACxC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,GAAG,MAAM,IAAI,CAAC;IACvE,MAAM,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,GAAG,IAAI,EAAE,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAClG,cAAc,CACZ,IAAI,EAAE,aAAa,EACnB,KAAK,EAAE,SAAS,GAAG,IAAI,EACvB,OAAO,EAAE,CAAC,SAAS,EAAE,SAAS,KAAK,IAAI,GACtC,MAAM,IAAI,CAAC;IACd,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAC9B,WAAW,IAAI,SAAS,MAAM,EAAE,CAAC;IACjC,UAAU,CAAC,MAAM,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC;IAC3C,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,eAAe,GAAG,IAAI,CAAC;IACjF,IAAI,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAAC;CAC5C,CAAC;AAsCF,wBAAgB,KAAK,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAOpE;AAMD,wBAAgB,OAAO,CACrB,KAAK,EAAE,SAAS,GAAG,IAAI,EACvB,IAAI,EAAE;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE;QAAE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,GAAG,IAAI,CAAA;CAAE,GAC/F;IAAE,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAa/D;AAeD,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,GAAG,SAAS,GAAG,IAAI,CAcnE;AA2GD,wBAAgB,QAAQ,CACtB,OAAO,EAAE,SAAS,EAClB,KAAK,EAAE,SAAS,GAAG,IAAI,EACvB,IAAI,EAAE,aAAa,GAClB,YAAY,CA0Sd"}

package/dist/reach.js

@@ -1,12 +1,12 @@
 import { unheldView } from './conversation.js';
 import { modelTypes, NO_MODEL } from './model.js';
-import { applied, observing } from './observation.js';
+import { changeOf, digestApplied, digestOf, observing, } from './observation.js';
 import { runtimeError } from './failure.js';
-import { failure, undeclared, } from './outcome.js';
+import { failure, lockedRoom, ROOM_LOCKED, undeclared, UNREADABLE, } from './outcome.js';
 import { beneath } from './paths.js';
-import { reconciled } from './read-side.js';
 import { moveTarget, readParts, staleWrite, } from './room-draft.js';
 import { documentKey } from './rows.js';
+import { undeclaredSearch } from './search.js';
 const UNHELD_TYPES = { collection: modelTypes(NO_MODEL), typedSelection: null };
 function unconversed(name) {
     return () => Promise.resolve(undeclared(name));
@@ -24,12 +24,23 @@ const NO_CONVERSATION = {
 };
 const NO_CHAT_DRAFT = {
     write: () => Promise.resolve(),
+    prepend: () => Promise.resolve(),
     discard: () => Promise.resolve(),
 };
+function areasOf(reach) {
+    return reach.areas ?? [];
+}
+function typedAreas(reach, room) {
+    return areasOf(reach).filter((area) => area.room === room && area.types.length > 0);
+}
+function fenced(reach, room, path) {
+    return areasOf(reach).some((area) => area.room === room && beneath(area.path, path));
+}
 export function holds(reach, room) {
     return (reach === null ||
         reach.rooms.includes(room) ||
-        reach.documents.some((document) => document.room === room));
+        reach.documents.some((document) => document.room === room) ||
+        typedAreas(reach, room).length > 0);
 }
 function wholly(reach, room) {
     return reach === null || reach.rooms.includes(room);
@@ -39,33 +50,23 @@ export function governs(reach, room) {
         return { collection: true, selection: room.typedSelection !== null };
     }
     const selected = (path) => room.typedSelection?.roots.some((root) => beneath(root, path)) ?? false;
-    const paths = reach.documents
-        .filter((document) => document.room === room.locator)
-        .map(({ path }) => path);
+    const paths = [
+        ...reach.documents
+            .filter((document) => document.room === room.locator)
+            .map(({ path }) => path),
+        ...typedAreas(reach, room.locator).map(({ path }) => path),
+    ];
     return { collection: paths.some((path) => !selected(path)), selection: paths.some(selected) };
 }
 function covers(reach, room, path) {
     return (reach === null ||
-        reach.rooms.includes(room) ||
-        reach.documents.some((document) => document.room === room && document.path === path));
+        (!fenced(reach, room, path) &&
+            (reach.rooms.includes(room) ||
+                reach.documents.some((document) => document.room === room && document.path === path))));
 }
 function conversing(reach) {
     return reach === null || reach.conversations;
 }
-function refers(reach, scope) {
-    if (reach === null)
-        return true;
-    if (scope === null)
-        return false;
-    if (scope.kind === 'conversations')
-        return reach.conversations;
-    return scope.path === undefined
-        ? wholly(reach, scope.locator)
-        : covers(reach, scope.locator, scope.path);
-}
-function unreachedReference(fileRef) {
-    return { kind: 'absent', code: 'binary-file-absent', fields: { fileRef }, retryable: false };
-}
 export function planReach(reach) {
     return reach === null
         ? null
@@ -74,6 +75,9 @@ export function planReach(reach) {
             documents: [
                 ...new Set(reach.documents.map(({ room, path }) => documentKey(room, path))),
             ].sort(),
+            areas: areasOf(reach)
+                .map(({ room, path, types }) => ({ room, path, types: [...new Set(types)].sort() }))
+                .sort((left, right) => documentKey(left.room, left.path) < documentKey(right.room, right.path) ? -1 : 1),
         };
 }
 function roomsWithin(reach, rooms) {
@@ -89,7 +93,7 @@ function typesWithin(reach, room, types) {
     };
 }
 function moves(reach, room, move) {
-    return move === undefined || covers(reach, room, moveTarget(move));
+    return move === undefined || covers(reach, move.room ?? room, moveTarget(move));
 }
 function draftWithin(reach, draft) {
     return covers(reach, draft.room, draft.path) && moves(reach, draft.room, draft.parts.move);
@@ -122,76 +126,128 @@ function savedWithin(reach, room, result) {
 function statusWithin(reach, status) {
     return {
         ...status,
-        attentionRequired: status.attentionRequired.filter((entry) => covers(reach, entry.room, entry.path)),
+        attentionRequired: status.attentionRequired.filter((entry) => 'refusal' in entry ? wholly(reach, entry.room) : covers(reach, entry.room, entry.path)),
+        unsent: status.unsent.filter((change) => covers(reach, change.room, change.path)),
     };
 }
 function queueWithin(reach, room, entries) {
-    return entries.filter(({ batch }) => batch.changes.every((change) => covers(reach, room, change.path) &&
-        (change.kind !== 'move' || covers(reach, room, change.to))));
+    return entries
+        .filter(({ batch }) => batch.changes.every((change) => covers(reach, room, change.path) &&
+        (change.kind !== 'move' || covers(reach, room, change.to))))
+        .map((entry) => {
+        const { between, ...batch } = entry.batch;
+        if (between === undefined)
+            return entry;
+        return wholly(reach, between.source.room) && wholly(reach, between.destination.room)
+            ? entry
+            : { ...entry, batch };
+    });
 }
 function unreached(room) {
     return runtimeError('room-not-held', `No Local Replica for ${room}`);
 }
-export function narrowed(runtime, given) {
+function lockedError(room) {
+    return runtimeError(ROOM_LOCKED, `${room} is locked until House confirms its access`, true);
+}
+function deviceUnreached() {
+    return runtimeError('device-unreached', 'Only the panel cleans up this device');
+}
+const ATTACH_REQUIRED = 'attach-required';
+function attachRequired() {
+    return runtimeError(ATTACH_REQUIRED, 'App code takes a file in with binaryFile.attach');
+}
+function carriesFile(parts) {
+    return parts !== null && typeof parts === 'object' && Object.hasOwn(parts, 'file');
+}
+export function narrowed(runtime, given, told) {
     const { md, watch } = runtime;
     let reach = given;
+    let port = told;
     const open = new Set();
-    function following(begin) {
+    function following(begin, locking = false) {
         let stop = begin();
         const restart = () => {
             stop();
             stop = begin();
         };
         open.add(restart);
+        const unwatch = locking ? runtime.watchLocks(restart) : () => { };
         return () => {
             open.delete(restart);
+            unwatch();
             stop();
         };
     }
+    const unlocking = (rooms) => {
+        const locked = (rooms ?? []).filter((room) => runtime.locked(room));
+        return locked.length === 0
+            ? null
+            : { pending: locked.map((room) => ({ room, awaits: 'unlock' })) };
+    };
+    const unlocked = (entries) => entries.filter((entry) => !runtime.locked(entry.room));
+    const intoLocked = (held) => held.some((move) => move?.room !== undefined && runtime.locked(move.room));
     const within = (topic, input, deliver) => {
         if (topic === 'rooms') {
             return following(() => watch(topic, input, (rooms) => deliver(roomsWithin(reach, rooms))));
         }
+        if (topic === 'readiness') {
+            return following(() => runtime.watchReadiness(port, reach, deliver));
+        }
         if (topic === 'sync-status') {
-            return following(() => watch(topic, input, (status) => deliver(statusWithin(reach, status))));
+            return following(() => watch(topic, input, (status) => {
+                const within = statusWithin(reach, status);
+                deliver({ ...within, attentionRequired: unlocked(within.attentionRequired) });
+            }), true);
         }
         if (topic === 'room-drafts') {
-            return following(() => watch(topic, input, (drafts) => deliver(draftsWithin(reach, drafts))));
+            return following(() => watch(topic, input, (drafts) => deliver(unlocked(draftsWithin(reach, drafts)))), true);
         }
         if (topic === 'queue') {
             const room = input[0];
             return following(() => {
-                if (!holds(reach, room)) {
+                if (!holds(reach, room) || runtime.locked(room)) {
                     deliver([]);
                     return () => { };
                 }
                 return watch(topic, input, (entries) => deliver(queueWithin(reach, room, entries)));
-            });
+            }, true);
         }
         if (topic === 'query') {
             const plan = runtime.plan(input[0], reach);
             let held = null;
             return following(() => {
+                const locked = unlocking(plan.rooms);
+                if (locked !== null) {
+                    const answer = { result: locked, keys: [] };
+                    if (held === null || changeOf(held, answer) !== null)
+                        deliver(answer);
+                    held = digestOf(answer);
+                    return () => { };
+                }
                 let first = true;
-                return runtime.watchPlan({ ...plan, reach: planReach(reach) }, (message) => {
+                let open = true;
+                const heard = (message) => {
                     if (!first) {
-                        held = applied(held, message);
+                        held = digestApplied(held, message);
                         deliver(message);
                         return;
                     }
                     first = false;
-                    if (held === null) {
-                        held = message;
-                        deliver(message);
-                        return;
-                    }
-                    const next = reconciled(held, message);
-                    if (next === null)
-                        return;
-                    held = next.keyed;
-                    deliver(next.change);
+                    const change = held === null ? message : changeOf(held, message);
+                    held = digestOf(message);
+                    if (change !== null)
+                        deliver(change);
+                };
+                const current = { ...plan, reach: planReach(reach), locked: runtime.lockedRooms() };
+                const stop = runtime.watchPlan(current, (message) => {
+                    if (open)
+                        heard(message);
                 });
-            });
+                return () => {
+                    open = false;
+                    stop();
+                };
+            }, true);
         }
         if (topic === 'conversation') {
             return following(() => {
@@ -211,57 +267,149 @@ export function narrowed(runtime, given) {
         }
         return watch(topic, input, deliver);
     };
+    const files = new Map();
+    let handed = 0;
+    async function hand(reading) {
+        const answer = await reading;
+        if (answer.kind !== 'binary')
+            return answer;
+        handed += 1;
+        const file = String(handed);
+        files.set(file, answer.file);
+        return { ...answer, file };
+    }
     const conversation = () => (conversing(reach) ? md.conversation : NO_CONVERSATION);
     const chatDraft = () => (conversing(reach) ? md.chatDraft : NO_CHAT_DRAFT);
     const view = {
         ...md,
-        rooms: () => roomsWithin(reach, md.rooms()),
-        query: ((input) => runtime.query(runtime.plan(input, reach))),
-        search: (input) => runtime.search(input, reach),
+        rooms: () => md.rooms().then((rooms) => roomsWithin(reach, rooms)),
+        query: ((input) => {
+            const plan = runtime.plan(input, reach);
+            return Promise.resolve(unlocking(plan.rooms) ?? runtime.query({ ...plan, locked: runtime.lockedRooms() }));
+        }),
+        search: (input) => port.search === 'required'
+            ? runtime.search(input, reach, runtime.lockedRooms())
+            : Promise.resolve(undeclaredSearch()),
         types(room) {
+            if (holds(reach, room) && runtime.locked(room))
+                throw lockedError(room);
             if (wholly(reach, room))
                 return md.types(room);
             if (!holds(reach, room))
                 return structuredClone(UNHELD_TYPES);
-            const listed = md.rooms().find(({ locator }) => locator === room);
-            return typesWithin(reach, listed, md.types(room));
+            return typesWithin(reach, runtime.room(room), md.types(room));
         },
         async save(room, roomDrafts, writtenBy) {
             if (!holds(reach, room))
                 throw unreached(room);
-            const outside = roomDrafts.find(({ path }) => !covers(reach, room, path) ||
-                !moves(reach, room, md.roomDraft.read(room, path)?.parts.move));
+            if (runtime.locked(room))
+                return { outcome: 'refused', code: ROOM_LOCKED, retryable: true };
+            const held = (await Promise.all(roomDrafts.map(({ path }) => md.roomDraft.read(room, path)))).map((draft) => draft?.parts.move);
+            const outside = roomDrafts.find(({ path }, at) => !covers(reach, room, path) || !moves(reach, room, held[at]));
             if (outside !== undefined) {
                 return { outcome: 'refused', code: 'stale', retryable: false, file: outside.path };
             }
+            if (intoLocked(held))
+                return { outcome: 'refused', code: ROOM_LOCKED, retryable: true };
             return savedWithin(reach, room, await md.save(room, roomDrafts, writtenBy));
         },
-        history: (room, path, query) => covers(reach, room, path)
-            ? md.history(room, path, query)
-            : Promise.resolve(failure({ kind: 'room-not-readable', locator: room })),
+        async saveParts(room, parts, writtenBy) {
+            if (!holds(reach, room))
+                throw unreached(room);
+            const filed = reach === null ? undefined : parts.find(({ parts: one }) => carriesFile(one));
+            if (filed !== undefined) {
+                return { outcome: 'refused', code: ATTACH_REQUIRED, retryable: false, file: filed.path };
+            }
+            if (runtime.locked(room))
+                return { outcome: 'refused', code: ROOM_LOCKED, retryable: true };
+            const held = parts.map(({ parts: one }) => readParts(one).move);
+            if (parts.some(({ path }, at) => !covers(reach, room, path) || !moves(reach, room, held[at]))) {
+                throw unreached(room);
+            }
+            if (intoLocked(held))
+                return { outcome: 'refused', code: ROOM_LOCKED, retryable: true };
+            return savedWithin(reach, room, await md.saveParts(room, parts, writtenBy));
+        },
+        resolve(room, path, destination) {
+            const at = runtime.located(room, path, destination);
+            return at !== null && !covers(reach, at.room, at.path)
+                ? Promise.resolve(UNREADABLE)
+                : md.resolve(room, path, destination);
+        },
+        history: (room, path, query) => !covers(reach, room, path)
+            ? Promise.resolve(failure({ kind: 'room-not-readable', locator: room }))
+            : runtime.locked(room)
+                ? Promise.resolve(lockedRoom(room))
+                : md.history(room, path, query),
         binaryFile: {
-            read: (room, path, revision) => covers(reach, room, path)
-                ? md.binaryFile.read(room, path, revision)
-                : Promise.resolve(failure({ kind: 'room-not-readable', locator: room })),
-            readReference: (reference) => refers(reach, runtime.referrerScope(reference.referrer))
-                ? md.binaryFile.readReference(reference)
-                : Promise.resolve(unreachedReference(reference.fileRef)),
+            read: (room, path, revision) => !covers(reach, room, path)
+                ? Promise.resolve(failure({ kind: 'room-not-readable', locator: room }))
+                : runtime.locked(room)
+                    ? Promise.resolve(lockedRoom(room))
+                    : hand(md.binaryFile.read(room, path, revision)),
+            link: (room, path, revision) => !covers(reach, room, path)
+                ? Promise.resolve(failure({ kind: 'room-not-readable', locator: room }))
+                : runtime.locked(room)
+                    ? Promise.resolve(lockedRoom(room))
+                    : md.binaryFile.link(room, path, revision),
+            show: (room, path, revision) => !covers(reach, room, path)
+                ? Promise.resolve(failure({ kind: 'room-not-readable', locator: room }))
+                : runtime.locked(room)
+                    ? Promise.resolve(lockedRoom(room))
+                    : hand(md.binaryFile.show(room, path, revision)),
+            attach: (room, file) => !wholly(reach, room)
+                ? Promise.resolve(failure({ kind: 'room-not-readable', locator: room }))
+                : runtime.locked(room)
+                    ? Promise.resolve(lockedRoom(room))
+                    : md.binaryFile.attach(room, file),
+            async part(file, part) {
+                const key = files.get(file);
+                if (key === undefined)
+                    return null;
+                const bytes = await md.binaryFile.part(key, part);
+                if (bytes === null)
+                    files.delete(file);
+                return bytes;
+            },
         },
-        reached: (room, roomVersion, path) => (path === undefined ? wholly(reach, room) : covers(reach, room, path)) &&
-            md.reached(room, roomVersion, path),
+        reached: async (room, roomVersion, path) => (path === undefined ? wholly(reach, room) : covers(reach, room, path)) &&
+            !runtime.locked(room) &&
+            (await md.reached(room, roomVersion, path)),
         log: () => (reach === null ? md.log() : ''),
+        cleanUp: () => (reach === null ? md.cleanUp() : Promise.reject(deviceUnreached())),
         roomDraft: {
-            list: () => md.roomDraft.list().then((drafts) => draftsWithin(reach, drafts)),
-            read: (room, path) => covers(reach, room, path) ? shownDraft(reach, md.roomDraft.read(room, path)) : null,
-            async write(room, path, revision, parts) {
-                if (!covers(reach, room, path) || !moves(reach, room, readParts(parts).move)) {
-                    throw unreached(room);
+            list: () => md.roomDraft.list().then((drafts) => unlocked(draftsWithin(reach, drafts))),
+            async read(room, path) {
+                if (!covers(reach, room, path))
+                    return null;
+                if (runtime.locked(room))
+                    throw lockedError(room);
+                return shownDraft(reach, await md.roomDraft.read(room, path));
+            },
+            write(room, path, revision, parts, next) {
+                try {
+                    if (reach !== null && carriesFile(parts))
+                        throw attachRequired();
+                    const move = readParts(parts).move;
+                    if (!covers(reach, room, path) || !moves(reach, room, move))
+                        throw unreached(room);
+                    if (runtime.locked(room))
+                        throw lockedError(room);
+                    if (intoLocked([move]))
+                        throw lockedError(move.room);
                 }
-                return writeWithin(reach, await md.roomDraft.write(room, path, revision, parts));
+                catch (error) {
+                    return Promise.reject(error);
+                }
+                return md.roomDraft
+                    .write(room, path, revision, parts, next)
+                    .then((written) => writeWithin(reach, written));
             },
             async discard(room, path, revision) {
                 if (!covers(reach, room, path))
                     return staleWrite(null);
+                if (runtime.locked(room))
+                    throw lockedError(room);
                 return writeWithin(reach, await md.roomDraft.discard(room, path, revision));
             },
         },
@@ -269,7 +417,7 @@ export function narrowed(runtime, given) {
             list: () => conversation().list(),
             read: (id, options) => conversation().read(id, options),
             create: (input) => conversation().create(input),
-            send: (id) => conversation().send(id),
+            send: (id, operation, draft) => conversation().send(id, operation, draft),
             answer: (id, answer) => conversation().answer(id, answer),
             interrupt: (id) => conversation().interrupt(id),
             kill: (id) => conversation().kill(id),
@@ -278,6 +426,7 @@ export function narrowed(runtime, given) {
         },
         chatDraft: {
             write: (id, draft, revision) => chatDraft().write(id, draft, revision),
+            prepend: (id, draft) => chatDraft().prepend(id, draft),
             discard: (id) => chatDraft().discard(id),
         },
         observe: observing(within),
@@ -290,5 +439,10 @@ export function narrowed(runtime, given) {
             for (const restart of [...open])
                 restart();
         },
+        facts(next) {
+            port = next;
+            for (const restart of [...open])
+                restart();
+        },
     };
 }