@agentshouse/mdruntime 0.1.0-c5fe3b2cddda7 → 0.1.0-c6197367d5fad

package/dist/declaration.d.ts

@@ -0,0 +1,10 @@
+import type { DiscoveredRoom, OperationScopes, PathRule, RoomDeclaration } from './adapter.js';
+export type WriteRefusal = {
+    readonly code: 'room-root' | 'provider-owned-path' | 'invalid-path' | `${keyof OperationScopes}-grant`;
+    readonly path: string;
+};
+export type WriteRule = (path: string, needs: readonly (keyof OperationScopes)[]) => WriteRefusal | null;
+export declare function declared({ locator: _locator, roomVersion: _roomVersion, ...declaration }: DiscoveredRoom): RoomDeclaration;
+export declare function sameDeclaration(left: RoomDeclaration, right: RoomDeclaration): boolean;
+export declare function writeRule({ operations, providerOwnedPaths, authoredPaths, }: Pick<RoomDeclaration, 'operations' | 'providerOwnedPaths' | 'authoredPaths'>, pathRule: PathRule, local: boolean): WriteRule;
+//# sourceMappingURL=declaration.d.ts.map

package/dist/declaration.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"declaration.d.ts","sourceRoot":"","sources":["../src/declaration.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,eAAe,EAAE,QAAQ,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAG/F,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EACT,WAAW,GACX,qBAAqB,GACrB,cAAc,GACd,GAAG,MAAM,eAAe,QAAQ,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,CACtB,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,SAAS,CAAC,MAAM,eAAe,CAAC,EAAE,KACtC,YAAY,GAAG,IAAI,CAAC;AAEzB,wBAAgB,QAAQ,CAAC,EACvB,OAAO,EAAE,QAAQ,EACjB,WAAW,EAAE,YAAY,EACzB,GAAG,WAAW,EACf,EAAE,cAAc,GAAG,eAAe,CAElC;AAED,wBAAgB,eAAe,CAAC,IAAI,EAAE,eAAe,EAAE,KAAK,EAAE,eAAe,GAAG,OAAO,CAEtF;AAED,wBAAgB,SAAS,CACvB,EACE,UAAU,EACV,kBAAkB,EAClB,aAAa,GACd,EAAE,IAAI,CAAC,eAAe,EAAE,YAAY,GAAG,oBAAoB,GAAG,eAAe,CAAC,EAC/E,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,OAAO,GACb,SAAS,CAYX"}

package/dist/declaration.js

@@ -0,0 +1,24 @@
+import { equalValue } from '@agentshouse/mdmodel';
+import { authoredAt, covered, normalize } from './paths.js';
+export function declared({ locator: _locator, roomVersion: _roomVersion, ...declaration }) {
+    return declaration;
+}
+export function sameDeclaration(left, right) {
+    return equalValue(left, right);
+}
+export function writeRule({ operations, providerOwnedPaths, authoredPaths, }, pathRule, local) {
+    return (path, needs) => {
+        const normalized = normalize(path);
+        if (normalized === null || normalized === '')
+            return { code: 'room-root', path };
+        if (covered(providerOwnedPaths, normalized) || !authoredAt(authoredPaths, normalized)) {
+            return { code: 'provider-owned-path', path: normalized };
+        }
+        if (!pathRule(normalized))
+            return { code: 'invalid-path', path: normalized };
+        if (local)
+            return null;
+        const missing = needs.find((operation) => !covered(operations[operation], normalized));
+        return missing === undefined ? null : { code: `${missing}-grant`, path: normalized };
+    };
+}

package/dist/discovery.d.ts

@@ -0,0 +1,11 @@
+import type { Discovery, DiscoveredRoom, Member } from './adapter.js';
+import type { Runtime } from './runtime.js';
+import type { Live } from './socket.js';
+import type { CycleProgress } from './status.js';
+import type { RuntimeStore } from './store.js';
+export declare function malformed(listed: readonly DiscoveredRoom[]): string | null;
+export declare function applyDiscovery(runtime: Runtime, found: readonly DiscoveredRoom[], started: number, left?: readonly string[]): Promise<readonly DiscoveredRoom[]>;
+export declare function signIn(runtime: Runtime, local: RuntimeStore, signedIn: Member | null): Promise<void>;
+export declare function zoned(runtime: Runtime, local: RuntimeStore, zone: string | null): Promise<void>;
+export declare function discoverRooms(runtime: Runtime, local: RuntimeStore, progress: CycleProgress, live: Live, found: Discovery | null): Promise<readonly DiscoveredRoom[] | null>;
+//# sourceMappingURL=discovery.d.ts.map

