-
Notifications
You must be signed in to change notification settings - Fork 5
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
1 parent
6c676f0
commit 0dab20f
Showing
11 changed files
with
963 additions
and
20 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,111 @@ | ||
| // @jessie-check | ||
|
|
||
| import '@agoric/governance/exported.js'; | ||
| import { M } from '@agoric/store'; | ||
| import { TimestampShape } from '@agoric/time'; | ||
| import { prepareExo, provideDurableMapStore } from '@agoric/vat-data'; | ||
| import '@agoric/zoe/exported.js'; | ||
| import '@agoric/zoe/src/contracts/exported.js'; | ||
| import { | ||
| InstallationShape, | ||
| InstanceHandleShape, | ||
| } from '@agoric/zoe/src/typeGuards.js'; | ||
| import { E } from '@endo/far'; | ||
|
|
||
| /** | ||
| * @file This contract makes it possible for those who govern the KREAd contract | ||
| * to call for votes to pause offers. | ||
| */ | ||
|
|
||
| export const INVITATION_MAKERS_DESC = 'charter member invitation'; | ||
|
|
||
| /** @type {ContractMeta} */ | ||
| export const meta = { | ||
| customTermsShape: { | ||
| binaryVoteCounterInstallation: InstallationShape, | ||
| }, | ||
| upgradability: 'canUpgrade', | ||
| }; | ||
| harden(meta); | ||
|
|
||
| /** | ||
| * @param {ZCF<{ binaryVoteCounterInstallation: Installation }>} zcf | ||
| * @param {undefined} privateArgs | ||
| * @param {import('@agoric/vat-data').Baggage} baggage | ||
| */ | ||
| export const start = async (zcf, privateArgs, baggage) => { | ||
| const { binaryVoteCounterInstallation: counter } = zcf.getTerms(); | ||
| /** @type {MapStore<Instance, GovernorCreatorFacet<any>>} */ | ||
| const instanceToGovernor = provideDurableMapStore( | ||
| baggage, | ||
| 'instanceToGovernor', | ||
| ); | ||
|
|
||
| const makeOfferFilterInvitation = (instance, strings, deadline) => { | ||
| const voteOnOfferFilterHandler = seat => { | ||
| seat.exit(); | ||
|
|
||
| const governor = instanceToGovernor.get(instance); | ||
| return E(governor).voteOnOfferFilter(counter, deadline, strings); | ||
| }; | ||
|
|
||
| return zcf.makeInvitation(voteOnOfferFilterHandler, 'vote on offer filter'); | ||
| }; | ||
|
|
||
| const MakerI = M.interface('Charter InvitationMakers', { | ||
| VoteOnPauseOffers: M.call( | ||
| InstanceHandleShape, | ||
| M.arrayOf(M.string()), | ||
| TimestampShape, | ||
| ).returns(M.promise()), | ||
| }); | ||
|
|
||
| // durable so that when this contract is upgraded this ocap held | ||
| // by committee members (from their invitations) stay capable | ||
| const invitationMakers = prepareExo( | ||
| baggage, | ||
| 'Charter Invitation Makers', | ||
| MakerI, | ||
| { | ||
| VoteOnPauseOffers: makeOfferFilterInvitation, | ||
| }, | ||
| ); | ||
|
|
||
| const charterMemberHandler = seat => { | ||
| seat.exit(); | ||
| return harden({ invitationMakers }); | ||
| }; | ||
|
|
||
| const CharterCreatorI = M.interface('Charter creatorFacet', { | ||
| addInstance: M.call(InstanceHandleShape, M.any()) | ||
| .optional(M.string()) | ||
| .returns(), | ||
| makeCharterMemberInvitation: M.call().returns(M.promise()), | ||
| }); | ||
|
|
||
| const creatorFacet = prepareExo( | ||
| baggage, | ||
| 'Charter creatorFacet', | ||
| CharterCreatorI, | ||
| { | ||
| /** | ||
| * @param {Instance} governedInstance | ||
| * @param {GovernorCreatorFacet<any>} governorFacet | ||
| * @param {string} [label] for diagnostic use only | ||
| */ | ||
| addInstance: (governedInstance, governorFacet, label) => { | ||
| console.log('charter: adding instance', label); | ||
| instanceToGovernor.init(governedInstance, governorFacet); | ||
| }, | ||
| makeCharterMemberInvitation: () => | ||
| zcf.makeInvitation(charterMemberHandler, INVITATION_MAKERS_DESC), | ||
| }, | ||
| ); | ||
|
|
||
| return harden({ creatorFacet }); | ||
| }; | ||
| harden(start); | ||
|
|
||
| /** | ||
| * @typedef {import('@agoric/zoe/src/zoeService/utils.js').StartedInstanceKit<start>} KreadCharterStartResult | ||
| */ |
Oops, something went wrong.