@agoric/inter-protocol 0.17.0 → 0.17.1-upgrade-23-dev-bd79330.0.bd79330

package/src/vaultFactory/prioritizedVaults.js

@@ -1,5 +1,3 @@
-// @jessie-check
-
 import { makeTracer } from '@agoric/internal';
 import { makeRatioFromAmounts } from '@agoric/zoe/src/contractSupport/index.js';
 import { AmountMath } from '@agoric/ertp';
@@ -17,6 +15,9 @@ import {
  * @import {MapStore} from '@agoric/store';
  * @import {Vault} from './vault.js';
  * @import {NormalizedDebt} from './storeUtils.js';
+ * @import {Ratio} from '@agoric/ertp';
+ * @import {VaultId} from './types.js';
+ * @import {Amount} from '@agoric/ertp';
  */
 
 const trace = makeTracer('PVaults', true);

package/src/vaultFactory/storeUtils.d.ts

@@ -1,15 +1,17 @@
 /** @import {PureData} from '@endo/marshal' */
-/** @typedef {[normalizedCollateralization: number, vaultId: VaultId]} CompositeKey */
+/**
+ * @typedef {[normalizedCollateralization: number, vaultId: VaultId]} CompositeKey
+ */
 /**
  * @param {PureData} key
  * @returns {string}
  */
-export const encodeData: (p: Passable) => string;
+export const encodeData: (p: import("@endo/marshal").Passable) => string;
 /**
  * @param {string} encoded
  * @returns {PureData}
  */
-export const decodeData: (encoded: string, skip?: number) => Passable;
+export const decodeData: (encoded: string, skip?: number) => import("@endo/marshal").Passable;
 export function toVaultKey(normalizedDebt: NormalizedDebt, collateral: Amount<"nat">, vaultId: VaultId): string;
 export function fromVaultKey(key: string): [normalizedCollateralization: number, vaultId: VaultId];
 export function normalizedCollRatio(quote: PriceQuote, compoundedInterest: Ratio, margin: Ratio): number;
@@ -21,5 +23,8 @@ export type NormalizedDebt = Amount<"nat"> & {
 export type ActualDebt = Amount<"nat"> & {
     normalized: false;
 };
+import type { Amount } from '@agoric/ertp';
+import type { VaultId } from './types.js';
 import type { PriceQuote } from '@agoric/zoe/tools/types.js';
+import type { Ratio } from '@agoric/ertp';
 //# sourceMappingURL=storeUtils.d.ts.map

package/src/vaultFactory/storeUtils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"storeUtils.d.ts","sourceRoot":"","sources":["storeUtils.js"],"names":[],"mappings":"AAuBA,8CAA8C;AAE9C,sFAAsF;AAOtF;;;GAGG;AACH,iDAA+C;AAO/C;;;GAGG;AACH,sEAA+C;AAkDxC,2CANI,cAAc,cACd,MAAM,CAAC,KAAK,CAAC,WACb,OAAO,GACL,MAAM,CAelB;AAOM,kCAHI,MAAM,GACJ,CAAC,2BAA2B,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAKnE;AAgBM,2CALI,UAAU,sBACV,KAAK,UACL,KAAK,GACH,MAAM,CAiBlB;AAcM,8CANI,UAAU,sBACV,KAAK,UACL,KAAK,GACH,MAAM,CAMlB;2BA9Ia,CAAC,2BAA2B,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC;6BA4CvD,MAAM,CAAC,KAAK,CAAC,GAAG;IAAE,UAAU,EAAE,IAAI,CAAA;CAAE;yBACpC,MAAM,CAAC,KAAK,CAAC,GAAG;IAAE,UAAU,EAAE,KAAK,CAAA;CAAE;gCA/D2C,4BAA4B"}
+{"version":3,"file":"storeUtils.d.ts","sourceRoot":"","sources":["storeUtils.js"],"names":[],"mappings":"AAyBA,8CAA8C;AAE9C;;GAEG;AAOH;;;GAGG;AACH,yEAA+C;AAO/C;;;GAGG;AACH,8FAA+C;AAkDxC,2CANI,cAAc,cACd,OAAO,KAAK,CAAC,WACb,OAAO,GACL,MAAM,CAelB;AAOM,kCAHI,MAAM,GACJ,CAAC,2BAA2B,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAKnE;AAgBM,2CALI,UAAU,sBACV,KAAK,UACL,KAAK,GACH,MAAM,CAiBlB;AAcM,8CANI,UAAU,sBACV,KAAK,UACL,KAAK,GACH,MAAM,CAMlB;2BA/IY,CAAC,2BAA2B,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC;6BA6CtD,OAAO,KAAK,CAAC,GAAG;IAAE,UAAU,EAAE,IAAI,CAAA;CAAE;yBACpC,OAAO,KAAK,CAAC,GAAG;IAAE,UAAU,EAAE,KAAK,CAAA;CAAE;4BAnEnB,cAAc;6BACpB,YAAY;gCAFuD,4BAA4B;2BACzF,cAAc"}

package/src/vaultFactory/storeUtils.js

@@ -1,11 +1,13 @@
-// @jessie-check
-
 /**
  * Module to improvise composite keys for orderedVaultStore until Collections
  * API supports them.
  */
 
-/** @import {PriceAuthority, PriceDescription, PriceQuote, PriceQuoteValue, PriceQuery,} from '@agoric/zoe/tools/types.js'; */
+/**
+ * @import {PriceAuthority, PriceDescription, PriceQuote, PriceQuoteValue, PriceQuery,} from '@agoric/zoe/tools/types.js';
+ * @import {Amount, Ratio} from '@agoric/ertp';
+ * @import {VaultId} from './types.js';
+ */
 
 // XXX importing these that are declared to be used only for testing
 // until @agoric/store supports composite keys
@@ -23,7 +25,9 @@ const trace = makeTracer('Store', true);
 
 /** @import {PureData} from '@endo/marshal' */
 
-/** @typedef {[normalizedCollateralization: number, vaultId: VaultId]} CompositeKey */
+/**
+ * @typedef {[normalizedCollateralization: number, vaultId: VaultId]} CompositeKey
+ */
 
 // `makeEncodePassable` has three named options:
 // `encodeRemotable`, `encodeError`, and `encodePromise`.

package/src/vaultFactory/{types-ambient.d.ts → types.d.ts}

@@ -1,43 +1,41 @@
-type VaultFactoryPublicFacet = import("./vaultFactory.js").VaultFactoryContract["publicFacet"];
-type AutoswapLocal = {
+export type VaultFactoryPublicFacet = import("./vaultFactory.js").VaultFactoryContract["publicFacet"];
+export type AutoswapLocal = {
     getInputPrice: (amount: Amount, brand: Brand) => Amount;
     makeSwapInvitation: () => Invitation;
 };
-type VaultManagerParamValues = {
+export type VaultManagerParamValues = {
     /**
-     * - margin below which collateral will be
-     * liquidated to satisfy the debt.
+     * - margin below
+     * which collateral will be liquidated to satisfy the debt.
      */
     liquidationMargin: Ratio;
     /**
-     * - penalty charged upon liquidation as
-     * proportion of debt
+     * - penalty charged
+     * upon liquidation as proportion of debt
      */
     liquidationPenalty: Ratio;
     /**
-     * - annual interest rate charged on debt
-     * positions
+     * - annual interest rate
+     * charged on debt positions
      */
     interestRate: Ratio;
     /**
-     * - The fee (in BasisPoints) charged when creating or
-     * increasing a debt position.
+     * - The fee (in BasisPoints)
+     * charged when creating or increasing a debt position.
      */
     mintFee: Ratio;
     debtLimit: Amount<"nat">;
     /**
-     * - vault must maintain this in order to
-     * remove collateral or add debt
+     * - vault must
+     * maintain this in order to remove collateral or add debt
      */
     liquidationPadding?: Ratio | undefined;
 };
-type AddVaultType = (collateralIssuer: Issuer, collateralKeyword: Keyword, params: VaultManagerParamValues) => Promise<VaultManager>;
-type VaultFactoryCreatorFacet = {
+export type AddVaultType = (collateralIssuer: Issuer, collateralKeyword: Keyword, params: VaultManagerParamValues) => Promise<VaultManager>;
+export type VaultFactoryCreatorFacet = {
     addVaultType: AddVaultType;
     getRewardAllocation: () => import("@agoric/zoe").Allocation;
     makeCollectFeesInvitation: () => Promise<Invitation<string, never>>;
-    makeLiquidationWaker: () => import("@agoric/time").TimerWaker;
-    makePriceLockWaker: () => import("@agoric/time").TimerWaker;
 };
 /**
  * Mint new debt `toMint` and transfer the `fee`
@@ -45,19 +43,19 @@ type VaultFactoryCreatorFacet = {
  *   seat arguments and the rewardPoolSeat. Update the `totalDebt` if the
  *   reallocate succeeds.
  */
-type MintAndTransfer = (mintReceiver: ZCFSeat, toMint: Amount<"nat">, fee: Amount<"nat">, transfers: TransferPart[]) => void;
+export type MintAndTransfer = (mintReceiver: ZCFSeat, toMint: Amount<"nat">, fee: Amount<"nat">, transfers: TransferPart[]) => void;
 /**
  * Burn debt tokens off a seat and update the `totalDebt` if
  *   the reallocate succeeds.
  */
-type BurnDebt = (toBurn: Amount, fromSeat: ZCFSeat) => void;
-type GetVaultParams = {
+export type BurnDebt = (toBurn: Amount, fromSeat: ZCFSeat) => void;
+export type GetVaultParams = {
     getLiquidationMargin: () => Ratio;
     getMintFee: () => Ratio;
     getCollateralQuote: () => Promise<import("@agoric/zoe/tools/types.js").PriceQuote>;
     /**
-     * - The annual interest rate on a debt
-     * position
+     * - The annual
+     * interest rate on a debt position
      */
     getInterestRate: () => Ratio;
     /**
@@ -71,8 +69,8 @@ type GetVaultParams = {
      */
     getRecordingPeriod: () => RelativeTime;
 };
-type VaultId = string;
-type InterestTiming = {
+export type VaultId = string;
+export type InterestTiming = {
     /**
      * in seconds
      */
@@ -82,18 +80,18 @@ type InterestTiming = {
      */
     recordingPeriod: RelativeTime;
 };
-type LiquidationStrategy = {
-    keywordMapping: () => KeywordKeywordRecord;
+export type LiquidationStrategy = {
+    keywordMapping: () => import("@agoric/zoe/src/contractSupport/types.js").KeywordKeywordRecord;
     makeProposal: (collateral: Amount, run: Amount) => import("@agoric/zoe").Proposal;
     makeInvitation: (debt: Amount) => Promise<Invitation>;
 };
-type Liquidator = {
+export type Liquidator = {
     makeLiquidateInvitation: () => Promise<Invitation<void, {
         debt: Amount<"nat">;
         penaltyRate: Ratio;
     }>>;
 };
-type DebtStatus = {
+export type DebtStatus = {
     latestInterestUpdate: Timestamp;
     /**
      * interest accrued since latestInterestUpdate
@@ -104,8 +102,8 @@ type DebtStatus = {
      */
     newDebt: NatValue;
 };
-type Calculate = (debtStatus: DebtStatus, currentTime: Timestamp) => DebtStatus;
-type CalculatorKit = {
+export type Calculate = (debtStatus: DebtStatus, currentTime: Timestamp) => DebtStatus;
+export type CalculatorKit = {
     /**
      * calculate new debt for charging periods up to
      * the present.
@@ -119,19 +117,21 @@ type CalculatorKit = {
      */
     calculateReportingPeriod: Calculate;
 };
-type VaultFactoryParamPath = {
+export type VaultFactoryParamPath = {
     key: "governedParams" | {
         collateralBrand: Brand;
     };
 };
-import type { VaultNotification } from './vault.js';
-import type { Vault } from './vault.js';
-import type { VaultKit } from './vaultKit.js';
+import type { Amount } from '@agoric/ertp';
+import type { Brand } from '@agoric/ertp';
+import type { Invitation } from '@agoric/zoe';
+import type { Ratio } from '@agoric/ertp';
+import type { Issuer } from '@agoric/ertp';
+import type { Keyword } from '@agoric/zoe';
 import type { VaultManager } from './vaultManager.js';
-import type { CollateralManager } from './vaultManager.js';
-import type { AssetReserveLimitedCreatorFacet } from '../reserve/assetReserve.js';
-import type { AssetReservePublicFacet } from '../reserve/assetReserve.js';
-import type { AuctioneerPublicFacet } from '../auction/auctioneer.js';
-import type { Timestamp } from '@agoric/time';
+import type { ZCFSeat } from '@agoric/zoe';
+import type { TransferPart } from '@agoric/zoe';
 import type { RelativeTime } from '@agoric/time';
-//# sourceMappingURL=types-ambient.d.ts.map
+import type { Timestamp } from '@agoric/time';
+import type { NatValue } from '@agoric/ertp';
+//# sourceMappingURL=types.d.ts.map

package/src/vaultFactory/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.js"],"names":[],"mappings":"sCAMa,OAAO,mBAAmB,EAAE,oBAAoB,CAAC,aAAa,CAAC;;mBAY9D,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,KAAK,MAAM;wBACxC,MAAM,UAAU;;;;;;;uBAKhB,KAAK;;;;;wBAEL,KAAK;;;;;kBAEL,KAAK;;;;;aAEL,KAAK;eAEL,OAAO,KAAK,CAAC;;;;;;;8CAOhB,MAAM,qBACN,OAAO,UACP,uBAAuB,KACrB,OAAO,CAAC,YAAY,CAAC;;kBAKpB,YAAY;yBACZ,MAAM,OAAO,aAAa,EAAE,UAAU;+BACtC,MAAM,OAAO,CAAC,WAAW,MAAM,EAAE,KAAK,CAAC,CAAC;;;;;;;;6CAQ3C,OAAO,UACP,OAAO,KAAK,CAAC,OACb,OAAO,KAAK,CAAC,aACb,YAAY,EAAE,KACZ,IAAI;;;;;gCAMN,MAAM,YACN,OAAO,KACL,IAAI;;0BAKH,MAAM,KAAK;gBACX,MAAM,KAAK;wBACX,MAAM,OAAO,CAAC,OAAO,4BAA4B,EAAE,UAAU,CAAC;;;;;qBAC9D,MAAM,KAAK;;;;;uBAEX,MAAM,YAAY;;;;;wBAElB,MAAM,YAAY;;sBAIlB,MAAM;;;;;oBAIN,YAAY;;;;qBACZ,YAAY;;;oBAKZ,MAAM,OAAO,0CAA0C,EAAE,oBAAoB;kBAC7E,CACT,UAAU,EAAE,MAAM,EAClB,GAAG,EAAE,MAAM,KACR,OAAO,aAAa,EAAE,QAAQ;oBACxB,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,UAAU,CAAC;;;6BAKrC,MAAM,OAAO,CAC1B,WACA,IAAU,EACV;QAAQ,IAAI,EAAE,OAAO,KAAK,CAAC,CAAC;QAAC,WAAW,EAAE,KAAK,CAAA;KAAE,CAC5C,CACF;;;0BAKU,SAAS;;;;cACT,QAAQ;;;;aACR,QAAQ;;qCAKX,UAAU,eACV,SAAS,KACP,UAAU;;;;;;eAKT,SAAS;;;;;;;8BAET,SAAS;;oCAMT;IAAE,GAAG,EAAE,gBAAgB,GAAG;QAAE,eAAe,EAAE,KAAK,CAAA;KAAE,CAAA;CAAE;4BA7HX,cAAc;2BAAd,cAAc;gCACV,aAAa;2BADjB,cAAc;4BAAd,cAAc;6BACV,aAAa;kCAJ3C,mBAAmB;6BAIW,aAAa;kCAAb,aAAa;kCAF3C,cAAc;+BADjB,cAAc;8BAEe,cAAc"}

package/src/vaultFactory/{types-ambient.js → types.js}

@@ -1,17 +1,17 @@
-// @jessie-check
+/* eslint-disable @agoric/group-jsdoc-imports */
+
+// Make this a module
+export {};
 
 /**
  * @typedef {import('./vaultFactory.js').VaultFactoryContract['publicFacet']} VaultFactoryPublicFacet
- * @import {VaultNotification} from './vault.js'
- * @import {Vault} from './vault.js'
- * @import {VaultKit} from './vaultKit.js'
- * @import {VaultManager} from './vaultManager.js'
- * @import {CollateralManager} from './vaultManager.js'
- * @import {AssetReserveLimitedCreatorFacet} from '../reserve/assetReserve.js'
- * @import {AssetReservePublicFacet} from '../reserve/assetReserve.js'
- * @import {AuctioneerPublicFacet} from '../auction/auctioneer.js'
+ */
+/**
+ * @import {VaultManager} from './vaultManager.js';
  * @import {Timestamp} from '@agoric/time'
  * @import {RelativeTime} from '@agoric/time'
+ * @import {Amount, Brand, Issuer, NatValue, Ratio} from '@agoric/ertp'
+ * @import {Invitation, Keyword, TransferPart, ZCFSeat} from '@agoric/zoe'
  */
 
 /**
@@ -22,17 +22,17 @@
 
 /**
  * @typedef {object} VaultManagerParamValues
- * @property {Ratio} liquidationMargin - margin below which collateral will be
- *   liquidated to satisfy the debt.
- * @property {Ratio} liquidationPenalty - penalty charged upon liquidation as
- *   proportion of debt
- * @property {Ratio} interestRate - annual interest rate charged on debt
- *   positions
- * @property {Ratio} mintFee - The fee (in BasisPoints) charged when creating or
- *   increasing a debt position.
+ * @property {Ratio} liquidationMargin - margin below
+ *   which collateral will be liquidated to satisfy the debt.
+ * @property {Ratio} liquidationPenalty - penalty charged
+ *   upon liquidation as proportion of debt
+ * @property {Ratio} interestRate - annual interest rate
+ *   charged on debt positions
+ * @property {Ratio} mintFee - The fee (in BasisPoints)
+ *   charged when creating or increasing a debt position.
  * @property {Amount<'nat'>} debtLimit
- * @property {Ratio} [liquidationPadding] - vault must maintain this in order to
- *   remove collateral or add debt
+ * @property {Ratio} [liquidationPadding] - vault must
+ *   maintain this in order to remove collateral or add debt
  */
 
 /**
@@ -48,8 +48,6 @@
  * @property {AddVaultType} addVaultType
  * @property {() => import('@agoric/zoe').Allocation} getRewardAllocation
  * @property {() => Promise<Invitation<string, never>>} makeCollectFeesInvitation
- * @property {() => import('@agoric/time').TimerWaker} makeLiquidationWaker
- * @property {() => import('@agoric/time').TimerWaker} makePriceLockWaker
  */
 
 /**
@@ -77,8 +75,8 @@
  * @property {() => Ratio} getLiquidationMargin
  * @property {() => Ratio} getMintFee
  * @property {() => Promise<import('@agoric/zoe/tools/types.js').PriceQuote>} getCollateralQuote
- * @property {() => Ratio} getInterestRate - The annual interest rate on a debt
- *   position
+ * @property {() => Ratio} getInterestRate - The annual
+ *   interest rate on a debt position
  * @property {() => RelativeTime} getChargingPeriod - The period (in seconds) at
  *   which interest is charged to the debt position.
  * @property {() => RelativeTime} getRecordingPeriod - The period (in seconds)
@@ -95,7 +93,7 @@
 
 /**
  * @typedef {object} LiquidationStrategy
- * @property {() => KeywordKeywordRecord} keywordMapping
+ * @property {() => import('@agoric/zoe/src/contractSupport/types.js').KeywordKeywordRecord} keywordMapping
  * @property {(
  *   collateral: Amount,
  *   run: Amount,
@@ -106,7 +104,10 @@
 /**
  * @typedef {object} Liquidator
  * @property {() => Promise<
- *   Invitation<void, { debt: Amount<'nat'>; penaltyRate: Ratio }>
+ *   Invitation<
+ *     void,
+ *     { debt: Amount<'nat'>; penaltyRate: Ratio }
+ *   >
  * >} makeLiquidateInvitation
  */
 

package/src/vaultFactory/vault.d.ts

@@ -22,13 +22,16 @@ export namespace Phase {
 /**
  * @typedef {object} VaultNotification
  * @property {Amount<'nat'>} locked Amount of Collateral locked
- * @property {{ debt: Amount<'nat'>; interest: Ratio }} debtSnapshot 'debt' at
- *   the point the compounded interest was 'interest'
+ * @property {{
+ *   debt: Amount<'nat'>;
+ *   interest: Ratio;
+ * }} debtSnapshot
+ *   'debt' at the point the compounded interest was 'interest'
  * @property {Phase} vaultState
  */
 /**
  * @typedef {object} VaultManager
- * @property {() => Subscriber<import('./vaultManager.js').AssetState>} getAssetSubscriber
+ * @property {() => Subscriber<AssetState>} getAssetSubscriber
  * @property {(collateralAmount: Amount) => Amount<'nat'>} maxDebtFor
  * @property {() => Brand<'nat'>} getCollateralBrand
  * @property {(base: string) => string} scopeDescription
@@ -37,19 +40,19 @@ export namespace Phase {
  * @property {(amount: Amount, seat: ZCFSeat) => void} burn
  * @property {() => Ratio} getCompoundedInterest
  * @property {(
- *   oldDebt: import('./storeUtils.js').NormalizedDebt,
+ *   oldDebt: NormalizedDebt,
  *   oldCollateral: Amount<'nat'>,
  *   vaultId: VaultId,
  *   vaultPhase: VaultPhase,
  *   vault: Vault,
  * ) => void} handleBalanceChange
- * @property {() => import('./vaultManager.js').GovernedParamGetters} getGovernedParams
+ * @property {() => GovernedParamGetters} getGovernedParams
  */
 /**
  * @typedef {Readonly<{
  *   idInManager: VaultId;
  *   manager: VaultManager;
- *   storageNode: StorageNode;
+ *   storageNode: Remote<StorageNode>;
  *   vaultSeat: ZCFSeat;
  * }>} ImmutableState
  */
@@ -61,9 +64,7 @@ export namespace Phase {
  *   interestSnapshot: Ratio;
  *   phase: VaultPhase;
  *   debtSnapshot: Amount<'nat'>;
- *   outerUpdater:
- *     | import('@agoric/zoe/src/contractSupport/recorder.js').Recorder<VaultNotification>
- *     | null;
+ *   outerUpdater: Recorder<VaultNotification> | null;
  * }} MutableState
  */
 export const VaultI: import("@endo/patterns").InterfaceGuard<{
@@ -79,7 +80,7 @@ export const VaultI: import("@endo/patterns").InterfaceGuard<{
     makeTransferInvitation: import("@endo/patterns").MethodGuard;
     abortLiquidation: import("@endo/patterns").MethodGuard;
 }>;
-export function prepareVault(baggage: import("@agoric/swingset-liveslots").Baggage, makeRecorderKit: import("@agoric/zoe/src/contractSupport/recorder.js").MakeRecorderKit, zcf: ZCF): (manager: VaultManager, idInManager: string, storageNode: globalThis.StorageNode) => import("@endo/exo").GuardedKit<{
+export function prepareVault(baggage: Baggage, makeRecorderKit: MakeRecorderKit, zcf: ZCF): (manager: VaultManager, idInManager: string, storageNode: Remote<StorageNode>) => import("@endo/exo").GuardedKit<{
     helper: {
         collateralBrand(): Brand<"nat">;
         debtBrand(): Brand<"nat">;
@@ -209,40 +210,40 @@ export function prepareVault(baggage: import("@agoric/swingset-liveslots").Bagga
         makeTransferInvitationHook(seat: ZCFSeat): VaultKit;
     };
     self: {
-        getVaultSeat(): globalThis.ZCFSeat;
+        getVaultSeat(): ZCFSeat;
         /**
          * @param {ZCFSeat} seat
-         * @param {StorageNode} storageNode
+         * @param {Remote<StorageNode>} storageNode
          */
-        initVaultKit(seat: ZCFSeat, storageNode: StorageNode): Promise<{
+        initVaultKit(seat: ZCFSeat, storageNode: Remote<StorageNode>): Promise<{
             publicSubscribers: {
                 vault: {
                     description: string;
-                    subscriber: globalThis.Subscriber<VaultNotification>;
+                    subscriber: Subscriber<VaultNotification>;
                     storagePath: Promise<string>;
                 };
             };
             invitationMakers: import("@endo/exo").Guarded<{
-                AdjustBalances(): Promise<globalThis.Invitation<string, undefined>>;
-                CloseVault(): Promise<globalThis.Invitation<string, undefined>>;
-                TransferVault(): Promise<globalThis.Invitation</*elided*/ any>>;
+                AdjustBalances(): Promise<Invitation<string, undefined>>;
+                CloseVault(): Promise<Invitation<string, undefined>>;
+                TransferVault(): Promise<Invitation</*elided*/ any>>;
             }>;
             vault: import("@endo/exo").Guarded<{
                 getPublicTopics(): {
                     vault: {
                         description: string;
-                        subscriber: globalThis.Subscriber<VaultNotification>;
+                        subscriber: Subscriber<VaultNotification>;
                         storagePath: Promise<string>;
                     };
                 };
-                makeAdjustBalancesInvitation(): Promise<globalThis.Invitation<string, undefined>>;
-                makeCloseInvitation(): Promise<globalThis.Invitation<string, undefined>>;
-                makeTransferInvitation(): Promise<globalThis.Invitation</*elided*/ any>>;
+                makeAdjustBalancesInvitation(): Promise<Invitation<string, undefined>>;
+                makeCloseInvitation(): Promise<Invitation<string, undefined>>;
+                makeTransferInvitation(): Promise<Invitation</*elided*/ any>>;
                 getCollateralAmount(): import("@agoric/ertp").NatAmount;
                 getCurrentDebt(): import("@agoric/ertp").NatAmount;
                 getNormalizedDebt(): NormalizedDebt;
             }>;
-            vaultUpdater: import("@agoric/zoe/src/contractSupport/recorder.js").Recorder<VaultNotification>;
+            vaultUpdater: Recorder<VaultNotification>;
         }>;
         /** Called by manager at start of liquidation. */
         liquidating(): void;
@@ -258,8 +259,8 @@ export function prepareVault(baggage: import("@agoric/swingset-liveslots").Bagga
          * Liquidation.md has details on the liquidation approach.
          */
         abortLiquidation(): string;
-        makeAdjustBalancesInvitation(): Promise<globalThis.Invitation<string, undefined>>;
-        makeCloseInvitation(): Promise<globalThis.Invitation<string, undefined>>;
+        makeAdjustBalancesInvitation(): Promise<Invitation<string, undefined>>;
+        makeCloseInvitation(): Promise<Invitation<string, undefined>>;
         /** @returns {Promise<Invitation<VaultKit>>} */
         makeTransferInvitation(): Promise<Invitation<VaultKit>>;
         /** @returns {Amount<'nat'>} */
@@ -284,12 +285,11 @@ export function prepareVault(baggage: import("@agoric/swingset-liveslots").Bagga
          * order vaults by their debt-to-collateral ratios without having to
          * mutate the debts as the interest accrues.
          *
-         * @returns {import('./storeUtils.js').NormalizedDebt} as if the vault
-         *   was open at the launch of this manager, before any interest
-         *   accrued
+         * @returns {NormalizedDebt} as if the vault was open at the launch of
+         *   this manager, before any interest accrued
          * @see getActualDebAmount
          */
-        getNormalizedDebt(): import("./storeUtils.js").NormalizedDebt;
+        getNormalizedDebt(): NormalizedDebt;
     };
 }>;
 export type VaultPhase = Exclude<Phase, "transfer">;
@@ -299,8 +299,7 @@ export type VaultNotification = {
      */
     locked: Amount<"nat">;
     /**
-     * 'debt' at
-     * the point the compounded interest was 'interest'
+     *   'debt' at the point the compounded interest was 'interest'
      */
     debtSnapshot: {
         debt: Amount<"nat">;
@@ -309,7 +308,7 @@ export type VaultNotification = {
     vaultState: Phase;
 };
 export type VaultManager = {
-    getAssetSubscriber: () => Subscriber<import("./vaultManager.js").AssetState>;
+    getAssetSubscriber: () => Subscriber<AssetState>;
     maxDebtFor: (collateralAmount: Amount) => Amount<"nat">;
     getCollateralBrand: () => Brand<"nat">;
     scopeDescription: (base: string) => string;
@@ -317,13 +316,13 @@ export type VaultManager = {
     mintAndTransfer: MintAndTransfer;
     burn: (amount: Amount, seat: ZCFSeat) => void;
     getCompoundedInterest: () => Ratio;
-    handleBalanceChange: (oldDebt: import("./storeUtils.js").NormalizedDebt, oldCollateral: Amount<"nat">, vaultId: VaultId, vaultPhase: VaultPhase, vault: Vault) => void;
-    getGovernedParams: () => import("./vaultManager.js").GovernedParamGetters;
+    handleBalanceChange: (oldDebt: NormalizedDebt, oldCollateral: Amount<"nat">, vaultId: VaultId, vaultPhase: VaultPhase, vault: Vault) => void;
+    getGovernedParams: () => GovernedParamGetters;
 };
 export type ImmutableState = Readonly<{
     idInManager: VaultId;
     manager: VaultManager;
-    storageNode: StorageNode;
+    storageNode: Remote<StorageNode>;
     vaultSeat: ZCFSeat;
 }>;
 /**
@@ -334,11 +333,28 @@ export type MutableState = {
     interestSnapshot: Ratio;
     phase: VaultPhase;
     debtSnapshot: Amount<"nat">;
-    outerUpdater: import("@agoric/zoe/src/contractSupport/recorder.js").Recorder<VaultNotification> | null;
+    outerUpdater: Recorder<VaultNotification> | null;
 };
 export type Vault = EReturn<EReturn<typeof prepareVault>>["self"];
+import type { Baggage } from '@agoric/swingset-liveslots';
+import type { MakeRecorderKit } from '@agoric/zoe/src/contractSupport/recorder.js';
+import type { ZCF } from '@agoric/zoe';
+import type { StorageNode } from '@agoric/internal/src/lib-chainStorage.js';
+import type { Remote } from '@agoric/internal';
 import type { Brand } from '@agoric/ertp/src/types.js';
+import type { ProposalRecord } from '@agoric/zoe';
+import type { Amount } from '@agoric/ertp/src/types.js';
 import type { NormalizedDebt } from './storeUtils.js';
+import type { ZCFSeat } from '@agoric/zoe';
+import type { Ratio } from '@agoric/ertp/src/ratio.js';
 import { calculateDebtCosts } from './math.js';
+import type { VaultKit } from './vaultKit.js';
+import type { Subscriber } from '@agoric/notifier';
+import type { Invitation } from '@agoric/zoe';
+import type { Recorder } from '@agoric/zoe/src/contractSupport/recorder.js';
+import type { AssetState } from './vaultManager.js';
+import type { MintAndTransfer } from './types.js';
+import type { VaultId } from './types.js';
+import type { GovernedParamGetters } from './vaultManager.js';
 import type { EReturn } from '@endo/far';
 //# sourceMappingURL=vault.d.ts.map

package/src/vaultFactory/vault.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"vault.d.ts","sourceRoot":"","sources":["vault.js"],"names":[],"mappings":";;;;;;;;;;;;;oBAwDU,CAAC,OAAO,KAAK,EAAE,MAAM,OAAO,KAAK,CAAC;;;;;;;;AAsB5C;;;;;;GAMG;AAGH;;;;;;;;;;;;;;;;;;GAkBG;AAEH;;;;;;;GAOG;AAEH;;;;;;;;;;;;GAYG;AAEH;;;;;;;;;;;;GAYG;AAkBI,sCAJI,OAAO,4BAA4B,EAAE,OAAO,mBAC5C,OAAO,6CAA6C,EAAE,eAAe,OACrE,GAAG;;;;;;QAuDN;;;;;WAKG;QACH;;;WAGG;8BAFQ,cAAc;kBALd;gBAAE,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;gBAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;aAAE;kBACpD;gBAAE,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;gBAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;aAAE;;QA0B/D,mCAAmC;8BAAvB,UAAU;;;QAwBtB;;;;;WAKG;oCADQ,MAAM,CAAC,KAAK,CAAC;QAUxB;;;;;;;;;WASG;gDALQ,cAAc,iBAEd,MAAM,CAAC,KAAK,CAAC,iBACb,MAAM,CAAC,KAAK,CAAC;QAiBxB;;;WAGG;qCAFQ,OAAO,GACL,MAAM,CAAC,KAAK,CAAC;QAQ1B;;;WAGG;iCAFQ,OAAO,GACL,MAAM,CAAC,KAAK,CAAC;;QAgB1B;;;WAGG;qDAFQ,MAAM,CAAC,KAAK,CAAC,gBACb,MAAM,CAAC,KAAK,CAAC;QAWxB,8BAA8B;mCAAlB,KAAK;;;;;;;;QAejB,2CAA2C;;QA4B3C,4BAA4B;wBAAhB,OAAO;QAqEnB;;;;;;;;;;WAUG;6BAHQ,MAAM,CAAC,KAAK,CAAC,cACb,MAAM,CAAC,KAAK,CAAC,cACb,MAAM,CAAC,KAAK,CAAC;;;;;;QAaxB;;;;;WAKG;uCAFQ,OAAO,GACL,MAAM;QAwDnB;;;;;;;;WAQG;4CAPQ,OAAO;kBArUP;gBAAE,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;gBAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;aAAE;kBACpD;gBAAE,UAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;gBAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;aAAE;8CAsUpD,UAAU,CAAC,OAAO,kBAAkB,CAAC,wCAE7C;YAAmC,iBAAiB,EAA5C,cAAc;YACY,aAAa,EAAvC,MAAM,CAAC,KAAK,CAAC;SACrB,GAAU,MAAM;QAsCnB;;;WAGG;yCAFQ,OAAO,GACL,QAAQ;;;;QAqBrB;;;WAGG;2BAFQ,OAAO,eACP,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA2EtB,iDAAiD;;QASjD;;;WAGG;;QAcH;;;;;WAKG;;;;QAwEH,+CAA+C;kCAAjC,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAgC3C,+BAA+B;+BAAjB,MAAM,CAAC,KAAK,CAAC;QAW3B;;;;;;;;;;;;WAYG;0BAFU,MAAM,CAAC,KAAK,CAAC;QAY1B;;;;;;;;;;WAUG;6BAJU,OAAO,iBAAiB,EAAE,cAAc;;GAiB5D;yBAvyBY,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC;;;;;YAYzB,MAAM,CAAC,KAAK,CAAC;;;;;kBACb;QAAE,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QAAC,QAAQ,EAAE,KAAK,CAAA;KAAE;gBAExC,KAAK;;;wBAML,MAAM,UAAU,CAAC,OAAO,mBAAmB,EAAE,UAAU,CAAC;gBACxD,CAAC,gBAAgB,EAAE,MAAM,KAAK,MAAM,CAAC,KAAK,CAAC;wBAC3C,MAAM,MAAM,KAAK,CAAC;sBAClB,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;kBACxB,MAAM,MAAM,KAAK,CAAC;qBAClB,eAAe;UACf,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,KAAK,IAAI;2BACvC,MAAM,KAAK;yBACX,CACT,OAAO,EAAE,OAAO,iBAAiB,EAAE,cAAc,EACjD,aAAa,EAAE,MAAM,CAAC,KAAK,CAAC,EAC5B,OAAO,EAAE,OAAO,EAChB,UAAU,EAAE,UAAU,EACtB,KAAK,EAAE,KAAK,KACT,IAAI;uBACE,MAAM,OAAO,mBAAmB,EAAE,oBAAoB;;6BAIvD,QAAQ,CAAC;IACjB,WAAW,EAAE,OAAO,CAAC;IACrB,OAAO,EAAE,YAAY,CAAC;IACtB,WAAW,EAAE,WAAW,CAAC;IACzB,SAAS,EAAE,OAAO,CAAC;CACpB,CAAC;;;;;2BAOQ;IACR,gBAAgB,EAAE,KAAK,CAAC;IACxB,KAAK,EAAE,UAAU,CAAC;IAClB,YAAY,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5B,YAAY,EACR,OAAO,6CAA6C,EAAE,QAAQ,CAAC,iBAAiB,CAAC,GACjF,IAAI,CAAC;CACV;oBA8uBU,QAAQ,QAAQ,OAAO,YAAY,CAAC,CAA7B,CAA+B,MAAM,CAAC;2BAz1BnC,2BAA2B;oCAClB,iBAAiB;mCARf,WAAW;6BAMpB,WAAW"}
+{"version":3,"file":"vault.d.ts","sourceRoot":"","sources":["vault.js"],"names":[],"mappings":";;;;;;;;;;;;;oBAoEU,CAAC,OAAO,KAAK,EAAE,MAAM,OAAO,KAAK,CAAC;;;;;;;;AAsB5C;;;;;;;;;GASG;AAGH;;;;;;;;;;;;;;;;;;GAkBG;AAEH;;;;;;;GAOG;AAEH;;;;;;;;;;GAUG;AAEH;;;;;;;;;;;;GAYG;AAkBI,sCAJI,OAAO,mBACP,eAAe,OACf,GAAG;;;;;;QAuDN;;;;;WAKG;QACH;;;WAGG;8BAFQ,cAAc;kBALd;gBAAE,UAAU,EAAE,OAAO,KAAK,CAAC,CAAC;gBAAC,MAAM,EAAE,OAAO,KAAK,CAAC,CAAA;aAAE;kBACpD;gBAAE,UAAU,EAAE,OAAO,KAAK,CAAC,CAAC;gBAAC,MAAM,EAAE,OAAO,KAAK,CAAC,CAAA;aAAE;;QA0B/D,mCAAmC;8BAAvB,UAAU;;;QAwBtB;;;;;WAKG;oCADQ,OAAO,KAAK,CAAC;QAUxB;;;;;;;;;WASG;gDALQ,cAAc,iBAEd,OAAO,KAAK,CAAC,iBACb,OAAO,KAAK,CAAC;QAiBxB;;;WAGG;qCAFQ,OAAO,GACL,OAAO,KAAK,CAAC;QAQ1B;;;WAGG;iCAFQ,OAAO,GACL,OAAO,KAAK,CAAC;;QAgB1B;;;WAGG;qDAFQ,OAAO,KAAK,CAAC,gBACb,OAAO,KAAK,CAAC;QAWxB,8BAA8B;mCAAlB,KAAK;;;;;;;;QAejB,2CAA2C;;QA4B3C,4BAA4B;wBAAhB,OAAO;QAqEnB;;;;;;;;;;WAUG;6BAHQ,OAAO,KAAK,CAAC,cACb,OAAO,KAAK,CAAC,cACb,OAAO,KAAK,CAAC;;;;;;QAaxB;;;;;WAKG;uCAFQ,OAAO,GACL,MAAM;QAwDnB;;;;;;;;WAQG;4CAPQ,OAAO;kBArUP;gBAAE,UAAU,EAAE,OAAO,KAAK,CAAC,CAAC;gBAAC,MAAM,EAAE,OAAO,KAAK,CAAC,CAAA;aAAE;kBACpD;gBAAE,UAAU,EAAE,OAAO,KAAK,CAAC,CAAC;gBAAC,MAAM,EAAE,OAAO,KAAK,CAAC,CAAA;aAAE;8CAsUpD,UAAU,CAAC,OAAO,kBAAkB,CAAC,wCAE7C;YAAmC,iBAAiB,EAA5C,cAAc;YACY,aAAa,EAAvC,OAAO,KAAK,CAAC;SACrB,GAAU,MAAM;QAsCnB;;;WAGG;yCAFQ,OAAO,GACL,QAAQ;;;;QAqBrB;;;WAGG;2BAFQ,OAAO,eACP,OAAO,WAAW,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QA2E9B,iDAAiD;;QASjD;;;WAGG;;QAcH;;;;;WAKG;;;;QAwEH,+CAA+C;kCAAjC,OAAO,CAAC,WAAW,QAAQ,CAAC,CAAC;QAgC3C,+BAA+B;+BAAjB,OAAO,KAAK,CAAC;QAW3B;;;;;;;;;;;;WAYG;0BAFU,OAAO,KAAK,CAAC;QAY1B;;;;;;;;;WASG;6BAHU,cAAc;;GAgBlC;yBAvyBY,OAAO,CAAC,KAAK,EAAE,UAAU,CAAC;;;;;YAYzB,OAAO,KAAK,CAAC;;;;kBACb;QACT,IAAI,EAAE,OAAO,KAAK,CAAC,CAAC;QACpB,QAAQ,EAAE,KAAK,CAAC;KACjB;gBAEU,KAAK;;;wBAML,MAAM,WAAW,UAAU,CAAC;gBAC5B,CAAC,gBAAgB,EAAE,MAAM,KAAK,OAAO,KAAK,CAAC;wBAC3C,MAAM,MAAM,KAAK,CAAC;sBAClB,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;kBACxB,MAAM,MAAM,KAAK,CAAC;qBAClB,eAAe;UACf,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,KAAK,IAAI;2BACvC,MAAM,KAAK;yBACX,CACT,OAAO,EAAE,cAAc,EACvB,aAAa,EAAE,OAAO,KAAK,CAAC,EAC5B,OAAO,EAAE,OAAO,EAChB,UAAU,EAAE,UAAU,EACtB,KAAK,EAAE,KAAK,KACT,IAAI;uBACE,MAAM,oBAAoB;;6BAI3B,QAAQ,CAAC;IACjB,WAAW,EAAE,OAAO,CAAC;IACrB,OAAO,EAAE,YAAY,CAAC;IACtB,WAAW,EAAE,OAAO,WAAW,CAAC,CAAC;IACjC,SAAS,EAAE,OAAO,CAAC;CACpB,CAAC;;;;;2BAOQ;IACR,gBAAgB,EAAE,KAAK,CAAC;IACxB,KAAK,EAAE,UAAU,CAAC;IAClB,YAAY,EAAE,OAAO,KAAK,CAAC,CAAC;IAC5B,YAAY,EAAE,SAAS,iBAAiB,CAAC,GAAG,IAAI,CAAC;CAClD;oBA6uBU,QAAQ,QAAQ,OAAO,YAAY,CAAC,CAA7B,CAA+B,MAAM,CAAC;6BA91BjC,4BAA4B;qCACpB,6CAA6C;yBAIN,aAAa;iCACxD,0CAA0C;4BAd/C,kBAAkB;2BAEX,2BAA2B;oCAWc,aAAa;4BAXtD,2BAA2B;oCAE1B,iBAAiB;6BASuB,aAAa;2BAH9D,2BAA2B;mCAhBhB,WAAW;8BAiBnB,eAAe;gCARb,kBAAkB;gCAU0B,aAAa;8BAN3D,6CAA6C;gCAF3C,mBAAmB;qCAOL,YAAY;6BAAZ,YAAY;0CANhB,mBAAmB;6BALhC,WAAW"}