@agoric/governance 0.10.4-dev-e2e36cc.0 → 0.10.4-dev-e6cde48.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@agoric/governance",
-  "version": "0.10.4-dev-e2e36cc.0+e2e36cc",
+  "version": "0.10.4-dev-e6cde48.0+e6cde48",
   "description": "Core governance support",
   "type": "module",
   "main": "src/index.js",
@@ -31,15 +31,15 @@
   },
   "homepage": "https://github.com/Agoric/agoric-sdk#readme",
   "dependencies": {
-    "@agoric/assert": "0.6.1-dev-e2e36cc.0+e2e36cc",
-    "@agoric/ertp": "0.16.3-dev-e2e36cc.0+e2e36cc",
-    "@agoric/internal": "0.3.3-dev-e2e36cc.0+e2e36cc",
-    "@agoric/network": "0.1.1-dev-e2e36cc.0+e2e36cc",
-    "@agoric/notifier": "0.6.3-dev-e2e36cc.0+e2e36cc",
-    "@agoric/store": "0.9.3-dev-e2e36cc.0+e2e36cc",
-    "@agoric/time": "0.3.3-dev-e2e36cc.0+e2e36cc",
-    "@agoric/vat-data": "0.5.3-dev-e2e36cc.0+e2e36cc",
-    "@agoric/zoe": "0.26.3-dev-e2e36cc.0+e2e36cc",
+    "@agoric/assert": "0.6.1-dev-e6cde48.0+e6cde48",
+    "@agoric/ertp": "0.16.3-dev-e6cde48.0+e6cde48",
+    "@agoric/internal": "0.3.3-dev-e6cde48.0+e6cde48",
+    "@agoric/network": "0.1.1-dev-e6cde48.0+e6cde48",
+    "@agoric/notifier": "0.6.3-dev-e6cde48.0+e6cde48",
+    "@agoric/store": "0.9.3-dev-e6cde48.0+e6cde48",
+    "@agoric/time": "0.3.3-dev-e6cde48.0+e6cde48",
+    "@agoric/vat-data": "0.5.3-dev-e6cde48.0+e6cde48",
+    "@agoric/zoe": "0.26.3-dev-e6cde48.0+e6cde48",
     "@endo/bundle-source": "^3.2.2",
     "@endo/captp": "^4.1.1",
     "@endo/eventual-send": "^1.2.1",
@@ -50,7 +50,7 @@
     "import-meta-resolve": "^2.2.1"
   },
   "devDependencies": {
-    "@agoric/swingset-vat": "0.32.3-dev-e2e36cc.0+e2e36cc",
+    "@agoric/swingset-vat": "0.32.3-dev-e6cde48.0+e6cde48",
     "@endo/bundle-source": "^3.2.2",
     "@endo/init": "^1.1.1",
     "ava": "^5.3.0",
@@ -79,5 +79,5 @@
   "typeCoverage": {
     "atLeast": 89.25
   },
-  "gitHead": "e2e36cc1e1c015fc517a179019184fdc81f3e809"
+  "gitHead": "e6cde482e02072514bda74657b7e1a6928b1e8ec"
 }

package/src/types.d.ts

