@agoric/governance 0.10.4-upgrade-14-dev-c8f9e7b.0 → 0.10.4-upgrade-16-fi-dev-8879538.0

package/src/contractHelper.d.ts

@@ -1,5 +1,6 @@
 export const GOVERNANCE_STORAGE_KEY: "governance";
-export function validateElectorate(zcf: ZCF<GovernanceTerms<{}> & {}>, paramManager: import('./contractGovernance/typedParamManager').TypedParamManager<unknown>): Promise<void>;
+export function validateElectorate(zcf: ZCF<GovernanceTerms<{}>>, paramManager: import("./contractGovernance/typedParamManager.js").TypedParamManager<any>): Promise<true>;
+import type { GovernanceTerms } from './types.js';
 /**
  * Helper for the 90% of contracts that will have only a single set of
  * parameters. Using this for managed parameters, a contract only has to
@@ -12,7 +13,7 @@ export function validateElectorate(zcf: ZCF<GovernanceTerms<{}> & {}>, paramMana
  * parameter values, and the governance guarantees only hold if they're not used
  * directly by the governed contract.
  *
- * @template {import('./contractGovernance/typedParamManager').ParamTypesMap} M
+ * @template {import('./contractGovernance/typedParamManager.js').ParamTypesMap} M
  *   Map of types of custom governed terms
  * @param {ZCF<GovernanceTerms<M>>} zcf
  * @param {Invitation} initialPoserInvitation
@@ -20,92 +21,77 @@ export function validateElectorate(zcf: ZCF<GovernanceTerms<{}> & {}>, paramMana
  * @param {ERef<StorageNode>} [storageNode]
  * @param {ERef<Marshaller>} [marshaller]
  */
