@agoric/inter-protocol 0.16.2-upgrade-14-dev-0169c7e.0 → 0.16.2-upgrade-16-dev-8879538.0

package/src/auction/auctioneer.d.ts

@@ -0,0 +1,83 @@
+export function distributeProportionalSharesWithLimits(unsoldCollateral: Amount<"nat">, proceeds: Amount<"nat">, deposits: {
+    seat: ZCFSeat;
+    amount: Amount<"nat">;
+    goal: Amount<"nat">;
+}[], collateralSeat: ZCFSeat, bidHoldingSeat: ZCFSeat, collateralKeyword: string, reserveSeat: ZCFSeat, brand: Brand): TransferPart[];
+export function start(zcf: ZCF<globalThis.GovernanceTerms<{
+    Electorate: "invitation";
+    StartFrequency: "relativeTime";
+    ClockStep: "relativeTime";
+    StartingRate: "nat";
+    LowestRate: "nat";
+    DiscountStep: "nat";
+    AuctionStartDelay: "relativeTime";
+    PriceLockPeriod: "relativeTime";
+}> & {
+    timerService: import("@agoric/time").TimerService;
+    reservePublicFacet: globalThis.GovernedPublicFacet<import("@endo/exo").Guarded<{
+        makeAddCollateralInvitation(): Promise<Invitation<string, never>>;
+        getPublicTopics(): {
+            metrics: import("@agoric/zoe/src/contractSupport/topics.js").PublicTopic<import("../reserve/assetReserveKit.js").MetricsNotification>;
+        };
+    }>>;
+    priceAuthority: PriceAuthority;
+}>, privateArgs: {
+    initialPoserInvitation: Invitation;
+    storageNode: StorageNode;
+    marshaller: Marshaller;
+}, baggage: Baggage): Promise<{
+    publicFacet: globalThis.GovernedPublicFacet<{
+        getElectorate: () => import("@agoric/ertp/src/types.js").SetAmount<import("@endo/patterns").Key>;
+        getStartFrequency: () => RelativeTime;
+        getClockStep: () => RelativeTime;
+        getStartingRate: () => bigint;
+        getLowestRate: () => bigint;
+        getDiscountStep: () => bigint;
+        getAuctionStartDelay: () => RelativeTime;
+        getPriceLockPeriod: () => RelativeTime;
+        /** @param {Brand<'nat'>} collateralBrand */
+        makeBidInvitation(collateralBrand: Brand<"nat">): Promise<Invitation<string, import("./auctionBook.js").OfferSpec>>;
+        getSchedules(): {
+            liveAuctionSchedule: import("./scheduler.js").Schedule | null;
+            nextAuctionSchedule: import("./scheduler.js").Schedule | null;
+        };
+        getScheduleUpdates(): globalThis.Subscriber<import("./scheduler.js").ScheduleNotification>;
+        getBookDataUpdates(brand: any): globalThis.Subscriber<import("./auctionBook.js").BookDataNotification>;
+        getPublicTopics(brand: any): {
+            bookData: import("@agoric/zoe/src/contractSupport/topics.js").PublicTopic<import("./auctionBook.js").BookDataNotification>;
+        } | {
+            schedule: import("@agoric/zoe/src/contractSupport/topics.js").PublicTopic<import("./scheduler.js").ScheduleNotification>;
+        };
+        makeDepositInvitation: () => Promise<Invitation<string, {
+            goal: Amount<"nat">;
+        }>>;
+    }>;
+    creatorFacet: globalThis.GovernedCreatorFacet<{
+        /**
+         * @param {Issuer<'nat'>} issuer
+         * @param {Keyword} kwd
+         */
+        addBrand(issuer: Issuer<"nat">, kwd: Keyword): Promise<void>;
+        /** @returns {Promise<import('./scheduler.js').FullSchedule>} */
+        getSchedule(): Promise<import("./scheduler.js").FullSchedule>;
+    } & import("@endo/marshal").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
+        /**
+         * @param {Issuer<'nat'>} issuer
+         * @param {Keyword} kwd
+         */
+        addBrand(issuer: Issuer<"nat">, kwd: Keyword): Promise<void>;
+        /** @returns {Promise<import('./scheduler.js').FullSchedule>} */
+        getSchedule(): Promise<import("./scheduler.js").FullSchedule>;
+    }>>;
+}>;
+/** @typedef {ContractOf<typeof start>} AuctioneerContract */
+/** @typedef {AuctioneerContract['publicFacet']} AuctioneerPublicFacet */
+/** @typedef {AuctioneerContract['creatorFacet']} AuctioneerCreatorFacet */
+export const AuctionPFShape: import("@endo/patterns").Matcher;
+export type AuctioneerContract = ContractOf<typeof start>;
+export type AuctioneerPublicFacet = AuctioneerContract["publicFacet"];
+export type AuctioneerCreatorFacet = AuctioneerContract["creatorFacet"];
+import { auctioneerParamTypes } from './params.js';
+import type { PriceAuthority } from '@agoric/zoe/tools/types.js';
+import type { Baggage } from '@agoric/vat-data';
+//# sourceMappingURL=auctioneer.d.ts.map

