@haverstack/core 0.40.0 → 0.42.0

package/dist/index.d.ts

@@ -17,21 +17,27 @@
  * adapter-api, record-adapter-sqlite, record-adapter-do-sqlite,
  * blob-adapter-disk and blob-adapter-s3, all under @haverstack/.
  */
-export { Stack } from './stack.js';
-export { ScopedStack } from './scoped-stack.js';
-export type { StackClient, CreateRecordOptions, BackdatableCreateRecordOptions, StackOptions, DefineTypeOptions, GetRecordOptions, DeleteRecordOptions, DeleteResult, DeleteAndReturnResult, CollectAttachmentGarbageOptions, CollectAttachmentGarbageResult, } from './stack.js';
-export { typeHandle } from './type-handle.js';
-export type { TypeHandle, ContentOf, PatchOf, TypedRecord, TypedQuery, TypedChange, TypedChangeSet, TypedSubscribeOptions, ReadonlyFieldDef, ReadonlyTypeSchema, } from './type-handle.js';
+export { Stack } from './stack/stack.js';
+export { ScopedStack } from './scoped-stack/scoped-stack.js';
+export type { StackClient, CreateRecordOptions, BackdatableCreateRecordOptions, StackOptions, DefineTypeOptions, GetRecordOptions, DeleteRecordOptions, DeleteResult, DeleteAndReturnResult, CollectAttachmentGarbageOptions, CollectAttachmentGarbageResult, MigrateAllOptions, } from './stack/client.js';
+export type { AppManifest, InstallPlan, ForeignRequest, TypeChange } from './install.js';
+export { isPlanEmpty } from './install.js';
+export { typeHandle, migration } from './type-handle.js';
+export { rename, map, add, drop, derive } from './migration-steps.js';
+export type { MigrationStep, RenameStep, MapStep, AddStep, DropStep, DeriveStep, } from './migration-steps.js';
+export type { TypeHandle, Migration, ContentOf, StoredContentOf, UnlistedValue, ReadonlyFieldDef, ReadonlyTypeSchema, } from './type-handle.js';
+export { MisfitError } from './collection.js';
+export type { Collection, CollectionRecord, CollectionPage, CollectionQuery, CollectionChange, CollectionChangeSet, CollectionSubscribeOptions, ContentPatch, ContentPathOf, Misfit, SortableFieldOf, StoredContent, } from './collection.js';
 export { StackError, StackValidationError, StackMigrationError, StackPermissionError, StackNotFoundError, StackConflictError, StackVersionConflictError, StackBadRequestError, StackSchemaDriftError, StackPayloadTooLargeError, StackTimeoutError, } from './errors.js';
 export { UseAfterCloseError, InvalidAdapterError, RelayScopeError } from './errors.js';
 export type { StackErrorCode } from './errors.js';
-export type { RecordId, TypeId, BaseId, FileId, EntityId, AppId, AttachmentContent, StackRecord, RecordChangeSet, RecordVersion, RecordJournalEntry, JournalQuery, VersionsQuery, Actor, ActorOptions, ChangeKind, ChangeOp, ChangeActor, RecordChange, ChangeFilter, SubscribeOptions, Unsubscribe, StackType, TypeSchema, FieldDef, ScalarFieldDef, ArrayFieldDef, ObjectFieldDef, ScalarFieldKind, Association, TagAssociation, AttachmentAssociation, RelationshipAssociation, PermissionAssociation, Grantee, GroupRole, AnyoneAssociation, AuthorityAssociation, DataAssociation, AssociationChange, AssociationEdit, RelationshipTarget, RecordTarget, EntityTarget, ExternalTarget, StackQuery, RecordFilter, RelatedToFilter, AttachmentFilter, RelationshipTargetPattern, QuerySort, NativeSortField, QueryResult, DateRange, Migration, MigrationFn, StackCapabilities, ContentFilterReach, MissingCapability, IfVersionOptions, EntityContent, AppContent, GroupContent, GrantAction, GrantContent, GrantGrantee, TypeGrant, PutAttachmentOptions, ConfigContent, } from './types.js';
+export type { RecordId, TypeId, BaseId, FileId, EntityId, AppId, AttachmentContent, StackRecord, RecordChangeSet, RecordVersion, RecordJournalEntry, JournalQuery, VersionsQuery, Actor, ActorOptions, ChangeKind, ChangeOp, ChangeActor, RecordChange, ChangeFilter, SubscribeOptions, Unsubscribe, StackType, TypeSchema, FieldDef, ScalarFieldDef, EnumFieldDef, ArrayFieldDef, ObjectFieldDef, ScalarFieldKind, Association, TagAssociation, AttachmentAssociation, RelationshipAssociation, PermissionAssociation, Grantee, GroupRole, AnyoneAssociation, AuthorityAssociation, DataAssociation, AssociationChange, AssociationEdit, RelationshipTarget, RecordTarget, EntityTarget, ExternalTarget, StackQuery, RecordFilter, RelatedToFilter, AttachmentFilter, RelationshipTargetPattern, QuerySort, ContentArm, ContentSortKey, NativeSortField, QueryResult, DateRange, StackCapabilities, ContentFilterReach, MissingCapability, IfVersionOptions, EntityContent, AppContent, GroupContent, GrantAction, GrantContent, GrantGrantee, InstallContent, InstallRequest, TypeGrant, PutAttachmentOptions, ConfigContent, } from './types/index.js';
 export type { GrantQuery } from './grants.js';
-export { SYSTEM_TYPES, NATIVE_SORT_FIELDS } from './types.js';
+export { SYSTEM_TYPES, NATIVE_SORT_FIELDS } from './types/index.js';
 export { generateId } from './id.js';
 export { hashSchema, isCompatible } from './schema.js';
 export type { SchemaDriftViolation } from './schema.js';
 export type { ValidationError } from './validate.js';
 export { applyMergePatch } from './merge.js';
