@agoric/ertp 0.18.0-u23.0 → 0.18.0-u23.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/ertp",
-  "version": "0.18.0-u23.0",
+  "version": "0.18.0-u23.1",
   "description": "Electronic Rights Transfer Protocol (ERTP). A smart contract framework for exchanging electronic rights",
   "type": "module",
   "main": "src/index.js",
@@ -39,10 +39,10 @@
   },
   "homepage": "https://github.com/Agoric/agoric-sdk#readme",
   "dependencies": {
-    "@agoric/notifier": "0.8.0-u23.0",
+    "@agoric/notifier": "0.8.0-u23.1",
     "@agoric/store": "0.11.0-u23.0",
-    "@agoric/vat-data": "0.7.0-u23.0",
-    "@agoric/zone": "0.4.0-u23.0",
+    "@agoric/vat-data": "0.7.0-u23.1",
+    "@agoric/zone": "0.4.0-u23.1",
     "@endo/errors": "^1.2.13",
     "@endo/eventual-send": "^1.3.4",
     "@endo/far": "^1.1.14",
@@ -52,7 +52,7 @@
     "@endo/promise-kit": "^1.1.13"
   },
   "devDependencies": {
-    "@agoric/swingset-vat": "0.34.0-u23.0",
+    "@agoric/swingset-vat": "0.34.0-u23.1",
     "@endo/bundle-source": "^4.1.2",
     "@fast-check/ava": "^1.1.5",
     "ava": "^6.4.1",
@@ -77,5 +77,5 @@
   "typeCoverage": {
     "atLeast": 92.99
   },
-  "gitHead": "1147be15b0704de17204d04e2407fa3192b98a1c"
+  "gitHead": "6a6343510742fef366aa7b4a31a862f9ef409656"
 }

package/src/amountMath.d.ts

@@ -0,0 +1,61 @@
+/**
+ * Constants for the kinds of assets we support.
+ */
+export type AssetKind = (typeof AssetKind)[keyof typeof AssetKind];
+export namespace AssetKind {
+    let NAT: "nat";
+    let SET: "set";
+    let COPY_SET: "copySet";
+    let COPY_BAG: "copyBag";
+}
+export function assertAssetKind(allegedAK: AssetKind): void;
+export function assertValueGetHelpers<V extends AmountValue>(value: V): MathHelpers<V>;
+export namespace AmountMath {
+    export function make<B extends Brand<any>, V extends NatValue | CopySet | CopyBag | SetValue>(brand: B, allegedValue: V): B extends Brand<"nat"> ? NatAmount : V extends NatValue ? NatAmount : V extends CopySet ? CopySetAmount<V["payload"][0]> : V extends CopyBag ? CopyBagAmount<V["payload"][0][0]> : V extends SetValue ? SetAmount<V[0]> : never;
+    export function coerce<A extends Amount>(brand: Brand, allegedAmount: A): A;
+    export function getValue<A extends Amount>(brand: Brand, amount: A): A["value"];
+    export let makeEmpty: {
+        (brand: Brand): Amount<"nat">;
+        <K extends AssetKind>(brand: Brand<K>, assetKind: K): Amount<K>;
+    };
+    export function makeEmptyFromAmount<A extends Amount>(amount: A): A;
+    export function isEmpty(amount: Amount, brand?: Brand): boolean;
+    export { isGTE };
+    export function isEqual<A extends Amount>(leftAmount: A, rightAmount: A, brand?: Brand): boolean;
+    export let add: {
+        <A extends CopyBag, B extends CopyBag>(leftAmount: CopyBagAmount<A>, rightAmount: CopyBagAmount<B>, brand?: Brand): CopyBagAmount<A | B>;
+        <A extends Amount>(leftAmount: A, rightAmount: A, brand?: Brand): A;
+    };
+    export function subtract<L extends Amount, R extends Amount>(leftAmount: L, rightAmount: R, brand?: Brand): L extends R ? L : never;
+    export function min<A extends Amount>(x: A, y: A, brand?: Brand): A;
+    export function max<A extends Amount>(x: A, y: A, brand?: Brand): A;
+}
+export function getAssetKind(amount: Amount): "copySet" | "set" | "copyBag" | "nat";
+import type { AmountValue } from './types.js';
+import type { MathHelpers } from './types.js';
+import type { Brand } from './types.js';
+import type { NatValue } from './types.js';
+import type { CopySet } from '@endo/patterns';
+import type { CopyBag } from '@endo/patterns';
+import type { SetValue } from './types.js';
+import type { NatAmount } from './types.js';
+import type { CopySetAmount } from './types.js';
+import type { CopyBagAmount } from './types.js';
+import type { SetAmount } from './types.js';
+import type { Amount } from './types.js';
+/**
+ * Returns true if the leftAmount is greater than or equal to the rightAmount.
+ * The notion of "greater than or equal to" depends on the kind of amount, as
+ * defined by the MathHelpers. For example, whether rectangle A is greater than
+ * rectangle B depends on whether rectangle A includes rectangle B as defined by
+ * the logic in MathHelpers.
+ *
+ * @template {AssetKind} K
+ * @param {Amount<K>} leftAmount
+ * @param {Amount<K>} rightAmount
+ * @param {Brand<K>} [brand]
+ * @returns {boolean}
+ */
+declare function isGTE<K extends AssetKind>(leftAmount: Amount<K>, rightAmount: Amount<K>, brand?: Brand<K>): boolean;
+export {};
+//# sourceMappingURL=amountMath.d.ts.map

package/src/amountMath.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"amountMath.d.ts","sourceRoot":"","sources":["amountMath.js"],"names":[],"mappings":";;;wBAkBU,CAAC,OAAO,SAAS,EAAE,MAAM,OAAO,SAAS,CAAC;;;;;;;AAY7C,2CADK,SAAS,QAIpB;AA8EM,sCAJoB,CAAC,SAAf,WAAa,SACf,CAAC,GACC,YAAY,CAAC,CAAC,CAIc;;IAwGjC,qBAhBoB,CAAC,SAAd,MAAO,GAAG,CAAE,EAC8B,CAAC,SAA1C,QAAQ,GAAG,OAAO,GAAG,OAAO,GAAG,QAAS,SAC3C,CAAC,gBACD,CAAC,GACC,CAAC,SAAS,MAAM,KAAK,CAAC,GAC1B,SAAS,GACT,CAAC,SAAS,QAAQ,GAChB,SAAS,GACT,CAAC,SAAS,OAAO,GACf,cAAc,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,GAC9B,CAAC,SAAS,OAAO,GACf,cAAc,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACjC,CAAC,SAAS,QAAQ,GAChB,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,GACf,KAAK,CAQrB;IAUO,uBALc,CAAC,SAAV,MAAQ,SACV,KAAK,iBACL,CAAC,GACC,CAAC,CAWb;IASS,yBALY,CAAC,SAAV,MAAQ,SACV,KAAK,UACL,CAAC,GACC,CAAC,CAAC,OAAO,CAAC,CAE4C;0BAKzD;QACT,CAAK,KAAK,EAAE,KAAK,GAAG,OAAO,KAAK,CAAC,CAAC;QAClC,CAAK,CAAC,SAAS,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC;KACjE;IAiBiB,oCAJC,CAAC,SAAV,MAAQ,UACV,CAAC,GACC,CAAC,CAQb;IAQQ,gCAJE,MAAM,UACN,KAAK,GACH,OAAO,CASnB;;IAYQ,wBANa,CAAC,SAAV,MAAQ,cACV,CAAC,eACD,CAAC,UACD,KAAK,GACH,OAAO,CAKnB;oBAQS;QACT,CAAK,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,EACnC,UAAU,EAAE,cAAc,CAAC,CAAC,EAC5B,WAAW,EAAE,cAAc,CAAC,CAAC,EAC7B,KAAK,CAAC,EAAE,KAAK,GACZ,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC;QAC5B,CAAK,CAAC,SAAS,MAAM,EAAE,UAAU,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,KAAK,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC;KACrE;IAqBM,yBAPY,CAAC,SAAV,MAAQ,EACC,CAAC,SAAV,MAAQ,cACV,CAAC,eACD,CAAC,UACD,KAAK,GACH,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,KAAK,CAOnC;IAUI,oBANiB,CAAC,SAAV,MAAQ,KACV,CAAC,KACD,CAAC,UACD,KAAK,GACH,CAAC,CAO8B;IAUvC,oBANiB,CAAC,SAAV,MAAQ,KACV,CAAC,KACD,CAAC,UACD,KAAK,GACH,CAAC,CAO8B;;AAKvC,qCADK,MAAM,yCAKjB;iCA7XoJ,YAAY;iCAAZ,YAAY;2BAAZ,YAAY;8BAAZ,YAAY;6BAD9H,gBAAgB;6BAAhB,gBAAgB;8BACkG,YAAY;+BAAZ,YAAY;mCAAZ,YAAY;mCAAZ,YAAY;+BAAZ,YAAY;4BAAZ,YAAY;AA4JjK;;;;;;;;;;;;GAYG;AACH,uBANyB,CAAC,SAAZ,SAAU,cACb,OAAO,CAAC,CAAC,eACT,OAAO,CAAC,CAAC,UACT,MAAM,CAAC,CAAC,GACN,OAAO,CAKnB"}

