@agentshouse/mdruntime 0.1.0-c5fe3b2cddda7 → 0.1.0-c6197367d5fad

package/dist/refusal.d.ts

@@ -0,0 +1,5 @@
+import type { ProviderRefusal } from './adapter.js';
+import type { Runtime } from './runtime.js';
+import type { RefusalReason } from './socket.js';
+export declare function refuse(runtime: Runtime, reason: RefusalReason, provider?: ProviderRefusal | null): Promise<void>;
+//# sourceMappingURL=refusal.d.ts.map

package/dist/refusal.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"refusal.d.ts","sourceRoot":"","sources":["../src/refusal.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAQpD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAGjD,wBAAsB,MAAM,CAC1B,OAAO,EAAE,OAAO,EAChB,MAAM,EAAE,aAAa,EACrB,QAAQ,GAAE,eAAe,GAAG,IAAW,iBAiDxC"}

package/dist/refusal.js

@@ -0,0 +1,55 @@
+import { changeSet, mergeChangeSets } from './change-set.js';
+import { composedOf } from './collection.js';
+import { uncaught } from './failure.js';
+import { listedLocators } from './listing.js';
+import { prepare } from './preparation.js';
+import { storedRecord } from './replica.js';
+import { emitRefusal } from './shown.js';
+export async function refuse(runtime, reason, provider = null) {
+    const { store, socket, presence } = runtime;
+    socket.session.set({ paused: true });
+    socket.abortReads();
+    try {
+        if (reason === 'revoked-authorization') {
+            await store.exclusive(async () => {
+                const revoked = { status: 'unavailable', reason: 'revoked' };
+                let held = new Map();
+                try {
+                    const local = await store.open();
+                    held = await store.rooms();
+                    await local.commit({
+                        rooms: [...held.values()].map(({ record: kept }) => {
+                            const record = { ...kept, model: revoked };
+                            return {
+                                locator: record.locator,
+                                key: record.key,
+                                record: storedRecord(record),
+                                composed: composedOf(store.composed(record)),
+                            };
+                        }),
+                    });
+                }
+                catch (error) {
+                    uncaught(error);
+                }
+                const listedNow = listedLocators(runtime, held);
+                for (const locator of listedNow) {
+                    if (!held.has(locator))
+                        presence.modelled(locator, revoked);
+                }
+                store.changed(mergeChangeSets(listedNow.map((locator) => changeSet(locator, { documents: null, room: true }))));
+                prepare(runtime);
+            });
+        }
+    }
+    finally {
+        socket.session.set({
+            refusal: {
+                code: reason,
+                reauthorizationOffered: reason === 'revoked-authorization',
+                refusal: provider,
+            },
+        });
+        emitRefusal(runtime);
+    }
+}

package/dist/replica.d.ts

@@ -1,4 +1,5 @@
-import type { BootstrapInventory, MutationResult, OperationScopes, ReplicaAdmission, TypedSelection } from './adapter.js';
+import { type TypedPath } from '@agentshouse/mdmodel';
+import type { BootstrapInventory, SavedFacts, MutationResult, RoomDeclaration, TypedSelection } from './adapter.js';
 import { type ChangeBatch, type Precondition } from './change.js';
 import { type Collection, type Composition } from './collection.js';
 import { type ModelState } from './model.js';
@@ -6,13 +7,8 @@ import { type Layer } from './overlay.js';
 import type { HeldEntry, OverlayEntry, StoredEntry } from './tables.js';
 export type ReplicaRecord = {
     readonly locator: string;
-    readonly name: string;
-    readonly handle: string;
-    readonly operations: OperationScopes;
-    readonly replica: ReplicaAdmission;
+    readonly declaration: RoomDeclaration;
     readonly model: ModelState;
-    readonly typedSelection: TypedSelection | null;
-    readonly providerOwnedPaths: readonly string[];
     readonly roomVersion: string;
     readonly transfer: string;
     readonly inventory: BootstrapInventory;
@@ -22,23 +18,22 @@ export type HeldReplica = {
     readonly record: ReplicaRecord;
     readonly queue: readonly ChangeBatch[];
     readonly overlaid: ReadonlySet<string>;
-    readonly count: number;
-    readonly confirmed: number;
-    readonly indexed: boolean;
 };
 export type VisibleLayer = Layer & {
     readonly collection: Collection;
 };
 export type Slice = Layer & {
     readonly written: Readonly<Record<string, string>>;
+    readonly facts: Readonly<Record<string, SavedFacts>>;
     readonly held: ReadonlySet<string>;
 };
-export declare function compositionOf(record: Pick<ReplicaRecord, 'model' | 'typedSelection'>, builtIn: ModelState): Composition;
+export declare function compositionOf(model: ModelState, typedSelection: TypedSelection | null, builtIn: ModelState, typedPaths: readonly TypedPath[]): Composition;
 export declare function storedRecord(record: ReplicaRecord): string;
 export declare function slicing(entries: readonly HeldEntry[], paths: Iterable<string>): Generator<number, Slice, void>;
+export type LayerEntry = Omit<StoredEntry, 'facts'>;
 export declare function entryAt(layer: Layer & {
     readonly written?: Readonly<Record<string, string>>;
-}, path: string): StoredEntry | null;
+}, path: string): LayerEntry | null;
 export declare function slicingWith(slice: Slice, set: readonly StoredEntry[], removed: readonly string[]): Generator<number, Slice, void>;
 export declare function touchedBy(queue: readonly ChangeBatch[]): Set<string>;
 export declare function movedBy(queue: readonly ChangeBatch[], locator: string): Set<string>;