-export { assertOneSurface } from './record-changes.js';
+export { assertOneSurface, isAuthorityAssociation } from './associations/identity.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;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,YAAY,EACV,WAAW,EACX,mBAAmB,EACnB,8BAA8B,EAC9B,YAAY,EACZ,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,YAAY,EACZ,qBAAqB,EACrB,+BAA+B,EAC/B,8BAA8B,GAC/B,MAAM,YAAY,CAAC;AAGpB,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAC9C,YAAY,EACV,UAAU,EACV,SAAS,EACT,OAAO,EACP,WAAW,EACX,UAAU,EACV,WAAW,EACX,cAAc,EACd,qBAAqB,EACrB,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EACL,UAAU,EACV,oBAAoB,EACpB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,EAClB,yBAAyB,EACzB,oBAAoB,EACpB,qBAAqB,EACrB,yBAAyB,EACzB,iBAAiB,GAClB,MAAM,aAAa,CAAC;AAGrB,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACvF,YAAY,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAGlD,YAAY,EACV,QAAQ,EACR,MAAM,EACN,MAAM,EACN,MAAM,EACN,QAAQ,EACR,KAAK,EACL,iBAAiB,EACjB,WAAW,EACX,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,YAAY,EACZ,aAAa,EACb,KAAK,EACL,YAAY,EACZ,UAAU,EACV,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,WAAW,EACX,SAAS,EACT,UAAU,EACV,QAAQ,EACR,cAAc,EACd,aAAa,EACb,cAAc,EACd,eAAe,EACf,WAAW,EACX,cAAc,EACd,qBAAqB,EACrB,uBAAuB,EACvB,qBAAqB,EACrB,OAAO,EACP,SAAS,EACT,iBAAiB,EACjB,oBAAoB,EACpB,eAAe,EACf,iBAAiB,EACjB,eAAe,EACf,kBAAkB,EAClB,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,UAAU,EACV,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,yBAAyB,EACzB,SAAS,EACT,eAAe,EACf,WAAW,EACX,SAAS,EACT,SAAS,EACT,WAAW,EACX,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,aAAa,EACb,UAAU,EACV,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,SAAS,EACT,oBAAoB,EACpB,aAAa,GACd,MAAM,YAAY,CAAC;AAEpB,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAM9D,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AACvD,YAAY,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACxD,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAC7D,YAAY,EACV,WAAW,EACX,mBAAmB,EACnB,8BAA8B,EAC9B,YAAY,EACZ,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,YAAY,EACZ,qBAAqB,EACrB,+BAA+B,EAC/B,8BAA8B,EAC9B,iBAAiB,GAClB,MAAM,mBAAmB,CAAC;AAC3B,YAAY,EAAE,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AACzF,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAG3C,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AACtE,YAAY,EACV,aAAa,EACb,UAAU,EACV,OAAO,EACP,OAAO,EACP,QAAQ,EACR,UAAU,GACX,MAAM,sBAAsB,CAAC;AAC9B,YAAY,EACV,UAAU,EACV,SAAS,EACT,SAAS,EACT,eAAe,EACf,aAAa,EACb,gBAAgB,EAChB,kBAAkB,GACnB,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAC9C,YAAY,EACV,UAAU,EACV,gBAAgB,EAChB,cAAc,EACd,eAAe,EACf,gBAAgB,EAChB,mBAAmB,EACnB,0BAA0B,EAC1B,YAAY,EACZ,aAAa,EACb,MAAM,EACN,eAAe,EACf,aAAa,GACd,MAAM,iBAAiB,CAAC;AAGzB,OAAO,EACL,UAAU,EACV,oBAAoB,EACpB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,EAClB,yBAAyB,EACzB,oBAAoB,EACpB,qBAAqB,EACrB,yBAAyB,EACzB,iBAAiB,GAClB,MAAM,aAAa,CAAC;AAGrB,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AACvF,YAAY,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAGlD,YAAY,EACV,QAAQ,EACR,MAAM,EACN,MAAM,EACN,MAAM,EACN,QAAQ,EACR,KAAK,EACL,iBAAiB,EACjB,WAAW,EACX,eAAe,EACf,aAAa,EACb,kBAAkB,EAClB,YAAY,EACZ,aAAa,EACb,KAAK,EACL,YAAY,EACZ,UAAU,EACV,QAAQ,EACR,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,gBAAgB,EAChB,WAAW,EACX,SAAS,EACT,UAAU,EACV,QAAQ,EACR,cAAc,EACd,YAAY,EACZ,aAAa,EACb,cAAc,EACd,eAAe,EACf,WAAW,EACX,cAAc,EACd,qBAAqB,EACrB,uBAAuB,EACvB,qBAAqB,EACrB,OAAO,EACP,SAAS,EACT,iBAAiB,EACjB,oBAAoB,EACpB,eAAe,EACf,iBAAiB,EACjB,eAAe,EACf,kBAAkB,EAClB,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,UAAU,EACV,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,yBAAyB,EACzB,SAAS,EACT,UAAU,EACV,cAAc,EACd,eAAe,EACf,WAAW,EACX,SAAS,EACT,iBAAiB,EACjB,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,EAChB,aAAa,EACb,UAAU,EACV,YAAY,EACZ,WAAW,EACX,YAAY,EACZ,YAAY,EACZ,cAAc,EACd,cAAc,EACd,SAAS,EACT,oBAAoB,EACpB,aAAa,GACd,MAAM,kBAAkB,CAAC;AAE1B,YAAY,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAMpE,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AACvD,YAAY,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AACxD,YAAY,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AACrD,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC"}

package/dist/index.js

@@ -18,21 +18,25 @@
  * blob-adapter-disk and blob-adapter-s3, all under @haverstack/.
  */
 // Core class and client interface
-export { Stack } from './stack.js';
-export { ScopedStack } from './scoped-stack.js';
+export { Stack } from './stack/stack.js';
+export { ScopedStack } from './scoped-stack/scoped-stack.js';
+export { isPlanEmpty } from './install.js';
 // Type handles
-export { typeHandle } from './type-handle.js';
+export { typeHandle, migration } from './type-handle.js';
+export { rename, map, add, drop, derive } from './migration-steps.js';
+// Collections
+export { MisfitError } from './collection.js';
 // The error taxonomy
 export { StackError, StackValidationError, StackMigrationError, StackPermissionError, StackNotFoundError, StackConflictError, StackVersionConflictError, StackBadRequestError, StackSchemaDriftError, StackPayloadTooLargeError, StackTimeoutError, } from './errors.js';
 // Local errors outside the taxonomy — no wire representation, and no
 // `Stack` prefix. See docs/spec/wire-format.md § The taxonomy root.
 export { UseAfterCloseError, InvalidAdapterError, RelayScopeError } from './errors.js';
-export { SYSTEM_TYPES, NATIVE_SORT_FIELDS } from './types.js';
+export { SYSTEM_TYPES, NATIVE_SORT_FIELDS } from './types/index.js';
 // Utilities
 // No in-repo caller: client-minted IDs are the default per spec, and an app
 // needing the ID before the write round-trips has to mint one itself.
 export { generateId } from './id.js';
 export { hashSchema, isCompatible } from './schema.js';
 export { applyMergePatch } from './merge.js';
