@agentshouse/mdruntime 0.1.0-cd507e16e5fc0 → 0.1.0-cd574a610e9c8

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.map

@@ -1 +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"}
+{"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

@@ -1,6 +1,5 @@
 import { validRoot } from './collection.js';
-import { admitted, list, listHeld } from './listing.js';
-import { confirmLocks, lockedRooms, relocked } from './locks.js';
+import { lockedRooms, relocked } from './locks.js';
 import { loseRooms } from './lost.js';
 import { cachedModels } from './models.js';
 import { beneath } from './paths.js';
@@ -11,7 +10,7 @@ function within(root, path) {
 }
 function declaredSelection(room) {
     const selection = room.typedSelection;
-    if (selection === undefined)
+    if (selection === null)
         return true;
     if (!Array.isArray(selection.roots) || selection.roots.length === 0)
         return false;
@@ -37,60 +36,34 @@ export function malformed(listed) {
     return null;
 }
 export async function applyDiscovery(runtime, found, started, left) {
-    const { store, socket } = runtime;
-    const { rooms } = socket;
+    const { store, socket, presence } = runtime;
     const lockedBefore = await lockedRooms(runtime);
     const local = await store.open();
-    const stillFenced = new Set(await local.fences());
+    const fenced = 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
+        .filter((locator) => fenced.has(locator) && presence.liftable(locator, started));
+    const unfenced = 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 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 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(),
+                ...presence.rooms().map(({ locator }) => locator),
                 ...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);
+    const listed = presence.list(clear, { whole: left === undefined, live: socket.isOpen() });
     socket.session.set({ roomsListed: true });
     emitRooms(runtime);
     await relocked(runtime, lockedBefore);
@@ -100,10 +73,11 @@ async function asked({ socket }, authorized) {
     try {
         return (await socket.discover(authorized)) ?? { kind: 'transport-uncertainty' };
     }
-    catch {
-        return { 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;
@@ -111,7 +85,7 @@ export async function signIn(runtime, local, signedIn) {
     emitMember(runtime, signedIn);
 }
 export async function discoverRooms(runtime, local, progress, live, found) {
-    const { socket, journal } = runtime;
+    const { socket } = runtime;
     const { session } = socket;
     const { closed, authorization } = session.now();
     if (closed || authorization === undefined) {
@@ -129,7 +103,10 @@ export async function discoverRooms(runtime, local, progress, live, found) {
         socket.notifyReady();
         return null;
     }
-    journal.record(`connection discover ${result.kind}`);
+    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;
@@ -138,7 +115,6 @@ export async function discoverRooms(runtime, local, progress, live, found) {
         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,
@@ -154,7 +130,6 @@ export async function discoverRooms(runtime, local, progress, live, found) {
     }
     const invalid = malformed(result.rooms);
     if (invalid !== null) {
-        journal.record(invalid);
         await refuse(runtime, 'missing-required-guarantee');
         socket.notifyReady();
         return null;

package/dist/durability.d.ts

@@ -1,4 +1,5 @@
 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;
@@ -20,8 +21,11 @@ export type RuntimeShell = {
     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,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"}
+{"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,4 +1,5 @@
 const STORAGE_LOSS_CODE = 'storage-loss';
+const VISIT_LOSS_CODE = 'visit';
 export function refusedForSpace(error) {
     return (typeof error === 'object' &&
         error !== null &&
@@ -9,6 +10,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.js

@@ -145,7 +145,7 @@ export function entryScope(rooms, roomTypes, connection) {
             change: null,
             written: null,
         })));
-        return { locator: room.locator, key };
+        return { locator: room.locator, key, composition };
     });
     const planned = { listed: true, rooms: held };
     return {

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"}

package/dist/failure.js

@@ -8,11 +8,17 @@ function coded(error) {
         'retryable' in error &&
         typeof error.retryable === 'boolean');
 }
+export function refusalError(refusal) {
+    return runtimeError(refusal.code, refusal.code, refusal.retryable);
+}
 export function failed(error) {
     if (coded(error))
         return error;
     return runtimeError('runtime-failure', error instanceof Error ? error.message : String(error));
 }
+export function uncaught(error) {
+    reportError(error);
+}
 export function described(error) {
     const { message, code, retryable } = failed(error);
     return { message, code, retryable };

package/dist/figures.d.ts.map

@@ -1 +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"}
+{"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,CAwIlE"}

package/dist/figures.js

@@ -72,8 +72,9 @@ export function createFigures(sources) {
         }
     }
     async function tallied(rooms, since) {
+        const covered = new Set(rooms.map(({ locator }) => locator));
         for (const locator of held.rooms.keys()) {
-            if (!rooms.some((room) => room.locator === locator))
+            if (!covered.has(locator))
                 held.rooms.delete(locator);
         }
         const asked = rooms.filter(({ locator, key }) => held.staleRooms.has(locator) || held.rooms.get(locator)?.key !== key);
@@ -90,8 +91,9 @@ export function createFigures(sources) {
         ]);
         if (kept !== held)
             return false;
+        const byKey = new Map(asked.map((room) => [room.key, room]));
         for (const tally of roomTallies) {
-            const room = asked.find(({ key }) => key === tally.key);
+            const room = byKey.get(tally.key);
             if (room !== undefined)
                 held.rooms.set(room.locator, tally);
         }

package/dist/file.d.ts

@@ -1,3 +1,3 @@
 import type { AttachRequest } from './adapter.js';
-export declare function attachedFile(locator: string, file: File): Promise<AttachRequest>;
+export declare function attachedFile(locator: string | null, file: File): Promise<AttachRequest>;
 //# sourceMappingURL=file.d.ts.map

package/dist/file.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"file.d.ts","sourceRoot":"","sources":["../src/file.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAGlD,wBAAsB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,CAStF"}
+{"version":3,"file":"file.d.ts","sourceRoot":"","sources":["../src/file.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAIlD,wBAAsB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,EAAE,IAAI,EAAE,IAAI,GAAG,OAAO,CAAC,aAAa,CAAC,CAS7F"}

package/dist/file.js

@@ -1,9 +1,10 @@
 import { sha256 } from './digest.js';
+import { declaredType } from './outcome.js';
 export async function attachedFile(locator, file) {
     return {
-        locator,
+        ...(locator === null ? {} : { locator }),
         name: file.name,
-        mediaType: file.type,
+        mediaType: declaredType(file),
         byteLength: file.size,
         sha256: await sha256(file),
         blob: file,

package/dist/host.d.ts

@@ -2,10 +2,24 @@ import { type MdRuntimeOptions } from './connection.js';
 import type { PortReach } from './reach.js';
 import type { CodeAvailability, Persistence, Readiness } from './readiness.js';
 import type { EntrySeed } from './seed.js';
+import { type CallResult } from './outcome.js';
 import { type RuntimePort } from './wire.js';
 export type MdRuntimeHostOptions = MdRuntimeOptions & {
     deploymentFacts?: unknown;
 };
+export type Admitted = {
+    readonly admitted: unknown;
+} | {
+    readonly refused: CallResult;
+};
+export type ActionAdmission = (name: string, input: unknown) => Promise<Admitted>;
+export type AttachOptions = {
+    readonly app: string;
+    readonly release?: string;
+    readonly reach?: PortReach;
+    readonly admission?: ActionAdmission;
+    readonly code?: CodeAvailability;
+};
 export type AttachedPort = {
     detach(): void;
     narrow(reach: PortReach): void;
@@ -13,7 +27,7 @@ export type AttachedPort = {
     answered(queries: readonly unknown[], done: () => void): void;
 };
 export type MdRuntimeHost = {
-    attach(port: RuntimePort, app: string, release?: string, reach?: PortReach, code?: CodeAvailability): AttachedPort;
+    attach(port: RuntimePort, options: AttachOptions): AttachedPort;
     present(app: string, members: Readonly<Record<string, unknown>>): Promise<void>;
     seed(entry: EntrySeed): void;
     persisted(answer: Persistence): void;
@@ -25,5 +39,7 @@ export { entrySeedOf, type EntrySeed } from './seed.js';
 export type { PortReach, ReachedDocument } from './reach.js';
 export type { CodeAvailability, Persistence, Space } from './readiness.js';
 export { createRecovery, retryDelay, type Attempt, type Attempted, type AttemptOptions, type Recovery, type RecoveryOptions, } from './recovery.js';
-export type { RuntimePort } from './wire.js';
+export { replaces } from './observation.js';
+export { undeclared } from './outcome.js';
+export { wireAnswer, wireRequest, type RuntimePort, type WireAnswer, type WireRequest, } from './wire.js';
 //# sourceMappingURL=host.d.ts.map

package/dist/host.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"host.d.ts","sourceRoot":"","sources":["../src/host.ts"],"names":[],"mappings":"AAGA,OAAO,EAAkB,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAIxE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,OAAO,KAAK,EAAE,gBAAgB,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAE/E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAG3C,OAAO,EAGL,KAAK,WAAW,EAOjB,MAAM,WAAW,CAAC;AAInB,MAAM,MAAM,oBAAoB,GAAG,gBAAgB,GAAG;IAAE,eAAe,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC;AAEpF,MAAM,MAAM,YAAY,GAAG;IACzB,MAAM,IAAI,IAAI,CAAC;IACf,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAAC;IAC/B,SAAS,CAAC,OAAO,EAAE,CAAC,SAAS,EAAE,SAAS,KAAK,IAAI,GAAG,MAAM,IAAI,CAAC;IAC/D,QAAQ,CAAC,OAAO,EAAE,SAAS,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,IAAI,GAAG,IAAI,CAAC;CAC/D,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,MAAM,CACJ,IAAI,EAAE,WAAW,EACjB,GAAG,EAAE,MAAM,EACX,OAAO,CAAC,EAAE,MAAM,EAChB,KAAK,CAAC,EAAE,SAAS,EACjB,IAAI,CAAC,EAAE,gBAAgB,GACtB,YAAY,CAAC;IAChB,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAChF,IAAI,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAAC;IAC7B,SAAS,CAAC,MAAM,EAAE,WAAW,GAAG,IAAI,CAAC;IACrC,gBAAgB,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACvB,CAAC;AAsIF,wBAAgB,cAAc,CAAC,OAAO,EAAE,oBAAoB,GAAG,aAAa,CAuL3E;AAED,OAAO,EAAE,WAAW,EAAE,KAAK,SAAS,EAAE,MAAM,WAAW,CAAC;AACxD,YAAY,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7D,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAC3E,OAAO,EACL,cAAc,EACd,UAAU,EACV,KAAK,OAAO,EACZ,KAAK,SAAS,EACd,KAAK,cAAc,EACnB,KAAK,QAAQ,EACb,KAAK,eAAe,GACrB,MAAM,eAAe,CAAC;AACvB,YAAY,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC"}
+{"version":3,"file":"host.d.ts","sourceRoot":"","sources":["../src/host.ts"],"names":[],"mappings":"AAGA,OAAO,EAAkB,KAAK,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAUxE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5C,OAAO,KAAK,EAAE,gBAAgB,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAE/E,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAG3C,OAAO,EAAkB,KAAK,UAAU,EAAE,MAAM,cAAc,CAAC;AAC/D,OAAO,EAEL,KAAK,WAAW,EAQjB,MAAM,WAAW,CAAC;AAInB,MAAM,MAAM,oBAAoB,GAAG,gBAAgB,GAAG;IAAE,eAAe,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC;AAEpF,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAA;CAAE,CAAC;AAEzF,MAAM,MAAM,eAAe,GAAG,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC,QAAQ,CAAC,CAAC;AAElF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,IAAI,CAAC,EAAE,gBAAgB,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG;IACzB,MAAM,IAAI,IAAI,CAAC;IACf,MAAM,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAAC;IAC/B,SAAS,CAAC,OAAO,EAAE,CAAC,SAAS,EAAE,SAAS,KAAK,IAAI,GAAG,MAAM,IAAI,CAAC;IAC/D,QAAQ,CAAC,OAAO,EAAE,SAAS,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,IAAI,GAAG,IAAI,CAAC;CAC/D,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,MAAM,CAAC,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,GAAG,YAAY,CAAC;IAChE,OAAO,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAChF,IAAI,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAAC;IAC7B,SAAS,CAAC,MAAM,EAAE,WAAW,GAAG,IAAI,CAAC;IACrC,gBAAgB,CAAC,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACjD,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACvB,CAAC;AAyKF,wBAAgB,cAAc,CAAC,OAAO,EAAE,oBAAoB,GAAG,aAAa,CA0M3E;AAED,OAAO,EAAE,WAAW,EAAE,KAAK,SAAS,EAAE,MAAM,WAAW,CAAC;AACxD,YAAY,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7D,YAAY,EAAE,gBAAgB,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAC;AAC3E,OAAO,EACL,cAAc,EACd,UAAU,EACV,KAAK,OAAO,EACZ,KAAK,SAAS,EACd,KAAK,cAAc,EACnB,KAAK,QAAQ,EACb,KAAK,eAAe,GACrB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AAC5C,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAC1C,OAAO,EACL,UAAU,EACV,WAAW,EACX,KAAK,WAAW,EAChB,KAAK,UAAU,EACf,KAAK,WAAW,GACjB,MAAM,WAAW,CAAC"}