package/src/amountStore.d.ts

@@ -0,0 +1,9 @@
+export function makeAmountStore<K extends AssetKind = AssetKind>(state: object, key: string): AmountStore<K>;
+export type AmountStore<K extends AssetKind = AssetKind> = {
+    getAmount: () => Amount<K>;
+    increment: (delta: Amount<K>) => void;
+    decrement: (delta: Amount<K>) => boolean;
+};
+import type { AssetKind } from './types.js';
+import type { Amount } from './types.js';
+//# sourceMappingURL=amountStore.d.ts.map

package/src/amountStore.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"amountStore.d.ts","sourceRoot":"","sources":["amountStore.js"],"names":[],"mappings":"AAkBO,gCALmB,CAAC,SAAd,SAAW,qBACb,MAAM,OACN,MAAM,GACJ,WAAW,CAAC,CAAC,CAAC,CAgB1B;wBA3ByB,CAAC,SAAd,SAAW;eAEV,MAAM,OAAO,CAAC,CAAC;eACf,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,KAAK,IAAI;eAC1B,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,KAAK,OAAO;;+BAPN,YAAY;4BAAZ,YAAY"}

package/src/displayInfo.d.ts

@@ -0,0 +1,5 @@
+export function coerceDisplayInfo(allegedDisplayInfo: AdditionalDisplayInfo, assetKind: AssetKind): DisplayInfo;
+import type { AdditionalDisplayInfo } from './types.js';
+import type { AssetKind } from './types.js';
+import type { DisplayInfo } from './types.js';
+//# sourceMappingURL=displayInfo.d.ts.map

package/src/displayInfo.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"displayInfo.d.ts","sourceRoot":"","sources":["displayInfo.js"],"names":[],"mappings":"AAYO,sDAJI,qBAAqB,aACrB,SAAS,GACP,WAAW,CAiBvB;2CAtBgE,YAAY;+BAAZ,YAAY;iCAAZ,YAAY"}

package/src/index.d.ts

@@ -0,0 +1,5 @@
+export * from "./amountMath.js";
+export * from "./issuerKit.js";
+export * from "./typeGuards.js";
+export * from "./types-index.js";
+//# sourceMappingURL=index.d.ts.map

package/src/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["index.js"],"names":[],"mappings":""}

package/src/issuerKit.d.ts

@@ -0,0 +1,39 @@
+export function upgradeIssuerKit<K extends AssetKind>(issuerBaggage: Baggage, optShutdownWithFailure?: ShutdownWithFailure, recoverySetsOption?: RecoverySetsOption): IssuerKit<K>;
+export function hasIssuer(baggage: Baggage): boolean;
+export function makeDurableIssuerKit<K extends AssetKind>(issuerBaggage: Baggage, name: string, assetKind?: K, displayInfo?: AdditionalDisplayInfo, optShutdownWithFailure?: ShutdownWithFailure, { elementShape, recoverySetsOption }?: IssuerOptionsRecord): IssuerKit<K>;
+export function prepareIssuerKit<O extends IssuerOptionsRecord, K extends AssetKind>(issuerBaggage: Baggage, name: string, assetKind?: K, displayInfo?: AdditionalDisplayInfo, optShutdownWithFailure?: ShutdownWithFailure, options?: O): O["elementShape"] extends TypedPattern<infer T extends Key> ? IssuerKit<K, T> : IssuerKit<K>;
+export function makeIssuerKit<K extends AssetKind = "nat", O extends IssuerOptionsRecord = {}>(name: string, assetKind?: K, displayInfo?: AdditionalDisplayInfo, optShutdownWithFailure?: ShutdownWithFailure, { elementShape, recoverySetsOption }?: O): O["elementShape"] extends TypedPattern<infer T extends Key> ? IssuerKit<K, T> : IssuerKit<K>;
+export type IssuerRecord<K extends AssetKind> = {
+    name: string;
+    assetKind: K;
+    displayInfo: AdditionalDisplayInfo;
+    elementShape: Pattern;
+};
+/**
+ * `elementShape`, may only be present for collection-style amounts. If present,
+ * it is a `Pattern` that every element of this issuerKits's amounts must
+ * satisfy. For example, the Zoe Invitation issuerKit uses an elementShape
+ * describing the invitation details for an individual invitation. An invitation
+ * purse or payment has an amount that can only be a set of these. (Though
+ * typically, the amount of an invitation payment is a singleton set. Such a
+ * payment is often referred to in the singular as "an invitation".)
+ *
+ * `recoverySetsOption` added in upgrade. Note that `IssuerOptionsRecord` is
+ * never stored, so we never need to worry about inheriting one from a
+ * predecessor predating the introduction of recovery sets. See
+ * `RecoverySetsOption` for defaulting behavior.
+ */
+export type IssuerOptionsRecord = Partial<{
+    elementShape: Pattern;
+    recoverySetsOption: RecoverySetsOption;
+}>;
+import { AssetKind } from './amountMath.js';
+import type { Baggage } from '@agoric/vat-data';
+import type { ShutdownWithFailure } from '@agoric/swingset-vat';
+import type { RecoverySetsOption } from './types.js';
+import type { IssuerKit } from './types.js';
+import type { AdditionalDisplayInfo } from './types.js';
+import type { Key } from '@endo/patterns';
+import type { TypedPattern } from '@agoric/internal';
+import type { Pattern } from '@endo/patterns';
+//# sourceMappingURL=issuerKit.d.ts.map

package/src/issuerKit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"issuerKit.d.ts","sourceRoot":"","sources":["issuerKit.js"],"names":[],"mappings":"AAgHO,iCAbkB,CAAC,SAAZ,SAAU,iBACb,OAAO,2BACP,mBAAmB,uBAOnB,kBAAkB,GAEhB,UAAU,CAAC,CAAC,CA4BxB;AAQM,mCAFI,OAAO,WAE2C;AAoDtD,qCA1BkB,CAAC,SAAZ,SAAU,iBAYb,OAAO,QACP,MAAM,cACN,CAAC,gBACD,qBAAqB,2BACrB,mBAAmB,yCAOnB,mBAAmB,GACjB,UAAU,CAAC,CAAC,CA2BxB;AAoCM,iCA7B4B,CAAC,SAAtB,mBAAoB,EACT,CAAC,SAAZ,SAAU,iBAYb,OAAO,QACP,MAAM,cACN,CAAC,gBACD,qBAAqB,2BACrB,mBAAmB,YAOnB,CAAC,GACC,CAAC,CAAC,cAAc,CAAC,SAAS,aAAa,MAAM,CAAC,SAAS,GAAG,CAAC,GAC/D,UAAU,CAAC,EAAE,CAAC,CAAC,GACf,UAAU,CAAC,CAAC,CAyCpB;AAqCM,8BAzBmB,CAAC,SAAb,SAAU,UACY,CAAC,SAAvB,mBAAoB,aACvB,MAAM,cAMN,CAAC,gBAGD,qBAAqB,2BAErB,mBAAmB,yCAOnB,CAAC,GACC,CAAC,CAAC,cAAc,CAAC,SAAS,aAAa,MAAM,CAAC,SAAS,GAAG,CAAC,GAC/D,UAAU,CAAC,EAAE,CAAC,CAAC,GACf,UAAU,CAAC,CAAC,CAmBlB;yBA7UsB,CAAC,SAAZ,SAAU;UAEV,MAAM;eACN,CAAC;iBACD,qBAAqB;kBACrB,OAAO;;;;;;;;;;;;;;;;kCA0IR,OAAO,CAAC;IAChB,YAAY,EAAE,OAAO,CAAC;IACtB,kBAAkB,EAAE,kBAAkB,CAAC;CACxC,CAAC;0BAhKsC,iBAAiB;6BASlC,kBAAkB;yCAFN,sBAAsB;wCAG0B,YAAY;+BAAZ,YAAY;2CAAZ,YAAY;yBALnE,gBAAgB;kCAGhB,kBAAkB;6BAHlB,gBAAgB"}