@@ -503,22 +503,490 @@ export type AssertContractGovernance = (zoe: ERef<ZoeService>, allegedGoverned:
         label?: string | undefined;
     };
 }>, privateArgs: {
-    governed: Record<string, unknown>;
-}, baggage: import("@agoric/vat-data").Baggage) => Promise<{
-    creatorFacet: GovernorCreatorFacet<SF>;
-    publicFacet: GovernorPublic; /**
+    /**
+     * @typedef {object} QuorumCounter
+     * @property {(stats: VoteStatistics) => boolean} check
+     */
+    /**
      * @callback BuildQuestion
      * @param {QuestionSpec} questionSpec
      * @param {Instance} instance - voteCounter instance
      * @returns {Question}
      */
+    /**
+     * @typedef {object} VoteCounterCreatorFacet - a facet that the Electorate should
+     *   hold tightly. submitVote() is the core capability that allows the holder to
+     *   specify the identity and choice of a voter. The voteCounter is making that
+     *   available to the Electorate, which should wrap and attenuate it so each
+     *   voter gets only the ability to cast their own vote at a weight specified by
+     *   the electorate.
+     * @property {SubmitVote} submitVote
+     */
+    /**
+     * @typedef {object} VoteCounterPublicFacet
+     * @property {() => boolean} isOpen
+     * @property {() => Question} getQuestion
+     * @property {() => Promise<Position>} getOutcome
+     * @property {() => QuestionDetails} getDetails
+     * @property {() => Promise<VoteStatistics>} getStats
+     */
+    /**
+     * @typedef {object} MultiVoteCounterPublicFacet
+     * @property {() => boolean} isOpen
+     * @property {() => Question} getQuestion
+     * @property {() => Promise<Position[]>} getOutcome
+     * @property {() => QuestionDetails} getDetails
+     * @property {() => Promise<VoteStatistics>} getStats
+     */
+    /**
+     * @typedef {object} VoteCounterCloseFacet
+     *   TEST ONLY: Should not be allowed to escape from contracts
+     * @property {() => void} closeVoting
+     */
+    /**
+     * @typedef {object} VoteCounterFacets
+     * @property {VoteCounterPublicFacet} publicFacet
+     * @property {VoteCounterCreatorFacet} creatorFacet
+     * @property {VoteCounterCloseFacet} closeFacet
+     */
+    /**
+     * @typedef {object} MultiVoteCounterFacets
+     * @property {MultiVoteCounterPublicFacet} publicFacet
+     * @property {VoteCounterCreatorFacet} creatorFacet
+     * @property {VoteCounterCloseFacet} closeFacet
+     */
+    /**
+     * @callback BuildVoteCounter
+     * @param {QuestionSpec} questionSpec
+     * @param {bigint} threshold - questionSpec includes quorumRule; the electorate
+     *    converts that to a number that the counter can enforce.
+     * @param {Instance} instance
+     * @param {ERef<Publisher<OutcomeRecord>>} publisher
+     * @returns {VoteCounterFacets}
+     */
+    /**
+     * @callback BuildMultiVoteCounter
+     * @param {QuestionSpec} questionSpec
+     * @param {bigint} threshold - questionSpec includes quorumRule; the electorate
+     *    converts that to a number that the counter can enforce.
+     * @param {Instance} instance
+     * @param {ERef<Publisher<MultiOutcomeRecord>>} publisher
+     * @returns {MultiVoteCounterFacets}
+     */
+    /**
+     * @typedef {object} CompletedBallet
+     * @property {Position} chosen
+     * @property {bigint} shares
+     */
+    /**
+     * @callback SubmitVote
+     * @param {Handle<'Voter'>} voterHandle
+     * @param {Position[]} chosenPositions
+     * @param {bigint} [weight]
+     * @returns {CompletedBallet}
+     */
+    /**
+     * @callback GetOpenQuestions
+     * @returns {Promise<Handle<'Question'>[]>}
+     */
+    /**
+     * @callback GetQuestion
+     * @param {Handle<'Question'>} h
+     * @returns {Promise<Question>}
+     */
+    /**
+     * @typedef {object} ElectoratePublic
+     * @property {() => Subscriber<QuestionDetails>} getQuestionSubscriber
+     * @property {GetOpenQuestions} getOpenQuestions,
+     * @property {() => Instance} getInstance
+     * @property {GetQuestion} getQuestion
+     */
+    /**
+     * @typedef { ElectoratePublic & {makeVoterInvitation: () => ERef<Invitation>} } ClaimsElectoratePublic
+     * @typedef { ElectoratePublic & {getName: () => string} } CommitteeElectoratePublic
+     */
+    /**
+     * @typedef {object} PoserFacet
+     * @property {AddQuestion} addQuestion
+     */
+    /**
+     * @typedef {object} ElectorateCreatorFacet
+     * @property {AddQuestion} addQuestion can be used directly when the creator doesn't need any
+     *  reassurance. When someone needs to connect addQuestion to the Electorate
+     *  instance, getPoserInvitation() lets them get addQuestion with assurance.
+     * @property {() => Promise<Invitation>} getPoserInvitation
+     * @property {() => Subscriber<QuestionDetails>} getQuestionSubscriber
+     * @property {() => ElectoratePublic} getPublicFacet
+     */
+    /**
+     * @typedef {object} GetVoterInvitations
+     * @property {() => Invitation[]} getVoterInvitations
+     */
+    /**
+     * @typedef {object} VoterFacet - a facet that the Electorate should hold
+     *   tightly. It allows specification of the vote's weight, so the Electorate
+     *   should distribute an attenuated wrapper that doesn't make that available!
+     * @property {SubmitVote} submitVote
+     */
+    /**
+     * @typedef {object} ClosingRule
+     * @property {ERef<import('@agoric/time').TimerService>} timer
+     * @property {import('@agoric/time').Timestamp} deadline
+     */
+    /**
+     * @callback CloseVoting
+     * @param {ClosingRule} closingRule
+     * @param {() => void} closeVoting
+     */
+    /**
+     * @typedef {object} AddQuestionReturn
+     * @property {VoteCounterPublicFacet} publicFacet
+     * @property {VoteCounterCreatorFacet} creatorFacet
+     * @property {import('@agoric/zoe/src/zoeService/utils.js').Instance<typeof import('./binaryVoteCounter.js').start>} instance
+     * @property {import('@agoric/time').Timestamp} deadline
+     * @property {Handle<'Question'>} questionHandle
+     */
+    /**
+     * @callback AddQuestion
+     * @param {ERef<Installation>} voteCounter
+     * @param {QuestionSpec} questionSpec
+     * @returns {Promise<AddQuestionReturn>}
+     */
+    /**
+     * @callback CreateQuestion
+     *
+     * @param {string} name - The name of the parameter to change
+     * @param {ParamValue} proposedValue - the proposed value for the named
+     *   parameter
+     * @param {Installation} voteCounterInstallation - the voteCounter to
+     *   instantiate to count votes. Expected to be a binaryVoteCounter. Other
+     *   voteCounters might be added here, or might require separate governors.
+     *   under management so users can trace it back and see that it would use
+     *   this electionManager to manage parameters
+     * @param {Instance} contractInstance - include the instance of the contract
+     * @param {ClosingRule} closingRule - deadline and timer for closing voting
+     * @returns {Promise<QuestionDetails>}
+     */
+    /**
+     * @template [P=StandardParamPath] path for a paramManagerRetriever
+     * @typedef {object} ParamChangeIssue
+     * @property {ParamChangesSpec<P>} spec
+     * @property {import('@agoric/zoe/src/zoeService/utils.js').Instance<(zcf: ZCF<GovernanceTerms<{}>>) => {}>} contract
+     */
+    /**
+     * @typedef {object} ApiInvocationIssue
+     * @property {string} apiMethodName
+     * @property {unknown[]} methodArgs
+     */
+    /**
+     * @typedef {object} OfferFilterIssue
+     * @property {string[]} strings
+     */
+    /**
+     * @typedef {object} ParamChangePositions
+     * @property {ChangeParamsPosition} positive
+     * @property {NoChangeParamsPosition} negative
+     */
+    /**
+     * @typedef {object} ParamChangeIssueDetails
+     *    details for a question that can change a contract parameter
+     * @property {ChoiceMethod} method
+     * @property {ParamChangeIssue<unknown>} issue
+     * @property {ParamChangePositions} positions
+     * @property {ElectionType} electionType
+     * @property {number} maxChoices
+     * @property {ClosingRule} closingRule
+     * @property {QuorumRule} quorumRule
+     * @property {NoChangeParamsPosition} tieOutcome
+     * @property {Instance} counterInstance - instance of the VoteCounter
+     * @property {Handle<'Question'>} questionHandle
+     */
+    /**
+     * @typedef {Record<Keyword, ParamValueTyped>} ParamStateRecord a Record containing
+     *   keyword pairs with descriptions of parameters under governance.
+     */
+    /** @typedef {{current: ParamStateRecord}} GovernanceSubscriptionState */
+    /**
+     * @typedef {object} ParamManagerBase The base paramManager with typed getters
+     * @property {() => ERef<ParamStateRecord>} getParams
+     * @property {(name: string) => Amount} getAmount
+     * @property {(name: string) => Brand} getBrand
+     * @property {(name: string) => Instance} getInstance
+     * @property {(name: string) => Installation} getInstallation
+     * @property {(name: string) => Amount<'set'>} getInvitationAmount
+     * @property {(name: string) => bigint} getNat
+     * @property {(name: string) => Ratio} getRatio
+     * @property {(name: string) => string} getString
+     * @property {(name: string) => import('@agoric/time').TimestampRecord} getTimestamp
+     * @property {(name: string) => import('@agoric/time').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
+     *   the visible value is the amount of the invitation.
+     * @property {(name: string) => Promise<Invitation>} getInternalParamValue
+     * @property {() => StoredSubscription<GovernanceSubscriptionState>} getSubscription
+     */
+    /**
+     * @callback UpdateParams
+     * @param {Record<string,ParamValue>} paramChanges
+     * @returns {Promise<void>}
+     */
+    /**
+     * These are typed `any` because the builder pattern of paramManager makes it very
+     * complicated for the type system to know the set of param-specific functions
+     * returned by `.build()`. Instead we let paramManager create the desired methods
+     * and use typedParamManager to create a version that includes the static types.
+     *
+     * @typedef {Record<string, any>} ParamManagerGettersAndUpdaters
+     * @typedef {ParamManagerBase & ParamManagerGettersAndUpdaters & {updateParams: UpdateParams}} AnyParamManager
+     */
+    /**
+     * @typedef {Record<string, string[]>} ParameterNameList
+     */
+    /**
+     * @callback AssertParamManagerType
+     * @param {ParamType} type
+     * @param {ParamValue} value
+     * @param {string} name
+     */
+    /**
+     * @callback BuildParamManager - ParamManager is a facility that governed
+     *   contracts can use to manage their visible state in a way that allows the
+     *   ContractGovernor to update values using governance. When paramManager is
+     *   instantiated inside the contract, the contract has synchronous access to
+     *   the values, and clients of the contract can verify that a ContractGovernor
+     *   can change the values in a legible way.
+     * @param {Iterable<ParamValueTyped>} paramDescriptions
+     * @returns {AnyParamManager}
+     */
+    /**
+     * @typedef {object} ChangeParamsPosition
+     * @property {Record<string,ParamValue>} changes one or more changes to parameters
+     */
+    /**
+     * @typedef {object} OfferFilterPosition
+     * @property {string[]} strings
+     */
+    /**
+     * @typedef {object} NoChangeOfferFilterPosition
+     * @property {string[]} dontUpdate
+     */
+    /**
+     * @typedef {object} InvokeApiPosition
+     * @property {string} apiMethodName
+     * @property {unknown[]} methodArgs
+     */
+    /**
+     * @typedef {object} DontInvokeApiPosition
+     * @property {string} dontInvoke
+     */
+    /**
+     * @typedef {object} NoChangeParamsPosition
+     * @property {string[]} noChange Parameters in the proposal that this position
+     *   is opposed to
+     */
+    /**
+     * @typedef {object} Governor
+     * @property {CreateQuestion} createQuestion
+     */
+    /** @typedef {{ [methodName: string]: (...args: any) => unknown }} GovernedApis */
+    /**
+     * @typedef {object} GovernorPublic
+     * @property {() => Promise<Instance>} getElectorate
+     * @property {() => Instance} getGovernedContract
+     * @property {(voteCounter: Instance) => Promise<void>} validateVoteCounter
+     * @property {(regP: ERef<Instance>) => Promise<void>} validateElectorate
+     * @property {(closingRule: ClosingRule) => void} validateTimer
+     */
+    /**
+     * @typedef {object} ParamKey identifier for a paramManager within a contract
+     * @property {unknown} key
+     */
+    /**
+     * Description of a set of coordinated changes for a ParamManager
+     *
+     * @template P path for a paramManagerRetriever
+     * @typedef {object} ParamChangesSpec<P>
+     * @property {P} paramPath
+     * @property {Record<string, ParamValue>} changes one or more changes to parameters
+     */
+    /**
+     * @typedef {object} ContractGovernanceVoteResult
+     * @property {Instance} instance - instance of the VoteCounter
+     * @property {ERef<QuestionDetails>} details
+     * @property {Promise<ParamValue>} outcomeOfUpdate - A promise for the result
+     *    of updating the parameter value. Primarily useful for its behavior on
+     *    rejection.
+     */
+    /**
+     * @template {GovernableStartFn} SF Start function of governed contract
+     * @typedef {object} GovernorCreatorFacet
+     * @property {VoteOnParamChanges} voteOnParamChanges
+     * @property {VoteOnApiInvocation} voteOnApiInvocation
+     * @property {VoteOnOfferFilter} voteOnOfferFilter
+     * @property {() => LimitedCF<SF>} getCreatorFacet facet of the governed contract,
+     *   with creator-like powers but without the tightly held ability to change
+     *   param values.
+     * @property {(poserInvitation: Invitation) => Promise<void>} replaceElectorate
+     * @property {() => AdminFacet} getAdminFacet
+     * @property {() => GovernedPublicFacet<Awaited<ReturnType<SF>>['publicFacet']>} getPublicFacet - public facet of the governed contract
+     * @property {() => Instance} getInstance - instance of the governed
+     *   contract
+     */
+    /**
+     * @typedef GovernedPublicFacetMethods
+     * @property {(key?: any) => StoredSubscription<GovernanceSubscriptionState>} getSubscription
+     * @property {(key?: any) => ERef<ParamStateRecord>} getGovernedParams - get descriptions of
+     *   all the governed parameters
+     * @property {(name: string) => Amount} getInvitationAmount
+     */
+    /**
+     * @template {{}} PF Public facet
+     * @typedef {PF & GovernedPublicFacetMethods} GovernedPublicFacet
+     */
+    /**
+     * @template {GovernableStartFn} SF
+     * @typedef {ReturnType<Awaited<ReturnType<SF>>['creatorFacet']['getLimitedCreatorFacet']>} LimitedCF
+     */
+    /**
+     * @template {{}} CF creator facet
+     * @typedef GovernedCreatorFacet
+     * What a governed contract must return as its creatorFacet in order to be governed
+     * @property {() => ParamManagerRetriever} getParamMgrRetriever - allows accessing
+     *   and updating governed parameters. Should only be directly accessible to the
+     *   contractGovernor
+     * @property {() => ERef<CF>} getLimitedCreatorFacet - the creator
+     *   facet of the governed contract. Doesn't provide access to any governance
+     *   functionality
+     * @property {(name: string) => Promise<Invitation>} getInvitation
+     * @property {() => ERef<GovernedApis>} getGovernedApis
+     * @property {() => (string | symbol)[]} getGovernedApiNames
+     * @property {(strings: string[]) => void} setOfferFilter
+     */
+    /**
+     * @typedef {{key: string}} StandardParamPath
+     */
+    /**
+     * @typedef {object} ParamManagerRetriever
+     * @property {(paramKey?: ParamKey) => AnyParamManager} get
+     */
+    /**
+     * @template [P=StandardParamPath]
+     *
+     * @callback VoteOnParamChanges
+     * @param {Installation} voteCounterInstallation
+     * @param {import('@agoric/time').Timestamp} deadline
+     * @param {ParamChangesSpec<P>} paramSpec
+     * @returns {Promise<ContractGovernanceVoteResult>}
+     */
+    /**
+     * @callback VoteOnApiInvocation
+     * @param {string} apiMethodName
+     * @param {unknown[]} methodArgs
+     * @param {Installation} voteCounterInstallation
+     * @param {import('@agoric/time').Timestamp} deadline
+     * @returns {Promise<ContractGovernanceVoteResult>}
+     */
+    /**
+     * @callback VoteOnOfferFilter
+     * @param {Installation} voteCounterInstallation
+     * @param {import('@agoric/time').Timestamp} deadline
+     * @param {string[]} strings
+     * @returns {Promise<ContractGovernanceVoteResult>}
+     */
+    /**
+     * @typedef {object} ParamGovernor
+     * @property {VoteOnParamChanges} voteOnParamChanges
+     * @property {CreatedQuestion} createdQuestion
+     */
+    /**
+     * @typedef {object} ApiGovernor
+     * @property {VoteOnApiInvocation} voteOnApiInvocation
+     * @property {CreatedQuestion} createdQuestion
+     */
+    /**
+     * @typedef {object} FilterGovernor
+     * @property {VoteOnOfferFilter} voteOnFilter
+     * @property {CreatedQuestion} createdQuestion
+     */
+    /**
+     * @callback CreatedQuestion
+     *   Was this question created by this ContractGovernor?
+     * @param {Instance} questionInstance
+     * @returns {boolean}
+     */
+    /**
+     * @callback PositionIncluded
+     * @param {Position[]} positions
+     * @param {Position} position
+     * @returns {boolean}
+     */
+    /**
+     * @typedef {object} GovernedContractTerms
+     * @property {import('@agoric/time').TimerService} timer
+     * @property {IssuerKeywordRecord} issuerKeywordRecord
+     * @property {object} privateArgs
+     */
+    /**
+     * @callback AssertContractGovernance
+     *
+     * @param {ERef<ZoeService>} zoe
+     * @param {import('@agoric/zoe/src/zoeService/utils.js').Instance<(zcf: ZCF<GovernanceTerms<{}>>) => {}>} allegedGoverned
+     * @param {Instance} allegedGovernor
+     * @param {Installation<import('@agoric/governance/src/contractGovernor.js').start>} contractGovernorInstallation
+     * @returns {Promise<GovernancePair>}
+     */
+    /**
+     * @callback AssertContractElectorate - assert that the contract uses the
+     *   electorate
+     *
+     * @param {ERef<ZoeService>} zoe
+     * @param {Instance} allegedGovernor
+     * @param {Instance} allegedElectorate
+     */
+    /**
+     * @typedef {ContractStartFunction
+     * & ((zcf?: any, pa?: any, baggage?: any) => ERef<{creatorFacet: GovernedCreatorFacet<{}>, publicFacet: GovernedPublicFacet<{}>}>)} GovernableStartFn
+     */
+    /**
+     * @typedef {import('./contractGovernor.js')['start']} GovernorSF
+     */
+    /**
+     * @see {StartedInstanceKit}
+     * @template {ERef<Installation<GovernableStartFn>>} I
+     * @typedef GovernorStartedInstallationKit
+     * Same result as StartedInstanceKit but:
+     * - typed for contractGovernor installation being started by Zoe. (It in turn starts the governed contract.)
+     * - parameterized by Installation instead of StartFunction
+     * @property {import('@agoric/zoe/src/zoeService/utils.js').Instance<GovernorSF>} instance
+     * @property {AdminFacet} adminFacet
+     * @property {GovernorCreatorFacet<InstallationStart<Awaited<I>>>} creatorFacet
+     * @property {GovernorPublic} publicFacet
+     */
+    /**
+     * @see {StartedInstanceKit}
+     * @template {GovernableStartFn} SF
+     * @typedef GovernanceFacetKit
+     * Akin to StartedInstanceKit but designed for the results of starting governed contracts. Used in bootstrap space.
+     * @property {AdminFacet} adminFacet of the governed contract
+     * @property {LimitedCF<SF>} creatorFacet creator-like facet within the governed contract (without the powers the governor needs)
+     * @property {GovernorCreatorFacet<SF>} governorCreatorFacet of the governing contract
+     * @property {AdminFacet} governorAdminFacet of the governing contract
+     * @property {Awaited<ReturnType<SF>>['publicFacet']} publicFacet
+     * @property {Instance} instance
+     * @property {Instance} governor
+     */
+    governed: Record<string, unknown>;
+}, baggage: import("@agoric/vat-data").Baggage) => Promise<{
+    creatorFacet: GovernorCreatorFacet<SF>;
+    publicFacet: GovernorPublic;
 }>)>) => Promise<GovernancePair>;
 /**
  * - assert that the contract uses the
  *   electorate
  */
 export type AssertContractElectorate = (zoe: ERef<ZoeService>, allegedGovernor: Instance, allegedElectorate: Instance) => any;
