@agentshouse/mdruntime 0.1.0-cb2e390ee7b89 → 0.1.0-cb4f25b82f4b6

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,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,EAAiB,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAElE,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;AAIF,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;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"}