@agentshouse/mdruntime 0.1.0-c1db74d14e5fa → 0.1.0-c1f45f238a4a6

package/dist/client.js

@@ -1,10 +1,30 @@
+import { shownBy } from './media.js';
 import { observed } from './observation.js';
 import { runtimeError } from './failure.js';
-import { answer, AUTHORIZATION_ENDED, PORT_CLOSED, } from './wire.js';
+import { AUTHORIZATION_ENDED, PORT_CLOSED, wireAnswer, } from './wire.js';
+// React renders an arrived value in a later task and opens what that render observes as it commits, so this many frames opening nothing mean the page drew what it observes.
+const SETTLED_FRAMES = 2;
+// A browser reads a download's address only after the click that hands it returns, so a copy's address is released a minute later.
+const HANDED_COPY_MS = 60_000;
+const PAGE = /\.html?$/iu;
+const STARTED = { kind: 'started' };
+const BLOCKED = {
+    kind: 'blocked',
+    code: 'popup-blocked',
+    fields: {},
+    retryable: true,
+};
+function handed(url, name) {
+    const anchor = document.createElement('a');
+    anchor.href = url;
+    anchor.download = name;
+    anchor.click();
+}
 function refused(refusal) {
-    return runtimeError(refusal.code, refusal.code, refusal.retryable);
+    return runtimeError(refusal.code);
 }