-export function handleParamGovernance<M extends import("./contractGovernance/typedParamManager.js").ParamTypesMap>(zcf: ZCF<GovernanceTerms<M>>, initialPoserInvitation: Invitation, paramTypesMap: M, storageNode?: ERef<StorageNode> | undefined, marshaller?: ERef<Marshaller<unknown>> | undefined): {
+export function handleParamGovernance<M extends import("./contractGovernance/typedParamManager.js").ParamTypesMap>(zcf: ZCF<GovernanceTerms<M>>, initialPoserInvitation: Invitation, paramTypesMap: M, storageNode?: globalThis.ERef<globalThis.StorageNode> | undefined, marshaller?: globalThis.ERef<{
+    toCapData: import("@endo/marshal").ToCapData<unknown>;
+    fromCapData: import("@endo/marshal").FromCapData<unknown>;
+    serialize: import("@endo/marshal").ToCapData<unknown>;
+    unserialize: import("@endo/marshal").FromCapData<unknown>;
+}> | undefined): {
     publicMixin: {
-        getAmount: (name: string) => Amount<AssetKind>;
-        getBrand: (name: string) => Brand<AssetKind>;
+        getAmount: (name: string) => globalThis.Amount;
+        getBrand: (name: string) => globalThis.Brand;
         getInstance: (name: string) => Instance;
         getInstallation: (name: string) => Installation<any>;
-        getInvitationAmount: (name: string) => Amount<"set">;
+        getInvitationAmount: (name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>;
         getNat: (name: string) => bigint;
         getRatio: (name: string) => Ratio;
         getString: (name: string) => string;
-        getTimestamp: (name: string) => import("@agoric/time/src/types.js").TimestampRecord;
-        getRelativeTime: (name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord;
+        getTimestamp: (name: string) => import("@agoric/time").TimestampRecord;
+        getRelativeTime: (name: string) => import("@agoric/time").RelativeTimeRecord;
         getUnknown: (name: string) => any;
-        getSubscription: () => StoredSubscription<GovernanceSubscriptionState>;
-        getGovernedParams: () => ERef<ParamStateRecord>;
+        getSubscription: () => globalThis.StoredSubscription<GovernanceSubscriptionState>;
+        getGovernedParams: () => globalThis.ERef<import("./types.js").ParamStateRecord>;
     };
     augmentPublicFacet: <PF extends {}>(originalPublicFacet: PF) => GovernedPublicFacet<PF>;
     augmentVirtualPublicFacet: <OPF extends {}>(originalPublicFacet: OPF) => OPF & {
-        getAmount: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getBrand: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getInstance: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getInstallation: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getInvitationAmount: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getNat: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getRatio: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getString: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getTimestamp: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getRelativeTime: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getUnknown: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getSubscription: () => StoredSubscription<GovernanceSubscriptionState>;
-        getGovernedParams: () => ERef<ParamStateRecord>;
-    } & import("@endo/eventual-send").RemotableBrand<{}, OPF & {
-        getAmount: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getBrand: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getInstance: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getInstallation: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getInvitationAmount: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getNat: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getRatio: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getString: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getTimestamp: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getRelativeTime: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getUnknown: import("@agoric/vat-data/src/types.js").PlusContext<never, ((name: string) => Amount<AssetKind>) | ((name: string) => Brand<AssetKind>) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => Amount<"set">) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time/src/types.js").TimestampRecord) | ((name: string) => import("@agoric/time/src/types.js").RelativeTimeRecord) | ((name: string) => any)>;
-        getSubscription: () => StoredSubscription<GovernanceSubscriptionState>;
-        getGovernedParams: () => ERef<ParamStateRecord>;
+        getBrand: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getInstallation: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getInstance: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getAmount: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getInvitationAmount: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getNat: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getRatio: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getString: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getTimestamp: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getRelativeTime: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getUnknown: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getSubscription: () => globalThis.StoredSubscription<GovernanceSubscriptionState>;
+        getGovernedParams: () => globalThis.ERef<import("./types.js").ParamStateRecord>;
+    } & import("@endo/marshal").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, OPF & {
+        getBrand: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getInstallation: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getInstance: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getAmount: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getInvitationAmount: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getNat: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getRatio: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getString: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getTimestamp: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getRelativeTime: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getUnknown: import("@agoric/swingset-liveslots").PlusContext<never, ((name: string) => import("@agoric/ertp/src/types.js").SetAmount<InvitationDetails>) | ((name: string) => globalThis.Amount) | ((name: string) => globalThis.Brand) | ((name: string) => Instance) | ((name: string) => Installation<any>) | ((name: string) => bigint) | ((name: string) => Ratio) | ((name: string) => string) | ((name: string) => import("@agoric/time").TimestampRecord) | ((name: string) => import("@agoric/time").RelativeTimeRecord) | ((name: string) => any)>;
+        getSubscription: () => globalThis.StoredSubscription<GovernanceSubscriptionState>;
+        getGovernedParams: () => globalThis.ERef<import("./types.js").ParamStateRecord>;
     }>;
     makeGovernorFacet: <CF extends {}>(originalCreatorFacet: CF, governedApis?: {} | undefined) => GovernedCreatorFacet<CF>;
     makeFarGovernorFacet: <CF_1 extends {}>(limitedCreatorFacet: CF_1, governedApis?: Record<string, (...any: any[]) => unknown> | undefined) => GovernedCreatorFacet<CF_1>;
-    makeVirtualGovernorFacet: (limitedCreatorFacet: {
+    makeVirtualGovernorFacet: <LCF extends {
         [methodName: string]: (context?: unknown, ...rest: unknown[]) => unknown;
-    }) => {
-        governorFacet: import("@agoric/vat-data/src/types.js").FunctionsPlusContext<unknown, GovernedCreatorFacet<{
-            [methodName: string]: (context?: unknown, ...rest: unknown[]) => unknown;
-        }>>;
-        limitedCreatorFacet: {
-            [methodName: string]: (context?: unknown, ...rest: unknown[]) => unknown;
-        };
+    }>(limitedCreatorFacet: LCF) => {
+        governorFacet: import("@agoric/swingset-liveslots").FunctionsPlusContext<unknown, GovernedCreatorFacet<LCF>>;
+        limitedCreatorFacet: LCF;
     };
-    makeDurableGovernorFacet: <CF_2>(baggage: MapStore<string, unknown>, limitedCreatorFacet: CF_2, governedApis?: Record<string, (...any: any[]) => unknown> | undefined) => {
-        governorFacet: {
+    makeDurableGovernorFacet: <CF_2>(baggage: import("@agoric/vat-data").Baggage, limitedCreatorFacet: CF_2, governedApis?: Record<string, (...any: any[]) => unknown> | undefined) => {
+        governorFacet: import("@endo/exo").Guarded<{
             getParamMgrRetriever: () => {
                 get: () => import("./contractGovernance/typedParamManager.js").TypedParamManager<M & {
                     Electorate: "invitation";
                 }>;
-            } & import("@endo/eventual-send").RemotableBrand<{}, {
+            } & import("@endo/marshal").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
                 get: () => import("./contractGovernance/typedParamManager.js").TypedParamManager<M & {
                     Electorate: "invitation";
                 }>;
             }>;
-            getInvitation: (name: any) => Promise<Invitation<unknown, never>>;
-            getLimitedCreatorFacet: () => CF_2;
-            /** @type {() => GovernedApis} */
-            getGovernedApis: () => GovernedApis;
-            getGovernedApiNames: () => string[];
-            setOfferFilter: (strings: any) => Promise<void>;
-        } & import("@endo/eventual-send").RemotableBrand<{}, {
-            getParamMgrRetriever: () => {
-                get: () => import("./contractGovernance/typedParamManager.js").TypedParamManager<M & {
-                    Electorate: "invitation";
-                }>;
-            } & import("@endo/eventual-send").RemotableBrand<{}, {
-                get: () => import("./contractGovernance/typedParamManager.js").TypedParamManager<M & {
-                    Electorate: "invitation";
-                }>;
-            }>;
-            getInvitation: (name: any) => Promise<Invitation<unknown, never>>;
+            getInvitation: (name: any) => Promise<Invitation<unknown, undefined>>;
             getLimitedCreatorFacet: () => CF_2;
             /** @type {() => GovernedApis} */
             getGovernedApis: () => GovernedApis;
@@ -119,18 +105,22 @@ export function handleParamGovernance<M extends import("./contractGovernance/typ
     }>;
 };
 export namespace publicMixinAPI {
-    const getSubscription: any;
-    const getGovernedParams: any;
-    const getAmount: any;
-    const getBrand: any;
-    const getInstance: any;
-    const getInstallation: any;
-    const getInvitationAmount: any;
-    const getNat: any;
-    const getRatio: any;
-    const getString: any;
-    const getTimestamp: any;
-    const getRelativeTime: any;
-    const getUnknown: any;
+    let getSubscription: import("@endo/patterns").MethodGuard;
+    let getGovernedParams: import("@endo/patterns").MethodGuard;
+    let getAmount: import("@endo/patterns").MethodGuard;
+    let getBrand: import("@endo/patterns").MethodGuard;
+    let getInstance: import("@endo/patterns").MethodGuard;
+    let getInstallation: import("@endo/patterns").MethodGuard;
+    let getInvitationAmount: import("@endo/patterns").MethodGuard;
+    let getNat: import("@endo/patterns").MethodGuard;
+    let getRatio: import("@endo/patterns").MethodGuard;
+    let getString: import("@endo/patterns").MethodGuard;
+    let getTimestamp: import("@endo/patterns").MethodGuard;
+    let getRelativeTime: import("@endo/patterns").MethodGuard;
+    let getUnknown: import("@endo/patterns").MethodGuard;
 }
+import type { GovernanceSubscriptionState } from './types.js';
+import type { GovernedPublicFacet } from './types.js';
+import type { GovernedCreatorFacet } from './types.js';
+import type { GovernedApis } from './types.js';
 //# sourceMappingURL=contractHelper.d.ts.map

package/src/contractHelper.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contractHelper.d.ts","sourceRoot":"","sources":["contractHelper.js"],"names":[],"mappings":"AAcA,kDAAmD;AAsB5C,wCAHI,IAAI,gBAAgB,EAAE,CAAC,GAAG,EAAE,CAAC,gBAC7B,OAAO,wCAAwC,EAAE,iBAAiB,CAAC,OAAO,CAAC,iBAerF;AAyLD;;;;;;;;;;;;;;;;;;;GAmBG;AACH,yKALW,UAAU;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wHAtImB,OAAO;;yCAuCC,OAAO,WAAW,OAAO,EAAE,KAAK,OAAO;;;6CAAvC,OAAO,WAAW,OAAO,EAAE,KAAK,OAAO;;;6CAAvC,OAAO,WAAW,OAAO,EAAE,KAAK,OAAO;;;qJAgC/C,OAAO;;;;;;;;;;;;;YAkBvC,iCAAiC;mCAAhB,YAAY;;;;;;;;;;;;;;;YAA7B,iCAAiC;mCAAhB,YAAY;;;;;;;;;EAuEpC"}
+{"version":3,"file":"contractHelper.d.ts","sourceRoot":"","sources":["contractHelper.js"],"names":[],"mappings":"AAkBA,kDAAmD;AAwB5C,gFAFI,OAAO,2CAA2C,EAAE,iBAAiB,CAAC,GAAG,CAAC,iBAQpF;qCAnCqO,YAAY;AA6NlP;;;;;;;;;;;;;;;;;;;GAmBG;AACH,sCAJW,CAAC,kIADD,UAAU,iBACV,CAAC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wHAxI4B,OAAO;;yCAuCI,OAAO,WAAW,OAAO,EAAE,KAAK,OAAO;;;;;8CA+B7E,OAAO,kBAAkB,EAAE,OAAO,8EAEP,OAAO;;;;;;;;;;;;;YAkBvC,iCAAiC;;;;;;;;;;EAuExC;;;;;;;;;;;;;;;;iDAtQqO,YAAY;yCAAZ,YAAY;0CAAZ,YAAY;kCAAZ,YAAY"}

package/src/contractHelper.js

@@ -2,15 +2,19 @@ import { Far } from '@endo/marshal';
 import { makeStoredPublisherKit } from '@agoric/notifier';
 import { getMethodNames, objectMap } from '@agoric/internal';
 import { ignoreContext, prepareExo } from '@agoric/vat-data';
-import { keyEQ, M } from '@agoric/store';
+import { M } from '@agoric/store';
 import { AmountShape, BrandShape } from '@agoric/ertp';
 import { RelativeTimeRecordShape, TimestampRecordShape } from '@agoric/time';
 import { E } from '@endo/eventual-send';
-import { assertElectorateMatches } from './contractGovernance/paramManager.js';
 import { makeParamManagerFromTerms } from './contractGovernance/typedParamManager.js';
 import { GovernorFacetShape } from './typeGuards.js';
+import { CONTRACT_ELECTORATE } from './contractGovernance/governParam.js';
 
-const { Fail, quote: q } = assert;
+/**
+ * @import {VoteCounterCreatorFacet, VoteCounterPublicFacet, QuestionSpec, OutcomeRecord, AddQuestion, AddQuestionReturn, GovernanceSubscriptionState, GovernanceTerms, GovernedApis, GovernedCreatorFacet, GovernedPublicFacet} from './types.js';
+ */
+
+const { Fail } = assert;
 
 export const GOVERNANCE_STORAGE_KEY = 'governance';
 
@@ -31,31 +35,26 @@ const publicMixinAPI = harden({
 });
 
 /**
+ * Verify that the electorate is represented by a live invitation.
+ *
  * @param {ZCF<GovernanceTerms<{}> & {}>} zcf
- * @param {import('./contractGovernance/typedParamManager').TypedParamManager<unknown>} paramManager
+ * @param {import('./contractGovernance/typedParamManager.js').TypedParamManager<any>} paramManager
  */
 export const validateElectorate = (zcf, paramManager) => {
-  const { governedParams } = zcf.getTerms();
-  return E.when(paramManager.getParams(), finishedParams => {
-    try {
-      keyEQ(governedParams, finishedParams) ||
-        Fail`The 'governedParams' term must be an object like ${q(
-          finishedParams,
-        )}, but was ${q(governedParams)}`;
-      assertElectorateMatches(paramManager, governedParams);
-    } catch (err) {
-      zcf.shutdownWithFailure(err);
-    }
-  });
+  const invitation = paramManager.getInternalParamValue(CONTRACT_ELECTORATE);
+  return E.when(
+    E(zcf.getInvitationIssuer()).isLive(invitation),
+    isLive => isLive || Fail`Electorate invitation is not live.`,
+  );
 };
 harden(validateElectorate);
 
 /**
  * Utility function for `makeParamGovernance`.
  *
- * @template T
+ * @template {import('./contractGovernance/typedParamManager.js').ParamTypesMap} T
  * @param {ZCF<GovernanceTerms<{}> & {}>} zcf
- * @param {import('./contractGovernance/typedParamManager').TypedParamManager<T>} paramManager
+ * @param {import('./contractGovernance/typedParamManager.js').TypedParamManager<T>} paramManager
  */
 const facetHelpers = (zcf, paramManager) => {
   // validate async to wait for params to be finished
@@ -152,10 +151,11 @@ const facetHelpers = (zcf, paramManager) => {
    *
    * @see {makeDurableGovernorFacet}
    *
-   * @param {{ [methodName: string]: (context?: unknown, ...rest: unknown[]) => unknown}} limitedCreatorFacet
+   * @template {{ [methodName: string]: (context?: unknown, ...rest: unknown[]) => unknown}} LCF
+   * @param {LCF} limitedCreatorFacet
    */
   const makeVirtualGovernorFacet = limitedCreatorFacet => {
-    /** @type {import('@agoric/vat-data/src/types.js').FunctionsPlusContext<unknown, GovernedCreatorFacet<limitedCreatorFacet>>} */
+    /** @type {import('@agoric/swingset-liveslots').FunctionsPlusContext<unknown, GovernedCreatorFacet<limitedCreatorFacet>>} */
     const governorFacet = harden({
       getParamMgrRetriever: () =>
         Far('paramRetriever', { get: () => paramManager }),
@@ -244,7 +244,7 @@ const facetHelpers = (zcf, paramManager) => {
  * parameter values, and the governance guarantees only hold if they're not used
  * directly by the governed contract.
  *
- * @template {import('./contractGovernance/typedParamManager').ParamTypesMap} M
+ * @template {import('./contractGovernance/typedParamManager.js').ParamTypesMap} M
  *   Map of types of custom governed terms
  * @param {ZCF<GovernanceTerms<M>>} zcf
  * @param {Invitation} initialPoserInvitation

package/src/electorateTools.d.ts

@@ -1,46 +1,50 @@
 export type QuestionRecord = {
-    voteCap: ERef<VoteCounterCreatorFacet>;
+    voteCap: globalThis.ERef<VoteCounterCreatorFacet>;
     publicFacet: VoteCounterPublicFacet;
-    deadline: import('@agoric/time/src/types').Timestamp;
+    deadline: import("@agoric/time").Timestamp;
 };
-export type StartCounter = (zcf: ZCF, questionSpec: QuestionSpec, quorumThreshold: unknown, voteCounter: ERef<Installation>, questionStore: MapStore<Handle<'Question'>, QuestionRecord>, questionPublisher: Publisher<unknown>, outcomePublisher: Publisher<OutcomeRecord>) => AddQuestionReturn;
+/**
+ * @import {VoteCounterCreatorFacet, VoteCounterPublicFacet, QuestionSpec, OutcomeRecord, AddQuestion, AddQuestionReturn} from './types.js';
+ */
 /**
  * @typedef {object} QuestionRecord
  * @property {ERef<VoteCounterCreatorFacet>} voteCap
  * @property {VoteCounterPublicFacet} publicFacet
- * @property {import('@agoric/time/src/types').Timestamp} deadline
+ * @property {import('@agoric/time').Timestamp} deadline
  */
 /**
- * @callback StartCounter
+ * Start up a new Counter for a question
+ *
  * @param {ZCF} zcf
  * @param {QuestionSpec} questionSpec
  * @param {unknown} quorumThreshold
  * @param {ERef<Installation>} voteCounter
  * @param {MapStore<Handle<'Question'>, QuestionRecord>} questionStore
- * @param {Publisher<unknown>} questionPublisher
+ * @param {Publisher<unknown>} questionsPublisher
  * @param {Publisher<OutcomeRecord>} outcomePublisher
- * @returns {AddQuestionReturn}
- */
-/**
- * Start up a new Counter for a question
- *
- * @type {StartCounter}
+ * @returns {Promise<AddQuestionReturn>}
  */
-export const startCounter: StartCounter;
+export function startCounter(zcf: ZCF, questionSpec: QuestionSpec, quorumThreshold: unknown, voteCounter: ERef<Installation>, questionStore: MapStore<Handle<"Question">, QuestionRecord>, questionsPublisher: Publisher<unknown>, outcomePublisher: globalThis.Publisher<OutcomeRecord>): Promise<AddQuestionReturn>;
 /** @param {MapStore<Handle<'Question'>, QuestionRecord>} questionStore */
-export function getOpenQuestions(questionStore: MapStore<Handle<'Question'>, QuestionRecord>): Promise<any>;
+export function getOpenQuestions(questionStore: MapStore<Handle<"Question">, QuestionRecord>): Promise<any>;
 /**
  * @param {ERef<Handle<'Question'>>} questionHandleP
  * @param {MapStore<Handle<'Question'>, QuestionRecord>} questionStore
  */
-export function getQuestion(questionHandleP: ERef<Handle<'Question'>>, questionStore: MapStore<Handle<'Question'>, QuestionRecord>): Promise<Question>;
+export function getQuestion(questionHandleP: ERef<Handle<"Question">>, questionStore: MapStore<Handle<"Question">, QuestionRecord>): Promise<import("./types.js").Question>;
 /**
  * @param {ZCF} zcf
  * @param {AddQuestion} addQuestion
  */
 export function getPoserInvitation(zcf: ZCF, addQuestion: AddQuestion): Promise<Invitation<{
     addQuestion: AddQuestion;
-} & import("@endo/eventual-send").RemotableBrand<{}, {
+} & import("@endo/marshal").RemotableObject<`Alleged: ${string}`> & import("@endo/eventual-send").RemotableBrand<{}, {
     addQuestion: AddQuestion;
-}>, never>>;
+}>, undefined>>;
+import type { VoteCounterCreatorFacet } from './types.js';
+import type { VoteCounterPublicFacet } from './types.js';
+import type { QuestionSpec } from './types.js';
+import type { OutcomeRecord } from './types.js';
+import type { AddQuestionReturn } from './types.js';
+import type { AddQuestion } from './types.js';
 //# sourceMappingURL=electorateTools.d.ts.map

package/src/electorateTools.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"electorateTools.d.ts","sourceRoot":"","sources":["electorateTools.js"],"names":[],"mappings":";aAKc,KAAK,uBAAuB,CAAC;iBAC7B,sBAAsB;cACtB,OAAO,wBAAwB,EAAE,SAAS;;iCAK7C,GAAG,gBACH,YAAY,mBACZ,OAAO,eACP,KAAK,YAAY,CAAC,iBAClB,SAAS,OAAO,UAAU,CAAC,EAAE,cAAc,CAAC,qBAC5C,UAAU,OAAO,CAAC,oBAClB,UAAU,aAAa,CAAC,KACtB,iBAAiB;AAhB9B;;;;;GAKG;AAEH;;;;;;;;;;GAUG;AAEH;;;;GAIG;AACH,2BAFU,YAAY,CAsCpB;AAEF,0EAA0E;AAC1E,gDADY,SAAS,OAAO,UAAU,CAAC,EAAE,cAAc,CAAC,gBAYvD;AAED;;;GAGG;AACH,6CAHW,KAAK,OAAO,UAAU,CAAC,CAAC,iBACxB,SAAS,OAAO,UAAU,CAAC,EAAE,cAAc,CAAC,qBAKpD;AAEH;;;GAGG;AACH,wCAHW,GAAG,eACH,WAAW;;;;YAKrB"}
+{"version":3,"file":"electorateTools.d.ts","sourceRoot":"","sources":["electorateTools.js"],"names":[],"mappings":";;;cAYc,OAAO,cAAc,EAAE,SAAS;;AAR9C;;GAEG;AAEH;;;;;GAKG;AAEH;;;;;;;;;;;GAWG;AACH,kCATW,GAAG,+CAEH,OAAO,eACP,IAAI,CAAC,YAAY,CAAC,iBAClB,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC,sBAC5C,SAAS,CAAC,OAAO,CAAC,qFAwC5B;AAED,0EAA0E;AAC1E,gDADY,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC,gBAYvD;AAED;;;GAGG;AACH,6CAHW,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,iBACxB,QAAQ,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,cAAc,CAAC,0CAKpD;AAEH;;;GAGG;AACH,wCAHW,GAAG;;;;gBAcb;6CAlG8H,YAAY;4CAAZ,YAAY;kCAAZ,YAAY;mCAAZ,YAAY;uCAAZ,YAAY;iCAAZ,YAAY"}

package/src/electorateTools.js

@@ -1,29 +1,29 @@
+import { EmptyProposalShape } from '@agoric/zoe/src/typeGuards.js';
 import { E } from '@endo/eventual-send';
 import { deeplyFulfilled, Far } from '@endo/marshal';
 
+/**
+ * @import {VoteCounterCreatorFacet, VoteCounterPublicFacet, QuestionSpec, OutcomeRecord, AddQuestion, AddQuestionReturn} from './types.js';
+ */
+
 /**
  * @typedef {object} QuestionRecord
  * @property {ERef<VoteCounterCreatorFacet>} voteCap
  * @property {VoteCounterPublicFacet} publicFacet
- * @property {import('@agoric/time/src/types').Timestamp} deadline
+ * @property {import('@agoric/time').Timestamp} deadline
  */
 
 /**
- * @callback StartCounter
+ * Start up a new Counter for a question
+ *
  * @param {ZCF} zcf
  * @param {QuestionSpec} questionSpec
  * @param {unknown} quorumThreshold
  * @param {ERef<Installation>} voteCounter
  * @param {MapStore<Handle<'Question'>, QuestionRecord>} questionStore
- * @param {Publisher<unknown>} questionPublisher
+ * @param {Publisher<unknown>} questionsPublisher
  * @param {Publisher<OutcomeRecord>} outcomePublisher
- * @returns {AddQuestionReturn}
- */
-
-/**
- * Start up a new Counter for a question
- *
- * @type {StartCounter}
+ * @returns {Promise<AddQuestionReturn>}
  */
 const startCounter = async (
   zcf,
@@ -91,8 +91,16 @@ const getQuestion = (questionHandleP, questionStore) =>
  * @param {AddQuestion} addQuestion
  */
 const getPoserInvitation = (zcf, addQuestion) => {
-  const questionPoserHandler = () => Far(`questionPoser`, { addQuestion });
-  return zcf.makeInvitation(questionPoserHandler, `questionPoser`);
+  const questionPoserHandler = seat => {
+    seat.exit();
+    return Far(`questionPoser`, { addQuestion });
+  };
+  return zcf.makeInvitation(
+    questionPoserHandler,
+    `questionPoser`,
+    undefined,
+    EmptyProposalShape,
+  );
 };
 
 harden(startCounter);

package/src/index.js

@@ -1,9 +1,6 @@
-// Ambient types. https://github.com/Agoric/agoric-sdk/issues/6512
-import '@agoric/swingset-vat/src/vats/network/types.js';
-import '@agoric/ertp/exported.js';
-import '@agoric/zoe/exported.js';
-
-import './types-ambient.js';
+/// <reference types="@agoric/internal/exported" />
+/// <reference types="@agoric/ertp/exported" />
+/// <reference types="@agoric/zoe/exported" />
 
 export {
   ChoiceMethod,

package/src/multiCandidateVoteCounter.d.ts

@@ -8,9 +8,12 @@ export function start(zcf: ZCF<{
     questionSpec: QuestionSpec;
     quorumThreshold: bigint;
 }>, { outcomePublisher }: {
-    outcomePublisher: Publisher<MultiOutcomeRecord>;
+    outcomePublisher: globalThis.Publisher<MultiOutcomeRecord>;
 }): {
-    publicFacet: MultiVoteCounterPublicFacet;
-    creatorFacet: VoteCounterCreatorFacet;
+    publicFacet: import("./types.js").MultiVoteCounterPublicFacet;
+    creatorFacet: import("./types.js").VoteCounterCreatorFacet;
 };
+import type { BuildMultiVoteCounter } from './types.js';
+import type { QuestionSpec } from './types.js';
+import type { MultiOutcomeRecord } from './types.js';
 //# sourceMappingURL=multiCandidateVoteCounter.d.ts.map

package/src/multiCandidateVoteCounter.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"multiCandidateVoteCounter.d.ts","sourceRoot":"","sources":["multiCandidateVoteCounter.js"],"names":[],"mappings":"AAgCA,oCAAoC;AACpC,4CADW,qBAAqB,CAwL9B;AAEF;;;GAGG;AACH;kBAH8B,YAAY;qBAAmB,MAAM;0BACxD;IAAC,gBAAgB,EAAE,UAAU,kBAAkB,CAAC,CAAA;CAAC;;;EAgB3D"}
+{"version":3,"file":"multiCandidateVoteCounter.d.ts","sourceRoot":"","sources":["multiCandidateVoteCounter.js"],"names":[],"mappings":"AAoCA,oCAAoC;AACpC,kEAuLE;AAEF;;;GAGG;AACH;;qBAH6D,MAAM;;;;;;EAiBlE;2CA5NmG,YAAY;kCAAZ,YAAY;wCAAZ,YAAY"}

package/src/multiCandidateVoteCounter.js

@@ -17,6 +17,10 @@ import {
 import { makeQuorumCounter } from './quorumCounter.js';
 import { breakTie } from './breakTie.js';
 
+/**
+ * @import {QuestionSpec, BuildMultiVoteCounter, MultiOutcomeRecord, Position, VoteStatistics} from './types.js';
+ */
+
 const { Fail } = assert;
 
 const validateQuestionSpec = questionSpec => {
@@ -96,7 +100,7 @@ const makeMultiCandidateVoteCounter = (
         outcome: 'fail',
         reason: 'No quorum',
       };
-      E(publisher).publish(voteOutcome);
+      void E(publisher).publish(voteOutcome);
       return;
     }
 
@@ -139,7 +143,7 @@ const makeMultiCandidateVoteCounter = (
       outcomePromise.resolve(untiedPositions.concat(tieWinners));
     }
 
-    E.when(outcomePromise.promise, winPositions => {
+    void E.when(outcomePromise.promise, winPositions => {
       /** @type { MultiOutcomeRecord } */
       const voteOutcome = {
         question: details.questionHandle,
@@ -169,10 +173,10 @@ const makeMultiCandidateVoteCounter = (
         chosenPositions.length <= maxChoices ||
           Fail`The number of choices exceeds the max choices.`;
 
-        chosenPositions.forEach(position => {
+        for (const position of chosenPositions) {
           positionIncluded(positions, position) ||
             Fail`The specified choice is not a legal position: ${position}.`;
-        });
+        }
 
         const completedBallot = harden({ chosen: chosenPositions, shares });
 

package/src/noActionElectorate.d.ts

@@ -1,8 +1,13 @@
+/**
+ * @import {ElectoratePublic, ElectorateCreatorFacet} from './types.js';
+ */
 /**
  * This Electorate visibly has no members, takes no votes, and approves no
  * changes.
  *
  *  @type {ContractStartFn<ElectoratePublic, ElectorateCreatorFacet>}
  */
-export const start: ContractStartFn<ElectoratePublic, ElectorateCreatorFacet>;
+export const start: ContractStartFn<ElectoratePublic, ElectorateCreatorFacet, any, any>;
+import type { ElectoratePublic } from './types.js';
+import type { ElectorateCreatorFacet } from './types.js';
 //# sourceMappingURL=noActionElectorate.d.ts.map

package/src/noActionElectorate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"noActionElectorate.d.ts","sourceRoot":"","sources":["noActionElectorate.js"],"names":[],"mappings":"AAMA;;;;;GAKG;AACH,oBAFW,gBAAgB,gBAAgB,EAAE,sBAAsB,CAAC,CA+ClE"}
+{"version":3,"file":"noActionElectorate.d.ts","sourceRoot":"","sources":["noActionElectorate.js"],"names":[],"mappings":"AAOA;;GAEG;AAEH;;;;;GAKG;AACH,wFAiDE;sCA1DyD,YAAY;4CAAZ,YAAY"}

package/src/noActionElectorate.js

@@ -1,9 +1,14 @@
 import { makePublishKit } from '@agoric/notifier';
 import { makePromiseKit } from '@endo/promise-kit';
 import { makeExo } from '@agoric/store';
+import { EmptyProposalShape } from '@agoric/zoe/src/typeGuards.js';
 
 import { ElectoratePublicI, ElectorateCreatorI } from './typeGuards.js';
 
+/**
+ * @import {ElectoratePublic, ElectorateCreatorFacet} from './types.js';
+ */
+
 /**
  * This Electorate visibly has no members, takes no votes, and approves no
  * changes.
@@ -37,8 +42,12 @@ const start = zcf => {
 
   const creatorFacet = makeExo('creatorFacet', ElectorateCreatorI, {
     getPoserInvitation() {
-      return zcf.makeInvitation(() => {},
-      `noActionElectorate doesn't allow posing questions`);
+      return zcf.makeInvitation(
+        () => {},
+        `noActionElectorate doesn't allow posing questions`,
+        undefined,
+        EmptyProposalShape,
+      );
     },
     addQuestion(_instance, _question) {
       throw Error(`noActionElectorate doesn't add questions.`);