package/src/legacy-payment-helpers.d.ts

@@ -0,0 +1,12 @@
+export function claim<K extends AssetKind, T extends Key>(recoveryPurse: ERef<Purse<K, T>>, srcPaymentP: ERef<Payment<K, T>>, optAmountShape?: Pattern): Promise<Payment<K, T>>;
+export function combine<K extends AssetKind, T extends Key>(recoveryPurse: ERef<Purse<K, T>>, srcPaymentsPs: ERef<Payment<K, T>>[], optTotalAmount?: Pattern): Promise<Payment<K, T>>;
+export function split<K extends AssetKind>(recoveryPurse: ERef<Purse<K>>, srcPaymentP: ERef<Payment<K>>, paymentAmountA: Amount<K>): Promise<Payment<K>[]>;
+export function splitMany<K extends AssetKind>(recoveryPurse: ERef<Purse<K>>, srcPaymentP: ERef<Payment<K>>, amounts: Amount<K>[]): Promise<Payment[]>;
+import type { AssetKind } from './types.js';
+import type { Key } from '@endo/patterns';
+import type { Purse } from './types.js';
+import type { ERef } from '@endo/far';
+import type { Payment } from './types.js';
+import type { Pattern } from '@endo/patterns';
+import type { Amount } from './types.js';
+//# sourceMappingURL=legacy-payment-helpers.d.ts.map

package/src/legacy-payment-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"legacy-payment-helpers.d.ts","sourceRoot":"","sources":["legacy-payment-helpers.js"],"names":[],"mappings":"AAiCO,sBAPkB,CAAC,SAAb,SAAW,EACL,CAAC,SAAP,GAAK,iBACP,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,eACjB,KAAK,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,mBACnB,OAAO,GACL,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CAWlC;AAkBM,wBAPkB,CAAC,SAAb,SAAW,EACL,CAAC,SAAP,GAAK,iBACP,KAAK,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,iBACjB,KAAK,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,mBACrB,OAAO,GACL,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,CA8BlC;AAgBM,sBANkB,CAAC,SAAb,SAAW,iBACb,KAAK,MAAM,CAAC,CAAC,CAAC,eACd,KAAK,QAAQ,CAAC,CAAC,CAAC,kBAChB,OAAO,CAAC,CAAC,GACP,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAYjC;AAgBM,0BANkB,CAAC,SAAb,SAAW,iBACb,KAAK,MAAM,CAAC,CAAC,CAAC,eACd,KAAK,QAAQ,CAAC,CAAC,CAAC,WAChB,OAAO,CAAC,CAAC,EAAE,GACT,OAAO,CAAC,OAAO,EAAE,CAAC,CAoB9B;+BA5ImD,YAAY;yBADjC,gBAAgB;2BACK,YAAY;0BAFzC,WAAW;6BAEkB,YAAY;6BADjC,gBAAgB;4BACK,YAAY"}

package/src/mathHelpers/copyBagMathHelpers.d.ts

@@ -0,0 +1,5 @@
+/** @type {MathHelpers<CopyBag>} */
+export const copyBagMathHelpers: MathHelpers<CopyBag>;
+import type { CopyBag } from '@endo/patterns';
+import type { MathHelpers } from '../types.js';
+//# sourceMappingURL=copyBagMathHelpers.d.ts.map

package/src/mathHelpers/copyBagMathHelpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"copyBagMathHelpers.d.ts","sourceRoot":"","sources":["copyBagMathHelpers.js"],"names":[],"mappings":"AAmBA,mCAAmC;AACnC,iCADW,YAAY,OAAO,CAAC,CAY5B;6BAlBuB,gBAAgB;iCADZ,aAAa"}

package/src/mathHelpers/copySetMathHelpers.d.ts

@@ -0,0 +1,5 @@
+/** @type {MathHelpers<CopySet>} */
+export const copySetMathHelpers: MathHelpers<CopySet>;
+import type { CopySet } from '@endo/patterns';
+import type { MathHelpers } from '../types.js';
+//# sourceMappingURL=copySetMathHelpers.d.ts.map

package/src/mathHelpers/copySetMathHelpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"copySetMathHelpers.d.ts","sourceRoot":"","sources":["copySetMathHelpers.js"],"names":[],"mappings":"AAmBA,mCAAmC;AACnC,iCADW,YAAY,OAAO,CAAC,CAY5B;6BAlBuB,gBAAgB;iCADZ,aAAa"}

package/src/mathHelpers/natMathHelpers.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Fungible digital assets use the natMathHelpers to manage balances - the
+ * operations are merely arithmetic on natural, non-negative numbers.
+ *
+ * Natural numbers are used for fungible erights such as money because rounding
+ * issues make floats problematic. All operations should be done with the
+ * smallest whole unit such that the `natMathHelpers` never deals with
+ * fractional parts.
+ *
+ * @type {MathHelpers<NatValue>}
+ */
+export const natMathHelpers: MathHelpers<NatValue>;
+import type { NatValue } from '../types.js';
+import type { MathHelpers } from '../types.js';
+//# sourceMappingURL=natMathHelpers.d.ts.map

package/src/mathHelpers/natMathHelpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"natMathHelpers.d.ts","sourceRoot":"","sources":["natMathHelpers.js"],"names":[],"mappings":"AAOA;;;;;;;;;;GAUG;AACH,6BAFU,YAAY,QAAQ,CAAC,CAgB5B;8BA7BsC,aAAa;iCAAb,aAAa"}

package/src/mathHelpers/setMathHelpers.d.ts

@@ -0,0 +1,8 @@
+/**
+ * @deprecated Replace array-based SetMath with CopySet-based CopySetMath
+ * @type {MathHelpers<SetValue>}
+ */
+export const setMathHelpers: MathHelpers<SetValue>;
+import type { SetValue } from '../types.js';
+import type { MathHelpers } from '../types.js';
+//# sourceMappingURL=setMathHelpers.d.ts.map

package/src/mathHelpers/setMathHelpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"setMathHelpers.d.ts","sourceRoot":"","sources":["setMathHelpers.js"],"names":[],"mappings":"AAiBA;;;GAGG;AACH,6BAFU,YAAY,QAAQ,CAAC,CAkB5B;8BA3BsC,aAAa;iCAAb,aAAa"}

package/src/payment.d.ts

@@ -0,0 +1,7 @@
+export function preparePaymentKind<K extends AssetKind>(issuerZone: Zone, name: string, brand: Brand<K>, PaymentI: InterfaceGuard<any>): () => Payment<K, any>;
+import type { AssetKind } from './types.js';
+import type { Zone } from '@agoric/zone';
+import type { Brand } from './types.js';
+import type { InterfaceGuard } from '@endo/patterns';
+import type { Payment } from './types.js';
+//# sourceMappingURL=payment.d.ts.map

package/src/payment.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"payment.d.ts","sourceRoot":"","sources":["payment.js"],"names":[],"mappings":"AAiBO,mCAPkB,CAAC,SAAb,SAAW,cACb,IAAI,QACJ,MAAM,SACN,MAAM,CAAC,CAAC,YACR,eAAe,GAAG,CAAC,GACjB,MAAM,QAAQ,CAAC,EAAE,GAAG,CAAC,CAejC;+BA3B2C,YAAY;0BACjC,cAAc;2BADO,YAAY;oCAEvB,gBAAgB;6BAFL,YAAY"}

package/src/paymentLedger.d.ts

@@ -0,0 +1,9 @@
+export function preparePaymentLedger<K extends AssetKind>(issuerZone: Zone, name: string, assetKind: K, displayInfo: DisplayInfo<K>, elementShape: Pattern, recoverySetsState: RecoverySetsOption, optShutdownWithFailure?: ShutdownWithFailure): PaymentLedger<K>;
+import type { AssetKind } from './types.js';
+import type { Zone } from '@agoric/base-zone';
+import type { DisplayInfo } from './types.js';
+import type { Pattern } from '@endo/patterns';
+import type { RecoverySetsOption } from './types.js';
+import type { ShutdownWithFailure } from '@agoric/swingset-vat';
+import type { PaymentLedger } from './types.js';
+//# sourceMappingURL=paymentLedger.d.ts.map

package/src/paymentLedger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"paymentLedger.d.ts","sourceRoot":"","sources":["paymentLedger.js"],"names":[],"mappings":"AAqFO,qCAVkB,CAAC,SAAb,SAAW,cACb,IAAI,QACJ,MAAM,aACN,CAAC,eACD,YAAY,CAAC,CAAC,gBACd,OAAO,qBACP,kBAAkB,2BAClB,mBAAmB,GACjB,cAAc,CAAC,CAAC,CAyT5B;+BA9XwH,YAAY;0BAJ9G,mBAAmB;iCAI+E,YAAY;6BALtG,gBAAgB;wCAK0E,YAAY;yCAF/F,sBAAsB;mCAE6D,YAAY"}

