@agentshouse/mdruntime 0.1.0-c069136dcb4e8 → 0.1.0-c076b00ebf42a

package/dist/rows.d.ts

@@ -1,14 +1,8 @@
+import { type HeldValue } from '@agentshouse/mdmodel';
+import type { SavedFacts } from './adapter.js';
 import { type Composition } from './collection.js';
-export type ValueKind = 'string' | 'number' | 'boolean' | 'null' | 'array' | 'object' | 'undefined';
-type HeldValue = {
-    readonly keys: string;
-    readonly places: string;
-    readonly item: number;
-    readonly kind: ValueKind;
-    readonly value: string | number | null;
-    readonly size: number | null;
-};
-type LinkKind = 'field' | 'section' | 'body';
+import type { PlanReach } from './query.js';
+type LinkKind = 'field' | 'link';
 type HeldLink = {
     readonly kind: LinkKind;
     readonly keys: string;
@@ -19,28 +13,28 @@ type HeldLink = {
 export type Described = {
     readonly type: string | null;
     readonly declared: string | null;
-    readonly queried: boolean;
     readonly folder: string;
     readonly fields: string | null;
+    readonly links: string | null;
+};
+export type Held = {
+    readonly type: string | null;
+    readonly fields: Readonly<Record<string, unknown>> | null;
+    readonly links: readonly string[];
 };
-export type Derived = Described & {
+export type Derived = {
     readonly values: readonly HeldValue[];
     readonly links: readonly HeldLink[];
 };
 export declare function documentKey(room: string, path: string): string;
 export declare function roomOfKey(key: string): string;
+export declare function roomsOfReach(reach: PlanReach): ReadonlySet<string>;
 export declare function pathOfKey(key: string): string;
 export declare function markdownPath(path: string): boolean;
 export declare function folderOf(path: string): string;
-export type Reach = 'exact' | 'value' | 'link';
-export type Placed = {
-    readonly keys: string;
-    readonly places: string;
-    readonly glob: boolean;
-};
-export declare function placedOf(pointer: string, reach: Reach): Placed;
-export declare function kindOf(value: unknown): ValueKind;
-export declare function described(path: string, content: string | null): Described;
-export declare function derived(path: string, content: string | null, composition: Composition): Derived;
+export declare function writtenFacts(path: string, content: string, composition: Composition): SavedFacts | null;
+export declare function described(path: string, content: string | null, facts: SavedFacts | null): Described;
+export declare function heldOf(path: string, content: string | null, facts: SavedFacts | null): Held;
+export declare function derived(path: string, held: Held, composition: Composition): Derived;
 export {};
 //# sourceMappingURL=rows.d.ts.map

package/dist/rows.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"rows.d.ts","sourceRoot":"","sources":["../src/rows.ts"],"names":[],"mappings":"AAWA,OAAO,EAAa,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAG9D,MAAM,MAAM,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,QAAQ,GAAG,WAAW,CAAC;AAEpG,KAAK,SAAS,GAAG;IACf,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;CAC9B,CAAC;AAEF,KAAK,QAAQ,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAC;AAE7C,KAAK,QAAQ,GAAG;IACd,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG,SAAS,GAAG;IAChC,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;CACrC,CAAC;AAMF,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAE9D;AAED,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAE7C;AAED,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAE7C;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAElD;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE7C;AAWD,MAAM,MAAM,KAAK,GAAG,OAAO,GAAG,OAAO,GAAG,MAAM,CAAC;AAE/C,MAAM,MAAM,MAAM,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAEhG,wBAAgB,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,MAAM,CAuB9D;AAwBD,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAMhD;AAiJD,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAEzE;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,EAAE,WAAW,EAAE,WAAW,GAAG,OAAO,CAO/F"}
+{"version":3,"file":"rows.d.ts","sourceRoot":"","sources":["../src/rows.ts"],"names":[],"mappings":"AAAA,OAAO,EAA8C,KAAK,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAClG,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAA4B,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC7E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,KAAK,QAAQ,GAAG,OAAO,GAAG,MAAM,CAAC;AAEjC,KAAK,QAAQ,GAAG;IACd,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IACjC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,IAAI,GAAG;IACjB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,IAAI,CAAC;IAC1D,QAAQ,CAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAC;CACrC,CAAC;AAMF,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,CAE9D;AAED,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAE7C;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,CAElE;AAED,wBAAgB,SAAS,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAE7C;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAElD;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAE7C;AAaD,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,WAAW,GACvB,UAAU,GAAG,IAAI,CAQnB;AAED,wBAAgB,SAAS,CACvB,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,MAAM,GAAG,IAAI,EACtB,KAAK,EAAE,UAAU,GAAG,IAAI,GACvB,SAAS,CAaX;AAED,wBAAgB,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,EAAE,KAAK,EAAE,UAAU,GAAG,IAAI,GAAG,IAAI,CAK3F;AAED,wBAAgB,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,WAAW,EAAE,WAAW,GAAG,OAAO,CAYnF"}

package/dist/rows.js

@@ -1,6 +1,5 @@
-import { ARRAY_INDEX, bodyAfterFrontmatter, bodyLinks, escapePointer, parseFrontmatter, references, sectionReferences, target, } from '@agentshouse/mdmodel';
-import { governing } from './collection.js';
-import { definitionOf } from './model.js';
+import { byCodePoint, documentFacts, indexed, parse } from '@agentshouse/mdmodel';
+import { definitionsAt, governing } from './collection.js';
 function keyOf(...parts) {
     return `${parts.join('\u0000')}\u0000`;
 }
@@ -10,6 +9,9 @@ export function documentKey(room, path) {
 export function roomOfKey(key) {
     return key.split('\u0000')[1];
 }
+export function roomsOfReach(reach) {
+    return new Set([...reach.rooms, ...reach.documents.map(roomOfKey)]);
+}
 export function pathOfKey(key) {
     return key.split('\u0000')[2];
 }
@@ -19,196 +21,57 @@ export function markdownPath(path) {
 export function folderOf(path) {
     return path.slice(0, Math.max(path.lastIndexOf('/'), 0));
 }
-export function placedOf(pointer, reach) {
-    const [first = '', ...rest] = pointer.split('/').slice(1);
-    const keys = [first];
-    const gaps = [[]];
-    for (const segment of rest) {
-        if (ARRAY_INDEX.test(segment)) {
-            gaps.at(-1).push(segment);
-            continue;
-        }
-        keys.push(segment);
-        gaps.push([]);
-    }
-    const places = gaps
-        .map((gap, at) => {
-        const open = at < gaps.length - 1 ? reach !== 'exact' : reach === 'link';
-        return `/${gap.map((number) => `[.:]${number}`).join('')}.${open ? '*' : ''}`;
-    })
-        .join('');
-    return {
-        keys: keys.map((key) => `/${key}`).join(''),
-        places,
-        glob: /[[*]/u.test(places),
-    };
-}
-function placesOf({ done, head, tail }) {
-    return `${done}/${head}${tail}.`;
-}
-function throughOf(keys, places) {
-    const gaps = places.split('/').slice(1);
-    return keys
-        .split('/')
-        .slice(1)
-        .map((key, at) => `/${key}${gaps[at].replace(/\.\d*/gu, '').replaceAll(':', '/')}`)
-        .join('');
-}
-function plainObject(value) {
-    return typeof value === 'object' && value !== null && !Array.isArray(value);
-}
-function compared(reading, exact, value) {
-    if (!reading.references.has(exact))
+function byKey(_key, value) {
+    if (typeof value !== 'object' || value === null || Array.isArray(value))
         return value;
-    return (typeof value === 'string' ? target(reading.path, value) : null) ?? undefined;
+    return Object.fromEntries(Object.entries(value).sort(([one], [other]) => byCodePoint(one, other)));
 }
-export function kindOf(value) {
-    if (value === undefined)
-        return 'undefined';
-    if (value === null)
-        return 'null';
-    if (Array.isArray(value))
-        return 'array';
-    if (typeof value === 'object')
-        return 'object';
-    return typeof value;
-}
-function scalarOf(value) {
-    if (typeof value === 'string' || typeof value === 'number')
-        return value;
-    if (typeof value === 'boolean')
-        return value ? 1 : 0;
-    if (Array.isArray(value))
-        return JSON.stringify(value);
-    return null;
+function fieldsText(fields) {
+    return JSON.stringify(fields, byKey);
 }
-function held(reading, keys, places, value) {
-    reading.values.push({
-        keys,
-        places,
-        item: -1,
-        kind: kindOf(value),
-        value: scalarOf(value),
-        size: Array.isArray(value) ? value.length : null,
+export function writtenFacts(path, content, composition) {
+    const model = governing(composition, path);
+    const facts = documentFacts(path, parse(content, path, definitionsAt(composition, path)), {
+        types: model.status === 'unavailable' ? {} : model.types,
     });
-    if (!Array.isArray(value))
-        return;
-    value.forEach((item, index) => {
-        const itemKind = kindOf(item);
-        reading.values.push({
-            keys,
-            places,
-            item: index,
-            kind: itemKind,
-            value: itemKind === 'array' ? null : scalarOf(item),
-            size: null,
-        });
-    });
-}
-function record(reading, node, at) {
-    const value = Array.isArray(node)
-        ? node.map((item, index) => compared(reading, `${at.exact}/${index}`, item))
-        : compared(reading, at.exact, node);
-    const places = placesOf(at);
-    held(reading, at.keys, places, value);
-    if (typeof value !== 'string' || !reading.references.has(at.exact))
-        return;
-    reading.links.push({
-        kind: 'field',
-        keys: at.keys,
-        places,
-        target: value,
-        field: throughOf(at.keys, places),
-    });
-}
-function walk(reading, node, at) {
-    record(reading, node, at);
-    if (Array.isArray(node)) {
-        node.forEach((item, index) => walk(reading, item, { ...at, tail: `${at.tail}.${index}`, exact: `${at.exact}/${index}` }));
-        return;
-    }
-    if (!plainObject(node))
-        return;
-    for (const [key, value] of Object.entries(node)) {
-        const segment = escapePointer(key);
-        const exact = `${at.exact}/${segment}`;
-        walk(reading, value, ARRAY_INDEX.test(segment)
-            ? { ...at, head: `${at.head}${at.tail.replaceAll('.', ':')}:${segment}`, tail: '', exact }
-            : { keys: `${at.keys}/${segment}`, done: placesOf(at), head: '', tail: '', exact });
-    }
+    return facts === null
+        ? null
+        : { ...facts, fields: JSON.parse(fieldsText(facts.fields)) };
 }
-function bodyTargets(path, content) {
-    const seen = new Set();
-    const found = [];
-    for (const { target: reached } of bodyLinks(bodyAfterFrontmatter(content), path)) {
-        if (seen.has(reached))
-            continue;
-        seen.add(reached);
-        found.push({ kind: 'body', keys: '', places: '', target: reached, field: '' });
-    }
-    return found;
-}
-function typedRows(path, content, document, composition) {
-    const definition = definitionOf(governing(composition, path), document.type);
-    const reading = {
-        path,
-        references: new Set(definition === undefined ? [] : references(document, definition).map((one) => one.pointer)),
-        values: [],
-        links: [],
-    };
-    for (const [name, value] of Object.entries(document.fields)) {
-        const segment = escapePointer(name);
-        walk(reading, value, {
-            keys: `/${segment}`,
-            done: '',
-            head: '',
-            tail: '',
-            exact: `/${segment}`,
-        });
-    }
-    const links = reading.links;
-    if (definition !== undefined) {
-        const sectioned = new Set();
-        for (const { target: reached } of sectionReferences(path, content, definition)) {
-            if (reached === null || sectioned.has(reached))
-                continue;
-            sectioned.add(reached);
-            links.push({ kind: 'section', keys: '', places: '', target: reached, field: '' });
-        }
-    }
-    return { values: reading.values, links: [...links, ...bodyTargets(path, content)] };
-}
-function read(path, content) {
+export function described(path, content, facts) {
     const folder = folderOf(path);
-    const unread = { fields: null, folder, type: null };
-    if (content === null) {
-        return { described: { ...unread, declared: null, queried: true }, document: null };
-    }
-    const parsed = parseFrontmatter(content, path);
-    const declared = parsed.ok ? (parsed.frontmatter.type ?? 'any') : null;
-    if (!markdownPath(path) || !parsed.ok) {
-        return { described: { ...unread, declared, queried: !markdownPath(path) }, document: null };
-    }
-    const document = parsed.frontmatter;
+    const unread = { type: null, fields: null, links: null, folder };
+    if (content === null || facts === null)
+        return { ...unread, declared: null };
+    const links = JSON.stringify(facts.links);
+    if (!markdownPath(path))
+        return { ...unread, declared: facts.type, links };
     return {
-        described: {
-            type: document.type ?? 'any',
-            declared,
-            queried: true,
-            folder,
-            fields: JSON.stringify(document.fields),
-        },
-        document,
+        type: facts.type,
+        declared: facts.type,
+        folder,
+        fields: fieldsText(facts.fields),
+        links,
     };
 }
-export function described(path, content) {
-    return read(path, content).described;
-}
-export function derived(path, content, composition) {
-    const { described: columns, document } = read(path, content);
-    if (document !== null) {
-        return { ...columns, ...typedRows(path, content, document, composition) };
-    }
-    const links = content === null || markdownPath(path) ? [] : bodyTargets(path, content);
-    return { ...columns, values: [], links };
+export function heldOf(path, content, facts) {
+    if (content === null || facts === null)
+        return { type: null, fields: null, links: [] };
+    return markdownPath(path)
+        ? { type: facts.type, fields: facts.fields, links: facts.links }
+        : { type: null, fields: null, links: facts.links };
+}
+export function derived(path, held, composition) {
+    const stored = held.links.map((target) => ({
+        kind: 'link',
+        keys: '',
+        places: '',
+        target,
+        field: '',
+    }));
+    if (held.type === null || held.fields === null)
+        return { values: [], links: stored };
+    const definition = definitionsAt(composition, path)(held.type);
+    const { values, links: fields } = indexed(path, held.fields, definition);
+    return { values, links: [...fields, ...stored] };
 }

package/dist/runtime.d.ts

@@ -0,0 +1,34 @@
+import type { RoomDeclaration, TypedPath } from './adapter.js';
+import type { RuntimeShell } from './durability.js';
+import type { LiveConversations } from './conversation-live.js';
+import type { WriteRule } from './declaration.js';
+import type { FiguresRead } from './figures.js';
+import type { LiveQueries } from './live.js';
+import type { ModelState } from './model.js';
+import type { Presence } from './presence.js';
+import type { ReadAnswers } from './reads.js';
+import type { Recovery } from './recovery.js';
+import type { Retries } from './retried.js';
+import type { RuntimeSocket } from './socket.js';
+import type { HeldCover, Store } from './store.js';
+import type { schemaTypes } from './attached-model.js';
+export type Runtime = {
+    readonly store: Store;
+    readonly socket: RuntimeSocket;
+    readonly presence: Presence;
+    readonly recovery: Recovery;
+    readonly retries: Retries;
+    readonly shell: RuntimeShell;
+    readonly localSaves: boolean;
+    readonly roomTypes: Parameters<typeof schemaTypes>[1];
+    readonly builtIn: ModelState;
+    readonly typedPaths: readonly TypedPath[];
+    readonly writeRule: (declaration: RoomDeclaration) => WriteRule;
+    readonly usableWhenHeld: readonly string[];
+    readonly build: string;
+    readonly conversations: LiveConversations;
+    readonly liveQueries: LiveQueries<HeldCover>;
+    readonly figures: FiguresRead;
+    readonly lastAnswers: ReadAnswers;
+};
+//# sourceMappingURL=runtime.d.ts.map

package/dist/runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"runtime.d.ts","sourceRoot":"","sources":["../src/runtime.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC/D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAEvD,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC,OAAO,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAC1C,QAAQ,CAAC,SAAS,EAAE,CAAC,WAAW,EAAE,eAAe,KAAK,SAAS,CAAC;IAChE,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,aAAa,EAAE,iBAAiB,CAAC;IAC1C,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC,SAAS,CAAC,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;CACnC,CAAC"}

package/dist/runtime.js

@@ -0,0 +1 @@
+export {};

package/dist/save.d.ts

@@ -1,103 +1,59 @@
 import { type Validation } from '@agentshouse/mdmodel';
-import type { OperationScopes, ProviderLimit } from './adapter.js';
-import { type Change, type ChangeBatch, type Precondition, type WrittenBy } from './change.js';
+import type { ProviderLimit } from './adapter.js';
+import { type ChangeBatch, type WrittenBy } from './change.js';
 import { type Composition } from './collection.js';
+import type { WriteRule } from './declaration.js';
 import { type Layer } from './overlay.js';
-import type { VisibleLayer } from './replica.js';
-import type { ChangedPart } from './room-draft.js';
+import type { ReplicaRecord, VisibleLayer } from './replica.js';
+import { type ChangedPart, type RoomDraftRecord, type SavedDraft } from './room-draft.js';
 export type SaveRefusal = {
     code: string;
     retryable: boolean;
     file?: string;
     location?: string;
+    line?: number;
     referrers?: readonly string[];
     parts?: readonly ChangedPart[];
 };
-export type SaveInput = {
-    local: boolean;
-    composition: Composition;
-    baseRoomVersion: string;
-    operations: import('./adapter.js').OperationScopes;
-    providerOwnedPaths: readonly string[];
-    providerLimits: readonly ProviderLimit[];
-    visible: VisibleLayer;
-    folders: ReadonlySet<string>;
-    handle: string;
-    changes: readonly Change[];
-    bases: readonly Precondition[];
-    queued?: ReadonlySet<string>;
-    writtenBy?: WrittenBy;
-    unmodeled: boolean;
-    validate: Validator;
+export type SaveAsk = {
+    readonly saved: readonly SavedDraft[];
+    readonly consumed: ReadonlySet<string>;
+    readonly writtenBy?: WrittenBy;
+    readonly local: boolean;
+    readonly providerLimits: readonly ProviderLimit[];
 };
-export type Validator = (resulting: Layer, touched: readonly string[]) => Promise<Validation>;
-type Refusing = {
-    kind: 'refused';
-    refusal: SaveRefusal;
+export type SavingRoom = {
+    readonly record: ReplicaRecord;
+    readonly rule: WriteRule;
+    readonly composition: Composition;
+    readonly queue: readonly ChangeBatch[];
+    readonly changeable: ReadonlySet<string>;
+    readonly saved: ReadonlyMap<string, readonly SavedDraft[]>;
+    readonly replay: (queue: readonly ChangeBatch[]) => Generator<number, VisibleLayer, void>;
+    readonly folders: ReadonlySet<string>;
+    readonly modelled: boolean;
+    readonly drafts: ReadonlyMap<string, RoomDraftRecord>;
+    readonly validate: Validator;
 };
-export type BatchResult = {
-    kind: 'batch';
-    batch: ChangeBatch;
-} | Refusing;
-export declare function providerRewritten(batch: ChangeBatch, visible: VisibleLayer): Generator<number, ChangeBatch, void>;
-export declare function leavingRewritten(batch: ChangeBatch, visible: VisibleLayer): Generator<number, ChangeBatch, void>;
-export declare function rewriting(batch: ChangeBatch, locator: string): boolean;
-export declare function effectiveIn(batch: ChangeBatch, locator: string, visible: VisibleLayer): Generator<number, ChangeBatch, void>;
-export declare function queuedDocuments(queue: readonly ChangeBatch[]): ReadonlySet<string>;
-export type Requeued = {
-    kind: 'requeued';
-    queue: readonly ChangeBatch[];
-    changes: readonly Change[];
-    queued: ReadonlySet<string>;
-    withdrawn: ReadonlyMap<string, ChangeBatch | null>;
-    owners: ReadonlySet<string>;
-} | {
-    kind: 'refused';
-    refusal: SaveRefusal;
+export type PlannedRoom = {
+    readonly locator: string;
+    readonly queue: readonly ChangeBatch[];
+    readonly saved: ReadonlyMap<string, readonly SavedDraft[]>;
+    readonly consumed: readonly string[];
+    readonly carried: readonly RoomDraftRecord[];
 };
-export type Joining = {
-    kind: 'joined';
-    batch: ChangeBatch;
-    queue: readonly ChangeBatch[];
+export type SavePlan = {
+    readonly kind: 'refused';
+    readonly refusal: SaveRefusal;
 } | {
-    kind: 'refused';
-    refusal: SaveRefusal;
-};
-type VisibleOver = (queue: readonly ChangeBatch[]) => Generator<number, VisibleLayer, void>;
-export declare function requeuing(queue: readonly ChangeBatch[], changes: readonly Change[], visible: VisibleLayer, changeable: (batch: ChangeBatch) => boolean, state: VisibleOver): Generator<number, Requeued, void>;
-export declare function joined(queue: readonly ChangeBatch[], owner: ChangeBatch, extra: ChangeBatch): Joining;
-export declare function limiting(queue: readonly ChangeBatch[], batch: ChangeBatch, limits: readonly ProviderLimit[], state: VisibleOver): Generator<number, SaveRefusal | null, void>;
-export declare const MOVE_DOCUMENTS = "move-documents";
-export type MoveSide = {
-    room: string;
-    handle: string;
-    baseRoomVersion: string;
-    composition: Composition;
-    operations: OperationScopes;
-    providerOwnedPaths: readonly string[];
-    visible: VisibleLayer;
-    folders: ReadonlySet<string>;
-    queued: ReadonlySet<string>;
-    unmodeled: boolean;
-    validate: Validator;
+    readonly kind: 'planned';
+    readonly identifier: string;
+    readonly rooms: readonly PlannedRoom[];
 };
-export type MoveInput = {
-    source: MoveSide;
-    destination: MoveSide;
-    moves: readonly {
-        readonly path: string;
-        readonly to: string;
-    }[];
-    providerLimits: readonly ProviderLimit[];
-    local: boolean;
-    writtenBy?: WrittenBy;
-};
-export type MoveResult = {
-    kind: 'moved';
-    leaving: ChangeBatch;
-    arriving: ChangeBatch;
-} | Refusing;
-export declare function buildMove(input: MoveInput): Promise<MoveResult>;
-export declare function buildBatch(input: SaveInput): Promise<BatchResult>;
-export {};
+export type Validator = (resulting: Layer, touched: readonly string[]) => Promise<Validation>;
+export declare function providerRewritten(batch: ChangeBatch, visible: VisibleLayer): Generator<number, ChangeBatch, void>;
+export declare function rewriting(batch: ChangeBatch, locator: string): boolean;
+export declare function effectiveIn(batch: ChangeBatch, locator: string, visible: VisibleLayer): Generator<number, ChangeBatch, void>;
+export declare function destination(locator: string, saved: readonly SavedDraft[]): string | null;
+export declare function planSave(ask: SaveAsk, room: SavingRoom, into?: SavingRoom): Promise<SavePlan>;
 //# sourceMappingURL=save.d.ts.map

package/dist/save.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"save.d.ts","sourceRoot":"","sources":["../src/save.ts"],"names":[],"mappings":"AACA,OAAO,EAkBL,KAAK,UAAU,EAChB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACnE,OAAO,EAKL,KAAK,MAAM,EACX,KAAK,WAAW,EAChB,KAAK,YAAY,EAEjB,KAAK,SAAS,EACf,MAAM,aAAa,CAAC;AACrB,OAAO,EAKL,KAAK,WAAW,EACjB,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAc,KAAK,KAAK,EAAE,MAAM,cAAc,CAAC;AAEtD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAInD,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,OAAO,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,KAAK,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,KAAK,EAAE,OAAO,CAAC;IACf,WAAW,EAAE,WAAW,CAAC;IACzB,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,OAAO,cAAc,EAAE,eAAe,CAAC;IACnD,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,OAAO,EAAE,YAAY,CAAC;IACtB,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,EAAE,MAAM,CAAC;IACf,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,KAAK,EAAE,SAAS,YAAY,EAAE,CAAC;IAC/B,MAAM,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,SAAS,EAAE,OAAO,CAAC;IACnB,QAAQ,EAAE,SAAS,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,KAAK,OAAO,CAAC,UAAU,CAAC,CAAC;AAE9F,KAAK,QAAQ,GAAG;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAC;AAE1D,MAAM,MAAM,WAAW,GAAG;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GAAG,QAAQ,CAAC;AAgN3E,wBAAiB,iBAAiB,CAChC,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,YAAY,GACpB,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,CAOtC;AAoDD,wBAAiB,gBAAgB,CAC/B,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,YAAY,GACpB,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,CAyBtC;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAEtE;AAED,wBAAiB,WAAW,CAC1B,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,YAAY,GACpB,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,CAItC;AAoJD,wBAAgB,eAAe,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,GAAG,WAAW,CAAC,MAAM,CAAC,CAYlF;AAoND,MAAM,MAAM,QAAQ,GAChB;IACE,IAAI,EAAE,UAAU,CAAC;IACjB,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9B,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5B,SAAS,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,GAAG,IAAI,CAAC,CAAC;IACnD,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC7B,GACD;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAC;AAM9C,MAAM,MAAM,OAAO,GACf;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAA;CAAE,GACrE;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAC;AAmN9C,KAAK,WAAW,GAAG,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,KAAK,SAAS,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;AAE5F,wBAAiB,SAAS,CACxB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,OAAO,EAAE,SAAS,MAAM,EAAE,EAC1B,OAAO,EAAE,YAAY,EACrB,UAAU,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,OAAO,EAC3C,KAAK,EAAE,WAAW,GACjB,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAgEnC;AAUD,wBAAgB,MAAM,CACpB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,KAAK,EAAE,WAAW,EAClB,KAAK,EAAE,WAAW,GACjB,OAAO,CAsCT;AAED,wBAAiB,QAAQ,CACvB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,KAAK,EAAE,WAAW,EAClB,MAAM,EAAE,SAAS,aAAa,EAAE,EAChC,KAAK,EAAE,WAAW,GACjB,SAAS,CAAC,MAAM,EAAE,WAAW,GAAG,IAAI,EAAE,IAAI,CAAC,CAU7C;AAsND,eAAO,MAAM,cAAc,mBAAmB,CAAC;AAE/C,MAAM,MAAM,QAAQ,GAAG;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,eAAe,EAAE,MAAM,CAAC;IACxB,WAAW,EAAE,WAAW,CAAC;IACzB,UAAU,EAAE,eAAe,CAAC;IAC5B,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,OAAO,EAAE,YAAY,CAAC;IACtB,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC7B,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5B,SAAS,EAAE,OAAO,CAAC;IACnB,QAAQ,EAAE,SAAS,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,MAAM,EAAE,QAAQ,CAAC;IACjB,WAAW,EAAE,QAAQ,CAAC;IACtB,KAAK,EAAE,SAAS;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACjE,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,KAAK,EAAE,OAAO,CAAC;IACf,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,WAAW,CAAC;IAAC,QAAQ,EAAE,WAAW,CAAA;CAAE,GAAG,QAAQ,CAAC;AAmInG,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,UAAU,CAAC,CAE/D;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC,CAEjE"}
+{"version":3,"file":"save.d.ts","sourceRoot":"","sources":["../src/save.ts"],"names":[],"mappings":"AACA,OAAO,EAsBL,KAAK,UAAU,EAChB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAmB,aAAa,EAAE,MAAM,cAAc,CAAC;AACnE,OAAO,EAML,KAAK,WAAW,EAGhB,KAAK,SAAS,EACf,MAAM,aAAa,CAAC;AACrB,OAAO,EAQL,KAAK,WAAW,EACjB,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,EAAwB,KAAK,KAAK,EAAE,MAAM,cAAc,CAAC;AAEhE,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEhE,OAAO,EAKL,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,UAAU,EAChB,MAAM,iBAAiB,CAAC;AAIzB,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,SAAS,EAAE,OAAO,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9B,KAAK,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;CAChC,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;CACnD,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,WAAW,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IACvC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACzC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC,CAAC;IAC3D,QAAQ,CAAC,MAAM,EAAE,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,KAAK,SAAS,CAAC,MAAM,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;IAC1F,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IACtD,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC,CAAC;IAC3D,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,eAAe,EAAE,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,QAAQ,GAChB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAA;CAAE,GAC3D;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;CACxC,CAAC;AAmBN,MAAM,MAAM,SAAS,GAAG,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,MAAM,EAAE,KAAK,OAAO,CAAC,UAAU,CAAC,CAAC;AAkP9F,wBAAiB,iBAAiB,CAChC,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,YAAY,GACpB,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,CAOtC;AA4ED,wBAAgB,SAAS,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAEtE;AAED,wBAAiB,WAAW,CAC1B,KAAK,EAAE,WAAW,EAClB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,YAAY,GACpB,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,IAAI,CAAC,CAItC;AA2vCD,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,UAAU,EAAE,GAAG,MAAM,GAAG,IAAI,CAKxF;AAED,wBAAgB,QAAQ,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,CAE7F"}