-export { assertOneSurface } from './record-changes.js';
+export { assertOneSurface, isAuthorityAssociation } from './associations/identity.js';
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,kCAAkC;AAClC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAehD,eAAe;AACf,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAc9C,qBAAqB;AACrB,OAAO,EACL,UAAU,EACV,oBAAoB,EACpB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,EAClB,yBAAyB,EACzB,oBAAoB,EACpB,qBAAqB,EACrB,yBAAyB,EACzB,iBAAiB,GAClB,MAAM,aAAa,CAAC;AACrB,qEAAqE;AACrE,oEAAoE;AACpE,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AA8EvF,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,YAAY,CAAC;AAE9D,YAAY;AAEZ,4EAA4E;AAC5E,sEAAsE;AACtE,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAGvD,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAEH,kCAAkC;AAClC,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAC;AAgB7D,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAE3C,eAAe;AACf,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACzD,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAmBtE,cAAc;AACd,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAgB9C,qBAAqB;AACrB,OAAO,EACL,UAAU,EACV,oBAAoB,EACpB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,EAClB,yBAAyB,EACzB,oBAAoB,EACpB,qBAAqB,EACrB,yBAAyB,EACzB,iBAAiB,GAClB,MAAM,aAAa,CAAC;AACrB,qEAAqE;AACrE,oEAAoE;AACpE,OAAO,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAiFvF,OAAO,EAAE,YAAY,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAEpE,YAAY;AAEZ,4EAA4E;AAC5E,sEAAsE;AACtE,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAGvD,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAC;AAC7C,OAAO,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,4BAA4B,CAAC"}

package/dist/install.d.ts

@@ -0,0 +1,141 @@
+/**
+ * App installs
+ * -------------------------------------------------------
+ * An app the owner does not run ships a manifest — the types it defines
+ * and the type-level grants it asks for — and the owner applies it with
+ * `Stack.planInstall()` then `Stack.installApp()`. What the stack keeps is
+ * not the manifest but the owner's approval of it: an `_install` Record,
+ * one per `appId`, linked by association to the `_app` cards it was
+ * installed for and the `_grant` Records it produced. Its version history
+ * is the upgrade log, and soft-deleting it is uninstalling.
+ *
+ * An install claims the families it defines, one install per family. That
+ * claim is what lets a contained app commit migrations within its own
+ * families without the owner running its code — see
+ * ScopedStack.commitMigration().
+ *
+ * This module holds the parts that read an install as data: the write-time
+ * shape rules, the family claim, and the plan diff. The verbs that write
+ * are in stack/install-app.ts. See docs/spec/apps.md.
+ */
+import type { AppId, AuthorityAssociation, BaseId, EntityId, GrantContent, InstallContent, InstallRequest, RecordId, RelationshipAssociation, StackRecord, TypeId } from './types/index.js';
+import type { DefineTypeOptions } from './stack/client.js';
+import type { ValidationError } from './validate.js';
+/** What an app ships: the types it defines and the grants it asks for. */
+export type AppManifest = {
+    appId: AppId;
+    name: string;
+    version?: string;
+    types: DefineTypeOptions[];
+    requests: InstallRequest[];
+};
+/** A request on a family this install does not define, and who owns that family. */
+export type ForeignRequest = InstallRequest & {
+    /**
+     * The app whose namespace the family is in, whether or not it is
+     * installed; `'commons'` or `'system'` for families no app owns; null
+     * for a family with no namespace.
+     */
+    owner: AppId | 'commons' | 'system' | null;
+};
+/**
+ * A manifest type whose definition would write: one not yet defined, or
+ * defined with a different schema or name. Commons types included, since
+ * defining one claims nothing but still fixes its shape for every app.
+ */
+export type TypeChange = {
+    id: TypeId;
+    change: 'new' | 'schema' | 'name';
+};
+/**
+ * What applying a manifest would change, for the owner to approve.
+ * `installApp()` applies a plan only while it is still what planning the
+ * same manifest would produce. See docs/spec/apps.md § Plan, then apply.
+ */
+export type InstallPlan = {
+    manifest: AppManifest;
+    /** The key being installed. */
+    did: EntityId;
+    /** The install as it stood when planned — null for a first install. */
+    existing: (StackRecord & {
+        content: InstallContent;
+    }) | null;
+    /** Families this install would claim that it does not claim yet. */
+    newFamilies: BaseId[];
+    /** Type versions not yet in the install's `defines`. */
+    newVersions: TypeId[];
+    requestsAdded: InstallRequest[];
+    requestsRemoved: InstallRequest[];
+    /** Requests on families the manifest does not define — the ones an approval most needs to show. */
+    foreignRequests: ForeignRequest[];
+    /** Every manifest type `installApp()` would define or redefine. */
+    typeChanges: TypeChange[];
+    /**
+     * Whether `did` would gain access: not yet linked to this install, or
+     * linked through an `_app` card that is soft-deleted, which installApp()
+     * undeletes. See docs/spec/apps.md § Plan, then apply.
+     */
+    newKey: boolean;
+    /**
+     * The keys already linked to the install. Each holds `requests`, so a
+     * plan that changes them changes every one — and a new key joins them
+     * as the same app. See docs/spec/apps.md § Plan, then apply.
+     */
+    linkedKeys: EntityId[];
+};
+/** Relationship label from an install to an `_app` card it was installed for. */
+export declare const INSTALL_APP_LABEL = "install.app";
+/** Relationship label from an install to a `_grant` it produced. */
+export declare const INSTALL_GRANT_LABEL = "install.grant";
+export declare const installAppLink: (recordId: RecordId) => RelationshipAssociation;
+export declare const installGrantLink: (recordId: RecordId) => RelationshipAssociation;
+/** Record-level `read` on an install for one of its keys. */
+export declare const installReader: (entityId: EntityId) => AuthorityAssociation;
+/** Record ids an install links to under `label`. */
+export declare function linkedIds(record: StackRecord, label: string): RecordId[];
+/** The part of a family before its `/` — `com.example.notes` for `com.example.notes/note`. */
+export declare const namespaceOf: (baseId: BaseId) => string | null;
+/**
+ * How a family stands toward the app `appId`: its own (the family's
+ * namespace is the `appId`), a commons or system family nobody owns, or
+ * another app's. Only an app's own families can be claimed, so which app
+ * owns a family never depends on which was installed first.
+ * See docs/spec/apps.md § Who owns a family.
+ */
+export declare function familyStanding(baseId: BaseId, appId: AppId): 'own' | 'commons' | 'system' | 'foreign';
+/**
+ * The families an install claims, read as data: entries that are not
+ * well-formed TypeIds claim nothing.
+ */
+export declare function claimedFamilies(content: unknown): Set<BaseId>;
+/**
+ * An `_install`'s `defines` and `requests`, asked of its content on every
+ * write. A schema can say both are lists; only this can say what their
+ * entries must name. See docs/spec/apps.md § The `_install` record.
+ */
+export declare function validateInstall(typeId: TypeId, content: unknown): ValidationError[];
+/** The manifest's types in its own namespace — the versions an install of it defines. */
+export declare function ownTypeIds(manifest: AppManifest): TypeId[];
+/**
+ * A deep-frozen copy of `manifest`, so the plan that holds it applies what
+ * was reviewed even if the caller's object changes afterwards.
+ */
+export declare function snapshotManifest(manifest: AppManifest): AppManifest;
+/** Whether two requests ask for the same family and exactly the same actions. */
+export declare function sameRequest(a: InstallRequest, b: InstallRequest): boolean;
+/** Whether a stored grant is exactly `request`, made out to `did`. */
+export declare function grantIsRequest(grant: GrantContent, request: InstallRequest, did: EntityId): boolean;
+/**
+ * Whether applying `plan` would change nothing: the install is live, this
+ * key is linked to it, the manifest adds and removes nothing, and its
+ * `name` and `version` are the ones the install holds. A server
+ * answers such a request as already installed rather than queuing it.
+ * See docs/spec/wire-format.md § Installs.
+ */
+export declare function isPlanEmpty(plan: InstallPlan): boolean;
+/**
+ * The parts of a plan that depend on the stack's state — what
+ * `installApp()` compares to refuse a stale one.
+ */
+export declare function planFingerprint(plan: InstallPlan): string;
+//# sourceMappingURL=install.d.ts.map