package/dist/discovery.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"discovery.d.ts","sourceRoot":"","sources":["../src/discovery.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAEV,SAAS,EACT,cAAc,EACd,MAAM,EAEP,MAAM,cAAc,CAAC;AAOtB,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,aAAa,CAAC;AACxC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AACjD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAkB/C,wBAAgB,SAAS,CAAC,MAAM,EAAE,SAAS,cAAc,EAAE,GAAG,MAAM,GAAG,IAAI,CAsB1E;AAED,wBAAsB,cAAc,CAClC,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,SAAS,cAAc,EAAE,EAChC,OAAO,EAAE,MAAM,EACf,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,GACvB,OAAO,CAAC,SAAS,cAAc,EAAE,CAAC,CA0CpC;AAYD,wBAAsB,MAAM,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,iBAI1F;AAED,wBAAsB,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,iBAIrF;AAED,wBAAsB,aAAa,CACjC,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,YAAY,EACnB,QAAQ,EAAE,aAAa,EACvB,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,SAAS,GAAG,IAAI,GACtB,OAAO,CAAC,SAAS,cAAc,EAAE,GAAG,IAAI,CAAC,CAgE3C"}

package/dist/discovery.js

@@ -0,0 +1,157 @@
+import { validRoot } from './collection.js';
+import { lockedRooms, relocked } from './locks.js';
+import { loseRooms } from './lost.js';
+import { cachedModels } from './models.js';
+import { beneath } from './paths.js';
+import { refuse } from './refusal.js';
+import { emitMember, emitRefusal, emitRooms, emitTimeZone, moveTo, transferring } from './shown.js';
+function within(root, path) {
+    return root === '' || beneath(root, path);
+}
+function declaredSelection(room) {
+    const selection = room.typedSelection;
+    if (selection === null)
+        return true;
+    if (!Array.isArray(selection.roots) || selection.roots.length === 0)
+        return false;
+    return selection.roots.every((root, index) => validRoot(root) &&
+        root !== '' &&
+        selection.roots.every((other, at) => at === index || !within(other, root)));
+}
+export function malformed(listed) {
+    for (const room of listed) {
+        if (room.operations === undefined ||
+            !['write', 'erase'].every((operation) => Array.isArray(room.operations[operation]) &&
+                room.operations[operation].every((scope) => typeof scope === 'string')) ||
+            room.replica === undefined ||
+            typeof room.replica.selection !== 'string' ||
+            room.replica.selection.length === 0 ||
+            !['admitted', 'unavailable'].includes(room.replica.admission) ||
+            !['locked', 'open'].includes(room.replica.offline)) {
+            return `invalid model or replica declaration ${room.locator}`;
+        }
+        if (!declaredSelection(room))
+            return `invalid typed selection declaration ${room.locator}`;
+    }
+    return null;
+}
+export async function applyDiscovery(runtime, found, started, left) {
+    const { store, socket, presence } = runtime;
+    const lockedBefore = await lockedRooms(runtime);
+    const local = await store.open();
+    const fenced = new Set(await local.fences());
+    const relisting = found
+        .map(({ locator }) => locator)
+        .filter((locator) => fenced.has(locator) && presence.liftable(locator, started));
+    const unfenced = relisting.length === 0
+        ? new Set()
+        : await store.durably((held) => held.unfence(relisting));
+    const clear = found.filter(({ locator }) => !fenced.has(locator) || unfenced.has(locator));
+    for (const { locator } of clear)
+        presence.lift(locator, started, unfenced.has(locator));
+    const kept = await local.held();
+    await loseRooms(runtime, found
+        .filter((room) => room.replica.admission !== 'admitted' &&
+        (kept.held.has(room.locator) || store.installs.of(room.locator).transfer !== null))
+        .map((room) => room.locator));
+    const named = new Set(found.map((room) => room.locator));
+    await loseRooms(runtime, left ??
+        [
+            ...new Set([
+                ...presence.rooms().map(({ locator }) => locator),
+                ...kept.held,
+                ...store.installs.transferring(),
+            ]),
+        ].filter((locator) => !named.has(locator)));
+    const listed = presence.list(clear, { whole: left === undefined, live: socket.isOpen() });
+    socket.session.set({ roomsListed: true });
+    emitRooms(runtime);
+    await relocked(runtime, lockedBefore);
+    return listed;
+}
+async function asked({ socket }, authorized) {
+    try {
+        return (await socket.discover(authorized)) ?? { kind: 'transport-uncertainty' };
+    }
+    catch (failure) {
+        return { kind: 'transport-uncertainty', failure };
+    }
+}
+const DISCOVERY = 'discovery';
+export async function signIn(runtime, local, signedIn) {
+    if (JSON.stringify(signedIn) === JSON.stringify((await local.facts()).member))
+        return;
+    await local.fact('member', signedIn);
+    emitMember(runtime, signedIn);
+}
+export async function zoned(runtime, local, zone) {
+    if (zone === (await local.facts()).timeZone)
+        return;
+    await local.fact('timeZone', zone);
+    emitTimeZone(runtime, zone);
+}
+export async function discoverRooms(runtime, local, progress, live, found) {
+    const { socket } = runtime;
+    const { session } = socket;
+    const { closed, authorization } = session.now();
+    if (closed || authorization === undefined) {
+        socket.notifyReady();
+        return null;
+    }
+    moveTo(runtime, transferring(runtime));
+    const started = session.now().discoveries + 1;
+    session.set({ discoveries: started });
+    const result = found ?? (await asked(runtime, authorization));
+    if (result.kind === 'discovery')
+        session.set({ roomsNamed: true });
+    if (!live()) {
+        progress.complete = false;
+        socket.notifyReady();
+        return null;
+    }
+    if (result.kind === 'transport-uncertainty')
+        runtime.retries.uncertain('connection', DISCOVERY, result);
+    if (result.kind === 'discovery')
+        runtime.retries.succeeded('connection', DISCOVERY);
+    if (result.kind === 'transport-uncertainty') {
+        await cachedModels(runtime, local);
+        progress.reachable = false;
+        progress.complete = false;
+        socket.notifyReady();
+        return null;
+    }
+    if (result.kind === 'contract-unavailable') {
+        await refuse(runtime, 'missing-required-guarantee', {
+            code: result.code,
+            fields: result.fields,
+            retryable: result.retryable,
+        });
+        socket.notifyReady();
+        return null;
+    }
+    if (result.kind === 'revoked-authorization') {
+        await refuse(runtime, 'revoked-authorization');
+        socket.notifyReady();
+        return null;
+    }
+    const invalid = malformed(result.rooms);
+    if (invalid !== null) {
+        await refuse(runtime, 'missing-required-guarantee');
+        socket.notifyReady();
+        return null;
+    }
+    if (session.now().refusal !== null) {
+        session.set({ refusal: null });
+        emitRefusal(runtime);
+    }
+    const held = await local.facts();
+    if (JSON.stringify(result.providerLimits) !== JSON.stringify(held.providerLimits) ||
+        JSON.stringify(result.capabilities) !== JSON.stringify(held.capabilities)) {
+        await local.fact('providerLimits', result.providerLimits);
+        await local.fact('capabilities', result.capabilities);
+    }
+    socket.notifyReady();
+    await signIn(runtime, local, result.member ?? null);
+    await zoned(runtime, local, result.timeZone ?? null);
+    return applyDiscovery(runtime, result.rooms, started);
+}