package/src/auction/auctioneer.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"auctioneer.d.ts","sourceRoot":"","sources":["auctioneer.js"],"names":[],"mappings":"AAgLO,yEAXI,MAAM,CAAC,KAAK,CAAC,YACb,MAAM,CAAC,KAAK,CAAC,YACb;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;CAAE,EAAE,kBAC/D,OAAO,kBACP,OAAO,qBAEP,MAAM,eAEN,OAAO,SACP,KAAK,kBAgNf;AAiBM;;;;;;;;;;kBAZc,OAAO,cAAc,EAAE,YAAY;;;;;;;;iBAK7C;IACV,sBAA0B,EAAE,UAAU,CAAC;IACvC,WAAe,EAAE,WAAW,CAAC;IAC7B,UAAc,EAAE,UAAU,CAAC;CACxB;;;;;;;;;;QA0OE,4CAA4C;2CAAhC,KAAK,CAAC,KAAK,CAAC;;;;;;;;;;;;;kBApCT,MAAM,CAAC,KAAK,CAAC;;;;QAmG5B;;;WAGG;yBAFQ,MAAM,CAAC,KAAK,CAAC,OACb,OAAO;QAwBlB,gEAAgE;uBAAlD,OAAO,CAAC,OAAO,gBAAgB,EAAE,YAAY,CAAC;;QA1B5D;;;WAGG;yBAFQ,MAAM,CAAC,KAAK,CAAC,OACb,OAAO;QAwBlB,gEAAgE;uBAAlD,OAAO,CAAC,OAAO,gBAAgB,EAAE,YAAY,CAAC;;GAQjE;AAED,6DAA6D;AAC7D,yEAAyE;AACzE,2EAA2E;AAE3E,8DAAkE;iCAJpD,UAAU,CAAC,OAAO,KAAK,CAAC;oCACxB,kBAAkB,CAAC,aAAa,CAAC;qCACjC,kBAAkB,CAAC,cAAc,CAAC;qCA3rBX,aAAa;oCAM2C,4BAA4B;6BAD/F,kBAAkB"}

package/src/auction/auctioneer.js

@@ -1,6 +1,5 @@
-import '@agoric/governance/exported.js';
-import '@agoric/zoe/exported.js';
-import '@agoric/zoe/src/contracts/exported.js';
+/// <reference types="@agoric/governance/exported" />
+/// <reference types="@agoric/zoe/exported" />
 
 import { AmountMath, AmountShape, BrandShape } from '@agoric/ertp';
 import { handleParamGovernance } from '@agoric/governance';
@@ -35,7 +34,10 @@ import { auctioneerParamTypes } from './params.js';
 import { makeScheduler } from './scheduler.js';
 import { AuctionState } from './util.js';
 
-/** @typedef {import('@agoric/vat-data').Baggage} Baggage */
+/**
+ * @import {Baggage} from '@agoric/vat-data';
+ * @import {PriceAuthority, PriceDescription, PriceQuote, PriceQuoteValue, PriceQuery,} from '@agoric/zoe/tools/types.js';
+ */
 
 const { Fail, quote: q } = assert;
 const { add, multiply } = natSafeMath;
@@ -43,11 +45,10 @@ const { add, multiply } = natSafeMath;
 const trace = makeTracer('Auction', true);
 
 /**
- * @file
- * In this file, 'Bid' is the name of the ERTP issuer used to purchase
- * collateral from various issuers. It's too confusing to also use Bid as a verb
- * or a description of amounts offered, so we've tried to find alternatives in
- * all those cases.
+ * @file In this file, 'Bid' is the name of the ERTP issuer used to purchase
+ *   collateral from various issuers. It's too confusing to also use Bid as a
+ *   verb or a description of amounts offered, so we've tried to find
+ *   alternatives in all those cases.
  */
 
 const MINIMUM_BID_GIVE = 1n;
@@ -67,17 +68,19 @@ const makeBPRatio = (rate, bidBrand, collateralBrand = bidBrand) =>
  * The auction sold some amount of collateral, and raised a certain amount of
  * Bid. The excess collateral was returned as `unsoldCollateral`. The Bid amount
  * collected from the auction participants is `proceeds`.