-export type GovernableStartFn = import("@agoric/zoe/src/zoeService/utils.js").ContractStartFunction & ((zcf?: any, pa?: any, baggage?: any) => ERef<{
+export type GovernableStartFn = ContractStartFunction & ((zcf?: any, pa?: any, baggage?: any) => ERef<{
     creatorFacet: GovernedCreatorFacet<{}>;
     publicFacet: GovernedPublicFacet<{}>;
 }>);
@@ -559,4 +1027,5 @@ export type GovernanceFacetKit<SF extends GovernableStartFn> = {
     governor: Instance;
 };
 import type { ParamType } from './constants.js';
+import type { ContractStartFunction } from '@agoric/zoe/src/zoeService/utils.js';
 //# sourceMappingURL=types.d.ts.map

package/src/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.js"],"names":[],"mappings":";;;;;;;;;2BAGc,UAAU,GAAG,OAAO,GAAG,WAAW;;;;;;;2BAWlC,cAAc,GAAG,UAAU,GAAG,QAAQ,GAAG,gBAAgB,GACtE,cAAkB;yBAUL,UAAU,GAAG,KAAK,GAAG,WAAW;;UAKhC,MAAM;;yBAIN,MAAM,GAAG,KAAK,GAAG,YAAY,GAAG,QAAQ,GAAG,MAAM,GAC9D,KAAS,GAAG,MAAM,GAAG,OAAO,cAAc,EAAE,eAAe,GAC3D,OAAW,cAAc,EAAE,kBAAkB,GAAG,OAAO;qDAQ3C,CAAC,SAAS,QAAQ,GAAG,OAAO,GAAG,CAAC,GAC5C,CAAG,SAAS,OAAO,GAAG,KAAK,GAC3B,CAAG,SAAS,cAAc,GAAG,YAAY,GACzC,CAAG,SAAS,UAAU,GAAG,QAAQ,GACjC,CAAG,SAAS,YAAY,GAAG,OAAO,KAAK,CAAC,GACxC,CAAG,SAAS,KAAK,GAAG,MAAM,GAC1B,CAAG,SAAS,OAAO,GAAG,KAAK,GAC3B,CAAG,SAAS,QAAQ,GAAG,MAAM,GAC7B,CAAG,SAAS,WAAW,GAAG,OAAO,cAAc,EAAE,SAAS,GAC1D,CAAG,SAAS,cAAc,GAAG,OAAO,cAAc,EAAE,YAAY,GAChE,CAAG,SAAS,SAAS,GAAG,OAAO,GAC/B,KAAO;;;;+DAMK;IAAE,IAAI,EAAE,CAAC,CAAC;IAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAA;CAAE;;;;2GAOxC;IACZ,eAAmB,EAAE,OAAO,qCAAqC,EAAE,QAAQ,CAAC,uCAAgC,OAAO,CAAC,CAAC,CAAC;IACtH,cAAkB,EAAE,OAAO,2CAA2C,EAAE,qBAAqB,CAAC,CAAC,GAAG;QAClG,UAAgB,EAAE,YAAY,CAAA;KACzB,CAAC,CAAA;CACH;oBAIU,WAAW,GAAG,iBAAiB,OAAO,CAAC,GAAG,kBAAkB,GACzE,gBAAoB;;;;;;;kBAOP,YAAY;qBACZ,MAAM;gBACN,QAAQ;;;UAKR,MAAM;;uBAIN,YAAY,GAAG,oBAAoB,GAAG,sBAAsB,GAAG,iBAAiB,GAAG,qBAAqB,GACrH,mBAAwB,GAAG,2BAA2B,GAAG,iBAAiB;4BAI9D;IAAE,QAAQ,EAAE,OAAO,UAAU,CAAC,CAAA;CAAE,GAAG,CAC/C;IAAM,OAAO,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAC1C;IAAM,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,CACzC;iCAIS;IAAE,QAAQ,EAAE,OAAO,UAAU,CAAC,CAAA;CAAE,GAAG,CAC/C;IAAK,OAAO,EAAE,KAAK,CAAC;IAAC,SAAS,EAAE,QAAQ,EAAE,CAAA;CAAE,GAC5C;IAAK,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,CACxC;;;;;YAQU,YAAY;WACZ,CAAC;eACD,QAAQ,EAAE;kBACV,YAAY;gBACZ,MAAM;gBACN,MAAM;iBACN,WAAW;gBACX,UAAU;gBACV,QAAQ;;;;;;qBAKR,QAAQ;oBACR,OAAO,UAAU,CAAC;;;;;8BAInB,YAAY,GAAG,8BAA8B;;cAM5C,QAAQ;cACR,QAAQ;;;oBAKR,MAAM,QAAQ;gBACd,MAAM,eAAe;;;oBAKrB,OAAO,UAAU,CAAC;;;;YAClB,QAAQ,EAAE;;;oBAMV,OAAO,UAAU,CAAC;;;;;cAClB,CAAC,QAAQ,EAAC,MAAM,CAAC,EAAE;;;oBAOnB,OAAO,UAAU,CAAC;;;;;aAClB,QAAQ,EAAE;;;cAMV,QAAQ;WACR,MAAM;;;aAKN,MAAM;WACN,MAAM;aACN,aAAa,EAAE;;;WAKf,CAAC,KAAK,EAAE,cAAc,KAAK,OAAO;;2CAKrC,YAAY,YACZ,QAAQ,KACN,QAAQ;;;;;;;;;;gBAUP,UAAU;;;YAKV,MAAM,OAAO;iBACb,MAAM,QAAQ;gBACd,MAAM,QAAQ,QAAQ,CAAC;gBACvB,MAAM,eAAe;cACrB,MAAM,QAAQ,cAAc,CAAC;;;YAK7B,MAAM,OAAO;iBACb,MAAM,QAAQ;gBACd,MAAM,QAAQ,QAAQ,EAAE,CAAC;gBACzB,MAAM,eAAe;cACrB,MAAM,QAAQ,cAAc,CAAC;;;;;;iBAM7B,MAAM,IAAI;;;iBAKV,sBAAsB;kBACtB,uBAAuB;gBACvB,qBAAqB;;;iBAKrB,2BAA2B;kBAC3B,uBAAuB;gBACvB,qBAAqB;;8CAKxB,YAAY,aACZ,MAAM,YAEN,QAAQ,gDAEN,iBAAiB;mDAKnB,YAAY,aACZ,MAAM,YAEN,QAAQ,qDAEN,sBAAsB;;YAKrB,QAAQ;YACR,MAAM;;uCAKT,OAAO,OAAO,CAAC,mBACf,QAAQ,EAAE,kCAER,eAAe;qCAKf,QAAQ,OAAO,UAAU,CAAC,EAAE,CAAC;8BAK/B,OAAO,UAAU,CAAC,KAChB,QAAQ,QAAQ,CAAC;;2BAKhB,MAAM,WAAW,eAAe,CAAC;;;;sBACjC,gBAAgB;iBAChB,MAAM,QAAQ;iBACd,WAAW;;;;;wCAKX,gBAAgB,GAAG;IAAC,OAAO,EAAE,MAAM,MAAM,CAAA;CAAC;;iBAK1C,WAAW;;;;;;;;iBAKX,WAAW;wBAGX,MAAM,QAAQ,UAAU,CAAC;2BACzB,MAAM,WAAW,eAAe,CAAC;oBACjC,MAAM,gBAAgB;;;yBAKtB,MAAM,UAAU,EAAE;;;;;;;;gBAOlB,UAAU;;;;cAMV,OAAO,cAAc,EAAE,SAAS;;wCAKnC,WAAW,eACX,MAAM,IAAI;;iBAKP,sBAAsB;kBACtB,uBAAuB;cACvB,OAAO,qCAAqC,EAAE,QAAQ,CAAC,cAAc,wBAAwB,EAAE,KAAK,CAAC;cACrG,OAAO,cAAc,EAAE,SAAS;oBAChC,OAAO,UAAU,CAAC;;+EAMrB,YAAY,KACV,QAAQ,iBAAiB,CAAC;oCAM5B,MAAM,iBACN,UAAU,2BAEV,YAAY,oBAKZ,QAAQ,eACR,WAAW,KACT,QAAQ,eAAe,CAAC;;UAMvB,iBAAiB,CAAC,CAAC;cACnB,OAAO,qCAAqC,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,IAAI,gBAAgB,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;;;mBAK7F,MAAM;gBACN,OAAO,EAAE;;;aAKT,MAAM,EAAE;;;cAKR,oBAAoB;cACpB,sBAAsB;;;;;;YAMtB,YAAY;WACZ,iBAAiB,OAAO,CAAC;eACzB,oBAAoB;kBACpB,YAAY;gBACZ,MAAM;iBACN,WAAW;gBACX,UAAU;gBACV,sBAAsB;;;;qBACtB,QAAQ;oBACR,OAAO,UAAU,CAAC;;;;;;+BAInB,OAAO,OAAO,EAAE,eAAe,CAAC;0CAI/B;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAC;;;;;;eAK3B,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;cACxB,CAAC,IAAI,EAAE,MAAM,KAAK,KAAK;iBACvB,CAAC,IAAI,EAAE,MAAM,KAAK,QAAQ;qBAC1B,CAAC,IAAI,EAAE,MAAM,KAAK,YAAY;yBAC9B,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,KAAK,CAAC;YAC/B,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;cACxB,CAAC,IAAI,EAAE,MAAM,KAAK,KAAK;eACvB,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;kBACxB,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,cAAc,EAAE,eAAe;qBACxD,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,cAAc,EAAE,kBAAkB;gBAC3D,CAAC,IAAI,EAAE,MAAM,KAAK,GAAG;;;;;;qBACrB,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,KAAK,UAAU;2BAGvD,CAAC,IAAI,EAAE,MAAM,KAAK,QAAQ,UAAU,CAAC;qBACrC,MAAM,mBAAmB,2BAA2B,CAAC;;0CAKxD,OAAO,MAAM,EAAC,UAAU,CAAC,KACvB,QAAQ,IAAI,CAAC;;;;;;;6CASb,OAAO,MAAM,EAAE,GAAG,CAAC;;;;;;;8BACnB,gBAAgB,GAAG,8BAA8B,GAAG;IAAC,YAAY,EAAE,YAAY,CAAA;CAAC;gCAIhF,OAAO,MAAM,EAAE,MAAM,EAAE,CAAC;8DAM1B,UAAU,QACV,MAAM;;;;;;;;;oDAUN,SAAS,eAAe,CAAC,KACvB,eAAe;;;;;aAKd,OAAO,MAAM,EAAC,UAAU,CAAC;;;aAKzB,MAAM,EAAE;;;gBAKR,MAAM,EAAE;;;mBAKR,MAAM;gBACN,OAAO,EAAE;;;gBAKT,MAAM;;;;;;;cAKN,MAAM,EAAE;;;oBAMR,cAAc;;2BAGd;IAAE,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,OAAO,CAAA;CAAE;;mBAInD,MAAM,QAAQ,QAAQ,CAAC;yBACvB,MAAM,QAAQ;yBACd,CAAC,WAAW,EAAE,QAAQ,KAAK,QAAQ,IAAI,CAAC;kDACd,QAAQ,IAAI,CAAC;mBACvC,CAAC,WAAW,EAAE,WAAW,KAAK,IAAI;;;;;;SAKlC,OAAO;;;;;;eAQP,CAAC;;;;aACD,OAAO,MAAM,EAAE,UAAU,CAAC;;;;;;cAK1B,QAAQ;;;;;;;qBAER,QAAQ,UAAU,CAAC;;;wBAQnB,kBAAkB;yBAClB,mBAAmB;uBACnB,iBAAiB;;;;;;qBACjB,MAAM,UAAU,EAAE,CAAC;uBAGnB,CAAC,eAAe,EAAE,UAAU,KAAK,QAAQ,IAAI,CAAC;mBAC9C,MAAM,UAAU;;;;oBAChB,MAAM,oBAAoB,QAAQ,WAAW,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;;;;;iBACjE,MAAM,QAAQ;;;qBAMd,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,mBAAmB,2BAA2B,CAAC;;;;;8BACvD,GAAG;yBAEV,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;;iDAKzB,EAAE,GAAG,0BAA0B;sDAK/B,WAAW,QAAQ,WAAW,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,wBAAwB,CAAC,CAAC;;;;;;;;;;0BAO5E,MAAM,qBAAqB;;;;;;;mBAM3B,CAAC,IAAI,EAAE,MAAM,KAAK,QAAQ,UAAU,CAAC;;yBAErC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE;oBACzB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI;;gCAI5B;IAAC,GAAG,EAAE,MAAM,CAAA;CAAC;;SAKZ,CAAC,QAAQ,CAAC,EAAE,QAAQ,KAAK,eAAe;;kFAO3C,YAAY,YACZ,OAAO,cAAc,EAAE,SAAS,aAChC,iBAAiB,CAAC,CAAC,KACjB,QAAQ,4BAA4B,CAAC;kDAKvC,MAAM,cACN,OAAO,EAAE,2BACT,YAAY,YACZ,OAAO,cAAc,EAAE,SAAS,KAC9B,QAAQ,4BAA4B,CAAC;0DAKvC,YAAY,YACZ,OAAO,cAAc,EAAE,SAAS,WAChC,MAAM,EAAE,KACN,QAAQ,4BAA4B,CAAC;;wBAKpC,kBAAkB;qBAClB,eAAe;;;yBAKf,mBAAmB;qBACnB,eAAe;;;kBAKf,iBAAiB;qBACjB,eAAe;;;;;iDAMlB,QAAQ,KACN,OAAO;2CAKT,QAAQ,EAAE,YACV,QAAQ,KACN,OAAO;;WAKN,OAAO,cAAc,EAAE,YAAY;yBACnC,mBAAmB;iBACnB,MAAM;;gFAOT,OAAO,qCAAqC,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,IAAI,gBAAgB,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,mBAC7F,QAAQ,gCACR;;;;;;;;;;;;;;;;iCA3eX;;;;;OAKG;IAsegF,KACtE,QAAQ,cAAc,CAAC;;;;;gFAQzB,QAAQ,qBACR,QAAQ;8GAKN,GAAG,OAAO,GAAG,YAAY,GAAG;kBAAyB,qBAAqB,EAAE,CAAC;iBAAe,oBAAoB,EAAE,CAAC;;yBAInH,uCAAgC,OAAO,CAAC;;;;;;;cAWvC,OAAO,qCAAqC,EAAE,QAAQ,CAAC,UAAU,CAAC;gBAClE,UAAU;kBACV,qBAAqB,kBAAkB,QAAQ,CAAC,CAAC,CAAC,CAAC;iBACnD,cAAc;;;;;;;;;gBAQd,UAAU;;;;kBACV,UAAU,EAAE,CAAC;;;;0BACb,qBAAqB,EAAE,CAAC;;;;wBACxB,UAAU;iBACV,QAAQ,WAAW,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC;cACtC,QAAQ;cACR,QAAQ;;+BArsBO,gBAAgB"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["types.js"],"names":[],"mappings":";;;;;;;;;2BAKc,UAAU,GAAG,OAAO,GAAG,WAAW;;;;;;;2BAWlC,cAAc,GAAG,UAAU,GAAG,QAAQ,GAAG,gBAAgB,GACtE,cAAkB;yBAUL,UAAU,GAAG,KAAK,GAAG,WAAW;;UAKhC,MAAM;;yBAIN,MAAM,GAAG,KAAK,GAAG,YAAY,GAAG,QAAQ,GAAG,MAAM,GAC9D,KAAS,GAAG,MAAM,GAAG,OAAO,cAAc,EAAE,eAAe,GAC3D,OAAW,cAAc,EAAE,kBAAkB,GAAG,OAAO;qDAQ3C,CAAC,SAAS,QAAQ,GAAG,OAAO,GAAG,CAAC,GAC5C,CAAG,SAAS,OAAO,GAAG,KAAK,GAC3B,CAAG,SAAS,cAAc,GAAG,YAAY,GACzC,CAAG,SAAS,UAAU,GAAG,QAAQ,GACjC,CAAG,SAAS,YAAY,GAAG,OAAO,KAAK,CAAC,GACxC,CAAG,SAAS,KAAK,GAAG,MAAM,GAC1B,CAAG,SAAS,OAAO,GAAG,KAAK,GAC3B,CAAG,SAAS,QAAQ,GAAG,MAAM,GAC7B,CAAG,SAAS,WAAW,GAAG,OAAO,cAAc,EAAE,SAAS,GAC1D,CAAG,SAAS,cAAc,GAAG,OAAO,cAAc,EAAE,YAAY,GAChE,CAAG,SAAS,SAAS,GAAG,OAAO,GAC/B,KAAO;;;;+DAMK;IAAE,IAAI,EAAE,CAAC,CAAC;IAAC,KAAK,EAAE,kBAAkB,CAAC,CAAC,CAAA;CAAE;;;;2GAOxC;IACZ,eAAmB,EAAE,OAAO,qCAAqC,EAAE,QAAQ,CAAC,uCAAgC,OAAO,CAAC,CAAC,CAAC;IACtH,cAAkB,EAAE,OAAO,2CAA2C,EAAE,qBAAqB,CAAC,CAAC,GAAG;QAClG,UAAgB,EAAE,YAAY,CAAA;KACzB,CAAC,CAAA;CACH;oBAIU,WAAW,GAAG,iBAAiB,OAAO,CAAC,GAAG,kBAAkB,GACzE,gBAAoB;;;;;;;kBAOP,YAAY;qBACZ,MAAM;gBACN,QAAQ;;;UAKR,MAAM;;uBAIN,YAAY,GAAG,oBAAoB,GAAG,sBAAsB,GAAG,iBAAiB,GAAG,qBAAqB,GACrH,mBAAwB,GAAG,2BAA2B,GAAG,iBAAiB;4BAI9D;IAAE,QAAQ,EAAE,OAAO,UAAU,CAAC,CAAA;CAAE,GAAG,CAC/C;IAAM,OAAO,EAAE,KAAK,CAAC;IAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GAC1C;IAAM,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,CACzC;iCAIS;IAAE,QAAQ,EAAE,OAAO,UAAU,CAAC,CAAA;CAAE,GAAG,CAC/C;IAAK,OAAO,EAAE,KAAK,CAAC;IAAC,SAAS,EAAE,QAAQ,EAAE,CAAA;CAAE,GAC5C;IAAK,OAAO,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,CACxC;;;;;YAQU,YAAY;WACZ,CAAC;eACD,QAAQ,EAAE;kBACV,YAAY;gBACZ,MAAM;gBACN,MAAM;iBACN,WAAW;gBACX,UAAU;gBACV,QAAQ;;;;;;qBAKR,QAAQ;oBACR,OAAO,UAAU,CAAC;;;;;8BAInB,YAAY,GAAG,8BAA8B;;cAM5C,QAAQ;cACR,QAAQ;;;oBAKR,MAAM,QAAQ;gBACd,MAAM,eAAe;;;oBAKrB,OAAO,UAAU,CAAC;;;;YAClB,QAAQ,EAAE;;;oBAMV,OAAO,UAAU,CAAC;;;;;cAClB,CAAC,QAAQ,EAAC,MAAM,CAAC,EAAE;;;oBAOnB,OAAO,UAAU,CAAC;;;;;aAClB,QAAQ,EAAE;;;cAMV,QAAQ;WACR,MAAM;;;aAKN,MAAM;WACN,MAAM;aACN,aAAa,EAAE;;;WAKf,CAAC,KAAK,EAAE,cAAc,KAAK,OAAO;;2CAKrC,YAAY,YACZ,QAAQ,KACN,QAAQ;;;;;;;;;;gBAUP,UAAU;;;YAKV,MAAM,OAAO;iBACb,MAAM,QAAQ;gBACd,MAAM,QAAQ,QAAQ,CAAC;gBACvB,MAAM,eAAe;cACrB,MAAM,QAAQ,cAAc,CAAC;;;YAK7B,MAAM,OAAO;iBACb,MAAM,QAAQ;gBACd,MAAM,QAAQ,QAAQ,EAAE,CAAC;gBACzB,MAAM,eAAe;cACrB,MAAM,QAAQ,cAAc,CAAC;;;;;;iBAM7B,MAAM,IAAI;;;iBAKV,sBAAsB;kBACtB,uBAAuB;gBACvB,qBAAqB;;;iBAKrB,2BAA2B;kBAC3B,uBAAuB;gBACvB,qBAAqB;;8CAKxB,YAAY,aACZ,MAAM,YAEN,QAAQ,gDAEN,iBAAiB;mDAKnB,YAAY,aACZ,MAAM,YAEN,QAAQ,qDAEN,sBAAsB;;YAKrB,QAAQ;YACR,MAAM;;uCAKT,OAAO,OAAO,CAAC,mBACf,QAAQ,EAAE,kCAER,eAAe;qCAKf,QAAQ,OAAO,UAAU,CAAC,EAAE,CAAC;8BAK/B,OAAO,UAAU,CAAC,KAChB,QAAQ,QAAQ,CAAC;;2BAKhB,MAAM,WAAW,eAAe,CAAC;;;;sBACjC,gBAAgB;iBAChB,MAAM,QAAQ;iBACd,WAAW;;;;;wCAKX,gBAAgB,GAAG;IAAC,OAAO,EAAE,MAAM,MAAM,CAAA;CAAC;;iBAK1C,WAAW;;;;;;;;iBAKX,WAAW;wBAGX,MAAM,QAAQ,UAAU,CAAC;2BACzB,MAAM,WAAW,eAAe,CAAC;oBACjC,MAAM,gBAAgB;;;yBAKtB,MAAM,UAAU,EAAE;;;;;;;;gBAOlB,UAAU;;;;cAMV,OAAO,cAAc,EAAE,SAAS;;wCAKnC,WAAW,eACX,MAAM,IAAI;;iBAKP,sBAAsB;kBACtB,uBAAuB;cACvB,OAAO,qCAAqC,EAAE,QAAQ,CAAC,cAAc,wBAAwB,EAAE,KAAK,CAAC;cACrG,OAAO,cAAc,EAAE,SAAS;oBAChC,OAAO,UAAU,CAAC;;+EAMrB,YAAY,KACV,QAAQ,iBAAiB,CAAC;oCAM5B,MAAM,iBACN,UAAU,2BAEV,YAAY,oBAKZ,QAAQ,eACR,WAAW,KACT,QAAQ,eAAe,CAAC;;UAMvB,iBAAiB,CAAC,CAAC;cACnB,OAAO,qCAAqC,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,IAAI,gBAAgB,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;;;mBAK7F,MAAM;gBACN,OAAO,EAAE;;;aAKT,MAAM,EAAE;;;cAKR,oBAAoB;cACpB,sBAAsB;;;;;;YAMtB,YAAY;WACZ,iBAAiB,OAAO,CAAC;eACzB,oBAAoB;kBACpB,YAAY;gBACZ,MAAM;iBACN,WAAW;gBACX,UAAU;gBACV,sBAAsB;;;;qBACtB,QAAQ;oBACR,OAAO,UAAU,CAAC;;;;;;+BAInB,OAAO,OAAO,EAAE,eAAe,CAAC;0CAI/B;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAC;;;;;;eAK3B,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;cACxB,CAAC,IAAI,EAAE,MAAM,KAAK,KAAK;iBACvB,CAAC,IAAI,EAAE,MAAM,KAAK,QAAQ;qBAC1B,CAAC,IAAI,EAAE,MAAM,KAAK,YAAY;yBAC9B,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,KAAK,CAAC;YAC/B,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;cACxB,CAAC,IAAI,EAAE,MAAM,KAAK,KAAK;eACvB,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;kBACxB,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,cAAc,EAAE,eAAe;qBACxD,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,cAAc,EAAE,kBAAkB;gBAC3D,CAAC,IAAI,EAAE,MAAM,KAAK,GAAG;;;;;;qBACrB,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,UAAU,KAAK,UAAU;2BAGvD,CAAC,IAAI,EAAE,MAAM,KAAK,QAAQ,UAAU,CAAC;qBACrC,MAAM,mBAAmB,2BAA2B,CAAC;;0CAKxD,OAAO,MAAM,EAAC,UAAU,CAAC,KACvB,QAAQ,IAAI,CAAC;;;;;;;6CASb,OAAO,MAAM,EAAE,GAAG,CAAC;;;;;;;8BACnB,gBAAgB,GAAG,8BAA8B,GAAG;IAAC,YAAY,EAAE,YAAY,CAAA;CAAC;gCAIhF,OAAO,MAAM,EAAE,MAAM,EAAE,CAAC;8DAM1B,UAAU,QACV,MAAM;;;;;;;;;oDAUN,SAAS,eAAe,CAAC,KACvB,eAAe;;;;;aAKd,OAAO,MAAM,EAAC,UAAU,CAAC;;;aAKzB,MAAM,EAAE;;;gBAKR,MAAM,EAAE;;;mBAKR,MAAM;gBACN,OAAO,EAAE;;;gBAKT,MAAM;;;;;;;cAKN,MAAM,EAAE;;;oBAMR,cAAc;;2BAGd;IAAE,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,KAAK,OAAO,CAAA;CAAE;;mBAInD,MAAM,QAAQ,QAAQ,CAAC;yBACvB,MAAM,QAAQ;yBACd,CAAC,WAAW,EAAE,QAAQ,KAAK,QAAQ,IAAI,CAAC;kDACd,QAAQ,IAAI,CAAC;mBACvC,CAAC,WAAW,EAAE,WAAW,KAAK,IAAI;;;;;;SAKlC,OAAO;;;;;;eAQP,CAAC;;;;aACD,OAAO,MAAM,EAAE,UAAU,CAAC;;;;;;cAK1B,QAAQ;;;;;;;qBAER,QAAQ,UAAU,CAAC;;;wBAQnB,kBAAkB;yBAClB,mBAAmB;uBACnB,iBAAiB;;;;;;qBACjB,MAAM,UAAU,EAAE,CAAC;uBAGnB,CAAC,eAAe,EAAE,UAAU,KAAK,QAAQ,IAAI,CAAC;mBAC9C,MAAM,UAAU;;;;oBAChB,MAAM,oBAAoB,QAAQ,WAAW,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;;;;;iBACjE,MAAM,QAAQ;;;qBAMd,CAAC,GAAG,CAAC,EAAE,GAAG,KAAK,mBAAmB,2BAA2B,CAAC;;;;;8BACvD,GAAG;yBAEV,CAAC,IAAI,EAAE,MAAM,KAAK,MAAM;;iDAKzB,EAAE,GAAG,0BAA0B;sDAK/B,WAAW,QAAQ,WAAW,EAAE,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,wBAAwB,CAAC,CAAC;;;;;;;;;;0BAO5E,MAAM,qBAAqB;;;;;;;mBAM3B,CAAC,IAAI,EAAE,MAAM,KAAK,QAAQ,UAAU,CAAC;;yBAErC,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC,EAAE;oBACzB,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,IAAI;;gCAI5B;IAAC,GAAG,EAAE,MAAM,CAAA;CAAC;;SAKZ,CAAC,QAAQ,CAAC,EAAE,QAAQ,KAAK,eAAe;;kFAO3C,YAAY,YACZ,OAAO,cAAc,EAAE,SAAS,aAChC,iBAAiB,CAAC,CAAC,KACjB,QAAQ,4BAA4B,CAAC;kDAKvC,MAAM,cACN,OAAO,EAAE,2BACT,YAAY,YACZ,OAAO,cAAc,EAAE,SAAS,KAC9B,QAAQ,4BAA4B,CAAC;0DAKvC,YAAY,YACZ,OAAO,cAAc,EAAE,SAAS,WAChC,MAAM,EAAE,KACN,QAAQ,4BAA4B,CAAC;;wBAKpC,kBAAkB;qBAClB,eAAe;;;yBAKf,mBAAmB;qBACnB,eAAe;;;kBAKf,iBAAiB;qBACjB,eAAe;;;;;iDAMlB,QAAQ,KACN,OAAO;2CAKT,QAAQ,EAAE,YACV,QAAQ,KACN,OAAO;;WAKN,OAAO,cAAc,EAAE,YAAY;yBACnC,mBAAmB;iBACnB,MAAM;;gFAOT,OAAO,qCAAqC,EAAE,QAAQ,CAAC,CAAC,GAAG,EAAE,IAAI,gBAAgB,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,mBAC7F,QAAQ,gCACR;;;;;;;;;;;;;IAhfX;;;OAGG;IAEH;;;;;OAKG;IAEH;;;;;;;;OAQG;IAEH;;;;;;;OAOG;IAEH;;;;;;;OAOG;IAEH;;;;OAIG;IAEH;;;;;OAKG;IAEH;;;;;OAKG;IAEH;;;;;;;;OAQG;IAEH;;;;;;;;OAQG;IAEH;;;;OAIG;IAEH;;;;;;OAMG;IAEH;;;OAGG;IAEH;;;;OAIG;IAEH;;;;;;OAMG;IAEH;;;OAGG;IAEH;;;OAGG;IAEH;;;;;;;;OAQG;IAEH;;;OAGG;IAEH;;;;;OAKG;IAEH;;;;OAIG;IAEH;;;;OAIG;IAEH;;;;;;;OAOG;IAEH;;;;;OAKG;IAEH;;;;;;;;;;;;;;OAcG;IAEH;;;;;OAKG;IAEH;;;;OAIG;IAEH;;;OAGG;IAEH;;;;OAIG;IAEH;;;;;;;;;;;;;OAaG;IAEH;;;OAGG;IAEH,yEAAyE;IAEzE;;;;;;;;;;;;;;;;;;;OAmBG;IAEH;;;;OAIG;IAEH;;;;;;;;OAQG;IAEH;;OAEG;IAEH;;;;;OAKG;IAEH;;;;;;;;;OASG;IAEH;;;OAGG;IAEH;;;OAGG;IAEH;;;OAGG;IAEH;;;;OAIG;IAEH;;;OAGG;IAEH;;;;OAIG;IAEH;;;OAGG;IAEH,kFAAkF;IAElF;;;;;;;OAOG;IAEH;;;OAGG;IAEH;;;;;;;OAOG;IAEH;;;;;;;OAOG;IAEH;;;;;;;;;;;;;;OAcG;IAEH;;;;;;OAMG;IAEH;;;OAGG;IAEH;;;OAGG;IAEH;;;;;;;;;;;;;;OAcG;IAEH;;OAEG;IAEH;;;OAGG;IAEH;;;;;;;;OAQG;IAEH;;;;;;;OAOG;IAEH;;;;;;OAMG;IAEH;;;;OAIG;IAEH;;;;OAIG;IAEH;;;;OAIG;IAEH;;;;;OAKG;IAEH;;;;;OAKG;IAEH;;;;;OAKG;IAEH;;;;;;;;OAQG;IAEH;;;;;;;OAOG;IAEH;;;OAGG;IAEH;;OAEG;IAGH;;;;;;;;;;;OAWG;IAEH;;;;;;;;;;;;OAYG;;;;;IAhDgF,KACtE,QAAQ,cAAc,CAAC;;;;;gFAQzB,QAAQ,qBACR,QAAQ;gEAKN,GAAG,OAAO,GAAG,YAAY,GAAG;kBAAyB,qBAAqB,EAAE,CAAC;iBAAe,oBAAoB,EAAE,CAAC;;yBAInH,uCAAgC,OAAO,CAAC;;;;;;;cAWvC,OAAO,qCAAqC,EAAE,QAAQ,CAAC,UAAU,CAAC;gBAClE,UAAU;kBACV,qBAAqB,kBAAkB,QAAQ,CAAC,CAAC,CAAC,CAAC;iBACnD,cAAc;;;;;;;;;gBAQd,UAAU;;;;kBACV,UAAU,EAAE,CAAC;;;;0BACb,qBAAqB,EAAE,CAAC;;;;wBACxB,UAAU;iBACV,QAAQ,WAAW,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC;cACtC,QAAQ;cACR,QAAQ;;+BArsBO,gBAAgB;2CAtBJ,qCAAqC"}

package/src/types.js

@@ -1,5 +1,7 @@
 export {};
 
+/** @import {ContractStartFunction} from '@agoric/zoe/src/zoeService/utils.js' */
+
 /**
  * @typedef { 'unranked' | 'order' | 'plurality' } ChoiceMethod
  * * UNRANKED: "unranked voting" means that the voter specifies some number of
@@ -696,7 +698,7 @@ export {};
  */
 
 /**
- * @typedef {import('@agoric/zoe/src/zoeService/utils.js').ContractStartFunction
+ * @typedef {ContractStartFunction
  * & ((zcf?: any, pa?: any, baggage?: any) => ERef<{creatorFacet: GovernedCreatorFacet<{}>, publicFacet: GovernedPublicFacet<{}>}>)} GovernableStartFn
  */