@agoric/ertp 0.16.3-dev-f1638f9.0 → 0.16.3-dev-a477bee.0

package/exported.d.ts

@@ -0,0 +1,39 @@
+/* eslint-disable -- doesn't understand .d.ts */
+
+export * from './src/types.js';
+
+// XXX re-export types into global namespace, for consumers that expect these to
+//  be ambient. Why the _ prefix? Because without it TS gets confused between the
+//  import and export symbols. h/t https://stackoverflow.com/a/66588974
+//  Note one big downside vs ambients is that these types will appear to be on `globalThis`.
+// UNTIL https://github.com/Agoric/agoric-sdk/issues/6512
+import {
+  Amount as _Amount,
+  Brand as _Brand,
+  Issuer as _Issuer,
+  IssuerKit as _IssuerKit,
+  Mint as _Mint,
+  AssetKind as _AssetKind,
+  SetValue as _SetValue,
+  NatValue as _NatValue,
+  DisplayInfo as _DisplayInfo,
+  AdditionalDisplayInfo as _AdditionalDisplayInfo,
+  Payment as _Payment,
+  Purse as _Purse,
+} from './src/types.js';
+declare global {
+  export {
+    _Amount as Amount,
+    _Brand as Brand,
+    _Issuer as Issuer,
+    _IssuerKit as IssuerKit,
+    _Mint as Mint,
+    _AssetKind as AssetKind,
+    _SetValue as SetValue,
+    _NatValue as NatValue,
+    _DisplayInfo as DisplayInfo,
+    _AdditionalDisplayInfo as AdditionalDisplayInfo,
+    _Payment as Payment,
+    _Purse as Purse,
+  };
+}

package/exported.js

@@ -1 +1 @@
-import './src/types-ambient.js';
+// Dummy file for .d.ts twin to declare ambients

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/ertp",
-  "version": "0.16.3-dev-f1638f9.0+f1638f9",
+  "version": "0.16.3-dev-a477bee.0+a477bee",
   "description": "Electronic Rights Transfer Protocol (ERTP). A smart contract framework for exchanging electronic rights",
   "type": "module",
   "main": "src/index.js",
