@agentshouse/mdruntime 0.1.0-cec6690d5712e → 0.1.0-cedd665dffa4c

package/dist/client.js

@@ -1,10 +1,32 @@
+import { shownBy } from './media.js';
+import { pageMetadataBlock } from './page-metadata.js';
 import { observed } from './observation.js';
 import { runtimeError } from './failure.js';
-import { answer, AUTHORIZATION_ENDED, PORT_CLOSED, } from './wire.js';
+import { blobOf, } from './outcome.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;
@@ -16,13 +38,13 @@ export function connectMdRuntime(port) {
     const send = (message) => {
         port.postMessage(message);
     };
-    function begin(id, topic, first) {
+    function begin(id, topic, input, first) {
         const handle = observed(first, () => {
             observations.delete(id);
             if (refusal === null)
                 send({ kind: 'stop', id });
-        }, topic === 'query');
-        observations.set(id, { topic, handle });
+        }, topic);
+        observations.set(id, { topic, input, handle });
         return handle.observation;
     }
     function refuse(reported) {
@@ -34,7 +56,7 @@ export function connectMdRuntime(port) {
         const failure = refused(reported);
         for (const [id, waiting] of opening) {
             if (waiting.topic === 'connection-refusal')
-                waiting.settle(begin(id, waiting.topic, reported));
+                waiting.settle(begin(id, waiting.topic, waiting.input, reported));
             else
                 waiting.fail(failure);
         }
@@ -60,7 +82,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') {
@@ -86,7 +108,7 @@ export function connectMdRuntime(port) {
                 waiting.fail(runtimeError(message.code, message.message, message.retryable));
             }
             else
-                waiting.settle(begin(message.id, waiting.topic, message.value));
+                waiting.settle(begin(message.id, waiting.topic, waiting.input, message.value));
             drawing?.();
             return;
         }
@@ -122,15 +144,64 @@ export function connectMdRuntime(port) {
         const id = (sequence += 1);
         if (refusal !== null) {
             return topic === 'connection-refusal'
-                ? Promise.resolve(begin(id, topic, refusal))
+                ? Promise.resolve(begin(id, topic, input, refusal))
                 : Promise.reject(refused(refusal));
         }
         return new Promise((settle, fail) => {
-            opening.set(id, { topic, settle, fail });
+            opening.set(id, { topic, input, settle, fail });
             send({ kind: 'observe', id, topic, input });
             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 blobOf(read);
+        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,42 +241,71 @@ 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', []),
             read: (conversation, options) => ask('conversation.read', [conversation, options]),
             create: (input) => ask('conversation.create', [input]),
-            send: (conversation) => ask('conversation.send', [conversation]),
-            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]),
+            send: (conversation, operation, draft) => ask('conversation.send', [conversation, operation, draft]),
+            answer: (conversation, answer, operation) => ask('conversation.answer', [conversation, answer, operation]),
+            interrupt: (conversation, operation) => ask('conversation.interrupt', [conversation, operation]),
+            kill: (conversation, operation) => ask('conversation.kill', [conversation, operation]),
+            delete: (conversation, operation) => ask('conversation.delete', [conversation, operation]),
+            takeOut: (conversation, message, operation) => ask('conversation.takeOut', [conversation, message, operation]),
+            decide: (request, decision, operation) => ask('conversation.decide', [request, decision, operation]),
+            rename: (conversation, name, operation) => ask('conversation.rename', [conversation, name, operation]),
+            option: (conversation, option, value, operation) => ask('conversation.option', [conversation, option, value, operation]),
+            retry: (conversation, message, operation) => ask('conversation.retry', [conversation, message, operation]),
+            pin: (figures) => ask('conversation.pin', [figures]),
+            openTurn: (conversation, turn) => ask('conversation.openTurn', [conversation, turn]),
+            dismissSuggestion: (conversation, suggestion) => ask('conversation.dismissSuggestion', [conversation, suggestion]),
+            pageMetadata: async (app, address) => pageMetadataBlock(app, address, [...observations]
+                .sort(([left], [right]) => left - right)
+                .flatMap(([, { topic, input }]) => (topic === 'query' ? [input[0]] : []))),
         },
         chatDraft: {
             write: (conversation, draft, revision) => ask('chatDraft.write', [conversation, draft, revision]),
+            prepend: (conversation, draft) => ask('chatDraft.prepend', [conversation, draft]),
+            append: (conversation, draft) => ask('chatDraft.append', [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]).then((read) => streamed(read)),
+            attach: (room, file) => ask('binaryFile.attach', [room, file]),
+            download,
+        },
         call: (name, input) => ask('call', [name, input]),
+        answered: (operation) => ask('answered', [operation]),
         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, viewFile } from './media.js';
+export { unanswered } from './wire.js';

package/dist/collection.d.ts

