@agoric/zoe 0.26.3-upgrade-18a-dev-4ee0508.0 → 0.26.3-upgrade-20-dev-086463b.0

package/src/contracts/oracle.d.ts

@@ -1,6 +1,7 @@
 export type OracleContract = ContractOf<typeof start>;
 export type OracleStart = typeof start;
 /**
+ * @import {ContractMeta, Invitation, OfferHandler, ZCF, ZCFSeat} from '@agoric/zoe';
  * @import {ContractOf} from '../zoeService/utils.js';
  */
 /**
@@ -27,4 +28,6 @@ export function start(zcf: ZCF): Promise<{
     }>;
 }>;
 import type { ContractOf } from '../zoeService/utils.js';
+import type { ZCF } from '@agoric/zoe';
+import type { Invitation } from '@agoric/zoe';
 //# sourceMappingURL=oracle.d.ts.map

package/src/contracts/oracle.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"oracle.d.ts","sourceRoot":"","sources":["oracle.js"],"names":[],"mappings":"6BA4Gc,WAAW,OAAO,KAAK,CAAC;0BACxB,OAAO,KAAK;AAtG1B;;GAEG;AAEH;;;;GAIG;AACH,2BAFW,GAAG;;;;;;;QAkDV,iCAAiC;qBAArB,WAAW;QAgBvB,iCAAiC;mCAArB,WAAW;;QAhBvB,iCAAiC;qBAArB,WAAW;QAgBvB,iCAAiC;mCAArB,WAAW;;GAwB1B;gCAhG4B,wBAAwB"}
+{"version":3,"file":"oracle.d.ts","sourceRoot":"","sources":["oracle.js"],"names":[],"mappings":"6BA6Gc,WAAW,OAAO,KAAK,CAAC;0BACxB,OAAO,KAAK;AAvG1B;;;GAGG;AAEH;;;;GAIG;AACH,2BAFW,GAAG;;;;;;;QAkDV,iCAAiC;qBAArB,WAAW;QAgBvB,iCAAiC;mCAArB,WAAW;;QAhBvB,iCAAiC;qBAArB,WAAW;QAgBvB,iCAAiC;mCAArB,WAAW;;GAwB1B;gCAhG4B,wBAAwB;yBADkB,aAAa;gCAAb,aAAa"}

package/src/contracts/oracle.js

@@ -6,6 +6,7 @@ import { E } from '@endo/eventual-send';
 import { atomicTransfer } from '../contractSupport/index.js';
 
 /**
+ * @import {ContractMeta, Invitation, OfferHandler, ZCF, ZCFSeat} from '@agoric/zoe';
  * @import {ContractOf} from '../zoeService/utils.js';
  */
 

package/src/contracts/priceAggregator.d.ts

@@ -105,5 +105,7 @@ export function start(zcf: ZCF<{
     }>;
 }>;
 import type { ContractOf } from '../zoeService/utils.js';
+import type { ZCF } from '@agoric/zoe';
 import type { PriceDescription } from '@agoric/zoe/tools/types.js';
+import type { Invitation } from '@agoric/zoe';
 //# sourceMappingURL=priceAggregator.d.ts.map

package/src/contracts/priceAggregator.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"priceAggregator.d.ts","sourceRoot":"","sources":["priceAggregator.js"],"names":[],"mappings":"6BAoCc,MAAM,GAAG,MAAM,GAAG,MAAM;oCAEzB,QAAQ,CAAC,cAAc,GAAG;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC;oBAGlD,cAAc,GAAG,KAAK;sCAklBtB,WAAW,OAAO,KAAK,CAAC;AA7kBtC;;;;;;;;;;;;;;;;;;;GAmBG;AACH,2BAbW,GAAG,CAAC;IACZ,KAAK,EAAE,OAAO,cAAc,EAAE,YAAY,CAAC;IAC3C,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACtB,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;CAC3B,CAAC,eACM;IACR,UAAU,EAAE,UAAU,CAAC;IACvB,SAAS,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAChD,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;CAC9B;;QA+WA;;;;;;;;;WASG;2CADQ,QAAQ,GAAG,MAAM;mBAaG,WAAW,CAAC,KAAK,CAAC;8BAAoB;gBAAC,SAAS,EAAE,CAAC,KAAK,EAAE,cAAc,KAAK,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;aAAC;;;;;QA0CtI,mCAAmC;kCAAvB,SAAS;QAarB;;;;WAIG;sCAHQ,QAAQ,GAAG,MAAM,UACjB,WAAW,KACT,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;;QA/ExC;;;;;;;;;WASG;2CADQ,QAAQ,GAAG,MAAM;mBAaG,WAAW,CAAC,KAAK,CAAC;8BAAoB;gBAAC,SAAS,EAAE,CAAC,KAAK,EAAE,cAAc,KAAK,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAA;aAAC;;;;;QA0CtI,mCAAmC;kCAAvB,SAAS;QAarB;;;;WAIG;sCAHQ,QAAQ,GAAG,MAAM,UACjB,WAAW,KACT,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;;;;;QAmHxC,sBAAsB;;;;;QAAtB,sBAAsB;;;GAOzB;gCAvlB4B,wBAAwB;sCACwB,4BAA4B"}
+{"version":3,"file":"priceAggregator.d.ts","sourceRoot":"","sources":["priceAggregator.js"],"names":[],"mappings":"6BAqCc,MAAM,GAAG,MAAM,GAAG,MAAM;oCAEzB,QAAQ,CAAC,cAAc,GAAG;IAAE,IAAI,EAAE,cAAc,CAAA;CAAE,CAAC;oBAGlD,cAAc,GAAG,KAAK;sCAolBtB,WAAW,OAAO,KAAK,CAAC;AA/kBtC;;;;;;;;;;;;;;;;;;;GAmBG;AACH,2BAbW,IAAI;IACZ,KAAK,EAAE,OAAO,cAAc,EAAE,YAAY,CAAC;IAC3C,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACtB,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACvB,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;CAC3B,CAAC,eACM;IACR,UAAU,EAAE,UAAU,CAAC;IACvB,SAAS,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC,CAAC;IAChD,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;CAC9B;;QA+WA;;;;;;;;;WASG;2CADQ,QAAQ,GAAG,MAAM;mBAaG,WAAW,CAAC,KAAK,CAAC;8BAAoB;gBAAC,SAAS,EAAE,CAAC,KAAK,EAAE,cAAc,KAAK,OAAO,CAAC,WAAW,IAAI,CAAC,CAAC,CAAA;aAAC;;;;;QA0CtI,mCAAmC;kCAAvB,SAAS;QAarB;;;;WAIG;sCAHQ,QAAQ,GAAG,MAAM,UACjB,WAAW,KACT,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;;QA/ExC;;;;;;;;;WASG;2CADQ,QAAQ,GAAG,MAAM;mBAaG,WAAW,CAAC,KAAK,CAAC;8BAAoB;gBAAC,SAAS,EAAE,CAAC,KAAK,EAAE,cAAc,KAAK,OAAO,CAAC,WAAW,IAAI,CAAC,CAAC,CAAA;aAAC;;;;;QA0CtI,mCAAmC;kCAAvB,SAAS;QAarB;;;;WAIG;sCAHQ,QAAQ,GAAG,MAAM,UACjB,WAAW,KACT,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;;;;;QAqHxC,sBAAsB;;;;;QAAtB,sBAAsB;;;GAOzB;gCA3lB4B,wBAAwB;yBAEV,aAAa;sCADqB,4BAA4B;gCAC9D,aAAa"}