package/dist/download.d.ts

@@ -0,0 +1,6 @@
+import type { MdRuntimeClient } from './client.js';
+import type { BinaryLinkAnswer, DownloadAnswer } from './outcome.js';
+export declare function handedCopy(copy: Blob, name: string): DownloadAnswer;
+export declare function handedLink(path: string, link: () => Promise<BinaryLinkAnswer>): Promise<DownloadAnswer>;
+export declare function downloadAttachment(client: MdRuntimeClient, link: string): Promise<DownloadAnswer>;
+//# sourceMappingURL=download.d.ts.map

package/dist/download.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"download.d.ts","sourceRoot":"","sources":["../src/download.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACnD,OAAO,KAAK,EAAE,gBAAgB,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAuBrE,wBAAgB,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,GAAG,cAAc,CAKnE;AAED,wBAAsB,UAAU,CAC9B,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,MAAM,OAAO,CAAC,gBAAgB,CAAC,GACpC,OAAO,CAAC,cAAc,CAAC,CAazB;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,cAAc,CAAC,CAEjG"}

package/dist/download.js

@@ -0,0 +1,42 @@
+import { roomTarget } from '@agentshouse/mdmodel';
+// 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();
+}
+export function handedCopy(copy, name) {
+    const url = URL.createObjectURL(copy);
+    handed(url, name);
+    setTimeout(() => URL.revokeObjectURL(url), HANDED_COPY_MS);
+    return STARTED;
+}
+export async function handedLink(path, link) {
+    const tab = PAGE.test(path) ? globalThis.open('', '_blank') : null;
+    const linked = await link();
+    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')
+        return linked;
+    handed(linked.url, linked.name);
+    return STARTED;
+}
+export function downloadAttachment(client, link) {
+    return handedLink(roomTarget(link)?.path ?? link, () => client.conversation.attachment(link));
+}

