@agentshouse/mdruntime 0.1.0-cf1e7fdb9c600 → 0.1.0-cf281e8224a5d

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;AAQtB,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,CAoEpC;AAUD,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,175 @@
+import { validRoot } from './collection.js';
+import { admitted, list, listHeld } from './listing.js';
+import { confirmLocks, 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 === undefined)
+        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 } = runtime;
+    const { rooms } = socket;
+    const lockedBefore = await lockedRooms(runtime);
+    const local = await store.open();
+    const stillFenced = new Set(await local.fences());
+    const relisting = found
+        .map(({ locator }) => locator)
+        .filter((locator) => {
+        const fence = store.fences.of(locator);
+        return stillFenced.has(locator) && (fence === undefined || fence.at < started);
+    });
+    const relisted = relisting.length === 0
+        ? new Set()
+        : await store.durably((held) => held.unfence(relisting));
+    for (const { locator } of found) {
+        const fence = store.fences.of(locator);
+        if (fence === undefined || fence.at >= started)
+            continue;
+        if (relisted.has(locator) || (!stillFenced.has(locator) && !fence.written)) {
+            store.fences.lift(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 listed = found.filter(({ locator }) => !store.fences.has(locator) && (!stillFenced.has(locator) || relisted.has(locator)));
+    const listedLocatorsNow = new Set(listed.map((room) => room.locator));
+    for (const locator of listedLocatorsNow)
+        rooms.stand(locator, { refusal: null });
+    if (left === undefined)
+        rooms.undiscoverAll();
+    for (const room of listed)
+        rooms.discover(room);
+    const named = new Set(found.map((room) => room.locator));
+    await loseRooms(runtime, left ??
+        [
+            ...new Set([
+                ...rooms.declarations().keys(),
+                ...kept.held,
+                ...store.installs.transferring(),
+            ]),
+        ].filter((locator) => !named.has(locator)));
+    const held = await store.rooms(listed.map((room) => room.locator));
+    for (const room of listed) {
+        const record = held.get(room.locator)?.record;
+        if (record !== undefined && record.replica.selection !== room.replica.selection) {
+            listHeld(runtime, room.locator);
+            continue;
+        }
+        list(runtime, room, admitted(runtime, room));
+    }
+    confirmLocks(runtime, listed);
+    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 {
+        return { kind: 'transport-uncertainty' };
+    }
+}
+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, journal } = 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;
+    }
+    journal.record(`connection discover ${result.kind}`);
+    if (result.kind === 'transport-uncertainty') {
+        await cachedModels(runtime, local);
+        progress.reachable = false;
+        progress.complete = false;
+        socket.notifyReady();
+        return null;
+    }
+    if (result.kind === 'contract-unavailable') {
+        journal.record(`connection contract unavailable ${result.code}`);
+        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) {
+        journal.record(invalid);
+        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,10 +1,25 @@
 import type { Persistence } from './readiness.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>;
     cleanUp?(): Promise<number>;
+    measure?(measured: (app: string, code: AppCode | null) => void): Promise<HeldCode>;
+    reset(): Promise<void>;
 };
 export declare function refusedForSpace(error: unknown): boolean;
 export declare function detectStorageLoss(stored: string | null, reported: string | null): string | null;

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;AAIlD,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;CACxB,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"}