package/src/purse.d.ts

@@ -0,0 +1,27 @@
+export function preparePurseKind(issuerZone: Zone, name: string, assetKind: AssetKind, brand: Brand, PurseIKit: {
+    purse: InterfaceGuard<any>;
+    depositFacet: InterfaceGuard<any>;
+}, purseMethods: {
+    depositInternal: any;
+    withdrawInternal: any;
+}, recoverySetsState: RecoverySetsOption, paymentRecoverySets: WeakMapStore<Payment, SetStore<Payment>>): () => import("@endo/exo").Guarded<{
+    deposit(srcPayment: any, optAmountShape?: undefined): any;
+    withdraw(amount: any): any;
+    getCurrentAmount(): import("./types.js").NatAmount | import("./types.js").CopySetAmount<import("@endo/patterns").Key> | import("./types.js").SetAmount<import("@endo/patterns").Key> | import("./types.js").CopyBagAmount<import("@endo/patterns").Key>;
+    getCurrentAmountNotifier(): import("@agoric/notifier").Notifier<any>;
+    getAllegedBrand(): Brand;
+    getDepositFacet(): import("@endo/exo").Guarded<{
+        receive(...args: any[]): any;
+    }>;
+    getRecoverySet(): import("@endo/patterns").CopySet<any>;
+    recoverAll(): import("./types.js").NatAmount | import("./types.js").CopySetAmount<import("@endo/patterns").Key> | import("./types.js").SetAmount<import("@endo/patterns").Key> | import("./types.js").CopyBagAmount<import("@endo/patterns").Key>;
+}>;
+import type { Zone } from '@agoric/zone';
+import type { AssetKind } from './types.js';
+import type { Brand } from './types.js';
+import type { InterfaceGuard } from '@endo/patterns';
+import type { RecoverySetsOption } from './types.js';
+import type { Payment } from './types.js';
+import type { SetStore } from '@agoric/store';
+import type { WeakMapStore } from '@agoric/store';
+//# sourceMappingURL=purse.d.ts.map

package/src/purse.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"purse.d.ts","sourceRoot":"","sources":["purse.js"],"names":[],"mappings":"AAiCO,6CAfI,IAAI,QACJ,MAAM,aACN,SAAS,SACT,KAAK,aACL;IACN,KAAK,EAAE,eAAe,GAAG,CAAC,CAAC;IAC3B,YAAY,EAAE,eAAe,GAAG,CAAC,CAAC;CACnC,gBACO;IACN,eAAe,EAAE,GAAG,CAAC;IACrB,gBAAgB,EAAE,GAAG,CAAC;CACvB,qBACO,kBAAkB,uBAClB,aAAa,OAAO,EAAE,SAAS,OAAO,CAAC,CAAC;;;;;;;;;;;GA4JlD;0BAnLsB,cAAc;+BAD2B,YAAY;2BAAZ,YAAY;oCAE3C,gBAAgB;wCAFe,YAAY;6BAAZ,YAAY;8BAIjD,eAAe;kCADX,eAAe"}

package/src/ratio.d.ts

@@ -0,0 +1,48 @@
+export function assertIsRatio(ratio: any): void;
+export function makeRatio(numerator: bigint, numeratorBrand: Brand, denominator?: bigint, denominatorBrand?: Brand): Ratio;
+export function makeRatioFromAmounts(numeratorAmount: Amount, denominatorAmount: Amount): Ratio;
+/** @type {ScaleAmount} */
+export const floorMultiplyBy: ScaleAmount;
+/** @type {ScaleAmount} */
+export const ceilMultiplyBy: ScaleAmount;
+/** @type {ScaleAmount} */
+export const multiplyBy: ScaleAmount;
+/**
+ * Divide the amount by the ratio, truncating the remainder.
+ *
+ * @type {ScaleAmount}
+ */
+export const floorDivideBy: ScaleAmount;
+/**
+ * Divide the amount by the ratio, rounding up the remainder.
+ *
+ * @type {ScaleAmount}
+ */
+export const ceilDivideBy: ScaleAmount;
+/**
+ * Divide the amount by the ratio, rounding to nearest with ties to even (aka
+ * Banker's Rounding) as in IEEE 754 default rounding.
+ *
+ * @type {ScaleAmount}
+ */
+export const divideBy: ScaleAmount;
+export function invertRatio(ratio: Ratio): Ratio;
+export function addRatios(left: Ratio, right: Ratio): Ratio;
+export function subtractRatios(left: Ratio, right: Ratio): Ratio;
+export function multiplyRatios(left: Ratio, right: Ratio): Ratio;
+export function oneMinus(ratio: Ratio): Ratio;
+export function ratioGTE(left: Ratio, right: Ratio): boolean;
+export function ratiosSame(left: Ratio, right: Ratio): boolean;
+export function quantize(ratio: Ratio, newDen: bigint): Ratio;
+export function parseRatio(numeric: ParsableNumber, numeratorBrand: Brand<"nat">, denominatorBrand?: Brand<"nat">): Ratio;
+export function assertParsableNumber(specimen: unknown): asserts specimen is ParsableNumber;
+export function ratioToNumber(ratio: Ratio): number;
+export type Ratio = {
+    numerator: Amount<"nat">;
+    denominator: Amount<"nat">;
+};
+export type ScaleAmount = (amount: Amount<"nat">, ratio: Ratio) => Amount<"nat">;
+export type ParsableNumber = bigint | number | string;
+import type { Brand } from '@agoric/ertp';
+import type { Amount } from '@agoric/ertp';
+//# sourceMappingURL=ratio.d.ts.map

package/src/ratio.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ratio.d.ts","sourceRoot":"","sources":["ratio.js"],"names":[],"mappings":"AAwDO,gDAcN;AASM,qCANI,MAAM,kBACN,KAAK,gBACL,MAAM,qBACN,KAAK,GACH,KAAK,CAejB;AAOM,sDAJI,MAAM,qBACN,MAAM,GACJ,KAAK,CAYjB;AA2BD,0BAA0B;AAC1B,8BADW,WAAW,CAGpB;AAEF,0BAA0B;AAC1B,6BADW,WAAW,CAGpB;AAEF,0BAA0B;AAC1B,yBADW,WAAW,CAGpB;AA2BF;;;;GAIG;AACH,4BAFU,WAAW,CAInB;AAEF;;;;GAIG;AACH,2BAFU,WAAW,CAInB;AAEF;;;;;GAKG;AACH,uBAFU,WAAW,CAInB;AAMK,mCAHI,KAAK,GACH,KAAK,CAWjB;AAOM,gCAJI,KAAK,SACL,KAAK,GACH,KAAK,CAwBjB;AAOM,qCAJI,KAAK,SACL,KAAK,GACH,KAAK,CAmBjB;AAOM,qCAJI,KAAK,SACL,KAAK,GACH,KAAK,CA8BjB;AAQM,gCAHI,KAAK,GACH,KAAK,CAcjB;AAOM,+BAJI,KAAK,SACL,KAAK,GACH,OAAO,CAkBnB;AAUM,iCAJI,KAAK,SACL,KAAK,GACH,OAAO,CAOnB;AAWM,gCAJI,KAAK,UACL,MAAM,GACJ,KAAK,CAiBjB;AAaM,oCALI,cAAc,kBACd,MAAM,KAAK,CAAC,qBACZ,MAAM,KAAK,CAAC,GACV,KAAK,CAmBjB;AAMM,+CAHI,OAAO,GACL,QAAQ,QAAQ,IAAI,cAAc,CAK9C;AAQM,qCAHI,KAAK,GACH,MAAM,CAMlB;;eAxaa,OAAO,KAAK,CAAC;iBACb,OAAO,KAAK,CAAC;;mCAKhB,OAAO,KAAK,CAAC,SACb,KAAK,KACH,OAAO,KAAK,CAAC;6BAgXZ,MAAM,GAAG,MAAM,GAAG,MAAM;2BAhYkB,cAAc;4BAAd,cAAc"}

package/src/safeMath.d.ts

@@ -0,0 +1,11 @@
+export namespace natSafeMath {
+    let add: NatOp;
+    let subtract: NatOp;
+    let multiply: NatOp;
+    let floorDivide: NatOp;
+    let ceilDivide: NatOp;
+    let bankersDivide: NatOp;
+    let isGTE: (x: number | bigint, y: number | bigint) => boolean;
+}
+export type NatOp = (x: number | bigint, y: number | bigint) => bigint;
+//# sourceMappingURL=safeMath.d.ts.map