package/dist/durability.d.ts

@@ -1,12 +1,32 @@
 import type { Persistence } from './readiness.js';
+import type { RetriedFailure, Step } from './retried.js';
+export type UnsentKind = 'pending-change' | 'call' | 'room-draft' | 'chat-draft';
+export type UnsentWork = {
+    readonly kind: UnsentKind;
+    readonly count: number;
+};
+export declare function leftToSend(unsent: readonly UnsentWork[]): boolean;
+export type AppCode = {
+    readonly running: number;
+    readonly older: number;
+};
+export type HeldCode = {
+    readonly house: number | null;
+    readonly apps: readonly string[];
+};
 export type RuntimeShell = {
     persistence: Persistence;
     generation: string | null;
     keepGeneration(value: string): void | Promise<void>;
     dropGeneration(): void | Promise<void>;
     cleanUp?(): Promise<number>;
+    measure?(measured: (app: string, code: AppCode | null) => void): Promise<HeldCode>;
+    reset(): Promise<void>;
+    retried?(failure: RetriedFailure): void;
+    succeeded?(step: Step): void;
 };
 export declare function refusedForSpace(error: unknown): boolean;
 export declare function detectStorageLoss(stored: string | null, reported: string | null): string | null;
+export declare function lossStated(persistence: Persistence, loss: string | null): string | null;
 export declare function nextGeneration(stored: string | null, reported: string | null): string;
 //# sourceMappingURL=durability.d.ts.map

