feat(auction): add an auctioneer to manage vault liquidation

packages/SwingSet/tools/manual-timer.js

@@ -58,7 +58,7 @@ const setup = () => {
  * kernel. You can make time pass by calling `advanceTo(when)`.
  *
  * @param {{ startTime?: Timestamp }} [options]
- * @returns {TimerService & { advanceTo: (when: Timestamp) => void; }}
+ * @returns {TimerService & { advanceTo: (when: Timestamp) => bigint; }}
  */
 export const buildManualTimer = (options = {}) => {
   const { startTime = 0n, ...other } = options;
@@ -79,6 +79,7 @@ export const buildManualTimer = (options = {}) => {
     assert(when > state.now, `advanceTo(${when}) < current ${state.now}`);
     state.now = when;
     wake();
+    return when;
   };
 
   return Far('ManualTimer', { ...bindAllMethods(timerService), advanceTo });

packages/governance/src/constants.js

@@ -15,6 +15,8 @@ export const ParamTypes = /** @type {const} */ ({
   RATIO: 'ratio',
   STRING: 'string',
   PASSABLE_RECORD: 'record',
+  TIMESTAMP: 'timestamp',
+  RELATIVE_TIME: 'relativeTime',
   UNKNOWN: 'unknown',
 });
 

packages/governance/src/contractGovernance/assertions.js

@@ -1,5 +1,7 @@
 import { isRemotable } from '@endo/marshal';
 import { assertIsRatio } from '@agoric/zoe/src/contractSupport/ratio.js';
+import { mustMatch } from '@agoric/store';
+import { RelativeTimeRecordShape, TimestampRecordShape } from '@agoric/time';
 
 const { Fail } = assert;
 
@@ -41,9 +43,21 @@ const makeAssertBrandedRatio = (name, modelRatio) => {
 };
 harden(makeAssertBrandedRatio);
 
+const assertRelativeTime = value => {
+  mustMatch(value, RelativeTimeRecordShape);
+};
+harden(assertRelativeTime);
+
+const assertTimestamp = value => {
+  mustMatch(value, TimestampRecordShape, 'timestamp');
+};
+harden(assertTimestamp);
+
 export {
   makeLooksLikeBrand,
   makeAssertInstallation,
   makeAssertInstance,
   makeAssertBrandedRatio,
+  assertRelativeTime,
+  assertTimestamp,
 };

packages/governance/src/contractGovernance/paramManager.js

@@ -8,6 +8,8 @@ import { assertAllDefined } from '@agoric/internal';
 import { ParamTypes } from '../constants.js';
 
 import {
+  assertTimestamp,
+  assertRelativeTime,
   makeAssertBrandedRatio,
   makeAssertInstallation,
   makeAssertInstance,
@@ -44,6 +46,8 @@ const assertElectorateMatches = (paramManager, governedParams) => {
  * @property {(name: string, value: Ratio) => ParamManagerBuilder} addRatio
  * @property {(name: string, value: import('@endo/marshal').CopyRecord<unknown>) => ParamManagerBuilder} addRecord
  * @property {(name: string, value: string) => ParamManagerBuilder} addString
+ * @property {(name: string, value: import('@agoric/time/src/types').Timestamp) => ParamManagerBuilder} addTimestamp
+ * @property {(name: string, value: import('@agoric/time/src/types').RelativeTime) => ParamManagerBuilder} addRelativeTime
  * @property {(name: string, value: any) => ParamManagerBuilder} addUnknown
  * @property {() => AnyParamManager} build
  */
@@ -184,6 +188,18 @@ const makeParamManagerBuilder = (publisherKit, zoe) => {
     return builder;
   };
 
+  /** @type {(name: string, value: import('@agoric/time/src/types').Timestamp, builder: ParamManagerBuilder) => ParamManagerBuilder} */
+  const addTimestamp = (name, value, builder) => {
+    buildCopyParam(name, value, assertTimestamp, ParamTypes.TIMESTAMP);
+    return builder;
+  };
+
+  /** @type {(name: string, value: import('@agoric/time/src/types').RelativeTime, builder: ParamManagerBuilder) => ParamManagerBuilder} */
+  const addRelativeTime = (name, value, builder) => {
+    buildCopyParam(name, value, assertRelativeTime, ParamTypes.RELATIVE_TIME);
+    return builder;
+  };
+
   /** @type {(name: string, value: any, builder: ParamManagerBuilder) => ParamManagerBuilder} */
   const addUnknown = (name, value, builder) => {
     const assertUnknown = _v => true;
@@ -356,6 +372,8 @@ const makeParamManagerBuilder = (publisherKit, zoe) => {
       getRatio: name => getTypedParam(ParamTypes.RATIO, name),
       getRecord: name => getTypedParam(ParamTypes.PASSABLE_RECORD, name),
       getString: name => getTypedParam(ParamTypes.STRING, name),
+      getTimestamp: name => getTypedParam(ParamTypes.TIMESTAMP, name),
+      getRelativeTime: name => getTypedParam(ParamTypes.RELATIVE_TIME, name),
       getUnknown: name => getTypedParam(ParamTypes.UNKNOWN, name),
       getVisibleValue,
       getInternalParamValue,
@@ -379,6 +397,8 @@ const makeParamManagerBuilder = (publisherKit, zoe) => {
     addRatio: (n, v) => addRatio(n, v, builder),
     addRecord: (n, v) => addRecord(n, v, builder),
     addString: (n, v) => addString(n, v, builder),
+    addRelativeTime: (n, v) => addRelativeTime(n, v, builder),
+    addTimestamp: (n, v) => addTimestamp(n, v, builder),
     build,
   };
   return builder;

packages/governance/src/contractGovernance/typedParamManager.js

@@ -66,6 +66,8 @@ const isAsync = {
  * | ST<'nat'>
  * | ST<'ratio'>
  * | ST<'string'>
+ * | ST<'timestamp'>
+ * | ST<'relativeTime'>
  * | ST<'unknown'>} SyncSpecTuple
  *
  * @typedef {['invitation', Invitation]} AsyncSpecTuple

packages/governance/src/contractHelper.js

@@ -4,6 +4,7 @@ import { getMethodNames, objectMap } from '@agoric/internal';
 import { ignoreContext } from '@agoric/vat-data';
 import { keyEQ, M } from '@agoric/store';
 import { AmountShape, BrandShape } from '@agoric/ertp';
+import { RelativeTimeRecordShape, TimestampRecordShape } from '@agoric/time';
 import { assertElectorateMatches } from './contractGovernance/paramManager.js';
 import { makeParamManagerFromTerms } from './contractGovernance/typedParamManager.js';
 
@@ -23,6 +24,8 @@ const publicMixinAPI = harden({
   getNat: M.call().returns(M.bigint()),
   getRatio: M.call().returns(M.record()),
   getString: M.call().returns(M.string()),
+  getTimestamp: M.call().returns(TimestampRecordShape),
+  getRelativeTime: M.call().returns(RelativeTimeRecordShape),
   getUnknown: M.call().returns(M.any()),
 });
 
@@ -51,6 +54,8 @@ const facetHelpers = (zcf, paramManager) => {
     getNat: paramManager.getNat,
     getRatio: paramManager.getRatio,
     getString: paramManager.getString,
+    getTimestamp: paramManager.getTimestamp,
+    getRelativeTime: paramManager.getRelativeTime,
     getUnknown: paramManager.getUnknown,
   };
 

packages/governance/src/types-ambient.js

@@ -31,7 +31,8 @@
 
 /**
  * @typedef { Amount | Brand | Installation | Instance | bigint |
- *   Ratio | string | unknown } ParamValue
+ *   Ratio | string | import('@agoric/time/src/types').TimestampRecord |
+ *   import('@agoric/time/src/types').RelativeTimeRecord | unknown } ParamValue
  */
 
 // XXX better to use the manifest constant ParamTypes
@@ -47,6 +48,8 @@
  * T extends 'nat' ? bigint :
  * T extends 'ratio' ? Ratio :
  * T extends 'string' ? string :
+ * T extends 'timestamp' ? import('@agoric/time/src/types').TimestampRecord :
+ * T extends 'relativeTime' ? import('@agoric/time/src/types').RelativeTimeRecord :
  * T extends 'unknown' ? unknown :
  * never
  * } ParamValueForType
@@ -427,6 +430,8 @@
  * @property {(name: string) => bigint} getNat
  * @property {(name: string) => Ratio} getRatio
  * @property {(name: string) => string} getString
+ * @property {(name: string) => import('@agoric/time/src/types').TimestampRecord} getTimestamp
+ * @property {(name: string) => import('@agoric/time/src/types').RelativeTimeRecord} getRelativeTime
  * @property {(name: string) => any} getUnknown
  * @property {(name: string, proposedValue: ParamValue) => ParamValue} getVisibleValue - for
  *   most types, the visible value is the same as proposedValue. For Invitations

packages/inter-protocol/scripts/add-collateral-core.js

@@ -72,6 +72,18 @@ export const psmGovernanceBuilder = async ({
           psm: publishRef(
             install('../src/psm/psm.js', '../bundles/bundle-psm.js'),
           ),
+          vaults: publishRef(
+            install(
+              '../src/vaultFactory/vaultFactory.js',
+              '../bundles/bundle-vaultFactory.js',
+            ),
+          ),
+          auction: publishRef(
+            install(
+              '../src/auction/auctioneer.js',
+              '../bundles/bundle-auctioneer.js',
+            ),
+          ),
           econCommitteeCharter: publishRef(
             install(
               '../src/econCommitteeCharter.js',

packages/inter-protocol/scripts/deploy-contracts.js

@@ -13,6 +13,7 @@ const contractRefs = [
   '../bundles/bundle-vaultFactory.js',
   '../bundles/bundle-reserve.js',
   '../bundles/bundle-psm.js',
+  '../bundles/bundle-auctioneer.js',
   '../../vats/bundles/bundle-mintHolder.js',
 ];
 const contractRoots = contractRefs.map(ref =>

packages/inter-protocol/scripts/init-core.js

@@ -36,6 +36,10 @@ const installKeyGroups = {
     ],
   },
   main: {
+    auction: [
+      '../src/auction/auctioneer.js',
+      '../bundles/bundle-auctioneer.js',
+    ],
     vaultFactory: [
       '../src/vaultFactory/vaultFactory.js',
       '../bundles/bundle-vaultFactory.js',