package/src/safeMath.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"safeMath.d.ts","sourceRoot":"","sources":["safeMath.js"],"names":[],"mappings":";aAYa,KAAK;kBAGL,KAAK;kBAEL,KAAK;qBAEL,KAAK;oBAEL,KAAK;uBASN,KAAK;eAiBJ,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,KAAK,OAAO;;oBA7ClD,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,KAAK,MAAM"}

package/src/transientNotifier.d.ts

@@ -0,0 +1,5 @@
+export function makeTransientNotifierKit(): {
+    provideNotifier: (key: any) => import("@agoric/notifier").Notifier<any>;
+    update: (key: any, newValue: any) => void;
+};
+//# sourceMappingURL=transientNotifier.d.ts.map

package/src/transientNotifier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"transientNotifier.d.ts","sourceRoot":"","sources":["transientNotifier.js"],"names":[],"mappings":"AAYO;;;EAoBN"}

package/src/typeGuards.d.ts

@@ -0,0 +1,96 @@
+/**
+ * @import {AmountValue, Ratio} from './types.js'
+ * @import {TypedPattern} from '@agoric/internal'
+ * @import {CopyBag, CopySet, Pattern} from '@endo/patterns';
+ * @import {NatValue, SetValue} from './types.js';
+ */
+export const BrandShape: import("@endo/patterns").Matcher;
+export const IssuerShape: import("@endo/patterns").Matcher;
+export const PaymentShape: import("@endo/patterns").Matcher;
+export const PurseShape: import("@endo/patterns").Matcher;
+export const DepositFacetShape: import("@endo/patterns").Matcher;
+export const NotifierShape: import("@endo/patterns").Matcher;
+export const MintShape: import("@endo/patterns").Matcher;
+export namespace AmountShape {
+    export { BrandShape as brand };
+    export { AmountValueShape as value };
+}
+/**
+ * To be used to guard an amount pattern argument, i.e., an argument which is a
+ * pattern that can be used to test amounts. Since amounts are keys, anywhere an
+ * amount pattern is expected, an amount can be provided and will match only
+ * that concrete amount, i.e., amounts that are `keyEQ` to that amount.
+ *
+ * The `AmountShape` guard above is an amount pattern. But not all amount
+ * patterns are like `AmountShape`. For example, `M.any()` is a valid amount
+ * pattern that will admit any amount, but is does not resemble the
+ * `AmountShape` pattern above.
+ */
+export const AmountPatternShape: import("@endo/patterns").Matcher;
+/** @type {TypedPattern<Ratio>} */
+export const RatioShape: TypedPattern<Ratio>;
+export function isNatValue(value: AmountValue): value is NatValue;
+export function isCopySetValue(value: AmountValue): value is CopySet;
+export function isSetValue(value: AmountValue): value is SetValue;
+export function isCopyBagValue(value: AmountValue): value is CopyBag;
+export const MAX_ABSOLUTE_DECIMAL_PLACES: 100;
+export const AssetKindShape: import("@endo/patterns").Matcher;
+export const DisplayInfoShape: import("@endo/patterns").Matcher;
+export namespace IssuerKitShape {
+    export { BrandShape as brand };
+    export { MintShape as mint };
+    export { PurseShape as mintRecoveryPurse };
+    export { IssuerShape as issuer };
+    export { DisplayInfoShape as displayInfo };
+}
+export const BrandI: import("@endo/patterns").InterfaceGuard<{
+    isMyIssuer: import("@endo/patterns").MethodGuard;
+    getAllegedName: import("@endo/patterns").MethodGuard;
+    getDisplayInfo: import("@endo/patterns").MethodGuard;
+    getAmountShape: import("@endo/patterns").MethodGuard;
+}>;
+export function makeIssuerInterfaces(brandShape?: Pattern, assetKindShape?: Pattern, amountShape?: Pattern): {
+    IssuerI: import("@endo/patterns").InterfaceGuard<{
+        getBrand: import("@endo/patterns").MethodGuard;
+        getAllegedName: import("@endo/patterns").MethodGuard;
+        getAssetKind: import("@endo/patterns").MethodGuard;
+        getDisplayInfo: import("@endo/patterns").MethodGuard;
+        makeEmptyPurse: import("@endo/patterns").MethodGuard;
+        isLive: import("@endo/patterns").MethodGuard;
+        getAmountOf: import("@endo/patterns").MethodGuard;
+        burn: import("@endo/patterns").MethodGuard;
+    }>;
+    MintI: import("@endo/patterns").InterfaceGuard<{
+        getIssuer: import("@endo/patterns").MethodGuard;
+        mintPayment: import("@endo/patterns").MethodGuard;
+    }>;
+    PaymentI: import("@endo/patterns").InterfaceGuard<{
+        getAllegedBrand: import("@endo/patterns").MethodGuard;
+    }>;
+    PurseIKit: {
+        purse: import("@endo/patterns").InterfaceGuard<{
+            getAllegedBrand: import("@endo/patterns").MethodGuard;
+            getCurrentAmount: import("@endo/patterns").MethodGuard;
+            getCurrentAmountNotifier: import("@endo/patterns").MethodGuard;
+            deposit: import("@endo/patterns").MethodGuard;
+            getDepositFacet: import("@endo/patterns").MethodGuard;
+            withdraw: import("@endo/patterns").MethodGuard;
+            getRecoverySet: import("@endo/patterns").MethodGuard;
+            recoverAll: import("@endo/patterns").MethodGuard;
+        }>;
+        depositFacet: import("@endo/patterns").InterfaceGuard<{
+            receive: import("@endo/patterns").MethodGuard;
+        }>;
+    };
+};
+declare const AmountValueShape: import("@endo/patterns").Matcher;
+import type { Ratio } from './types.js';
+import type { TypedPattern } from '@agoric/internal';
+import type { AmountValue } from './types.js';
+import type { NatValue } from './types.js';
+import type { CopySet } from '@endo/patterns';
+import type { SetValue } from './types.js';
+import type { CopyBag } from '@endo/patterns';
+import type { Pattern } from '@endo/patterns';
+export {};
+//# sourceMappingURL=typeGuards.d.ts.map

package/src/typeGuards.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"typeGuards.d.ts","sourceRoot":"","sources":["typeGuards.js"],"names":[],"mappings":"AACA;;;;;GAKG;AAEH,0DAA+C;AAC/C,2DAAiD;AACjD,4DAAmD;AACnD,0DAA+C;AAC/C,iEAA6D;AAC7D,6DAAqD;AACrD,yDAA6C;;;;;AAkE7C;;;;;;;;;;GAUG;AACH,kEAA8C;AAE9C,kCAAkC;AAClC,yBADW,aAAa,KAAK,CAAC,CACiD;AASxE,kCAHI,WAAW,GACT,KAAK,IAAI,QAAQ,CAEkC;AASzD,sCAHI,WAAW,GACT,KAAK,IAAI,OAAO,CAE2C;AAYjE,kCAHI,WAAW,GACT,KAAK,IAAI,QAAQ,CAEkC;AASzD,sCAHI,WAAW,GACT,KAAK,IAAI,OAAO,CAE2C;AAIxE,0CAA2C,GAAG,CAAC;AAE/C,8DAAuE;AAEvE,gEAaE;;;;;;;;AAaF;;;;;GAKG;AAOI,kDAJI,OAAO,mBACP,OAAO,gBACP,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAqEjB;AAhLD,iEAKE;2BAzEmC,YAAY;kCAClB,kBAAkB;iCADZ,YAAY;8BAGZ,YAAY;6BADL,gBAAgB;8BACvB,YAAY;6BADL,gBAAgB;6BAAhB,gBAAgB"}

package/src/types.d.ts