package/src/contracts/priceAggregator.js

@@ -1,6 +1,6 @@
-import { Fail, q } from '@endo/errors';
-import { AmountMath, AssetKind, makeIssuerKit } from '@agoric/ertp';
+import { AmountMath } from '@agoric/ertp';
 import { assertAllDefined } from '@agoric/internal';
+import { notForProductionUse } from '@agoric/internal/src/magic-cookie-test-only.js';
 import {
   makeNotifierKit,
   makeStoredPublishKit,
@@ -8,32 +8,33 @@ import {
 } from '@agoric/notifier';
 import { makeLegacyMap } from '@agoric/store';
 import { TimeMath } from '@agoric/time';
+import { Fail, q } from '@endo/errors';
 import { E } from '@endo/eventual-send';
 import { Far } from '@endo/marshal';
-import { notForProductionUse } from '@agoric/internal/src/magic-cookie-test-only.js';
 
-import {
-  calculateMedian,
-  makeOnewayPriceAuthorityKit,
-} from '../contractSupport/index.js';
 import {
   addRatios,
   assertParsableNumber,
+  calculateMedian,
   ceilDivideBy,
   floorMultiplyBy,
+  makeOnewayPriceAuthorityKit,
+  makePriceQuoteIssuer,
   makeRatio,
   makeRatioFromAmounts,
   multiplyRatios,
   parseRatio,
   ratioGTE,
   ratiosSame,
-} from '../contractSupport/ratio.js';
+} from '../contractSupport/index.js';
 
 /**
  * @import {LegacyMap} from '@agoric/store'
  * @import {ContractOf} from '../zoeService/utils.js';
  * @import {PriceDescription, PriceQuote, PriceQuoteValue, PriceQuery,} from '@agoric/zoe/tools/types.js';
+ * @import {Invitation, ZCF, ZCFSeat} from '@agoric/zoe';
  */
+
 /** @typedef {bigint | number | string} ParsableNumber */
 /**
  * @typedef {Readonly<ParsableNumber | { data: ParsableNumber }>} OraclePriceSubmission
@@ -82,7 +83,7 @@ const start = async (zcf, privateArgs) => {
   const quoteMint =
     privateArgs.quoteMint ||
     // makeIssuerKit fails upgrade, this contract is for demo only
-    makeIssuerKit('quote', AssetKind.SET).mint;
+    makePriceQuoteIssuer().mint;
   const quoteIssuerRecord = await zcf.saveIssuer(
     E(quoteMint).getIssuer(),
     'Quote',
@@ -587,8 +588,10 @@ const start = async (zcf, privateArgs) => {
 
       // Obtain the oracle's publicFacet.
       assert(oracleInstance);
-      /** @type {import('./oracle.js').OracleContract['publicFacet']} */
-      const oracle = await E(zoe).getPublicFacet(oracleInstance);
+      const oracle =
+        /** @type {import('./oracle.js').OracleContract['publicFacet']} */ (
+          await E(zoe).getPublicFacet(oracleInstance)
+        );
       assert(records.has(record), 'Oracle record is already deleted');
 
       /** @type {import('@agoric/time').Timestamp} */

package/src/contracts/scaledPriceAuthority.d.ts

@@ -18,5 +18,6 @@ export type ScaledPriceAuthorityOpts = {
      */
     initialPrice?: Ratio | undefined;
 };
+import type { ZCF } from '@agoric/zoe';
 import type { PriceAuthority } from '@agoric/zoe/tools/types.js';
 //# sourceMappingURL=scaledPriceAuthority.d.ts.map

package/src/contracts/scaledPriceAuthority.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"scaledPriceAuthority.d.ts","sourceRoot":"","sources":["scaledPriceAuthority.js"],"names":[],"mappings":"AAqCO,6BALI,GAAG,CAAC,wBAAwB,CAAC,eAC7B,MAAM,WACN,OAAO,kBAAkB,EAAE,OAAO;;;;GA2D5C;;0BA5Ea,IAAI,CAAC,cAAc,CAAC;;;;aACpB,KAAK;;;;cACL,KAAK;;;;;;oCAP0E,4BAA4B"}
+{"version":3,"file":"scaledPriceAuthority.d.ts","sourceRoot":"","sources":["scaledPriceAuthority.js"],"names":[],"mappings":"AAsCO,6BALI,IAAI,wBAAwB,CAAC,eAC7B,MAAM,WACN,OAAO,kBAAkB,EAAE,OAAO;;;;GA2D5C;;0BA5Ea,IAAI,CAAC,cAAc,CAAC;;;;aACpB,KAAK;;;;cACL,KAAK;;;;;;yBAPG,aAAa;oCAD0D,4BAA4B"}

package/src/contracts/scaledPriceAuthority.js

@@ -11,6 +11,7 @@ import { provideQuoteMint } from '../contractSupport/priceAuthorityQuoteMint.js'
 
 /**
  * @import {PriceAuthority, PriceDescription, PriceQuote, PriceQuoteValue, PriceQuery,} from '@agoric/zoe/tools/types.js';
+ * @import {ZCF} from '@agoric/zoe';
  */
 
 /**

package/src/contracts/sellItems.d.ts

@@ -24,7 +24,7 @@ export function start(zcf: ZCF<{
     pricePerItem: Amount<"nat">;
 }>): {
     creatorFacet: SellItemsCreatorFacet;
-    creatorInvitation: Promise<Invitation<string, undefined>>;
+    creatorInvitation: Promise<globalThis.Invitation<string, undefined>>;
     publicFacet: SellItemsPublicFacet;
 };
 //# sourceMappingURL=sellItems.d.ts.map

package/src/contracts/simpleExchange.d.ts

@@ -1,3 +1,6 @@
+/**
+ * @import {ContractMeta, Invitation, OfferHandler, ZCF, ZCFSeat} from '@agoric/zoe';
+ */
 /**
  * SimpleExchange is an exchange with a simple matching algorithm, which allows
  * an unlimited number of parties to create new orders or accept existing
@@ -34,4 +37,6 @@ export function start(zcf: ZCF): {
         }>;
     }>;
 };
+import type { ZCF } from '@agoric/zoe';
+import type { Invitation } from '@agoric/zoe';
 //# sourceMappingURL=simpleExchange.d.ts.map

package/src/contracts/simpleExchange.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"simpleExchange.d.ts","sourceRoot":"","sources":["simpleExchange.js"],"names":[],"mappings":"AAUA;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,2BAFW,GAAG;;;;;;;;;;;;;;EA+Gb"}
+{"version":3,"file":"simpleExchange.d.ts","sourceRoot":"","sources":["simpleExchange.js"],"names":[],"mappings":"AAUA;;GAEG;AAEH;;;;;;;;;;;;;;;;;;;;GAoBG;AACH,2BAFW,GAAG;;;;;;;;;;;;;;EA+Gb;yBArIsE,aAAa;gCAAb,aAAa"}

package/src/contracts/simpleExchange.js

@@ -8,6 +8,10 @@ import {
   assertIssuerKeywords,
 } from '../contractSupport/zoeHelpers.js';
 
+/**
+ * @import {ContractMeta, Invitation, OfferHandler, ZCF, ZCFSeat} from '@agoric/zoe';
+ */
+
 /**
  * SimpleExchange is an exchange with a simple matching algorithm, which allows
  * an unlimited number of parties to create new orders or accept existing

package/src/contracts/types-ambient.d.ts

@@ -3,7 +3,7 @@ type SellItemsPublicFacet = {
     getAvailableItems: () => Amount;
 };
 type SellItemsCreatorOnly = {
-    makeBuyerInvitation: () => Promise<Invitation>;
+    makeBuyerInvitation: () => Promise<import("../types-index").Invitation>;
 };
 type SellItemsCreatorFacet = SellItemsPublicFacet & SellItemsCreatorOnly;
 type SellItemsParameters = {
@@ -25,36 +25,36 @@ type MintAndSellNFTCreatorFacet = {
 };
 type AutomaticRefundPublicFacet = {
     getOffersCount: () => bigint;
-    makeInvitation: () => Promise<Invitation>;
+    makeInvitation: () => Promise<import("../types-index").Invitation>;
 };
 type AutoswapPublicFacet = {
     /**
      * synonym for
      * makeSwapInInvitation
      */