package/dist/install.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"install.d.ts","sourceRoot":"","sources":["../src/install.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAKH,OAAO,KAAK,EACV,KAAK,EACL,oBAAoB,EACpB,MAAM,EACN,QAAQ,EAER,YAAY,EACZ,cAAc,EACd,cAAc,EACd,QAAQ,EACR,uBAAuB,EACvB,WAAW,EACX,MAAM,EACP,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAErD,0EAA0E;AAC1E,MAAM,MAAM,WAAW,GAAG;IACxB,KAAK,EAAE,KAAK,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,KAAK,EAAE,iBAAiB,EAAE,CAAC;IAC3B,QAAQ,EAAE,cAAc,EAAE,CAAC;CAC5B,CAAC;AAEF,oFAAoF;AACpF,MAAM,MAAM,cAAc,GAAG,cAAc,GAAG;IAC5C;;;;OAIG;IACH,KAAK,EAAE,KAAK,GAAG,SAAS,GAAG,QAAQ,GAAG,IAAI,CAAC;CAC5C,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,KAAK,GAAG,QAAQ,GAAG,MAAM,CAAC;CACnC,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,EAAE,WAAW,CAAC;IACtB,+BAA+B;IAC/B,GAAG,EAAE,QAAQ,CAAC;IACd,uEAAuE;IACvE,QAAQ,EAAE,CAAC,WAAW,GAAG;QAAE,OAAO,EAAE,cAAc,CAAA;KAAE,CAAC,GAAG,IAAI,CAAC;IAC7D,oEAAoE;IACpE,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,wDAAwD;IACxD,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,aAAa,EAAE,cAAc,EAAE,CAAC;IAChC,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,mGAAmG;IACnG,eAAe,EAAE,cAAc,EAAE,CAAC;IAClC,mEAAmE;IACnE,WAAW,EAAE,UAAU,EAAE,CAAC;IAC1B;;;;OAIG;IACH,MAAM,EAAE,OAAO,CAAC;IAChB;;;;OAIG;IACH,UAAU,EAAE,QAAQ,EAAE,CAAC;CACxB,CAAC;AAEF,iFAAiF;AACjF,eAAO,MAAM,iBAAiB,gBAAgB,CAAC;AAC/C,oEAAoE;AACpE,eAAO,MAAM,mBAAmB,kBAAkB,CAAC;AAEnD,eAAO,MAAM,cAAc,GAAI,UAAU,QAAQ,KAAG,uBAIlD,CAAC;AAEH,eAAO,MAAM,gBAAgB,GAAI,UAAU,QAAQ,KAAG,uBAIpD,CAAC;AAEH,6DAA6D;AAC7D,eAAO,MAAM,aAAa,GAAI,UAAU,QAAQ,KAAG,oBAIjD,CAAC;AAEH,oDAAoD;AACpD,wBAAgB,SAAS,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,GAAG,QAAQ,EAAE,CAQxE;AASD,8FAA8F;AAC9F,eAAO,MAAM,WAAW,GAAI,QAAQ,MAAM,KAAG,MAAM,GAAG,IAGrD,CAAC;AAEF;;;;;;GAMG;AACH,wBAAgB,cAAc,CAC5B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,KAAK,GACX,KAAK,GAAG,SAAS,GAAG,QAAQ,GAAG,SAAS,CAK1C;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,OAAO,EAAE,OAAO,GAAG,GAAG,CAAC,MAAM,CAAC,CAU7D;AAED;;;;GAIG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,eAAe,EAAE,CA0CnF;AAED,yFAAyF;AACzF,wBAAgB,UAAU,CAAC,QAAQ,EAAE,WAAW,GAAG,MAAM,EAAE,CAK1D;AAED;;;GAGG;AACH,wBAAgB,gBAAgB,CAAC,QAAQ,EAAE,WAAW,GAAG,WAAW,CAEnE;AAUD,iFAAiF;AACjF,wBAAgB,WAAW,CAAC,CAAC,EAAE,cAAc,EAAE,CAAC,EAAE,cAAc,GAAG,OAAO,CAEzE;AAED,sEAAsE;AACtE,wBAAgB,cAAc,CAC5B,KAAK,EAAE,YAAY,EACnB,OAAO,EAAE,cAAc,EACvB,GAAG,EAAE,QAAQ,GACZ,OAAO,CAIT;AAED;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,IAAI,EAAE,WAAW,GAAG,OAAO,CAatD;AAED;;;GAGG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,WAAW,GAAG,MAAM,CAczD"}

package/dist/install.js