@@ -0,0 +1,410 @@
+import type { LatestTopic } from '@agoric/notifier';
+import type { ERef } from '@endo/far';
+import type { RemotableObject } from '@endo/pass-style';
+import type { CopyBag, CopySet, Key, Pattern } from '@endo/patterns';
+import type { TypeTag } from '@agoric/internal/src/tagged.js';
+import type { AssetKind } from './amountMath.js';
+export type { AssetKind } from './amountMath.js';
+export type NatAmount = {
+    brand: Brand<'nat'>;
+    value: bigint;
+};
+export type SetAmount<K extends Key> = {
+    brand: Brand<'set'>;
+    value: K[];
+};
+export type CopySetAmount<K extends Key> = {
+    brand: Brand<'copySet'>;
+    value: CopySet<K>;
+};
+export type CopyBagAmount<K extends Key> = {
+    brand: Brand<'copyBag'>;
+    value: CopyBag<K>;
+};
+export type AnyAmount = {
+    brand: Brand<any>;
+    value: any;
+};
+/**
+ * Amounts are descriptions of digital assets, answering the questions "how
+ * much" and "of what kind". Amounts are values labeled with a brand.
+ * AmountMath executes the logic of how amounts are changed when digital
+ * assets are merged, separated, or otherwise manipulated. For example, a
+ * deposit of 2 bucks into a purse that already has 3 bucks gives a new purse
+ * balance of 5 bucks. An empty purse has 0 bucks. AmountMath relies heavily
+ * on polymorphic MathHelpers, which manipulate the unbranded portion.
+ */
+export type Amount<K extends AssetKind = AssetKind, M extends Key = Key> = K extends 'nat' ? NatAmount : K extends 'set' ? SetAmount<M> : K extends 'copySet' ? CopySetAmount<M> : K extends 'copyBag' ? CopyBagAmount<M> : AnyAmount;
+/**
+ * An `AmountValue` describes a set or quantity of assets that can be owned or
+ * shared.
+ *
+ * A fungible `AmountValue` uses a non-negative bigint to represent a quantity
+ * of that many assets.
+ *
+ * A non-fungible `AmountValue` uses an array or CopySet of `Key`s to represent
+ * a set of whatever asset each key represents. A `Key` is a passable value
+ * that can be used as an element in a set (SetStore or CopySet) or as the key
+ * in a map (MapStore or CopyMap).
+ *
+ * `SetValue` is for the deprecated set representation, using an array directly
+ * to represent the array of its elements. `CopySet` is the proper
+ * representation using a CopySet.
+ *
+ * A semi-fungible `CopyBag` is represented as a `CopyBag` of `Key` objects.
+ * "Bag" is synonymous with MultiSet, where an element of a bag can be present
+ * once or more times, i.e., some positive bigint number of times,
+ * representing that quantity of the asset represented by that key.
+ */
+export type AmountValue = NatValue | SetValue | CopySet | import('@endo/patterns').CopyBag;
+/**
+ * See doc-comment
+ *   for `AmountValue`.
+ */
+export type AssetValueForKind<K extends AssetKind, M extends Key = Key> = K extends 'nat' ? NatValue : K extends 'set' ? SetValue<M> : K extends 'copySet' ? CopySet<M> : K extends 'copyBag' ? CopyBag<M> : never;
+export type AssetKindForValue<V extends AmountValue> = V extends NatValue ? 'nat' : V extends SetValue ? 'set' : V extends CopySet ? 'copySet' : V extends import('@endo/patterns').CopyBag ? 'copyBag' : never;
+export type Ratio = {
+    numerator: Amount<'nat'>;
+    denominator: Amount<'nat'>;
+};
+/** @deprecated */
+export type DisplayInfo<K extends AssetKind = AssetKind> = {
+    /**
+     * Tells the display software how many
+     * decimal places to move the decimal over to the left, or in other words,
+     * which position corresponds to whole numbers. We require fungible digital
+     * assets to be represented in integers, in the smallest unit (i.e. USD might
+     * be represented in mill, a thousandth of a dollar. In that case,
+     * `decimalPlaces` would be 3.) This property is optional, and for
+     * non-fungible digital assets, should not be specified. The decimalPlaces
+     * property should be used for _display purposes only_. Any other use is an
+     * anti-pattern.
+     */
+    decimalPlaces?: number | undefined;
+    /**
+     * - the kind of asset, either AssetKind.NAT (fungible)
+     * or AssetKind.SET or AssetKind.COPY_SET (non-fungible)
+     */
+    assetKind: K;
+};
+export type BrandMethods<K extends AssetKind> = {
+    /**
+     *   Should be used with `issuer.getBrand` to ensure an issuer and brand match.
+     */
+    isMyIssuer: (allegedIssuer: ERef<Issuer<K>>) => Promise<boolean>;
+    getAllegedName: () => string;
+    /** @deprecated look up in boardAux */
+    getDisplayInfo: () => DisplayInfo<K>;
+    getAmountShape: () => Pattern;
+};
+/**
+ * The brand identifies the
+ *   kind of issuer, and has a function to get the alleged name for the kind of
+ *   asset described. The alleged name (such as 'BTC' or 'moola') is provided by
+ *   the maker of the issuer and should not be trusted as accurate.
+ *
+ *   Every amount created by a particular issuer will share the same brand, but
+ *   recipients cannot rely on the brand to verify that a purported amount
+ *   represents the issuer they intended, since the same brand can be reused by
+ *   a misbehaving issuer.
+ */
+export type Brand<K extends AssetKind = AssetKind> = RemotableObject & BrandMethods<K>;
+/**
+ * Return true if the payment continues to exist.
+ *
+ *   If the payment is a promise, the operation will proceed upon fulfillment.
+ */
+export type IssuerIsLive = (payment: ERef<Payment>) => Promise<boolean>;
+/**
+ * Get the amount of digital assets in the payment.
+ *   Because the payment is not trusted, we cannot call a method on it directly,
+ *   and must use the issuer instead.
+ *
+ *   If the payment is a promise, the operation will proceed upon fulfillment.
+ */
+export type IssuerGetAmountOf<K extends AssetKind, M extends Key = Key> = (payment: ERef<Payment<K, M>>) => Promise<Amount<K, M>>;
+/**
+ * Burn all of the digital assets in the payment.
+ *   `optAmountShape` is optional. If the `optAmountShape` pattern is present,
+ *   the amount of the digital assets in the payment must match
+ *   `optAmountShape`, to prevent sending the wrong payment and other
+ *   confusion.
+ *
+ *   If the payment is a promise, the operation will proceed upon fulfillment.
+ *
+ *   As always with optional `Pattern` arguments, keep in mind that technically
+ *   the value `undefined` itself is a valid `Key` and therefore a valid
+ *   `Pattern`. But in optional pattern position, a top level `undefined` will
+ *   be interpreted as absence. If you want to express a `Pattern` that will
+ *   match only `undefined`, use `M.undefined()` instead.
+ */
+export type IssuerBurn = (payment: ERef<Payment>, optAmountShape?: Pattern) => Promise<Amount>;
+/**
+ * Work around JSDoc union handling
+ */
+export type IssuerMethods<K extends AssetKind, M extends Key> = {
+    /**
+     * Get the Brand for this Issuer. The Brand
+     * indicates the type of digital asset and is shared by the mint, the issuer,
+     * and any purses and payments of this particular kind. The brand is not
+     * closely held, so this function should not be trusted to identify an issuer
+     * alone. Fake digital assets and amount can use another issuer's brand.
+     */
+    getBrand: () => Brand<K>;
+    /**
+     * Get the allegedName for this
+     * mint/issuer
+     */
+    getAllegedName: () => string;
+    /**
+     * Get the kind of MathHelpers used by this
+     * Issuer.
+     */
+    getAssetKind: () => K;
+    /** @deprecated look up in boardAux */
+    getDisplayInfo: () => DisplayInfo<K>;
+    /**
+     * Make an empty purse of this
+     * brand.
+     */
+    makeEmptyPurse: () => Purse<K, M>;
+    isLive: IssuerIsLive;
+    getAmountOf: IssuerGetAmountOf<K, M>;
+    burn: IssuerBurn;
+};
+/**
+ * The issuer cannot
+ *   mint a new amount, but it can create empty purses and payments. The issuer
+ *   can also transform payments (splitting payments, combining payments,
+ *   burning payments, and claiming payments exclusively). The issuer should be
+ *   gotten from a trusted source and then relied upon as the decider of whether
+ *   an untrusted payment is valid.
+ */
+export type Issuer<K extends AssetKind = AssetKind, M extends Key = Key> = RemotableObject & IssuerMethods<K, M>;
+export type PaymentLedger<K extends AssetKind = AssetKind> = {
+    mint: Mint<K>;
+    /**
+     * Externally useful only if this issuer
+     * uses recovery sets. Can be used to get the recovery set associated with
+     * minted payments that are still live.
+     */
+    mintRecoveryPurse: Purse<K>;
+    issuer: Issuer<K>;
+    brand: Brand<K>;
+};
+export type IssuerKit<K extends AssetKind = AssetKind, M extends Key = Key> = {
+    mint: Mint<K, M>;
+    /**
+     * Externally useful only if this
+     * issuer uses recovery sets. Can be used to get the recovery set associated
+     * with minted payments that are still live.
+     */
+    mintRecoveryPurse: Purse<K, M>;
+    issuer: Issuer<K, M>;
+    brand: Brand<K>;
+    displayInfo: DisplayInfo;
+};
+export type AdditionalDisplayInfo = {
+    /**
+     * Tells the display software how many
+     * decimal places to move the decimal over to the left, or in other words,
+     * which position corresponds to whole numbers. We require fungible digital
+     * assets to be represented in integers, in the smallest unit (i.e. USD might
+     * be represented in mill, a thousandth of a dollar. In that case,
+     * `decimalPlaces` would be 3.) This property is optional, and for
+     * non-fungible digital assets, should not be specified. The decimalPlaces
+     * property should be used for _display purposes only_. Any other use is an
+     * anti-pattern.
+     */
+    decimalPlaces?: number | undefined;
+    assetKind?: AssetKind | undefined;
+};
+/**
+ * Holding a Mint carries the right to issue new digital
+ *   assets. These assets all have the same kind, which is called a Brand.
+ */
+export type Mint<K extends AssetKind = AssetKind, M extends Key = Key> = {
+    /**
+     * Gets the Issuer for this mint.
+     */
+    getIssuer: () => Issuer<K, M>;
+    /**
+     * Creates a new
+     * Payment containing newly minted amount.
+     */
+    mintPayment: (newAmount: Amount<K>) => Payment<K, M>;
+};
+/**
+ * Issuers first became durable with mandatory recovery sets. Later they were
+ * made optional, but there is no support for converting from one state to the
+ * other. Thus, absence of a `RecoverySetsOption` state is equivalent to
+ * `'hasRecoverySets'`. In the absence of a `recoverySetsOption` parameter,
+ * upgradeIssuerKit defaults to the predecessor's `RecoverySetsOption` state, or
+ * `'hasRecoverySets'` if none.
+ *
+ * At this time, issuers started in one of the states (`'noRecoverySets'`, or
+ * `'hasRecoverySets'`) cannot be converted to the other on upgrade. If this
+ * transition is needed, it can likely be supported in a future upgrade. File an
+ * issue on github and explain what you need and why.
+ */
+export type RecoverySetsOption = 'hasRecoverySets' | 'noRecoverySets';
+export type DepositFacetReceive = (payment: Payment, optAmountShape?: Pattern) => Amount;
+export type DepositFacet = {
+    /**
+     * Deposit all the contents of payment
+     * into the purse that made this facet, returning the amount. If the optional
+     * argument `optAmount` does not equal the amount of digital assets in the
+     * payment, throw an error.
+     *
+     * If payment is a promise, throw an error.
+     */
+    receive: DepositFacetReceive;
+};
+/**
+ * Purses hold amount of
+ *   digital assets of the same brand, but unlike Payments, they are not meant
+ *   to be sent to others. To transfer digital assets, a Payment should be
+ *   withdrawn from a Purse. The amount of digital assets in a purse can change
+ *   through the action of deposit() and withdraw().
+ */
+export type Purse<K extends AssetKind = AssetKind, M extends Key = Key> = RemotableObject & PurseMethods<K, M>;
+/**
+ * The primary use for Purses and Payments is for
+ *   currency-like and goods-like digital assets, but they can also be used to
+ *   represent other kinds of rights, such as the right to participate in a
+ *   particular contract.
+ */
+export type PurseMethods<K extends AssetKind = AssetKind, M extends Key = Key> = {
+    /**
+     * Get the alleged Brand for this
+     * Purse
+     */
+    getAllegedBrand: () => Brand<K>;
+    /**
+     * Get the amount contained in
+     * this purse.
+     */
+    getCurrentAmount: () => Amount<K, M>;
+    /**
+     * Get a
+     * lossy notifier for changes to this purse's balance.
+     */
+    getCurrentAmountNotifier: () => LatestTopic<Amount<K, M>>;
+    /**
+     *   Deposit all the contents of payment into this purse, returning the amount. If
+     *   the optional argument `optAmount` does not equal the amount of digital
+     *   assets in the payment, throw an error.
+     *
+     *   If payment is a promise, throw an error.
+     */
+    deposit: <P extends Payment<K, M>>(payment: P, optAmountShape?: Pattern) => P extends Payment<K, M> ? Amount<K, M> : never;
+    /**
+     * Return an object whose
+     * `receive` method deposits to the current Purse.
+     */
+    getDepositFacet: () => DepositFacet;
+    /**
+     * Withdraw amount
+     * from this purse into a new Payment.
+     */
+    withdraw: (amount: Amount<K, M>) => Payment<K, M>;
+    /**
+     * The set of payments
+     * withdrawn from this purse that are still live. These are the payments that
+     * can still be recovered in emergencies by, for example, depositing into this
+     * purse. Such a deposit action is like canceling an outstanding check because
+     * you're tired of waiting for it. Once your cancellation is acknowledged, you
+     * can spend the assets at stake on other things. Afterwards, if the recipient
+     * of the original check finally gets around to depositing it, their deposit
+     * fails.
+     *
+     * Returns an empty set if this issuer does not support recovery sets.
+     */
+    getRecoverySet: () => CopySet<Payment<K, M>>;
+    /**
+     * For use in emergencies, such as
+     * coming back from a traumatic crash and upgrade. This deposits all the
+     * payments in this purse's recovery set into the purse itself, returning the
+     * total amount of assets recovered.
+     *
+     * Returns an empty amount if this issuer does not support recovery sets.
+     */
+    recoverAll: () => Amount<K, M>;
+};
+/**
+ * Payments hold amount
+ *   of digital assets of the same brand in transit. Payments can be deposited
+ *   in purses, split into multiple payments, combined, and claimed (getting an
+ *   exclusive payment). Payments are linear, meaning that either a payment has
+ *   the same amount of digital assets it started with, or it is used up
+ *   entirely. It is impossible to partially use a payment.
+ *
+ *   Payments are often received from other actors and therefore should not be
+ *   trusted themselves. To get the amount of digital assets in a payment, use
+ *   the trusted issuer: issuer.getAmountOf(payment),
+ *
+ *   Payments can be converted to Purses by getting a trusted issuer and calling
+ *   `issuer.makeEmptyPurse()` to create a purse, then
+ *   `purse.deposit(payment)`.
+ */
+export type Payment<K extends AssetKind = AssetKind, M extends Key = Key> = RemotableObject & TypeTag<{
+    /**
+     * Get the allegedBrand, indicating
+     * the type of digital asset this payment purports to be, and which issuer to
+     * use. Because payments are not trusted, any method calls on payments should
+     * be treated with suspicion and verified elsewhere.
+     */
+    getAllegedBrand: () => Brand<K>;
+}, 'Set-like value type', M>;
+/**
+ * All of the difference in how digital asset
+ *   amount are manipulated can be reduced to the behavior of the math on
+ *   values. We extract this custom logic into mathHelpers. MathHelpers are
+ *   about value arithmetic, whereas AmountMath is about amounts, which are the
+ *   values labeled with a brand. AmountMath use mathHelpers to do their value
+ *   arithmetic, and then brand the results, making a new amount.
+ *
+ *   The MathHelpers are designed to be called only from AmountMath, and so all
+ *   methods but coerce can assume their inputs are valid. They only need to do
+ *   output validation, and only when there is a possibility of invalid output.
+ */
+export type MathHelpers<V extends AmountValue> = {
+    /**
+     * Check the kind of this value and
+     * throw if it is not the expected kind.
+     */
+    doCoerce: (allegedValue: V) => V;
+    /**
+     * Get the representation for the identity
+     * element (often 0 or an empty array)
+     */
+    doMakeEmpty: () => V;
+    /**
+     * Is the value the identity
+     * element?
+     */
+    doIsEmpty: (value: V) => boolean;
+    /**
+     * Is the left greater than
+     * or equal to the right?
+     */
+    doIsGTE: (left: V, right: V) => boolean;
+    /**
+     * Does left equal right?
+     */
+    doIsEqual: (left: V, right: V) => boolean;
+    /**
+     * Return the left combined with the
+     * right.
+     */
+    doAdd: (left: V, right: V) => V;
+    /**
+     * Return what remains after
+     * removing the right from the left. If something in the right was not in the
+     * left, we throw an error.
+     */
+    doSubtract: (left: V, right: V) => V;
+};
+export type NatValue = bigint;
+export type SetValue<K extends Key = Key> = K[];
+//# sourceMappingURL=types.d.ts.map