-    makeSwapInvitation: () => Promise<Invitation>;
+    makeSwapInvitation: () => Promise<import("../types-index").Invitation>;
     /**
      * make an invitation
      * that allows one to do a swap in which the In amount is specified and the Out
      * amount is calculated
      */
-    makeSwapInInvitation: () => Promise<Invitation>;
+    makeSwapInInvitation: () => Promise<import("../types-index").Invitation>;
     /**
      * make an invitation
      * that allows one to do a swap in which the Out amount is specified and the In
      * amount is calculated
      */
-    makeSwapOutInvitation: () => Promise<Invitation>;
+    makeSwapOutInvitation: () => Promise<import("../types-index").Invitation>;
     /**
      * make an
      * invitation that allows one to add liquidity to the pool.
      */
-    makeAddLiquidityInvitation: () => Promise<Invitation>;
+    makeAddLiquidityInvitation: () => Promise<import("../types-index").Invitation>;
     /**
      * make an
      * invitation that allows one to remove liquidity from the pool.
      */
-    makeRemoveLiquidityInvitation: () => Promise<Invitation>;
+    makeRemoveLiquidityInvitation: () => Promise<import("../types-index").Invitation>;
     getLiquidityIssuer: () => Issuer;
     /**
      * get the current value of

package/src/contracts/types-ambient.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types-ambient.d.ts","sourceRoot":"","sources":["types-ambient.js"],"names":[],"mappings":";oBAEc,MAAM,MAAM;uBACZ,MAAM,MAAM;;;yBAGZ,MAAM,OAAO,CAAC,UAAU,CAAC;;6BAE1B,oBAAoB,GAAG,oBAAoB;;2BAK1C,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;WACnB,MAAM;iBACN,MAAM;2BACN,YAAY;kBACZ,MAAM;;;0BAGN,QAAQ;2BACR,qBAAqB;uBACrB,QAAQ;0BACR,oBAAoB;;;gBAGpB,CAAC,UAAU,EAAE,mBAAmB,KAAK,OAAO,CAAC,eAAe,CAAC;eAC7D,MAAM,MAAM;;;oBAKZ,MAAM,MAAM;oBACZ,MAAM,OAAO,CAAC,UAAU,CAAC;;;;;;;wBAKzB,MAAM,OAAO,CAAC,UAAU,CAAC;;;;;;0BAEzB,MAAM,OAAO,CAAC,UAAU,CAAC;;;;;;2BAGzB,MAAM,OAAO,CAAC,UAAU,CAAC;;;;;gCAGzB,MAAM,OAAO,CAAC,UAAU,CAAC;;;;;mCAEzB,MAAM,OAAO,CAAC,UAAU,CAAC;wBAEzB,MAAM,MAAM;;;;;wBACZ,MAAM,MAAM;;;;;mBAEZ,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,KAAK,MAAM;;;;;oBAG7C,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,KAAK,MAAM;;;;;uBAG7C,MAAM,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC"}
+{"version":3,"file":"types-ambient.d.ts","sourceRoot":"","sources":["types-ambient.js"],"names":[],"mappings":";oBAEc,MAAM,MAAM;uBACZ,MAAM,MAAM;;;yBAGZ,MAAM,OAAO,CAAC,OAAO,gBAAgB,EAAE,UAAU,CAAC;;6BAEnD,oBAAoB,GAAG,oBAAoB;;2BAK1C,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC;WACnB,MAAM;iBACN,MAAM;2BACN,YAAY;kBACZ,MAAM;;;0BAGN,QAAQ;2BACR,qBAAqB;uBACrB,QAAQ;0BACR,oBAAoB;;;gBAGpB,CAAC,UAAU,EAAE,mBAAmB,KAAK,OAAO,CAAC,eAAe,CAAC;eAC7D,MAAM,MAAM;;;oBAKZ,MAAM,MAAM;oBACZ,MAAM,OAAO,CAAC,OAAO,gBAAgB,EAAE,UAAU,CAAC;;;;;;;wBAKlD,MAAM,OAAO,CAAC,OAAO,gBAAgB,EAAE,UAAU,CAAC;;;;;;0BAElD,MAAM,OAAO,CAAC,OAAO,gBAAgB,EAAE,UAAU,CAAC;;;;;;2BAGlD,MAAM,OAAO,CAAC,OAAO,gBAAgB,EAAE,UAAU,CAAC;;;;;gCAGlD,MAAM,OAAO,CAAC,OAAO,gBAAgB,EAAE,UAAU,CAAC;;;;;mCAElD,MAAM,OAAO,CAAC,OAAO,gBAAgB,EAAE,UAAU,CAAC;wBAElD,MAAM,MAAM;;;;;wBACZ,MAAM,MAAM;;;;;mBAEZ,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,KAAK,MAAM;;;;;oBAG7C,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,KAAK,MAAM;;;;;uBAG7C,MAAM,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC"}

package/src/contracts/types-ambient.js

@@ -4,7 +4,7 @@
  * @property {() => Amount} getAvailableItems
  *
  * @typedef {object} SellItemsCreatorOnly
- * @property {() => Promise<Invitation>} makeBuyerInvitation
+ * @property {() => Promise<import('../types-index').Invitation>} makeBuyerInvitation
  *
  * @typedef {SellItemsPublicFacet & SellItemsCreatorOnly} SellItemsCreatorFacet
  */