@@ -0,0 +1,219 @@
+/**
+ * App installs
+ * -------------------------------------------------------
+ * An app the owner does not run ships a manifest — the types it defines
+ * and the type-level grants it asks for — and the owner applies it with
+ * `Stack.planInstall()` then `Stack.installApp()`. What the stack keeps is
+ * not the manifest but the owner's approval of it: an `_install` Record,
+ * one per `appId`, linked by association to the `_app` cards it was
+ * installed for and the `_grant` Records it produced. Its version history
+ * is the upgrade log, and soft-deleting it is uninstalling.
+ *
+ * An install claims the families it defines, one install per family. That
+ * claim is what lets a contained app commit migrations within its own
+ * families without the owner running its code — see
+ * ScopedStack.commitMigration().
+ *
+ * This module holds the parts that read an install as data: the write-time
+ * shape rules, the family claim, and the plan diff. The verbs that write
+ * are in stack/install-app.ts. See docs/spec/apps.md.
+ */
+import { baseIdOf, familyIdProblem, parseTypeId } from './schema.js';
+import { GRANT_ACTION_SET, UNGRANTABLE_SYSTEM_TYPES, sameActions } from './grants.js';
+import { SYSTEM_TYPES } from './types/index.js';
+/** Relationship label from an install to an `_app` card it was installed for. */
+export const INSTALL_APP_LABEL = 'install.app';
+/** Relationship label from an install to a `_grant` it produced. */
+export const INSTALL_GRANT_LABEL = 'install.grant';
+export const installAppLink = (recordId) => ({
+    kind: 'relationship',
+    label: INSTALL_APP_LABEL,
+    target: { kind: 'record', recordId },
+});
+export const installGrantLink = (recordId) => ({
+    kind: 'relationship',
+    label: INSTALL_GRANT_LABEL,
+    target: { kind: 'record', recordId },
+});
+/** Record-level `read` on an install for one of its keys. */
+export const installReader = (entityId) => ({
+    kind: 'permission',
+    label: 'read',
+    grantee: { kind: 'entity', entityId },
+});
+/** Record ids an install links to under `label`. */
+export function linkedIds(record, label) {
+    const ids = [];
+    for (const a of record.associations ?? []) {
+        if (a.kind === 'relationship' && a.label === label && a.target.kind === 'record') {
+            ids.push(a.target.recordId);
+        }
+    }
+    return ids;
+}
+const SYSTEM_FAMILIES = new Set(Object.values(SYSTEM_TYPES));
+const isSystemFamily = (baseId) => SYSTEM_FAMILIES.has(baseId);
+/** The Schema Commons namespace: families no app owns. See docs/commons/README.md. */
+const COMMONS_NAMESPACE = 'org.haverstack';
+/** The part of a family before its `/` — `com.example.notes` for `com.example.notes/note`. */
+export const namespaceOf = (baseId) => {
+    const slash = baseId.indexOf('/');
+    return slash > 0 ? baseId.slice(0, slash) : null;
+};
+/**
+ * How a family stands toward the app `appId`: its own (the family's
+ * namespace is the `appId`), a commons or system family nobody owns, or
+ * another app's. Only an app's own families can be claimed, so which app
+ * owns a family never depends on which was installed first.
+ * See docs/spec/apps.md § Who owns a family.
+ */
+export function familyStanding(baseId, appId) {
+    if (isSystemFamily(baseId))
+        return 'system';
+    const namespace = namespaceOf(baseId);
+    if (namespace === COMMONS_NAMESPACE)
+        return 'commons';
+    return namespace === appId ? 'own' : 'foreign';
+}
+/**
+ * The families an install claims, read as data: entries that are not
+ * well-formed TypeIds claim nothing.
+ */
+export function claimedFamilies(content) {
+    const defines = content?.defines;
+    const families = new Set();
+    if (!Array.isArray(defines))
+        return families;
+    for (const id of defines) {
+        if (typeof id !== 'string')
+            continue;
+        const parsed = parseTypeId(id);
+        if (parsed)
+            families.add(parsed.baseId);
+    }
+    return families;
+}
+/**
+ * An `_install`'s `defines` and `requests`, asked of its content on every
+ * write. A schema can say both are lists; only this can say what their
+ * entries must name. See docs/spec/apps.md § The `_install` record.
+ */
+export function validateInstall(typeId, content) {
+    if (baseIdOf(typeId) !== SYSTEM_TYPES.INSTALL)
+        return [];
+    const c = content;
+    const errors = [];
+    if (Array.isArray(c?.defines)) {
+        c.defines.forEach((id, i) => {
+            const parsed = typeof id === 'string' ? parseTypeId(id) : null;
+            if (!parsed) {
+                errors.push({ path: `defines[${i}]`, message: 'Expected a versioned TypeId' });
+            }
+            else if (typeof c?.appId === 'string' && familyStanding(parsed.baseId, c.appId) !== 'own') {
+                errors.push({
+                    path: `defines[${i}]`,
+                    message: `"${parsed.baseId}" is outside the namespace "${c.appId}"; an install claims only its own families`,
+                });
+            }
+        });
+    }
+    if (Array.isArray(c?.requests)) {
+        c.requests.forEach((r, i) => {
+            const req = r;
+            const problem = familyIdProblem(req?.baseId, `requests[${i}].baseId`);
+            if (problem) {
+                errors.push({ path: `requests[${i}].baseId`, message: problem });
+            }
+            else if (UNGRANTABLE_SYSTEM_TYPES.has(req.baseId)) {
+                errors.push({
+                    path: `requests[${i}].baseId`,
+                    message: `"${String(req.baseId)}" cannot be granted, so no install can request it`,
+                });
+            }
+            if (Array.isArray(req?.actions)) {
+                req.actions.forEach((a, j) => {
+                    if (!GRANT_ACTION_SET.has(a)) {
+                        errors.push({
+                            path: `requests[${i}].actions[${j}]`,
+                            message: `Unknown grant action "${String(a)}"`,
+                        });
+                    }
+                });
+            }
+        });
+    }
+    return errors;
+}
+/** The manifest's types in its own namespace — the versions an install of it defines. */
+export function ownTypeIds(manifest) {
+    const ids = manifest.types
+        .map((t) => t.id)
+        .filter((id) => familyStanding(baseIdOf(id), manifest.appId) === 'own');
+    return [...new Set(ids)];
+}
+/**
+ * A deep-frozen copy of `manifest`, so the plan that holds it applies what
+ * was reviewed even if the caller's object changes afterwards.
+ */
+export function snapshotManifest(manifest) {
+    return deepFreeze(structuredClone(manifest));
+}
+function deepFreeze(value) {
+    if (typeof value === 'object' && value !== null && !Object.isFrozen(value)) {
+        Object.freeze(value);
+        for (const v of Object.values(value))
+            deepFreeze(v);
+    }
+    return value;
+}
+/** Whether two requests ask for the same family and exactly the same actions. */
+export function sameRequest(a, b) {
+    return a.baseId === b.baseId && sameActions(a.actions, b.actions);
+}
+/** Whether a stored grant is exactly `request`, made out to `did`. */
+export function grantIsRequest(grant, request, did) {
+    if (grant.grantee?.kind !== 'entity' || grant.grantee.entityId !== did)
+        return false;
+    if (!Array.isArray(grant.actions))
+        return false;
+    return sameRequest({ baseId: grant.baseId, actions: grant.actions }, request);
+}
+/**
+ * Whether applying `plan` would change nothing: the install is live, this
+ * key is linked to it, the manifest adds and removes nothing, and its
+ * `name` and `version` are the ones the install holds. A server
+ * answers such a request as already installed rather than queuing it.
+ * See docs/spec/wire-format.md § Installs.
+ */
+export function isPlanEmpty(plan) {
+    return (plan.existing !== null &&
+        !plan.existing.deletedAt &&
+        !plan.newKey &&
+        plan.manifest.name === plan.existing.content.name &&
+        (plan.manifest.version ?? null) === (plan.existing.content.version ?? null) &&
+        plan.newFamilies.length === 0 &&
+        plan.newVersions.length === 0 &&
+        plan.typeChanges.length === 0 &&
+        plan.requestsAdded.length === 0 &&
+        plan.requestsRemoved.length === 0);
+}
+/**
+ * The parts of a plan that depend on the stack's state — what
+ * `installApp()` compares to refuse a stale one.
+ */
+export function planFingerprint(plan) {
+    return JSON.stringify([
+        plan.existing?.id ?? null,
+        plan.existing?.version ?? null,
+        plan.existing?.deletedAt ? true : false,
+        plan.newFamilies,
+        plan.newVersions,
+        plan.requestsAdded,
+        plan.requestsRemoved,
+        plan.foreignRequests,
+        plan.typeChanges,
+        plan.newKey,
+        plan.linkedKeys,
+    ]);
+}
+//# sourceMappingURL=install.js.map