package/dist/durability.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"durability.d.ts","sourceRoot":"","sources":["../src/durability.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAIlD,MAAM,MAAM,YAAY,GAAG;IACzB,WAAW,EAAE,WAAW,CAAC;IACzB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACpD,cAAc,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;CAC7B,CAAC;AAEF,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAMvD;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,IAAI,CAG/F;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAGrF"}
+{"version":3,"file":"durability.d.ts","sourceRoot":"","sources":["../src/durability.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,KAAK,EAAE,cAAc,EAAE,IAAI,EAAE,MAAM,cAAc,CAAC;AAMzD,MAAM,MAAM,UAAU,GAAG,gBAAgB,GAAG,MAAM,GAAG,YAAY,GAAG,YAAY,CAAC;AAEjF,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAE/E,wBAAgB,UAAU,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,GAAG,OAAO,CAEjE;AAED,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAE3E,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAE3F,MAAM,MAAM,YAAY,GAAG;IACzB,WAAW,EAAE,WAAW,CAAC;IACzB,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IAC1B,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACpD,cAAc,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACvC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5B,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,GAAG,IAAI,KAAK,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IACnF,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACvB,OAAO,CAAC,CAAC,OAAO,EAAE,cAAc,GAAG,IAAI,CAAC;IACxC,SAAS,CAAC,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAAC;CAC9B,CAAC;AAEF,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAMvD;AAED,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,IAAI,CAG/F;AAED,wBAAgB,UAAU,CAAC,WAAW,EAAE,WAAW,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,GAAG,IAAI,CAEvF;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,GAAG,MAAM,CAGrF"}

package/dist/durability.js

@@ -1,4 +1,8 @@
 const STORAGE_LOSS_CODE = 'storage-loss';
+const VISIT_LOSS_CODE = 'visit';
+export function leftToSend(unsent) {
+    return unsent.some(({ kind }) => kind === 'pending-change' || kind === 'call');
+}
 export function refusedForSpace(error) {
     return (typeof error === 'object' &&
         error !== null &&
@@ -9,6 +13,9 @@ export function detectStorageLoss(stored, reported) {
         return null;
     return STORAGE_LOSS_CODE;
 }
+export function lossStated(persistence, loss) {
+    return persistence === 'memory' ? VISIT_LOSS_CODE : loss;
+}
 export function nextGeneration(stored, reported) {
     if (stored !== null && (reported === null || reported === stored))
         return stored;

package/dist/entry.d.ts

@@ -1,7 +1,7 @@
-import type { VerifiedModel } from '@agentshouse/mdmodel';
+import { type VerifiedModel } from '@agentshouse/mdmodel';
 import { type QueryRows } from './query.js';
 import type { Connection } from './tables.js';
-export { QueryError } from './query.js';
+export { QueryError } from '@agentshouse/mdmodel';
 export type EntryRoom = {
     locator: string;
     schema: string | null;

package/dist/entry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"entry.d.ts","sourceRoot":"","sources":["../src/entry.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAK1D,OAAO,EAML,KAAK,SAAS,EAEf,MAAM,YAAY,CAAC;AAEpB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAExC,MAAM,MAAM,SAAS,GAAG;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5C,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAE9D,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,CAAC;AA0D7E,wBAAgB,UAAU,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,GAAG,OAAO,CAE3E;AAED,wBAAgB,eAAe,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,MAAM,EAAE,CAMpE;AAkCD,wBAAgB,YAAY,CAAC,QAAQ,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAQ7D;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;CACzF,CAAC;AAEF,wBAAgB,UAAU,CACxB,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,SAAS,EAAE,aAAa,EACxB,UAAU,EAAE,UAAU,GACrB,UAAU,CAmDZ"}
+{"version":3,"file":"entry.d.ts","sourceRoot":"","sources":["../src/entry.ts"],"names":[],"mappings":"AAAA,OAAO,EAML,KAAK,aAAa,EACnB,MAAM,sBAAsB,CAAC;AAI9B,OAAO,EAAyB,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAGnE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAElD,MAAM,MAAM,SAAS,GAAG;IACtB,OAAO,EAAE,MAAM,CAAC;IAChB,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IACtB,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IAC5C,SAAS,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAE9D,MAAM,MAAM,kBAAkB,GAAG,QAAQ,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,CAAC;AA0D7E,wBAAgB,UAAU,CAAC,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,cAAc,GAAG,OAAO,CAE3E;AAED,wBAAgB,eAAe,CAAC,QAAQ,EAAE,OAAO,GAAG,SAAS,MAAM,EAAE,CAMpE;AAyCD,wBAAgB,YAAY,CAAC,QAAQ,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAQ7D;AAED,MAAM,MAAM,UAAU,GAAG;IACvB,OAAO,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;CACzF,CAAC;AAEF,wBAAgB,UAAU,CACxB,KAAK,EAAE,SAAS,SAAS,EAAE,EAC3B,SAAS,EAAE,aAAa,EACxB,UAAU,EAAE,UAAU,GACrB,UAAU,CAoDZ"}

package/dist/entry.js

@@ -1,9 +1,10 @@
+import { invalid, plain, QueryError, } from '@agentshouse/mdmodel';
 import { attachedModel } from './attached-model.js';
 import { answerQuery } from './compile.js';
-import { NO_MODEL } from './model.js';
-import { invalid, planOf, plain, QueryError, } from './query.js';
+import { planWithin } from './query.js';
+import { writtenFacts } from './rows.js';
 import { entered, REPLICA_TABLES } from './stored.js';
-export { QueryError } from './query.js';
+export { QueryError } from '@agentshouse/mdmodel';
 const PARAMETER = '$param';
 const KIND = 'as';
 const INTEGER = /^-?(?:0|[1-9][0-9]*)$/u;
@@ -83,6 +84,7 @@ const SAMPLED = {
     $all: 'entry',
     $size: 0,
     $exists: true,
+    $prefix: 'entry',
     $gt: 0,
     $gte: 0,
     $lt: 0,
@@ -98,9 +100,15 @@ function sampled(template, key) {
     }
     return template;
 }
+function entryPlan(query, facts) {
+    const plan = planWithin(query, facts);
+    if (plan.fileIds !== null)
+        invalid('fileIds', 'an entry Room holds no file IDs');
+    return plan;
+}
 export function entryRefusal(template) {
     try {
-        planOf(sampled(template, ''), { listed: false, rooms: [] });
+        entryPlan(sampled(template, ''), { listed: false, rooms: [] });
         return null;
     }
     catch (error) {
@@ -117,32 +125,34 @@ export function entryScope(rooms, roomTypes, connection) {
         const model = attachedModel({
             kind: 'model',
             snapshot: { identity: room.locator, version: '', schema: room.schema, revision: null },
-        }, NO_MODEL, roomTypes).state;
+        }, roomTypes);
         held.push({
             locator: room.locator,
             available: model.status !== 'unavailable',
             types: model.status === 'unavailable' ? [] : Object.values(model.types),
         });
-        const composition = { model, selection: null };
+        const composition = { model, selection: null, typedPaths: [] };
         const key = entered(connection, room.locator, composition, Object.keys(room.documents)
             .sort()
             .map((path) => ({
             path,
             content: room.documents[path],
+            facts: writtenFacts(path, room.documents[path], composition),
             binary: null,
             revision: room.revisions?.[path] ?? null,
             fileId: null,
+            created: null,
             change: null,
             written: null,
         })));
-        return { locator: room.locator, key };
+        return { locator: room.locator, key, composition };
     });
     const planned = { listed: true, rooms: held };
     return {
         async results(queries) {
             const results = {};
             for (const [name, query] of Object.entries(queries)) {
-                const plan = planOf(query, planned);
+                const plan = entryPlan(query, planned);
                 results[name] = answerQuery(connection, plan, keys.filter(({ locator }) => plan.rooms === null || plan.rooms.includes(locator)));
             }
             return results;

package/dist/expectation.d.ts

@@ -1,21 +1,34 @@
-export type ExpectedOf<E extends {
-    readonly key: string;
-}> = E | readonly E[] | null;
-export type Expecting<E extends {
+declare const heldType: unique symbol;
+export type Descriptor<A, T> = {
+    place(asked: A): string;
+    readonly [heldType]?: T;
+};
+export type Expectation = {
     readonly key: string;
-}> = {
+    readonly descriptor: object;
+    readonly places: ReadonlySet<string>;
+    draw(held: unknown): unknown;
+    shown(held: unknown): boolean;
+};
+export type Expected = Expectation | readonly Expectation[] | null;
+export type Expecting = {
     subscribe(listener: () => void): () => void;
     version(): number;
     begin(): number;
-    expect(act: number, expected: ExpectedOf<E>, settled?: (one: E) => boolean): void;
+    expect(act: number, expected: Expected): void;
     drop(act: number): void;
-    heard(shown: (one: E) => boolean): void;
-    drawn(): readonly E[];
+    reads<A, T>(reader: string, descriptor: Descriptor<A, T>, places: readonly A[]): void;
+    heard<A, T>(reader: string, descriptor: Descriptor<A, T>, held: ReadonlyMap<A, T>): void;
+    left(reader: string): void;
+    draw<A, T>(descriptor: Descriptor<A, T>, place: A, held: T): T;
 };
-export declare function expectedList<E extends {
-    readonly key: string;
-}>(expected: ExpectedOf<E>): readonly E[];
-export declare function expecting<E extends {
+export declare function expectation<A, T>(descriptor: Descriptor<A, T>, made: {
     readonly key: string;
-}>(): Expecting<E>;
+    readonly at: readonly A[];
+    draw(held: T): T;
+    shown(held: T): boolean;
+}): Expectation;
+export declare function expectedList(expected: Expected): readonly Expectation[];
+export declare function expecting(): Expecting;
+export {};
 //# sourceMappingURL=expectation.d.ts.map

package/dist/expectation.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"expectation.d.ts","sourceRoot":"","sources":["../src/expectation.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,IAAI,CAAC,GAAG,SAAS,CAAC,EAAE,GAAG,IAAI,CAAC;AAErF,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,IAAI;IAC1D,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC;IAC5C,OAAO,IAAI,MAAM,CAAC;IAClB,KAAK,IAAI,MAAM,CAAC;IAChB,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,OAAO,GAAG,IAAI,CAAC;IAClF,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,OAAO,GAAG,IAAI,CAAC;IACxC,KAAK,IAAI,SAAS,CAAC,EAAE,CAAC;CACvB,CAAC;AAIF,wBAAgB,YAAY,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,EAC7D,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC,GACtB,SAAS,CAAC,EAAE,CAGd;AAwBD,wBAAgB,SAAS,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,KAAK,SAAS,CAAC,CAAC,CAAC,CA4C5E"}
+{"version":3,"file":"expectation.d.ts","sourceRoot":"","sources":["../src/expectation.ts"],"names":[],"mappings":"AAAA,OAAO,CAAC,MAAM,QAAQ,EAAE,OAAO,MAAM,CAAC;AAEtC,MAAM,MAAM,UAAU,CAAC,CAAC,EAAE,CAAC,IAAI;IAC7B,KAAK,CAAC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC;IACxB,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;CACzB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACrC,IAAI,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC;IAC7B,KAAK,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,QAAQ,GAAG,WAAW,GAAG,SAAS,WAAW,EAAE,GAAG,IAAI,CAAC;AAEnE,MAAM,MAAM,SAAS,GAAG;IACtB,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC;IAC5C,OAAO,IAAI,MAAM,CAAC;IAClB,KAAK,IAAI,MAAM,CAAC;IAChB,MAAM,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;IAC9C,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,SAAS,CAAC,EAAE,GAAG,IAAI,CAAC;IACtF,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC;IACzF,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;CAChE,CAAC;AAcF,wBAAgB,WAAW,CAAC,CAAC,EAAE,CAAC,EAC9B,UAAU,EAAE,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAC5B,IAAI,EAAE;IACJ,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC,EAAE,CAAC;IAC1B,IAAI,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC;IACjB,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC;CACzB,GACA,WAAW,CAQb;AAED,wBAAgB,YAAY,CAAC,QAAQ,EAAE,QAAQ,GAAG,SAAS,WAAW,EAAE,CAGvE;AA+BD,wBAAgB,SAAS,IAAI,SAAS,CAqFrC"}

package/dist/expectation.js

@@ -1,22 +1,40 @@
+const NOWHERE = new Set();
+const NOTHING = new Map();
+export function expectation(descriptor, made) {
+    return {
+        key: made.key,
+        descriptor,
+        places: new Set(made.at.map((one) => descriptor.place(one))),
+        draw: (value) => made.draw(value),
+        shown: (value) => made.shown(value),
+    };
+}
 export function expectedList(expected) {
     if (expected === null)
         return [];
     return 'key' in expected ? [expected] : expected;
 }
+function asks(reader, one) {
+    return (reader.descriptor === one.descriptor && [...one.places].some((at) => reader.places.has(at)));
+}
+function shows(reader, one) {
+    return (reader.descriptor === one.descriptor &&
+        [...reader.held].some(([at, value]) => one.places.has(at) && one.shown(value)));
+}
 function superseded(entries, at) {
-    const key = entries[at]?.expectation.key;
-    return entries.slice(at + 1).some((later) => later.expectation.key === key);
+    const key = entries[at]?.one.key;
+    return entries.slice(at + 1).some((later) => later.one.key === key);
 }
 function unended(entries, ends) {
     const ended = new Set();
     const kept = [];
-    for (const one of [...entries].reverse()) {
-        if (ended.has(one.expectation.key))
+    for (const entry of [...entries].reverse()) {
+        if (ended.has(entry.one.key))
             continue;
-        if (ends(one.expectation))
-            ended.add(one.expectation.key);
+        if (ends(entry))
+            ended.add(entry.one.key);
         else
-            kept.unshift(one);
+            kept.unshift(entry);
     }
     return kept;
 }
@@ -24,6 +42,7 @@ export function expecting() {
     let entries = [];
     let version = 0;
     let acts = 0;
+    const readers = new Map();
     const listeners = new Set();
     const set = (next) => {
         if (next.length === entries.length && next.every((one, at) => one === entries[at]))
@@ -33,6 +52,18 @@ export function expecting() {
         for (const listener of listeners)
             listener();
     };
+    const settle = (next) => {
+        for (const entry of next)
+            for (const [id, reader] of readers)
+                if (asks(reader, entry.one) && shows(reader, entry.one))
+                    entry.seen.add(id);
+        set(unended(next, (entry) => {
+            const asking = [...readers].filter(([, reader]) => asks(reader, entry.one));
+            const seen = asking.filter(([id]) => entry.seen.has(id));
+            return (seen.length > 0 &&
+                (seen.length === asking.length || seen.some(([, reader]) => !shows(reader, entry.one))));
+        }));
+    };
     return {
         subscribe(listener) {
             listeners.add(listener);
@@ -45,26 +76,48 @@ export function expecting() {
             acts += 1;
             return acts;
         },
-        expect(act, expected, settled = () => false) {
+        expect(act, expected) {
             const fresh = expectedList(expected);
             if (fresh.length === 0)
                 return;
             const keys = new Set(fresh.map((one) => one.key));
-            const kept = entries.filter((one) => one.act !== act || !keys.has(one.expectation.key));
-            const over = new Set(kept.map((one) => one.expectation.key));
-            set([
-                ...kept,
-                ...fresh
-                    .filter((one) => over.has(one.key) || !settled(one))
-                    .map((expectation) => ({ act, expectation })),
+            settle([
+                ...entries.filter((entry) => entry.act !== act || !keys.has(entry.one.key)),
+                ...fresh.map((one) => ({ act, one, seen: new Set() })),
             ]);
         },
         drop(act) {
-            set(entries.filter((one) => one.act !== act));
+            set(entries.filter((entry) => entry.act !== act));
+        },
+        reads(reader, descriptor, places) {
+            readers.set(reader, {
+                descriptor,
+                places: new Set(places.map((one) => descriptor.place(one))),
+                held: readers.get(reader)?.held ?? NOTHING,
+            });
+            settle(entries);
+        },
+        heard(reader, descriptor, held) {
+            readers.set(reader, {
+                descriptor,
+                places: readers.get(reader)?.places ?? NOWHERE,
+                held: new Map([...held].map(([place, value]) => [descriptor.place(place), value])),
+            });
+            settle(entries);
+        },
+        left(reader) {
+            readers.delete(reader);
+            for (const entry of entries)
+                entry.seen.delete(reader);
+            settle(entries);
         },
-        heard(shown) {
-            set(unended(entries, shown));
+        draw(descriptor, place, held) {
+            const at = descriptor.place(place);
+            return entries.reduce((now, entry, index) => entry.one.descriptor === descriptor &&
+                entry.one.places.has(at) &&
+                !superseded(entries, index)
+                ? entry.one.draw(now)
+                : now, held);
         },
-        drawn: () => entries.flatMap((one, at) => (superseded(entries, at) ? [] : [one.expectation])),
     };
 }

package/dist/failure.d.ts

@@ -1,3 +1,4 @@
+import type { ProviderRefusal } from './adapter.js';
 export type RuntimeError = Error & {
     readonly code: string;
     readonly retryable: boolean;
@@ -8,6 +9,8 @@ export type Described = {
     retryable: boolean;
 };
 export declare function runtimeError(code: string, message?: string, retryable?: boolean): RuntimeError;
+export declare function refusalError(refusal: ProviderRefusal): RuntimeError;
 export declare function failed(error: unknown): RuntimeError;
+export declare function uncaught(error: unknown): void;
 export declare function described(error: unknown): Described;
 //# sourceMappingURL=failure.d.ts.map

package/dist/failure.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"failure.d.ts","sourceRoot":"","sources":["../src/failure.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAAC;AAE1F,MAAM,MAAM,SAAS,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAAC;AAE9E,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,MAAa,EACtB,SAAS,UAAQ,GAChB,YAAY,CAEd;AAYD,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,YAAY,CAGnD;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAGnD"}
+{"version":3,"file":"failure.d.ts","sourceRoot":"","sources":["../src/failure.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAEpD,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAAC;AAE1F,MAAM,MAAM,SAAS,GAAG;IAAE,OAAO,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,OAAO,CAAA;CAAE,CAAC;AAE9E,wBAAgB,YAAY,CAC1B,IAAI,EAAE,MAAM,EACZ,OAAO,GAAE,MAAa,EACtB,SAAS,UAAQ,GAChB,YAAY,CAEd;AAYD,wBAAgB,YAAY,CAAC,OAAO,EAAE,eAAe,GAAG,YAAY,CAEnE;AAED,wBAAgB,MAAM,CAAC,KAAK,EAAE,OAAO,GAAG,YAAY,CAGnD;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAE7C;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,SAAS,CAGnD"}