@@ -31,22 +31,22 @@
 /**
  * @typedef {object} AutomaticRefundPublicFacet
  * @property {() => bigint} getOffersCount
- * @property {() => Promise<Invitation>} makeInvitation
+ * @property {() => Promise<import('../types-index').Invitation>} makeInvitation
  */
 
 /**
  * @typedef {object} AutoswapPublicFacet
- * @property {() => Promise<Invitation>} makeSwapInvitation synonym for
+ * @property {() => Promise<import('../types-index').Invitation>} makeSwapInvitation synonym for
  * makeSwapInInvitation
- * @property {() => Promise<Invitation>} makeSwapInInvitation make an invitation
+ * @property {() => Promise<import('../types-index').Invitation>} makeSwapInInvitation make an invitation
  * that allows one to do a swap in which the In amount is specified and the Out
  * amount is calculated
- * @property {() => Promise<Invitation>} makeSwapOutInvitation make an invitation
+ * @property {() => Promise<import('../types-index').Invitation>} makeSwapOutInvitation make an invitation
  * that allows one to do a swap in which the Out amount is specified and the In
  * amount is calculated
- * @property {() => Promise<Invitation>} makeAddLiquidityInvitation make an
+ * @property {() => Promise<import('../types-index').Invitation>} makeAddLiquidityInvitation make an
  * invitation that allows one to add liquidity to the pool.
- * @property {() => Promise<Invitation>} makeRemoveLiquidityInvitation make an
+ * @property {() => Promise<import('../types-index').Invitation>} makeRemoveLiquidityInvitation make an
  * invitation that allows one to remove liquidity from the pool.
  * @property {() => Issuer} getLiquidityIssuer
  * @property {() => bigint} getLiquiditySupply get the current value of

package/src/contracts/valueVow.contract.d.ts

@@ -1,4 +1,5 @@
 /**
+ * @import {ContractMeta, HandleOffer, ZCF} from '@agoric/zoe';
  * @import { Baggage } from '@agoric/vat-data';
  */
 /** @type {ContractMeta<typeof start>} */
@@ -7,11 +8,13 @@ export function start(zcf: ZCF<{}>, _privateArgs: undefined, baggage: Baggage):
     publicFacet: import("@endo/exo").Guarded<{
         getValue(): import("@agoric/vow").Vow<any>;
         setValue(value: any): void;
-        makeGetterInvitation(): Promise<Invitation<import("@agoric/vow").Vow<any>, undefined>>;
-        makeSetterInvitation(): Promise<Invitation<void, {
+        makeGetterInvitation(): Promise<globalThis.Invitation<import("@agoric/vow").Vow<any>, undefined>>;
+        makeSetterInvitation(): Promise<globalThis.Invitation<void, {
             value: unknown;
         }>>;
     }>;
 };
+import type { ContractMeta } from '@agoric/zoe';
+import type { ZCF } from '@agoric/zoe';
 import type { Baggage } from '@agoric/vat-data';
 //# sourceMappingURL=valueVow.contract.d.ts.map

package/src/contracts/valueVow.contract.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"valueVow.contract.d.ts","sourceRoot":"","sources":["valueVow.contract.js"],"names":[],"mappings":"AAGA;;GAEG;AAEH,yCAAyC;AACzC,mBADW,YAAY,CAAC,OAAO,KAAK,CAAC,CAGnC;AAYK,2BAJI,GAAG,CAAC,EAAE,CAAC,gBACP,SAAS,WACT,OAAO;;;;;;mBA8B4B,OAAO;;;EAWpD;6BAzD2B,kBAAkB"}
+{"version":3,"file":"valueVow.contract.d.ts","sourceRoot":"","sources":["valueVow.contract.js"],"names":[],"mappings":"AAGA;;;GAGG;AAEH,yCAAyC;AACzC,mBADW,aAAa,OAAO,KAAK,CAAC,CAGnC;AAYK,2BAJI,IAAI,EAAE,CAAC,gBACP,SAAS,WACT,OAAO;;;;;;mBA8B4B,OAAO;;;EAWpD;kCA1DgD,aAAa;yBAAb,aAAa;6BAClC,kBAAkB"}

package/src/contracts/valueVow.contract.js

@@ -2,6 +2,7 @@ import { prepareVowTools } from '@agoric/vow';
 import { makeDurableZone } from '@agoric/zone/durable.js';
 
 /**
+ * @import {ContractMeta, HandleOffer, ZCF} from '@agoric/zoe';
  * @import { Baggage } from '@agoric/vat-data';
  */
 

package/src/instanceRecordStorage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"instanceRecordStorage.d.ts","sourceRoot":"","sources":["instanceRecordStorage.js"],"names":[],"mappings":"AA6BO,mDAHI,OAAO,kBAAkB,EAAE,OAAO,GAChC,CAAC,EAAE,EAAE,cAAc,KAAK,aAAa,CAmFjD"}
+{"version":3,"file":"instanceRecordStorage.d.ts","sourceRoot":"","sources":["instanceRecordStorage.js"],"names":[],"mappings":"AA6BO,mDAHI,OAAO,kBAAkB,EAAE,OAAO,GAChC,CAAC,EAAE,EAAE,cAAc,KAAK,aAAa,CAqFjD"}

package/src/instanceRecordStorage.js

