@agentshouse/app-bridge 0.1.0-ce77dca2c4f9f → 0.1.0-ce7c3baa4a247

package/dist/calls.d.ts

@@ -16,18 +16,18 @@ export interface HouseMethods {
                 readonly user_name: string;
                 readonly entries: readonly {
                     readonly namespace: string;
-                    readonly read: 'mcp' | 'online' | 'local' | null;
+                    readonly level: 'search' | 'open' | 'keep' | null;
                     readonly operations: readonly ('write' | 'delete' | 'export' | 'manageAccess')[];
                     readonly sources: readonly {
                         readonly kind: 'direct' | 'inherited';
                         readonly namespace: string;
-                        readonly read: 'mcp' | 'online' | 'local' | null;
+                        readonly level: 'search' | 'open' | 'keep' | null;
                         readonly operations: readonly ('write' | 'delete' | 'export' | 'manageAccess')[];
                     }[];
                 }[];
                 readonly direct: readonly {
                     readonly namespace: string;
-                    readonly read: 'mcp' | 'online' | 'local' | null;
+                    readonly level: 'search' | 'open' | 'keep' | null;
                     readonly operations: readonly ('write' | 'delete' | 'export' | 'manageAccess')[];
                 }[];
                 readonly admitted_at: string | null;
@@ -346,7 +346,8 @@ export interface HouseMethods {
                 readonly owner: boolean;
                 readonly email?: string;
                 readonly since: string | null;
-                readonly access?: 'owner' | 'manage' | 'edit' | 'read';
+                readonly access?: 'owner' | 'manage' | 'edit' | 'keep' | 'open' | 'search';
+                readonly only_while_online?: true;
                 readonly member_document: string | null;
                 readonly schema_roles?: readonly string[];
             }[];
@@ -493,11 +494,7 @@ export interface HouseMethods {
                     readonly reach: 'selected';
                     readonly refs: readonly string[];
                 };
-                readonly accounts?: readonly {
-                    readonly id: string;
-                    readonly name: string;
-                    readonly origin: string;
-                }[];
+                readonly key_origins?: readonly string[];
                 readonly url: string;
             }[];
         };