+ *
  * Return a set of transfers for atomicRearrange() that distribute
  * `unsoldCollateral` and `proceeds` proportionally to each seat's deposited
  * amount. Any uneven split should be allocated to the reserve.
  *
  * @param {Amount} unsoldCollateral
  * @param {Amount} proceeds
- * @param {{seat: ZCFSeat, amount: Amount<'nat'>, goal: Amount<'nat'>}[]} deposits
+ * @param {{ seat: ZCFSeat; amount: Amount<'nat'>; goal: Amount<'nat'> }[]} deposits
  * @param {ZCFSeat} collateralSeat
- * @param {ZCFSeat} bidHoldingSeat seat with the Bid allocation to be distributed
+ * @param {ZCFSeat} bidHoldingSeat seat with the Bid allocation to be
+ *   distributed
  * @param {string} collateralKeyword The Reserve will hold multiple collaterals,
- *      so they need distinct keywords
+ *   so they need distinct keywords
  * @param {ZCFSeat} reserveSeat
  * @param {Brand} brand
  */
@@ -97,7 +100,7 @@ const distributeProportionalShares = (
 
   const collShare = makeRatioFromAmounts(unsoldCollateral, totalCollDeposited);
   const currShare = makeRatioFromAmounts(proceeds, totalCollDeposited);
-  /** @type {import('@agoric/zoe/src/contractSupport/atomicTransfer.js').TransferPart[]} */
+  /** @type {TransferPart[]} */
   const transfers = [];
   let proceedsLeft = proceeds;
   let collateralLeft = unsoldCollateral;
@@ -132,6 +135,7 @@ const distributeProportionalShares = (
  * The auction sold some amount of collateral, and raised a certain amount of
  * Bid. The excess collateral was returned as `unsoldCollateral`. The Bid amount
  * collected from the auction participants is `proceeds`.
+ *
  * Return a set of transfers for atomicRearrange() that distribute
  * `unsoldCollateral` and `proceeds` proportionally to each seat's deposited
  * amount. Any uneven split should be allocated to the reserve.
@@ -140,32 +144,33 @@ const distributeProportionalShares = (
  * outside the contract below.
  *
  * Some or all of the depositors may have specified a goal amount.
- *  * A if none did, return collateral and Bid prorated to deposits.
- *  * B if proceeds < proceedsGoal everyone gets prorated amounts of both.
- *  * C if proceeds matches proceedsGoal, everyone gets the Bid they
- *    asked for, plus enough collateral to reach the same proportional payout.
- *    If any depositor's goal amount exceeded their share of the total,
- *    we'll fall back to the first approach.
- *  * D if proceeds > proceedsGoal && all depositors specified a limit,
- *    all depositors get their goal first, then we distribute the
- *    remainder (collateral and Bid) to get the same proportional payout.
- *  * E if proceeds > proceedsGoal && some depositors didn't specify a
- *    limit, depositors who did will get their goal first, then we distribute
- *    the remainder (collateral and Bid) to get the same proportional
- *    payout. If any depositor's goal amount exceeded their share of the
- *    total, we'll fall back as above.
- * Think of it this way: those who specified a limit want as much collateral
- * back as possible, consistent with raising a certain amount of Bid. Those
- * who didn't specify a limit are trying to sell collateral, and would prefer to
- * have as much as possible converted to Bid.
+ *
+ * - A if none did, return collateral and Bid prorated to deposits.
+ * - B if proceeds < proceedsGoal everyone gets prorated amounts of both.
+ * - C if proceeds matches proceedsGoal, everyone gets the Bid they asked for,
+ *   plus enough collateral to reach the same proportional payout. If any
+ *   depositor's goal amount exceeded their share of the total, we'll fall back
+ *   to the first approach.
+ * - D if proceeds > proceedsGoal && all depositors specified a limit, all
+ *   depositors get their goal first, then we distribute the remainder
+ *   (collateral and Bid) to get the same proportional payout.
+ * - E if proceeds > proceedsGoal && some depositors didn't specify a limit,
+ *   depositors who did will get their goal first, then we distribute the
+ *   remainder (collateral and Bid) to get the same proportional payout. If any
+ *   depositor's goal amount exceeded their share of the total, we'll fall back
+ *   as above. Think of it this way: those who specified a limit want as much
+ *   collateral back as possible, consistent with raising a certain amount of
+ *   Bid. Those who didn't specify a limit are trying to sell collateral, and
+ *   would prefer to have as much as possible converted to Bid.
  *
  * @param {Amount<'nat'>} unsoldCollateral
  * @param {Amount<'nat'>} proceeds
- * @param {{seat: ZCFSeat, amount: Amount<'nat'>, goal: Amount<'nat'>}[]} deposits
+ * @param {{ seat: ZCFSeat; amount: Amount<'nat'>; goal: Amount<'nat'> }[]} deposits
  * @param {ZCFSeat} collateralSeat
- * @param {ZCFSeat} bidHoldingSeat seat with the Bid allocation to be distributed
+ * @param {ZCFSeat} bidHoldingSeat seat with the Bid allocation to be
+ *   distributed
  * @param {string} collateralKeyword The Reserve will hold multiple collaterals,
- *      so they need distinct keywords
+ *   so they need distinct keywords
  * @param {ZCFSeat} reserveSeat
  * @param {Brand} brand
  */
@@ -255,7 +260,7 @@ export const distributeProportionalSharesWithLimits = (
   // collateral to reach their share. Then see what's left, and allocate it
   // among the remaining depositors. Escape to distributeProportionalShares if
   // anything doesn't work.
-  /** @type {import('@agoric/zoe/src/contractSupport/atomicTransfer.js').TransferPart[]} */
+  /** @type {TransferPart[]} */
   const transfers = [];
   let proceedsLeft = proceeds;
   let collateralLeft = unsoldCollateral;
@@ -378,15 +383,17 @@ export const distributeProportionalSharesWithLimits = (
 };
 
 /**
- * @param {ZCF<GovernanceTerms<typeof auctioneerParamTypes> & {
- *   timerService: import('@agoric/time/src/types').TimerService,
- *   reservePublicFacet: AssetReservePublicFacet,
- *   priceAuthority: PriceAuthority
- * }>} zcf
+ * @param {ZCF<
+ *   GovernanceTerms<typeof auctioneerParamTypes> & {
+ *     timerService: import('@agoric/time').TimerService;
+ *     reservePublicFacet: AssetReservePublicFacet;
+ *     priceAuthority: PriceAuthority;
+ *   }
+ * >} zcf
  * @param {{
- *   initialPoserInvitation: Invitation,
- *   storageNode: StorageNode,
- *   marshaller: Marshaller
+ *   initialPoserInvitation: Invitation;
+ *   storageNode: StorageNode;
+ *   marshaller: Marshaller;
  * }} privateArgs
  * @param {Baggage} baggage
  */
@@ -399,7 +406,12 @@ export const start = async (zcf, privateArgs, baggage) => {
 
   /** @type {MapStore<Brand, import('./auctionBook.js').AuctionBook>} */
   const books = provideDurableMapStore(baggage, 'auctionBooks');
-  /** @type {MapStore<Brand, Array<{ seat: ZCFSeat, amount: Amount<'nat'>, goal: Amount<'nat'>}>>} */
+  /**
+   * @type {MapStore<
+   *   Brand,
+   *   { seat: ZCFSeat; amount: Amount<'nat'>; goal: Amount<'nat'> }[]
+   * >}
+   */
   const deposits = provideDurableMapStore(baggage, 'deposits');
   /** @type {MapStore<Brand, Keyword>} */
   const brandToKeyword = provideDurableMapStore(baggage, 'brandToKeyword');
@@ -427,9 +439,11 @@ export const start = async (zcf, privateArgs, baggage) => {
   });
   const scheduleKit = makeERecorderKit(
     E(privateArgs.storageNode).makeChildNode('schedule'),
-    /** @type {import('@agoric/zoe/src/contractSupport/recorder.js').TypedMatcher<import('./scheduler.js').ScheduleNotification>} */ (
-      M.any()
-    ),
+    /**
+     * @type {import('@agoric/zoe/src/contractSupport/recorder.js').TypedMatcher<
+     *     import('./scheduler.js').ScheduleNotification
+     *   >}
+     */ (M.any()),
   );
 
   /**
@@ -578,7 +592,7 @@ export const start = async (zcf, privateArgs, baggage) => {
 
   /**
    * @param {ZCFSeat} zcfSeat
-   * @param {{ goal: Amount<'nat'>}} offerArgs
+   * @param {{ goal: Amount<'nat'> }} offerArgs
    */
   const depositOfferHandler = (zcfSeat, offerArgs) => {
     const goalMatcher = M.or(undefined, { goal: bidAmountShape });
@@ -678,7 +692,7 @@ export const start = async (zcf, privateArgs, baggage) => {
   const creatorFacet = makeFarGovernorFacet(
     Far('Auctioneer creatorFacet', {
       /**
-       * @param {Issuer} issuer
+       * @param {Issuer<'nat'>} issuer
        * @param {Keyword} kwd
        */
       async addBrand(issuer, kwd) {

package/src/auction/offerBook.d.ts

@@ -0,0 +1,45 @@
+export function prepareScaledBidBook(baggage: Baggage): (bidScalingPattern: globalThis.Pattern, collateralBrand: globalThis.Brand) => import("@endo/exo").Guarded<{
+    /**
+     * @param {ZCFSeat} seat
+     * @param {Ratio} bidScaling
+     * @param {Amount<'nat'>} wanted
+     * @param {boolean} exitAfterBuy
+     */
+    add(seat: ZCFSeat, bidScaling: Ratio, wanted: Amount<"nat">, exitAfterBuy: boolean): string;
+    /** @param {Ratio} bidScaling */
+    offersAbove(bidScaling: Ratio): [string, BidderRecord][];
+    hasOrders(): boolean;
+    delete(key: any): void;
+    updateReceived(key: any, sold: any): void;
+    exitAllSeats(): void;
+}>;
+export function preparePriceBook(baggage: Baggage): (priceRatioPattern: globalThis.Pattern, collateralBrand: globalThis.Brand) => import("@endo/exo").Guarded<{
+    /**
+     * @param {ZCFSeat} seat
+     * @param {Ratio} price
+     * @param {Amount<'nat'>} wanted
+     * @param {boolean} exitAfterBuy
+     */
+    add(seat: ZCFSeat, price: Ratio, wanted: Amount<"nat">, exitAfterBuy: boolean): string;
+    offersAbove(price: any): [string, BidderRecord][];
+    hasOrders(): boolean;
+    delete(key: any): void;
+    updateReceived(key: any, sold: any): void;
+    exitAllSeats(): void;
+}>;
+export type BidderRecord = {
+    seat: ZCFSeat;
+    wanted: Amount<"nat">;
+    seqNum: NatValue;
+    received: Amount<"nat">;
+} & {
+    exitAfterBuy: boolean;
+} & ({
+    bidScaling: Pattern;
+    price: undefined;
+} | {
+    bidScaling: undefined;
+    price: Ratio;
+});
+import type { Baggage } from '@agoric/vat-data';
+//# sourceMappingURL=offerBook.d.ts.map

package/src/auction/offerBook.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"offerBook.d.ts","sourceRoot":"","sources":["offerBook.js"],"names":[],"mappings":"AAkDO;IAgBD;;;;;OAKG;cAJQ,OAAO,cACP,KAAK,UACL,MAAM,CAAC,KAAK,CAAC,gBACb,OAAO;IAsBlB,gCAAgC;4BAApB,KAAK;;;;;GAqCpB;AAcI;IAgBD;;;;;OAKG;cAJQ,OAAO,SACP,KAAK,UACL,MAAM,CAAC,KAAK,CAAC,gBACb,OAAO;;;;;;GA0DrB;2BAnMU;IACZ,IAAQ,EAAE,OAAO,CAAC;IAClB,MAAU,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAU,EAAE,QAAQ,CAAC;IACrB,QAAY,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;CACzB,GAAG;IAAE,YAAY,EAAE,OAAO,CAAA;CAAE,GAAG,CAC1B;IAAE,UAAU,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GACzC;IAAE,UAAU,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,KAAK,CAAA;CAAE,CAC1C;6BApBqB,kBAAkB"}

package/src/auction/offerBook.js

@@ -12,7 +12,7 @@ import {
   toScaledRateOfferKey,
 } from './sortedOffers.js';
 
-/** @typedef {import('@agoric/vat-data').Baggage} Baggage */
+/** @import {Baggage} from '@agoric/vat-data' */
 
 // multiple offers might be provided at the same time (since the time
 // granularity is limited to blocks), so we increment a sequenceNumber with each
@@ -25,12 +25,14 @@ const nextSequenceNumber = () => {
 
 /**
  * @typedef {{
- * seat: ZCFSeat,
- * wanted: Amount<'nat'>,
- * seqNum: NatValue,
- * received: Amount<'nat'>,
- * } &  {exitAfterBuy: boolean} & ({ bidScaling: Pattern, price: undefined } | { bidScaling: undefined, price: Ratio})
- * } BidderRecord
+ *   seat: ZCFSeat;
+ *   wanted: Amount<'nat'>;
+ *   seqNum: NatValue;
+ *   received: Amount<'nat'>;
+ * } & { exitAfterBuy: boolean } & (
+ *     | { bidScaling: Pattern; price: undefined }
+ *     | { bidScaling: undefined; price: Ratio }
+ *   )} BidderRecord
  */
 
 const ScaledBidBookStateShape = harden({
@@ -41,7 +43,8 @@ const ScaledBidBookStateShape = harden({
 
 /**
  * Prices in this book are expressed as percentage of the full oracle price
- * snapshot taken when the auction started. .4 is 60% off. 1.1 is 10% above par.
+ * snapshot taken when the auction started. .4 is 60% off. 1.1 is 10% above
+ * par.
  *
  * @param {Baggage} baggage
  */
@@ -51,7 +54,6 @@ export const prepareScaledBidBook = baggage =>
     'scaledBidBook',
     undefined,
     /**
-     *
      * @param {Pattern} bidScalingPattern
      * @param {Brand} collateralBrand
      */
@@ -134,8 +136,8 @@ const PriceBookStateShape = harden({
 });
 
 /**
- * Prices in this book are actual prices expressed in terms of bid amount
- * and collateral amount.
+ * Prices in this book are actual prices expressed in terms of bid amount and
+ * collateral amount.
  *
  * @param {Baggage} baggage
  */
@@ -145,7 +147,6 @@ export const preparePriceBook = baggage =>
     'priceBook',
     undefined,
     /**
-     *
      * @param {Pattern} priceRatioPattern
      * @param {Brand} collateralBrand
      */

package/src/auction/params.d.ts

@@ -0,0 +1,149 @@
+/**
+ * @import {AsyncSpecTuple} from '@agoric/governance/src/contractGovernance/typedParamManager.js';
+ * @import {SyncSpecTuple} from '@agoric/governance/src/contractGovernance/typedParamManager.js';
+ * @import {PriceAuthority, PriceDescription, PriceQuote, PriceQuoteValue, PriceQuery,} from '@agoric/zoe/tools/types.js';
+ */
+export const InvitationShape: import("@endo/patterns").Matcher;
+/**
+ * In seconds, how often to start an auction. The auction will start at
+ * AUCTION_START_DELAY seconds after a multiple of START_FREQUENCY, with the
+ * price at STARTING_RATE_BP. Every CLOCK_STEP, the price will be reduced by
+ * DISCOUNT_STEP_BP, as long as the rate is at or above LOWEST_RATE_BP, or until
+ * START_FREQUENCY has elapsed.
+ */
+export const START_FREQUENCY: "StartFrequency";
+/** in seconds, how often to reduce the price */
+export const CLOCK_STEP: "ClockStep";
+/** discount or markup for starting price in basis points. 9999 = 1bp discount */
+export const STARTING_RATE_BP: "StartingRate";
+/** A limit below which the price will not be discounted. */
+export const LOWEST_RATE_BP: "LowestRate";
+/** amount to reduce prices each time step in bp, as % of the start price */
+export const DISCOUNT_STEP_BP: "DiscountStep";
+/**
+ * VaultManagers liquidate vaults at a frequency configured by START_FREQUENCY.
+ * Auctions start this long after the hour to give vaults time to finish.
+ */
+export const AUCTION_START_DELAY: "AuctionStartDelay";
+export const PRICE_LOCK_PERIOD: "PriceLockPeriod";
+export const auctioneerParamPattern: import("@endo/patterns").Matcher;
+export namespace auctioneerParamTypes {
+    let Electorate: "invitation";
+    let StartFrequency: "relativeTime";
+    let ClockStep: "relativeTime";
+    let StartingRate: "nat";
+    let LowestRate: "nat";
+    let DiscountStep: "nat";
+    let AuctionStartDelay: "relativeTime";
+    let PriceLockPeriod: "relativeTime";
+}
+export function makeAuctioneerParams({ ElectorateInvitationAmount, StartFrequency, ClockStep, LowestRate, StartingRate, DiscountStep, AuctionStartDelay, PriceLockPeriod, TimerBrand, }: AuctionParams): {
+    Electorate: {
+        type: "invitation";
+        value: import("@agoric/ertp/src/types.js").SetAmount<import("@endo/patterns").Key>;
+    };
+    StartFrequency: {
+        type: "relativeTime";
+        value: import("@agoric/time").RelativeTimeRecord;
+    };
+    ClockStep: {
+        type: "relativeTime";
+        value: import("@agoric/time").RelativeTimeRecord;
+    };
+    AuctionStartDelay: {
+        type: "relativeTime";
+        value: import("@agoric/time").RelativeTimeRecord;
+    };
+    PriceLockPeriod: {
+        type: "relativeTime";
+        value: import("@agoric/time").RelativeTimeRecord;
+    };
+    StartingRate: {
+        type: "nat";
+        value: bigint;
+    };
+    LowestRate: {
+        type: "nat";
+        value: bigint;
+    };
+    DiscountStep: {
+        type: "nat";
+        value: bigint;
+    };
+};
+export function makeAuctioneerParamManager(publisherKit: import("@agoric/notifier").StoredPublisherKit<GovernanceSubscriptionState>, zcf: ZCF, initial: AuctionParams): import("@agoric/governance/src/contractGovernance/typedParamManager.js").TypedParamManager<{
+    Electorate: "invitation";
+    StartFrequency: "relativeTime";
+    ClockStep: "relativeTime";
+    StartingRate: "nat";
+    LowestRate: "nat";
+    DiscountStep: "nat";
+    AuctionStartDelay: "relativeTime";
+    PriceLockPeriod: "relativeTime";
+}>;
+export function makeGovernedTerms({ storageNode: _storageNode, marshaller: _marshaller }: {
+    storageNode: ERef<StorageNode>;
+    marshaller: ERef<Marshaller>;
+}, timer: ERef<import("@agoric/time").TimerService>, priceAuthority: globalThis.ERef<PriceAuthority>, reservePublicFacet: globalThis.ERef<globalThis.GovernedPublicFacet<import("@endo/exo").Guarded<{
+    makeAddCollateralInvitation(): Promise<Invitation<string, never>>;
+    getPublicTopics(): {
+        metrics: import("@agoric/zoe/src/contractSupport/topics.js").PublicTopic<import("../reserve/assetReserveKit.js").MetricsNotification>;
+    };
+}>>>, params: AuctionParams): {
+    priceAuthority: globalThis.ERef<PriceAuthority>;
+    reservePublicFacet: globalThis.ERef<globalThis.GovernedPublicFacet<import("@endo/exo").Guarded<{
+        makeAddCollateralInvitation(): Promise<Invitation<string, never>>;
+        getPublicTopics(): {
+            metrics: import("@agoric/zoe/src/contractSupport/topics.js").PublicTopic<import("../reserve/assetReserveKit.js").MetricsNotification>;
+        };
+    }>>>;
+    timerService: globalThis.ERef<import("@agoric/time").TimerService>;
+    governedParams: {
+        Electorate: {
+            type: "invitation";
+            value: import("@agoric/ertp/src/types.js").SetAmount<import("@endo/patterns").Key>;
+        };
+        StartFrequency: {
+            type: "relativeTime";
+            value: import("@agoric/time").RelativeTimeRecord;
+        };
+        ClockStep: {
+            type: "relativeTime";
+            value: import("@agoric/time").RelativeTimeRecord;
+        };
+        AuctionStartDelay: {
+            type: "relativeTime";
+            value: import("@agoric/time").RelativeTimeRecord;
+        };
+        PriceLockPeriod: {
+            type: "relativeTime";
+            value: import("@agoric/time").RelativeTimeRecord;
+        };
+        StartingRate: {
+            type: "nat";
+            value: bigint;
+        };
+        LowestRate: {
+            type: "nat";
+            value: bigint;
+        };
+        DiscountStep: {
+            type: "nat";
+            value: bigint;
+        };
+    };
+};
+export type AuctionParams = {
+    ElectorateInvitationAmount: Amount<"set">;
+    StartFrequency: RelativeTime;
+    ClockStep: RelativeTime;
+    StartingRate: bigint;
+    LowestRate: bigint;
+    DiscountStep: bigint;
+    AuctionStartDelay: RelativeTime;
+    PriceLockPeriod: RelativeTime;
+    TimerBrand: import("@agoric/time").TimerBrand;
+};
+export type AuctionParamManager = ReturnType<typeof makeAuctioneerParamManager>;
+import type { PriceAuthority } from '@agoric/zoe/tools/types.js';
+//# sourceMappingURL=params.d.ts.map

package/src/auction/params.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"params.d.ts","sourceRoot":"","sources":["params.js"],"names":[],"mappings":"AAQA;;;;GAIG;AAGH,+DAAyD;AAEzD;;;;;;GAMG;AACH,+CAAgD;AAChD,gDAAgD;AAChD,qCAAsC;AACtC,iFAAiF;AACjF,8CAA+C;AAC/C,4DAA4D;AAC5D,0CAA2C;AAC3C,4EAA4E;AAC5E,8CAA+C;AAC/C;;;GAGG;AACH,sDAAuD;AAIvD,kDAAmD;AAEnD,sEASG;;;;;;;;;;;AA2BI,yLADK,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAqCxB;AAQM,yDAJI,OAAO,kBAAkB,EAAE,kBAAkB,CAAC,2BAA2B,CAAC,OAC1E,GAAG,WACH,aAAa;;;;;;;;;GA0BvB;AAUM,0FANI;IAAE,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,CAAC;IAAC,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,CAAA;CAAE,SAChE,IAAI,CAAC,OAAO,cAAc,EAAE,YAAY,CAAC;;;;;cAGzC,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgBvB;;gCAxGa,MAAM,CAAC,KAAK,CAAC;;;kBAGb,MAAM;gBACN,MAAM;kBACN,MAAM;;;gBAGN,OAAO,cAAc,EAAE,UAAU;;kCAmGjC,UAAU,CAAC,OAAO,0BAA0B,CAAC;oCAnKkC,4BAA4B"}

package/src/auction/params.js

@@ -6,14 +6,17 @@ import {
 import { TimeMath, RelativeTimeRecordShape } from '@agoric/time';
 import { M } from '@agoric/store';
 
-/** @typedef {import('@agoric/governance/src/contractGovernance/typedParamManager.js').AsyncSpecTuple} AsyncSpecTuple */
-/** @typedef {import('@agoric/governance/src/contractGovernance/typedParamManager.js').SyncSpecTuple} SyncSpecTuple */
+/**
+ * @import {AsyncSpecTuple} from '@agoric/governance/src/contractGovernance/typedParamManager.js';
+ * @import {SyncSpecTuple} from '@agoric/governance/src/contractGovernance/typedParamManager.js';
+ * @import {PriceAuthority, PriceDescription, PriceQuote, PriceQuoteValue, PriceQuery,} from '@agoric/zoe/tools/types.js';
+ */
 
 // TODO duplicated with zoe/src/TypeGuards.js
 export const InvitationShape = M.remotable('Invitation');
 
 /**
- * In seconds, how often to start an auction.  The auction will start at
+ * In seconds, how often to start an auction. The auction will start at
  * AUCTION_START_DELAY seconds after a multiple of START_FREQUENCY, with the
  * price at STARTING_RATE_BP. Every CLOCK_STEP, the price will be reduced by
  * DISCOUNT_STEP_BP, as long as the rate is at or above LOWEST_RATE_BP, or until
@@ -70,12 +73,10 @@ export const auctioneerParamTypes = harden({
  * @property {bigint} DiscountStep
  * @property {RelativeTime} AuctionStartDelay
  * @property {RelativeTime} PriceLockPeriod
- * @property {import('@agoric/time/src/types').TimerBrand} TimerBrand
+ * @property {import('@agoric/time').TimerBrand} TimerBrand
  */
 
-/**
- * @param {AuctionParams} initial
- */
+/** @param {AuctionParams} initial */
 export const makeAuctioneerParams = ({
   ElectorateInvitationAmount,
   StartFrequency,
@@ -148,8 +149,8 @@ export const makeAuctioneerParamManager = (publisherKit, zcf, initial) => {
 harden(makeAuctioneerParamManager);
 
 /**
- * @param {{storageNode: ERef<StorageNode>, marshaller: ERef<Marshaller>}} caps
- * @param {ERef<Timer>} timer
+ * @param {{ storageNode: ERef<StorageNode>; marshaller: ERef<Marshaller> }} caps
+ * @param {ERef<import('@agoric/time').TimerService>} timer
  * @param {ERef<PriceAuthority>} priceAuthority
  * @param {ERef<AssetReservePublicFacet>} reservePublicFacet
  * @param {AuctionParams} params

package/src/auction/scheduleMath.d.ts

@@ -0,0 +1,5 @@
+export function computeRoundTiming(params: Awaited<import("./params.js").AuctionParamManager>, baseTime: TimestampRecord): import("./scheduler.js").Schedule;
+export function nextDescendingStepTime(liveSchedule: import("./scheduler.js").Schedule | null, nextSchedule: import("./scheduler.js").Schedule | null, now: Timestamp): Timestamp | null;
+export function timeVsSchedule(time: Timestamp, schedule: import("./scheduler.js").Schedule): "before" | "during" | "endExactly" | "after";
+import type { TimestampRecord } from '@agoric/time';
+//# sourceMappingURL=scheduleMath.d.ts.map

package/src/auction/scheduleMath.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"scheduleMath.d.ts","sourceRoot":"","sources":["scheduleMath.js"],"names":[],"mappings":"AA0CO,2CAJI,OAAO,CAAC,OAAO,aAAa,EAAE,mBAAmB,CAAC,8BAEhD,OAAO,gBAAgB,EAAE,QAAQ,CAqE7C;AAcM,qDALI,OAAO,gBAAgB,EAAE,QAAQ,GAAG,IAAI,gBACxC,OAAO,gBAAgB,EAAE,QAAQ,GAAG,IAAI,oCAyBlD;AAQM,0DAHI,OAAO,gBAAgB,EAAE,QAAQ,GAC/B,QAAQ,GAAG,QAAQ,GAAG,YAAY,GAAG,OAAO,CAiBxD;qCAjKkC,cAAc"}