@@ -47,8 +47,10 @@ export const makeInstanceRecordStorage = baggage => {
     baggage,
     'InstanceRecord',
     InstanceRecordI,
-    record => harden({ instanceRecord: record }),
+    /** @type {(ir: InstanceRecord) => {instanceRecord: InstanceRecord}} */
+    ir => harden({ instanceRecord: ir }),
     {
+      /** @type {(keyword: Keyword, issuerRecord: ZoeIssuerRecord) => void} */
       addIssuer(keyword, issuerRecord) {
         const { state } = this;
         !ownKeys(issuerRecord).includes(keyword) ||

package/src/internal-types.d.ts

@@ -73,7 +73,7 @@ type HandleOfferObj = {
 type ZoeInstanceAdminMakeInvitation = (invitationHandle: InvitationHandle, description: string, customDetails?: Record<string, any> | undefined, proposalShape?: Pattern) => Invitation;
 type ZoeInstanceAdmin = {
     makeInvitation: ZoeInstanceAdminMakeInvitation;
-    saveIssuer: <I extends Issuer>(issuerP: ERef<I>, keyword: Keyword) => Promise<I extends Issuer<infer K, infer M> ? IssuerRecord<K, M> : never>;
+    saveIssuer: <I extends Issuer>(issuerP: ERef<I>, keyword: Keyword) => Promise<I extends Issuer<infer K, infer M> ? ZoeIssuerRecord<K, M> : never>;
     makeZoeMint: MakeZoeMint;
     registerFeeMint: RegisterFeeMint;
     makeNoEscrowSeat: MakeNoEscrowSeat;
@@ -101,7 +101,7 @@ type SeatHandleAllocation = {
     allocation: Allocation;
 };
 type ZoeMint<K extends AssetKind = globalThis.AssetKind> = {
-    getIssuerRecord: () => IssuerRecord<K>;
+    getIssuerRecord: () => import("@agoric/ertp").IssuerRecord<K>;
     mintAndEscrow: (totalToMint: Amount<K>) => void;
     /**
      * Note that the burning is asynchronous, and so may not have happened by
@@ -117,7 +117,7 @@ type ZCFRoot = {
 };
 type ExecuteContractResult = {
     creatorFacet: object;
-    creatorInvitation?: Promise<Invitation<unknown, undefined>> | undefined;
+    creatorInvitation?: Promise<globalThis.Invitation> | undefined;
     publicFacet: object;
     handleOfferObj: HandleOfferObj;
 };
@@ -134,7 +134,7 @@ type SeatHandle = Handle<"Seat">;
  * To be deleted when brands have a property for assetKind
  */
 type GetAssetKindByBrand = (brand: Brand) => AssetKind;
-type IssuerRecords = Array<IssuerRecord>;
+type IssuerRecords = Array<ZoeIssuerRecord>;
 type MakeZCFSeat = (seatData: SeatData) => ZCFSeat;
 /**
  * Drops all of the references in the seat-related weakStores by
@@ -143,7 +143,6 @@ type MakeZCFSeat = (seatData: SeatData) => ZCFSeat;
 type DropAllReferences = () => void;
 type ZcfSeatManager = {
     makeZCFSeat: MakeZCFSeat;
-    reallocate: Reallocate;
     dropAllReferences: DropAllReferences;
 };
 type ZcfMintReallocator = {
@@ -153,7 +152,7 @@ type ZcfMintReallocator = {
  * Add an issuer and its keyword to the instanceRecord for the
  * contract instance
  */
-type InstanceStateAddIssuer = (keyword: Keyword, issuerRecord: IssuerRecord) => void;
+type InstanceStateAddIssuer = (keyword: Keyword, issuerRecord: ZoeIssuerRecord) => void;
 type InstanceState = {
     addIssuer: InstanceStateAddIssuer;
     getInstanceRecord: () => InstanceRecord;
@@ -163,4 +162,14 @@ type InstanceState = {
     getBrands: () => BrandKeywordRecord;
     assertUniqueKeyword: (keyword: Keyword) => void;
 };
+import type { Allocation } from '@agoric/zoe';
+import type { AnyTerms } from '@agoric/zoe';
+import type { BrandKeywordRecord } from '@agoric/zoe';
+import type { Completion } from '@agoric/zoe';
+import type { ContractStartFn } from '@agoric/zoe';
+import type { InvitationHandle } from '@agoric/zoe';
+import type { PaymentPKeywordRecord } from '@agoric/zoe';
+import type { UserSeat } from '@agoric/zoe';
+import type { ZoeIssuerRecord } from '@agoric/zoe';
+import type { Pattern } from '@endo/patterns';
 //# sourceMappingURL=internal-types.d.ts.map

package/src/internal-types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"internal-types.d.ts","sourceRoot":"","sources":["internal-types.js"],"names":[],"mappings":";cAKc,cAAc;uBACd,UAAU;gBACV,UAAU;gBACV,MAAM;;;;;qCAOT,UAAU,KACR,qBAAqB;;sBAKpB,CAAC,UAAU,EAAC,UAAU,KAAK,qBAAqB;;;sBAKhD,CAAC,YAAY,EAAE,YAAY,KAAK,IAAI;eACpC,CAAC,YAAY,EAAE,YAAY,KAAK,OAAO;;;cAKvC,QAAQ;kBACR,YAAY;;;;;+CAMf,UAAU,uBACV,mBAAmB,YACnB,cAAc,iBACd,aAAa,WACb,IAAI,CAAC,OAAO,CAAC,gBACb,IAAI,CAAC,OAAO,CAAC,WACb,OAAO,kBAAkB,EAAE,OAAO,KAChC,eAAe;sCAKjB,UAAU,KACR,IAAI;;uBAKH,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;UAChC,gBAAgB;;;;;UAChB,OAAO,sBAAsB,EAAE,mBAAmB;uBAElD,MAAM,UAAU,CAAC,mBAAmB,CAAC;;oBAGtC,OAAO,eAAe,EAAE,eAAe,GAAG,mBAAmB;;wBAS5D,OAAO,CAAC,OAAO,eAAe,EAAE,QAAQ,CAAC;aACzC,OAAO;;;;;;;;2BASP,MAAM,IAAI;kBACV,CAAC,gBAAgB,EAAE,gBAAgB,EAC1C,iBAAiB,EAAE,UAAU,EAC7B,QAAQ,EAAE,cAAc,EACxB,SAAS,CAAC,EAAE,MAAM,KACjB,QAAQ;sBACF,gBAAgB;iBAChB,MAAM,QAAQ;oBACd,MAAM,MAAM;gBACZ,MAAM,mBAAmB;eACzB,MAAM,kBAAkB;cACxB,MAAM,MAAM;oBACZ,MAAM,MAAM,EAAE;qBACd,MAAM,YAAY;kBAClB,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;kBAChC,OAAO,sBAAsB,EAAE,mBAAmB;yBAClD,MAAM,IAAI;eACV,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO;sBAC3B,CAAC,cAAc,EAAE,cAAc,EAAE,WAAW,EAAE,OAAO,KAAK,IAAI;oBAC9D,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI;;;;;;;;iBAS3B,CAAC,gBAAgB,EAAE,gBAAgB,EAClC,QAAQ,EAAE,QAAQ,KACd,iBAAiB;;yDAKzB,gBAAgB,eAChB,MAAM,mEAEN,OAAO,KACL,UAAU;;oBAKT,8BAA8B;gBAC9B,CAAC,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAClC,OAAO,EAAE,OAAO,KACZ,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;iBAC7E,WAAW;qBACX,eAAe;sBACf,gBAAgB;wBAChB,kBAAkB;kBAClB,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;kBAChC,OAAO,sBAAsB,EAAE,mBAAmB;cAClD,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,KAAK,IAAI;cACxD,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,KAAK,IAAI;yBAC/C,MAAM,IAAI;oBACV,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI;oBAChC,MAAM,KAAK,CAAC,MAAM,CAAC;uBACnB,CAAC,UAAU,EAAE,UAAU,KAAK,UAAU,CAAC,mBAAmB,CAAC;qCAC3D,MAAM,IAAI;;iCAKb,OAAO,wBACP,aAAa,KAEX,OAAO,CAAC,KAAK,CAAC;0CAKhB,OAAO,kBACP,SAAS;6BAMT,OAAO;;;mBAIL,OAAO;4CAKT,UAAU,YACV,cAAc,WACd,OAAO,cACP,UAAU,KACR,QAAQ;kDAKV,oBAAoB,EAAE;;gBAKnB,UAAU;gBACV,UAAU;;aAIE,CAAC,SAAb,SAAU;qBAEV,MAAM,YAAY,CAAC,CAAC,CAAC;mBACrB,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;;;;;;;qBAChC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;;;cAShC,QAAQ;qBACR,eAAe;;;kBAKf,MAAM;;iBAEN,MAAM;oBACN,cAAc;;mCAKjB,IAAI,CAAC,gBAAgB,CAAC,yBACtB,cAAc,wBACd,aAAa,gBACb,MAAM,KACJ,OAAO,CAAC,qBAAqB,CAAC;sCAKhC,MAAM,KACJ,OAAO,CAAC,gCAAgC,CAAC;8BAK3C,cAAc,gBACd,OAAO,KACL,OAAO;;UAKN,MAAM,IAAI;;kBAIX,MAAM,CAAC,MAAM,CAAC;;;;;;mCAShB,KAAK,KACH,SAAS;qBAIT,KAAK,CAAC,YAAY,CAAC;8BAKrB,QAAQ,KACN,OAAO;;;;;+BAQP,IAAI;;iBAKH,WAAW;gBACX,UAAU;uBACV,iBAAiB;;;gBAKjB,CAAC,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,UAAU,KAAK,IAAI;;;;;;wCASxD,OAAO,gBACP,YAAY,KACV,IAAI;;eAKH,sBAAsB;uBACtB,MAAM,cAAc;cACpB,MAAM,QAAQ;qBACd,MAAM,YAAY;gBAClB,MAAM,mBAAmB;eACzB,MAAM,kBAAkB;yBACxB,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI"}
+{"version":3,"file":"internal-types.d.ts","sourceRoot":"","sources":["internal-types.js"],"names":[],"mappings":";cAUc,cAAc;uBACd,UAAU;gBACV,UAAU;gBACV,MAAM;;;;;qCAOT,UAAU,KACR,qBAAqB;;sBAKpB,CAAC,UAAU,EAAC,UAAU,KAAK,qBAAqB;;;sBAKhD,CAAC,YAAY,EAAE,YAAY,KAAK,IAAI;eACpC,CAAC,YAAY,EAAE,YAAY,KAAK,OAAO;;;cAKvC,QAAQ;kBACR,YAAY;;;;;+CAMf,UAAU,uBACV,mBAAmB,YACnB,cAAc,iBACd,aAAa,WACb,IAAI,CAAC,OAAO,CAAC,gBACb,IAAI,CAAC,OAAO,CAAC,WACb,OAAO,kBAAkB,EAAE,OAAO,KAChC,eAAe;sCAKjB,UAAU,KACR,IAAI;;uBAKH,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;UAChC,gBAAgB;;;;;UAChB,OAAO,sBAAsB,EAAE,mBAAmB;uBAElD,MAAM,UAAU,CAAC,mBAAmB,CAAC;;oBAGtC,OAAO,eAAe,EAAE,eAAe,GAAG,mBAAmB;;wBAS5D,OAAO,CAAC,OAAO,eAAe,EAAE,QAAQ,CAAC;aACzC,OAAO;;;;;;;;2BASP,MAAM,IAAI;kBACV,CAAC,gBAAgB,EAAE,gBAAgB,EAC1C,iBAAiB,EAAE,UAAU,EAC7B,QAAQ,EAAE,cAAc,EACxB,SAAS,CAAC,EAAE,MAAM,KACjB,QAAQ;sBACF,gBAAgB;iBAChB,MAAM,QAAQ;oBACd,MAAM,MAAM;gBACZ,MAAM,mBAAmB;eACzB,MAAM,kBAAkB;cACxB,MAAM,MAAM;oBACZ,MAAM,MAAM,EAAE;qBACd,MAAM,YAAY;kBAClB,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;kBAChC,OAAO,sBAAsB,EAAE,mBAAmB;yBAClD,MAAM,IAAI;eACV,CAAC,MAAM,EAAE,MAAM,KAAK,OAAO;sBAC3B,CAAC,cAAc,EAAE,cAAc,EAAE,WAAW,EAAE,OAAO,KAAK,IAAI;oBAC9D,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI;;;;;;;;iBAS3B,CAAC,gBAAgB,EAAE,gBAAgB,EAClC,QAAQ,EAAE,QAAQ,KACd,iBAAiB;;yDAKzB,gBAAgB,eAChB,MAAM,mEAEN,OAAO,KACL,UAAU;;oBAKT,8BAA8B;gBAC9B,CAAC,CAAC,SAAS,MAAM,EAAE,OAAO,EAAE,IAAI,CAAC,CAAC,CAAC,EAClC,OAAO,EAAE,OAAO,KACZ,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,gBAAgB,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC;iBAChF,WAAW;qBACX,eAAe;sBACf,gBAAgB;wBAChB,kBAAkB;kBAClB,CAAC,UAAU,EAAE,UAAU,KAAK,IAAI;kBAChC,OAAO,sBAAsB,EAAE,mBAAmB;cAClD,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,KAAK,IAAI;cACxD,CAAC,UAAU,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK,KAAK,IAAI;yBAC/C,MAAM,IAAI;oBACV,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,KAAK,IAAI;oBAChC,MAAM,KAAK,CAAC,MAAM,CAAC;uBACnB,CAAC,UAAU,EAAE,UAAU,KAAK,UAAU,CAAC,mBAAmB,CAAC;qCAC3D,MAAM,IAAI;;iCAKb,OAAO,wBACP,aAAa,KAEX,OAAO,CAAC,KAAK,CAAC;0CAKhB,OAAO,kBACP,SAAS;6BAMT,OAAO;;;mBAIL,OAAO;4CAKT,UAAU,YACV,cAAc,WACd,OAAO,cACP,UAAU,KACR,QAAQ;kDAKV,oBAAoB,EAAE;;gBAKnB,UAAU;gBACV,UAAU;;aAIE,CAAC,SAAb,SAAU;qBAEV,MAAM,OAAO,cAAc,EAAE,YAAY,CAAC,CAAC,CAAC;mBAC5C,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;;;;;;;qBAChC,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI;;;cAShC,QAAQ;qBACR,eAAe;;;kBAKf,MAAM;;iBAEN,MAAM;oBACN,cAAc;;mCAKjB,IAAI,CAAC,gBAAgB,CAAC,yBACtB,cAAc,wBACd,aAAa,gBACb,MAAM,KACJ,OAAO,CAAC,qBAAqB,CAAC;sCAKhC,MAAM,KACJ,OAAO,CAAC,gCAAgC,CAAC;8BAK3C,cAAc,gBACd,OAAO,KACL,OAAO;;UAKN,MAAM,IAAI;;kBAIX,MAAM,CAAC,MAAM,CAAC;;;;;;mCAShB,KAAK,KACH,SAAS;qBAIT,KAAK,CAAC,eAAe,CAAC;8BAKxB,QAAQ,KACN,OAAO;;;;;+BAQP,IAAI;;iBAKH,WAAW;uBACX,iBAAiB;;;gBAKjB,CAAC,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,UAAU,KAAK,IAAI;;;;;;wCASxD,OAAO,gBACP,eAAe,KACb,IAAI;;eAKH,sBAAsB;uBACtB,MAAM,cAAc;cACpB,MAAM,QAAQ;qBACd,MAAM,YAAY;gBAClB,MAAM,mBAAmB;eACzB,MAAM,kBAAkB;yBACxB,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI;;gCAlToH,aAAa;8BAAb,aAAa;wCAAb,aAAa;gCAAb,aAAa;qCAAb,aAAa;sCAAb,aAAa;2CAAb,aAAa;8BAAb,aAAa;qCAAb,aAAa;6BAC/I,gBAAgB"}

package/src/internal-types.js

@@ -1,6 +1,11 @@
 // @jessie-check
 /// <reference types="@agoric/ertp/exported" />
 
+/**
+ * @import {Allocation, AnyTerms, BrandKeywordRecord, Completion, ContractStartFn, InvitationHandle, PaymentPKeywordRecord, UserSeat, ZoeIssuerRecord} from '@agoric/zoe';
+ * @import {Pattern} from '@endo/patterns';
+ */
+
 /**
  * @typedef {object} SeatData
  * @property {ProposalRecord} proposal
@@ -128,7 +133,7 @@
  * @property {ZoeInstanceAdminMakeInvitation} makeInvitation
  * @property {<I extends Issuer>(issuerP: ERef<I>,
  *             keyword: Keyword
- *            ) => Promise<I extends Issuer<infer K, infer M> ? IssuerRecord<K, M> : never>} saveIssuer
+ *            ) => Promise<I extends Issuer<infer K, infer M> ? ZoeIssuerRecord<K, M> : never>} saveIssuer
  * @property {MakeZoeMint} makeZoeMint
  * @property {RegisterFeeMint} registerFeeMint
  * @property {MakeNoEscrowSeat} makeNoEscrowSeat
@@ -191,7 +196,7 @@
 /**
  * @template {AssetKind} [K=AssetKind]
  * @typedef {object} ZoeMint
- * @property {() => IssuerRecord<K>} getIssuerRecord
+ * @property {() => import('@agoric/ertp').IssuerRecord<K>} getIssuerRecord
  * @property {(totalToMint: Amount<K>) => void} mintAndEscrow
  * @property {(totalToBurn: Amount<K>) => void} withdrawAndBurn
  * Note that the burning is asynchronous, and so may not have happened by
@@ -256,7 +261,7 @@
  */
 
 /**
- * @typedef {Array<IssuerRecord>} IssuerRecords
+ * @typedef {Array<ZoeIssuerRecord>} IssuerRecords
  */
 
 /**
@@ -276,7 +281,6 @@
 /**
  * @typedef {object} ZcfSeatManager
  * @property {MakeZCFSeat} makeZCFSeat
- * @property {Reallocate} reallocate
  * @property {DropAllReferences} dropAllReferences
  */
 
@@ -292,7 +296,7 @@
  * contract instance
  *
  * @param {Keyword} keyword
- * @param {IssuerRecord} issuerRecord
+ * @param {ZoeIssuerRecord} issuerRecord
  * @returns {void}
  */
 

package/src/issuerRecord.d.ts

@@ -1,3 +1,4 @@
-export function makeIssuerRecord<K extends AssetKind>(brand: Brand<K>, issuer: Issuer<K>, displayInfo: DisplayInfo<K>): IssuerRecord<K>;
-export function assertFullIssuerRecord(issuerRecord: IssuerRecord): asserts issuerRecord is Required<IssuerRecord>;
+export function makeIssuerRecord<K extends AssetKind>(brand: Brand<K>, issuer: Issuer<K>, displayInfo: DisplayInfo<K>): ZoeIssuerRecord<K>;
+export function assertFullIssuerRecord(issuerRecord: IssuerRecord<any>): asserts issuerRecord is Required<IssuerRecord>;
+import type { IssuerRecord } from '@agoric/ertp';
 //# sourceMappingURL=issuerRecord.d.ts.map

package/src/issuerRecord.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"issuerRecord.d.ts","sourceRoot":"","sources":["issuerRecord.js"],"names":[],"mappings":"AAaO,iCANkB,CAAC,SAAZ,SAAU,SACb,KAAK,CAAC,CAAC,CAAC,UACR,MAAM,CAAC,CAAC,CAAC,eACT,WAAW,CAAC,CAAC,CAAC,GACZ,YAAY,CAAC,CAAC,CAAC,CAQxB;AAMG,qDAHI,YAAY,GACV,QAAQ,YAAY,IAAI,QAAQ,CAAC,YAAY,CAAC,CAM1D"}
+{"version":3,"file":"issuerRecord.d.ts","sourceRoot":"","sources":["issuerRecord.js"],"names":[],"mappings":"AAiBO,iCANkB,CAAC,SAAZ,SAAU,SACb,KAAK,CAAC,CAAC,CAAC,UACR,MAAM,CAAC,CAAC,CAAC,eACT,WAAW,CAAC,CAAC,CAAC,GACZ,gBAAgB,CAAC,CAAC,CAQ3B;AAMG,qDAHI,aAAa,GAAG,CAAC,GACf,QAAQ,YAAY,IAAI,QAAQ,CAAC,YAAY,CAAC,CAM1D;kCA7B8B,cAAc"}

package/src/issuerRecord.js

@@ -1,6 +1,10 @@
 // @jessie-check
 import { Fail } from '@endo/errors';
 
+/**
+ * @import {IssuerRecord} from '@agoric/ertp';
+ */
+
 /**
  * Put together information about the issuer in a standard format that
  * is synchronously accessible.
@@ -9,7 +13,7 @@ import { Fail } from '@endo/errors';
  * @param {Brand<K>} brand
  * @param {Issuer<K>} issuer
  * @param {DisplayInfo<K>} displayInfo
- * @returns {IssuerRecord<K>}
+ * @returns {ZoeIssuerRecord<K>}
  */
 export const makeIssuerRecord = (brand, issuer, displayInfo) =>
   harden({
@@ -20,7 +24,7 @@ export const makeIssuerRecord = (brand, issuer, displayInfo) =>
   });
 
 /**
- * @param {IssuerRecord} issuerRecord
+ * @param {IssuerRecord<any>} issuerRecord
  * @returns {asserts issuerRecord is Required<IssuerRecord>}
  */
 export const assertFullIssuerRecord = issuerRecord => {

package/src/issuerStorage.d.ts

@@ -3,12 +3,13 @@ export function provideIssuerStorage(zcfBaggage: import("@agoric/vat-data").Bagg
         issuers: IssuerKeywordRecord;
         brands: BrandKeywordRecord;
     }>;
-    storeIssuer: (issuerP: ERef<Issuer>) => Promise<IssuerRecord>;
-    storeIssuerRecord: (issuerRecord: IssuerRecord) => IssuerRecord;
+    storeIssuer: (issuerP: ERef<Issuer>) => Promise<ZoeIssuerRecord>;
+    storeIssuerRecord: (issuerRecord: ZoeIssuerRecord) => ZoeIssuerRecord;
     getAssetKindByBrand: GetAssetKindByBrand;
     getBrandForIssuer: <K extends AssetKind>(issuer: Issuer<K>) => Brand<K>;
     getIssuerForBrand: <K extends AssetKind>(brand: Brand<K>) => Issuer<K>;
     getIssuerRecords: (issuers: Issuer[]) => IssuerRecords;
     instantiate: (issuerRecords?: any[]) => void;
 };
+import type { ZoeIssuerRecord } from '@agoric/zoe';
 //# sourceMappingURL=issuerStorage.d.ts.map

package/src/issuerStorage.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"issuerStorage.d.ts","sourceRoot":"","sources":["issuerStorage.js"],"names":[],"mappings":"AAeO,iDAFI,OAAO,kBAAkB,EAAE,OAAO;2DAwHhC,mBAAmB,KACjB,OAAO,CAAC;QAAE,OAAO,EAAE,mBAAmB,CAAC;QAC7B,MAAM,EAAE,kBAAkB,CAAA;KAAE,CAAC;2BAnDzC,IAAI,CAAC,MAAM,CAAC,KACV,OAAO,CAAC,YAAY,CAAC;sCAzBvB,YAAY,KACV,YAAY;;wBAyFA,CAAC,SAAZ,SAAU,UACb,MAAM,CAAC,CAAC,CAAC,KACP,KAAK,CAAC,CAAC,CAAC;wBASI,CAAC,SAAZ,SAAU,SACb,KAAK,CAAC,CAAC,CAAC,KACN,MAAM,CAAC,CAAC,CAAC;gCASX,MAAM,EAAE,KACN,aAAa;;EA2B3B"}
+{"version":3,"file":"issuerStorage.d.ts","sourceRoot":"","sources":["issuerStorage.js"],"names":[],"mappings":"AAoBO,iDAFI,OAAO,kBAAkB,EAAE,OAAO;2DAwHhC,mBAAmB,KACjB,OAAO,CAAC;QAAE,OAAO,EAAE,mBAAmB,CAAC;QAC7B,MAAM,EAAE,kBAAkB,CAAA;KAAE,CAAC;2BAnDzC,IAAI,CAAC,MAAM,CAAC,KACV,OAAO,CAAE,eAAe,CAAC;sCAzB3B,eAAe,KACb,eAAe;;wBAyFH,CAAC,SAAZ,SAAU,UACb,MAAM,CAAC,CAAC,CAAC,KACP,KAAK,CAAC,CAAC,CAAC;wBASI,CAAC,SAAZ,SAAU,SACb,KAAK,CAAC,CAAC,CAAC,KACN,MAAM,CAAC,CAAC,CAAC;gCASX,MAAM,EAAE,KACN,aAAa;;EA2B3B;qCAjMiC,aAAa"}

package/src/issuerStorage.js

@@ -8,18 +8,23 @@ import { makeIssuerRecord } from './issuerRecord.js';
 
 const STORAGE_INSTANTIATED_KEY = 'IssuerStorageInstantiated';
 
+/**
+ * @import {LegacyWeakMap, WeakMapStore} from '@agoric/store';
+ * @import {ZoeIssuerRecord} from '@agoric/zoe';
+ */
+
 /**
  * Make the Issuer Storage.
  *
  * @param {import('@agoric/vat-data').Baggage} zcfBaggage
  */
 export const provideIssuerStorage = zcfBaggage => {
-  /** @type {WeakMapStore<Brand,IssuerRecord>} */
+  /** @type {WeakMapStore<Brand, ZoeIssuerRecord>} */
   const brandToIssuerRecord = provideDurableWeakMapStore(
     zcfBaggage,
     'brandToIssuerRecord',
   );
-  /** @type {WeakMapStore<Issuer,IssuerRecord>} */
+  /** @type {WeakMapStore<Issuer, ZoeIssuerRecord>} */
   const issuerToIssuerRecord = provideDurableWeakMapStore(
     zcfBaggage,
     'issuerToIssuerRecord',
@@ -58,8 +63,8 @@ export const provideIssuerStorage = zcfBaggage => {
    * to add the issuer again in ZCF.
    *
    *
-   * @param {IssuerRecord} issuerRecord
-   * @returns {IssuerRecord}
+   * @param {ZoeIssuerRecord} issuerRecord
+   * @returns {ZoeIssuerRecord}
    */
   const storeIssuerRecord = issuerRecord => {
     assertInstantiated();
@@ -83,7 +88,7 @@ export const provideIssuerStorage = zcfBaggage => {
    * Otherwise, make and save the issuerRecord.
    *
    * @param {ERef<Issuer>} issuerP
-   * @returns {Promise<IssuerRecord>}
+   * @returns {Promise< ZoeIssuerRecord>}
    */
   const storeIssuer = async issuerP => {
     assertInstantiated();

package/src/typeGuards.d.ts

@@ -1,5 +1,6 @@
 /**
  * @import {TypedPattern} from '@agoric/internal';
+ * @import {AfterDeadlineExitRule, ZoeIssuerRecord} from '@agoric/zoe';
  */
 export const KeywordShape: import("@endo/patterns").Matcher;
 /** @type {TypedPattern<InvitationHandle>} */
@@ -16,7 +17,8 @@ export const PaymentPKeywordRecordShape: import("@endo/patterns").Matcher;
 export const IssuerKeywordRecordShape: import("@endo/patterns").Matcher;
 export const IssuerPKeywordRecordShape: import("@endo/patterns").Matcher;
 export const BrandKeywordRecordShape: import("@endo/patterns").Matcher;
-export const IssuerRecordShape: import("@endo/patterns").Matcher;
+/** @type {TypedPattern<ZoeIssuerRecord>} */
+export const IssuerRecordShape: TypedPattern<ZoeIssuerRecord>;
 export namespace TermsShape {
     export { IssuerKeywordRecordShape as issuers };
     export { BrandKeywordRecordShape as brands };
@@ -38,9 +40,10 @@ export namespace FullProposalShape {
 export const ProposalShape: import("@endo/patterns").Matcher;
 export const EmptyProposalShape: import("@endo/patterns").Matcher;
 export function isOnDemandExitRule(exit: any): boolean;
-export function isWaivedExitRule(exit: ExitRule): exit is WaivedExitRule;
-export function isAfterDeadlineExitRule(exit: ExitRule): exit is AfterDeadlineExitRule;
-export const InvitationElementShape: import("@endo/patterns").Matcher;
+export function isWaivedExitRule(exit: import("./types-index").ExitRule): exit is WaivedExitRule;
+export function isAfterDeadlineExitRule(exit: import("./types-index").ExitRule): exit is AfterDeadlineExitRule;
+/** @type {TypedPattern<import('./types-index').InvitationDetails>} */
+export const InvitationElementShape: TypedPattern<import("./types-index").InvitationDetails>;
 export const OfferHandlerI: import("@endo/patterns").InterfaceGuard<{
     handle: import("@endo/patterns").MethodGuard;
 }>;
@@ -165,8 +168,10 @@ export const HandleOfferI: import("@endo/patterns").InterfaceGuard<{
 }>;
 export namespace PriceQuoteShape {
     export { AmountShape as quoteAmount };
-    export let quotePayment: globalThis.Pattern;
+    export let quotePayment: Pattern;
 }
 import type { TypedPattern } from '@agoric/internal';
+import type { ZoeIssuerRecord } from '@agoric/zoe';
+import type { AfterDeadlineExitRule } from '@agoric/zoe';
 import { AmountShape } from '@agoric/ertp';
 //# sourceMappingURL=typeGuards.d.ts.map