package/dist/install.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"install.js","sourceRoot":"","sources":["../src/install.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACrE,OAAO,EAAE,gBAAgB,EAAE,wBAAwB,EAAE,WAAW,EAAE,MAAM,aAAa,CAAC;AACtF,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAkFhD,iFAAiF;AACjF,MAAM,CAAC,MAAM,iBAAiB,GAAG,aAAa,CAAC;AAC/C,oEAAoE;AACpE,MAAM,CAAC,MAAM,mBAAmB,GAAG,eAAe,CAAC;AAEnD,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,QAAkB,EAA2B,EAAE,CAAC,CAAC;IAC9E,IAAI,EAAE,cAAc;IACpB,KAAK,EAAE,iBAAiB;IACxB,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE;CACrC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,QAAkB,EAA2B,EAAE,CAAC,CAAC;IAChF,IAAI,EAAE,cAAc;IACpB,KAAK,EAAE,mBAAmB;IAC1B,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE;CACrC,CAAC,CAAC;AAEH,6DAA6D;AAC7D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,QAAkB,EAAwB,EAAE,CAAC,CAAC;IAC1E,IAAI,EAAE,YAAY;IAClB,KAAK,EAAE,MAAM;IACb,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE;CACtC,CAAC,CAAC;AAEH,oDAAoD;AACpD,MAAM,UAAU,SAAS,CAAC,MAAmB,EAAE,KAAa;IAC1D,MAAM,GAAG,GAAe,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,YAAY,IAAI,EAAE,EAAE,CAAC;QAC1C,IAAI,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACjF,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,eAAe,GAAwB,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC;AAElF,MAAM,cAAc,GAAG,CAAC,MAAc,EAAW,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;AAEhF,sFAAsF;AACtF,MAAM,iBAAiB,GAAG,gBAAgB,CAAC;AAE3C,8FAA8F;AAC9F,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAc,EAAiB,EAAE;IAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAClC,OAAO,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,cAAc,CAC5B,MAAc,EACd,KAAY;IAEZ,IAAI,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC5C,MAAM,SAAS,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,IAAI,SAAS,KAAK,iBAAiB;QAAE,OAAO,SAAS,CAAC;IACtD,OAAO,SAAS,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AACjD,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,OAAgB;IAC9C,MAAM,OAAO,GAAI,OAAwC,EAAE,OAAO,CAAC;IACnE,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QAAE,OAAO,QAAQ,CAAC;IAC7C,KAAK,MAAM,EAAE,IAAI,OAAO,EAAE,CAAC;QACzB,IAAI,OAAO,EAAE,KAAK,QAAQ;YAAE,SAAS;QACrC,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;QAC/B,IAAI,MAAM;YAAE,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC1C,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,eAAe,CAAC,MAAc,EAAE,OAAgB;IAC9D,IAAI,QAAQ,CAAC,MAAM,CAAC,KAAK,YAAY,CAAC,OAAO;QAAE,OAAO,EAAE,CAAC;IACzD,MAAM,CAAC,GAAG,OAAgE,CAAC;IAC3E,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,CAAC;QAC9B,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;YAC1B,MAAM,MAAM,GAAG,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;YAC/D,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,GAAG,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAAC,CAAC;YACjF,CAAC;iBAAM,IAAI,OAAO,CAAC,EAAE,KAAK,KAAK,QAAQ,IAAI,cAAc,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,KAAK,EAAE,CAAC;gBAC5F,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,WAAW,CAAC,GAAG;oBACrB,OAAO,EAAE,IAAI,MAAM,CAAC,MAAM,+BAA+B,CAAC,CAAC,KAAK,4CAA4C;iBAC7G,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC/B,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;YAC1B,MAAM,GAAG,GAAG,CAA0D,CAAC;YACvE,MAAM,OAAO,GAAG,eAAe,CAAC,GAAG,EAAE,MAAM,EAAE,YAAY,CAAC,UAAU,CAAC,CAAC;YACtE,IAAI,OAAO,EAAE,CAAC;gBACZ,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC;YACnE,CAAC;iBAAM,IAAI,wBAAwB,CAAC,GAAG,CAAC,GAAI,CAAC,MAAgB,CAAC,EAAE,CAAC;gBAC/D,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,YAAY,CAAC,UAAU;oBAC7B,OAAO,EAAE,IAAI,MAAM,CAAC,GAAI,CAAC,MAAM,CAAC,mDAAmD;iBACpF,CAAC,CAAC;YACL,CAAC;YACD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,CAAC;gBAChC,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;oBAC3B,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAgB,CAAC,EAAE,CAAC;wBAC5C,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,YAAY,CAAC,aAAa,CAAC,GAAG;4BACpC,OAAO,EAAE,yBAAyB,MAAM,CAAC,CAAC,CAAC,GAAG;yBAC/C,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,UAAU,CAAC,QAAqB;IAC9C,MAAM,GAAG,GAAG,QAAQ,CAAC,KAAK;SACvB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAChB,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,CAAC;IAC1E,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,gBAAgB,CAAC,QAAqB;IACpD,OAAO,UAAU,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,UAAU,CAAI,KAAQ;IAC7B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3E,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,UAAU,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,WAAW,CAAC,CAAiB,EAAE,CAAiB;IAC9D,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,MAAM,IAAI,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC;AACpE,CAAC;AAED,sEAAsE;AACtE,MAAM,UAAU,cAAc,CAC5B,KAAmB,EACnB,OAAuB,EACvB,GAAa;IAEb,IAAI,KAAK,CAAC,OAAO,EAAE,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,KAAK,GAAG;QAAE,OAAO,KAAK,CAAC;IACrF,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAChD,OAAO,WAAW,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,OAAO,CAAC,CAAC;AAChF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,IAAiB;IAC3C,OAAO,CACL,IAAI,CAAC,QAAQ,KAAK,IAAI;QACtB,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS;QACxB,CAAC,IAAI,CAAC,MAAM;QACZ,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI;QACjD,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,IAAI,IAAI,CAAC;QAC3E,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAC7B,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAC7B,IAAI,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC;QAC7B,IAAI,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QAC/B,IAAI,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC,CAClC,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,IAAiB;IAC/C,OAAO,IAAI,CAAC,SAAS,CAAC;QACpB,IAAI,CAAC,QAAQ,EAAE,EAAE,IAAI,IAAI;QACzB,IAAI,CAAC,QAAQ,EAAE,OAAO,IAAI,IAAI;QAC9B,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK;QACvC,IAAI,CAAC,WAAW;QAChB,IAAI,CAAC,WAAW;QAChB,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,eAAe;QACpB,IAAI,CAAC,eAAe;QACpB,IAAI,CAAC,WAAW;QAChB,IAAI,CAAC,MAAM;QACX,IAAI,CAAC,UAAU;KAChB,CAAC,CAAC;AACL,CAAC"}

