@agentshouse/mdruntime 0.1.0-cf28918c2bf91 → 0.1.0-cf53a3b60b194

package/dist/collection.d.ts

@@ -1,11 +1,13 @@
-import { type Document, type Validation } from '@agentshouse/mdmodel';
+import { type Document } from '@agentshouse/mdmodel';
 import type { ModelState } from './model.js';
 import type { MdModelIdentity } from './adapter.js';
+import { type Paths } from './shared.js';
 import type { Refused } from './transfer.js';
 export declare const MD_MODEL: MdModelIdentity;
 export type Collection = {
-    documents: Readonly<Record<string, Document>>;
+    text: Readonly<Record<string, string>>;
     composition: Composition;
+    document(path: string): Document | undefined;
 };
 export type Composition = {
     model: ModelState;
@@ -14,17 +16,16 @@ export type Composition = {
         model: ModelState;
     } | null;
 };
-export declare function governing(composition: Composition, path: string): ModelState;
-type Previous = {
-    text: Readonly<Record<string, string>>;
-    collection: Collection;
+export type Composed = {
+    readonly composition: Composition;
+    readonly fingerprint: string;
 };
-export declare function parseCollection(text: Readonly<Record<string, string>>, composition: Composition, previous?: Previous): Collection;
-export declare function readCollection(text: Readonly<Record<string, string>>, composition: Composition, previous?: Previous): {
-    kind: 'read';
-    collection: Collection;
-} | Refused;
+export declare function composedOf(composition: Composition): Composed;
+export declare function selected(composition: Composition, path: string): boolean;
+export declare function governing(composition: Composition, path: string): ModelState;
+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 unreadable(text: Paths<string>, paths?: Iterable<string> | null): Generator<number, Refused | null, 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 {};
+export declare function available(composition: Composition): boolean;
 //# 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,EAEb,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,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;IAC9C,WAAW,EAAE,WAAW,CAAC;CAC1B,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;AAED,KAAK,QAAQ,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAAC,UAAU,EAAE,UAAU,CAAA;CAAE,CAAC;AAanF,wBAAgB,eAAe,CAC7B,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACtC,WAAW,EAAE,WAAW,EACxB,QAAQ,CAAC,EAAE,QAAQ,GAClB,UAAU,CAOZ;AAED,wBAAgB,cAAc,CAC5B,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EACtC,WAAW,EAAE,WAAW,EACxB,QAAQ,CAAC,EAAE,QAAQ,GAClB;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,UAAU,CAAA;CAAE,GAAG,OAAO,CAQpD;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,EAAkB,KAAK,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAErE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAEpD,OAAO,EAAsB,KAAK,KAAK,EAAE,MAAM,aAAa,CAAC;AAC7D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAG7C,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;CACnE,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,wBAAgB,QAAQ,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAKxE;AAED,wBAAgB,SAAS,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,UAAU,CAI5E;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,wBAAiB,UAAU,CACzB,IAAI,EAAE,KAAK,CAAC,MAAM,CAAC,EACnB,KAAK,GAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,IAAW,GACpC,SAAS,CAAC,MAAM,EAAE,OAAO,GAAG,IAAI,EAAE,IAAI,CAAC,CAazC;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,8 +1,31 @@
-import { parse, validate, VERSION, } from '@agentshouse/mdmodel';
+import { parse, VERSION } from '@agentshouse/mdmodel';
 import { beneath, normalize } from './paths.js';
+import { hashed } from './observation.js';
+import { keysIn, sortedKeys } from './shared.js';
+import { ROW_WEIGHT } from './turn.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,62 +34,51 @@ export function governing(composition, path) {
         ? composition.selection.model
         : composition.model;
 }
-function parsedAt(text, path, previous) {
-    const retained = previous?.collection.documents[path];
-    return retained !== undefined && previous?.text[path] === text[path]
-        ? { ok: true, document: retained }
-        : parse(text[path], path);
+export function collectionOf(text, composition) {
+    const parsed = new Map();
+    return {
+        text,
+        composition,
+        document(path) {
+            if (parsed.has(path))
+                return parsed.get(path) ?? undefined;
+            const content = text[path];
+            if (content === undefined)
+                return undefined;
+            const read = parse(content, path);
+            parsed.set(path, read.ok ? read.document : null);
+            return read.ok ? read.document : undefined;
+        },
+    };
 }
-export function parseCollection(text, composition, previous) {
-    const documents = {};
-    for (const path of Object.keys(text).sort()) {
-        const parsed = parsedAt(text, path, previous);
-        if (parsed.ok)
-            documents[path] = parsed.document;
-    }
-    return { documents, composition };
+export function* documentsOf(collection) {
+    const paths = yield* sortedKeys(collection.text);
+    return (function* () {
+        for (const path of paths) {
+            const document = collection.document(path);
+            if (document !== undefined)
+                yield [path, document];
+        }
+    })();
 }
-export function readCollection(text, composition, previous) {
-    const documents = {};
-    for (const path of Object.keys(text).sort()) {
-        const parsed = parsedAt(text, path, previous);
-        if (!parsed.ok)
-            return { kind: 'refused', refusal: parsed.refusal };
-        documents[path] = parsed.document;
+export function* unreadable(text, paths = null) {
+    const named = paths ?? (yield* keysIn(text));
+    let least = null;
+    for (const path of named) {
+        const content = Object.hasOwn(text, path) ? text[path] : undefined;
+        if (content === undefined)
+            continue;
+        const read = parse(content, path);
+        if (!read.ok && (least === null || path < least.path)) {
+            least = { path, refused: { kind: 'refused', refusal: read.refusal } };
+        }
+        yield ROW_WEIGHT + content.length;
     }
-    return { kind: 'read', collection: { documents, composition } };
+    return least?.refused ?? 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];
+export function available(composition) {
+    return composition.model.status !== 'unavailable';
 }

package/dist/compile.d.ts

@@ -0,0 +1,16 @@
+import type { Plan, QueryRows } from './query.js';
+import type { Connection, Value } from './tables.js';
+export type QueryRoom = {
+    readonly locator: string;
+    readonly key: number;
+};
+export type Fragment = {
+    readonly sql: string;
+    readonly bind: readonly Value[];
+};
+export type QueryAnswer = QueryRows & {
+    readonly more?: string;
+};
+export declare function selected(connection: Connection, plan: Plan, rooms: readonly QueryRoom[]): Fragment;
+export declare function answerQuery(connection: Connection, plan: Plan, rooms: readonly QueryRoom[], budget?: number | null): QueryAnswer;
+//# 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":"AAIA,OAAO,KAAK,EAOV,IAAI,EAGJ,SAAS,EAIV,MAAM,YAAY,CAAC;AAEpB,OAAO,KAAK,EAAE,UAAU,EAAO,KAAK,EAAE,MAAM,aAAa,CAAC;AAU1D,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3E,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,KAAK,EAAE,CAAA;CAAE,CAAC;AAwrBjF,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG;IAAE,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AA4TjE,wBAAgB,QAAQ,CACtB,UAAU,EAAE,UAAU,EACtB,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,SAAS,SAAS,EAAE,GAC1B,QAAQ,CAEV;AAED,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"}