@@ -47,9 +42,9 @@ export type Replayed = {
     readonly touched: ReadonlySet<string>;
 };
 export declare function replaying(confirmed: Slice, queue: readonly ChangeBatch[], locator: string, composition: Composition): Generator<number, Replayed, void>;
-export declare function overlayOf(visible: Layer, touched: Iterable<string>): Generator<number, OverlayEntry[], void>;
-export declare function holds(layer: Layer, preconditions: readonly Precondition[]): boolean;
-export declare function landed(batch: ChangeBatch, confirmed: Layer, current?: Readonly<Record<string, string>>): boolean;
+export declare function overlayOf(visible: VisibleLayer, touched: Iterable<string>): Generator<number, OverlayEntry[], void>;
+export declare function holds(layer: Layer, preconditions: readonly Precondition[], composition: Composition): boolean;
+export declare function landed(batch: ChangeBatch, confirmed: Layer, composition: Composition, current?: Readonly<Record<string, string>>): boolean;
 export type Standing = {
     readonly withdrawn: readonly ChangeBatch[];
     readonly kept: readonly ChangeBatch[];
@@ -63,6 +58,6 @@ export type Returned = {
     readonly removed: readonly string[];
 };
 export declare function returnedPaths(submitted: ChangeBatch, accepted: Accepted): Set<string>;
-export declare function returning(confirmed: Slice, submitted: ChangeBatch, accepted: Accepted, writtenAt: string): Generator<number, Returned, void>;
+export declare function returning(confirmed: Slice, submitted: ChangeBatch, accepted: Accepted, writtenAt: string, composition: Composition): Generator<number, Returned, void>;
 export {};
 //# sourceMappingURL=replica.d.ts.map

package/dist/replica.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"replica.d.ts","sourceRoot":"","sources":["../src/replica.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACV,kBAAkB,EAElB,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,cAAc,EACf,MAAM,cAAc,CAAC;AACtB,OAAO,EAAmC,KAAK,WAAW,EAAE,KAAK,YAAY,EAAE,MAAM,aAAa,CAAC;AACnG,OAAO,EAAgB,KAAK,UAAU,EAAE,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAClF,OAAO,EAAe,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,EAAiD,KAAK,KAAK,EAAE,MAAM,cAAc,CAAC;AAEzF,OAAO,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAGxE,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,cAAc,EAAE,cAAc,GAAG,IAAI,CAAC;IAC/C,QAAQ,CAAC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC/C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG;IAAE,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAAE,CAAC;AAEvE,MAAM,MAAM,KAAK,GAAG,KAAK,GAAG;IAC1B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACpC,CAAC;AAEF,wBAAgB,aAAa,CAC3B,MAAM,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,GAAG,gBAAgB,CAAC,EACvD,OAAO,EAAE,UAAU,GAClB,WAAW,CAQb;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,CAG1D;AAsCD,wBAAiB,OAAO,CACtB,OAAO,EAAE,SAAS,SAAS,EAAE,EAC7B,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,GACtB,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CA2BhC;AAED,wBAAgB,OAAO,CACrB,KAAK,EAAE,KAAK,GAAG;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAAE,EACtE,IAAI,EAAE,MAAM,GACX,WAAW,GAAG,IAAI,CAapB;AAED,wBAAiB,WAAW,CAC1B,KAAK,EAAE,KAAK,EACZ,GAAG,EAAE,SAAS,WAAW,EAAE,EAC3B,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAahC;AAMD,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAQpE;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,EAAE,OAAO,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAUnF;AAED,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAAE,CAAC;AAEjG,wBAAiB,SAAS,CACxB,SAAS,EAAE,KAAK,EAChB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,WAAW,GACvB,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAmBnC;AAED,wBAAiB,SAAS,CACxB,OAAO,EAAE,KAAK,EACd,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,GACxB,SAAS,CAAC,MAAM,EAAE,YAAY,EAAE,EAAE,IAAI,CAAC,CAqBzC;AAMD,wBAAgB,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,aAAa,EAAE,SAAS,YAAY,EAAE,GAAG,OAAO,CAkCnF;AAkCD,wBAAgB,MAAM,CACpB,KAAK,EAAE,WAAW,EAClB,SAAS,EAAE,KAAK,EAChB,OAAO,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,GAC7C,OAAO,CAwBT;AAgBD,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,SAAS,EAAE,SAAS,WAAW,EAAE,CAAC;IAC3C,QAAQ,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,CAAC;CACvC,CAAC;AAEF,wBAAiB,QAAQ,CACvB,SAAS,EAAE,KAAK,EAChB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,YAAY,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,OAAO,EAC7C,KAAK,EAAE,OAAO,EACd,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,WAAW,GACvB,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CA4BnC;AAED,KAAK,QAAQ,GAAG,OAAO,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC,CAAC;AAE9D,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,GAAG,EAAE,SAAS,WAAW,EAAE,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC,CAAC;AAEF,wBAAgB,aAAa,CAAC,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,CAiBrF;AAED,wBAAiB,SAAS,CACxB,SAAS,EAAE,KAAK,EAChB,SAAS,EAAE,WAAW,EACtB,QAAQ,EAAE,QAAQ,EAClB,SAAS,EAAE,MAAM,GAChB,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CA8EnC"}
+{"version":3,"file":"replica.d.ts","sourceRoot":"","sources":["../src/replica.ts"],"names":[],"mappings":"AAAA,OAAO,EAAoC,KAAK,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACxF,OAAO,KAAK,EACV,kBAAkB,EAClB,UAAU,EAEV,cAAc,EACd,eAAe,EACf,cAAc,EACf,MAAM,cAAc,CAAC;AACtB,OAAO,EAKL,KAAK,WAAW,EAChB,KAAK,YAAY,EAClB,MAAM,aAAa,CAAC;AACrB,OAAO,EAA+B,KAAK,UAAU,EAAE,KAAK,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACjG,OAAO,EAAe,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAC1D,OAAO,EAAiD,KAAK,KAAK,EAAE,MAAM,cAAc,CAAC;AAIzF,OAAO,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AAGxE,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,eAAe,CAAC;IACtC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,kBAAkB,CAAC;IACvC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,MAAM,EAAE,aAAa,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACxC,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG;IAAE,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAA;CAAE,CAAC;AAEvE,MAAM,MAAM,KAAK,GAAG,KAAK,GAAG;IAC1B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACpC,CAAC;AAEF,wBAAgB,aAAa,CAC3B,KAAK,EAAE,UAAU,EACjB,cAAc,EAAE,cAAc,GAAG,IAAI,EACrC,OAAO,EAAE,UAAU,EACnB,UAAU,EAAE,SAAS,SAAS,EAAE,GAC/B,WAAW,CAMb;AAED,wBAAgB,YAAY,CAAC,MAAM,EAAE,aAAa,GAAG,MAAM,CAG1D;AAsCD,wBAAiB,OAAO,CACtB,OAAO,EAAE,SAAS,SAAS,EAAE,EAC7B,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,GACtB,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAiChC;AAED,MAAM,MAAM,UAAU,GAAG,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;AAEpD,wBAAgB,OAAO,CACrB,KAAK,EAAE,KAAK,GAAG;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAAE,EACtE,IAAI,EAAE,MAAM,GACX,UAAU,GAAG,IAAI,CAcnB;AAED,wBAAiB,WAAW,CAC1B,KAAK,EAAE,KAAK,EACZ,GAAG,EAAE,SAAS,WAAW,EAAE,EAC3B,OAAO,EAAE,SAAS,MAAM,EAAE,GACzB,SAAS,CAAC,MAAM,EAAE,KAAK,EAAE,IAAI,CAAC,CAehC;AAMD,wBAAgB,SAAS,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,GAAG,GAAG,CAAC,MAAM,CAAC,CAQpE;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,SAAS,WAAW,EAAE,EAAE,OAAO,EAAE,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,CAUnF;AAED,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAAE,CAAC;AAEjG,wBAAiB,SAAS,CACxB,SAAS,EAAE,KAAK,EAChB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,WAAW,GACvB,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAmBnC;AAED,wBAAiB,SAAS,CACxB,OAAO,EAAE,YAAY,EACrB,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,GACxB,SAAS,CAAC,MAAM,EAAE,YAAY,EAAE,EAAE,IAAI,CAAC,CA6BzC;AAMD,wBAAgB,KAAK,CACnB,KAAK,EAAE,KAAK,EACZ,aAAa,EAAE,SAAS,YAAY,EAAE,EACtC,WAAW,EAAE,WAAW,GACvB,OAAO,CAmCT;AAkCD,wBAAgB,MAAM,CACpB,KAAK,EAAE,WAAW,EAClB,SAAS,EAAE,KAAK,EAChB,WAAW,EAAE,WAAW,EACxB,OAAO,GAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAM,GAC7C,OAAO,CAwBT;AAgBD,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,SAAS,EAAE,SAAS,WAAW,EAAE,CAAC;IAC3C,QAAQ,CAAC,IAAI,EAAE,SAAS,WAAW,EAAE,CAAC;CACvC,CAAC;AAEF,wBAAiB,QAAQ,CACvB,SAAS,EAAE,KAAK,EAChB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,YAAY,EAAE,CAAC,KAAK,EAAE,WAAW,KAAK,OAAO,EAC7C,KAAK,EAAE,OAAO,EACd,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,WAAW,GACvB,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CA4BnC;AAED,KAAK,QAAQ,GAAG,OAAO,CAAC,cAAc,EAAE;IAAE,IAAI,EAAE,UAAU,CAAA;CAAE,CAAC,CAAC;AAE9D,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,GAAG,EAAE,SAAS,WAAW,EAAE,CAAC;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;CACrC,CAAC;AAEF,wBAAgB,aAAa,CAAC,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,CAiBrF;AAED,wBAAiB,SAAS,CACxB,SAAS,EAAE,KAAK,EAChB,SAAS,EAAE,WAAW,EACtB,QAAQ,EAAE,QAAQ,EAClB,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,WAAW,GACvB,SAAS,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CA6FnC"}

package/dist/replica.js

@@ -1,16 +1,17 @@
 import { equalValue, parse } from '@agentshouse/mdmodel';
-import { immutable, landing } from './change.js';
-import { collectionOf } from './collection.js';
+import { immutable, isPart, landing, } from './change.js';
+import { collectionOf, definitionsAt } from './collection.js';
 import { storedModel } from './model.js';
 import { acceptedBinaries, overlaying } from './overlay.js';
+import { writtenFacts } from './rows.js';
 import { effectiveIn, rewriting } from './save.js';
+import { guarding } from './shared.js';
 import { ROW_WEIGHT } from './turn.js';
-export function compositionOf(record, builtIn) {
+export function compositionOf(model, typedSelection, builtIn, typedPaths) {
     return {
-        model: record.model,
-        selection: record.typedSelection === null
-            ? null
-            : { roots: record.typedSelection.roots, model: builtIn },
+        model,
+        selection: typedSelection === null ? null : { roots: typedSelection.roots, model: builtIn },
+        typedPaths,
     };
 }
 export function storedRecord(record) {
@@ -35,7 +36,7 @@ function strict(values, held) {
             throw new UnreadPath(property);
         }
     };
-    return new Proxy(values, {
+    return guarding(values, {
         get(target, property, receiver) {
             guard(property);
             return Reflect.get(target, property, receiver);
@@ -58,9 +59,13 @@ export function* slicing(entries, paths) {
     const binaries = {};
     const revisions = {};
     const fileIds = {};
+    const created = {};
     const changes = {};
     const written = {};
+    const facts = {};
     for (const entry of entries) {
+        if (entry.facts !== null)
+            facts[entry.path] = entry.facts;
         if (entry.binary !== null)
             binaries[entry.path] = entry.binary;
         else if (entry.content !== null)
@@ -69,6 +74,8 @@ export function* slicing(entries, paths) {
             revisions[entry.path] = entry.revision;
         if (entry.fileId !== null)
             fileIds[entry.path] = entry.fileId;
+        if (entry.created !== null)
+            created[entry.path] = entry.created;
         if (entry.change !== null)
             changes[entry.path] = entry.change;
         if (entry.written !== null)
@@ -80,8 +87,10 @@ export function* slicing(entries, paths) {
         binaries: strict(binaries, held),
         revisions: strict(revisions, held),
         fileIds: strict(fileIds, held),
+        created: strict(created, held),
         changes: strict(changes, held),
         written: strict(written, held),
+        facts: strict(facts, held),
         held,
     };
 }
@@ -96,6 +105,7 @@ export function entryAt(layer, path) {
         binary: binary ?? null,
         revision: layer.revisions[path] ?? null,
         fileId: layer.fileIds[path] ?? null,
+        created: layer.created[path] ?? null,
         change: layer.changes[path] ?? null,
         written: layer.written?.[path] ?? null,
     };
@@ -104,8 +114,9 @@ export function* slicingWith(slice, set, removed) {
     const entries = new Map();
     for (const path of slice.held) {
         const entry = entryAt(slice, path);
-        if (entry !== null)
-            entries.set(path, { ...entry, type: null });
+        if (entry !== null) {
+            entries.set(path, { ...entry, type: null, facts: slice.facts[path] ?? null });
+        }
         yield ROW_WEIGHT;
     }
     for (const path of removed)
@@ -158,7 +169,7 @@ export function* replaying(confirmed, queue, locator, composition) {
         for (const change of effective.changes)
             for (const path of changePaths(change))
                 touched.add(path);
-        layer = yield* overlaying(layer, [effective]);
+        layer = yield* overlaying(layer, [effective], composition);
         yield ROW_WEIGHT;
     }
     return {
@@ -169,8 +180,9 @@ export function* replaying(confirmed, queue, locator, composition) {
 export function* overlayOf(visible, touched) {
     const rows = [];
     for (const path of touched) {
-        yield ROW_WEIGHT;
         const entry = entryAt(visible, path);
+        yield ROW_WEIGHT + (entry?.content?.length ?? 0);
+        const text = entry?.binary === null ? entry.content : null;
         rows.push(entry === null
             ? {
                 path,
@@ -179,22 +191,29 @@ export function* overlayOf(visible, touched) {
                 binary: null,
                 revision: null,
                 fileId: null,
+                created: null,
                 change: null,
                 written: null,
+                facts: null,
             }
-            : { ...entry, written: null, present: true });
+            : {
+                ...entry,
+                written: null,
+                present: true,
+                facts: text === null ? null : writtenFacts(path, text, visible.collection.composition),
+            });
     }
     return rows;
 }
 function present(layer, path) {
     return layer.documents[path] !== undefined || layer.binaries[path] !== undefined;
 }
-export function holds(layer, preconditions) {
+export function holds(layer, preconditions, composition) {
     const parsed = new Map();
     const documentAt = (path) => {
         if (!parsed.has(path)) {
             const text = layer.documents[path];
-            const opened = text === undefined ? null : parse(text, path);
+            const opened = text === undefined ? null : parse(text, path, definitionsAt(composition, path));
             parsed.set(path, opened?.ok === true ? opened.document : null);
         }
         return parsed.get(path) ?? null;
@@ -228,7 +247,7 @@ export function holds(layer, preconditions) {
 }
 function effects(change) {
     const path = change.path;
-    if (change.kind === 'field' || change.kind === 'section' || change.kind === 'preamble') {
+    if (isPart(change)) {
         return [change];
     }
     if (change.kind === 'create' && !('content' in change)) {
@@ -254,11 +273,11 @@ function effects(change) {
             { kind: 'present', path: change.to },
         ];
     }
-    if (change.kind === 'binary' || change.kind === 'arrival')
+    if (change.kind === 'arrival')
         return [{ kind: 'present', path }];
     return [{ kind: 'absent', path }];
 }
-export function landed(batch, confirmed, current = {}) {
+export function landed(batch, confirmed, composition, current = {}) {
     const documents = new Proxy(confirmed.documents, {
         get(target, property, receiver) {
             if (typeof property === 'string' && Object.hasOwn(current, property))
@@ -278,9 +297,9 @@ export function landed(batch, confirmed, current = {}) {
         }
         return effects(change).every((effect) => {
             if (effect.kind === 'absent')
-                return holds(layer, [effect]);
+                return holds(layer, [effect], composition);
             const at = landing(batch.changes, index, effect.path);
-            return at === null || holds(layer, [{ ...effect, path: at }]);
+            return at === null || holds(layer, [{ ...effect, path: at }], composition);
         });
     });
 }
@@ -305,7 +324,7 @@ export function* standing(confirmed, queue, withdrawable, local, locator, compos
     const withdrawn = [];
     const kept = [];
     for (const batch of queue) {
-        if (withdrawable(batch) && !holds(layer, batch.preconditions)) {
+        if (withdrawable(batch) && !holds(layer, batch.preconditions, composition)) {
             withdrawn.push(batch);
             continue;
         }
@@ -316,7 +335,7 @@ export function* standing(confirmed, queue, withdrawable, local, locator, compos
             })
             : batch;
         let unapplied = false;
-        const next = yield* overlaying(layer, [effective], () => {
+        const next = yield* overlaying(layer, [effective], composition, () => {
             unapplied = true;
         });
         if (local && unapplied) {
@@ -347,17 +366,20 @@ export function returnedPaths(submitted, accepted) {
     }
     return paths;
 }
-export function* returning(confirmed, submitted, accepted, writtenAt) {
+export function* returning(confirmed, submitted, accepted, writtenAt, composition) {
     const documents = new Map();
     const binaries = new Map();
     const revisions = new Map();
     const fileIds = new Map();
+    const created = new Map();
     const changes = new Map();
     const written = new Map();
+    const facts = new Map();
     const read = (changed, held, path) => (changed.has(path) ? changed.get(path) : held[path]);
     for (const [path, content] of Object.entries(accepted.documents)) {
-        yield ROW_WEIGHT;
+        yield ROW_WEIGHT + content.length;
         documents.set(path, content);
+        facts.set(path, writtenFacts(path, content, composition));
         fileIds.set(path, undefined);
         written.set(path, writtenAt);
     }
@@ -380,48 +402,60 @@ export function* returning(confirmed, submitted, accepted, writtenAt) {
         written.set(path, undefined);
     }
     for (const change of submitted.changes) {
-        if (change.kind === 'arrival' && 'binary' in change) {
-            if (accepted.revisions[change.path] !== undefined) {
+        if (change.kind === 'arrival') {
+            if (accepted.revisions[change.path] === undefined)
+                continue;
+            created.set(change.path, change.created);
+            if ('binary' in change)
                 binaries.set(change.path, { state: 'accepted', ...change.binary });
-            }
             continue;
         }
-        if (change.kind !== 'move')
+        if (change.kind !== 'move' || accepted.revisions[change.to] === undefined)
             continue;
+        created.set(change.to, read(created, confirmed.created, change.path));
+        created.set(change.path, undefined);
         const moved = read(binaries, confirmed.binaries, change.path);
-        if (moved === undefined || accepted.revisions[change.to] === undefined)
+        if (moved === undefined)
             continue;
         binaries.set(change.to, moved);
         binaries.set(change.path, undefined);
     }
     for (const [path, binary] of acceptedBinaries(accepted.binaryFiles ?? {}))
         binaries.set(path, binary);
-    for (const path of accepted.removals)
+    for (const path of accepted.removals) {
         binaries.set(path, undefined);
+        created.set(path, undefined);
+    }
     const paths = new Set([
         ...documents.keys(),
         ...binaries.keys(),
         ...revisions.keys(),
         ...fileIds.keys(),
+        ...created.keys(),
         ...changes.keys(),
         ...written.keys(),
     ]);
     const set = [];
     const removed = [];
     for (const path of paths) {
-        yield ROW_WEIGHT;
         const content = read(documents, confirmed.documents, path);
         const binary = read(binaries, confirmed.binaries, path);
+        yield ROW_WEIGHT;
         if (content === undefined && binary === undefined) {
             removed.push(path);
             continue;
         }
+        const text = binary === undefined ? (content ?? null) : null;
+        const fresh = confirmed.documents[path] === undefined && confirmed.binaries[path] === undefined;
         set.push({
             path,
-            content: binary === undefined ? (content ?? null) : null,
+            content: text,
+            facts: text === null ? null : (read(facts, confirmed.facts, path) ?? null),
             binary: binary ?? null,
             revision: read(revisions, confirmed.revisions, path) ?? null,
             fileId: read(fileIds, confirmed.fileIds, path) ?? null,
+            created: read(created, confirmed.created, path) ??
+                (fresh ? (read(changes, confirmed.changes, path)?.time ?? null) : null),
             change: read(changes, confirmed.changes, path) ?? null,
             written: read(written, confirmed.written, path) ?? null,
         });

package/dist/retried.d.ts

@@ -0,0 +1,30 @@
+import { type RuntimeShell } from './durability.js';
+export declare const STEPS: readonly ['database', 'sign_in', 'connection', 'code', 'download', 'conversations', 'sending', 'reading'];
+export type Step = (typeof STEPS)[number];
+export type RetriedFailure = {
+    readonly step: Step;
+    readonly answered: false;
+} | {
+    readonly step: Step;
+    readonly answered: true;
+    readonly error: unknown;
+};
+export type Uncertain = {
+    readonly failure?: unknown;
+};
+export type Attempt = {
+    readonly step: Step;
+    readonly instance: string;
+};
+export declare class Unanswered extends Error {
+}
+export declare function uncertainError(uncertainty: Uncertain): unknown;
+export type Retries = {
+    failed(step: Step, instance: string, error: unknown): void;
+    unanswered(step: Step, instance: string): void;
+    uncertain(step: Step, instance: string, uncertainty: Uncertain): void;
+    succeeded(step: Step, instance: string): void;
+};
+export declare function createRetries(shell: Pick<RuntimeShell, 'retried' | 'succeeded'>): Retries;
+export declare function retrying<T>(retries: Retries, step: Step, instance: string, ask: () => Promise<T>): () => Promise<T>;
+//# sourceMappingURL=retried.d.ts.map

package/dist/retried.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"retried.d.ts","sourceRoot":"","sources":["../src/retried.ts"],"names":[],"mappings":"AAAA,OAAO,EAAmB,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAErE,eAAO,MAAM,KAAK,YAChB,UAAU,EACV,SAAS,EACT,YAAY,EACZ,MAAM,EACN,UAAU,EACV,eAAe,EACf,SAAS,EACT,SAAS,CACD,CAAC;AAEX,MAAM,MAAM,IAAI,GAAG,CAAC,OAAO,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1C,MAAM,MAAM,cAAc,GACtB;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC;AAE9E,MAAM,MAAM,SAAS,GAAG;IAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;CAAE,CAAC;AAEvD,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAEzE,qBAAa,UAAW,SAAQ,KAAK;CAAG;AAExC,wBAAgB,cAAc,CAAC,WAAW,EAAE,SAAS,GAAG,OAAO,CAE9D;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,MAAM,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI,CAAC;IAC3D,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/C,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,WAAW,EAAE,SAAS,GAAG,IAAI,CAAC;IACtE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAC;CAC/C,CAAC;AAEF,wBAAgB,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,EAAE,SAAS,GAAG,WAAW,CAAC,GAAG,OAAO,CA2CzF;AAED,wBAAgB,QAAQ,CAAC,CAAC,EACxB,OAAO,EAAE,OAAO,EAChB,IAAI,EAAE,IAAI,EACV,QAAQ,EAAE,MAAM,EAChB,GAAG,EAAE,MAAM,OAAO,CAAC,CAAC,CAAC,GACpB,MAAM,OAAO,CAAC,CAAC,CAAC,CAYlB"}

package/dist/retried.js

@@ -0,0 +1,72 @@
+import { refusedForSpace } from './durability.js';
+export const STEPS = [
+    'database',
+    'sign_in',
+    'connection',
+    'code',
+    'download',
+    'conversations',
+    'sending',
+    'reading',
+];
+export class Unanswered extends Error {
+}
+export function uncertainError(uncertainty) {
+    return 'failure' in uncertainty ? uncertainty.failure : new Unanswered();
+}
+export function createRetries(shell) {
+    const failing = new Map();
+    const handedErrors = new WeakSet();
+    function failingIn(step, instance) {
+        const instances = failing.get(step) ?? new Set();
+        instances.add(instance);
+        failing.set(step, instances);
+    }
+    function handed(failure, instance) {
+        failingIn(failure.step, instance);
+        shell.retried?.(failure);
+    }
+    const retries = {
+        failed(step, instance, error) {
+            if (refusedForSpace(error))
+                return;
+            if (typeof error === 'object' && error !== null) {
+                if (handedErrors.has(error)) {
+                    failingIn(step, instance);
+                    return;
+                }
+                handedErrors.add(error);
+            }
+            if (error instanceof Unanswered)
+                retries.unanswered(step, instance);
+            else
+                handed({ step, answered: true, error }, instance);
+        },
+        unanswered(step, instance) {
+            handed({ step, answered: false }, instance);
+        },
+        uncertain(step, instance, uncertainty) {
+            if ('failure' in uncertainty)
+                retries.failed(step, instance, uncertainty.failure);
+            else
+                retries.unanswered(step, instance);
+        },
+        succeeded(step, instance) {
+            const instances = failing.get(step);
+            if (instances === undefined || !instances.delete(instance) || instances.size > 0)
+                return;
+            failing.delete(step);
+            shell.succeeded?.(step);
+        },
+    };
+    return retries;
+}
+export function retrying(retries, step, instance, ask) {
+    return () => ask().then((answer) => {
+        retries.succeeded(step, instance);
+        return answer;
+    }, (error) => {
+        retries.failed(step, instance, error);
+        throw error;
+    });
+}

package/dist/room-draft.d.ts

@@ -1,6 +1,7 @@
-import type { ProviderRefusal } from './adapter.js';
+import { type ApplyResult, type Definition, type DefinitionOf, type Document } from '@agentshouse/mdmodel';
+import type { HeadChange, ProviderRefusal } from './adapter.js';
 import type { Open } from './open.js';
-import type { Change, Precondition } from './change.js';
+import type { Change, PartChange, Precondition } from './change.js';
 import type { VisibleLayer } from './replica.js';
 export type FieldValue = {
     readonly value: unknown;
@@ -90,15 +91,30 @@ type ChangedUnderneath = {
     readonly file?: string | null;
 };
 export type ReturnReason = ProviderRefusal & {
-    readonly kind: Open<'conflicted' | 'rejected' | 'expired' | 'withdrawn'>;
+    readonly kind: Open<'conflicted' | 'rejected' | 'withdrawn'>;
+};
+export declare function returnedBy(): ReturnReason;
+type Mark = {
+    readonly change: HeadChange | null;
+};
+export type Marks = {
+    readonly fields?: Readonly<Record<string, Mark & {
+        readonly current: FieldValue;
+    }>>;
+    readonly sections?: Readonly<Record<string, Mark>>;
+    readonly preamble?: Mark;
+    readonly markdown?: Mark;
+    readonly file?: Mark & {
+        readonly current: string;
+    };
 };
-export declare function returnedBy(kind: 'expired' | 'withdrawn'): ReturnReason;
 export type RoomDraft = {
     readonly room: string;
     readonly path: string;
     readonly revision: string;
     readonly parts: HeldParts;
     readonly changedUnderneath: ChangedUnderneath;
+    readonly marks: Marks;
     readonly returned: ReturnReason | null;
 };
 export type RoomDraftWrite = {
@@ -106,8 +122,6 @@ export type RoomDraftWrite = {
     readonly roomDraft: RoomDraft | null;
 } | {
     readonly outcome: 'stale';
-    readonly code: string;
-    readonly retryable: boolean;
     readonly current: RoomDraft | null;
 };
 export declare function staleWrite(current: RoomDraft | null): RoomDraftWrite;
@@ -121,19 +135,30 @@ export type RoomDraftRecord = {
     readonly path: string;
     readonly revision: string;
     readonly parts: HeldParts;
+    readonly marks: Marks;
     readonly returned: ReturnReason | null;
 };
 export type SavedDraft = {
     readonly path: string;
     readonly parts: HeldParts;
 };
-export declare function readParts(value: unknown): RoomDraftParts;
+export declare function readParts(value: unknown, path: string): RoomDraftParts;
 export declare function gatheredParts(earlier: unknown, later: unknown): unknown;
 export declare function held(current: HeldParts | undefined, parts: RoomDraftParts, file?: HeldFile): HeldParts;
 export declare function underneath(parts: HeldParts, path: string, visible: VisibleLayer | undefined): ChangedUnderneath;
 export declare function heldFile(blob: Blob, base: string | null): Promise<HeldFile>;
 export declare function binaryBase(visible: VisibleLayer | undefined, path: string): string | null;
 export declare function changedParts(path: string, parts: HeldParts, visible: VisibleLayer | undefined): readonly ChangedPart[];
+export declare function marksOver(kept: Marks, under: Marks): Marks;
+export declare function heldMarks(marks: Marks, parts: HeldParts): Marks;
+export declare function partsBetween(path: string, before: Document, after: Document): PartChange[];
+export declare function applyParts(document: Document, changes: readonly Change[], definition: Definition | undefined): ApplyResult;
+type Joined = {
+    readonly parts: HeldParts;
+    readonly marks: Marks;
+};
+export declare function joinedOver(parts: HeldParts, marks: Marks, path: string, visible: VisibleLayer): Joined | null;
+export declare function lineEnded(text: string): string;
 export type TextParts = {
     readonly fields?: Readonly<Record<string, {
         readonly value: unknown;
@@ -145,8 +170,8 @@ export type TextParts = {
         readonly value: string;
     };
 };
-export declare function partsAfter(markdown: string, parts: TextParts): string;
-export declare function returnedInto(existing: HeldParts | undefined, returned: HeldParts): HeldParts;
+export declare function partsAfter(markdown: string, parts: TextParts, definitions?: DefinitionOf): string | null;
+export declare function returnedInto(existing: HeldParts | undefined, returned: HeldParts, definitions?: DefinitionOf): HeldParts | null;
 export declare function moveTarget(move: {
     readonly to: string;
 }): string;
@@ -168,7 +193,6 @@ export declare function changesOf(path: string, parts: HeldParts): {
     changes: readonly Change[];
     bases: readonly Precondition[];
 };
-export declare function joinedDraft(carried: SavedDraft, saved: readonly SavedDraft[]): SavedDraft;
 export declare function withdrawnDrafts(drafts: readonly SavedDraft[], changes: readonly Change[]): readonly SavedDraft[];
 export {};
 //# sourceMappingURL=room-draft.d.ts.map