@agentshouse/mdruntime 0.1.0-cedb03eaa48b6 → 0.1.0-cedd665dffa4c

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/digest.d.ts

@@ -0,0 +1,7 @@
+export type Digest = {
+    update(bytes: Uint8Array): void;
+    hex(): string;
+};
+export declare function digest(): Digest;
+export declare function sha256(blob: Blob): Promise<string>;
+//# sourceMappingURL=digest.d.ts.map

package/dist/digest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"digest.d.ts","sourceRoot":"","sources":["../src/digest.ts"],"names":[],"mappings":"AA0EA,MAAM,MAAM,MAAM,GAAG;IACnB,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,IAAI,CAAC;IAChC,GAAG,IAAI,MAAM,CAAC;CACf,CAAC;AAEF,wBAAgB,MAAM,IAAI,MAAM,CAoC/B;AAED,wBAAsB,MAAM,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,CAMxD"}

package/dist/digest.js

@@ -0,0 +1,113 @@
+import { FILE_PART_BYTES } from './tables.js';
+const ROUNDS = new Uint32Array([
+    0x428a2f98, 0x71374491, 0xb5c0fbcf, 0xe9b5dba5, 0x3956c25b, 0x59f111f1, 0x923f82a4, 0xab1c5ed5,
+    0xd807aa98, 0x12835b01, 0x243185be, 0x550c7dc3, 0x72be5d74, 0x80deb1fe, 0x9bdc06a7, 0xc19bf174,
+    0xe49b69c1, 0xefbe4786, 0x0fc19dc6, 0x240ca1cc, 0x2de92c6f, 0x4a7484aa, 0x5cb0a9dc, 0x76f988da,
+    0x983e5152, 0xa831c66d, 0xb00327c8, 0xbf597fc7, 0xc6e00bf3, 0xd5a79147, 0x06ca6351, 0x14292967,
+    0x27b70a85, 0x2e1b2138, 0x4d2c6dfc, 0x53380d13, 0x650a7354, 0x766a0abb, 0x81c2c92e, 0x92722c85,
+    0xa2bfe8a1, 0xa81a664b, 0xc24b8b70, 0xc76c51a3, 0xd192e819, 0xd6990624, 0xf40e3585, 0x106aa070,
+    0x19a4c116, 0x1e376c08, 0x2748774c, 0x34b0bcb5, 0x391c0cb3, 0x4ed8aa4a, 0x5b9cca4f, 0x682e6ff3,
+    0x748f82ee, 0x78a5636f, 0x84c87814, 0x8cc70208, 0x90befffa, 0xa4506ceb, 0xbef9a3f7, 0xc67178f2,
+]);
+const INITIAL = [
+    0x6a09e667, 0xbb67ae85, 0x3c6ef372, 0xa54ff53a, 0x510e527f, 0x9b05688c, 0x1f83d9ab, 0x5be0cd19,
+];
+const BLOCK = 64;
+function rotated(value, by) {
+    return (value >>> by) | (value << (32 - by));
+}
+function compressed(state, words, bytes, at) {
+    for (let index = 0; index < 16; index += 1) {
+        const from = at + index * 4;
+        words[index] =
+            (bytes[from] << 24) | (bytes[from + 1] << 16) | (bytes[from + 2] << 8) | bytes[from + 3];
+    }
+    for (let index = 16; index < 64; index += 1) {
+        const early = words[index - 15];
+        const late = words[index - 2];
+        const lower = rotated(early, 7) ^ rotated(early, 18) ^ (early >>> 3);
+        const upper = rotated(late, 17) ^ rotated(late, 19) ^ (late >>> 10);
+        words[index] = (words[index - 16] + lower + words[index - 7] + upper) | 0;
+    }
+    let a = state[0];
+    let b = state[1];
+    let c = state[2];
+    let d = state[3];
+    let e = state[4];
+    let f = state[5];
+    let g = state[6];
+    let h = state[7];
+    for (let index = 0; index < 64; index += 1) {
+        const chosen = (e & f) ^ (~e & g);
+        const first = (h +
+            (rotated(e, 6) ^ rotated(e, 11) ^ rotated(e, 25)) +
+            chosen +
+            ROUNDS[index] +
+            words[index]) |
+            0;
+        const second = ((rotated(a, 2) ^ rotated(a, 13) ^ rotated(a, 22)) + ((a & b) ^ (a & c) ^ (b & c))) | 0;
+        h = g;
+        g = f;
+        f = e;
+        e = (d + first) | 0;
+        d = c;
+        c = b;
+        b = a;
+        a = (first + second) | 0;
+    }
+    state[0] += a;
+    state[1] += b;
+    state[2] += c;
+    state[3] += d;
+    state[4] += e;
+    state[5] += f;
+    state[6] += g;
+    state[7] += h;
+}
+export function digest() {
+    const state = new Uint32Array(INITIAL);
+    const words = new Uint32Array(64);
+    const pending = new Uint8Array(BLOCK);
+    let held = 0;
+    let size = 0;
+    return {
+        update(bytes) {
+            size += bytes.length;
+            let from = 0;
+            if (held > 0) {
+                const taken = Math.min(BLOCK - held, bytes.length);
+                pending.set(bytes.subarray(0, taken), held);
+                held += taken;
+                from = taken;
+                if (held < BLOCK)
+                    return;
+                compressed(state, words, pending, 0);
+                held = 0;
+            }
+            for (; from + BLOCK <= bytes.length; from += BLOCK)
+                compressed(state, words, bytes, from);
+            pending.set(bytes.subarray(from), 0);
+            held = bytes.length - from;
+        },
+        hex() {
+            const bits = size * 8;
+            const tail = new Uint8Array(held < 56 ? BLOCK : BLOCK * 2);
+            tail.set(pending.subarray(0, held));
+            tail[held] = 0x80;
+            const length = new DataView(tail.buffer, tail.length - 8);
+            length.setUint32(0, Math.floor(bits / 0x1_0000_0000));
+            length.setUint32(4, bits >>> 0);
+            const final = new Uint32Array(state);
+            for (let from = 0; from < tail.length; from += BLOCK)
+                compressed(final, words, tail, from);
+            return [...final].map((word) => word.toString(16).padStart(8, '0')).join('');
+        },
+    };
+}
+export async function sha256(blob) {
+    const hashed = digest();
+    for (let at = 0; at < blob.size; at += FILE_PART_BYTES) {
+        hashed.update(new Uint8Array(await blob.slice(at, at + FILE_PART_BYTES).arrayBuffer()));
+    }
+    return hashed.hex();
+}

