@agoric/inter-protocol 0.16.2-dev-de2008a.0 → 0.16.2-dev-9d7a377.0

package/src/proposals/econ-behaviors.d.ts

@@ -2,7 +2,7 @@ export const SECONDS_PER_MINUTE: 60n;
 export const SECONDS_PER_HOUR: bigint;
 export const SECONDS_PER_DAY: bigint;
 export const SECONDS_PER_WEEK: bigint;
-export function setupReserve({ consume: { board, feeMintAccess: feeMintAccessP, chainStorage, chainTimerService, diagnostics, zoe, economicCommitteeCreatorFacet: committeeCreator, }, produce: { reserveKit }, issuer: { consume: { [Stable.symbol]: centralIssuer }, }, instance: { produce: { reserve: reserveInstanceProducer, reserveGovernor }, }, installation: { consume: { contractGovernor: governorInstallation, reserve: reserveInstallation, }, }, }: EconomyBootstrapPowers): Promise<Installation<(zcf: ZCF<globalThis.GovernanceTerms<{}> & {
+export function setupReserve({ consume: { board, feeMintAccess: feeMintAccessP, chainStorage, chainTimerService, diagnostics, zoe, economicCommitteeCreatorFacet: committeeCreator, }, produce: { reserveKit }, issuer: { consume: { [Stable.symbol]: centralIssuer }, }, instance: { produce: { reserve: reserveInstanceProducer, reserveGovernor }, }, installation: { consume: { contractGovernor: governorInstallation, reserve: reserveInstallation, }, }, }: EconomyBootstrapPowers): Promise<Installation<(zcf: ZCF<GovernanceTerms<{}> & {
     governedApis: ["burnFeesToReduceShortfall"];
 }>, privateArgs: {
     feeMintAccess: FeeMintAccess;
@@ -11,11 +11,11 @@ export function setupReserve({ consume: { board, feeMintAccess: feeMintAccessP,
     storageNode: ERef<StorageNode>;
 }, baggage: import("@agoric/vat-data").Baggage) => Promise<{
     creatorFacet: globalThis.GovernedCreatorFacet<import("@endo/exo").Guarded<{
-        addIssuer(issuer: globalThis.Issuer, keyword: string): Promise<void>;
+        addIssuer(issuer: Issuer, keyword: string): Promise<void>;
         getAllocations(): AmountKeywordRecord;
         makeShortfallReportingInvitation(): Promise<Invitation<import("@endo/exo").Guarded<{
-            increaseLiquidationShortfall(shortfall: globalThis.Amount<"nat">): void;
-            reduceLiquidationShortfall(reduction: globalThis.Amount<"nat">): void;
+            increaseLiquidationShortfall(shortfall: Amount<"nat">): void;
+            reduceLiquidationShortfall(reduction: Amount<"nat">): void;
         }>, undefined>>;
     }>>;
     publicFacet: globalThis.GovernedPublicFacet<import("@endo/exo").Guarded<{
@@ -25,12 +25,12 @@ export function setupReserve({ consume: { board, feeMintAccess: feeMintAccessP,
         };
     }>>;
 }>>>;
-export function setupVaultFactoryArguments(consume: EconomyBootstrapPowers['consume'], { interestTiming, options: { referencedUi }, }: {
+export function setupVaultFactoryArguments(consume: EconomyBootstrapPowers["consume"], { interestTiming, options: { referencedUi }, }: {
     interestTiming?: InterestTiming | undefined;
     options?: {
         referencedUi?: string | undefined;
     } | undefined;
-} | undefined, minInitialDebt: Amount<'nat'>): Promise<{
+} | undefined, minInitialDebt: Amount<"nat">): Promise<{
     vaultFactoryTerms: {
         auctioneerPublicFacet: ERef<globalThis.GovernedPublicFacet<{
             getElectorate: () => globalThis.Amount<"set">;
@@ -41,7 +41,7 @@ export function setupVaultFactoryArguments(consume: EconomyBootstrapPowers['cons
             getDiscountStep: () => bigint;
             getAuctionStartDelay: () => RelativeTime;
             getPriceLockPeriod: () => RelativeTime;
-            makeBidInvitation(collateralBrand: globalThis.Brand<"nat">): Promise<Invitation<string, import("../auction/auctionBook.js").OfferSpec>>;
+            makeBidInvitation(collateralBrand: Brand<"nat">): Promise<Invitation<string, import("../auction/auctionBook.js").OfferSpec>>;
             getSchedules(): {
                 liveAuctionSchedule: import("../auction/scheduler.js").Schedule | null;
                 nextAuctionSchedule: import("../auction/scheduler.js").Schedule | null;
@@ -101,8 +101,8 @@ export function setupVaultFactoryArguments(consume: EconomyBootstrapPowers['cons
         };
         initialShortfallInvitation: globalThis.Payment<"set"> & {
             [OfferReturn]?: import("@endo/exo").Guarded<{
-                increaseLiquidationShortfall(shortfall: globalThis.Amount<"nat">): void;
-                reduceLiquidationShortfall(reduction: globalThis.Amount<"nat">): void;
+                increaseLiquidationShortfall(shortfall: Amount<"nat">): void;
+                reduceLiquidationShortfall(reduction: Amount<"nat">): void;
             }> | undefined;
             [OfferArgs]?: undefined;
         };
@@ -130,7 +130,7 @@ export function startRewardDistributor({ consume: { chainTimerService, bankManag
 export function startAuctioneer({ consume: { zoe, board, chainTimerService, priceAuthority, chainStorage, economicCommitteeCreatorFacet: electorateCreatorFacet, }, produce: { auctioneerKit }, instance: { produce: { auctioneer: auctionInstance }, consume: { reserve: reserveInstance }, }, installation: { consume: { auctioneer: auctionInstallation, contractGovernor: contractGovernorInstallation, }, }, issuer: { consume: { [Stable.symbol]: stableIssuerP }, }, }: EconomyBootstrapPowers, { auctionParams, }?: {
     auctionParams?: any;
 }): Promise<void>;
-export type VaultFactoryPublicFacet = Awaited<ReturnType<(zcf: import("../vaultFactory/vaultFactory.js").VaultFactoryZCF, privateArgs: {
+export type VaultFactoryPublicFacet = Awaited<ReturnType<(zcf: VaultFactoryZCF, privateArgs: {
     feeMintAccess: FeeMintAccess;
     initialPoserInvitation: Invitation<unknown, undefined>;
     initialShortfallInvitation: Invitation<unknown, undefined>;
@@ -159,21 +159,15 @@ export type VaultFactoryPublicFacet = Awaited<ReturnType<(zcf: import("../vaultF
         }>;
         getInvitation(name: string): Promise<Invitation<unknown, undefined>>;
         getLimitedCreatorFacet(): import("@endo/exo").Guarded<{
-            addVaultType(collateralIssuer: globalThis.Issuer<"nat">, collateralKeyword: string, initialParamValues: VaultManagerParamValues): Promise<import("@endo/exo").Guarded<{
+            addVaultType(collateralIssuer: Issuer</**
+             * Start the reward distributor.
+             *
+             * @param {EconomyBootstrapPowers} powers
+             */ "nat">, collateralKeyword: Keyword, initialParamValues: VaultManagerParamValues): Promise<import("@endo/exo").Guarded<{
                 getGovernedParams(): import("../vaultFactory/vaultManager.js").GovernedParamGetters;
                 makeVaultKit(seat: ZCFSeat): Promise<{
                     publicSubscribers: {
                         vault: {
-                            /**
-                             * @file A collection of productions, each of which declares inputs and outputs.
-                             *   Each function is passed a set of powers for reading from and writing to the
-                             *   vat config.
-                             *
-                             *   Each of the things they produce they're responsible for resolving or setting.
-                             *
-                             *   In production called by @agoric/vats to bootstrap.
-                             */
-                            /** @param {EconomyBootstrapPowers} powers */
                             description: string;
                             subscriber: Subscriber<VaultNotification>;
                             storagePath: Promise<string>;
@@ -187,16 +181,6 @@ export type VaultFactoryPublicFacet = Awaited<ReturnType<(zcf: import("../vaultF
                     vault: import("@endo/exo").Guarded<{
                         getPublicTopics(): {
                             vault: {
-                                /**
-                                 * @file A collection of productions, each of which declares inputs and outputs.
-                                 *   Each function is passed a set of powers for reading from and writing to the
-                                 *   vat config.
-                                 *
-                                 *   Each of the things they produce they're responsible for resolving or setting.
-                                 *
-                                 *   In production called by @agoric/vats to bootstrap.
-                                 */
-                                /** @param {EconomyBootstrapPowers} powers */
                                 description: string;
                                 subscriber: Subscriber<VaultNotification>;
                                 storagePath: Promise<string>;
@@ -216,16 +200,6 @@ export type VaultFactoryPublicFacet = Awaited<ReturnType<(zcf: import("../vaultF
                     makeVaultInvitation(): Promise<Invitation<{
                         publicSubscribers: {
                             vault: {
-                                /**
-                                 * @file A collection of productions, each of which declares inputs and outputs.
-                                 *   Each function is passed a set of powers for reading from and writing to the
-                                 *   vat config.
-                                 *
-                                 *   Each of the things they produce they're responsible for resolving or setting.
-                                 *
-                                 *   In production called by @agoric/vats to bootstrap.
-                                 */
-                                /** @param {EconomyBootstrapPowers} powers */
                                 description: string;
                                 subscriber: Subscriber<VaultNotification>;
                                 storagePath: Promise<string>;
@@ -239,16 +213,6 @@ export type VaultFactoryPublicFacet = Awaited<ReturnType<(zcf: import("../vaultF
                         vault: import("@endo/exo").Guarded<{
                             getPublicTopics(): {
                                 vault: {
-                                    /**
-                                     * @file A collection of productions, each of which declares inputs and outputs.
-                                     *   Each function is passed a set of powers for reading from and writing to the
-                                     *   vat config.
-                                     *
-                                     *   Each of the things they produce they're responsible for resolving or setting.
-                                     *
-                                     *   In production called by @agoric/vats to bootstrap.
-                                     */
-                                    /** @param {EconomyBootstrapPowers} powers */
                                     description: string;
                                     subscriber: Subscriber<VaultNotification>;
                                     storagePath: Promise<string>;
@@ -280,7 +244,7 @@ export type VaultFactoryPublicFacet = Awaited<ReturnType<(zcf: import("../vaultF
                     getDiscountStep: () => bigint;
                     getAuctionStartDelay: () => RelativeTime;
                     getPriceLockPeriod: () => RelativeTime;
-                    makeBidInvitation(collateralBrand: globalThis.Brand<"nat">): Promise<Invitation<string, import("../auction/auctionBook.js").OfferSpec>>;
+                    makeBidInvitation(collateralBrand: Brand<"nat">): Promise<Invitation<string, import("../auction/auctionBook.js").OfferSpec>>;
                     getSchedules(): {
                         liveAuctionSchedule: import("../auction/scheduler.js").Schedule | null;
                         nextAuctionSchedule: import("../auction/scheduler.js").Schedule | null;
@@ -320,20 +284,10 @@ export type VaultFactoryPublicFacet = Awaited<ReturnType<(zcf: import("../vaultF
         setOfferFilter: (strings: any) => Promise<void>;
     }>;
     publicFacet: import("@endo/exo").Guarded<{
-        getCollateralManager(brandIn: globalThis.Brand): import("@endo/exo").Guarded<{
+        getCollateralManager(brandIn: Brand): import("@endo/exo").Guarded<{
             makeVaultInvitation(): Promise<Invitation<{
                 publicSubscribers: {
                     vault: {
-                        /**
-                         * @file A collection of productions, each of which declares inputs and outputs.
-                         *   Each function is passed a set of powers for reading from and writing to the
-                         *   vat config.
-                         *
-                         *   Each of the things they produce they're responsible for resolving or setting.
-                         *
-                         *   In production called by @agoric/vats to bootstrap.
-                         */
-                        /** @param {EconomyBootstrapPowers} powers */
                         description: string;
                         subscriber: Subscriber<VaultNotification>;
                         storagePath: Promise<string>;
@@ -347,16 +301,6 @@ export type VaultFactoryPublicFacet = Awaited<ReturnType<(zcf: import("../vaultF
                 vault: import("@endo/exo").Guarded<{
                     getPublicTopics(): {
                         vault: {
-                            /**
-                             * @file A collection of productions, each of which declares inputs and outputs.
-                             *   Each function is passed a set of powers for reading from and writing to the
-                             *   vat config.
-                             *
-                             *   Each of the things they produce they're responsible for resolving or setting.
-                             *
-                             *   In production called by @agoric/vats to bootstrap.
-                             */
-                            /** @param {EconomyBootstrapPowers} powers */
                             description: string;
                             subscriber: Subscriber<VaultNotification>;
                             storagePath: Promise<string>;
@@ -380,24 +324,24 @@ export type VaultFactoryPublicFacet = Awaited<ReturnType<(zcf: import("../vaultF
         }>;
         getDebtIssuer(): globalThis.Issuer<"nat">;
         getSubscription({ collateralBrand }: {
-            collateralBrand: globalThis.Brand;
+            collateralBrand: Brand;
         }): StoredSubscription<globalThis.GovernanceSubscriptionState>;
         getPublicTopics(): {
             metrics: import("@agoric/zoe/src/contractSupport/topics.js").PublicTopic<import("../vaultFactory/vaultDirector.js").MetricsNotification>;
         };
         getElectorateSubscription(): StoredSubscription<globalThis.GovernanceSubscriptionState>;
         getGovernedParams({ collateralBrand }: {
-            collateralBrand: globalThis.Brand;
+            collateralBrand: Brand;
         }): ERef<globalThis.ParamStateRecord>;
         getInvitationAmount(name: string): globalThis.Amount<"set">;
     }>;
-}>>>['publicFacet'];
+}>>>["publicFacet"];
 export type PSMKit = {
     label: string;
     psm: Instance;
     psmGovernor: Instance;
-    psmCreatorFacet: Awaited<ReturnType<Awaited<ReturnType<typeof import("../psm/psm.js")['start']>>['creatorFacet']['getLimitedCreatorFacet']>>;
-    psmGovernorCreatorFacet: GovernorCreatorFacet<typeof import("../psm/psm.js")['start']>;
+    psmCreatorFacet: Awaited<ReturnType<Awaited<ReturnType<typeof import("../psm/psm.js")["start"]>>["creatorFacet"]["getLimitedCreatorFacet"]>>;
+    psmGovernorCreatorFacet: GovernorCreatorFacet<typeof import("../psm/psm.js")["start"]>;
     psmAdminFacet: AdminFacet;
 };
 export type AuctioneerKit = GovernanceFacetKit<(zcf: ZCF<globalThis.GovernanceTerms<{
@@ -419,9 +363,9 @@ export type AuctioneerKit = GovernanceFacetKit<(zcf: ZCF<globalThis.GovernanceTe
     }>>;
     priceAuthority: PriceAuthority;
 }>, privateArgs: {
-    initialPoserInvitation: Invitation<unknown, undefined>;
+    initialPoserInvitation: Invitation;
     storageNode: StorageNode;
-    marshaller: Marshaller<unknown>;
+    marshaller: Marshaller;
 }, baggage: import("@agoric/vat-data").Baggage) => Promise<{
     publicFacet: globalThis.GovernedPublicFacet<{
         getElectorate: () => globalThis.Amount<"set">;
@@ -432,7 +376,7 @@ export type AuctioneerKit = GovernanceFacetKit<(zcf: ZCF<globalThis.GovernanceTe
         getDiscountStep: () => bigint;
         getAuctionStartDelay: () => RelativeTime;
         getPriceLockPeriod: () => RelativeTime;
-        makeBidInvitation(collateralBrand: globalThis.Brand<"nat">): Promise<Invitation<string, import("../auction/auctionBook.js").OfferSpec>>;
+        makeBidInvitation(collateralBrand: Brand<"nat">): Promise<Invitation<string, import("../auction/auctionBook.js").OfferSpec>>;
         getSchedules(): {
             liveAuctionSchedule: import("../auction/scheduler.js").Schedule | null;
             nextAuctionSchedule: import("../auction/scheduler.js").Schedule | null;
@@ -449,10 +393,10 @@ export type AuctioneerKit = GovernanceFacetKit<(zcf: ZCF<globalThis.GovernanceTe
         }>>;
     }>;
     creatorFacet: globalThis.GovernedCreatorFacet<{
-        addBrand(issuer: globalThis.Issuer, kwd: string): Promise<void>;
+        addBrand(issuer: Issuer, kwd: Keyword): Promise<void>;
         getSchedule(): Promise<import("../auction/scheduler.js").FullSchedule>;
     } & import("@endo/eventual-send").RemotableBrand<{}, {
-        addBrand(issuer: globalThis.Issuer, kwd: string): Promise<void>;
+        addBrand(issuer: Issuer, kwd: Keyword): Promise<void>;
         getSchedule(): Promise<import("../auction/scheduler.js").FullSchedule>;
     }>>;
 }>>;
@@ -473,17 +417,7 @@ export type EconomyBootstrapSpace = {
                     collectFees: () => Promise<globalThis.Payment<any>>;
                 }>;
                 startPeriodicCollection: (debugName: string, collectorP: ERef<import("../feeDistributor.js").FeeCollector>) => Promise<import("../feeDistributor.js").PeriodicFeeCollector>;
-                makeDepositFacetDestination: (depositFacet: {
-                    /**
-                     * Deposit all the contents of payment
-                     * into the purse that made this facet, returning the amount. If the optional
-                     * argument `optAmount` does not equal the amount of digital assets in the
-                     * payment, throw an error.
-                     *
-                     * If payment is a promise, throw an error.
-                     */
-                    receive: (args_0: globalThis.Payment, args_1?: any) => ERef<globalThis.Amount>;
-                }) => {
+                makeDepositFacetDestination: (depositFacet: import("@endo/far").EOnly<import("@agoric/ertp/exported.js").DepositFacet>) => {
                     pushPayment: (payment: any, _issuer: any) => Promise<globalThis.Amount>;
                 } & import("@endo/eventual-send").RemotableBrand<{}, {
                     pushPayment: (payment: any, _issuer: any) => Promise<globalThis.Amount>;
@@ -494,7 +428,7 @@ export type EconomyBootstrapSpace = {
                     pushPayment: (payment: any, issuer: any) => Promise<any>;
                 }>;
                 setDestinations: (newDestinations: Record<string, ERef<import("../feeDistributor.js").FeeDestination>>) => Promise<void>;
-                setKeywordShares: (newShares: Record<string, bigint>) => void;
+                setKeywordShares: (newShares: Record<Keyword, bigint>) => void;
             } & import("@endo/eventual-send").RemotableBrand<{}, {
                 makeContractFeeCollector: (zoe: ERef<ZoeService>, creatorFacet: ERef<import("../feeDistributor.js").CollectibleContractFacet>) => {
                     collectFees: () => Promise<globalThis.Payment<any>>;
@@ -502,17 +436,7 @@ export type EconomyBootstrapSpace = {
                     collectFees: () => Promise<globalThis.Payment<any>>;
                 }>;
                 startPeriodicCollection: (debugName: string, collectorP: ERef<import("../feeDistributor.js").FeeCollector>) => Promise<import("../feeDistributor.js").PeriodicFeeCollector>;
-                makeDepositFacetDestination: (depositFacet: {
-                    /**
-                     * Deposit all the contents of payment
-                     * into the purse that made this facet, returning the amount. If the optional
-                     * argument `optAmount` does not equal the amount of digital assets in the
-                     * payment, throw an error.
-                     *
-                     * If payment is a promise, throw an error.
-                     */
-                    receive: (args_0: globalThis.Payment, args_1?: any) => ERef<globalThis.Amount>;
-                }) => {
+                makeDepositFacetDestination: (depositFacet: import("@endo/far").EOnly<import("@agoric/ertp/exported.js").DepositFacet>) => {
                     pushPayment: (payment: any, _issuer: any) => Promise<globalThis.Amount>;
                 } & import("@endo/eventual-send").RemotableBrand<{}, {
                     pushPayment: (payment: any, _issuer: any) => Promise<globalThis.Amount>;
@@ -523,13 +447,13 @@ export type EconomyBootstrapSpace = {
                     pushPayment: (payment: any, issuer: any) => Promise<any>;
                 }>;
                 setDestinations: (newDestinations: Record<string, ERef<import("../feeDistributor.js").FeeDestination>>) => Promise<void>;
-                setKeywordShares: (newShares: Record<string, bigint>) => void;
+                setKeywordShares: (newShares: Record<Keyword, bigint>) => void;
             }>;
             publicFacet: {
-                distributeFees: (payment: globalThis.Payment<"nat">) => Promise<void>;
+                distributeFees: (payment: Payment<"nat">) => Promise<void>;
                 getKeywordShares: () => Record<string, bigint>;
             } & import("@endo/eventual-send").RemotableBrand<{}, {
-                distributeFees: (payment: globalThis.Payment<"nat">) => Promise<void>;
+                distributeFees: (payment: Payment<"nat">) => Promise<void>;
                 getKeywordShares: () => Record<string, bigint>;
             }>;
         }>>>;
@@ -537,7 +461,7 @@ export type EconomyBootstrapSpace = {
         psmKit: Promise<globalThis.MapStore<globalThis.Brand, PSMKit>>;
         anchorBalancePayments: Promise<globalThis.MapStore<globalThis.Brand, globalThis.Payment<"nat">>>;
         econCharterKit: Promise<EconCharterStartResult>;
-        reserveKit: Promise<globalThis.GovernanceFacetKit<(zcf: ZCF<globalThis.GovernanceTerms<{}> & {
+        reserveKit: Promise<globalThis.GovernanceFacetKit<(zcf: ZCF<GovernanceTerms<{}> & {
             governedApis: ["burnFeesToReduceShortfall"];
         }>, privateArgs: {
             feeMintAccess: FeeMintAccess;
@@ -546,11 +470,11 @@ export type EconomyBootstrapSpace = {
             storageNode: ERef<StorageNode>;
         }, baggage: import("@agoric/vat-data").Baggage) => Promise<{
             creatorFacet: globalThis.GovernedCreatorFacet<import("@endo/exo").Guarded<{
-                addIssuer(issuer: globalThis.Issuer, keyword: string): Promise<void>;
+                addIssuer(issuer: Issuer, keyword: string): Promise<void>;
                 getAllocations(): AmountKeywordRecord;
                 makeShortfallReportingInvitation(): Promise<Invitation<import("@endo/exo").Guarded<{
-                    increaseLiquidationShortfall(shortfall: globalThis.Amount<"nat">): void;
-                    reduceLiquidationShortfall(reduction: globalThis.Amount<"nat">): void;
+                    increaseLiquidationShortfall(shortfall: Amount<"nat">): void;
+                    reduceLiquidationShortfall(reduction: Amount<"nat">): void;
                 }>, undefined>>;
             }>>;
             publicFacet: globalThis.GovernedPublicFacet<import("@endo/exo").Guarded<{
@@ -560,7 +484,7 @@ export type EconomyBootstrapSpace = {
                 };
             }>>;
         }>>>;
-        vaultFactoryKit: Promise<globalThis.GovernanceFacetKit<(zcf: import("../vaultFactory/vaultFactory.js").VaultFactoryZCF, privateArgs: {
+        vaultFactoryKit: Promise<globalThis.GovernanceFacetKit<(zcf: VaultFactoryZCF, privateArgs: {
             feeMintAccess: FeeMintAccess;
             initialPoserInvitation: Invitation<unknown, undefined>;
             initialShortfallInvitation: Invitation<unknown, undefined>;
@@ -589,21 +513,11 @@ export type EconomyBootstrapSpace = {
                 }>;
                 getInvitation(name: string): Promise<Invitation<unknown, undefined>>;
                 getLimitedCreatorFacet(): import("@endo/exo").Guarded<{
-                    addVaultType(collateralIssuer: globalThis.Issuer<"nat">, collateralKeyword: string, initialParamValues: VaultManagerParamValues): Promise<import("@endo/exo").Guarded<{
+                    addVaultType(collateralIssuer: Issuer<"nat">, collateralKeyword: Keyword, initialParamValues: VaultManagerParamValues): Promise<import("@endo/exo").Guarded<{
                         getGovernedParams(): import("../vaultFactory/vaultManager.js").GovernedParamGetters;
                         makeVaultKit(seat: ZCFSeat): Promise<{
                             publicSubscribers: {
                                 vault: {
-                                    /**
-                                     * @file A collection of productions, each of which declares inputs and outputs.
-                                     *   Each function is passed a set of powers for reading from and writing to the
-                                     *   vat config.
-                                     *
-                                     *   Each of the things they produce they're responsible for resolving or setting.
-                                     *
-                                     *   In production called by @agoric/vats to bootstrap.
-                                     */
-                                    /** @param {EconomyBootstrapPowers} powers */
                                     description: string;
                                     subscriber: Subscriber<VaultNotification>;
                                     storagePath: Promise<string>;
@@ -617,16 +531,6 @@ export type EconomyBootstrapSpace = {
                             vault: import("@endo/exo").Guarded<{
                                 getPublicTopics(): {
                                     vault: {
-                                        /**
-                                         * @file A collection of productions, each of which declares inputs and outputs.
-                                         *   Each function is passed a set of powers for reading from and writing to the
-                                         *   vat config.
-                                         *
-                                         *   Each of the things they produce they're responsible for resolving or setting.
-                                         *
-                                         *   In production called by @agoric/vats to bootstrap.
-                                         */
-                                        /** @param {EconomyBootstrapPowers} powers */
                                         description: string;
                                         subscriber: Subscriber<VaultNotification>;
                                         storagePath: Promise<string>;
@@ -646,16 +550,6 @@ export type EconomyBootstrapSpace = {
                             makeVaultInvitation(): Promise<Invitation<{
                                 publicSubscribers: {
                                     vault: {
-                                        /**
-                                         * @file A collection of productions, each of which declares inputs and outputs.
-                                         *   Each function is passed a set of powers for reading from and writing to the
-                                         *   vat config.
-                                         *
-                                         *   Each of the things they produce they're responsible for resolving or setting.
-                                         *
-                                         *   In production called by @agoric/vats to bootstrap.
-                                         */
-                                        /** @param {EconomyBootstrapPowers} powers */
                                         description: string;
                                         subscriber: Subscriber<VaultNotification>;
                                         storagePath: Promise<string>;
@@ -669,16 +563,6 @@ export type EconomyBootstrapSpace = {
                                 vault: import("@endo/exo").Guarded<{
                                     getPublicTopics(): {
                                         vault: {
-                                            /**
-                                             * @file A collection of productions, each of which declares inputs and outputs.
-                                             *   Each function is passed a set of powers for reading from and writing to the
-                                             *   vat config.
-                                             *
-                                             *   Each of the things they produce they're responsible for resolving or setting.
-                                             *
-                                             *   In production called by @agoric/vats to bootstrap.
-                                             */
-                                            /** @param {EconomyBootstrapPowers} powers */
                                             description: string;
                                             subscriber: Subscriber<VaultNotification>;
                                             storagePath: Promise<string>;
@@ -710,7 +594,7 @@ export type EconomyBootstrapSpace = {
                             getDiscountStep: () => bigint;
                             getAuctionStartDelay: () => RelativeTime;
                             getPriceLockPeriod: () => RelativeTime;
-                            makeBidInvitation(collateralBrand: globalThis.Brand<"nat">): Promise<Invitation<string, import("../auction/auctionBook.js").OfferSpec>>;
+                            makeBidInvitation(collateralBrand: Brand<"nat">): Promise<Invitation<string, import("../auction/auctionBook.js").OfferSpec>>;
                             getSchedules(): {
                                 liveAuctionSchedule: import("../auction/scheduler.js").Schedule | null;
                                 nextAuctionSchedule: import("../auction/scheduler.js").Schedule | null;
@@ -750,20 +634,10 @@ export type EconomyBootstrapSpace = {
                 setOfferFilter: (strings: any) => Promise<void>;
             }>;
             publicFacet: import("@endo/exo").Guarded<{
-                getCollateralManager(brandIn: globalThis.Brand): import("@endo/exo").Guarded<{
+                getCollateralManager(brandIn: Brand): import("@endo/exo").Guarded<{
                     makeVaultInvitation(): Promise<Invitation<{
                         publicSubscribers: {
                             vault: {
-                                /**
-                                 * @file A collection of productions, each of which declares inputs and outputs.
-                                 *   Each function is passed a set of powers for reading from and writing to the
-                                 *   vat config.
-                                 *
-                                 *   Each of the things they produce they're responsible for resolving or setting.
-                                 *
-                                 *   In production called by @agoric/vats to bootstrap.
-                                 */
-                                /** @param {EconomyBootstrapPowers} powers */
                                 description: string;
                                 subscriber: Subscriber<VaultNotification>;
                                 storagePath: Promise<string>;
@@ -777,16 +651,6 @@ export type EconomyBootstrapSpace = {
                         vault: import("@endo/exo").Guarded<{
                             getPublicTopics(): {
                                 vault: {
-                                    /**
-                                     * @file A collection of productions, each of which declares inputs and outputs.
-                                     *   Each function is passed a set of powers for reading from and writing to the
-                                     *   vat config.
-                                     *
-                                     *   Each of the things they produce they're responsible for resolving or setting.
-                                     *
-                                     *   In production called by @agoric/vats to bootstrap.
-                                     */
-                                    /** @param {EconomyBootstrapPowers} powers */
                                     description: string;
                                     subscriber: Subscriber<VaultNotification>;
                                     storagePath: Promise<string>;
@@ -810,19 +674,20 @@ export type EconomyBootstrapSpace = {
                 }>;
                 getDebtIssuer(): globalThis.Issuer<"nat">;
                 getSubscription({ collateralBrand }: {
-                    collateralBrand: globalThis.Brand;
+                    collateralBrand: Brand;
                 }): StoredSubscription<globalThis.GovernanceSubscriptionState>;
                 getPublicTopics(): {
                     metrics: import("@agoric/zoe/src/contractSupport/topics.js").PublicTopic<import("../vaultFactory/vaultDirector.js").MetricsNotification>;
                 };
                 getElectorateSubscription(): StoredSubscription<globalThis.GovernanceSubscriptionState>;
                 getGovernedParams({ collateralBrand }: {
-                    collateralBrand: globalThis.Brand;
+                    collateralBrand: Brand;
                 }): ERef<globalThis.ParamStateRecord>;
                 getInvitationAmount(name: string): globalThis.Amount<"set">;
             }>;
         }>>>;
         auctioneerKit: Promise<AuctioneerKit>;
+        newAuctioneerKit: Promise<AuctioneerKit>;
         minInitialDebt: Promise<bigint>;
     };
     produce: {
@@ -840,17 +705,7 @@ export type EconomyBootstrapSpace = {
                     collectFees: () => Promise<globalThis.Payment<any>>;
                 }>;
                 startPeriodicCollection: (debugName: string, collectorP: ERef<import("../feeDistributor.js").FeeCollector>) => Promise<import("../feeDistributor.js").PeriodicFeeCollector>;
-                makeDepositFacetDestination: (depositFacet: {
-                    /**
-                     * Deposit all the contents of payment
-                     * into the purse that made this facet, returning the amount. If the optional
-                     * argument `optAmount` does not equal the amount of digital assets in the
-                     * payment, throw an error.
-                     *
-                     * If payment is a promise, throw an error.
-                     */
-                    receive: (args_0: globalThis.Payment, args_1?: any) => ERef<globalThis.Amount>;
-                }) => {
+                makeDepositFacetDestination: (depositFacet: import("@endo/far").EOnly<import("@agoric/ertp/exported.js").DepositFacet>) => {
                     pushPayment: (payment: any, _issuer: any) => Promise<globalThis.Amount>;
                 } & import("@endo/eventual-send").RemotableBrand<{}, {
                     pushPayment: (payment: any, _issuer: any) => Promise<globalThis.Amount>;
@@ -861,7 +716,7 @@ export type EconomyBootstrapSpace = {
                     pushPayment: (payment: any, issuer: any) => Promise<any>;
                 }>;
                 setDestinations: (newDestinations: Record<string, ERef<import("../feeDistributor.js").FeeDestination>>) => Promise<void>;
-                setKeywordShares: (newShares: Record<string, bigint>) => void;
+                setKeywordShares: (newShares: Record<Keyword, bigint>) => void;
             } & import("@endo/eventual-send").RemotableBrand<{}, {
                 makeContractFeeCollector: (zoe: ERef<ZoeService>, creatorFacet: ERef<import("../feeDistributor.js").CollectibleContractFacet>) => {
                     collectFees: () => Promise<globalThis.Payment<any>>;
@@ -869,17 +724,7 @@ export type EconomyBootstrapSpace = {
                     collectFees: () => Promise<globalThis.Payment<any>>;
                 }>;
                 startPeriodicCollection: (debugName: string, collectorP: ERef<import("../feeDistributor.js").FeeCollector>) => Promise<import("../feeDistributor.js").PeriodicFeeCollector>;
-                makeDepositFacetDestination: (depositFacet: {
-                    /**
-                     * Deposit all the contents of payment
-                     * into the purse that made this facet, returning the amount. If the optional
-                     * argument `optAmount` does not equal the amount of digital assets in the
-                     * payment, throw an error.
-                     *
-                     * If payment is a promise, throw an error.
-                     */
-                    receive: (args_0: globalThis.Payment, args_1?: any) => ERef<globalThis.Amount>;
-                }) => {
+                makeDepositFacetDestination: (depositFacet: import("@endo/far").EOnly<import("@agoric/ertp/exported.js").DepositFacet>) => {
                     pushPayment: (payment: any, _issuer: any) => Promise<globalThis.Amount>;
                 } & import("@endo/eventual-send").RemotableBrand<{}, {
                     pushPayment: (payment: any, _issuer: any) => Promise<globalThis.Amount>;
@@ -890,13 +735,13 @@ export type EconomyBootstrapSpace = {
                     pushPayment: (payment: any, issuer: any) => Promise<any>;
                 }>;
                 setDestinations: (newDestinations: Record<string, ERef<import("../feeDistributor.js").FeeDestination>>) => Promise<void>;
-                setKeywordShares: (newShares: Record<string, bigint>) => void;
+                setKeywordShares: (newShares: Record<Keyword, bigint>) => void;
             }>;
             publicFacet: {
-                distributeFees: (payment: globalThis.Payment<"nat">) => Promise<void>;
+                distributeFees: (payment: Payment<"nat">) => Promise<void>;
                 getKeywordShares: () => Record<string, bigint>;
             } & import("@endo/eventual-send").RemotableBrand<{}, {
-                distributeFees: (payment: globalThis.Payment<"nat">) => Promise<void>;
+                distributeFees: (payment: Payment<"nat">) => Promise<void>;
                 getKeywordShares: () => Record<string, bigint>;
             }>;
         }>>>;
@@ -904,7 +749,7 @@ export type EconomyBootstrapSpace = {
         psmKit: Producer<globalThis.MapStore<globalThis.Brand, PSMKit>>;
         anchorBalancePayments: Producer<globalThis.MapStore<globalThis.Brand, globalThis.Payment<"nat">>>;
         econCharterKit: Producer<EconCharterStartResult>;
-        reserveKit: Producer<globalThis.GovernanceFacetKit<(zcf: ZCF<globalThis.GovernanceTerms<{}> & {
+        reserveKit: Producer<globalThis.GovernanceFacetKit<(zcf: ZCF<GovernanceTerms<{}> & {
             governedApis: ["burnFeesToReduceShortfall"];
         }>, privateArgs: {
             feeMintAccess: FeeMintAccess;
@@ -913,11 +758,11 @@ export type EconomyBootstrapSpace = {
             storageNode: ERef<StorageNode>;
         }, baggage: import("@agoric/vat-data").Baggage) => Promise<{
             creatorFacet: globalThis.GovernedCreatorFacet<import("@endo/exo").Guarded<{
-                addIssuer(issuer: globalThis.Issuer, keyword: string): Promise<void>;
+                addIssuer(issuer: Issuer, keyword: string): Promise<void>;
                 getAllocations(): AmountKeywordRecord;
                 makeShortfallReportingInvitation(): Promise<Invitation<import("@endo/exo").Guarded<{
-                    increaseLiquidationShortfall(shortfall: globalThis.Amount<"nat">): void;
-                    reduceLiquidationShortfall(reduction: globalThis.Amount<"nat">): void;
+                    increaseLiquidationShortfall(shortfall: Amount<"nat">): void;
+                    reduceLiquidationShortfall(reduction: Amount<"nat">): void;
                 }>, undefined>>;
             }>>;
             publicFacet: globalThis.GovernedPublicFacet<import("@endo/exo").Guarded<{
@@ -927,7 +772,7 @@ export type EconomyBootstrapSpace = {
                 };
             }>>;
         }>>>;
-        vaultFactoryKit: Producer<globalThis.GovernanceFacetKit<(zcf: import("../vaultFactory/vaultFactory.js").VaultFactoryZCF, privateArgs: {
+        vaultFactoryKit: Producer<globalThis.GovernanceFacetKit<(zcf: VaultFactoryZCF, privateArgs: {
             feeMintAccess: FeeMintAccess;
             initialPoserInvitation: Invitation<unknown, undefined>;
             initialShortfallInvitation: Invitation<unknown, undefined>;
@@ -956,21 +801,11 @@ export type EconomyBootstrapSpace = {
                 }>;
                 getInvitation(name: string): Promise<Invitation<unknown, undefined>>;
                 getLimitedCreatorFacet(): import("@endo/exo").Guarded<{
-                    addVaultType(collateralIssuer: globalThis.Issuer<"nat">, collateralKeyword: string, initialParamValues: VaultManagerParamValues): Promise<import("@endo/exo").Guarded<{
+                    addVaultType(collateralIssuer: Issuer<"nat">, collateralKeyword: Keyword, initialParamValues: VaultManagerParamValues): Promise<import("@endo/exo").Guarded<{
                         getGovernedParams(): import("../vaultFactory/vaultManager.js").GovernedParamGetters;
                         makeVaultKit(seat: ZCFSeat): Promise<{
                             publicSubscribers: {
                                 vault: {
-                                    /**
-                                     * @file A collection of productions, each of which declares inputs and outputs.
-                                     *   Each function is passed a set of powers for reading from and writing to the
-                                     *   vat config.
-                                     *
-                                     *   Each of the things they produce they're responsible for resolving or setting.
-                                     *
-                                     *   In production called by @agoric/vats to bootstrap.
-                                     */
-                                    /** @param {EconomyBootstrapPowers} powers */
                                     description: string;
                                     subscriber: Subscriber<VaultNotification>;
                                     storagePath: Promise<string>;
@@ -984,16 +819,6 @@ export type EconomyBootstrapSpace = {
                             vault: import("@endo/exo").Guarded<{
                                 getPublicTopics(): {
                                     vault: {
-                                        /**
-                                         * @file A collection of productions, each of which declares inputs and outputs.
-                                         *   Each function is passed a set of powers for reading from and writing to the
-                                         *   vat config.
-                                         *
-                                         *   Each of the things they produce they're responsible for resolving or setting.
-                                         *
-                                         *   In production called by @agoric/vats to bootstrap.
-                                         */
-                                        /** @param {EconomyBootstrapPowers} powers */
                                         description: string;
                                         subscriber: Subscriber<VaultNotification>;
                                         storagePath: Promise<string>;
@@ -1013,16 +838,6 @@ export type EconomyBootstrapSpace = {
                             makeVaultInvitation(): Promise<Invitation<{
                                 publicSubscribers: {
                                     vault: {
-                                        /**
-                                         * @file A collection of productions, each of which declares inputs and outputs.
-                                         *   Each function is passed a set of powers for reading from and writing to the
-                                         *   vat config.
-                                         *
-                                         *   Each of the things they produce they're responsible for resolving or setting.
-                                         *
-                                         *   In production called by @agoric/vats to bootstrap.
-                                         */
-                                        /** @param {EconomyBootstrapPowers} powers */
                                         description: string;
                                         subscriber: Subscriber<VaultNotification>;
                                         storagePath: Promise<string>;
@@ -1036,16 +851,6 @@ export type EconomyBootstrapSpace = {
                                 vault: import("@endo/exo").Guarded<{
                                     getPublicTopics(): {
                                         vault: {
-                                            /**
-                                             * @file A collection of productions, each of which declares inputs and outputs.
-                                             *   Each function is passed a set of powers for reading from and writing to the
-                                             *   vat config.
-                                             *
-                                             *   Each of the things they produce they're responsible for resolving or setting.
-                                             *
-                                             *   In production called by @agoric/vats to bootstrap.
-                                             */
-                                            /** @param {EconomyBootstrapPowers} powers */
                                             description: string;
                                             subscriber: Subscriber<VaultNotification>;
                                             storagePath: Promise<string>;
@@ -1077,7 +882,7 @@ export type EconomyBootstrapSpace = {
                             getDiscountStep: () => bigint;
                             getAuctionStartDelay: () => RelativeTime;
                             getPriceLockPeriod: () => RelativeTime;
-                            makeBidInvitation(collateralBrand: globalThis.Brand<"nat">): Promise<Invitation<string, import("../auction/auctionBook.js").OfferSpec>>;
+                            makeBidInvitation(collateralBrand: Brand<"nat">): Promise<Invitation<string, import("../auction/auctionBook.js").OfferSpec>>;
                             getSchedules(): {
                                 liveAuctionSchedule: import("../auction/scheduler.js").Schedule | null;
                                 nextAuctionSchedule: import("../auction/scheduler.js").Schedule | null;
@@ -1117,20 +922,10 @@ export type EconomyBootstrapSpace = {
                 setOfferFilter: (strings: any) => Promise<void>;
             }>;
             publicFacet: import("@endo/exo").Guarded<{
-                getCollateralManager(brandIn: globalThis.Brand): import("@endo/exo").Guarded<{
+                getCollateralManager(brandIn: Brand): import("@endo/exo").Guarded<{
                     makeVaultInvitation(): Promise<Invitation<{
                         publicSubscribers: {
                             vault: {
-                                /**
-                                 * @file A collection of productions, each of which declares inputs and outputs.
-                                 *   Each function is passed a set of powers for reading from and writing to the
-                                 *   vat config.
-                                 *
-                                 *   Each of the things they produce they're responsible for resolving or setting.
-                                 *
-                                 *   In production called by @agoric/vats to bootstrap.
-                                 */
-                                /** @param {EconomyBootstrapPowers} powers */
                                 description: string;
                                 subscriber: Subscriber<VaultNotification>;
                                 storagePath: Promise<string>;
@@ -1144,16 +939,6 @@ export type EconomyBootstrapSpace = {
                         vault: import("@endo/exo").Guarded<{
                             getPublicTopics(): {
                                 vault: {
-                                    /**
-                                     * @file A collection of productions, each of which declares inputs and outputs.
-                                     *   Each function is passed a set of powers for reading from and writing to the
-                                     *   vat config.
-                                     *
-                                     *   Each of the things they produce they're responsible for resolving or setting.
-                                     *
-                                     *   In production called by @agoric/vats to bootstrap.
-                                     */
-                                    /** @param {EconomyBootstrapPowers} powers */
                                     description: string;
                                     subscriber: Subscriber<VaultNotification>;
                                     storagePath: Promise<string>;
@@ -1177,47 +962,48 @@ export type EconomyBootstrapSpace = {
                 }>;
                 getDebtIssuer(): globalThis.Issuer<"nat">;
                 getSubscription({ collateralBrand }: {
-                    collateralBrand: globalThis.Brand;
+                    collateralBrand: Brand;
                 }): StoredSubscription<globalThis.GovernanceSubscriptionState>;
                 getPublicTopics(): {
                     metrics: import("@agoric/zoe/src/contractSupport/topics.js").PublicTopic<import("../vaultFactory/vaultDirector.js").MetricsNotification>;
                 };
                 getElectorateSubscription(): StoredSubscription<globalThis.GovernanceSubscriptionState>;
                 getGovernedParams({ collateralBrand }: {
-                    collateralBrand: globalThis.Brand;
+                    collateralBrand: Brand;
                 }): ERef<globalThis.ParamStateRecord>;
                 getInvitationAmount(name: string): globalThis.Amount<"set">;
             }>;
         }>>>;
         auctioneerKit: Producer<AuctioneerKit>;
+        newAuctioneerKit: Producer<AuctioneerKit>;
         minInitialDebt: Producer<bigint>;
     };
 };
 export type EconCharterStartResult = {
     instance: import("@agoric/zoe/src/zoeService/utils.js").Instance<(zcf: ZCF<{
-        binaryVoteCounterInstallation: Installation<any>;
+        binaryVoteCounterInstallation: Installation;
     }>, privateArgs: undefined, baggage: import("@agoric/vat-data").Baggage) => Promise<{
         creatorFacet: import("@endo/exo").Guarded<{
-            addInstance: (governedInstance: Instance, governorFacet: globalThis.GovernorCreatorFacet<any>, label?: string | undefined) => void;
+            addInstance: (governedInstance: Instance, governorFacet: GovernorCreatorFacet<any>, label?: string | undefined) => void;
             makeCharterMemberInvitation: () => Promise<Invitation<{
                 invitationMakers: import("@endo/exo").Guarded<{
                     VoteOnParamChange: () => Promise<Invitation<import("@agoric/governance/exported.js").ContractGovernanceVoteResult, import("../econCommitteeCharter.js").ParamChangesOfferArgs>>;
                     VoteOnPauseOffers: (instance: any, strings: any, deadline: any) => Promise<Invitation<import("@agoric/governance/exported.js").ContractGovernanceVoteResult, undefined>>;
-                    VoteOnApiCall: (instance: Instance, methodName: string, methodArgs: string[], deadline: bigint) => Promise<Invitation<import("@agoric/governance/exported.js").ContractGovernanceVoteResult, undefined>>;
+                    VoteOnApiCall: (instance: Instance, methodName: string, methodArgs: string[], deadline: import("@agoric/time").TimestampValue) => Promise<Invitation<import("@agoric/governance/exported.js").ContractGovernanceVoteResult, undefined>>;
                 }>;
             }, undefined>>;
         }>;
     }>>;
     adminFacet: import("@agoric/zoe/src/zoeService/utils.js").AdminFacet<(zcf: ZCF<{
-        binaryVoteCounterInstallation: Installation<any>;
+        binaryVoteCounterInstallation: Installation;
     }>, privateArgs: undefined, baggage: import("@agoric/vat-data").Baggage) => Promise<{
         creatorFacet: import("@endo/exo").Guarded<{
-            addInstance: (governedInstance: Instance, governorFacet: globalThis.GovernorCreatorFacet<any>, label?: string | undefined) => void;
+            addInstance: (governedInstance: Instance, governorFacet: GovernorCreatorFacet<any>, label?: string | undefined) => void;
             makeCharterMemberInvitation: () => Promise<Invitation<{
                 invitationMakers: import("@endo/exo").Guarded<{
                     VoteOnParamChange: () => Promise<Invitation<import("@agoric/governance/exported.js").ContractGovernanceVoteResult, import("../econCommitteeCharter.js").ParamChangesOfferArgs>>;
                     VoteOnPauseOffers: (instance: any, strings: any, deadline: any) => Promise<Invitation<import("@agoric/governance/exported.js").ContractGovernanceVoteResult, undefined>>;
-                    VoteOnApiCall: (instance: Instance, methodName: string, methodArgs: string[], deadline: bigint) => Promise<Invitation<import("@agoric/governance/exported.js").ContractGovernanceVoteResult, undefined>>;
+                    VoteOnApiCall: (instance: Instance, methodName: string, methodArgs: string[], deadline: import("@agoric/time").TimestampValue) => Promise<Invitation<import("@agoric/governance/exported.js").ContractGovernanceVoteResult, undefined>>;
                 }>;
             }, undefined>>;
         }>;
@@ -1226,12 +1012,12 @@ export type EconCharterStartResult = {
     publicFacet: {};
 } & {
     creatorFacet: import("@endo/exo").Guarded<{
-        addInstance: (governedInstance: Instance, governorFacet: globalThis.GovernorCreatorFacet<any>, label?: string | undefined) => void;
+        addInstance: (governedInstance: Instance, governorFacet: GovernorCreatorFacet<any>, label?: string | undefined) => void;
         makeCharterMemberInvitation: () => Promise<Invitation<{
             invitationMakers: import("@endo/exo").Guarded<{
                 VoteOnParamChange: () => Promise<Invitation<import("@agoric/governance/exported.js").ContractGovernanceVoteResult, import("../econCommitteeCharter.js").ParamChangesOfferArgs>>;
                 VoteOnPauseOffers: (instance: any, strings: any, deadline: any) => Promise<Invitation<import("@agoric/governance/exported.js").ContractGovernanceVoteResult, undefined>>;
-                VoteOnApiCall: (instance: Instance, methodName: string, methodArgs: string[], deadline: bigint) => Promise<Invitation<import("@agoric/governance/exported.js").ContractGovernanceVoteResult, undefined>>;
+                VoteOnApiCall: (instance: Instance, methodName: string, methodArgs: string[], deadline: import("@agoric/time").TimestampValue) => Promise<Invitation<import("@agoric/governance/exported.js").ContractGovernanceVoteResult, undefined>>;
             }>;
         }, undefined>>;
     }>;