@@ -9,8 +9,8 @@
   },
   "scripts": {
     "build": "exit 0",
-    "prepack": "echo \"export {}; \" | cat - src/types-ambient.js > src/types.js && tsc --build --clean tsconfig.build.json",
-    "postpack": "git clean -f '*.d.ts*' src/types.js",
+    "prepack": "tsc --build tsconfig.build.json",
+    "postpack": "git clean -f '*.d.ts*'",
     "test": "ava",
     "test:c8": "c8 $C8_OPTIONS ava",
     "test:xs": "yarn test:xs-unit && yarn test:xs-worker",
@@ -39,11 +39,11 @@
   },
   "homepage": "https://github.com/Agoric/agoric-sdk#readme",
   "dependencies": {
-    "@agoric/assert": "0.6.1-dev-f1638f9.0+f1638f9",
-    "@agoric/notifier": "0.6.3-dev-f1638f9.0+f1638f9",
-    "@agoric/store": "0.9.3-dev-f1638f9.0+f1638f9",
-    "@agoric/vat-data": "0.5.3-dev-f1638f9.0+f1638f9",
-    "@agoric/zone": "0.2.3-dev-f1638f9.0+f1638f9",
+    "@agoric/assert": "0.6.1-dev-a477bee.0+a477bee",
+    "@agoric/notifier": "0.6.3-dev-a477bee.0+a477bee",
+    "@agoric/store": "0.9.3-dev-a477bee.0+a477bee",
+    "@agoric/vat-data": "0.5.3-dev-a477bee.0+a477bee",
+    "@agoric/zone": "0.2.3-dev-a477bee.0+a477bee",
     "@endo/eventual-send": "^1.2.0",
     "@endo/far": "^1.1.0",
     "@endo/marshal": "^1.4.0",
@@ -52,7 +52,7 @@
     "@endo/promise-kit": "^1.1.0"
   },
   "devDependencies": {
-    "@agoric/swingset-vat": "0.32.3-dev-f1638f9.0+f1638f9",
+    "@agoric/swingset-vat": "0.32.3-dev-a477bee.0+a477bee",
     "@endo/bundle-source": "^3.2.1",
     "@fast-check/ava": "^1.1.5",
     "ava": "^5.3.0",
@@ -61,7 +61,8 @@
   "files": [
     "src",
     "NEWS.md",
-    "exported.js"
+    "exported.js",
+    "exported.d.ts"
   ],
   "ava-xs": {
     "exclude": [
@@ -87,5 +88,5 @@
   "typeCoverage": {
     "atLeast": 90.61
   },
-  "gitHead": "f1638f95424a0f3851e6e1d880c2a38dd14eca3d"
+  "gitHead": "a477bee3be6e0e98b9346c0640380e276cf8423e"
 }

package/src/amountMath.d.ts

@@ -0,0 +1,61 @@
+export function assertValueGetHelpers<V extends AmountValue>(value: V): MathHelpers<V>;
+import type { AmountValue } from './types.js';
+import type { MathHelpers } from './types.js';
+export namespace AmountMath {
+    export function make<K extends AssetKind>(brand: Brand<K>, allegedValue: AssetValueForKind<K>): Amount<K>;
+    export function coerce<K extends AssetKind>(brand: Brand<K>, allegedAmount: Amount<K>): Amount<K>;
+    export function getValue<K extends AssetKind>(brand: Brand<K>, amount: Amount<K>): AssetValueForKind<K>;
+    export let makeEmpty: {
+        (brand: Brand): Amount<"nat">;
+        <K extends AssetKind>(brand: Brand, assetKind: K): Amount<K>;
+    };
+    export function makeEmptyFromAmount<K extends AssetKind>(amount: Amount<K>): Amount<K>;
+    export function isEmpty(amount: Amount, brand?: Brand | undefined): boolean;
+    export { isGTE };
+    export function isEqual<K extends AssetKind>(leftAmount: Amount<K>, rightAmount: Amount<K>, brand?: Brand<K> | undefined): boolean;
+    export function add<K extends AssetKind>(leftAmount: Amount<K>, rightAmount: Amount<K>, brand?: Brand<K> | undefined): Amount<K>;
+    export function subtract<K extends AssetKind>(leftAmount: Amount<K>, rightAmount: Amount<K>, brand?: Brand<K> | undefined): Amount<K>;
+    export function min<K extends AssetKind>(x: Amount<K>, y: Amount<K>, brand?: Brand<K> | undefined): Amount<K>;
+    export function max<K extends AssetKind>(x: Amount<K>, y: Amount<K>, brand?: Brand<K> | undefined): Amount<K>;
+}
+/**
+ * Constants for the kinds of assets we support.
+ *
+ * @type {{
+ *   NAT: 'nat';
+ *   SET: 'set';
+ *   COPY_SET: 'copySet';
+ *   COPY_BAG: 'copyBag';
+ * }}
+ */
+export const AssetKind: {
+    NAT: 'nat';
+    SET: 'set';
+    COPY_SET: 'copySet';
+    COPY_BAG: 'copyBag';
+};
+import type { AssetKind } from './types.js';
+/** @param {Amount} amount */
+export function getAssetKind(amount: Amount): AssetKindForValue<V>;
+/** @param {AssetKind} allegedAK */
+export function assertAssetKind(allegedAK: AssetKind): void;
+import type { Brand } from './types.js';
+import type { AssetValueForKind } 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> | undefined): boolean;
+import type { AssetKindForValue } from './types.js';
+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":"AAuHO,uFAEkC;iCAjHmE,YAAY;iCAAZ,YAAY;;IAyMhH,0GAKL;IAUO,kGAQP;IASS,wGAAyD;;;;;IAwB9C,uFAOpB;IAQQ,4EAOR;;IAYQ,mIAGR;IAcI,iIAIJ;IAcS,sIAIT;IAUI,8GAMuC;IAUvC,8GAMuC;;AAtW9C;;;;;;;;;GASG;AACH,wBAPU;IACT,GAAO,EAAE,KAAK,CAAC;IACf,GAAO,EAAE,KAAK,CAAC;IACf,QAAY,EAAE,SAAS,CAAC;IACxB,QAAY,EAAE,SAAS,CAAC;CACrB,CAOD;+BAnByG,YAAY;AA8WxH,6BAA6B;AAC7B,mEAKC;AA9VD,mCAAmC;AACnC,2CADY,SAAS,QAIpB;2BA1B2G,YAAY;uCAAZ,YAAY;4BAAZ,YAAY;AAqKxH;;;;;;;;;;;;GAYG;AACH,0HAFa,OAAO,CAKnB;uCArL2G,YAAY"}

package/src/amountMath.js

@@ -6,6 +6,8 @@ import { setMathHelpers } from './mathHelpers/setMathHelpers.js';
 import { copySetMathHelpers } from './mathHelpers/copySetMathHelpers.js';
 import { copyBagMathHelpers } from './mathHelpers/copyBagMathHelpers.js';
 
+/** @import {Amount, AssetKind, AmountValue, AssetKindForValue, AssetValueForKind, Brand, MathHelpers} from './types.js' */
+
 const { quote: q, Fail } = assert;
 
 /**

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,wEAJI,MAAM,OACN,MAAM,kBAiBhB;;;qCAxBmC,IAAI;qCACJ,OAAO;;+BAPiE,YAAY;4BAAZ,YAAY"}

package/src/amountStore.js

@@ -1,5 +1,7 @@
 import { AmountMath } from './amountMath.js';
 
+/** @import {Amount, AssetKind, AmountValue, AssetKindForValue, AssetValueForKind, Brand, MathHelpers} from './types.js' */
+
 /**
  * @template {AssetKind} [K=AssetKind]
  * @typedef {object} AmountStore

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":"AAcO,gHAeN;2CAtBgE,YAAY;+BAAZ,YAAY;iCAAZ,YAAY"}

package/src/displayInfo.js

@@ -5,6 +5,8 @@ import { mustMatch } from '@agoric/store';
 
 import { DisplayInfoShape } from './typeGuards.js';
 
+/** @import {AdditionalDisplayInfo, AssetKind, DisplayInfo} from './types.js' */
+
 /**
  * @param {AdditionalDisplayInfo} allegedDisplayInfo
  * @param {AssetKind} assetKind

package/src/index.d.ts

@@ -0,0 +1,4 @@
+export * from "./amountMath.js";
+export * from "./issuerKit.js";
+export * from "./typeGuards.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,43 @@
+export function upgradeIssuerKit<K extends import("./types.js").AssetKind>(issuerBaggage: import('@agoric/vat-data').Baggage, optShutdownWithFailure?: ShutdownWithFailure | undefined, recoverySetsOption?: RecoverySetsOption | undefined): IssuerKit<K>;
+export function hasIssuer(baggage: import('@agoric/vat-data').Baggage): boolean;
+export function makeDurableIssuerKit<K extends import("./types.js").AssetKind>(issuerBaggage: import('@agoric/vat-data').Baggage, name: string, assetKind?: K | undefined, displayInfo?: AdditionalDisplayInfo | undefined, optShutdownWithFailure?: ShutdownWithFailure | undefined, { elementShape, recoverySetsOption }?: Partial<{
+    elementShape: Pattern;
+    recoverySetsOption: RecoverySetsOption;
+}> | undefined): IssuerKit<K>;
+export function prepareIssuerKit<K extends import("./types.js").AssetKind>(issuerBaggage: import('@agoric/vat-data').Baggage, name: string, assetKind?: K | undefined, displayInfo?: AdditionalDisplayInfo | undefined, optShutdownWithFailure?: ShutdownWithFailure | undefined, options?: Partial<{
+    elementShape: Pattern;
+    recoverySetsOption: RecoverySetsOption;
+}> | undefined): IssuerKit<K>;
+export function makeIssuerKit<K extends import("./types.js").AssetKind = "nat">(name: string, assetKind?: K | undefined, displayInfo?: AdditionalDisplayInfo | undefined, optShutdownWithFailure?: ShutdownWithFailure | undefined, { elementShape, recoverySetsOption }?: Partial<{
+    elementShape: Pattern;
+    recoverySetsOption: RecoverySetsOption;
+}> | undefined): IssuerKit<K>;
+export type IssuerRecord<K extends import("./types.js").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 = {
+    elementShape?: Pattern;
+    recoverySetsOption?: RecoverySetsOption | undefined;
+};
+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';
+//# 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":"AA4GO,0FAZI,OAAO,kBAAkB,EAAE,OAAO,+HAyC5C;AAQM,mCAFI,OAAO,kBAAkB,EAAE,OAAO,WAEgB;AAoDtD,8FAdI,OAAO,kBAAkB,EAAE,OAAO,QAClC,MAAM;kBAtBE,OAAO;;8BA4DzB;AAiCM,0FAdI,OAAO,kBAAkB,EAAE,OAAO,QAClC,MAAM;kBAhFE,OAAO;;8BAkIzB;AAqCM,sFAbI,MAAM;kBA1JE,OAAO;;8BAsLvB;;UAvUW,MAAM;eACN,CAAC;;kBAED,OAAO;;;;;;;;;;;;;;;;;mBA8IF,OAAO;;;yCAtJa,sBAAsB;wCAD0B,YAAY;+BAAZ,YAAY;2CAAZ,YAAY"}

package/src/issuerKit.js

@@ -9,7 +9,8 @@ import { AssetKind, assertAssetKind } from './amountMath.js';
 import { coerceDisplayInfo } from './displayInfo.js';
 import { preparePaymentLedger } from './paymentLedger.js';
 
-import './types-ambient.js';
+/** @import {AdditionalDisplayInfo, RecoverySetsOption, IssuerKit, PaymentLedger} from './types.js' */
+/** @import {ShutdownWithFailure} from '@agoric/swingset-vat' */
 
 /**
  * @template {AssetKind} K
@@ -58,7 +59,7 @@ const setupIssuerKit = (
 
   // Attenuate the powerful authority to mint and change balances
   /** @type {PaymentLedger<K>} */
-  // @ts-expect-error could be instantiated with different subtype of AssetKind
+  // @ts-expect-error could be instantiated with a different subtype
   const { issuer, mint, brand, mintRecoveryPurse } = preparePaymentLedger(
     issuerZone,
     name,

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

@@ -0,0 +1,9 @@
+export function claim<K extends AssetKind>(recoveryPurse: ERef<Purse<K>>, srcPaymentP: ERef<Payment<K>>, optAmountShape?: Pattern): Promise<Payment<K>>;
+export function combine<K extends AssetKind>(recoveryPurse: ERef<Purse<K>>, srcPaymentsPs: ERef<Payment<K>>[], optTotalAmount?: Pattern): Promise<Payment<K>>;
+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 { Purse } from './types.js';
+import type { Payment } from './types.js';
+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":"AA+BO,0HAHI,OAAO,uBAYjB;AAiBM,gIAHI,OAAO,uBA2BjB;AAgBM,2JAUN;AAgBM,uJAkBN;+BAvI2F,YAAY;2BAAZ,YAAY;6BAAZ,YAAY;4BAAZ,YAAY"}

package/src/legacy-payment-helpers.js

@@ -4,6 +4,8 @@ import { mustMatch } from '@agoric/store';
 import { E } from '@endo/far';
 import { AmountMath } from './amountMath.js';
 
+/** @import {Amount, AssetKind, AmountValue, AssetKindForValue, Payment, Brand, Purse} from './types.js' */
+
 const { Fail } = assert;
 
 /**

package/src/mathHelpers/copyBagMathHelpers.d.ts

@@ -0,0 +1,4 @@
+/** @type {MathHelpers<import('@endo/patterns').CopyBag>} */
+export const copyBagMathHelpers: MathHelpers<import("@endo/patterns").CopyBag<any>>;
+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":"AAkBA,4DAA4D;AAC5D,oFAWG;iCAjB4B,aAAa"}

package/src/mathHelpers/copyBagMathHelpers.js

@@ -10,7 +10,8 @@ import {
   bagUnion,
   bagDisjointSubtract,
 } from '@agoric/store';
-import '../types-ambient.js';
+
+/** @import {MathHelpers} from '../types.js' */
 
 /** @type {import('@endo/patterns').CopyBag} */
 const empty = makeCopyBag([]);

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":"AAqBA,mCAAmC;AACnC,sDAWG;6BAlBuB,gBAAgB;iCADZ,aAAa"}

package/src/mathHelpers/copySetMathHelpers.js

@@ -10,7 +10,11 @@ import {
   setDisjointUnion,
   setDisjointSubtract,
 } from '@agoric/store';
-import '../types-ambient.js';
+
+/**
+ * @import {MathHelpers} from '../types.js'
+ * @import {CopySet} from '@endo/patterns'
+ */
 
 /** @type {CopySet} */
 const empty = makeCopySet([]);

package/src/mathHelpers/natMathHelpers.d.ts

@@ -0,0 +1,14 @@
+/**
+ * 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<bigint>;
+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":"AASA;;;;;;;;;;GAUG;AACH,iDAcG;iCA9BsC,aAAa"}

package/src/mathHelpers/natMathHelpers.js

@@ -2,7 +2,7 @@
 
 import { Nat, isNat } from '@endo/nat';
 
-import '../types-ambient.js';
+/** @import {MathHelpers, NatValue} from '../types.js' */
 
 const { Fail } = assert;
 const empty = 0n;

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":"AAmBA;;;GAGG;AACH,mDAgBG;8BA3BsC,aAAa;iCAAb,aAAa"}

package/src/mathHelpers/setMathHelpers.js

@@ -9,7 +9,8 @@ import {
   coerceToElements,
   elementsCompare,
 } from '@agoric/store';
-import '../types-ambient.js';
+
+/** @import {MathHelpers, SetValue} from '../types.js' */
 
 // Operations for arrays with unique objects identifying and providing
 // information about digital assets. Used for Zoe invites.

package/src/payment.d.ts

@@ -0,0 +1,5 @@
+export function preparePaymentKind<K extends AssetKind>(issuerZone: import('@agoric/zone').Zone, name: string, brand: Brand<K>, PaymentI: import('@endo/patterns').InterfaceGuard<any>): () => Payment<K>;
+import type { AssetKind } from './types.js';
+import type { Brand } from './types.js';
+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":"AAeO,oEANI,OAAO,cAAc,EAAE,IAAI,QAC3B,MAAM,6BAEN,OAAO,gBAAgB,EAAE,cAAc,CAAC,GAAG,CAAC,oBAetD;+BAvB4C,YAAY;2BAAZ,YAAY;6BAAZ,YAAY"}

package/src/payment.js

@@ -2,6 +2,8 @@
 
 import { initEmpty } from '@agoric/store';
 
+/** @import {AssetKind, Brand, Payment} from './types.js' */
+
 // TODO Type InterfaceGuard better than InterfaceGuard<any>
 /**
  * @template {AssetKind} K

package/src/paymentLedger.d.ts

@@ -0,0 +1,7 @@
+export function preparePaymentLedger<K extends AssetKind>(issuerZone: import('@agoric/zone').Zone, name: string, assetKind: K, displayInfo: DisplayInfo<K>, elementShape: Pattern, recoverySetsState: RecoverySetsOption, optShutdownWithFailure?: ShutdownWithFailure | undefined): PaymentLedger<K>;
+import type { AssetKind } from './types.js';
+import type { DisplayInfo } from './types.js';
+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":"AAmFO,sEATI,OAAO,cAAc,EAAE,IAAI,QAC3B,MAAM,2DAGN,OAAO,qHA6UjB;+BA9YwH,YAAY;iCAAZ,YAAY;wCAAZ,YAAY;yCAC/F,sBAAsB;mCAD6D,YAAY"}

package/src/paymentLedger.js

@@ -10,6 +10,11 @@ import { preparePurseKind } from './purse.js';
 import '@agoric/store/exported.js';
 import { BrandI, makeIssuerInterfaces } from './typeGuards.js';
 
+/**
+ * @import {Amount, AssetKind, DisplayInfo, PaymentLedger, Payment, Brand, RecoverySetsOption, Purse, Issuer, Mint} from './types.js'
+ * @import {ShutdownWithFailure} from '@agoric/swingset-vat'
+ */
+
 const { details: X, quote: q, Fail } = assert;
 
 /**

package/src/purse.d.ts

@@ -0,0 +1,24 @@
+export function preparePurseKind(issuerZone: import('@agoric/zone').Zone, name: string, assetKind: AssetKind, brand: Brand, PurseIKit: {
+    purse: import('@endo/patterns').InterfaceGuard<any>;
+    depositFacet: import('@endo/patterns').InterfaceGuard<any>;
+}, purseMethods: {
+    depositInternal: any;
+    withdrawInternal: any;
+}, recoverySetsState: RecoverySetsOption, paymentRecoverySets: globalThis.WeakMapStore<Payment, globalThis.SetStore<Payment>>): () => import("@endo/exo").Guarded<{
+    deposit(srcPayment: any, optAmountShape?: undefined): any;
+    withdraw(amount: any): any;
+    getCurrentAmount(): Amount<AssetKind>;
+    getCurrentAmountNotifier(): Notifier<any>;
+    getAllegedBrand(): Brand;
+    getDepositFacet(): import("@endo/exo").Guarded<{
+        receive(...args: any[]): any;
+    }>;
+    getRecoverySet(): import("@endo/patterns").CopySet<Payment>;
+    recoverAll(): Amount<AssetKind>;
+}>;
+import type { AssetKind } from './types.js';
+import type { Brand } from './types.js';
+import type { RecoverySetsOption } from './types.js';
+import type { Payment } from './types.js';
+import type { Amount } from './types.js';
+//# 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":"AA4BO,6CAfI,OAAO,cAAc,EAAE,IAAI,QAC3B,MAAM,iDAGN;IACV,KAAS,EAAE,OAAO,gBAAgB,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC;IACxD,YAAgB,EAAE,OAAO,gBAAgB,EAAE,cAAc,CAAC,GAAG,CAAC,CAAC;CAC5D,gBACO;IACV,eAAmB,EAAE,GAAG,CAAC;IACzB,gBAAoB,EAAE,GAAG,CAAC;CACvB;;;;;;;;;;;GA8JH;+BAjLwG,YAAY;2BAAZ,YAAY;wCAAZ,YAAY;6BAAZ,YAAY;4BAAZ,YAAY"}

package/src/purse.js

@@ -3,6 +3,8 @@ import { AmountMath } from './amountMath.js';
 import { makeTransientNotifierKit } from './transientNotifier.js';
 import { makeAmountStore } from './amountStore.js';
 
+/** @import {Amount, AssetKind, AmountValue, AssetKindForValue, RecoverySetsOption, Brand, Payment} from './types.js' */
+
 const { Fail } = assert;
 
 const EMPTY_COPY_SET = makeCopySet([]);

package/src/transientNotifier.d.ts

@@ -0,0 +1,5 @@
+export function makeTransientNotifierKit(): {
+    provideNotifier: (key: any) => 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":"AAUO;;;EAoBN"}

package/src/transientNotifier.js

@@ -4,6 +4,8 @@ import { makeScalarBigWeakMapStore } from '@agoric/vat-data';
 import { provideLazy } from '@agoric/store';
 import { makeNotifierKit } from '@agoric/notifier';
 
+/** @import {Purse} from './types.js' */
+
 // Note: Virtual for high cardinality, but *not* durable, and so
 // broken across an upgrade.
 export const makeTransientNotifierKit = () => {

package/src/typeGuards.d.ts

@@ -0,0 +1,74 @@
+/** @import {AmountValue, AssetKindForValue, AssetValueForKind, Brand, MathHelpers} 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 };
+}
+export namespace RatioShape {
+    export { AmountShape as numerator };
+    export { AmountShape as denominator };
+}
+export function isNatValue(value: AmountValue): value is bigint;
+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 { AmountValue } from './types.js';
+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":"AAGA,wGAAwG;AAExG,0DAA+C;AAC/C,2DAAiD;AACjD,4DAAmD;AACnD,0DAA+C;AAC/C,iEAA6D;AAC7D,6DAAqD;AACrD,yDAA6C;;;;;;;;;AA+EtC,gEAAyD;AASzD,qEAAiE;AAYjE,kEAAyD;AASzD,qEAAiE;AAIxE,8CAA+C;AAE/C,8DAAuE;AAEvE,gEAaE;;;;;;;;AAYF;;;;;GAKG;AAOI,kDAJI,OAAO,mBACP,OAAO,gBACP,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAkEjB;AAlKD,iEAKE;iCArEuF,YAAY"}

package/src/typeGuards.js

@@ -1,6 +1,7 @@
 // @jessie-check
 
 import { M, matches, getInterfaceGuardPayload } from '@endo/patterns';
+/** @import {AmountValue, AssetKindForValue, AssetValueForKind, Brand, MathHelpers} from './types.js' */
 
 export const BrandShape = M.remotable('Brand');
 export const IssuerShape = M.remotable('Issuer');