@@ -1,7 +1,7 @@
-import { type Document, type Validation } from '@agentshouse/mdmodel';
-import type { ModelState } from './model.js';
+import { type DefinitionOf, type Document, type ParseResult, 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 { Refused } from './transfer.js';
 export declare const MD_MODEL: MdModelIdentity;
 export type Collection = {
     text: Readonly<Record<string, string>>;
@@ -14,12 +14,37 @@ 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 passingDocument(collection: Collection, path: string): Document | 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 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 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 validateCollection(text: Readonly<Record<string, string>>, binaryTargets: readonly string[], composition: Composition): Validation;
+export declare const UNTYPED = "any";
+export declare function textType(read: ParseResult): string | undefined;
+export declare function typedText(read: ParseResult): boolean;
+export declare function available(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,EAIL,KAAK,QAAQ,EACb,KAAK,UAAU,EAEhB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAE7C,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;AAID,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,CAsBZ;AAED,wBAAgB,eAAe,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAO1F;AAED,wBAAiB,WAAW,CAAC,UAAU,EAAE,UAAU,GAAG,SAAS,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAY3F;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,CAOhB;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"}
+{"version":3,"file":"collection.d.ts","sourceRoot":"","sources":["../src/collection.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,YAAY,EACjB,KAAK,QAAQ,EACb,KAAK,WAAW,EAChB,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,eAAO,MAAM,OAAO,QAAQ,CAAC;AAE7B,wBAAgB,QAAQ,CAAC,IAAI,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAE9D;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAEpD;AAED,wBAAgB,SAAS,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAE3D"}

package/dist/collection.js

@@ -1,8 +1,30 @@
-import { parse, validate, VERSION, } from '@agentshouse/mdmodel';
+import { definitionAt, parse, VERSION, } from '@agentshouse/mdmodel';
 import { beneath, normalize } from './paths.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)));
 }
@@ -11,99 +33,53 @@ export function governing(composition, path) {
         ? composition.selection.model
         : composition.model;
 }
-const parsedIn = new WeakMap();
-export function collectionOf(text, composition, previous) {
+function definitionsUnder(composition, path, typedPaths, typesOf) {
+    const types = typesOf(governing(composition, path));
+    return types === null ? () => undefined : definitionAt({ types }, path, typedPaths);
+}
+export function definitionsAt(composition, path) {
+    return definitionsUnder(composition, path, composition.typedPaths, (model) => model.status === 'unavailable' ? null : model.types);
+}
+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();
-    if (previous !== undefined) {
-        for (const [path, held] of parsedIn.get(previous) ?? []) {
-            if (previous.text[path] === text[path])
-                parsed.set(path, held);
-        }
-    }
-    const collection = {
+    return {
         text,
         composition,
         document(path) {
-            const held = parsed.get(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);
+            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 passingDocument(collection, path) {
-    const held = parsedIn.get(collection)?.get(path);
-    if (held !== undefined)
-        return held ?? undefined;
-    const content = collection.text[path];
-    if (content === undefined)
-        return undefined;
-    const read = parse(content, path);
-    return read.ok ? read.document : undefined;
 }
 export function* documentsOf(collection) {
-    const parsed = parsedIn.get(collection);
-    for (const path of Object.keys(collection.text).sort()) {
-        const held = parsed?.get(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) {
-    for (const path of Object.keys(text).sort()) {
-        if (previous?.[path] === text[path])
-            continue;
-        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 const UNTYPED = 'any';
+export function textType(read) {
+    return read.ok ? (read.document.type ?? UNTYPED) : undefined;
 }
-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];
+export function typedText(read) {
+    return (textType(read) ?? UNTYPED) !== UNTYPED;
+}
+export function available(composition) {
+    return composition.model.status !== 'unavailable';
 }

package/dist/compile.d.ts

@@ -0,0 +1,18 @@
+import { sql } from '@agentshouse/mdmodel';
+import { type Composition } from './collection.js';
+import type { Plan, QueryRows } from './query.js';
+import type { Connection } from './tables.js';
+export type QueryRoom = {
+    readonly locator: string;
+    readonly key: number;
+    readonly composition?: Composition;
+};
+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,EAQJ,MAAM,sBAAsB,CAAC;AAG9B,OAAO,EAA0B,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAE3E,OAAO,KAAK,EAAE,IAAI,EAAuC,SAAS,EAAE,MAAM,YAAY,CAAC;AAEvF,OAAO,KAAK,EAAE,UAAU,EAAc,MAAM,aAAa,CAAC;AAG1D,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;CACpC,CAAC;AAEF,KAAK,QAAQ,GAAG,GAAG,CAAC,QAAQ,CAAC;AAI7B,eAAO,MAAM,OAAO,UAAW,MAAM,KAAG,MAAyD,CAAC;AAalG,wBAAgB,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,QAAQ,CAM5D;AA2dD,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AA4ZjE,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"}