package/dist/merge.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"merge.d.ts","sourceRoot":"","sources":["../src/merge.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,wBAAgB,eAAe,CAC7B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC,GACpC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CA0BzB"}
+{"version":3,"file":"merge.d.ts","sourceRoot":"","sources":["../src/merge.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,wBAAgB,eAAe,CAC7B,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,GAAG,IAAI,CAAC,GACpC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAoBzB"}

package/dist/merge.js

@@ -14,17 +14,11 @@ export function applyMergePatch(content, patch) {
             delete merged[key];
         }
         else {
-            // defineProperty, not `merged[key] = value`: assignment goes through
-            // [[Set]], so a patch key of `__proto__` would invoke the prototype
-            // setter and reassign the object's prototype instead of setting a
-            // field — silently losing the write. defineProperty creates an own
-            // data property for any key, which is also what JSON.parse does when
-            // the same key is read back, so both write paths agree. The spread
-            // above is already safe (it copies data properties directly).
-            //
-            // Stack.create()/Stack.mutate() reject the reserved keys outright (see
-            // validateReservedKeys); this is the backstop for adapters that call
-            // this directly, and for the day someone deepens the merge.
+            // defineProperty, not assignment: [[Set]] on `__proto__` would
+            // reassign the prototype and lose the write, while an own data
+            // property is what JSON.parse makes of the same key, so both write
+            // paths agree. A backstop for adapters calling this directly; Stack
+            // refuses the reserved keys outright (validateReservedKeys).
             Object.defineProperty(merged, key, {
                 value,
                 writable: true,

package/dist/merge.js.map

@@ -1 +1 @@
-{"version":3,"file":"merge.js","sourceRoot":"","sources":["../src/merge.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,MAAM,UAAU,eAAe,CAC7B,OAAgC,EAChC,KAAqC;IAErC,MAAM,MAAM,GAA4B,EAAE,GAAG,OAAO,EAAE,CAAC;IACvD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;QACrB,CAAC;aAAM,CAAC;YACN,qEAAqE;YACrE,oEAAoE;YACpE,kEAAkE;YAClE,mEAAmE;YACnE,qEAAqE;YACrE,mEAAmE;YACnE,8DAA8D;YAC9D,EAAE;YACF,uEAAuE;YACvE,qEAAqE;YACrE,4DAA4D;YAC5D,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,EAAE;gBACjC,KAAK;gBACL,QAAQ,EAAE,IAAI;gBACd,UAAU,EAAE,IAAI;gBAChB,YAAY,EAAE,IAAI;aACnB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"merge.js","sourceRoot":"","sources":["../src/merge.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,MAAM,UAAU,eAAe,CAC7B,OAAgC,EAChC,KAAqC;IAErC,MAAM,MAAM,GAA4B,EAAE,GAAG,OAAO,EAAE,CAAC;IACvD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACnB,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;QACrB,CAAC;aAAM,CAAC;YACN,+DAA+D;YAC/D,+DAA+D;YAC/D,mEAAmE;YACnE,oEAAoE;YACpE,6DAA6D;YAC7D,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,EAAE;gBACjC,KAAK;gBACL,QAAQ,EAAE,IAAI;gBACd,UAAU,EAAE,IAAI;gBAChB,YAAY,EAAE,IAAI;aACnB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/migration-steps.d.ts

@@ -0,0 +1,102 @@
+/**
+ * Migration steps
+ * -------------------------------------------------------
+ * A migration is a list of declared steps — rename, map, add, drop and
+ * derive — rather than a function, so that core can read what became of
+ * each field. Two things are built from one list: the in-memory `migrate`
+ * that `Stack.open()`, a collection's reads and `migrateAll()` run, and the
+ * field origins a collection translates a content filter or sort through.
+ *
+ * `fieldOrigins()` also checks the list against both schemas, so a step
+ * the target Type would refuse fails when `migration()` runs rather than
+ * on the first record `migrateAll()` writes. See docs/spec/data-model.md
+ * § Migration steps.
+ */
+import type { ReadonlyTypeSchema } from './type-handle.js';
+export type RenameStep = {
+    readonly op: 'rename';
+    readonly from: string;
+    readonly to: string;
+};
+export type MapStep = {
+    readonly op: 'map';
+    readonly field: string;
+    readonly values: Readonly<Record<string, string>>;
+};
+export type AddStep = {
+    readonly op: 'add';
+    readonly field: string;
+    readonly value: unknown;
+};
+export type DropStep = {
+    readonly op: 'drop';
+    readonly field: string;
+};
+/**
+ * `derive` is a method so a step typed on one handle's content fits a list
+ * of untyped ones, as `Migration.migrate` does.
+ */
+export type DeriveStep<F = Record<string, unknown>> = {
+    readonly op: 'derive';
+    readonly field: string;
+    derive(content: F): unknown;
+};
+/** One step of a migration, typed on the content stored at its `from`. */
+export type MigrationStep<F = Record<string, unknown>> = RenameStep | MapStep | AddStep | DropStep | DeriveStep<F>;
+/** Move a field's value to a new name. */
+export declare const rename: (from: string, to: string) => RenameStep;
+/**
+ * Replace each value `values` lists with its mapping, keeping any other,
+ * element-wise through an array. A stored enum may hold a value no handle
+ * lists, and it is carried through rather than lost.
+ */
+export declare const map: (field: string, values: Readonly<Record<string, string>>) => MapStep;
+/** Set a field to a constant. */
+export declare const add: (field: string, value: unknown) => AddStep;
+/** Remove a field. */
+export declare const drop: (field: string) => DropStep;
+/**
+ * Set a field to what `fn` computes from the record as stored at the
+ * migration's `from`; `undefined` leaves it absent. The one opaque step: a
+ * field it produces does not translate across versions.
+ */
+export declare const derive: <F>(field: string, fn: (content: F) => unknown) => DeriveStep<F>;
+/** The content `steps` produce from `content`, which is left untouched. */
+export declare const applySteps: (steps: readonly MigrationStep[], content: Record<string, unknown>) => Record<string, unknown>;
+/**
+ * What one of the target's top-level fields is, in terms of the source's:
+ * a source field, its string values possibly remapped; a constant, where
+ * `undefined` is no value; or derived, which nothing can see through.
+ */
+export type FieldOrigin = {
+    readonly kind: 'field';
+    readonly field: string;
+    readonly values?: Readonly<Record<string, string>>;
+} | {
+    readonly kind: 'constant';
+    readonly value: unknown;
+} | {
+    readonly kind: 'derived';
+};
+/**
+ * Every top-level field the target declares, by its origin, and every name
+ * the steps removed, as no value.
+ */
+export type FieldOrigins = ReadonlyMap<string, FieldOrigin>;
+/**
+ * The origins across two migrations end to end: `lower` takes A to B and
+ * `upper` takes B to C, so the result says what each of C's fields is in
+ * terms of A's.
+ */
+export declare const composeOrigins: (lower: FieldOrigins, upper: FieldOrigins) => FieldOrigins;
+/**
+ * What each of `to`'s top-level fields is in terms of `from`'s, after
+ * `steps`. Returns the problem that makes the list unusable as a string
+ * instead: a step naming a field that is not there, a field `to` would
+ * refuse, or one it requires that nothing produces. See
+ * docs/spec/data-model.md § Migration steps.
+ */
+export declare const fieldOrigins: (steps: readonly MigrationStep<never>[], from: ReadonlyTypeSchema, to: ReadonlyTypeSchema) => FieldOrigins | string;
+export declare const recordOrigins: (migration: object, origins: FieldOrigins) => void;
+export declare const originsOf: (migration: object) => FieldOrigins | undefined;
+//# sourceMappingURL=migration-steps.d.ts.map

package/dist/migration-steps.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"migration-steps.d.ts","sourceRoot":"","sources":["../src/migration-steps.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAGH,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAO3D,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAC/F,MAAM,MAAM,OAAO,GAAG;IACpB,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACnD,CAAC;AACF,MAAM,MAAM,OAAO,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,CAAC;AAC9F,MAAM,MAAM,QAAQ,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AACvE;;;GAGG;AACH,MAAM,MAAM,UAAU,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI;IACpD,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,MAAM,CAAC,OAAO,EAAE,CAAC,GAAG,OAAO,CAAC;CAC7B,CAAC;AAEF,0EAA0E;AAC1E,MAAM,MAAM,aAAa,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IACjD,UAAU,GACV,OAAO,GACP,OAAO,GACP,QAAQ,GACR,UAAU,CAAC,CAAC,CAAC,CAAC;AAElB,0CAA0C;AAC1C,eAAO,MAAM,MAAM,GAAI,MAAM,MAAM,EAAE,IAAI,MAAM,KAAG,UACP,CAAC;AAE5C;;;;GAIG;AACH,eAAO,MAAM,GAAG,GAAI,OAAO,MAAM,EAAE,QAAQ,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KAAG,OACH,CAAC;AAE5E,iCAAiC;AACjC,eAAO,MAAM,GAAG,GAAI,OAAO,MAAM,EAAE,OAAO,OAAO,KAAG,OACR,CAAC;AAE7C,sBAAsB;AACtB,eAAO,MAAM,IAAI,GAAI,OAAO,MAAM,KAAG,QAAgD,CAAC;AAEtF;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,EAAE,OAAO,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,OAAO,KAAG,UAAU,CAAC,CAAC,CAC/B,CAAC;AAsBrD,2EAA2E;AAC3E,eAAO,MAAM,UAAU,GACrB,OAAO,SAAS,aAAa,EAAE,EAC/B,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAC/B,MAAM,CAAC,MAAM,EAAE,OAAO,CA0BxB,CAAC;AAMF;;;;GAIG;AACH,MAAM,MAAM,WAAW,GACnB;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CACpD,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC;AAEjC;;;GAGG;AACH,MAAM,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;AAiB5D;;;;GAIG;AACH,eAAO,MAAM,cAAc,GAAI,OAAO,YAAY,EAAE,OAAO,YAAY,KAAG,YAsBzE,CAAC;AAwEF;;;;;;GAMG;AACH,eAAO,MAAM,YAAY,GACvB,OAAO,SAAS,aAAa,CAAC,KAAK,CAAC,EAAE,EACtC,MAAM,kBAAkB,EACxB,IAAI,kBAAkB,KACrB,YAAY,GAAG,MAqFjB,CAAC;AAaF,eAAO,MAAM,aAAa,GAAI,WAAW,MAAM,EAAE,SAAS,YAAY,KAAG,IAExE,CAAC;AAEF,eAAO,MAAM,SAAS,GAAI,WAAW,MAAM,KAAG,YAAY,GAAG,SAAmC,CAAC"}