@agentshouse/mdruntime 0.1.0-ce531b51ff088 → 0.1.0-cebcd51f70ed1

package/dist/query.js

@@ -1,3 +1,5 @@
+import { ARRAY_INDEX, itemFacts, memberFacts, pointerSegments, } from '@agentshouse/mdmodel';
+import { referenceField } from './model.js';
 import { normalize } from './paths.js';
 export class QueryError extends Error {
     constructor(code, at, problem) {
@@ -11,6 +13,7 @@ const RELATED = ['types', 'where', 'pathPrefix', 'field'];
 const PARTS = ['fields', 'sections', 'preamble', 'markdown', 'backlinks', 'change'];
 const ORDER = ['by', 'direction', 'nulls', 'stringSort', 'locale', 'localeOptions'];
 const CALENDAR_DATE = /^(\d{4})-(\d{2})-(\d{2})$/;
+const STRAY_ESCAPE = /~(?![01])/u;
 export function invalid(at, problem) {
     throw new QueryError('invalid-query', at, problem);
 }
@@ -68,23 +71,29 @@ function calendarDate(value) {
     const date = new Date(Date.UTC(year, month - 1, day));
     return (date.getUTCFullYear() === year && date.getUTCMonth() === month - 1 && date.getUTCDate() === day);
 }
-function fits(spec, value) {
-    const item = spec.kind === 'list' ? spec.of : spec;
-    if (item.kind === 'number')
+function itemOf(facts) {
+    return facts.type === 'array' ? facts.items : facts;
+}
+function fits(facts, value) {
+    const item = itemOf(facts);
+    if (item?.type === undefined)
+        return true;
+    if (item.values !== undefined)
+        return item.values.includes(value);
+    if (item.type === 'number')
         return typeof value === 'number';
-    if (typeof value !== 'string')
+    if (item.type === 'integer')
+        return Number.isSafeInteger(value);
+    if (item.type === 'boolean')
+        return typeof value === 'boolean';
+    if (item.type !== 'string' || typeof value !== 'string')
         return false;
-    if (item.kind === 'enum')
-        return item.values.includes(value);
-    if (item.kind === 'date')
-        return calendarDate(value);
-    if (item.kind === 'reference')
+    if (item.reference !== undefined)
         return value !== '' && normalize(value) === value;
+    if (item.format === 'date')
+        return calendarDate(value);
     return true;
 }
-function reference(spec) {
-    return spec.kind === 'reference' || (spec.kind === 'list' && spec.of.kind === 'reference');
-}
 function typing(facts, rooms, types, at) {
     const read = rooms === null ? facts.rooms : facts.rooms.filter((room) => rooms.includes(room.locator));
     const acquiring = !facts.listed &&
@@ -102,22 +111,75 @@ function typing(facts, rooms, types, at) {
         types: types === null ? declared : declared.filter((type) => types.includes(type.name)),
     };
 }
-function specs(typed, field, at) {
-    const declared = typed.types.flatMap((type) => Object.hasOwn(type.fields, field) ? [type.fields[field]] : []);
+function pointer(input, at) {
+    if (typeof input !== 'string' || !input.startsWith('/') || STRAY_ESCAPE.test(input)) {
+        invalid(at, 'expects a JSON Pointer');
+    }
+    return input;
+}
+function stepped({ facts, through, conditional }, token) {
+    if (facts.type === 'array' && ARRAY_INDEX.test(token)) {
+        const item = itemFacts(facts, Number(token));
+        return item === undefined ? undefined : { facts: item, through, conditional };
+    }
+    let reached = facts;
+    let across = through;
+    while (reached?.type === 'array') {
+        reached = reached.items;
+        across = true;
+    }
+    const member = reached === undefined ? undefined : memberFacts(reached, token);
+    return member === undefined
+        ? undefined
+        : { facts: member, through: across, conditional: conditional || member.conditional === true };
+}
+function specAt(type, field) {
+    let spec = {
+        facts: { ...type.frontmatter, properties: type.fields },
+        through: false,
+        conditional: false,
+    };
+    for (const token of pointerSegments(field)) {
+        if (spec === undefined)
+            return undefined;
+        spec = stepped(spec, token);
+    }
+    return spec;
+}
+function specs(typed, input, at) {
+    const field = pointer(input, at);
+    const declared = typed.types.flatMap((type) => {
+        const spec = specAt(type, field);
+        return spec === undefined ? [] : [spec];
+    });
     if (declared.length === 0 && !typed.untyped) {
         throw new QueryError('unknown-field', at, `no MD Type it reads declares ${field}`);
     }
-    return declared;
+    if (!declared.some((spec) => spec.conditional))
+        return declared;
+    return declared.map((spec) => ({
+        facts: { prose: false },
+        through: several(spec),
+        conditional: true,
+    }));
+}
+function several(spec) {
+    return spec.through || spec.facts.type === 'array';
+}
+function single(spec) {
+    return spec.facts.type !== undefined && spec.facts.type !== 'array';
+}
+function every(declared, holds) {
+    return declared.length > 0 && declared.every(holds);
 }
 function kind(declared, checked, at) {
-    if (checked === null || declared.length === 0 || declared.some((spec) => fits(spec, checked))) {
+    if (checked === null ||
+        declared.length === 0 ||
+        declared.some((spec) => fits(spec.facts, checked))) {
         return;
     }
     throw new QueryError('wrong-kind', at, `${JSON.stringify(checked)} is not of its field's kind`);
 }
-function listed(declared, list) {
-    return declared.length > 0 && declared.every((spec) => (spec.kind === 'list') === list);
-}
 function test(declared, input, at) {
     if (!plain(input)) {
         const equal = value(input, at);
@@ -131,8 +193,11 @@ function test(declared, input, at) {
         const stray = operators.find((operator) => !RANGE.includes(operator));
         if (stray !== undefined)
             invalid(place(at, stray), 'cannot join a range');
-        if (listed(declared, true))
+        if (every(declared, (spec) => spec.facts.type === 'array'))
             invalid(at, 'a range on a list');
+        if (every(declared, (spec) => spec.facts.type === 'boolean' || spec.facts.type === 'object')) {
+            throw new QueryError('wrong-kind', at, 'its field does not compare in order');
+        }
         return {
             op: 'range',
             bounds: RANGE.filter((operator) => operators.includes(operator)).map((operator) => {
@@ -165,7 +230,7 @@ function test(declared, input, at) {
             return { op: 'nin', values: compared };
         if (compared.includes(null))
             invalid(where, 'a list holds no null');
-        if (listed(declared, false))
+        if (every(declared, single))
             invalid(where, 'the field is not a list');
         return { op: 'all', values: compared };
     }
@@ -173,7 +238,7 @@ function test(declared, input, at) {
         if (!Number.isSafeInteger(operand) || operand < 0) {
             invalid(where, 'expects a nonnegative integer');
         }
-        if (listed(declared, false))
+        if (every(declared, single))
             invalid(where, 'the field is not a list');
         return { op: 'size', size: operand };
     }
@@ -186,7 +251,7 @@ function condition(typed, input, at) {
         invalid(at, 'expects an object of field predicates');
     const conditions = [];
     for (const name of Object.keys(input).sort()) {
-        const where = place(at, name);
+        const where = name.startsWith('/') ? `${at}${name}` : place(at, name);
         const entry = input[name];
         if (name === '$and' || name === '$or') {
             const nested = list(entry, where).map((item, index) => condition(typed, item, `${where}[${index}]`));
@@ -215,19 +280,19 @@ function scope(facts, rooms, input, at) {
         pathPrefix: input.pathPrefix === undefined ? null : directory(input.pathPrefix, place(at, 'pathPrefix')),
     };
 }
-function referenceField(typed, field, at) {
-    if (typeof field !== 'string')
-        invalid(at, 'expects a field name');
+function referenceName(typed, field, at) {
     const declared = specs(typed, field, at);
-    if (declared.length > 0 && !declared.some(reference))
+    if (declared.length > 0 &&
+        !declared.some((spec) => spec.conditional || referenceField(spec.facts))) {
         invalid(at, 'not a reference field');
+    }
     return field;
 }
 function hopOf(facts, rooms, root, input) {
     if (!plain(input))
         invalid('hop', 'expects an object');
     known(input, RELATED, 'hop');
-    const field = referenceField(root, input.field, 'hop.field');
+    const field = referenceName(root, input.field, 'hop.field');
     const { types, where, pathPrefix } = scope(facts, rooms, input, 'hop');
     return { types, where, pathPrefix, field };
 }
@@ -236,14 +301,16 @@ function backlinksOf(facts, rooms, input) {
         invalid('backlinks', 'expects an object');
     known(input, RELATED, 'backlinks');
     const { typed, types, where, pathPrefix } = scope(facts, rooms, input, 'backlinks');
-    const field = input.field === undefined ? null : referenceField(typed, input.field, 'backlinks.field');
+    const field = input.field === undefined ? null : referenceName(typed, input.field, 'backlinks.field');
     return { types, where, pathPrefix, field };
 }
 function keyPlan(typed, input, at, path) {
     if (input === 'room' || input === 'type' || (path && input === 'path'))
         return { of: input };
-    if (plain(input) && typeof input.field === 'string' && Object.keys(input).length === 1) {
-        specs(typed, input.field, place(at, 'field'));
+    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');
@@ -301,10 +368,10 @@ function parts(typed, input, at, fields) {
         return 'all';
     const named = list(input, at);
     named.forEach((name, index) => {
-        if (typeof name !== 'string')
-            invalid(`${at}[${index}]`, 'expects a name');
         if (fields)
             specs(typed, name, `${at}[${index}]`);
+        else if (typeof name !== 'string')
+            invalid(`${at}[${index}]`, 'expects a name');
     });
     return named;
 }
@@ -372,7 +439,7 @@ function groupShape(typed, input) {
     });
     return { kind: 'groups', groupBy, orderBy };
 }
-export function planOf(input, facts) {
+export function planOf(input, facts, reach = null) {
     if (!plain(input))
         invalid('query', 'expects a query object');
     const grouped = input.groupBy !== undefined;
@@ -386,6 +453,7 @@ export function planOf(input, facts) {
     const { typed, ...root } = scope(facts, rooms, input, '');
     return {
         rooms,
+        reach,
         root,
         hop: input.hop === undefined ? null : hopOf(facts, rooms, typed, input.hop),
         backlinks: input.backlinks === undefined ? null : backlinksOf(facts, rooms, input.backlinks),
@@ -401,11 +469,11 @@ export function limitOf(input) {
     }
     return input;
 }
-export function filterOf(input, facts) {
+export function filterOf(input, facts, reach = null) {
     if (!plain(input))
         invalid('documents', 'expects a filter object');
     known(input, FILTER, '');
-    return planOf({ ...input, select: {} }, facts);
+    return planOf({ ...input, select: {} }, facts, reach);
 }
 function canonical(value) {
     if (Array.isArray(value))

package/dist/reach.d.ts

@@ -0,0 +1,40 @@
+import type { MdRuntime, RuntimeTopic } from './connection.js';
+import type { Plan, PlanReach, QueryResult } from './query.js';
+import type { SearchResult } from './search.js';
+export type ReachedDocument = {
+    readonly room: string;
+    readonly path: string;
+};
+export type PortReach = {
+    readonly rooms: readonly string[];
+    readonly documents: readonly ReachedDocument[];
+    readonly conversations: boolean;
+};
+export type Deliver = (message: unknown) => void;
+export type Watch = (topic: RuntimeTopic, input: readonly unknown[], deliver: Deliver) => () => void;
+export type RuntimeView = {
+    md: MdRuntime;
+    watch: Watch;
+};
+export type NarrowedView = RuntimeView & {
+    narrow(reach: PortReach | null): 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>;
+};
+export declare function holds(reach: PortReach | null, room: string): boolean;
+export declare function governs(reach: PortReach | null, room: {
+    readonly locator: string;
+    readonly typedSelection: {
+        roots: readonly string[];
+    } | null;
+}): {
+    readonly collection: boolean;
+    readonly selection: boolean;
+};
+export declare function planReach(reach: PortReach | null): PlanReach | null;
+export declare function narrowed(runtime: Reachable, given: PortReach | null): NarrowedView;
+//# sourceMappingURL=reach.d.ts.map

package/dist/reach.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reach.d.ts","sourceRoot":"","sources":["../src/reach.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAW,SAAS,EAAe,YAAY,EAAc,MAAM,iBAAiB,CAAC;AAMjG,OAAO,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAI/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;CACxE,CAAC;AA2BF,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;AAcD,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,CAgKlF"}

package/dist/reach.js

@@ -0,0 +1,270 @@
+import { unheldView } from './conversation.js';
+import { modelTypes, NO_MODEL } from './model.js';
+import { applied, observing } from './observation.js';
+import { beneath } from './paths.js';
+import { reconciled } from './read-side.js';
+import { moveTarget, readParts } from './room-draft.js';
+import { documentKey } from './rows.js';
+const UNHELD_TYPES = { collection: modelTypes(NO_MODEL), typedSelection: null };
+const UNDECLARED = { kind: 'undeclared' };
+function undeclared() {
+    return Promise.resolve(UNDECLARED);
+}
+const NO_CONVERSATION = {
+    list: () => Promise.resolve([]),
+    read: (conversation) => Promise.resolve(unheldView(conversation)),
+    create: undeclared,
+    send: undeclared,
+    answer: undeclared,
+    interrupt: undeclared,
+    kill: undeclared,
+    cancel: undeclared,
+    delete: undeclared,
+};
+const NO_CHAT_DRAFT = {
+    write: () => Promise.resolve(),
+    discard: () => Promise.resolve(),
+};
+export function holds(reach, room) {
+    return (reach === null ||
+        reach.rooms.includes(room) ||
+        reach.documents.some((document) => document.room === room));
+}
+function wholly(reach, room) {
+    return reach === null || reach.rooms.includes(room);
+}
+export function governs(reach, room) {
+    if (wholly(reach, room.locator)) {
+        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);
+    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));
+}
+function conversing(reach) {
+    return reach === null || reach.conversations;
+}
+export function planReach(reach) {
+    return reach === null
+        ? null
+        : {
+            rooms: [...new Set(reach.rooms)].sort(),
+            documents: [
+                ...new Set(reach.documents.map(({ room, path }) => documentKey(room, path))),
+            ].sort(),
+        };
+}
+function roomsWithin(reach, rooms) {
+    return rooms.filter((room) => wholly(reach, room.locator));
+}
+function typesWithin(reach, room, types) {
+    if (room === undefined)
+        return structuredClone(UNHELD_TYPES);
+    const governed = governs(reach, room);
+    return {
+        collection: governed.collection ? types.collection : modelTypes(NO_MODEL),
+        typedSelection: governed.selection ? types.typedSelection : null,
+    };
+}
+function moves(reach, room, move) {
+    return move === undefined || covers(reach, room, moveTarget(move));
+}
+function draftWithin(reach, draft) {
+    return covers(reach, draft.room, draft.path) && moves(reach, draft.room, draft.parts.move);
+}
+function draftsWithin(reach, drafts) {
+    return drafts.filter((draft) => draftWithin(reach, draft));
+}
+function shownDraft(reach, draft) {
+    return draft !== null && draftWithin(reach, draft) ? draft : null;
+}
+function writeWithin(reach, write) {
+    return write.outcome === 'written'
+        ? { outcome: 'written', roomDraft: shownDraft(reach, write.roomDraft) }
+        : { outcome: 'stale', current: shownDraft(reach, write.current) };
+}
+function savedWithin(reach, room, result) {
+    if (reach === null || result.outcome === 'saved')
+        return result;
+    const { file, location, referrers, ...refusal } = result;
+    const hidden = file !== undefined && !covers(reach, room, file);
+    return {
+        ...refusal,
+        ...(file === undefined || hidden ? {} : { file }),
+        ...(location === undefined || hidden ? {} : { location }),
+        ...(referrers === undefined
+            ? {}
+            : { referrers: referrers.filter((path) => covers(reach, room, path)) }),
+    };
+}
+function statusWithin(reach, status) {
+    return {
+        ...status,
+        attentionRequired: status.attentionRequired.filter((entry) => covers(reach, entry.room, entry.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))));
+}
+function unreached(room) {
+    return new Error(`No Local Replica for ${room}`);
+}
+export function narrowed(runtime, given) {
+    const { md, watch } = runtime;
+    let reach = given;
+    const open = new Set();
+    function following(begin) {
+        let stop = begin();
+        const restart = () => {
+            stop();
+            stop = begin();
+        };
+        open.add(restart);
+        return () => {
+            open.delete(restart);
+            stop();
+        };
+    }
+    const within = (topic, input, deliver) => {
+        if (topic === 'rooms') {
+            return following(() => watch(topic, input, (rooms) => deliver(roomsWithin(reach, rooms))));
+        }
+        if (topic === 'sync-status') {
+            return following(() => watch(topic, input, (status) => deliver(statusWithin(reach, status))));
+        }
+        if (topic === 'room-drafts') {
+            return following(() => watch(topic, input, (drafts) => deliver(draftsWithin(reach, drafts))));
+        }
+        if (topic === 'queue') {
+            const room = input[0];
+            return following(() => {
+                if (!holds(reach, room)) {
+                    deliver([]);
+                    return () => { };
+                }
+                return watch(topic, input, (entries) => deliver(queueWithin(reach, room, entries)));
+            });
+        }
+        if (topic === 'query') {
+            const plan = runtime.plan(input[0], reach);
+            let held = null;
+            return following(() => {
+                let first = true;
+                return runtime.watchPlan({ ...plan, reach: planReach(reach) }, (message) => {
+                    if (!first) {
+                        held = applied(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);
+                });
+            });
+        }
+        if (topic === 'conversation') {
+            return following(() => {
+                if (conversing(reach))
+                    return watch(topic, input, deliver);
+                deliver(unheldView(input[0]));
+                return () => { };
+            });
+        }
+        if (topic === 'conversations') {
+            return following(() => {
+                if (conversing(reach))
+                    return watch(topic, input, deliver);
+                deliver([]);
+                return () => { };
+            });
+        }
+        return watch(topic, input, deliver);
+    };
+    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),
+        types(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));
+        },
+        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 (outside !== undefined)
+                return { outcome: 'refused', rule: 'stale', file: outside.path };
+            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({ kind: 'room-not-readable', locator: room }),
+        reached: (room, roomVersion, path) => (path === undefined ? wholly(reach, room) : covers(reach, room, path)) &&
+            md.reached(room, roomVersion, path),
+        log: () => (reach === null ? md.log() : ''),
+        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);
+                }
+                return writeWithin(reach, await md.roomDraft.write(room, path, revision, parts));
+            },
+            async discard(room, path, revision) {
+                if (!covers(reach, room, path))
+                    return { outcome: 'stale', current: null };
+                return writeWithin(reach, await md.roomDraft.discard(room, path, revision));
+            },
+        },
+        conversation: {
+            list: () => conversation().list(),
+            read: (id, options) => conversation().read(id, options),
+            create: (input) => conversation().create(input),
+            send: (id) => conversation().send(id),
+            answer: (id, answer) => conversation().answer(id, answer),
+            interrupt: (id) => conversation().interrupt(id),
+            kill: (id) => conversation().kill(id),
+            cancel: (id, turn) => conversation().cancel(id, turn),
+            delete: (id) => conversation().delete(id),
+        },
+        chatDraft: {
+            write: (id, draft) => chatDraft().write(id, draft),
+            discard: (id) => chatDraft().discard(id),
+        },
+        observe: observing(within),
+    };
+    return {
+        md: view,
+        watch: within,
+        narrow(next) {
+            reach = next;
+            for (const restart of [...open])
+                restart();
+        },
+    };
+}

package/dist/react.d.ts

@@ -0,0 +1,32 @@
+import type { MdRuntimeClient } from './client.js';
+import type { AppRoom, ConnectionRefusal, SaveResult } from './connection.js';
+import type { ServiceMode } from './adapter.js';
+import type { ConversationEntry, ConversationOptions, ConversationView } from './conversation.js';
+import type { QueueEntry } from './outcome.js';
+import type { DocumentQuery, DocumentResult, GroupQuery, GroupResult } from './query.js';
+import type { RoomDraft, RoomDraftParts } from './room-draft.js';
+import type { SyncStatus } from './status.js';
+type Client = MdRuntimeClient | null;
+export declare function useObserve(client: Client, topic: 'deployment-facts'): unknown;
+export declare function useObserve(client: Client, topic: 'rooms'): readonly AppRoom[] | undefined;
+export declare function useObserve(client: Client, topic: 'connection-refusal'): ConnectionRefusal | null | undefined;
+export declare function useObserve(client: Client, topic: 'storage-loss'): string | null | undefined;
+export declare function useObserve(client: Client, topic: 'sync-status'): SyncStatus | undefined;
+export declare function useObserve(client: Client, topic: 'service-mode'): ServiceMode | undefined;
+export declare function useObserve(client: Client, topic: 'query', query: DocumentQuery): DocumentResult | undefined;
+export declare function useObserve(client: Client, topic: 'query', query: GroupQuery): GroupResult | undefined;
+export declare function useObserve(client: Client, topic: 'queue', locator: string): readonly QueueEntry[] | undefined;
+export declare function useObserve(client: Client, topic: 'room-drafts'): readonly RoomDraft[] | undefined;
+export declare function useObserve(client: Client, topic: 'presentation'): unknown;
+export declare function useObserve(client: Client, topic: 'conversation', conversation: string, options: ConversationOptions): ConversationView | undefined;
+export declare function useObserve(client: Client, topic: 'conversations'): readonly ConversationEntry[] | undefined;
+export type Saving = {
+    readonly busy: boolean;
+    readonly outcome: SaveResult | null;
+    readonly failure: Error | null;
+    save(room: string, roomDrafts: ReadonlyMap<string, RoomDraftParts>): Promise<SaveResult>;
+};
+export declare function saveRoomDrafts(client: MdRuntimeClient, room: string, roomDrafts: ReadonlyMap<string, RoomDraftParts>): Promise<SaveResult>;
+export declare function useSave(client: MdRuntimeClient): Saving;
+export {};
+//# sourceMappingURL=react.d.ts.map

package/dist/react.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"react.d.ts","sourceRoot":"","sources":["../src/react.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,KAAK,EAAE,OAAO,EAAE,iBAAiB,EAAkB,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAC9F,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EAAE,iBAAiB,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAElG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,KAAK,EAAE,aAAa,EAAE,cAAc,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzF,OAAO,KAAK,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AACjE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAG9C,KAAK,MAAM,GAAG,eAAe,GAAG,IAAI,CAAC;AAIrC,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC;AAC/E,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,SAAS,OAAO,EAAE,GAAG,SAAS,CAAC;AAC3F,wBAAgB,UAAU,CACxB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,oBAAoB,GAC1B,iBAAiB,GAAG,IAAI,GAAG,SAAS,CAAC;AACxC,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,GAAG,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;AAC7F,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,GAAG,UAAU,GAAG,SAAS,CAAC;AACzF,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,GAAG,WAAW,GAAG,SAAS,CAAC;AAC3F,wBAAgB,UAAU,CACxB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,aAAa,GACnB,cAAc,GAAG,SAAS,CAAC;AAC9B,wBAAgB,UAAU,CACxB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,KAAK,EAAE,UAAU,GAChB,WAAW,GAAG,SAAS,CAAC;AAC3B,wBAAgB,UAAU,CACxB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,EACd,OAAO,EAAE,MAAM,GACd,SAAS,UAAU,EAAE,GAAG,SAAS,CAAC;AACrC,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,GAAG,SAAS,SAAS,EAAE,GAAG,SAAS,CAAC;AACnG,wBAAgB,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,cAAc,GAAG,OAAO,CAAC;AAC3E,wBAAgB,UAAU,CACxB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,cAAc,EACrB,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,mBAAmB,GAC3B,gBAAgB,GAAG,SAAS,CAAC;AAChC,wBAAgB,UAAU,CACxB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,eAAe,GACrB,SAAS,iBAAiB,EAAE,GAAG,SAAS,CAAC;AAkC5C,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,UAAU,GAAG,IAAI,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,KAAK,GAAG,IAAI,CAAC;IAC/B,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;CAC1F,CAAC;AAMF,wBAAsB,cAAc,CAClC,MAAM,EAAE,eAAe,EACvB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,cAAc,CAAC,GAC9C,OAAO,CAAC,UAAU,CAAC,CAWrB;AAED,wBAAgB,OAAO,CAAC,MAAM,EAAE,eAAe,GAAG,MAAM,CAkBvD"}