@@ -628,7 +625,7 @@ export interface HouseMethods {
                 } | {
                     readonly position: number;
                     readonly outcome: 'no_target';
-                    readonly code: 'no_recipient' | 'routine_access_not_found' | 'routine_retired' | 'target_agent_unavailable';
+                    readonly code: 'no_recipient' | 'routine_access_not_found' | 'routine_retired' | 'target_agent_unavailable' | 'app_not_found' | 'app_function_not_found';
                 } | {
                     readonly position: number;
                     readonly outcome: 'requested';
@@ -678,12 +675,12 @@ export interface HouseMethods {
                     readonly position: number;
                     readonly outcome: 'refused';
                     readonly code: 'cap_reached';
-                    readonly cap: 'address_submissions' | 'writes' | 'push_addresses' | 'push_deliveries' | 'external_accounts' | 'shared_schemas' | 'export_starts' | 'share_creations' | 'share_room_creations' | 'live_shares' | 'ownership_offers' | 'site_rooms' | 'slot_rooms' | 'room_triggers' | 'app_sockets' | 'kit_connections' | 'open_uploads' | 'waiting_web_wizards' | 'folder_subscriptions';
+                    readonly cap: 'address_submissions' | 'writes' | 'push_addresses' | 'push_deliveries' | 'service_keys' | 'shared_schemas' | 'export_starts' | 'share_creations' | 'share_room_creations' | 'live_shares' | 'ownership_offers' | 'site_rooms' | 'slot_rooms' | 'room_triggers' | 'app_sockets' | 'kit_connections' | 'open_uploads' | 'waiting_web_wizards' | 'folder_subscriptions';
                 } | {
                     readonly position: number;
                     readonly outcome: 'refused';
                     readonly code: 'cap_reached';
-                    readonly cap: 'address_submissions' | 'writes' | 'push_addresses' | 'push_deliveries' | 'external_accounts' | 'shared_schemas' | 'export_starts' | 'share_creations' | 'share_room_creations' | 'live_shares' | 'ownership_offers' | 'site_rooms' | 'slot_rooms' | 'room_triggers' | 'app_sockets' | 'kit_connections' | 'open_uploads' | 'waiting_web_wizards' | 'folder_subscriptions';
+                    readonly cap: 'address_submissions' | 'writes' | 'push_addresses' | 'push_deliveries' | 'service_keys' | 'shared_schemas' | 'export_starts' | 'share_creations' | 'share_room_creations' | 'live_shares' | 'ownership_offers' | 'site_rooms' | 'slot_rooms' | 'room_triggers' | 'app_sockets' | 'kit_connections' | 'open_uploads' | 'waiting_web_wizards' | 'folder_subscriptions';
                     readonly retry_at: string;
                 } | {
                     readonly position: number;
@@ -693,6 +690,27 @@ export interface HouseMethods {
                     readonly position: number;
                     readonly outcome: 'failed';
                     readonly code: 'internal_error' | 'routine_request_not_started';
+                } | {
+                    readonly position: number;
+                    readonly outcome: 'failed';
+                    readonly code: 'function_failed';
+                    readonly error: string;
+                    readonly release: string;
+                    readonly final: true;
+                } | {
+                    readonly position: number;
+                    readonly outcome: 'failed';
+                    readonly code: 'function_not_started';
+                    readonly tries: number;
+                    readonly final?: true;
+                } | {
+                    readonly position: number;
+                    readonly outcome: 'running';
+                    readonly release: string;
+                } | {
+                    readonly position: number;
+                    readonly outcome: 'ran';
+                    readonly release: string;
                 } | {
                     readonly position: number;
                     readonly outcome: 'waiting';

package/dist/index.d.ts

@@ -21,7 +21,7 @@ export interface HouseCredentialState {
     readonly state: Open<'none' | 'held' | 'rejected'>;
     readonly expiresAt: number | null;
 }
-export type HouseDatabaseFailure = 'unsupported' | 'damaged' | 'update-required';
+export type HouseDatabaseFailure = 'unsupported' | 'damaged';
 export type HouseAnalyticsChoice = 'accept' | 'decline';
 export interface HouseAnalytics {
     readonly measures: boolean;
@@ -80,8 +80,6 @@ export interface HouseExternalRequest {
     readonly headers?: Readonly<Record<string, string>>;
     readonly body?: string;
     readonly body_base64?: string;
-    readonly account?: string;
-    readonly slot?: string;
     readonly room_ref?: string;
 }
 export type HouseExternalAnswer = {
@@ -132,6 +130,7 @@ export interface HouseCooperation {
     capture(): Promise<HouseTask> | HouseTask;
     restore(task: HouseTask | null): Promise<void> | void;
     ready(): Promise<boolean> | boolean;
+    placed?(): Promise<void> | void;
     settle(activation: HouseActivation): void;
 }
 export type HouseChatWidth = 'full' | '3/4' | '1/2' | '1/3';

package/dist/mdmodel/condition.d.ts

@@ -103,11 +103,13 @@ export type DocumentFacts = {
     readonly fields: Readonly<Record<string, Fact>>;
     readonly sections: readonly string[];
 };
-export declare const WRITE_DOORS: readonly ['browser', 'agent', 'client'];
+export declare const TEXT_FIELD = "/text";
+export declare const WRITE_DOORS: readonly ['browser', 'agent', 'client', 'function'];
 export type WriteDoor = (typeof WRITE_DOORS)[number];
 export type Actor = {
     readonly user?: string;
     readonly site?: string;
+    readonly app?: string;
     readonly door?: WriteDoor;
 };
 export type DocumentEvent = {

package/dist/mdmodel/index.d.ts

@@ -1,4 +1,4 @@
-export { ACTOR_PATHS, actorOperators, changeFields, CONDITION_OPERATORS, dated, datePointers, DOCUMENT_PATHS, factKind, facts, fires, holds, instant, ITEM_PATHS, itemFires, itemKind, itemOperators, memberPointers, members, pointed, prosePaths, testOperators, valuedChange, WRITE_DOORS, } from './condition.js';
+export { ACTOR_PATHS, actorOperators, changeFields, CONDITION_OPERATORS, dated, datePointers, DOCUMENT_PATHS, factKind, facts, fires, holds, instant, ITEM_PATHS, itemFires, itemKind, itemOperators, memberPointers, members, pointed, prosePaths, testOperators, TEXT_FIELD, valuedChange, WRITE_DOORS, } from './condition.js';
 export type { Actor, Condition, ConditionOperator, ConditionScope, ConditionTest, ConditionValue, CronCondition, DateCondition, DocumentCondition, DocumentEvent, DocumentFacts, Fact, FactKind, ItemCondition, ItemFacts, Resolved, WriteDoor, } from './condition.js';
 export { headingLines } from './blocks.js';
 export type { HeadingLine } from './blocks.js';

package/dist/mdruntime/adapter.d.ts

@@ -49,6 +49,7 @@ export type ListedConversation = {
     finished: string | null;
     outcome: string | null;
     waiting: boolean;
+    newest: string | null;
 };
 export type ConversationAction = 'conversation.create' | 'conversation.send' | 'conversation.answer' | 'conversation.interrupt' | 'conversation.kill' | 'conversation.cancel' | 'conversation.delete' | 'conversation.history';
 export type ConversationMessage = {
@@ -255,7 +256,7 @@ export type ContractUnavailable = ProviderRefusal & {
 export type DiscoverResult = Discovery | TransportUncertainty | RevokedAuthorization | ContractUnavailable;
 export type PageToken = string;
 export type ChangeAuthor = {
-    kind: Open<'user' | 'site' | 'inbox'>;
+    kind: Open<'user' | 'site' | 'inbox' | 'app'>;
     id: string;
     name: string;
 };
@@ -289,8 +290,8 @@ export type BootstrapRequest = {
     selection: string;
     pageToken?: PageToken;
     held?: HeldContent;
-    received?: Uint8Array;
     arriving?: (bytes: number) => void;
+    signal?: AbortSignal;
 };
 export type BootstrapInventory = {
     readonly parts: number;
@@ -310,8 +311,7 @@ export type BootstrapPage = {
     binaryFiles: Readonly<Record<string, BinaryFile>>;
     folders?: readonly string[];
     pageToken?: PageToken;
-    inventory?: BootstrapInventory;
-    received?: Uint8Array;
+    bytes?: number;
 };
 export type BootstrapResult = BootstrapPage | {
     kind: 'beyond-horizon';
@@ -386,7 +386,7 @@ export type HistoryAuthor = {
     kind: 'user';
     id: string;
 } | {
-    kind: 'site' | 'inbox';
+    kind: 'site' | 'inbox' | 'app';
     id: string;
     name: string;
 };
@@ -446,6 +446,7 @@ export type AttachRequest = {
 export type AttachResult = {
     kind: 'attached';
     path: string;
+    revision: string;
 } | (ProviderRefusal & {
     kind: 'rejected';
 }) | AdapterFailure;

package/dist/mdruntime/collection.d.ts

@@ -16,6 +16,11 @@ export type Composition = {
         model: ModelState;
     } | null;
 };
+export type Composed = {
+    readonly composition: Composition;
+    readonly fingerprint: string;
+};
+export declare function composedOf(composition: Composition): Composed;
 export declare function selected(composition: Composition, path: string): boolean;
 export declare function governing(composition: Composition, path: string): ModelState;
 export declare function collectionOf(text: Readonly<Record<string, string>>, composition: Composition): Collection;

package/dist/mdruntime/connection.d.ts

@@ -54,6 +54,7 @@ export type MdRuntimeOptions = {
     authorization?: Authorization;
     signal?: AbortSignal;
     recovery?: Recovery;
+    usableWhenHeld?: readonly string[];
 };
 export type SaveResult = {
     outcome: 'saved';
@@ -93,7 +94,7 @@ export type HistoryQuery = {
 };
 export type MdRuntime = {
     loaded(): Promise<void>;
-    rooms(): readonly AppRoom[];
+    rooms(): Promise<readonly AppRoom[]>;
     query: {
         (query: DocumentQuery): Promise<DocumentResult | PendingResult>;
         (query: GroupQuery): Promise<GroupResult | PendingResult>;

package/dist/mdruntime/conversation.d.ts

@@ -1,4 +1,4 @@
-import type { ConversationAction, ConversationAgents, ConversationEvent, ConversationMessage, ConversationStream, ProcessCommand, SessionOption, TurnContext } from './adapter.js';
+import type { ConversationAction, ConversationAgents, ConversationEvent, ConversationMessage, ConversationStream, ListedConversation, ProcessCommand, SessionOption, TurnContext } from './adapter.js';
 import { type ChangeSet } from './change-set.js';
 import type { Open } from './open.js';
 import { type CallResult, type Offline } from './outcome.js';
@@ -83,6 +83,7 @@ export type ConversationDependencies = {
     stream(): ConversationStream | undefined;
     publish(set: ChangeSet): void;
     online(): boolean;
+    listed(): boolean;
     full(): boolean;
     closed(): boolean;
     unanswered(): void;
@@ -91,13 +92,14 @@ export type ConversationDependencies = {
 export type ConversationStore = {
     surface: ConversationSurface;
     chatDraft: ChatDraftSurface;
-    hydrate(held: readonly HeldConversation[], drafts: readonly ChatDraftRecord[]): void;
+    hydrate(held: readonly HeldConversation[], drafts: readonly ChatDraftRecord[], list: readonly ListedConversation[] | null): void;
     reconcile(): Promise<void>;
     catchUp(progress: CycleProgress): Promise<void>;
     resend(progress: CycleProgress): Promise<void>;
     current(): boolean;
     known(): boolean;
-    reconnected(): void;
+    learned(): void;
+    declared(): void;
     reopened(): void;
     lost(): void;
     watch(conversation: string, options: ConversationOptions, deliver: (view: ConversationView) => void): () => void;

package/dist/mdruntime/model.d.ts

@@ -28,6 +28,11 @@ export type ModelState = {
     verifiedWith: ModelIdentity;
     types: VerifiedModel['types'];
 };
+export type StoredModel = Extract<ModelState, {
+    status: 'unavailable';
+}> | Omit<Extract<ModelState, {
+    status: 'current' | 'cached';
+}>, 'types'>;
 export type TypesResult = {
     status: Open<'unavailable'>;
     reason: ModelUnavailableReason;
@@ -51,6 +56,7 @@ export type ValidationReceipt = {
 export declare const NO_MODEL: ModelState;
 export declare function definitionOf(state: ModelState, type: string | undefined): Definition | undefined;
 export declare function modelTypes(state: ModelState): TypesResult;
+export declare function storedModel(state: ModelState): StoredModel;
 export declare function cached(state: ModelState): ModelState;
 export declare function sameModel(left: ModelIdentity, right: ModelIdentity): boolean;
 export declare function sameTyping(left: ModelState, right: ModelState): boolean;

package/dist/mdruntime/observation.d.ts

@@ -38,6 +38,7 @@ export type Digest = {
     readonly next: string | undefined;
     readonly total: number | undefined;
 };
+export declare function hashed(text: string): number;
 export declare function digestOf({ result, keys }: KeyedResult): Digest;
 export declare function digestApplied(digest: Digest, message: QueryMessage): Digest;
 export declare function changeOf(previous: Digest, next: KeyedResult): QueryMessage | null;

package/dist/mdruntime/reach.d.ts

@@ -1,4 +1,4 @@
-import type { MdRuntime, ReadinessPort, RuntimeTopic } from './connection.js';
+import type { AppRoom, MdRuntime, ReadinessPort, RuntimeTopic } from './connection.js';
 import type { Plan, PlanReach, QueryResult } from './query.js';
 import type { Readiness } from './readiness.js';
 import { type SearchResult } from './search.js';
@@ -37,6 +37,7 @@ export type Reachable = RuntimeView & {
     lockedRooms(): readonly string[];
     watchLocks(notify: () => void): () => void;
     located(room: string, path: string, destination: string): ReachedDocument | null;
+    room(locator: string): AppRoom | undefined;
 };
 export declare function holds(reach: PortReach | null, room: string): boolean;
 export declare function governs(reach: PortReach | null, room: {

package/dist/mdruntime/readiness.d.ts

@@ -26,7 +26,7 @@ export type RefusedRoom = {
     readonly rule: string;
     readonly location: string | null;
 };
-export type InstallationStep = Open<'listing' | 'downloading' | 'writing' | 'replaying'>;
+export type InstallationStep = Open<'downloading' | 'writing' | 'replaying'>;
 export type InstallationPause = Open<'hidden'>;
 export type InstallationAmount = {
     readonly done: number;
@@ -38,7 +38,6 @@ export type Installation = {
     readonly rooms: InstallationAmount;
     readonly parts: InstallationAmount;
     readonly bytes: InstallationAmount;
-    readonly received: InstallationAmount;
 };
 export type ReadinessStatus = Open<'preparing' | 'paused' | 'refused' | 'ready' | 'lost'>;
 export type Readiness = {

package/dist/mdruntime/replica.d.ts

@@ -1,7 +1,7 @@
 import type { BootstrapInventory, MutationResult, OperationScopes, ReplicaAdmission, 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';
+import { type ModelState } from './model.js';
 import { type Layer } from './overlay.js';
 import type { HeldEntry, OverlayEntry, StoredEntry } from './tables.js';
 export type ReplicaRecord = {
@@ -15,7 +15,7 @@ export type ReplicaRecord = {
     readonly providerOwnedPaths: readonly string[];
     readonly roomVersion: string;
     readonly transfer: string;
-    readonly inventory: BootstrapInventory | null;
+    readonly inventory: BootstrapInventory;
     readonly key: number;
 };
 export type HeldReplica = {

package/dist/mdruntime/room-draft.d.ts

@@ -40,6 +40,7 @@ export type RoomDraftParts = {
     };
     readonly file?: {
         readonly blob: Blob;
+        readonly base?: string | null;
     };
 };
 export type HeldFile = {
@@ -112,7 +113,7 @@ export type RoomDraftWrite = {
 export declare function staleWrite(current: RoomDraft | null): RoomDraftWrite;
 export type ChangedPart = {
     readonly path: string;
-    readonly part: Open<'field' | 'section' | 'preamble' | 'markdown' | 'creation' | 'move' | 'removal' | 'file'>;
+    readonly part: Open<'field' | 'section' | 'preamble' | 'markdown' | 'move' | 'removal' | 'file'>;
     readonly name?: string;
 };
 export type RoomDraftRecord = {
@@ -132,7 +133,7 @@ export declare function held(current: HeldParts | undefined, parts: RoomDraftPar
 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, report: ChangedUnderneath): readonly ChangedPart[];
+export declare function changedParts(path: string, parts: HeldParts, visible: VisibleLayer | undefined): readonly ChangedPart[];
 export type TextParts = {
     readonly fields?: Readonly<Record<string, {
         readonly value: unknown;
@@ -149,6 +150,20 @@ export declare function returnedInto(existing: HeldParts | undefined, returned:
 export declare function moveTarget(move: {
     readonly to: string;
 }): string;
+export declare function readSavedParts(named: readonly {
+    readonly path: string;
+    readonly parts: unknown;
+}[]): readonly {
+    readonly path: string;
+    readonly parts: RoomDraftParts;
+}[];
+export declare function partsChanges(named: readonly {
+    readonly path: string;
+    readonly parts: unknown;
+}[]): {
+    readonly changes: readonly Change[];
+    readonly preconditions: readonly Precondition[];
+};
 export declare function changesOf(path: string, parts: HeldParts): {
     changes: readonly Change[];
     bases: readonly Precondition[];

package/dist/mdruntime/save.d.ts

@@ -21,6 +21,7 @@ export type SaveInput = {
     providerOwnedPaths: readonly string[];
     providerLimits: readonly ProviderLimit[];
     visible: VisibleLayer;
+    folders: ReadonlySet<string>;
     handle: string;
     changes: readonly Change[];
     bases: readonly Precondition[];
@@ -75,6 +76,7 @@ export type MoveSide = {
     operations: OperationScopes;
     providerOwnedPaths: readonly string[];
     visible: VisibleLayer;
+    folders: ReadonlySet<string>;
     queued: ReadonlySet<string>;
     unmodeled: boolean;
     validate: Validator;

package/dist/mdruntime/status.d.ts

@@ -9,11 +9,16 @@ export type AttentionEntry = {
     room: string;
     refusal: ProviderRefusal;
 };
+export type UnsentChange = {
+    room: string;
+    path: string;
+};
 export type SyncStatus = {
     state: Open<'pending' | 'syncing' | 'synced'>;
     lastCompleted: string | null;
     providerUnreachable: boolean;
     attentionRequired: readonly AttentionEntry[];
+    unsent: readonly UnsentChange[];
     reset: string | null;
 };
 export type CycleProgress = {

package/dist/mdruntime/store.d.ts

@@ -1,13 +1,13 @@
-import type { BootstrapInventory, Capability, KeptReceipt, Member, ProviderLimit } from './adapter.js';
+import type { BootstrapInventory, Capability, KeptReceipt, ListedConversation, Member, ProviderLimit } from './adapter.js';
 import type { ChangeBatch } from './change.js';
-import type { Composition } from './collection.js';
+import { type Composition } from './collection.js';
 import type { Plan } from './query.js';
 import type { ReplicaRecord } from './replica.js';
 import type { Submission } from './outcome.js';
 import type { RoomDraftRecord, SavedDraft } from './room-draft.js';
-import type { ModelState } from './model.js';
+import type { ModelState, StoredModel } from './model.js';
 import type { SearchWindow } from './search.js';
-import type { CommittedWrite, ConversationWrite, CountedRoom, HeldConversation, HeldEntry, KeptPart, MessageWindow, QueryAnswer, QueryRoom, Referrer, RoomCommit, RuntimeDatabase, SearchAsk, StoredEntry, StoredFile, TypedEntry, View, Walked } from './tables.js';
+import type { CommittedWrite, ConversationWrite, CountedRoom, HeldConversation, HeldEntry, MessageWindow, QueryAnswer, QueryRoom, Referrer, RoomCommit, RuntimeDatabase, SearchAsk, StoredEntry, StoredFile, TypedEntry, View, Walked } from './tables.js';
 export type { ConversationWrite, HeldConversation, MessageWindow } from './tables.js';
 export type TransferRecord = {
     readonly locator: string;
@@ -15,14 +15,15 @@ export type TransferRecord = {
     readonly selection: string;
     readonly from: string;
     readonly last: string;
-    readonly pageToken: string | null;
-    readonly inventory: BootstrapInventory | null;
     readonly done: BootstrapInventory;
     readonly models: {
         readonly collection: ModelState;
     };
     readonly key: number | null;
 };
+export type StoredReplica = Omit<ReplicaRecord, 'model'> & {
+    readonly model: StoredModel;
+};
 export type PendingState = {
     readonly drafts: readonly SavedDraft[];
     readonly submission: Submission;
@@ -82,9 +83,7 @@ export type RefreshedPage = StagedPage & {
     readonly folderRemovals: readonly string[];
 };
 export type Opened = {
-    readonly rooms: ReadonlyMap<string, ReplicaRecord>;
-    readonly transfers: ReadonlyMap<string, TransferRecord>;
-    readonly kept: ReadonlyMap<string, ReadonlyMap<string, number>>;
+    readonly rooms: ReadonlyMap<string, StoredReplica>;
     readonly unindexed: ReadonlySet<number>;
     readonly overlaid: ReadonlyMap<number, ReadonlySet<string>>;
     readonly erasing: boolean;
@@ -95,6 +94,7 @@ export type Opened = {
     readonly member: Member | null;
     readonly targets: Readonly<Record<string, TargetRecord>>;
     readonly presentation: readonly PresentationRecord[];
+    readonly conversationList: readonly ListedConversation[] | null;
 };
 export type Commit = {
     readonly rooms: readonly RoomCommit[];
@@ -116,19 +116,21 @@ export type RuntimeStore = {
         readonly path: string;
         readonly revision: string;
     }[]>;
+    folders(key: number, view: View, paths: readonly string[]): Promise<readonly string[]>;
     typedWithin(key: number, view: View, roots: readonly string[], within: boolean): Promise<boolean>;
     search(ask: SearchAsk): Promise<SearchWindow>;
-    stage(record: TransferRecord, composition: Composition, page: StagedPage, written?: string): Promise<number | null>;
-    transferPart(locator: string, token: string): Promise<Uint8Array | null>;
-    keepParts(parts: readonly KeptPart[]): Promise<void>;
-    refresh(key: number, page: RefreshedPage): Promise<void>;
+    stage(record: TransferRecord, composition: Composition, page: StagedPage): Promise<number | null>;
+    refresh(key: number, composition: Composition, page: RefreshedPage): Promise<void>;
     unrefresh(key: number): Promise<void>;
     commit(commit: Commit): Promise<CommittedWrite>;
     fence(locators: readonly string[]): Promise<void>;
     erase(locator: string | null, limit: number): Promise<boolean>;
-    abandon(locator: string, kept?: boolean): Promise<number | null>;
+    abandon(locator: string): Promise<void>;
     release(key: number): Promise<void>;
-    rederive(key: number, bytes: number): Promise<boolean>;
+    rederive(key: number, composition: Composition, bytes: number, ms: number, floor: number): Promise<{
+        readonly done: boolean;
+        readonly text: number;
+    }>;
     fact(name: string, value: unknown): Promise<void>;
     queues(): Promise<readonly QueueRecord[]>;
     submit(locator: string, id: string, submission: Submission, lost: boolean): Promise<void>;

package/dist/mdruntime/stored.d.ts

@@ -1,5 +1,5 @@
 import type { HeadChange } from './adapter.js';
-import type { Composition } from './collection.js';
+import { type Composed, type Composition } from './collection.js';
 import type { HeldBinary } from './overlay.js';
 import type { Connection } from './tables.js';
 export declare const REPLICA_TABLES: readonly string[];
@@ -42,16 +42,6 @@ export type ReplicaOpened = {
         readonly key: number;
         readonly record: string;
     }[];
-    readonly transfers: readonly {
-        readonly locator: string;
-        readonly key: number;
-        readonly record: string;
-    }[];
-    readonly kept: readonly {
-        readonly locator: string;
-        readonly token: string;
-        readonly bytes: number;
-    }[];
     readonly keys: readonly HeldKey[];
     readonly facts: Readonly<Record<string, string>>;
     readonly presentation: readonly {
@@ -77,7 +67,7 @@ export type RoomCommit = {
         readonly from: number | null;
     };
     readonly refreshed?: true;
-    readonly composition?: Composition;
+    readonly composed: Composed;
     readonly confirmed?: {
         readonly set: readonly StoredEntry[];
         readonly removed: readonly string[];
@@ -100,20 +90,18 @@ export type Walked = {
     readonly entries: readonly HeldEntry[];
     readonly next: string | null;
 };
-export declare function fingerprint(composition: Composition): string;
 export declare function entered(connection: Connection, locator: string, composition: Composition, rows: readonly StoredEntry[]): number;
 export declare function stage(connection: Connection, request: {
     readonly locator: string;
     readonly transfer: string;
-    readonly record: string;
     readonly key: number | null;
-    readonly composition: Composition;
+    readonly fingerprint: string;
     readonly entries: readonly StoredEntry[];
     readonly folders: readonly string[];
-    readonly written?: string;
 }): number;
 export declare function refreshing(connection: Connection, request: {
     readonly key: number;
+    readonly composed: Composed;
     readonly entries: readonly StoredEntry[];
     readonly removals: readonly string[];
     readonly folders: readonly string[];
@@ -123,13 +111,14 @@ export declare function unrefresh(connection: Connection, key: number): null;
 export declare function counts(connection: Connection, rooms: readonly CountedRoom[]): number[];
 export declare function commit(connection: Connection, rooms: readonly RoomCommit[]): Committed;
 export declare function fenceRooms(connection: Connection, locators: readonly string[]): null;
-export declare function abandon(connection: Connection, locator: string, kept: boolean): number | null;
+export declare function abandon(connection: Connection, locator: string): null;
 export declare function release(connection: Connection, key: number): null;
 export declare function erase(connection: Connection, locator: string | null, limit: number): {
     readonly remaining: boolean;
 };
-export declare function rederive(connection: Connection, key: number, bytes: number): {
+export declare function rederive(connection: Connection, key: number, composed: Composed, bytes: number, ms: number, floor: number): {
     readonly done: boolean;
+    readonly text: number;
 };
 export declare function entries(connection: Connection, key: number, view: View, list: readonly string[]): HeldEntry[];
 export declare function typed(connection: Connection, key: number, view: View, list: readonly string[]): TypedEntry[];
@@ -139,13 +128,7 @@ export declare function files(connection: Connection, key: number, view: View, a
     readonly path: string;
     readonly revision: string;
 }[];
+export declare function folders(connection: Connection, key: number, view: View, list: readonly string[]): string[];
 export declare function typedWithin(connection: Connection, key: number, view: View, roots: readonly string[], within: boolean): boolean;
-export declare function transferPart(connection: Connection, locator: string, token: string): Uint8Array | null;
-export type KeptPart = {
-    readonly locator: string;
-    readonly token: string;
-    readonly part: Uint8Array;
-};
-export declare function keepParts(connection: Connection, parts: readonly KeptPart[]): null;
 export declare function opened(connection: Connection): ReplicaOpened;
 export declare function ended(connection: Connection): void;

package/dist/mdruntime/tables.d.ts

@@ -1,12 +1,12 @@
 import { type QueryAnswer, type QueryRoom } from './compile.js';
 import type { KeptReceipt } from './adapter.js';
-import type { Composition } from './collection.js';
+import type { Composed } from './collection.js';
 import { type SearchAsk } from './fulltext.js';
 import { type ConversationWrite, type HeldConversation, type MessageWindow } from './messages.js';
 import type { Plan } from './query.js';
 import type { SearchWindow } from './search.js';
-import { type Committed, type CountedRoom, type HeldEntry, type KeptPart, type ReplicaOpened, type Referrer, type RoomCommit, type StoredEntry, type TypedEntry, type View, type Walked } from './stored.js';
-export type { Committed, CountedRoom, HeldEntry, KeptPart, OverlayEntry, ReplicaOpened, Referrer, RoomCommit, StoredEntry, TypedEntry, View, Walked, } from './stored.js';
+import { type Committed, type CountedRoom, type HeldEntry, type ReplicaOpened, type Referrer, type RoomCommit, type StoredEntry, type TypedEntry, type View, type Walked } from './stored.js';
+export type { Committed, CountedRoom, HeldEntry, OverlayEntry, ReplicaOpened, Referrer, RoomCommit, StoredEntry, TypedEntry, View, Walked, } from './stored.js';
 export type { QueryAnswer, QueryRoom } from './compile.js';
 export type { SearchAsk } from './fulltext.js';
 export type { ConversationWrite, HeldConversation, MessageWindow } from './messages.js';
@@ -197,6 +197,11 @@ export interface RuntimeRequests {
         readonly path: string;
         readonly revision: string;
     }[]>;
+    readonly 'replica.folders': Asked<{
+        readonly key: number;
+        readonly view: View;
+        readonly paths: readonly string[];
+    }, readonly string[]>;
     readonly 'replica.typedWithin': Asked<{
         readonly key: number;
         readonly view: View;
@@ -215,22 +220,14 @@ export interface RuntimeRequests {
     readonly 'replica.stage': Asked<{
         readonly locator: string;
         readonly transfer: string;
-        readonly record: string;
         readonly key: number | null;
-        readonly composition: Composition;
+        readonly fingerprint: string;
         readonly entries: readonly StoredEntry[];
         readonly folders: readonly string[];
-        readonly written?: string;
     }, number | null>;
-    readonly 'replica.transferPart': Asked<{
-        readonly locator: string;
-        readonly token: string;
-    }, Uint8Array | null>;
-    readonly 'replica.keepParts': Asked<{
-        readonly parts: readonly KeptPart[];
-    }, null>;
     readonly 'replica.refresh': Asked<{
         readonly key: number;
+        readonly composed: Composed;
         readonly entries: readonly StoredEntry[];
         readonly removals: readonly string[];
         readonly folders: readonly string[];
@@ -254,16 +251,19 @@ export interface RuntimeRequests {
     }>;
     readonly 'replica.abandon': Asked<{
         readonly locator: string;
-        readonly kept: boolean;
-    }, number | null>;
+    }, null>;
     readonly 'replica.release': Asked<{
         readonly key: number;
     }, null>;
     readonly 'replica.rederive': Asked<{
         readonly key: number;
+        readonly composed: Composed;
         readonly bytes: number;
+        readonly ms: number;
+        readonly floor: number;
     }, {
         readonly done: boolean;
+        readonly text: number;
     }>;
     readonly 'replica.fact': Asked<{
         readonly name: string;

package/docs/families.md

@@ -13,8 +13,7 @@
   absolute path, carries its current address as the return target, and the page
   returns there when it completes. An App names an address House gave it in a
   reading and composes one only for `/bind/<app_ref>`, where the User binds
-  its Rooms and connects its account slots, with `?slot=<name>` to open at one
-  slot.
+  its Rooms, with `?slot=<name>` to open at one slot.
 - **Installation** - `install()` offers the page as a Home-screen app. Where the
   browser has an install prompt ready the shell shows it and the call resolves
   `'accepted'` or `'dismissed'` with the User's choice, spending that prompt;
@@ -69,16 +68,15 @@
   refusal is House's `{ error: { code, retryable } }`, `app_release_not_found` for an
   App with no release; a read House does not answer, or one that outlived
   the browser's signed-in User, is `null`.
-- **External calls** - `callExternal({ url, method, headers, body, slot, room_ref })`
+- **External calls** - `callExternal({ url, method, headers, body, room_ref })`
   has House's server send an HTTPS request to one of the release's declared
   external origins and resolves with the service's `status`, `headers` and its
   body as `body` text or `body_base64`, or a refusal as House's
   `{ error: { code, retryable } }`, or `null` when House does not answer. House fills in the
-  App and its running release; naming an account slot and one of the App's
-  bound Rooms places the key of the account that Room connects to the slot,
-  when the User holds one of the account's roles there, which the App never
-  sees, and naming neither sends no key. A Site's call names no slot, and the House panel names an
-  `account` instead. `body_base64` replaces `body` for bytes.
+  App and its running release. A `room_ref` names a Room the signed-in User binds to the App
+  in a `write` slot, and House adds that Room's Service key for the URL's origin, which App
+  code never sees; a call naming no Room carries no key, and a Site's call names no Room.
+  `body_base64` replaces `body` for bytes.
 - **App messages** - `messages(listener)` hands the listener each message
   another holder of this App sends to this User's running copies, as `from`,
   the sender's User id, and `body`, the JSON value they sent, until the
@@ -134,7 +132,12 @@
   calls at once, as offline, those of the workers it starts included, and
   refuses its Saves, write acts and external calls with the retryable code
   `house_trial_withheld`, so a start-up effect is not repeated; run start-up
-  effects after `settle('committed')`.
+  effects after `settle('committed')`. An optional `placed()` resolves once
+  the page has drawn the place it opened on with what that place shows:
+  House keeps its first-preparation surface over a page registered by its
+  first draw until then, and lifts it at the first draw of a page whose
+  cooperation defines none, so the User goes from the surface to a drawn
+  place in one change; a release's readiness check never waits for it.
 
 ## The test host
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agentshouse/app-bridge",
-  "version": "0.1.0-ce77dca2c4f9f",
+  "version": "0.1.0-ce7c3baa4a247",
   "description": "Types of the agents.house App bridge House hands every App: navigation, the tab title and icon, ceremonies, installation, notifications and the icon badge, status, Site image reads, App release code, App and Site screenshot reads, App messages and the Chat, with an accessor and an in-page test host.",
   "license": "MIT",
   "type": "module",