package/src/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACtC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACxD,OAAO,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAC;AACrE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAC;AAC9D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,YAAY,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,MAAM,MAAM,SAAS,GAAG;IACtB,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACpB,KAAK,EAAE,MAAM,CAAC;CACf,CAAC;AACF,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,GAAG,IAAI;IACrC,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACpB,KAAK,EAAE,CAAC,EAAE,CAAC;CACZ,CAAC;AACF,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,GAAG,IAAI;IACzC,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACxB,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;CACnB,CAAC;AACF,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,GAAG,IAAI;IACzC,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC;IACxB,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;CACnB,CAAC;AACF,MAAM,MAAM,SAAS,GAAG;IACtB,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;IAClB,KAAK,EAAE,GAAG,CAAC;CACZ,CAAC;AACF;;;;;;;;GAQG;AACH,MAAM,MAAM,MAAM,CAChB,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,CAAC,SAAS,GAAG,GAAG,GAAG,IACjB,CAAC,SAAS,KAAK,GACf,SAAS,GACT,CAAC,SAAS,KAAK,GACb,SAAS,CAAC,CAAC,CAAC,GACZ,CAAC,SAAS,SAAS,GACjB,aAAa,CAAC,CAAC,CAAC,GAChB,CAAC,SAAS,SAAS,GACjB,aAAa,CAAC,CAAC,CAAC,GAChB,SAAS,CAAC;AACpB;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,MAAM,MAAM,WAAW,GACnB,QAAQ,GACR,QAAQ,GACR,OAAO,GACP,OAAO,gBAAgB,EAAE,OAAO,CAAC;AACrC;;;GAGG;AACH,MAAM,MAAM,iBAAiB,CAC3B,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,GAAG,GAAG,GAAG,IACjB,CAAC,SAAS,KAAK,GACf,QAAQ,GACR,CAAC,SAAS,KAAK,GACb,QAAQ,CAAC,CAAC,CAAC,GACX,CAAC,SAAS,SAAS,GACjB,OAAO,CAAC,CAAC,CAAC,GACV,CAAC,SAAS,SAAS,GACjB,OAAO,CAAC,CAAC,CAAC,GACV,KAAK,CAAC;AAChB,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,QAAQ,GACrE,KAAK,GACL,CAAC,SAAS,QAAQ,GAChB,KAAK,GACL,CAAC,SAAS,OAAO,GACf,SAAS,GACT,CAAC,SAAS,OAAO,gBAAgB,EAAE,OAAO,GACxC,SAAS,GACT,KAAK,CAAC;AAEhB,MAAM,MAAM,KAAK,GAAG;IAAE,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAAC,WAAW,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;CAAE,CAAC;AAE7E,kBAAkB;AAClB,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,IAAI;IACzD;;;;;;;;;;OAUG;IACH,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC;;;OAGG;IACH,SAAS,EAAE,CAAC,CAAC;CACd,CAAC;AACF,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,SAAS,IAAI;IAC9C;;OAEG;IACH,UAAU,EAAE,CAAC,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IACjE,cAAc,EAAE,MAAM,MAAM,CAAC;IAC7B,sCAAsC;IACtC,cAAc,EAAE,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC;IACrC,cAAc,EAAE,MAAM,OAAO,CAAC;CAC/B,CAAC;AACF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,IAAI,eAAe,GAClE,YAAY,CAAC,CAAC,CAAC,CAAC;AAClB;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;AACxE;;;;;;GAMG;AACH,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,GAAG,GAAG,GAAG,IAAI,CACxE,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KACzB,OAAO,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAC3B;;;;;;;;;;;;;;GAcG;AACH,MAAM,MAAM,UAAU,GAAG,CACvB,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,EACtB,cAAc,CAAC,EAAE,OAAO,KACrB,OAAO,CAAC,MAAM,CAAC,CAAC;AACrB;;GAEG;AACH,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,GAAG,IAAI;IAC9D;;;;;;OAMG;IACH,QAAQ,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC;IACzB;;;OAGG;IACH,cAAc,EAAE,MAAM,MAAM,CAAC;IAC7B;;;OAGG;IACH,YAAY,EAAE,MAAM,CAAC,CAAC;IACtB,sCAAsC;IACtC,cAAc,EAAE,MAAM,WAAW,CAAC,CAAC,CAAC,CAAC;IACrC;;;OAGG;IACH,cAAc,EAAE,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClC,MAAM,EAAE,YAAY,CAAC;IACrB,WAAW,EAAE,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC,IAAI,EAAE,UAAU,CAAC;CAClB,CAAC;AACF;;;;;;;GAOG;AACH,MAAM,MAAM,MAAM,CAChB,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,CAAC,SAAS,GAAG,GAAG,GAAG,IACjB,eAAe,GAAG,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1C,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,IAAI;IAC3D,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACd;;;;OAIG;IACH,iBAAiB,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAClB,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;CACjB,CAAC;AACF,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,EAAE,CAAC,SAAS,GAAG,GAAG,GAAG,IAAI;IAC5E,IAAI,EAAE,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACjB;;;;OAIG;IACH,iBAAiB,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC/B,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrB,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAChB,WAAW,EAAE,WAAW,CAAC;CAC1B,CAAC;AACF,MAAM,MAAM,qBAAqB,GAAG;IAClC;;;;;;;;;;OAUG;IACH,aAAa,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACnC,SAAS,CAAC,EAAE,SAAS,GAAG,SAAS,CAAC;CACnC,CAAC;AACF;;;GAGG;AACH,MAAM,MAAM,IAAI,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,EAAE,CAAC,SAAS,GAAG,GAAG,GAAG,IAAI;IACvE;;OAEG;IACH,SAAS,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9B;;;OAGG;IACH,WAAW,EAAE,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CACtD,CAAC;AACF;;;;;;;;;;;;GAYG;AACH,MAAM,MAAM,kBAAkB,GAAG,iBAAiB,GAAG,gBAAgB,CAAC;AACtE,MAAM,MAAM,mBAAmB,GAAG,CAChC,OAAO,EAAE,OAAO,EAChB,cAAc,CAAC,EAAE,OAAO,KACrB,MAAM,CAAC;AACZ,MAAM,MAAM,YAAY,GAAG;IACzB;;;;;;;OAOG;IACH,OAAO,EAAE,mBAAmB,CAAC;CAC9B,CAAC;AACF;;;;;;GAMG;AACH,MAAM,MAAM,KAAK,CACf,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,CAAC,SAAS,GAAG,GAAG,GAAG,IACjB,eAAe,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AACzC;;;;;GAKG;AACH,MAAM,MAAM,YAAY,CACtB,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,CAAC,SAAS,GAAG,GAAG,GAAG,IACjB;IACF;;;OAGG;IACH,eAAe,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC;IAChC;;;OAGG;IACH,gBAAgB,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrC;;;OAGG;IACH,wBAAwB,EAAE,MAAM,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC1D;;;;;;OAMG;IACH,OAAO,EAAE,CAAC,CAAC,SAAS,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,EAC/B,OAAO,EAAE,CAAC,EACV,cAAc,CAAC,EAAE,OAAO,KACrB,CAAC,SAAS,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;IACpD;;;OAGG;IACH,eAAe,EAAE,MAAM,YAAY,CAAC;IACpC;;;OAGG;IACH,QAAQ,EAAE,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClD;;;;;;;;;;;OAWG;IACH,cAAc,EAAE,MAAM,OAAO,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAC7C;;;;;;;OAOG;IACH,UAAU,EAAE,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAChC,CAAC;AACF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,MAAM,OAAO,CACjB,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,CAAC,SAAS,GAAG,GAAG,GAAG,IACjB,eAAe,GACjB,OAAO,CACL;IACE;;;;;OAKG;IACH,eAAe,EAAE,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC;CACjC,EACD,qBAAqB,EACrB,CAAC,CACF,CAAC;AAEJ;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,WAAW,IAAI;IAC/C;;;OAGG;IACH,QAAQ,EAAE,CAAC,YAAY,EAAE,CAAC,KAAK,CAAC,CAAC;IACjC;;;OAGG;IACH,WAAW,EAAE,MAAM,CAAC,CAAC;IACrB;;;OAGG;IACH,SAAS,EAAE,CAAC,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC;IACjC;;;OAGG;IACH,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC;IACxC;;OAEG;IACH,SAAS,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,OAAO,CAAC;IAC1C;;;OAGG;IACH,KAAK,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC;IAChC;;;;OAIG;IACH,UAAU,EAAE,CAAC,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,CAAC;CACtC,CAAC;AACF,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC;AAC9B,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,GAAG,GAAG,GAAG,IAAI,CAAC,EAAE,CAAC"}