package/dist/entry.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"entry.d.ts","sourceRoot":"","sources":["../src/entry.ts"],"names":[],"mappings":"AAAA,OAAO,EAML,KAAK,aAAa,EACnB,MAAM,sBAAsB,CAAC;AAK9B,OAAO,EAAyB,KAAK,SAAS,EAAE,MAAM,YAAY,CAAC;AAEnE,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"}
+{"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,8 +1,8 @@
 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 { planWithin } from './query.js';
+import { writtenFacts } from './rows.js';
 import { entered, REPLICA_TABLES } from './stored.js';
 export { QueryError } from '@agentshouse/mdmodel';
 const PARAMETER = '$param';
@@ -125,7 +125,7 @@ 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',
@@ -137,10 +137,11 @@ export function entryScope(rooms, roomTypes, connection) {
             .map((path) => ({
             path,
             content: room.documents[path],
-            outline: null,
+            facts: writtenFacts(path, room.documents[path], composition),
             binary: null,
             revision: room.revisions?.[path] ?? null,
             fileId: null,
+            created: null,
             change: null,
             written: null,
         })));

package/dist/expectation.d.ts

@@ -7,9 +7,11 @@ export type Expecting<E extends {
     subscribe(listener: () => void): () => void;
     version(): number;
     begin(): number;
-    expect(act: number, expected: ExpectedOf<E>, settled?: (one: E) => boolean): void;
+    expect(act: number, expected: ExpectedOf<E>): void;
     drop(act: number): void;
-    heard(shown: (one: E) => boolean): void;
+    reads(reader: string, asks: (one: E) => boolean): void;
+    heard(reader: string, shown: (one: E) => boolean): void;
+    left(reader: string): void;
     drawn(): readonly E[];
 };
 export declare function expectedList<E extends {

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,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,GAAG,IAAI,CAAC;IACnD,IAAI,CAAC,GAAG,EAAE,MAAM,GAAG,IAAI,CAAC;IACxB,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,OAAO,GAAG,IAAI,CAAC;IACvD,KAAK,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,KAAK,OAAO,GAAG,IAAI,CAAC;IACxD,IAAI,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC3B,KAAK,IAAI,SAAS,CAAC,EAAE,CAAC;CACvB,CAAC;AAQF,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,CAmE5E"}

package/dist/expectation.js

@@ -1,3 +1,4 @@
+const NONE = () => false;
 export function expectedList(expected) {
     if (expected === null)
         return [];
@@ -13,7 +14,7 @@ function unended(entries, ends) {
     for (const one of [...entries].reverse()) {
         if (ended.has(one.expectation.key))
             continue;
-        if (ends(one.expectation))
+        if (ends(one))
             ended.add(one.expectation.key);
         else
             kept.unshift(one);
@@ -24,6 +25,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 +35,19 @@ export function expecting() {
         for (const listener of listeners)
             listener();
     };
+    const settle = (next) => {
+        for (const entry of next)
+            for (const [id, reader] of readers)
+                if (reader.asks(entry.expectation) && reader.shown(entry.expectation))
+                    entry.seen.add(id);
+        set(unended(next, (entry) => {
+            const asking = [...readers].filter(([, reader]) => reader.asks(entry.expectation));
+            const seen = asking.filter(([id]) => entry.seen.has(id));
+            return (seen.length > 0 &&
+                (seen.length === asking.length ||
+                    seen.some(([, reader]) => !reader.shown(entry.expectation))));
+        }));
+    };
     return {
         subscribe(listener) {
             listeners.add(listener);
@@ -45,25 +60,32 @@ 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((one) => one.act !== act || !keys.has(one.expectation.key)),
+                ...fresh.map((expectation) => ({ act, expectation, seen: new Set() })),
             ]);
         },
         drop(act) {
             set(entries.filter((one) => one.act !== act));
         },
-        heard(shown) {
-            set(unended(entries, shown));
+        reads(reader, asks) {
+            readers.set(reader, { asks, shown: readers.get(reader)?.shown ?? NONE });
+            settle(entries);
+        },
+        heard(reader, shown) {
+            readers.set(reader, { asks: readers.get(reader)?.asks ?? NONE, shown });
+            settle(entries);
+        },
+        left(reader) {
+            readers.delete(reader);
+            for (const entry of entries)
+                entry.seen.delete(reader);
+            settle(entries);
         },
         drawn: () => entries.flatMap((one, at) => (superseded(entries, at) ? [] : [one.expectation])),
     };

package/dist/figures.d.ts

@@ -0,0 +1,49 @@
+import type { ChangeSet } from './change-set.js';
+import type { GroupTotal, PendingResult } from './query.js';
+import type { Deliver, Fail } from './reach.js';
+import type { ConversationTally, RoomTally } from './tallies.js';
+import type { QueryRoom } from './tables.js';
+export declare const HOUSE_DIRECTORY = "house";
+export declare const ROOM_TOTALS: {
+    readonly outside: readonly ["house"];
+    readonly groupBy: readonly ["room"];
+    readonly select: {
+        readonly size: true;
+    };
+};
+export declare const FIGURES_DAY_MS = 86400000;
+export type DayFigures = {
+    readonly created: number;
+    readonly changed: number;
+    readonly chats: number;
+    readonly messages: number;
+};
+export type RoomFigures = {
+    readonly room: string;
+    readonly day: DayFigures;
+    readonly total: {
+        readonly documents: GroupTotal;
+        readonly files: GroupTotal;
+    };
+};
+export type Figures = {
+    readonly rooms: readonly RoomFigures[];
+    readonly agentMessages: number;
+};
+export type FiguresResult = Figures | PendingResult;
+export type FiguresCover = PendingResult | {
+    readonly rooms: readonly QueryRoom[];
+};
+export type FiguresSources = {
+    cover(): Promise<FiguresCover>;
+    rooms(rooms: readonly QueryRoom[], since: string): Promise<readonly RoomTally[]>;
+    conversations(conversations: readonly string[] | null, since: string): Promise<readonly ConversationTally[]>;
+};
+export type FiguresRead = {
+    watch(deliver: Deliver, fail: Fail): () => void;
+    touched(set: ChangeSet): void;
+    recover(): void;
+    close(): void;
+};
+export declare function createFigures(sources: FiguresSources): FiguresRead;
+//# sourceMappingURL=figures.d.ts.map

package/dist/figures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"figures.d.ts","sourceRoot":"","sources":["../src/figures.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AACjD,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC5D,OAAO,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,iBAAiB,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACjE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,eAAO,MAAM,eAAe,UAAU,CAAC;AAEvC,eAAO,MAAM,WAAW;;;;iBAGZ,IAAI;;CACe,CAAC;AAGhC,eAAO,MAAM,cAAc,WAAa,CAAC;AAQzC,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,UAAU,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE;QAAE,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;KAAE,CAAC;CAChF,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IAAC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAA;CAAE,CAAC;AAEjG,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,aAAa,CAAC;AAEpD,MAAM,MAAM,YAAY,GAAG,aAAa,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,CAAC;AAEpF,MAAM,MAAM,cAAc,GAAG;IAC3B,KAAK,IAAI,OAAO,CAAC,YAAY,CAAC,CAAC;IAC/B,KAAK,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,SAAS,EAAE,CAAC,CAAC;IACjF,aAAa,CACX,aAAa,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,EACvC,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,SAAS,iBAAiB,EAAE,CAAC,CAAC;CAC1C,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,KAAK,CAAC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,GAAG,MAAM,IAAI,CAAC;IAChD,OAAO,CAAC,GAAG,EAAE,SAAS,GAAG,IAAI,CAAC;IAC9B,OAAO,IAAI,IAAI,CAAC;IAChB,KAAK,IAAI,IAAI,CAAC;CACf,CAAC;AAgDF,wBAAgB,aAAa,CAAC,OAAO,EAAE,cAAc,GAAG,WAAW,CAsIlE"}

package/dist/figures.js

@@ -0,0 +1,197 @@
+import { instantKey } from '@agentshouse/mdmodel';
+export const HOUSE_DIRECTORY = 'house';
+export const ROOM_TOTALS = {
+    outside: [HOUSE_DIRECTORY],
+    groupBy: ['room'],
+    select: { size: true },
+};
+// Today's Last 24 hours is the day that ends as the read answers.
+export const FIGURES_DAY_MS = 86_400_000;
+// An install or a catch-up commits many times a second, so the figures answer again once changes rest this long, never per commit.
+const SETTLED_MS = 1_000;
+// Changes that never rest, such as an Agent writing all afternoon, still reach the figures this long after the first of them.
+const LONGEST_UNSETTLED_MS = 5_000;
+function dayOf(tally, since) {
+    const after = (at) => at !== null && at >= since;
+    return {
+        created: tally.documentTimes.filter(([created]) => after(created)).length,
+        changed: tally.documentTimes.filter(([created, changed]) => !after(created) && after(changed))
+            .length,
+        chats: tally.chatTimes.filter(after).length,
+        messages: tally.messageTimes.filter(after).length,
+    };
+}
+function figuresOf(rooms, held, since) {
+    return {
+        rooms: rooms.map(({ locator }) => {
+            const tally = held.rooms.get(locator);
+            return {
+                room: locator,
+                day: dayOf(tally, since),
+                total: { documents: tally.documents, files: tally.files },
+            };
+        }),
+        agentMessages: [...held.said.values()].reduce((sum, said) => sum + said.filter((at) => at >= since).length, 0),
+    };
+}
+function unheld() {
+    return {
+        rooms: new Map(),
+        said: new Map(),
+        staleRooms: new Set(),
+        staleConversations: new Set(),
+        everyConversation: true,
+    };
+}
+export function createFigures(sources) {
+    const listeners = new Map();
+    const answered = new Set();
+    let held = unheld();
+    let shown = null;
+    let running = false;
+    let again = false;
+    let quiet = null;
+    let longest = null;
+    let closed = false;
+    function unscheduled() {
+        if (quiet !== null)
+            clearTimeout(quiet);
+        if (longest !== null)
+            clearTimeout(longest);
+        quiet = null;
+        longest = null;
+    }
+    function deliver(answer) {
+        const text = JSON.stringify(answer);
+        const changed = text !== shown;
+        shown = text;
+        for (const listener of listeners.keys()) {
+            if (changed || !answered.has(listener))
+                listener(structuredClone(answer));
+            answered.add(listener);
+        }
+    }
+    async function tallied(rooms, since) {
+        for (const locator of held.rooms.keys()) {
+            if (!rooms.some((room) => room.locator === locator))
+                held.rooms.delete(locator);
+        }
+        const asked = rooms.filter(({ locator, key }) => held.staleRooms.has(locator) || held.rooms.get(locator)?.key !== key);
+        for (const { locator } of asked)
+            held.staleRooms.delete(locator);
+        const every = held.everyConversation;
+        const conversations = every ? null : [...held.staleConversations];
+        held.everyConversation = false;
+        held.staleConversations.clear();
+        const kept = held;
+        const [roomTallies, said] = await Promise.all([
+            asked.length === 0 ? [] : sources.rooms(asked, since),
+            conversations?.length === 0 ? [] : sources.conversations(conversations, since),
+        ]);
+        if (kept !== held)
+            return false;
+        for (const tally of roomTallies) {
+            const room = asked.find(({ key }) => key === tally.key);
+            if (room !== undefined)
+                held.rooms.set(room.locator, tally);
+        }
+        if (every)
+            held.said.clear();
+        for (const { conversation, said: times } of said) {
+            if (times.length === 0)
+                held.said.delete(conversation);
+            else
+                held.said.set(conversation, times);
+        }
+        return true;
+    }
+    async function answer() {
+        const window = new Date(Date.now() - FIGURES_DAY_MS).toISOString();
+        const cover = await sources.cover();
+        if ('pending' in cover)
+            return cover;
+        if (!(await tallied(cover.rooms, window)))
+            return null;
+        return figuresOf(cover.rooms, held, instantKey(window));
+    }
+    async function run() {
+        if (running) {
+            again = true;
+            return;
+        }
+        running = true;
+        try {
+            do {
+                again = false;
+                const result = await answer();
+                if (closed || listeners.size === 0)
+                    return;
+                if (result === null)
+                    again = true;
+                else
+                    deliver(result);
+            } while (again && !closed && listeners.size > 0);
+        }
+        catch (error) {
+            for (const [listener, failed] of listeners) {
+                if (!answered.has(listener))
+                    failed(error);
+            }
+        }
+        finally {
+            running = false;
+        }
+    }
+    function stop(listener) {
+        return () => {
+            listeners.delete(listener);
+            answered.delete(listener);
+            if (listeners.size > 0)
+                return;
+            unscheduled();
+            held = unheld();
+            shown = null;
+        };
+    }
+    function settle() {
+        if (closed || listeners.size === 0)
+            return;
+        const now = () => {
+            unscheduled();
+            void run();
+        };
+        if (quiet !== null)
+            clearTimeout(quiet);
+        quiet = setTimeout(now, SETTLED_MS);
+        longest ??= setTimeout(now, LONGEST_UNSETTLED_MS);
+    }
+    return {
+        watch(listener, failed) {
+            listeners.set(listener, failed);
+            void run();
+            return stop(listener);
+        },
+        touched(set) {
+            if (listeners.size === 0)
+                return;
+            for (const { locator } of set.documents)
+                held.staleRooms.add(locator);
+            for (const locator of set.rooms)
+                held.staleRooms.add(locator);
+            for (const conversation of set.conversations)
+                held.staleConversations.add(conversation);
+            if (set.documents.length + set.rooms.length + set.conversations.length > 0)
+                settle();
+        },
+        recover() {
+            if (listeners.size > 0)
+                settle();
+        },
+        close() {
+            closed = true;
+            unscheduled();
+            listeners.clear();
+            answered.clear();
+        },
+    };
+}

package/dist/holdings.d.ts

@@ -0,0 +1,29 @@
+import type { AppCode } from './durability.js';
+import type { GroupTotal, PendingResult } from './query.js';
+import type { Deliver, Fail } from './reach.js';
+import type { Runtime } from './runtime.js';
+import type { OpenedRoom } from './tables.js';
+export type RoomDocuments = {
+    readonly room: string;
+    readonly documents: GroupTotal;
+};
+export type HeldApp = ({
+    readonly app: string;
+    readonly state: 'measured';
+} & AppCode) | {
+    readonly app: string;
+    readonly state: 'asking' | 'unknown';
+};
+export type Holdings = {
+    readonly rooms: readonly RoomDocuments[] | PendingResult;
+    readonly opened: GroupTotal & {
+        readonly rooms: readonly OpenedRoom[];
+    };
+    readonly apps: readonly HeldApp[];
+    readonly house: number | null;
+    readonly total: number | null;
+    readonly cleanUp: number | null;
+};
+export declare const CLEANED_TOPIC = "cleaned";
+export declare function watchHoldings({ store, figures, shell }: Runtime, deliver: Deliver, fail: Fail): () => void;
+//# sourceMappingURL=holdings.d.ts.map

package/dist/holdings.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"holdings.d.ts","sourceRoot":"","sources":["../src/holdings.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAY,MAAM,iBAAiB,CAAC;AAEzD,OAAO,KAAK,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC5D,OAAO,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,YAAY,CAAC;AAChD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAc,UAAU,EAAE,MAAM,aAAa,CAAC;AAE1D,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAA;CAAE,CAAC;AAEtF,MAAM,MAAM,OAAO,GACf,CAAC;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAA;CAAE,GAAG,OAAO,CAAC,GAChE;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,SAAS,CAAA;CAAE,CAAC;AAEnE,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,GAAG,aAAa,CAAC;IACzD,QAAQ,CAAC,MAAM,EAAE,UAAU,GAAG;QAAE,QAAQ,CAAC,KAAK,EAAE,SAAS,UAAU,EAAE,CAAA;KAAE,CAAC;IACxE,QAAQ,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;IAC9B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAC;CACjC,CAAC;AAIF,eAAO,MAAM,aAAa,YAAY,CAAC;AA6CvC,wBAAgB,aAAa,CAC3B,EAAE,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,OAAO,EAClC,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,IAAI,GACT,MAAM,IAAI,CA4DZ"}