-export function connectMdRuntime(port) {
+const UNBUILT = () => Promise.resolve(null);
+export function connectMdRuntime(port, buildFile = UNBUILT) {
     let sequence = 0;
     let refusal = null;
     let ended = null;
@@ -60,7 +80,7 @@ export function connectMdRuntime(port) {
         drawing?.();
     }
     port.addEventListener('message', (event) => {
-        const message = answer(event.data);
+        const message = wireAnswer(event.data);
         if (message === null)
             return;
         if (message.kind === 'refusal') {
@@ -131,6 +151,57 @@ export function connectMdRuntime(port) {
             drawing?.();
         });
     }
+    function streamed(answer) {
+        if (answer.kind !== 'binary')
+            return answer;
+        const { file, byteLength, mediaType } = answer;
+        let part = 0;
+        let received = 0;
+        const stream = new ReadableStream({
+            async pull(controller) {
+                const bytes = await ask('binaryFile.part', [file, part]);
+                if (bytes === null) {
+                    if (received === byteLength)
+                        controller.close();
+                    else
+                        controller.error(runtimeError('binary-file-absent', 'The file ended early'));
+                    return;
+                }
+                part += 1;
+                received += bytes.byteLength;
+                controller.enqueue(bytes);
+            },
+        }, { highWaterMark: 0 });
+        return { kind: 'binary', stream, byteLength, mediaType };
+    }
+    async function download(room, path, revision) {
+        const tab = PAGE.test(path) ? globalThis.open('', '_blank') : null;
+        const linked = await ask('binaryFile.link', [room, path, revision]);
+        if (linked.kind === 'link' && PAGE.test(linked.name)) {
+            const away = tab ?? globalThis.open('', '_blank');
+            if (away === null)
+                return BLOCKED;
+            away.location.replace(linked.url);
+            return STARTED;
+        }
+        tab?.close();
+        if (linked.kind === 'link') {
+            handed(linked.url, linked.name);
+            return STARTED;
+        }
+        if (linked.kind !== 'absent')
+            return linked;
+        const read = streamed(await ask('binaryFile.read', [room, path, revision]));
+        if (read.kind !== 'binary')
+            return read;
+        const copy = await new Response(read.stream, {
+            headers: { 'content-type': read.mediaType },
+        }).blob();
+        const url = URL.createObjectURL(copy);
+        handed(url, path.slice(path.lastIndexOf('/') + 1));
+        setTimeout(() => URL.revokeObjectURL(url), HANDED_COPY_MS);
+        return STARTED;
+    }
     function settled() {
         if (settling !== null)
             return settling;
@@ -141,21 +212,28 @@ export function connectMdRuntime(port) {
                 if (opening.size > 0)
                     return;
                 const at = moved;
-                requestAnimationFrame(() => {
+                const waited = (frames) => {
                     requestAnimationFrame(() => {
+                        if (frames < SETTLED_FRAMES) {
+                            waited(frames + 1);
+                            return;
+                        }
                         if (moved !== at || opening.size > 0)
                             return;
                         drawing = null;
                         resolve();
                     });
-                });
+                };
+                waited(1);
             };
             drawing = check;
             check();
         });
         return settling;
     }
-    return {
+    const show = (room, path, revision) => ask('binaryFile.show', [room, path, revision]).then((shown) => streamed(shown));
+    return shownBy(show, {
+        buildFile,
         rooms: () => ask('rooms', []),
         query: ((query) => ask('query', [query])),
         search: (request) => ask('search', [request]),
@@ -163,13 +241,15 @@ export function connectMdRuntime(port) {
         roomDraft: {
             list: () => ask('roomDraft.list', []),
             read: (room, path) => ask('roomDraft.read', [room, path]),
-            write: (room, path, revision, parts) => ask('roomDraft.write', [room, path, revision, parts]),
+            write: (room, path, revision, parts, next) => ask('roomDraft.write', next === undefined ? [room, path, revision, parts] : [room, path, revision, parts, next]),
             discard: (room, path, revision) => ask('roomDraft.discard', [room, path, revision]),
         },
         save: (room, roomDrafts) => ask('save', [room, roomDrafts]),
+        saveParts: (room, parts) => ask('saveParts', [room, parts]),
         presentation: {
             read: () => ask('presentation.read', []),
             write: (value) => ask('presentation.write', [value]),
+            edit: (members) => ask('presentation.edit', [members]),
         },
         conversation: {
             list: () => ask('conversation.list', []),
@@ -179,31 +259,41 @@ export function connectMdRuntime(port) {
             answer: (conversation, answer) => ask('conversation.answer', [conversation, answer]),
             interrupt: (conversation) => ask('conversation.interrupt', [conversation]),
             kill: (conversation) => ask('conversation.kill', [conversation]),
-            cancel: (conversation, turn) => ask('conversation.cancel', [conversation, turn]),
             delete: (conversation) => ask('conversation.delete', [conversation]),
         },
         chatDraft: {
             write: (conversation, draft, revision) => ask('chatDraft.write', [conversation, draft, revision]),
+            prepend: (conversation, draft) => ask('chatDraft.prepend', [conversation, draft]),
             discard: (conversation) => ask('chatDraft.discard', [conversation]),
         },
         history: (locator, path, query) => ask('history', [locator, path, query]),
+        resolve: (room, path, destination) => ask('resolve', [room, path, destination]),
         binaryFile: {
-            read: (room, path, revision) => ask('binaryFile.read', [room, path, revision]),
-            readReference: (reference) => ask('binaryFile.readReference', [reference]),
+            read: (room, path, revision) => ask('binaryFile.read', [room, path, revision]).then((read) => streamed(read)),
+            attach: (room, file) => ask('binaryFile.attach', [room, file]),
+            download,
         },
         call: (name, input) => ask('call', [name, input]),
         reached: (locator, roomVersion, path) => ask('reached', [locator, roomVersion, path]),
         log: () => ask('log', []),
         persistence: () => ask('persistence', []),
         retry: () => ask('retry', []),
+        cleanUp: () => ask('cleanUp', []),
+        unsent: () => ask('unsent', []),
+        reset: () => ask('reset', []),
+        readAgain: () => ask('readAgain', []),
         observe: ((topic, ...input) => watch(topic, input)),
         reauthorize: () => ask('reauthorize', []),
         settled,
-    };
+    });
 }
 const turns = new WeakMap();
 export function inTurn(client, work) {
-    const next = (turns.get(client) ?? Promise.resolve()).then(work).catch(() => undefined);
-    turns.set(client, next);
-    return next;
+    const turn = (turns.get(client) ?? Promise.resolve()).then(work);
+    turns.set(client, turn.then(() => undefined, () => undefined));
+    return turn;
 }
+export { chainedWindows } from './chain.js';
+export { roomDraftRevision } from './identity.js';
+export { defineRoomMedia, ROOM_MEDIA } from './media.js';
+export { unanswered } from './wire.js';

package/dist/collection.d.ts

@@ -1,9 +1,7 @@
-import { type Document, type Frontmatter, type Validation } from '@agentshouse/mdmodel';
-import { type ModelState } from './model.js';
+import { type DefinitionOf, type Document, type TypedPath } from '@agentshouse/mdmodel';
+import type { ModelState, TypesResult } from './model.js';
+import type { AppTypedSelection } from './listing.js';
 import type { MdModelIdentity } from './adapter.js';
-import { type Paths } from './shared.js';
-import type { Refused } from './transfer.js';
-import { type Later } from './turn.js';
 export declare const MD_MODEL: MdModelIdentity;
 export type Collection = {
     text: Readonly<Record<string, string>>;
@@ -16,24 +14,34 @@ export type Composition = {
         roots: readonly string[];
         model: ModelState;
     } | null;
+    typedPaths: readonly TypedPath[];
 };
-export declare function governing(composition: Composition, path: string): ModelState;
-export declare function collectionOf(text: Readonly<Record<string, string>>, composition: Composition, previous?: Collection): Collection;
-export declare function passingFrontmatter(collection: Collection, path: string): Frontmatter | undefined;
-export declare function documentsOf(collection: Collection): Generator<readonly [string, Document]>;
-export declare function unreadable(text: Readonly<Record<string, string>>, previous?: Readonly<Record<string, string>>): Refused | null;
-export declare function validRoot(root: unknown): root is string;
-export declare function validateCollection(text: Readonly<Record<string, string>>, binaryTargets: readonly string[], composition: Composition): Validation;
-type Held = {
-    text: Paths<string>;
-    binaries: Paths<unknown>;
+export type Composed = {
+    readonly composition: Composition;
+    readonly fingerprint: string;
+};
+export declare function composedOf(composition: Composition): Composed;
+type Selecting<M> = {
+    readonly model: M;
+    readonly selection: {
+        readonly roots: readonly string[];
+        readonly model: M;
+    } | null;
 };
-export declare function indexReferrers(held: Held, composition: Composition): Later<void>;
-export declare function referencesIndexed(held: Held, composition: Composition): boolean;
-export declare function referring(held: Held, composition: Composition, targets: Iterable<string>): ReadonlySet<string> | null;
+export declare function selected(composition: {
+    readonly selection: {
+        readonly roots: readonly string[];
+    } | null;
+}, path: string): boolean;
+export declare function governing<M>(composition: Selecting<M>, path: string): M;
+export declare function definitionsAt(composition: Composition, path: string): DefinitionOf;
+export declare function definitionsIn(room: {
+    readonly model: TypesResult;
+    readonly typedSelection: AppTypedSelection | null;
+}, path: string, typedPaths: readonly TypedPath[]): DefinitionOf;
+export declare function collectionOf(text: Readonly<Record<string, string>>, composition: Composition): Collection;
+export declare function documentsOf(collection: Collection): Generator<number, Iterable<readonly [string, Document]>, void>;
+export declare function validRoot(root: unknown): root is string;
 export declare function available(composition: Composition): boolean;
-export declare function changedCleanly(next: Held, previous: Held & {
-    composition: Composition;
-}, composition: Composition): boolean;
 export {};
 //# sourceMappingURL=collection.d.ts.map

package/dist/collection.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"collection.d.ts","sourceRoot":"","sources":["../src/collection.ts"],"names":[],"mappings":"AAAA,OAAO,EAUL,KAAK,QAAQ,EAEb,KAAK,WAAW,EAChB,KAAK,UAAU,EAEhB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,EAAc,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AACzD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAA8B,KAAK,KAAK,EAAE,MAAM,aAAa,CAAC;AACrE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAuB,KAAK,KAAK,EAAE,MAAM,WAAW,CAAC;AAE5D,eAAO,MAAM,QAAQ,EAAE,eAAwE,CAAC;AAIhG,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACvC,WAAW,EAAE,WAAW,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,KAAK,EAAE,UAAU,CAAC;IAClB,SAAS,EAAE;QAAE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,KAAK,EAAE,UAAU,CAAA;KAAE,GAAG,IAAI,CAAC;CACnE,CAAC;AASF,wBAAgB,SAAS,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CAI5E;AAsBD,wBAAgB,YAAY,CAC1B,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACtC,WAAW,EAAE,WAAW,EACxB,QAAQ,CAAC,EAAE,UAAU,GACpB,UAAU,CAoBZ;AAED,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,WAAW,GAAG,SAAS,CAOhG;AAED,wBAAiB,WAAW,CAAC,UAAU,EAAE,UAAU,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAW3F;AAED,wBAAgB,UAAU,CACxB,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACtC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAC1C,OAAO,GAAG,IAAI,CAUhB;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,MAAM,CAEvD;AAwBD,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACtC,aAAa,EAAE,SAAS,MAAM,EAAE,EAChC,WAAW,EAAE,WAAW,GACvB,UAAU,CA0BZ;AAED,KAAK,IAAI,GAAG;IACV,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;IACpB,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;CAC1B,CAAC;AAyGF,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,CAwBhF;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,GAAG,OAAO,CAE/E;AAED,wBAAgB,SAAS,CACvB,IAAI,EAAE,IAAI,EACV,WAAW,EAAE,WAAW,EACxB,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,GACxB,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAS5B;AAED,wBAAgB,SAAS,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAK3D;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,IAAI,GAAG;IAAE,WAAW,EAAE,WAAW,CAAA;CAAE,EAC7C,WAAW,EAAE,WAAW,GACvB,OAAO,CAiET"}
+{"version":3,"file":"collection.d.ts","sourceRoot":"","sources":["../src/collection.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,YAAY,EACjB,KAAK,QAAQ,EACb,KAAK,SAAS,EAEf,MAAM,sBAAsB,CAAC;AAE9B,OAAO,KAAK,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,cAAc,CAAC;AACtD,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAIpD,eAAO,MAAM,QAAQ,EAAE,eAAwE,CAAC;AAEhG,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACvC,WAAW,EAAE,WAAW,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,KAAK,EAAE,UAAU,CAAC;IAClB,SAAS,EAAE;QAAE,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,KAAK,EAAE,UAAU,CAAA;KAAE,GAAG,IAAI,CAAC;IAClE,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,CAAC;AAc3F,wBAAgB,UAAU,CAAC,WAAW,EAAE,WAAW,GAAG,QAAQ,CAS7D;AAED,KAAK,SAAS,CAAC,CAAC,IAAI;IAClB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,SAAS,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;KAAE,GAAG,IAAI,CAAC;CACrF,CAAC;AAEF,wBAAgB,QAAQ,CACtB,WAAW,EAAE;IAAE,QAAQ,CAAC,SAAS,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,GAAG,IAAI,CAAA;CAAE,EACjF,IAAI,EAAE,MAAM,GACX,OAAO,CAKT;AAED,wBAAgB,SAAS,CAAC,CAAC,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,GAAG,CAAC,CAIvE;AAYD,wBAAgB,aAAa,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,YAAY,CAIlF;AAED,wBAAgB,aAAa,CAC3B,IAAI,EAAE;IAAE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,cAAc,EAAE,iBAAiB,GAAG,IAAI,CAAA;CAAE,EACxF,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,SAAS,SAAS,EAAE,GAC/B,YAAY,CAQd;AAED,wBAAgB,YAAY,CAC1B,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACtC,WAAW,EAAE,WAAW,GACvB,UAAU,CAcZ;AAED,wBAAiB,WAAW,CAC1B,UAAU,EAAE,UAAU,GACrB,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,IAAI,CAAC,CAQhE;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,OAAO,GAAG,IAAI,IAAI,MAAM,CAEvD;AAED,wBAAgB,SAAS,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAE3D"}

package/dist/collection.js

@@ -1,11 +1,30 @@
-import { checkDocument, parseFrontmatter, references, sectionReferences, target, parse, resolves, validate, VERSION, } from '@agentshouse/mdmodel';
+import { definitionAt, parse, VERSION, } from '@agentshouse/mdmodel';
 import { beneath, normalize } from './paths.js';
-import { sameTyping } from './model.js';
-import { differing, patched, shared } from './shared.js';
-import { inUnits, ROW_WEIGHT } from './turn.js';
+import { hashed } from './observation.js';
+import { sortedKeys } from './shared.js';
 export const MD_MODEL = { identity: '@agentshouse/mdmodel', version: VERSION };
-const NO_TYPES = { types: {} };
-function selected(composition, path) {
+const typesPrinted = new WeakMap();
+function typesPrint(model) {
+    if (model.status === 'unavailable')
+        return '';
+    let print = typesPrinted.get(model.types);
+    if (print === undefined) {
+        print = hashed(JSON.stringify(model.types)).toString(36);
+        typesPrinted.set(model.types, print);
+    }
+    return print;
+}
+export function composedOf(composition) {
+    const { model, selection } = composition;
+    return {
+        composition,
+        fingerprint: JSON.stringify([
+            typesPrint(model),
+            selection === null ? null : [selection.roots, typesPrint(selection.model)],
+        ]),
+    };
+}
+export function selected(composition, path) {
     return (composition.selection !== null &&
         composition.selection.roots.some((root) => beneath(root, path)));
 }
@@ -14,307 +33,46 @@ export function governing(composition, path) {
         ? composition.selection.model
         : composition.model;
 }
-const parsedIn = new WeakMap();
-function carried(previous, text) {
-    const held = parsedIn.get(previous);
-    if (held === undefined)
-        return shared({});
-    const kept = patched(held.base, held.added);
-    held.base = kept;
-    held.added = new Map();
-    return patched(kept, [], differing(previous.text, text));
+function definitionsUnder(composition, path, typedPaths, typesOf) {
+    const types = typesOf(governing(composition, path));
+    return types === null ? () => undefined : definitionAt({ types }, path, typedPaths);
 }
-function cachedIn(collection, path) {
-    const held = parsedIn.get(collection);
-    if (held === undefined)
-        return undefined;
-    if (held.added.has(path))
-        return held.added.get(path);
-    return Object.hasOwn(held.base, path) ? held.base[path] : undefined;
+export function definitionsAt(composition, path) {
+    return definitionsUnder(composition, path, composition.typedPaths, (model) => model.status === 'unavailable' ? null : model.types);
 }
-export function collectionOf(text, composition, previous) {
-    const parsed = {
-        base: previous === undefined ? shared({}) : carried(previous, text),
-        added: new Map(),
-    };
-    const collection = {
+export function definitionsIn(room, path, typedPaths) {
+    return definitionsUnder({ model: room.model, selection: room.typedSelection }, path, typedPaths, ({ types }) => types === null ? null : Object.fromEntries(types.map((type) => [type.name, type])));
+}
+export function collectionOf(text, composition) {
+    const parsed = new Map();
+    return {
         text,
         composition,
         document(path) {
-            const held = cachedIn(collection, path);
-            if (held !== undefined)
-                return held ?? undefined;
+            if (parsed.has(path))
+                return parsed.get(path) ?? undefined;
             const content = text[path];
             if (content === undefined)
                 return undefined;
-            const read = parse(content, path);
-            parsed.added.set(path, read.ok ? read.document : null);
+            const read = parse(content, path, definitionsAt(composition, path));
+            parsed.set(path, read.ok ? read.document : null);
             return read.ok ? read.document : undefined;
         },
     };
-    parsedIn.set(collection, parsed);
-    return collection;
-}
-export function passingFrontmatter(collection, path) {
-    const held = cachedIn(collection, path);
-    if (held !== undefined)
-        return held ?? undefined;
-    const content = collection.text[path];
-    if (content === undefined)
-        return undefined;
-    const read = parseFrontmatter(content, path);
-    return read.ok ? read.frontmatter : undefined;
 }
 export function* documentsOf(collection) {
-    for (const path of Object.keys(collection.text).sort()) {
-        const held = cachedIn(collection, path);
-        if (held === null)
-            continue;
-        if (held !== undefined) {
-            yield [path, held];
-            continue;
+    const paths = yield* sortedKeys(collection.text);
+    return (function* () {
+        for (const path of paths) {
+            const document = collection.document(path);
+            if (document !== undefined)
+                yield [path, document];
         }
-        const read = parse(collection.text[path], path);
-        if (read.ok)
-            yield [path, read.document];
-    }
-}
-export function unreadable(text, previous) {
-    const paths = previous === undefined
-        ? Object.keys(text)
-        : [...differing(previous, text)].filter((path) => text[path] !== undefined);
-    for (const path of paths.sort()) {
-        const read = parse(text[path], path);
-        if (!read.ok)
-            return { kind: 'refused', refusal: read.refusal };
-    }
-    return null;
+    })();
 }
 export function validRoot(root) {
     return typeof root === 'string' && normalize(root) === root;
 }
-function validateAgainst(documents, binaryTargets, model) {
-    if (model.status === 'unavailable') {
-        const typed = Object.entries(documents).find(([, content]) => {
-            const parsed = parse(content);
-            return parsed.ok && parsed.document.type !== undefined && parsed.document.type !== 'any';
-        });
-        if (typed !== undefined)
-            return { verdict: 'refuse', rule: 'model-unavailable', file: typed[0] };
-    }
-    return validate(documents, { binaryTargets }, model.status === 'unavailable' ? NO_TYPES : { types: model.types });
-}
-export function validateCollection(text, binaryTargets, composition) {
-    const collection = {};
-    const selection = {};
-    for (const [path, content] of Object.entries(text)) {
-        if (selected(composition, path))
-            selection[path] = content;
-        else
-            collection[path] = content;
-    }
-    const verdicts = [
-        validateAgainst(collection, binaryTargets.filter((path) => !selected(composition, path)), composition.model),
-    ];
-    if (composition.selection !== null) {
-        verdicts.push(validateAgainst(selection, binaryTargets.filter((path) => selected(composition, path)), composition.selection.model));
-    }
-    const refusals = verdicts.filter((verdict) => verdict.verdict === 'refuse');
-    if (refusals.length === 0)
-        return verdicts[0];
-    return refusals.find((refusal) => refusal.rule !== 'model-unavailable') ?? refusals[0];
-}
-const referrersOf = new WeakMap();
-function typing(left, right) {
-    return (sameTyping(left.model, right.model) &&
-        (left.selection === null || right.selection === null
-            ? left.selection === right.selection
-            : sameTyping(left.selection.model, right.selection.model)) &&
-        JSON.stringify(left.selection?.roots ?? null) === JSON.stringify(right.selection?.roots ?? null));
-}
-function declared(content) {
-    if (content === undefined)
-        return undefined;
-    const read = parseFrontmatter(content);
-    return read.ok ? (read.frontmatter.type ?? 'any') : undefined;
-}
-function typedIn(content) {
-    const type = declared(content);
-    return type !== undefined && type !== 'any';
-}
-function modelOf(composition, path) {
-    const model = governing(composition, path);
-    return model.status === 'unavailable' ? null : { types: model.types };
-}
-function checked(path, content, composition) {
-    return checkDocument(path, content, modelOf(composition, path) ?? NO_TYPES);
-}
-function targetsOf(check) {
-    if (!check.ok)
-        return [];
-    return [...new Set(check.references.flatMap(({ target }) => (target === null ? [] : [target])))];
-}
-function referencedBy(path, content, composition) {
-    const model = modelOf(composition, path);
-    if (model === null)
-        return [];
-    const read = parseFrontmatter(content, path);
-    const type = read.ok ? read.frontmatter.type : undefined;
-    if (!read.ok || type === undefined || !Object.hasOwn(model.types, type))
-        return [];
-    const definition = model.types[type];
-    return [
-        ...new Set([
-            ...references(read.frontmatter, definition).flatMap(({ value }) => {
-                const found = target(path, value);
-                return found === null ? [] : [found];
-            }),
-            ...sectionReferences(path, content, definition).flatMap(({ target }) => target === null ? [] : [target]),
-        ]),
-    ];
-}
-function reindexed(index, changed) {
-    const referrers = new Map();
-    const touch = (target) => {
-        let held = referrers.get(target);
-        if (held === undefined) {
-            held = new Set(Object.hasOwn(index.referrers, target) ? index.referrers[target] : []);
-            referrers.set(target, held);
-        }
-        return held;
-    };
-    for (const [path, found] of changed) {
-        const before = Object.hasOwn(index.targets, path) ? index.targets[path] : [];
-        for (const target of before)
-            touch(target).delete(path);
-        for (const target of found)
-            touch(target).add(path);
-    }
-    const emptied = [...referrers].filter(([, held]) => held.size === 0).map(([target]) => target);
-    return {
-        composition: index.composition,
-        targets: patched(index.targets, [...changed].filter(([, found]) => found.length > 0), [...changed].filter(([, found]) => found.length === 0).map(([path]) => path)),
-        referrers: patched(index.referrers, [...referrers]
-            .filter(([, held]) => held.size > 0)
-            .map(([target, held]) => [target, [...held]]), emptied),
-    };
-}
-function heldIndex(held, composition) {
-    const index = referrersOf.get(held.text);
-    return index !== undefined && typing(index.composition, composition) ? index : null;
-}
-const indexing = new WeakMap();
-export function indexReferrers(held, composition) {
-    if (heldIndex(held, composition) !== null)
-        return;
-    const running = indexing.get(held.text);
-    if (running !== undefined)
-        return running;
-    const targets = new Map();
-    const referrers = new Map();
-    const filled = inUnits(Object.keys(held.text), (path) => {
-        const content = held.text[path];
-        const found = referencedBy(path, content, composition);
-        if (found.length > 0)
-            targets.set(path, found);
-        for (const target of found)
-            referrers.set(target, [...(referrers.get(target) ?? []), path]);
-        return ROW_WEIGHT + content.length;
-    });
-    const indexed = () => {
-        referrersOf.set(held.text, {
-            composition,
-            targets: patched(shared({}), targets),
-            referrers: patched(shared({}), referrers),
-        });
-    };
-    if (!(filled instanceof Promise))
-        return indexed();
-    const building = filled.then(indexed).finally(() => indexing.delete(held.text));
-    indexing.set(held.text, building);
-    return building;
-}
-export function referencesIndexed(held, composition) {
-    return heldIndex(held, composition) !== null;
-}
-export function referring(held, composition, targets) {
-    const index = heldIndex(held, composition);
-    if (index === null)
-        return null;
-    const found = new Set();
-    for (const target of targets) {
-        if (!Object.hasOwn(index.referrers, target))
-            continue;
-        for (const file of index.referrers[target])
-            found.add(file);
-    }
-    return found;
-}
 export function available(composition) {
-    return (composition.model.status !== 'unavailable' &&
-        (composition.selection === null || composition.selection.model.status !== 'unavailable'));
-}
-export function changedCleanly(next, previous, composition) {
-    if (!typing(previous.composition, composition))
-        return false;
-    const paths = new Set([
-        ...differing(previous.text, next.text),
-        ...differing(previous.binaries, next.binaries, () => true),
-    ]);
-    const binary = (path) => Object.hasOwn(next.binaries, path);
-    const within = (file) => (path) => selected(composition, path) === selected(composition, file);
-    const reaching = (file, check) => {
-        if (!check.ok)
-            return false;
-        const part = within(file);
-        return check.references.every((reference) => resolves(reference, (path) => (part(path) ? declared(next.text[path]) : undefined), (path) => part(path) && binary(path)));
-    };
-    const changedTargets = new Map();
-    const shifted = [];
-    for (const path of paths) {
-        const now = next.text[path];
-        const was = previous.text[path];
-        const modeled = modelOf(composition, path) !== null;
-        if ((now === undefined) !== (was === undefined) ||
-            declared(now) !== declared(was) ||
-            binary(path) !== Object.hasOwn(previous.binaries, path)) {
-            shifted.push(path);
-        }
-        if (!modeled && typedIn(was) && !typedIn(now))
-            return false;
-        if (now === undefined) {
-            if (modeled)
-                changedTargets.set(path, []);
-            continue;
-        }
-        if (binary(path))
-            return false;
-        if (!modeled) {
-            if (declared(now) === undefined)
-                return false;
-            if (!typedIn(now) && !checked(path, now, composition).ok)
-                return false;
-            continue;
-        }
-        const check = checked(path, now, composition);
-        if (!reaching(path, check))
-            return false;
-        changedTargets.set(path, targetsOf(check));
-    }
-    const index = heldIndex(previous, composition);
-    if (index === null && shifted.length > 0)
-        return false;
-    for (const target of shifted) {
-        const files = index !== null && Object.hasOwn(index.referrers, target) ? index.referrers[target] : [];
-        for (const file of files) {
-            if (paths.has(file))
-                continue;
-            if (!reaching(file, checked(file, next.text[file], composition)))
-                return false;
-        }
-    }
-    if (index !== null) {
-        referrersOf.set(next.text, changedTargets.size === 0 ? index : reindexed(index, changedTargets));
-    }
-    return true;
+    return composition.model.status !== 'unavailable';
 }

package/dist/compile.d.ts

@@ -0,0 +1,16 @@
+import { sql } from '@agentshouse/mdmodel';
+import type { Plan, QueryRows } from './query.js';
+import type { Connection } from './tables.js';
+export type QueryRoom = {
+    readonly locator: string;
+    readonly key: number;
+};
+type Fragment = sql.Fragment;
+export declare const VISIBLE: (alias: string) => string;
+export declare function within(alias: string, path: string): Fragment;
+export type QueryAnswer = QueryRows & {
+    readonly more?: string;
+};
+export declare function answerQuery(connection: Connection, plan: Plan, rooms: readonly QueryRoom[], budget?: number | null): QueryAnswer;
+export {};
+//# sourceMappingURL=compile.d.ts.map

package/dist/compile.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../src/compile.ts"],"names":[],"mappings":"AAAA,OAAO,EASL,GAAG,EAOJ,MAAM,sBAAsB,CAAC;AAI9B,OAAO,KAAK,EAAE,IAAI,EAAuC,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvF,OAAO,KAAK,EAAE,UAAU,EAAc,MAAM,aAAa,CAAC;AAG1D,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3E,KAAK,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;AAI7B,eAAO,MAAM,OAAO,UAAW,MAAM,KAAG,MACkC,CAAC;AAa3E,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAM5D;AA2cD,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AA6ZjE,wBAAgB,WAAW,CACzB,UAAU,EAAE,UAAU,EACtB,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,MAAM,GAAE,MAAM,GAAG,IAAW,GAC3B,WAAW,CAUb"}