@agentshouse/mdruntime 0.1.0-alpha.22 → 0.1.0-alpha.23

package/dist/index.d.ts

@@ -2,7 +2,6 @@ export type { AcceptedMessage, ActionDeclaration, ActionRequest, ActionResult, A
 export type { Change, ChangeBatch, Precondition, WrittenBy } from './change.js';
 export type { ChatDraft, ChatDraftSurface, ConversationEntry, ConversationOptions, ConversationSurface, ConversationView, GrowingText, } from './conversation.js';
 export type { ChatDraftFile, FileDeclaration } from './file.js';
-export type { MdType } from './collection.js';
 export type { AppRoom, AppSlot, AppSlotEntry, AppTypedSelection, ConnectionRefusal, ConnectionRefusalReason, DraftEntry, DraftSurface, HistoryQuery, MdRuntime, MdRuntimeOptions, PresentationSurface, QueueSurface, RoomTypes, SaveResult, } from './connection.js';
 export type { AcceptedOutcome, AffectedState, CallResult, QueueEntry, QueueOutcome, SubmissionOutcome, } from './outcome.js';
 export type { SaveRefusal } from './save.js';
@@ -11,7 +10,7 @@ export { createMdRuntime } from './connection.js';
 export type { RuntimeShell } from './durability.js';
 export type { AttentionEntry, SyncStatus } from './status.js';
 export type { Backlink, QueryDocument, QueryGroup, QueryOptions, QueryResult, Selector, } from '@agentshouse/query';
-export type { AttachedModelBinding, ModelIdentity, ModelSnapshot, ModelState, ModelResult, ModelValidation, TypesResult, ValidationReceipt, } from './model.js';
+export type { MdType, ModelIdentity, ModelSnapshot, ModelState, ModelResult, TypesResult, ValidationReceipt, } from './model.js';
 export type { OperationScopes, ReplicaAdmission, ScopedRefusal } from './adapter.js';
 export type { QueryBinding, QueryInput } from './query.js';
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,eAAe,EACf,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,OAAO,EACP,cAAc,EACd,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,eAAe,EACf,UAAU,EACV,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,uBAAuB,EACvB,0BAA0B,EAC1B,mBAAmB,EACnB,kBAAkB,EAClB,cAAc,EACd,cAAc,EACd,SAAS,EACT,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,YAAY,EACZ,eAAe,EACf,cAAc,EACd,SAAS,EACT,aAAa,EACb,eAAe,EACf,WAAW,EACX,cAAc,EACd,aAAa,EACb,SAAS,EACT,gBAAgB,EAChB,oBAAoB,EACpB,eAAe,EACf,uBAAuB,EACvB,aAAa,EACb,oBAAoB,EACpB,cAAc,GACf,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAChF,YAAY,EACV,SAAS,EACT,gBAAgB,EAChB,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,gBAAgB,EAChB,WAAW,GACZ,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAChE,YAAY,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAC9C,YAAY,EACV,OAAO,EACP,OAAO,EACP,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,EACjB,uBAAuB,EACvB,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,SAAS,EACT,gBAAgB,EAChB,mBAAmB,EACnB,YAAY,EACZ,SAAS,EACT,UAAU,GACX,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,eAAe,EACf,aAAa,EACb,UAAU,EACV,UAAU,EACV,YAAY,EACZ,iBAAiB,GAClB,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,YAAY,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpD,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9D,YAAY,EACV,QAAQ,EACR,aAAa,EACb,UAAU,EACV,YAAY,EACZ,WAAW,EACX,QAAQ,GACT,MAAM,oBAAoB,CAAC;AAE5B,YAAY,EACV,oBAAoB,EACpB,aAAa,EACb,aAAa,EACb,UAAU,EACV,WAAW,EACX,eAAe,EACf,WAAW,EACX,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACrF,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACV,eAAe,EACf,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,OAAO,EACP,cAAc,EACd,aAAa,EACb,aAAa,EACb,gBAAgB,EAChB,eAAe,EACf,UAAU,EACV,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,iBAAiB,EACjB,uBAAuB,EACvB,0BAA0B,EAC1B,mBAAmB,EACnB,kBAAkB,EAClB,cAAc,EACd,cAAc,EACd,SAAS,EACT,cAAc,EACd,aAAa,EACb,gBAAgB,EAChB,eAAe,EACf,eAAe,EACf,YAAY,EACZ,eAAe,EACf,cAAc,EACd,SAAS,EACT,aAAa,EACb,eAAe,EACf,WAAW,EACX,cAAc,EACd,aAAa,EACb,SAAS,EACT,gBAAgB,EAChB,oBAAoB,EACpB,eAAe,EACf,uBAAuB,EACvB,aAAa,EACb,oBAAoB,EACpB,cAAc,GACf,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAChF,YAAY,EACV,SAAS,EACT,gBAAgB,EAChB,iBAAiB,EACjB,mBAAmB,EACnB,mBAAmB,EACnB,gBAAgB,EAChB,WAAW,GACZ,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAChE,YAAY,EACV,OAAO,EACP,OAAO,EACP,YAAY,EACZ,iBAAiB,EACjB,iBAAiB,EACjB,uBAAuB,EACvB,UAAU,EACV,YAAY,EACZ,YAAY,EACZ,SAAS,EACT,gBAAgB,EAChB,mBAAmB,EACnB,YAAY,EACZ,SAAS,EACT,UAAU,GACX,MAAM,iBAAiB,CAAC;AACzB,YAAY,EACV,eAAe,EACf,aAAa,EACb,UAAU,EACV,UAAU,EACV,YAAY,EACZ,iBAAiB,GAClB,MAAM,cAAc,CAAC;AACtB,YAAY,EAAE,WAAW,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,mBAAmB,EAAE,MAAM,eAAe,CAAC;AACpD,OAAO,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAC;AAClD,YAAY,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AACpD,YAAY,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9D,YAAY,EACV,QAAQ,EACR,aAAa,EACb,UAAU,EACV,YAAY,EACZ,WAAW,EACX,QAAQ,GACT,MAAM,oBAAoB,CAAC;AAE5B,YAAY,EACV,MAAM,EACN,aAAa,EACb,aAAa,EACb,UAAU,EACV,WAAW,EACX,WAAW,EACX,iBAAiB,GAClB,MAAM,YAAY,CAAC;AACpB,YAAY,EAAE,eAAe,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AACrF,YAAY,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC"}

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdruntime/src/index.ts"],"sourcesContent":["export type {\n  AcceptedMessage,\n  ActionDeclaration,\n  ActionRequest,\n  ActionResult,\n  Adapter,\n  AdapterFailure,\n  Authorization,\n  BootstrapPage,\n  BootstrapRequest,\n  BootstrapResult,\n  Capability,\n  ContractUnavailable,\n  ConversationAction,\n  ConversationCards,\n  ConversationEvent,\n  ConversationHistoryPage,\n  ConversationHistoryRequest,\n  ConversationMessage,\n  ConversationStream,\n  DiscoverResult,\n  DiscoveredRoom,\n  Discovery,\n  HistoryRequest,\n  HistoryResult,\n  HistoryRetention,\n  HistoryRevision,\n  MdModelIdentity,\n  ModelRequest,\n  MutationRequest,\n  MutationResult,\n  PageToken,\n  ProviderLimit,\n  ProviderRefusal,\n  RefreshPage,\n  RefreshRequest,\n  RefreshResult,\n  Retention,\n  RetryableRefusal,\n  RevokedAuthorization,\n  RoomNotReadable,\n  RoomVersionNotification,\n  SelectedRooms,\n  TransportUncertainty,\n  TypedSelection,\n} from './adapter.js';\nexport type { Change, ChangeBatch, Precondition, WrittenBy } from './change.js';\nexport type {\n  ChatDraft,\n  ChatDraftSurface,\n  ConversationEntry,\n  ConversationOptions,\n  ConversationSurface,\n  ConversationView,\n  GrowingText,\n} from './conversation.js';\nexport type { ChatDraftFile, FileDeclaration } from './file.js';\nexport type { MdType } from './collection.js';\nexport type {\n  AppRoom,\n  AppSlot,\n  AppSlotEntry,\n  AppTypedSelection,\n  ConnectionRefusal,\n  ConnectionRefusalReason,\n  DraftEntry,\n  DraftSurface,\n  HistoryQuery,\n  MdRuntime,\n  MdRuntimeOptions,\n  PresentationSurface,\n  QueueSurface,\n  RoomTypes,\n  SaveResult,\n} from './connection.js';\nexport type {\n  AcceptedOutcome,\n  AffectedState,\n  CallResult,\n  QueueEntry,\n  QueueOutcome,\n  SubmissionOutcome,\n} from './outcome.js';\nexport type { SaveRefusal } from './save.js';\nexport { changeBatchIdentity } from './identity.js';\nexport { createMdRuntime } from './connection.js';\nexport type { RuntimeShell } from './durability.js';\nexport type { AttentionEntry, SyncStatus } from './status.js';\nexport type {\n  Backlink,\n  QueryDocument,\n  QueryGroup,\n  QueryOptions,\n  QueryResult,\n  Selector,\n} from '@agentshouse/query';\n\nexport type {\n  AttachedModelBinding,\n  ModelIdentity,\n  ModelSnapshot,\n  ModelState,\n  ModelResult,\n  ModelValidation,\n  TypesResult,\n  ValidationReceipt,\n} from './model.js';\nexport type { OperationScopes, ReplicaAdmission, ScopedRefusal } from './adapter.js';\nexport type { QueryBinding, QueryInput } from './query.js';\n"],"names":["changeBatchIdentity","createMdRuntime"],"mappings":"AAoFA,SAASA,mBAAmB,QAAQ,gBAAgB;AACpD,SAASC,eAAe,QAAQ,kBAAkB"}
+{"version":3,"sources":["/workspace/packages/mdruntime/src/index.ts"],"sourcesContent":["export type {\n  AcceptedMessage,\n  ActionDeclaration,\n  ActionRequest,\n  ActionResult,\n  Adapter,\n  AdapterFailure,\n  Authorization,\n  BootstrapPage,\n  BootstrapRequest,\n  BootstrapResult,\n  Capability,\n  ContractUnavailable,\n  ConversationAction,\n  ConversationCards,\n  ConversationEvent,\n  ConversationHistoryPage,\n  ConversationHistoryRequest,\n  ConversationMessage,\n  ConversationStream,\n  DiscoverResult,\n  DiscoveredRoom,\n  Discovery,\n  HistoryRequest,\n  HistoryResult,\n  HistoryRetention,\n  HistoryRevision,\n  MdModelIdentity,\n  ModelRequest,\n  MutationRequest,\n  MutationResult,\n  PageToken,\n  ProviderLimit,\n  ProviderRefusal,\n  RefreshPage,\n  RefreshRequest,\n  RefreshResult,\n  Retention,\n  RetryableRefusal,\n  RevokedAuthorization,\n  RoomNotReadable,\n  RoomVersionNotification,\n  SelectedRooms,\n  TransportUncertainty,\n  TypedSelection,\n} from './adapter.js';\nexport type { Change, ChangeBatch, Precondition, WrittenBy } from './change.js';\nexport type {\n  ChatDraft,\n  ChatDraftSurface,\n  ConversationEntry,\n  ConversationOptions,\n  ConversationSurface,\n  ConversationView,\n  GrowingText,\n} from './conversation.js';\nexport type { ChatDraftFile, FileDeclaration } from './file.js';\nexport type {\n  AppRoom,\n  AppSlot,\n  AppSlotEntry,\n  AppTypedSelection,\n  ConnectionRefusal,\n  ConnectionRefusalReason,\n  DraftEntry,\n  DraftSurface,\n  HistoryQuery,\n  MdRuntime,\n  MdRuntimeOptions,\n  PresentationSurface,\n  QueueSurface,\n  RoomTypes,\n  SaveResult,\n} from './connection.js';\nexport type {\n  AcceptedOutcome,\n  AffectedState,\n  CallResult,\n  QueueEntry,\n  QueueOutcome,\n  SubmissionOutcome,\n} from './outcome.js';\nexport type { SaveRefusal } from './save.js';\nexport { changeBatchIdentity } from './identity.js';\nexport { createMdRuntime } from './connection.js';\nexport type { RuntimeShell } from './durability.js';\nexport type { AttentionEntry, SyncStatus } from './status.js';\nexport type {\n  Backlink,\n  QueryDocument,\n  QueryGroup,\n  QueryOptions,\n  QueryResult,\n  Selector,\n} from '@agentshouse/query';\n\nexport type {\n  MdType,\n  ModelIdentity,\n  ModelSnapshot,\n  ModelState,\n  ModelResult,\n  TypesResult,\n  ValidationReceipt,\n} from './model.js';\nexport type { OperationScopes, ReplicaAdmission, ScopedRefusal } from './adapter.js';\nexport type { QueryBinding, QueryInput } from './query.js';\n"],"names":["changeBatchIdentity","createMdRuntime"],"mappings":"AAmFA,SAASA,mBAAmB,QAAQ,gBAAgB;AACpD,SAASC,eAAe,QAAQ,kBAAkB"}

package/dist/model.d.ts

@@ -1,5 +1,4 @@
-import type { Validation } from '@agentshouse/mdmodel';
-import type { MdType } from './collection.js';
+import type { Definition, FieldSpec, SectionSpec, VerifiedModel } from '@agentshouse/mdmodel';
 export type ModelIdentity = {
     identity: string;
     version: string;
@@ -7,7 +6,7 @@ export type ModelIdentity = {
 export type ModelSnapshot = ModelIdentity & {
     definitions: Readonly<Record<string, string>>;
 };
-export type ModelUnavailableReason = 'not-readable' | 'revoked' | 'not-acquired' | 'version-changed' | 'invalid' | 'binding-unavailable';
+export type ModelUnavailableReason = 'not-readable' | 'revoked' | 'not-acquired' | 'version-changed' | 'invalid';
 export type ModelResult = {
     kind: 'model';
     snapshot: ModelSnapshot;
@@ -19,6 +18,12 @@ export type ModelResult = {
 } | {
     kind: 'revoked-authorization';
 };
+export type MdType = {
+    name: string;
+    path: string;
+    fields: Readonly<Record<string, FieldSpec>>;
+    sections: Readonly<Record<string, SectionSpec>>;
+};
 export type ModelState = {
     status: 'unavailable';
     reason: ModelUnavailableReason;
@@ -26,7 +31,7 @@ export type ModelState = {
     status: 'current' | 'cached';
     snapshot: ModelSnapshot;
     verifiedWith: ModelIdentity;
-    types: readonly MdType[];
+    types: VerifiedModel['types'];
 };
 export type TypesResult = {
     status: 'unavailable';
@@ -38,32 +43,13 @@ export type TypesResult = {
     verifiedWith: ModelIdentity;
     types: readonly MdType[];
 };
-export type ModelValidation = {
-    verdict: 'accept';
-} | (Extract<Validation, {
-    verdict: 'refuse';
-}> & {
-    source: 'content' | 'model';
-});
-export type AttachedModelBinding = {
-    verify(snapshot: ModelSnapshot): {
-        kind: 'verified';
-        types: readonly MdType[];
-    } | {
-        kind: 'invalid';
-    };
-    validate(input: {
-        model: ModelSnapshot;
-        documents: Readonly<Record<string, string>>;
-        binaryTargets: readonly string[];
-    }): ModelValidation;
-};
 export type ValidationReceipt = {
     identity: string;
     version: string;
     source: 'current' | 'cached';
 };
 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 cached(state: ModelState): ModelState;
 export declare function sameModel(left: ModelIdentity, right: ModelIdentity): boolean;

package/dist/model.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../src/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AACvD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AAE9C,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAClE,MAAM,MAAM,aAAa,GAAG,aAAa,GAAG;IAAE,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAAE,CAAC;AAC9F,MAAM,MAAM,sBAAsB,GAC9B,cAAc,GACd,SAAS,GACT,cAAc,GACd,iBAAiB,GACjB,SAAS,GACT,qBAAqB,CAAC;AAC1B,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,aAAa,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAA;CAAE,GAC7D;IAAE,IAAI,EAAE,uBAAuB,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,uBAAuB,CAAA;CAAE,CAAC;AACtC,MAAM,MAAM,UAAU,GAClB;IAAE,MAAM,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAA;CAAE,GACzD;IACE,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAC;IAC7B,QAAQ,EAAE,aAAa,CAAC;IACxB,YAAY,EAAE,aAAa,CAAC;IAC5B,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1B,CAAC;AACN,MAAM,MAAM,WAAW,GACnB;IAAE,MAAM,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAA;CAAE,GACzD;IACE,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,aAAa,CAAC;IAC5B,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1B,CAAC;AACN,MAAM,MAAM,eAAe,GACvB;IAAE,OAAO,EAAE,QAAQ,CAAA;CAAE,GACrB,CAAC,OAAO,CAAC,UAAU,EAAE;IAAE,OAAO,EAAE,QAAQ,CAAA;CAAE,CAAC,GAAG;IAAE,MAAM,EAAE,SAAS,GAAG,OAAO,CAAA;CAAE,CAAC,CAAC;AACnF,MAAM,MAAM,oBAAoB,GAAG;IACjC,MAAM,CACJ,QAAQ,EAAE,aAAa,GACtB;QAAE,IAAI,EAAE,UAAU,CAAC;QAAC,KAAK,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,GAAG;QAAE,IAAI,EAAE,SAAS,CAAA;KAAE,CAAC;IACxE,QAAQ,CAAC,KAAK,EAAE;QACd,KAAK,EAAE,aAAa,CAAC;QACrB,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;QAC5C,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;KAClC,GAAG,eAAe,CAAC;CACrB,CAAC;AACF,MAAM,MAAM,iBAAiB,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAA;CAAE,CAAC;AACpG,eAAO,MAAM,QAAQ,EAAE,UAA8D,CAAC;AACtF,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,CAUzD;AACD,wBAAgB,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAEpD;AACD,wBAAgB,SAAS,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,GAAG,OAAO,CAE5E"}
+{"version":3,"file":"model.d.ts","sourceRoot":"","sources":["../src/model.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE9F,MAAM,MAAM,aAAa,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAA;CAAE,CAAC;AAClE,MAAM,MAAM,aAAa,GAAG,aAAa,GAAG;IAAE,WAAW,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;CAAE,CAAC;AAC9F,MAAM,MAAM,sBAAsB,GAC9B,cAAc,GACd,SAAS,GACT,cAAc,GACd,iBAAiB,GACjB,SAAS,CAAC;AACd,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,EAAE,aAAa,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAA;CAAE,GAC7D;IAAE,IAAI,EAAE,uBAAuB,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,uBAAuB,CAAA;CAAE,CAAC;AACtC,MAAM,MAAM,MAAM,GAAG;IACnB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC;IAC5C,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;CACjD,CAAC;AACF,MAAM,MAAM,UAAU,GAClB;IAAE,MAAM,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAA;CAAE,GACzD;IACE,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAC;IAC7B,QAAQ,EAAE,aAAa,CAAC;IACxB,YAAY,EAAE,aAAa,CAAC;IAC5B,KAAK,EAAE,aAAa,CAAC,OAAO,CAAC,CAAC;CAC/B,CAAC;AACN,MAAM,MAAM,WAAW,GACnB;IAAE,MAAM,EAAE,aAAa,CAAC;IAAC,MAAM,EAAE,sBAAsB,CAAA;CAAE,GACzD;IACE,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAC;IAC7B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,aAAa,CAAC;IAC5B,KAAK,EAAE,SAAS,MAAM,EAAE,CAAC;CAC1B,CAAC;AACN,MAAM,MAAM,iBAAiB,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,CAAA;CAAE,CAAC;AACpG,eAAO,MAAM,QAAQ,EAAE,UAA8D,CAAC;AACtF,wBAAgB,YAAY,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,SAAS,CAGhG;AACD,wBAAgB,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,WAAW,CAqBzD;AACD,wBAAgB,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,UAAU,CAEpD;AACD,wBAAgB,SAAS,CAAC,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,aAAa,GAAG,OAAO,CAE5E"}

package/dist/model.js

@@ -2,6 +2,10 @@ export const NO_MODEL = {
     status: 'unavailable',
     reason: 'not-acquired'
 };
+export function definitionOf(state, type) {
+    if (state.status === 'unavailable' || type === undefined) return undefined;
+    return Object.hasOwn(state.types, type) ? state.types[type] : undefined;
+}
 export function modelTypes(state) {
     return state.status === 'unavailable' ? {
         ...state
@@ -12,7 +16,12 @@ export function modelTypes(state) {
         verifiedWith: {
             ...state.verifiedWith
         },
-        types: structuredClone(state.types)
+        types: structuredClone(Object.values(state.types).sort((left, right)=>left.address < right.address ? -1 : left.address > right.address ? 1 : 0).map(({ name, address, fields, sections })=>({
+                name,
+                path: address,
+                fields,
+                sections
+            })))
     };
 }
 export function cached(state) {

package/dist/model.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdruntime/src/model.ts"],"sourcesContent":["import type { Validation } from '@agentshouse/mdmodel';\nimport type { MdType } from './collection.js';\n\nexport type ModelIdentity = { identity: string; version: string };\nexport type ModelSnapshot = ModelIdentity & { definitions: Readonly<Record<string, string>> };\nexport type ModelUnavailableReason =\n  | 'not-readable'\n  | 'revoked'\n  | 'not-acquired'\n  | 'version-changed'\n  | 'invalid'\n  | 'binding-unavailable';\nexport type ModelResult =\n  | { kind: 'model'; snapshot: ModelSnapshot }\n  | { kind: 'model-unavailable'; reason: ModelUnavailableReason }\n  | { kind: 'transport-uncertainty' }\n  | { kind: 'revoked-authorization' };\nexport type ModelState =\n  | { status: 'unavailable'; reason: ModelUnavailableReason }\n  | {\n      status: 'current' | 'cached';\n      snapshot: ModelSnapshot;\n      verifiedWith: ModelIdentity;\n      types: readonly MdType[];\n    };\nexport type TypesResult =\n  | { status: 'unavailable'; reason: ModelUnavailableReason }\n  | {\n      status: 'current' | 'cached';\n      identity: string;\n      version: string;\n      verifiedWith: ModelIdentity;\n      types: readonly MdType[];\n    };\nexport type ModelValidation =\n  | { verdict: 'accept' }\n  | (Extract<Validation, { verdict: 'refuse' }> & { source: 'content' | 'model' });\nexport type AttachedModelBinding = {\n  verify(\n    snapshot: ModelSnapshot,\n  ): { kind: 'verified'; types: readonly MdType[] } | { kind: 'invalid' };\n  validate(input: {\n    model: ModelSnapshot;\n    documents: Readonly<Record<string, string>>;\n    binaryTargets: readonly string[];\n  }): ModelValidation;\n};\nexport type ValidationReceipt = { identity: string; version: string; source: 'current' | 'cached' };\nexport const NO_MODEL: ModelState = { status: 'unavailable', reason: 'not-acquired' };\nexport function modelTypes(state: ModelState): TypesResult {\n  return state.status === 'unavailable'\n    ? { ...state }\n    : {\n        status: state.status,\n        identity: state.snapshot.identity,\n        version: state.snapshot.version,\n        verifiedWith: { ...state.verifiedWith },\n        types: structuredClone(state.types),\n      };\n}\nexport function cached(state: ModelState): ModelState {\n  return state.status === 'unavailable' ? state : { ...state, status: 'cached' };\n}\nexport function sameModel(left: ModelIdentity, right: ModelIdentity): boolean {\n  return left.identity === right.identity && left.version === right.version;\n}\n"],"names":["NO_MODEL","status","reason","modelTypes","state","identity","snapshot","version","verifiedWith","types","structuredClone","cached","sameModel","left","right"],"mappings":"AAgDA,OAAO,MAAMA,WAAuB;IAAEC,QAAQ;IAAeC,QAAQ;AAAe,EAAE;AACtF,OAAO,SAASC,WAAWC,KAAiB;IAC1C,OAAOA,MAAMH,MAAM,KAAK,gBACpB;QAAE,GAAGG,KAAK;IAAC,IACX;QACEH,QAAQG,MAAMH,MAAM;QACpBI,UAAUD,MAAME,QAAQ,CAACD,QAAQ;QACjCE,SAASH,MAAME,QAAQ,CAACC,OAAO;QAC/BC,cAAc;YAAE,GAAGJ,MAAMI,YAAY;QAAC;QACtCC,OAAOC,gBAAgBN,MAAMK,KAAK;IACpC;AACN;AACA,OAAO,SAASE,OAAOP,KAAiB;IACtC,OAAOA,MAAMH,MAAM,KAAK,gBAAgBG,QAAQ;QAAE,GAAGA,KAAK;QAAEH,QAAQ;IAAS;AAC/E;AACA,OAAO,SAASW,UAAUC,IAAmB,EAAEC,KAAoB;IACjE,OAAOD,KAAKR,QAAQ,KAAKS,MAAMT,QAAQ,IAAIQ,KAAKN,OAAO,KAAKO,MAAMP,OAAO;AAC3E"}
+{"version":3,"sources":["/workspace/packages/mdruntime/src/model.ts"],"sourcesContent":["import type { Definition, FieldSpec, SectionSpec, VerifiedModel } from '@agentshouse/mdmodel';\n\nexport type ModelIdentity = { identity: string; version: string };\nexport type ModelSnapshot = ModelIdentity & { definitions: Readonly<Record<string, string>> };\nexport type ModelUnavailableReason =\n  | 'not-readable'\n  | 'revoked'\n  | 'not-acquired'\n  | 'version-changed'\n  | 'invalid';\nexport type ModelResult =\n  | { kind: 'model'; snapshot: ModelSnapshot }\n  | { kind: 'model-unavailable'; reason: ModelUnavailableReason }\n  | { kind: 'transport-uncertainty' }\n  | { kind: 'revoked-authorization' };\nexport type MdType = {\n  name: string;\n  path: string;\n  fields: Readonly<Record<string, FieldSpec>>;\n  sections: Readonly<Record<string, SectionSpec>>;\n};\nexport type ModelState =\n  | { status: 'unavailable'; reason: ModelUnavailableReason }\n  | {\n      status: 'current' | 'cached';\n      snapshot: ModelSnapshot;\n      verifiedWith: ModelIdentity;\n      types: VerifiedModel['types'];\n    };\nexport type TypesResult =\n  | { status: 'unavailable'; reason: ModelUnavailableReason }\n  | {\n      status: 'current' | 'cached';\n      identity: string;\n      version: string;\n      verifiedWith: ModelIdentity;\n      types: readonly MdType[];\n    };\nexport type ValidationReceipt = { identity: string; version: string; source: 'current' | 'cached' };\nexport const NO_MODEL: ModelState = { status: 'unavailable', reason: 'not-acquired' };\nexport function definitionOf(state: ModelState, type: string | undefined): Definition | undefined {\n  if (state.status === 'unavailable' || type === undefined) return undefined;\n  return Object.hasOwn(state.types, type) ? state.types[type] : undefined;\n}\nexport function modelTypes(state: ModelState): TypesResult {\n  return state.status === 'unavailable'\n    ? { ...state }\n    : {\n        status: state.status,\n        identity: state.snapshot.identity,\n        version: state.snapshot.version,\n        verifiedWith: { ...state.verifiedWith },\n        types: structuredClone(\n          Object.values(state.types)\n            .sort((left, right) =>\n              left.address < right.address ? -1 : left.address > right.address ? 1 : 0,\n            )\n            .map(({ name, address, fields, sections }) => ({\n              name,\n              path: address,\n              fields,\n              sections,\n            })),\n        ),\n      };\n}\nexport function cached(state: ModelState): ModelState {\n  return state.status === 'unavailable' ? state : { ...state, status: 'cached' };\n}\nexport function sameModel(left: ModelIdentity, right: ModelIdentity): boolean {\n  return left.identity === right.identity && left.version === right.version;\n}\n"],"names":["NO_MODEL","status","reason","definitionOf","state","type","undefined","Object","hasOwn","types","modelTypes","identity","snapshot","version","verifiedWith","structuredClone","values","sort","left","right","address","map","name","fields","sections","path","cached","sameModel"],"mappings":"AAuCA,OAAO,MAAMA,WAAuB;IAAEC,QAAQ;IAAeC,QAAQ;AAAe,EAAE;AACtF,OAAO,SAASC,aAAaC,KAAiB,EAAEC,IAAwB;IACtE,IAAID,MAAMH,MAAM,KAAK,iBAAiBI,SAASC,WAAW,OAAOA;IACjE,OAAOC,OAAOC,MAAM,CAACJ,MAAMK,KAAK,EAAEJ,QAAQD,MAAMK,KAAK,CAACJ,KAAK,GAAGC;AAChE;AACA,OAAO,SAASI,WAAWN,KAAiB;IAC1C,OAAOA,MAAMH,MAAM,KAAK,gBACpB;QAAE,GAAGG,KAAK;IAAC,IACX;QACEH,QAAQG,MAAMH,MAAM;QACpBU,UAAUP,MAAMQ,QAAQ,CAACD,QAAQ;QACjCE,SAAST,MAAMQ,QAAQ,CAACC,OAAO;QAC/BC,cAAc;YAAE,GAAGV,MAAMU,YAAY;QAAC;QACtCL,OAAOM,gBACLR,OAAOS,MAAM,CAACZ,MAAMK,KAAK,EACtBQ,IAAI,CAAC,CAACC,MAAMC,QACXD,KAAKE,OAAO,GAAGD,MAAMC,OAAO,GAAG,CAAC,IAAIF,KAAKE,OAAO,GAAGD,MAAMC,OAAO,GAAG,IAAI,GAExEC,GAAG,CAAC,CAAC,EAAEC,IAAI,EAAEF,OAAO,EAAEG,MAAM,EAAEC,QAAQ,EAAE,GAAM,CAAA;gBAC7CF;gBACAG,MAAML;gBACNG;gBACAC;YACF,CAAA;IAEN;AACN;AACA,OAAO,SAASE,OAAOtB,KAAiB;IACtC,OAAOA,MAAMH,MAAM,KAAK,gBAAgBG,QAAQ;QAAE,GAAGA,KAAK;QAAEH,QAAQ;IAAS;AAC/E;AACA,OAAO,SAAS0B,UAAUT,IAAmB,EAAEC,KAAoB;IACjE,OAAOD,KAAKP,QAAQ,KAAKQ,MAAMR,QAAQ,IAAIO,KAAKL,OAAO,KAAKM,MAAMN,OAAO;AAC3E"}

package/dist/refresh.d.ts

@@ -1,4 +1,3 @@
-import type { AttachedModelBinding } from './model.js';
 import type { Adapter, AdapterFailure, Authorization } from './adapter.js';
 import { type ConfirmedLayer } from './replica.js';
 import { type Unconfirmed } from './transfer.js';
@@ -10,5 +9,5 @@ export type RefreshOutcome = {
 } | {
     kind: 'beyond-horizon';
 } | Unconfirmed | AdapterFailure;
-export declare function refreshRoom(adapter: Adapter, authorization: Authorization, confirmed: ConfirmedLayer, binding: AttachedModelBinding | null): Promise<RefreshOutcome>;
+export declare function refreshRoom(adapter: Adapter, authorization: Authorization, confirmed: ConfirmedLayer): Promise<RefreshOutcome>;
 //# sourceMappingURL=refresh.d.ts.map

package/dist/refresh.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"refresh.d.ts","sourceRoot":"","sources":["../src/refresh.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,aAAa,EAAe,MAAM,cAAc,CAAC;AACxF,OAAO,EAAc,KAAK,cAAc,EAAE,MAAM,cAAc,CAAC;AAC/D,OAAO,EAAe,KAAK,WAAW,EAAE,MAAM,eAAe,CAAC;AAE9D,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,GACzB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,cAAc,CAAA;CAAE,GAC/C;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,GAC1B,WAAW,GACX,cAAc,CAAC;AAEnB,wBAAsB,WAAW,CAC/B,OAAO,EAAE,OAAO,EAChB,aAAa,EAAE,aAAa,EAC5B,SAAS,EAAE,cAAc,EACzB,OAAO,EAAE,oBAAoB,GAAG,IAAI,GACnC,OAAO,CAAC,cAAc,CAAC,CAuDzB"}
+{"version":3,"file":"refresh.d.ts","sourceRoot":"","sources":["../src/refresh.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,cAAc,EAAE,aAAa,EAAe,MAAM,cAAc,CAAC;AACxF,OAAO,EAAc,KAAK,cAAc,EAAE,MAAM,cAAc,CAAC;AAC/D,OAAO,EAAe,KAAK,WAAW,EAAE,MAAM,eAAe,CAAC;AAE9D,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,eAAe,CAAA;CAAE,GACzB;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,SAAS,EAAE,cAAc,CAAA;CAAE,GAC/C;IAAE,IAAI,EAAE,gBAAgB,CAAA;CAAE,GAC1B,WAAW,GACX,cAAc,CAAC;AAEnB,wBAAsB,WAAW,CAC/B,OAAO,EAAE,OAAO,EAChB,aAAa,EAAE,aAAa,EAC5B,SAAS,EAAE,cAAc,GACxB,OAAO,CAAC,cAAc,CAAC,CAsDzB"}

package/dist/refresh.js

@@ -1,6 +1,6 @@
 import { readStaged } from './replica.js';
 import { unconfirmed } from './transfer.js';
-export async function refreshRoom(adapter, authorization, confirmed, binding) {
+export async function refreshRoom(adapter, authorization, confirmed) {
     const locator = confirmed.record.locator;
     const fromRoomVersion = confirmed.record.roomVersion;
     const first = await adapter.refresh(authorization, {
@@ -55,7 +55,7 @@ export async function refreshRoom(adapter, authorization, confirmed, binding) {
             ...binaryTargets
         ].sort(),
         revisions
-    }, binding, confirmed);
+    }, confirmed);
     return advanced === null ? unconfirmed : {
         kind: 'advanced',
         confirmed: advanced

package/dist/refresh.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdruntime/src/refresh.ts"],"sourcesContent":["import type { AttachedModelBinding } from './model.js';\nimport type { Adapter, AdapterFailure, Authorization, RefreshPage } from './adapter.js';\nimport { readStaged, type ConfirmedLayer } from './replica.js';\nimport { unconfirmed, type Unconfirmed } from './transfer.js';\n\nexport type RefreshOutcome =\n  | { kind: 'still-current' }\n  | { kind: 'advanced'; confirmed: ConfirmedLayer }\n  | { kind: 'beyond-horizon' }\n  | Unconfirmed\n  | AdapterFailure;\n\nexport async function refreshRoom(\n  adapter: Adapter,\n  authorization: Authorization,\n  confirmed: ConfirmedLayer,\n  binding: AttachedModelBinding | null,\n): Promise<RefreshOutcome> {\n  const locator = confirmed.record.locator;\n  const fromRoomVersion = confirmed.record.roomVersion;\n  const first = await adapter.refresh(authorization, {\n    locator,\n    selection: confirmed.record.replica.selection,\n    fromRoomVersion,\n  });\n  if (first.kind !== 'net-advancement') return first;\n  const roomVersion = first.roomVersion;\n  const documents: Record<string, string> = { ...confirmed.record.documents };\n  const revisions: Record<string, string> = { ...confirmed.record.revisions };\n  const binaryTargets = new Set(confirmed.record.binaryTargets);\n  const stage = (page: RefreshPage) => {\n    Object.assign(documents, page.documents);\n    Object.assign(revisions, page.revisions);\n    for (const path of Object.keys(page.documents)) binaryTargets.delete(path);\n    for (const target of page.binaryTargets) {\n      delete documents[target];\n      delete revisions[target];\n      binaryTargets.add(target);\n    }\n    for (const path of page.removals) {\n      delete documents[path];\n      delete revisions[path];\n      binaryTargets.delete(path);\n    }\n  };\n  stage(first);\n  let pageToken = first.pageToken;\n  while (pageToken !== undefined) {\n    const page = await adapter.refresh(authorization, {\n      locator,\n      selection: confirmed.record.replica.selection,\n      fromRoomVersion,\n      pageToken,\n    });\n    if (page.kind === 'still-current' || page.kind === 'beyond-horizon') return unconfirmed;\n    if (page.kind !== 'net-advancement') return page;\n    if (page.roomVersion !== roomVersion) return unconfirmed;\n    stage(page);\n    pageToken = page.pageToken;\n  }\n  const advanced = readStaged(\n    {\n      ...confirmed.record,\n      roomVersion,\n      documents,\n      binaryTargets: [...binaryTargets].sort(),\n      revisions,\n    },\n    binding,\n    confirmed,\n  );\n  return advanced === null ? unconfirmed : { kind: 'advanced', confirmed: advanced };\n}\n"],"names":["readStaged","unconfirmed","refreshRoom","adapter","authorization","confirmed","binding","locator","record","fromRoomVersion","roomVersion","first","refresh","selection","replica","kind","documents","revisions","binaryTargets","Set","stage","page","Object","assign","path","keys","delete","target","add","removals","pageToken","undefined","advanced","sort"],"mappings":"AAEA,SAASA,UAAU,QAA6B,eAAe;AAC/D,SAASC,WAAW,QAA0B,gBAAgB;AAS9D,OAAO,eAAeC,YACpBC,OAAgB,EAChBC,aAA4B,EAC5BC,SAAyB,EACzBC,OAAoC;IAEpC,MAAMC,UAAUF,UAAUG,MAAM,CAACD,OAAO;IACxC,MAAME,kBAAkBJ,UAAUG,MAAM,CAACE,WAAW;IACpD,MAAMC,QAAQ,MAAMR,QAAQS,OAAO,CAACR,eAAe;QACjDG;QACAM,WAAWR,UAAUG,MAAM,CAACM,OAAO,CAACD,SAAS;QAC7CJ;IACF;IACA,IAAIE,MAAMI,IAAI,KAAK,mBAAmB,OAAOJ;IAC7C,MAAMD,cAAcC,MAAMD,WAAW;IACrC,MAAMM,YAAoC;QAAE,GAAGX,UAAUG,MAAM,CAACQ,SAAS;IAAC;IAC1E,MAAMC,YAAoC;QAAE,GAAGZ,UAAUG,MAAM,CAACS,SAAS;IAAC;IAC1E,MAAMC,gBAAgB,IAAIC,IAAId,UAAUG,MAAM,CAACU,aAAa;IAC5D,MAAME,QAAQ,CAACC;QACbC,OAAOC,MAAM,CAACP,WAAWK,KAAKL,SAAS;QACvCM,OAAOC,MAAM,CAACN,WAAWI,KAAKJ,SAAS;QACvC,KAAK,MAAMO,QAAQF,OAAOG,IAAI,CAACJ,KAAKL,SAAS,EAAGE,cAAcQ,MAAM,CAACF;QACrE,KAAK,MAAMG,UAAUN,KAAKH,aAAa,CAAE;YACvC,OAAOF,SAAS,CAACW,OAAO;YACxB,OAAOV,SAAS,CAACU,OAAO;YACxBT,cAAcU,GAAG,CAACD;QACpB;QACA,KAAK,MAAMH,QAAQH,KAAKQ,QAAQ,CAAE;YAChC,OAAOb,SAAS,CAACQ,KAAK;YACtB,OAAOP,SAAS,CAACO,KAAK;YACtBN,cAAcQ,MAAM,CAACF;QACvB;IACF;IACAJ,MAAMT;IACN,IAAImB,YAAYnB,MAAMmB,SAAS;IAC/B,MAAOA,cAAcC,UAAW;QAC9B,MAAMV,OAAO,MAAMlB,QAAQS,OAAO,CAACR,eAAe;YAChDG;YACAM,WAAWR,UAAUG,MAAM,CAACM,OAAO,CAACD,SAAS;YAC7CJ;YACAqB;QACF;QACA,IAAIT,KAAKN,IAAI,KAAK,mBAAmBM,KAAKN,IAAI,KAAK,kBAAkB,OAAOd;QAC5E,IAAIoB,KAAKN,IAAI,KAAK,mBAAmB,OAAOM;QAC5C,IAAIA,KAAKX,WAAW,KAAKA,aAAa,OAAOT;QAC7CmB,MAAMC;QACNS,YAAYT,KAAKS,SAAS;IAC5B;IACA,MAAME,WAAWhC,WACf;QACE,GAAGK,UAAUG,MAAM;QACnBE;QACAM;QACAE,eAAe;eAAIA;SAAc,CAACe,IAAI;QACtChB;IACF,GACAX,SACAD;IAEF,OAAO2B,aAAa,OAAO/B,cAAc;QAAEc,MAAM;QAAYV,WAAW2B;IAAS;AACnF"}
+{"version":3,"sources":["/workspace/packages/mdruntime/src/refresh.ts"],"sourcesContent":["import type { Adapter, AdapterFailure, Authorization, RefreshPage } from './adapter.js';\nimport { readStaged, type ConfirmedLayer } from './replica.js';\nimport { unconfirmed, type Unconfirmed } from './transfer.js';\n\nexport type RefreshOutcome =\n  | { kind: 'still-current' }\n  | { kind: 'advanced'; confirmed: ConfirmedLayer }\n  | { kind: 'beyond-horizon' }\n  | Unconfirmed\n  | AdapterFailure;\n\nexport async function refreshRoom(\n  adapter: Adapter,\n  authorization: Authorization,\n  confirmed: ConfirmedLayer,\n): Promise<RefreshOutcome> {\n  const locator = confirmed.record.locator;\n  const fromRoomVersion = confirmed.record.roomVersion;\n  const first = await adapter.refresh(authorization, {\n    locator,\n    selection: confirmed.record.replica.selection,\n    fromRoomVersion,\n  });\n  if (first.kind !== 'net-advancement') return first;\n  const roomVersion = first.roomVersion;\n  const documents: Record<string, string> = { ...confirmed.record.documents };\n  const revisions: Record<string, string> = { ...confirmed.record.revisions };\n  const binaryTargets = new Set(confirmed.record.binaryTargets);\n  const stage = (page: RefreshPage) => {\n    Object.assign(documents, page.documents);\n    Object.assign(revisions, page.revisions);\n    for (const path of Object.keys(page.documents)) binaryTargets.delete(path);\n    for (const target of page.binaryTargets) {\n      delete documents[target];\n      delete revisions[target];\n      binaryTargets.add(target);\n    }\n    for (const path of page.removals) {\n      delete documents[path];\n      delete revisions[path];\n      binaryTargets.delete(path);\n    }\n  };\n  stage(first);\n  let pageToken = first.pageToken;\n  while (pageToken !== undefined) {\n    const page = await adapter.refresh(authorization, {\n      locator,\n      selection: confirmed.record.replica.selection,\n      fromRoomVersion,\n      pageToken,\n    });\n    if (page.kind === 'still-current' || page.kind === 'beyond-horizon') return unconfirmed;\n    if (page.kind !== 'net-advancement') return page;\n    if (page.roomVersion !== roomVersion) return unconfirmed;\n    stage(page);\n    pageToken = page.pageToken;\n  }\n  const advanced = readStaged(\n    {\n      ...confirmed.record,\n      roomVersion,\n      documents,\n      binaryTargets: [...binaryTargets].sort(),\n      revisions,\n    },\n    confirmed,\n  );\n  return advanced === null ? unconfirmed : { kind: 'advanced', confirmed: advanced };\n}\n"],"names":["readStaged","unconfirmed","refreshRoom","adapter","authorization","confirmed","locator","record","fromRoomVersion","roomVersion","first","refresh","selection","replica","kind","documents","revisions","binaryTargets","Set","stage","page","Object","assign","path","keys","delete","target","add","removals","pageToken","undefined","advanced","sort"],"mappings":"AACA,SAASA,UAAU,QAA6B,eAAe;AAC/D,SAASC,WAAW,QAA0B,gBAAgB;AAS9D,OAAO,eAAeC,YACpBC,OAAgB,EAChBC,aAA4B,EAC5BC,SAAyB;IAEzB,MAAMC,UAAUD,UAAUE,MAAM,CAACD,OAAO;IACxC,MAAME,kBAAkBH,UAAUE,MAAM,CAACE,WAAW;IACpD,MAAMC,QAAQ,MAAMP,QAAQQ,OAAO,CAACP,eAAe;QACjDE;QACAM,WAAWP,UAAUE,MAAM,CAACM,OAAO,CAACD,SAAS;QAC7CJ;IACF;IACA,IAAIE,MAAMI,IAAI,KAAK,mBAAmB,OAAOJ;IAC7C,MAAMD,cAAcC,MAAMD,WAAW;IACrC,MAAMM,YAAoC;QAAE,GAAGV,UAAUE,MAAM,CAACQ,SAAS;IAAC;IAC1E,MAAMC,YAAoC;QAAE,GAAGX,UAAUE,MAAM,CAACS,SAAS;IAAC;IAC1E,MAAMC,gBAAgB,IAAIC,IAAIb,UAAUE,MAAM,CAACU,aAAa;IAC5D,MAAME,QAAQ,CAACC;QACbC,OAAOC,MAAM,CAACP,WAAWK,KAAKL,SAAS;QACvCM,OAAOC,MAAM,CAACN,WAAWI,KAAKJ,SAAS;QACvC,KAAK,MAAMO,QAAQF,OAAOG,IAAI,CAACJ,KAAKL,SAAS,EAAGE,cAAcQ,MAAM,CAACF;QACrE,KAAK,MAAMG,UAAUN,KAAKH,aAAa,CAAE;YACvC,OAAOF,SAAS,CAACW,OAAO;YACxB,OAAOV,SAAS,CAACU,OAAO;YACxBT,cAAcU,GAAG,CAACD;QACpB;QACA,KAAK,MAAMH,QAAQH,KAAKQ,QAAQ,CAAE;YAChC,OAAOb,SAAS,CAACQ,KAAK;YACtB,OAAOP,SAAS,CAACO,KAAK;YACtBN,cAAcQ,MAAM,CAACF;QACvB;IACF;IACAJ,MAAMT;IACN,IAAImB,YAAYnB,MAAMmB,SAAS;IAC/B,MAAOA,cAAcC,UAAW;QAC9B,MAAMV,OAAO,MAAMjB,QAAQQ,OAAO,CAACP,eAAe;YAChDE;YACAM,WAAWP,UAAUE,MAAM,CAACM,OAAO,CAACD,SAAS;YAC7CJ;YACAqB;QACF;QACA,IAAIT,KAAKN,IAAI,KAAK,mBAAmBM,KAAKN,IAAI,KAAK,kBAAkB,OAAOb;QAC5E,IAAImB,KAAKN,IAAI,KAAK,mBAAmB,OAAOM;QAC5C,IAAIA,KAAKX,WAAW,KAAKA,aAAa,OAAOR;QAC7CkB,MAAMC;QACNS,YAAYT,KAAKS,SAAS;IAC5B;IACA,MAAME,WAAW/B,WACf;QACE,GAAGK,UAAUE,MAAM;QACnBE;QACAM;QACAE,eAAe;eAAIA;SAAc,CAACe,IAAI;QACtChB;IACF,GACAX;IAEF,OAAO0B,aAAa,OAAO9B,cAAc;QAAEa,MAAM;QAAYT,WAAW0B;IAAS;AACnF"}

package/dist/replica.d.ts

@@ -1,4 +1,3 @@
-import type { AttachedModelBinding } from './model.js';
 import { type ChangeBatch } from './change.js';
 import { type Collection, type Composition } from './collection.js';
 import { type Layer } from './overlay.js';
@@ -26,8 +25,8 @@ type ReplayStep = {
 };
 export declare function compositionOf(record: ReplicaRecord): Composition;
 export declare function readConfirmed(record: ReplicaRecord, previous?: ConfirmedLayer): ConfirmedLayer | null;
-export declare function readStaged(record: ReplicaRecord, binding: AttachedModelBinding | null, previous?: ConfirmedLayer): ConfirmedLayer | null;
-export declare function applyReturned(confirmed: ConfirmedLayer, documents: Readonly<Record<string, string>>, revisions: Readonly<Record<string, string>>, removals: readonly string[], roomVersion: string, binding: AttachedModelBinding | null): ConfirmedLayer | null;
+export declare function readStaged(record: ReplicaRecord, previous?: ConfirmedLayer): ConfirmedLayer | null;
+export declare function applyReturned(confirmed: ConfirmedLayer, documents: Readonly<Record<string, string>>, revisions: Readonly<Record<string, string>>, removals: readonly string[], roomVersion: string): ConfirmedLayer | null;
 export declare function replicaOf(confirmed: ConfirmedLayer, queue: readonly ChangeBatch[], rewriting: Rewriting, previous?: Replica): Replica;
 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":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AACvD,OAAO,EAAa,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1D,OAAO,EAIL,KAAK,UAAU,EACf,KAAK,WAAW,EACjB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAA0C,KAAK,KAAK,EAAE,MAAM,cAAc,CAAC;AAClF,OAAO,EAAqB,KAAK,SAAS,EAAE,MAAM,WAAW,CAAC;AAC9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD,MAAM,MAAM,cAAc,GAAG;IAC3B,MAAM,EAAE,aAAa,CAAC;IACtB,UAAU,EAAE,UAAU,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG;IACjC,UAAU,EAAE,UAAU,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,SAAS,EAAE,cAAc,CAAC;IAC1B,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9B,OAAO,EAAE,YAAY,CAAC;IACtB,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;CAC/B,CAAC;AAEF,KAAK,UAAU,GAAG;IAChB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,KAAK,CAAC;IACd,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,WAAW,CAAC;IACvB,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB,CAAC;AAEF,wBAAgB,aAAa,CAAC,MAAM,EAAE,aAAa,GAAG,WAAW,CAShE;AAED,wBAAgB,aAAa,CAC3B,MAAM,EAAE,aAAa,EACrB,QAAQ,CAAC,EAAE,cAAc,GACxB,cAAc,GAAG,IAAI,CASvB;AAED,wBAAgB,UAAU,CACxB,MAAM,EAAE,aAAa,EACrB,OAAO,EAAE,oBAAoB,GAAG,IAAI,EACpC,QAAQ,CAAC,EAAE,cAAc,GACxB,cAAc,GAAG,IAAI,CAkBvB;AAED,wBAAgB,aAAa,CAC3B,SAAS,EAAE,cAAc,EACzB,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC3C,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC3C,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,oBAAoB,GAAG,IAAI,GACnC,cAAc,GAAG,IAAI,CAoBvB;AAuDD,wBAAgB,SAAS,CACvB,SAAS,EAAE,cAAc,EACzB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,SAAS,EAAE,SAAS,EACpB,QAAQ,CAAC,EAAE,OAAO,GACjB,OAAO,CA2CT"}
+{"version":3,"file":"replica.d.ts","sourceRoot":"","sources":["../src/replica.ts"],"names":[],"mappings":"AAAA,OAAO,EAAa,KAAK,WAAW,EAAE,MAAM,aAAa,CAAC;AAC1D,OAAO,EAIL,KAAK,UAAU,EACf,KAAK,WAAW,EACjB,MAAM,iBAAiB,CAAC;AACzB,OAAO,EAA0C,KAAK,KAAK,EAAE,MAAM,cAAc,CAAC;AAClF,OAAO,EAAqB,KAAK,SAAS,EAAE,MAAM,WAAW,CAAC;AAC9D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD,MAAM,MAAM,cAAc,GAAG;IAC3B,MAAM,EAAE,aAAa,CAAC;IACtB,UAAU,EAAE,UAAU,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG;IACjC,UAAU,EAAE,UAAU,CAAC;CACxB,CAAC;AAEF,MAAM,MAAM,OAAO,GAAG;IACpB,SAAS,EAAE,cAAc,CAAC;IAC1B,KAAK,EAAE,SAAS,WAAW,EAAE,CAAC;IAC9B,OAAO,EAAE,YAAY,CAAC;IACtB,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;CAC/B,CAAC;AAEF,KAAK,UAAU,GAAG;IAChB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,KAAK,CAAC;IACd,KAAK,EAAE,KAAK,CAAC;IACb,SAAS,EAAE,WAAW,CAAC;IACvB,UAAU,CAAC,EAAE,UAAU,CAAC;CACzB,CAAC;AAEF,wBAAgB,aAAa,CAAC,MAAM,EAAE,aAAa,GAAG,WAAW,CAShE;AAED,wBAAgB,aAAa,CAC3B,MAAM,EAAE,aAAa,EACrB,QAAQ,CAAC,EAAE,cAAc,GACxB,cAAc,GAAG,IAAI,CASvB;AAED,wBAAgB,UAAU,CACxB,MAAM,EAAE,aAAa,EACrB,QAAQ,CAAC,EAAE,cAAc,GACxB,cAAc,GAAG,IAAI,CAgBvB;AAED,wBAAgB,aAAa,CAC3B,SAAS,EAAE,cAAc,EACzB,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC3C,SAAS,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAC3C,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,WAAW,EAAE,MAAM,GAClB,cAAc,GAAG,IAAI,CAmBvB;AAuDD,wBAAgB,SAAS,CACvB,SAAS,EAAE,cAAc,EACzB,KAAK,EAAE,SAAS,WAAW,EAAE,EAC7B,SAAS,EAAE,SAAS,EACpB,QAAQ,CAAC,EAAE,OAAO,GACjB,OAAO,CA2CT"}

package/dist/replica.js

@@ -22,14 +22,14 @@ export function readConfirmed(record, previous) {
         collection
     };
 }
-export function readStaged(record, binding, previous) {
-    if (binding !== null && (record.model.status === 'current' || record.selectionModel.status === 'current') && (previous === undefined || !sameLayerText(record, previous.record) || record.model !== previous.record.model || record.selectionModel !== previous.record.selectionModel)) {
-        const verdict = validateCollection(record.documents, record.binaryTargets, compositionOf(record), binding);
+export function readStaged(record, previous) {
+    if ((record.model.status === 'current' || record.selectionModel.status === 'current') && (previous === undefined || !sameLayerText(record, previous.record) || record.model !== previous.record.model || record.selectionModel !== previous.record.selectionModel)) {
+        const verdict = validateCollection(record.documents, record.binaryTargets, compositionOf(record));
         if (verdict.verdict === 'refuse' && verdict.rule !== 'model-unavailable') return null;
     }
     return readConfirmed(record, previous);
 }
-export function applyReturned(confirmed, documents, revisions, removals, roomVersion, binding) {
+export function applyReturned(confirmed, documents, revisions, removals, roomVersion) {
     const nextDocuments = {
         ...confirmed.record.documents,
         ...documents
@@ -52,7 +52,7 @@ export function applyReturned(confirmed, documents, revisions, removals, roomVer
         binaryTargets: [
             ...binaryTargets
         ].sort()
-    }, binding, confirmed);
+    }, confirmed);
 }
 function predicted(confirmed, batches, previous) {
     const composition = compositionOf(confirmed.record);

package/dist/replica.js.map

@@ -1 +1 @@
-{"version":3,"sources":["/workspace/packages/mdruntime/src/replica.ts"],"sourcesContent":["import type { AttachedModelBinding } from './model.js';\nimport { immutable, type ChangeBatch } from './change.js';\nimport {\n  parseCollection,\n  readCollection,\n  validateCollection,\n  type Collection,\n  type Composition,\n} from './collection.js';\nimport { overlay, overlayChanged, sameLayerText, type Layer } from './overlay.js';\nimport { providerRewritten, type Rewriting } from './save.js';\nimport type { ReplicaRecord } from './store.js';\n\nexport type ConfirmedLayer = {\n  record: ReplicaRecord;\n  collection: Collection;\n};\n\nexport type VisibleLayer = Layer & {\n  collection: Collection;\n};\n\nexport type Replica = {\n  confirmed: ConfirmedLayer;\n  queue: readonly ChangeBatch[];\n  visible: VisibleLayer;\n  replay: readonly ReplayStep[];\n};\n\ntype ReplayStep = {\n  id: string;\n  before: Layer;\n  after: Layer;\n  effective: ChangeBatch;\n  collection?: Collection;\n};\n\nexport function compositionOf(record: ReplicaRecord): Composition {\n  return {\n    collectionRoot: record.collectionRoot,\n    model: record.model,\n    selection:\n      record.typedSelection === null\n        ? null\n        : { roots: record.typedSelection.roots, model: record.selectionModel },\n  };\n}\n\nexport function readConfirmed(\n  record: ReplicaRecord,\n  previous?: ConfirmedLayer,\n): ConfirmedLayer | null {\n  const collection = readCollection(\n    record.documents,\n    compositionOf(record),\n    previous === undefined\n      ? undefined\n      : { text: previous.record.documents, collection: previous.collection },\n  );\n  return collection === null ? null : { record, collection };\n}\n\nexport function readStaged(\n  record: ReplicaRecord,\n  binding: AttachedModelBinding | null,\n  previous?: ConfirmedLayer,\n): ConfirmedLayer | null {\n  if (\n    binding !== null &&\n    (record.model.status === 'current' || record.selectionModel.status === 'current') &&\n    (previous === undefined ||\n      !sameLayerText(record, previous.record) ||\n      record.model !== previous.record.model ||\n      record.selectionModel !== previous.record.selectionModel)\n  ) {\n    const verdict = validateCollection(\n      record.documents,\n      record.binaryTargets,\n      compositionOf(record),\n      binding,\n    );\n    if (verdict.verdict === 'refuse' && verdict.rule !== 'model-unavailable') return null;\n  }\n  return readConfirmed(record, previous);\n}\n\nexport function applyReturned(\n  confirmed: ConfirmedLayer,\n  documents: Readonly<Record<string, string>>,\n  revisions: Readonly<Record<string, string>>,\n  removals: readonly string[],\n  roomVersion: string,\n  binding: AttachedModelBinding | null,\n): ConfirmedLayer | null {\n  const nextDocuments = { ...confirmed.record.documents, ...documents };\n  const nextRevisions = { ...confirmed.record.revisions, ...revisions };\n  const binaryTargets = new Set(confirmed.record.binaryTargets);\n  for (const path of removals) {\n    delete nextDocuments[path];\n    delete nextRevisions[path];\n    binaryTargets.delete(path);\n  }\n  return readStaged(\n    {\n      ...confirmed.record,\n      roomVersion,\n      documents: nextDocuments,\n      revisions: nextRevisions,\n      binaryTargets: [...binaryTargets].sort(),\n    },\n    binding,\n    confirmed,\n  );\n}\n\nfunction predicted(\n  confirmed: ConfirmedLayer,\n  batches: readonly ChangeBatch[],\n  previous?: Replica,\n): { layer: Layer; replay: readonly ReplayStep[] } {\n  const composition = compositionOf(confirmed.record);\n  let layer: Layer = confirmed.record;\n  const replay: ReplayStep[] = [];\n  const prior = new Map(previous?.replay.map((step) => [step.id, step]) ?? []);\n  for (const batch of batches) {\n    const before = layer;\n    const old = prior.get(batch.id);\n    const hasMove = batch.changes.some((change) => change.kind === 'move');\n    const reuseRewrite =\n      old?.collection !== undefined &&\n      sameLayerText(before, old.before) &&\n      old.collection.composition.collectionRoot === composition.collectionRoot &&\n      old.collection.composition.model === composition.model &&\n      old.collection.composition.selection?.model === composition.selection?.model &&\n      JSON.stringify(old.collection.composition.selection?.roots) ===\n        JSON.stringify(composition.selection?.roots);\n    const collection = hasMove\n      ? reuseRewrite\n        ? old.collection\n        : parseCollection(\n            before.documents,\n            composition,\n            old?.collection === undefined\n              ? { text: confirmed.record.documents, collection: confirmed.collection }\n              : { text: old.before.documents, collection: old.collection },\n          )\n      : undefined;\n    const effective =\n      collection === undefined\n        ? batch\n        : reuseRewrite\n          ? old.effective\n          : providerRewritten(batch, { ...before, collection });\n    layer =\n      old === undefined\n        ? overlay(before, [effective])\n        : overlayChanged(before, [effective], old.before, [old.effective], old.after);\n    replay.push({\n      id: batch.id,\n      before,\n      after: layer,\n      effective,\n      ...(collection === undefined ? {} : { collection }),\n    });\n  }\n  return { layer, replay };\n}\n\nexport function replicaOf(\n  confirmed: ConfirmedLayer,\n  queue: readonly ChangeBatch[],\n  rewriting: Rewriting,\n  previous?: Replica,\n): Replica {\n  const batches = Object.freeze(queue.map(immutable));\n  if (batches.length === 0) {\n    return {\n      confirmed,\n      queue: batches,\n      visible: {\n        documents: confirmed.record.documents,\n        binaryTargets: confirmed.record.binaryTargets,\n        revisions: confirmed.record.revisions,\n        collection: confirmed.collection,\n      },\n      replay: [],\n    };\n  }\n  const predictedState = rewriting === 'provider' ? predicted(confirmed, batches, previous) : null;\n  const layer =\n    rewriting === 'provider'\n      ? predictedState!.layer\n      : previous === undefined\n        ? overlay(confirmed.record, batches)\n        : overlayChanged(\n            confirmed.record,\n            batches,\n            previous.confirmed.record,\n            previous.queue,\n            previous.visible,\n          );\n  return {\n    confirmed,\n    queue: batches,\n    replay: predictedState?.replay ?? [],\n    visible: {\n      ...layer,\n      collection: parseCollection(\n        layer.documents,\n        compositionOf(confirmed.record),\n        previous === undefined\n          ? undefined\n          : { text: previous.visible.documents, collection: previous.visible.collection },\n      ),\n    },\n  };\n}\n"],"names":["immutable","parseCollection","readCollection","validateCollection","overlay","overlayChanged","sameLayerText","providerRewritten","compositionOf","record","collectionRoot","model","selection","typedSelection","roots","selectionModel","readConfirmed","previous","collection","documents","undefined","text","readStaged","binding","status","verdict","binaryTargets","rule","applyReturned","confirmed","revisions","removals","roomVersion","nextDocuments","nextRevisions","Set","path","delete","sort","predicted","batches","composition","layer","replay","prior","Map","map","step","id","batch","before","old","get","hasMove","changes","some","change","kind","reuseRewrite","JSON","stringify","effective","after","push","replicaOf","queue","rewriting","Object","freeze","length","visible","predictedState"],"mappings":"AACA,SAASA,SAAS,QAA0B,cAAc;AAC1D,SACEC,eAAe,EACfC,cAAc,EACdC,kBAAkB,QAGb,kBAAkB;AACzB,SAASC,OAAO,EAAEC,cAAc,EAAEC,aAAa,QAAoB,eAAe;AAClF,SAASC,iBAAiB,QAAwB,YAAY;AA2B9D,OAAO,SAASC,cAAcC,MAAqB;IACjD,OAAO;QACLC,gBAAgBD,OAAOC,cAAc;QACrCC,OAAOF,OAAOE,KAAK;QACnBC,WACEH,OAAOI,cAAc,KAAK,OACtB,OACA;YAAEC,OAAOL,OAAOI,cAAc,CAACC,KAAK;YAAEH,OAAOF,OAAOM,cAAc;QAAC;IAC3E;AACF;AAEA,OAAO,SAASC,cACdP,MAAqB,EACrBQ,QAAyB;IAEzB,MAAMC,aAAahB,eACjBO,OAAOU,SAAS,EAChBX,cAAcC,SACdQ,aAAaG,YACTA,YACA;QAAEC,MAAMJ,SAASR,MAAM,CAACU,SAAS;QAAED,YAAYD,SAASC,UAAU;IAAC;IAEzE,OAAOA,eAAe,OAAO,OAAO;QAAET;QAAQS;IAAW;AAC3D;AAEA,OAAO,SAASI,WACdb,MAAqB,EACrBc,OAAoC,EACpCN,QAAyB;IAEzB,IACEM,YAAY,QACXd,CAAAA,OAAOE,KAAK,CAACa,MAAM,KAAK,aAAaf,OAAOM,cAAc,CAACS,MAAM,KAAK,SAAQ,KAC9EP,CAAAA,aAAaG,aACZ,CAACd,cAAcG,QAAQQ,SAASR,MAAM,KACtCA,OAAOE,KAAK,KAAKM,SAASR,MAAM,CAACE,KAAK,IACtCF,OAAOM,cAAc,KAAKE,SAASR,MAAM,CAACM,cAAc,AAAD,GACzD;QACA,MAAMU,UAAUtB,mBACdM,OAAOU,SAAS,EAChBV,OAAOiB,aAAa,EACpBlB,cAAcC,SACdc;QAEF,IAAIE,QAAQA,OAAO,KAAK,YAAYA,QAAQE,IAAI,KAAK,qBAAqB,OAAO;IACnF;IACA,OAAOX,cAAcP,QAAQQ;AAC/B;AAEA,OAAO,SAASW,cACdC,SAAyB,EACzBV,SAA2C,EAC3CW,SAA2C,EAC3CC,QAA2B,EAC3BC,WAAmB,EACnBT,OAAoC;IAEpC,MAAMU,gBAAgB;QAAE,GAAGJ,UAAUpB,MAAM,CAACU,SAAS;QAAE,GAAGA,SAAS;IAAC;IACpE,MAAMe,gBAAgB;QAAE,GAAGL,UAAUpB,MAAM,CAACqB,SAAS;QAAE,GAAGA,SAAS;IAAC;IACpE,MAAMJ,gBAAgB,IAAIS,IAAIN,UAAUpB,MAAM,CAACiB,aAAa;IAC5D,KAAK,MAAMU,QAAQL,SAAU;QAC3B,OAAOE,aAAa,CAACG,KAAK;QAC1B,OAAOF,aAAa,CAACE,KAAK;QAC1BV,cAAcW,MAAM,CAACD;IACvB;IACA,OAAOd,WACL;QACE,GAAGO,UAAUpB,MAAM;QACnBuB;QACAb,WAAWc;QACXH,WAAWI;QACXR,eAAe;eAAIA;SAAc,CAACY,IAAI;IACxC,GACAf,SACAM;AAEJ;AAEA,SAASU,UACPV,SAAyB,EACzBW,OAA+B,EAC/BvB,QAAkB;IAElB,MAAMwB,cAAcjC,cAAcqB,UAAUpB,MAAM;IAClD,IAAIiC,QAAeb,UAAUpB,MAAM;IACnC,MAAMkC,SAAuB,EAAE;IAC/B,MAAMC,QAAQ,IAAIC,IAAI5B,UAAU0B,OAAOG,IAAI,CAACC,OAAS;YAACA,KAAKC,EAAE;YAAED;SAAK,KAAK,EAAE;IAC3E,KAAK,MAAME,SAAST,QAAS;QAC3B,MAAMU,SAASR;QACf,MAAMS,MAAMP,MAAMQ,GAAG,CAACH,MAAMD,EAAE;QAC9B,MAAMK,UAAUJ,MAAMK,OAAO,CAACC,IAAI,CAAC,CAACC,SAAWA,OAAOC,IAAI,KAAK;QAC/D,MAAMC,eACJP,KAAKjC,eAAeE,aACpBd,cAAc4C,QAAQC,IAAID,MAAM,KAChCC,IAAIjC,UAAU,CAACuB,WAAW,CAAC/B,cAAc,KAAK+B,YAAY/B,cAAc,IACxEyC,IAAIjC,UAAU,CAACuB,WAAW,CAAC9B,KAAK,KAAK8B,YAAY9B,KAAK,IACtDwC,IAAIjC,UAAU,CAACuB,WAAW,CAAC7B,SAAS,EAAED,UAAU8B,YAAY7B,SAAS,EAAED,SACvEgD,KAAKC,SAAS,CAACT,IAAIjC,UAAU,CAACuB,WAAW,CAAC7B,SAAS,EAAEE,WACnD6C,KAAKC,SAAS,CAACnB,YAAY7B,SAAS,EAAEE;QAC1C,MAAMI,aAAamC,UACfK,eACEP,IAAIjC,UAAU,GACdjB,gBACEiD,OAAO/B,SAAS,EAChBsB,aACAU,KAAKjC,eAAeE,YAChB;YAAEC,MAAMQ,UAAUpB,MAAM,CAACU,SAAS;YAAED,YAAYW,UAAUX,UAAU;QAAC,IACrE;YAAEG,MAAM8B,IAAID,MAAM,CAAC/B,SAAS;YAAED,YAAYiC,IAAIjC,UAAU;QAAC,KAEjEE;QACJ,MAAMyC,YACJ3C,eAAeE,YACX6B,QACAS,eACEP,IAAIU,SAAS,GACbtD,kBAAkB0C,OAAO;YAAE,GAAGC,MAAM;YAAEhC;QAAW;QACzDwB,QACES,QAAQ/B,YACJhB,QAAQ8C,QAAQ;YAACW;SAAU,IAC3BxD,eAAe6C,QAAQ;YAACW;SAAU,EAAEV,IAAID,MAAM,EAAE;YAACC,IAAIU,SAAS;SAAC,EAAEV,IAAIW,KAAK;QAChFnB,OAAOoB,IAAI,CAAC;YACVf,IAAIC,MAAMD,EAAE;YACZE;YACAY,OAAOpB;YACPmB;YACA,GAAI3C,eAAeE,YAAY,CAAC,IAAI;gBAAEF;YAAW,CAAC;QACpD;IACF;IACA,OAAO;QAAEwB;QAAOC;IAAO;AACzB;AAEA,OAAO,SAASqB,UACdnC,SAAyB,EACzBoC,KAA6B,EAC7BC,SAAoB,EACpBjD,QAAkB;IAElB,MAAMuB,UAAU2B,OAAOC,MAAM,CAACH,MAAMnB,GAAG,CAAC9C;IACxC,IAAIwC,QAAQ6B,MAAM,KAAK,GAAG;QACxB,OAAO;YACLxC;YACAoC,OAAOzB;YACP8B,SAAS;gBACPnD,WAAWU,UAAUpB,MAAM,CAACU,SAAS;gBACrCO,eAAeG,UAAUpB,MAAM,CAACiB,aAAa;gBAC7CI,WAAWD,UAAUpB,MAAM,CAACqB,SAAS;gBACrCZ,YAAYW,UAAUX,UAAU;YAClC;YACAyB,QAAQ,EAAE;QACZ;IACF;IACA,MAAM4B,iBAAiBL,cAAc,aAAa3B,UAAUV,WAAWW,SAASvB,YAAY;IAC5F,MAAMyB,QACJwB,cAAc,aACVK,eAAgB7B,KAAK,GACrBzB,aAAaG,YACXhB,QAAQyB,UAAUpB,MAAM,EAAE+B,WAC1BnC,eACEwB,UAAUpB,MAAM,EAChB+B,SACAvB,SAASY,SAAS,CAACpB,MAAM,EACzBQ,SAASgD,KAAK,EACdhD,SAASqD,OAAO;IAE1B,OAAO;QACLzC;QACAoC,OAAOzB;QACPG,QAAQ4B,gBAAgB5B,UAAU,EAAE;QACpC2B,SAAS;YACP,GAAG5B,KAAK;YACRxB,YAAYjB,gBACVyC,MAAMvB,SAAS,EACfX,cAAcqB,UAAUpB,MAAM,GAC9BQ,aAAaG,YACTA,YACA;gBAAEC,MAAMJ,SAASqD,OAAO,CAACnD,SAAS;gBAAED,YAAYD,SAASqD,OAAO,CAACpD,UAAU;YAAC;QAEpF;IACF;AACF"}
+{"version":3,"sources":["/workspace/packages/mdruntime/src/replica.ts"],"sourcesContent":["import { immutable, type ChangeBatch } from './change.js';\nimport {\n  parseCollection,\n  readCollection,\n  validateCollection,\n  type Collection,\n  type Composition,\n} from './collection.js';\nimport { overlay, overlayChanged, sameLayerText, type Layer } from './overlay.js';\nimport { providerRewritten, type Rewriting } from './save.js';\nimport type { ReplicaRecord } from './store.js';\n\nexport type ConfirmedLayer = {\n  record: ReplicaRecord;\n  collection: Collection;\n};\n\nexport type VisibleLayer = Layer & {\n  collection: Collection;\n};\n\nexport type Replica = {\n  confirmed: ConfirmedLayer;\n  queue: readonly ChangeBatch[];\n  visible: VisibleLayer;\n  replay: readonly ReplayStep[];\n};\n\ntype ReplayStep = {\n  id: string;\n  before: Layer;\n  after: Layer;\n  effective: ChangeBatch;\n  collection?: Collection;\n};\n\nexport function compositionOf(record: ReplicaRecord): Composition {\n  return {\n    collectionRoot: record.collectionRoot,\n    model: record.model,\n    selection:\n      record.typedSelection === null\n        ? null\n        : { roots: record.typedSelection.roots, model: record.selectionModel },\n  };\n}\n\nexport function readConfirmed(\n  record: ReplicaRecord,\n  previous?: ConfirmedLayer,\n): ConfirmedLayer | null {\n  const collection = readCollection(\n    record.documents,\n    compositionOf(record),\n    previous === undefined\n      ? undefined\n      : { text: previous.record.documents, collection: previous.collection },\n  );\n  return collection === null ? null : { record, collection };\n}\n\nexport function readStaged(\n  record: ReplicaRecord,\n  previous?: ConfirmedLayer,\n): ConfirmedLayer | null {\n  if (\n    (record.model.status === 'current' || record.selectionModel.status === 'current') &&\n    (previous === undefined ||\n      !sameLayerText(record, previous.record) ||\n      record.model !== previous.record.model ||\n      record.selectionModel !== previous.record.selectionModel)\n  ) {\n    const verdict = validateCollection(\n      record.documents,\n      record.binaryTargets,\n      compositionOf(record),\n    );\n    if (verdict.verdict === 'refuse' && verdict.rule !== 'model-unavailable') return null;\n  }\n  return readConfirmed(record, previous);\n}\n\nexport function applyReturned(\n  confirmed: ConfirmedLayer,\n  documents: Readonly<Record<string, string>>,\n  revisions: Readonly<Record<string, string>>,\n  removals: readonly string[],\n  roomVersion: string,\n): ConfirmedLayer | null {\n  const nextDocuments = { ...confirmed.record.documents, ...documents };\n  const nextRevisions = { ...confirmed.record.revisions, ...revisions };\n  const binaryTargets = new Set(confirmed.record.binaryTargets);\n  for (const path of removals) {\n    delete nextDocuments[path];\n    delete nextRevisions[path];\n    binaryTargets.delete(path);\n  }\n  return readStaged(\n    {\n      ...confirmed.record,\n      roomVersion,\n      documents: nextDocuments,\n      revisions: nextRevisions,\n      binaryTargets: [...binaryTargets].sort(),\n    },\n    confirmed,\n  );\n}\n\nfunction predicted(\n  confirmed: ConfirmedLayer,\n  batches: readonly ChangeBatch[],\n  previous?: Replica,\n): { layer: Layer; replay: readonly ReplayStep[] } {\n  const composition = compositionOf(confirmed.record);\n  let layer: Layer = confirmed.record;\n  const replay: ReplayStep[] = [];\n  const prior = new Map(previous?.replay.map((step) => [step.id, step]) ?? []);\n  for (const batch of batches) {\n    const before = layer;\n    const old = prior.get(batch.id);\n    const hasMove = batch.changes.some((change) => change.kind === 'move');\n    const reuseRewrite =\n      old?.collection !== undefined &&\n      sameLayerText(before, old.before) &&\n      old.collection.composition.collectionRoot === composition.collectionRoot &&\n      old.collection.composition.model === composition.model &&\n      old.collection.composition.selection?.model === composition.selection?.model &&\n      JSON.stringify(old.collection.composition.selection?.roots) ===\n        JSON.stringify(composition.selection?.roots);\n    const collection = hasMove\n      ? reuseRewrite\n        ? old.collection\n        : parseCollection(\n            before.documents,\n            composition,\n            old?.collection === undefined\n              ? { text: confirmed.record.documents, collection: confirmed.collection }\n              : { text: old.before.documents, collection: old.collection },\n          )\n      : undefined;\n    const effective =\n      collection === undefined\n        ? batch\n        : reuseRewrite\n          ? old.effective\n          : providerRewritten(batch, { ...before, collection });\n    layer =\n      old === undefined\n        ? overlay(before, [effective])\n        : overlayChanged(before, [effective], old.before, [old.effective], old.after);\n    replay.push({\n      id: batch.id,\n      before,\n      after: layer,\n      effective,\n      ...(collection === undefined ? {} : { collection }),\n    });\n  }\n  return { layer, replay };\n}\n\nexport function replicaOf(\n  confirmed: ConfirmedLayer,\n  queue: readonly ChangeBatch[],\n  rewriting: Rewriting,\n  previous?: Replica,\n): Replica {\n  const batches = Object.freeze(queue.map(immutable));\n  if (batches.length === 0) {\n    return {\n      confirmed,\n      queue: batches,\n      visible: {\n        documents: confirmed.record.documents,\n        binaryTargets: confirmed.record.binaryTargets,\n        revisions: confirmed.record.revisions,\n        collection: confirmed.collection,\n      },\n      replay: [],\n    };\n  }\n  const predictedState = rewriting === 'provider' ? predicted(confirmed, batches, previous) : null;\n  const layer =\n    rewriting === 'provider'\n      ? predictedState!.layer\n      : previous === undefined\n        ? overlay(confirmed.record, batches)\n        : overlayChanged(\n            confirmed.record,\n            batches,\n            previous.confirmed.record,\n            previous.queue,\n            previous.visible,\n          );\n  return {\n    confirmed,\n    queue: batches,\n    replay: predictedState?.replay ?? [],\n    visible: {\n      ...layer,\n      collection: parseCollection(\n        layer.documents,\n        compositionOf(confirmed.record),\n        previous === undefined\n          ? undefined\n          : { text: previous.visible.documents, collection: previous.visible.collection },\n      ),\n    },\n  };\n}\n"],"names":["immutable","parseCollection","readCollection","validateCollection","overlay","overlayChanged","sameLayerText","providerRewritten","compositionOf","record","collectionRoot","model","selection","typedSelection","roots","selectionModel","readConfirmed","previous","collection","documents","undefined","text","readStaged","status","verdict","binaryTargets","rule","applyReturned","confirmed","revisions","removals","roomVersion","nextDocuments","nextRevisions","Set","path","delete","sort","predicted","batches","composition","layer","replay","prior","Map","map","step","id","batch","before","old","get","hasMove","changes","some","change","kind","reuseRewrite","JSON","stringify","effective","after","push","replicaOf","queue","rewriting","Object","freeze","length","visible","predictedState"],"mappings":"AAAA,SAASA,SAAS,QAA0B,cAAc;AAC1D,SACEC,eAAe,EACfC,cAAc,EACdC,kBAAkB,QAGb,kBAAkB;AACzB,SAASC,OAAO,EAAEC,cAAc,EAAEC,aAAa,QAAoB,eAAe;AAClF,SAASC,iBAAiB,QAAwB,YAAY;AA2B9D,OAAO,SAASC,cAAcC,MAAqB;IACjD,OAAO;QACLC,gBAAgBD,OAAOC,cAAc;QACrCC,OAAOF,OAAOE,KAAK;QACnBC,WACEH,OAAOI,cAAc,KAAK,OACtB,OACA;YAAEC,OAAOL,OAAOI,cAAc,CAACC,KAAK;YAAEH,OAAOF,OAAOM,cAAc;QAAC;IAC3E;AACF;AAEA,OAAO,SAASC,cACdP,MAAqB,EACrBQ,QAAyB;IAEzB,MAAMC,aAAahB,eACjBO,OAAOU,SAAS,EAChBX,cAAcC,SACdQ,aAAaG,YACTA,YACA;QAAEC,MAAMJ,SAASR,MAAM,CAACU,SAAS;QAAED,YAAYD,SAASC,UAAU;IAAC;IAEzE,OAAOA,eAAe,OAAO,OAAO;QAAET;QAAQS;IAAW;AAC3D;AAEA,OAAO,SAASI,WACdb,MAAqB,EACrBQ,QAAyB;IAEzB,IACE,AAACR,CAAAA,OAAOE,KAAK,CAACY,MAAM,KAAK,aAAad,OAAOM,cAAc,CAACQ,MAAM,KAAK,SAAQ,KAC9EN,CAAAA,aAAaG,aACZ,CAACd,cAAcG,QAAQQ,SAASR,MAAM,KACtCA,OAAOE,KAAK,KAAKM,SAASR,MAAM,CAACE,KAAK,IACtCF,OAAOM,cAAc,KAAKE,SAASR,MAAM,CAACM,cAAc,AAAD,GACzD;QACA,MAAMS,UAAUrB,mBACdM,OAAOU,SAAS,EAChBV,OAAOgB,aAAa,EACpBjB,cAAcC;QAEhB,IAAIe,QAAQA,OAAO,KAAK,YAAYA,QAAQE,IAAI,KAAK,qBAAqB,OAAO;IACnF;IACA,OAAOV,cAAcP,QAAQQ;AAC/B;AAEA,OAAO,SAASU,cACdC,SAAyB,EACzBT,SAA2C,EAC3CU,SAA2C,EAC3CC,QAA2B,EAC3BC,WAAmB;IAEnB,MAAMC,gBAAgB;QAAE,GAAGJ,UAAUnB,MAAM,CAACU,SAAS;QAAE,GAAGA,SAAS;IAAC;IACpE,MAAMc,gBAAgB;QAAE,GAAGL,UAAUnB,MAAM,CAACoB,SAAS;QAAE,GAAGA,SAAS;IAAC;IACpE,MAAMJ,gBAAgB,IAAIS,IAAIN,UAAUnB,MAAM,CAACgB,aAAa;IAC5D,KAAK,MAAMU,QAAQL,SAAU;QAC3B,OAAOE,aAAa,CAACG,KAAK;QAC1B,OAAOF,aAAa,CAACE,KAAK;QAC1BV,cAAcW,MAAM,CAACD;IACvB;IACA,OAAOb,WACL;QACE,GAAGM,UAAUnB,MAAM;QACnBsB;QACAZ,WAAWa;QACXH,WAAWI;QACXR,eAAe;eAAIA;SAAc,CAACY,IAAI;IACxC,GACAT;AAEJ;AAEA,SAASU,UACPV,SAAyB,EACzBW,OAA+B,EAC/BtB,QAAkB;IAElB,MAAMuB,cAAchC,cAAcoB,UAAUnB,MAAM;IAClD,IAAIgC,QAAeb,UAAUnB,MAAM;IACnC,MAAMiC,SAAuB,EAAE;IAC/B,MAAMC,QAAQ,IAAIC,IAAI3B,UAAUyB,OAAOG,IAAI,CAACC,OAAS;YAACA,KAAKC,EAAE;YAAED;SAAK,KAAK,EAAE;IAC3E,KAAK,MAAME,SAAST,QAAS;QAC3B,MAAMU,SAASR;QACf,MAAMS,MAAMP,MAAMQ,GAAG,CAACH,MAAMD,EAAE;QAC9B,MAAMK,UAAUJ,MAAMK,OAAO,CAACC,IAAI,CAAC,CAACC,SAAWA,OAAOC,IAAI,KAAK;QAC/D,MAAMC,eACJP,KAAKhC,eAAeE,aACpBd,cAAc2C,QAAQC,IAAID,MAAM,KAChCC,IAAIhC,UAAU,CAACsB,WAAW,CAAC9B,cAAc,KAAK8B,YAAY9B,cAAc,IACxEwC,IAAIhC,UAAU,CAACsB,WAAW,CAAC7B,KAAK,KAAK6B,YAAY7B,KAAK,IACtDuC,IAAIhC,UAAU,CAACsB,WAAW,CAAC5B,SAAS,EAAED,UAAU6B,YAAY5B,SAAS,EAAED,SACvE+C,KAAKC,SAAS,CAACT,IAAIhC,UAAU,CAACsB,WAAW,CAAC5B,SAAS,EAAEE,WACnD4C,KAAKC,SAAS,CAACnB,YAAY5B,SAAS,EAAEE;QAC1C,MAAMI,aAAakC,UACfK,eACEP,IAAIhC,UAAU,GACdjB,gBACEgD,OAAO9B,SAAS,EAChBqB,aACAU,KAAKhC,eAAeE,YAChB;YAAEC,MAAMO,UAAUnB,MAAM,CAACU,SAAS;YAAED,YAAYU,UAAUV,UAAU;QAAC,IACrE;YAAEG,MAAM6B,IAAID,MAAM,CAAC9B,SAAS;YAAED,YAAYgC,IAAIhC,UAAU;QAAC,KAEjEE;QACJ,MAAMwC,YACJ1C,eAAeE,YACX4B,QACAS,eACEP,IAAIU,SAAS,GACbrD,kBAAkByC,OAAO;YAAE,GAAGC,MAAM;YAAE/B;QAAW;QACzDuB,QACES,QAAQ9B,YACJhB,QAAQ6C,QAAQ;YAACW;SAAU,IAC3BvD,eAAe4C,QAAQ;YAACW;SAAU,EAAEV,IAAID,MAAM,EAAE;YAACC,IAAIU,SAAS;SAAC,EAAEV,IAAIW,KAAK;QAChFnB,OAAOoB,IAAI,CAAC;YACVf,IAAIC,MAAMD,EAAE;YACZE;YACAY,OAAOpB;YACPmB;YACA,GAAI1C,eAAeE,YAAY,CAAC,IAAI;gBAAEF;YAAW,CAAC;QACpD;IACF;IACA,OAAO;QAAEuB;QAAOC;IAAO;AACzB;AAEA,OAAO,SAASqB,UACdnC,SAAyB,EACzBoC,KAA6B,EAC7BC,SAAoB,EACpBhD,QAAkB;IAElB,MAAMsB,UAAU2B,OAAOC,MAAM,CAACH,MAAMnB,GAAG,CAAC7C;IACxC,IAAIuC,QAAQ6B,MAAM,KAAK,GAAG;QACxB,OAAO;YACLxC;YACAoC,OAAOzB;YACP8B,SAAS;gBACPlD,WAAWS,UAAUnB,MAAM,CAACU,SAAS;gBACrCM,eAAeG,UAAUnB,MAAM,CAACgB,aAAa;gBAC7CI,WAAWD,UAAUnB,MAAM,CAACoB,SAAS;gBACrCX,YAAYU,UAAUV,UAAU;YAClC;YACAwB,QAAQ,EAAE;QACZ;IACF;IACA,MAAM4B,iBAAiBL,cAAc,aAAa3B,UAAUV,WAAWW,SAAStB,YAAY;IAC5F,MAAMwB,QACJwB,cAAc,aACVK,eAAgB7B,KAAK,GACrBxB,aAAaG,YACXhB,QAAQwB,UAAUnB,MAAM,EAAE8B,WAC1BlC,eACEuB,UAAUnB,MAAM,EAChB8B,SACAtB,SAASW,SAAS,CAACnB,MAAM,EACzBQ,SAAS+C,KAAK,EACd/C,SAASoD,OAAO;IAE1B,OAAO;QACLzC;QACAoC,OAAOzB;QACPG,QAAQ4B,gBAAgB5B,UAAU,EAAE;QACpC2B,SAAS;YACP,GAAG5B,KAAK;YACRvB,YAAYjB,gBACVwC,MAAMtB,SAAS,EACfX,cAAcoB,UAAUnB,MAAM,GAC9BQ,aAAaG,YACTA,YACA;gBAAEC,MAAMJ,SAASoD,OAAO,CAAClD,SAAS;gBAAED,YAAYD,SAASoD,OAAO,CAACnD,UAAU;YAAC;QAEpF;IACF;AACF"}

package/dist/save.d.ts

@@ -1,10 +1,8 @@
-import type { AttachedModelBinding } from './model.js';
 import type { ProviderLimit } from './adapter.js';
 import { type Change, type ChangeBatch, type WrittenBy } from './change.js';
 import { type Composition } from './collection.js';
 import type { VisibleLayer } from './replica.js';
 export type SaveRefusal = {
-    source?: 'model';
     rule: string;
     file?: string;
     location?: string;
@@ -16,7 +14,6 @@ export type SaveInput = {
     rewriting: Rewriting;
     baseRoomVersion: string;
     operations: import('./adapter.js').OperationScopes;
-    binding: AttachedModelBinding | null;
     providerOwnedPaths: readonly string[];
     providerLimits: readonly ProviderLimit[];
     visible: VisibleLayer;

package/dist/save.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"save.d.ts","sourceRoot":"","sources":["../src/save.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAc,MAAM,YAAY,CAAC;AAEnE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAEL,KAAK,MAAM,EACX,KAAK,WAAW,EAEhB,KAAK,SAAS,EACf,MAAM,aAAa,CAAC;AACrB,OAAO,EAML,KAAK,WAAW,EAEjB,MAAM,iBAAiB,CAAC;AAIzB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,MAAM,MAAM,WAAW,GAAG;IACxB,MAAM,CAAC,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,UAAU,CAAC;AAE/C,MAAM,MAAM,SAAS,GAAG;IACtB,WAAW,EAAE,WAAW,CAAC;IACzB,SAAS,EAAE,SAAS,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,OAAO,cAAc,EAAE,eAAe,CAAC;IACnD,OAAO,EAAE,oBAAoB,GAAG,IAAI,CAAC;IACrC,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,OAAO,EAAE,YAAY,CAAC;IACtB,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GACrC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAC;AAsN9C,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,GAAG,WAAW,CAOxF;AAoMD,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,GAAG,WAAW,CAwGxD"}
+{"version":3,"file":"save.d.ts","sourceRoot":"","sources":["../src/save.ts"],"names":[],"mappings":"AASA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAClD,OAAO,EAEL,KAAK,MAAM,EACX,KAAK,WAAW,EAEhB,KAAK,SAAS,EACf,MAAM,aAAa,CAAC;AACrB,OAAO,EAKL,KAAK,WAAW,EACjB,MAAM,iBAAiB,CAAC;AAIzB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC;AAEjD,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,SAAS,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG,SAAS,GAAG,UAAU,CAAC;AAE/C,MAAM,MAAM,SAAS,GAAG;IACtB,WAAW,EAAE,WAAW,CAAC;IACzB,SAAS,EAAE,SAAS,CAAC;IACrB,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,OAAO,cAAc,EAAE,eAAe,CAAC;IACnD,kBAAkB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IACzC,OAAO,EAAE,YAAY,CAAC;IACtB,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3B,SAAS,CAAC,EAAE,SAAS,CAAC;CACvB,CAAC;AAEF,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GACrC;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,OAAO,EAAE,WAAW,CAAA;CAAE,CAAC;AAgN9C,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,YAAY,GAAG,WAAW,CAOxF;AAqLD,wBAAgB,UAAU,CAAC,KAAK,EAAE,SAAS,GAAG,WAAW,CAgGxD"}

package/dist/save.js

@@ -1,6 +1,7 @@
+import { definitionOf } from './model.js';
 import { apply, links, parse, serialize } from '@agentshouse/mdmodel';
 import { immutable } from './change.js';
-import { governing, parseCollection, typesAt, validateCollection } from './collection.js';
+import { governing, parseCollection, validateCollection } from './collection.js';
 import { changeBatchIdentity } from './identity.js';
 import { overlay } from './overlay.js';
 import { beneath, covered, normalize, relative, resolve } from './paths.js';
@@ -84,12 +85,7 @@ function expand(changes, visible) {
     };
 }
 function referenceField(spec) {
-    if (typeof spec !== 'object' || spec === null) return false;
-    const declared = spec;
-    return declared.kind === 'reference' || declared.kind === 'list' && declared.of === 'reference';
-}
-function definitionOf(types, type) {
-    return types.find((declared)=>declared.name === type);
+    return spec.kind === 'reference' || spec.kind === 'list' && spec.of.kind === 'reference';
 }
 function retarget(value, from, to, moves) {
     if (Array.isArray(value)) {
@@ -216,7 +212,7 @@ function rewrites(changes, visible) {
     for (const [path, document] of Object.entries(visible.collection.documents)){
         if (settled.has(path)) continue;
         const moved = moves.get(path) ?? path;
-        const definition = definitionOf(typesAt(visible.collection.composition, path), document.type);
+        const definition = definitionOf(governing(visible.collection.composition, path), document.type);
         for (const [name, spec] of Object.entries(definition?.fields ?? {})){
             if (!referenceField(spec) || settled.has(`${path} ${name}`)) continue;
             const value = retarget(document.fields[name], path, moved, moves);
@@ -288,7 +284,7 @@ function incoming(collection, removed) {
         found.set(target, referrers);
     };
     for (const [path, document] of Object.entries(collection.documents)){
-        const definition = definitionOf(typesAt(collection.composition, path), document.type);
+        const definition = definitionOf(governing(collection.composition, path), document.type);
         for (const [name, spec] of Object.entries(definition?.fields ?? {})){
             if (!referenceField(spec)) continue;
             for (const target of targets(document.fields[name], path))note(target, path);
@@ -320,29 +316,15 @@ function affected(change) {
         change.path
     ];
 }
-function definitionAddresses(composition) {
-    const addresses = new Set();
-    if (composition.model.status !== 'unavailable') {
-        for (const path of Object.keys(composition.model.snapshot.definitions))addresses.add(path);
-    }
-    if (composition.selection !== null && composition.selection.model.status !== 'unavailable') {
-        for (const path of Object.keys(composition.selection.model.snapshot.definitions)){
-            addresses.add(path);
-        }
-    }
-    return addresses;
-}
 function guard(changes, input) {
     const existing = new Set([
         ...Object.keys(input.visible.documents),
         ...input.visible.binaryTargets
     ]);
-    const definitions = definitionAddresses(input.composition);
     for (const change of changes){
         for (const path of affected(change)){
             const normalized = normalize(path);
             if (normalized === null || normalized === '') return refuse('room-root', path);
-            if (definitions.has(normalized)) return refuse('model-definition', normalized);
             if (covered(input.providerOwnedPaths, normalized)) {
                 return refuse('provider-owned-path', normalized);
             }
@@ -511,18 +493,13 @@ export function buildBatch(input) {
     ].filter((path)=>typed(input.visible.documents[path]) || typed(resulting.documents[path]));
     const needsModel = typedPaths.length > 0;
     const withoutModel = typedPaths.find((path)=>governing(input.composition, path).status === 'unavailable');
-    if (needsModel && (withoutModel !== undefined || input.binding === null)) {
-        return refuse('model-unavailable', withoutModel ?? typedPaths[0]);
-    }
+    if (withoutModel !== undefined) return refuse('model-unavailable', withoutModel);
     const validationText = needsModel ? resulting.documents : Object.fromEntries(Object.entries(resulting.documents).filter(([path])=>predicted.changes.some((change)=>affected(change).includes(path))));
-    const verdict = validateCollection(validationText, resulting.binaryTargets, input.composition, input.binding);
+    const verdict = validateCollection(validationText, resulting.binaryTargets, input.composition);
     if (verdict.verdict === 'refuse') {
         return {
             kind: 'refused',
             refusal: {
-                ...verdict.source === 'model' ? {
-                    source: 'model'
-                } : {},
                 rule: verdict.rule,
                 file: verdict.file,
                 ...verdict.location === undefined ? {} : {