package/dist/discovery.d.ts

@@ -0,0 +1,10 @@
+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 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,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,CA+D3C"}

package/dist/discovery.js

@@ -0,0 +1,150 @@
+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, 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 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);
+    return applyDiscovery(runtime, result.rooms, started);
+}

package/dist/durability.d.ts

@@ -1,15 +1,31 @@
 import type { Persistence } from './readiness.js';
-export type StorageEstimate = {
-    readonly usage: number;
-    readonly quota: number;
+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 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>;
-    estimate?(): Promise<StorageEstimate | null>;
+    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,eAAe,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjF,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,QAAQ,CAAC,IAAI,OAAO,CAAC,eAAe,GAAG,IAAI,CAAC,CAAC;CAC9C,CAAC;AAEF,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,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,9 +1,18 @@
 const STORAGE_LOSS_CODE = 'storage-loss';
+const VISIT_LOSS_CODE = 'visit';
+export function refusedForSpace(error) {
+    return (typeof error === 'object' &&
+        error !== null &&
+        error.name === 'QuotaExceededError');
+}
 export function detectStorageLoss(stored, reported) {
     if (reported === null || reported === stored)
         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,9 +1,12 @@
+import { type VerifiedModel } from '@agentshouse/mdmodel';
 import { type QueryRows } from './query.js';
-export { QueryError } from './query.js';
+import type { Connection } from './tables.js';
+export { QueryError } from '@agentshouse/mdmodel';
 export type EntryRoom = {
     locator: string;
     schema: string | null;
     documents: Readonly<Record<string, string>>;
+    revisions?: Readonly<Record<string, string>>;
 };
 export type EntryArguments = Readonly<Record<string, string>>;
 export type EntryParameterKind = 'string' | 'integer' | 'number' | 'boolean';
@@ -13,5 +16,5 @@ export declare function entryRefusal(template: unknown): string | null;
 export type EntryScope = {
     results(queries: Readonly<Record<string, unknown>>): Promise<Record<string, QueryRows>>;
 };
-export declare function entryScope(rooms: readonly EntryRoom[]): EntryScope;
+export declare function entryScope(rooms: readonly EntryRoom[], roomTypes: VerifiedModel, connection: Connection): EntryScope;
 //# sourceMappingURL=entry.d.ts.map

package/dist/entry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"entry.d.ts","sourceRoot":"","sources":["../src/entry.ts"],"names":[],"mappings":"AAGA,OAAO,EAML,KAAK,SAAS,EAEf,MAAM,YAAY,CAAC;AAIpB,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;CAC7C,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,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,GAAG,UAAU,CAuDlE"}
+{"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,10 +1,10 @@
+import { invalid, plain, QueryError, } from '@agentshouse/mdmodel';
 import { attachedModel } from './attached-model.js';
-import { collectionOf, passingFrontmatter } from './collection.js';
-import { NO_MODEL } from './model.js';
-import { invalid, planOf, plain, QueryError, } from './query.js';
-import { createReadSide } from './read-side.js';
-import { rowsOf } from './rows.js';
-export { QueryError } from './query.js';
+import { answerQuery } from './compile.js';
+import { planWithin } from './query.js';
+import { writtenFacts } from './rows.js';
+import { entered, REPLICA_TABLES } from './stored.js';
+export { QueryError } from '@agentshouse/mdmodel';
 const PARAMETER = '$param';
 const KIND = 'as';
 const INTEGER = /^-?(?:0|[1-9][0-9]*)$/u;
@@ -84,6 +84,7 @@ const SAMPLED = {
     $all: 'entry',
     $size: 0,
     $exists: true,
+    $prefix: 'entry',
     $gt: 0,
     $gte: 0,
     $lt: 0,
@@ -99,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) {
@@ -110,46 +117,43 @@ export function entryRefusal(template) {
         throw error;
     }
 }
-export function entryScope(rooms) {
-    const readSide = createReadSide();
+export function entryScope(rooms, roomTypes, connection) {
+    for (const table of REPLICA_TABLES)
+        connection.run(table);
     const held = [];
-    const documents = rooms.flatMap((room) => {
+    const keys = rooms.map((room) => {
         const model = attachedModel({
             kind: 'model',
             snapshot: { identity: room.locator, version: '', schema: room.schema, revision: null },
-        }, NO_MODEL).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 collection = collectionOf(room.documents, composition);
-        return Object.keys(room.documents)
+        const composition = { model, selection: null, typedPaths: [] };
+        const key = entered(connection, room.locator, composition, Object.keys(room.documents)
             .sort()
             .map((path) => ({
-            locator: room.locator,
             path,
-            before: [],
-            after: rowsOf(room.locator, path, passingFrontmatter(collection, path) ?? null, composition, null, null, null),
-        }));
-    });
-    const seeded = readSide.apply({
-        documents,
-        drafts: [],
-        rooms: [],
-        queues: [],
-        presentations: [],
-        messages: [],
-        conversations: [],
+            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, composition };
     });
     const planned = { listed: true, rooms: held };
     return {
         async results(queries) {
-            await seeded;
             const results = {};
             for (const [name, query] of Object.entries(queries)) {
-                results[name] = (await readSide.query(planOf(query, planned), () => null)).rows;
+                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"}