Runbook: RUN Protocol Preview

context: #5062 Install RUN Protocol Preview release in devnet

Train voters; develop support for the proposal

• announce in Agoric discord: Tue 19 Apr to #devnet-announce
• voting with keplr notes (with video)
• draft proposal title, description
• post to Agoric commonwealth forum?

Store contracts on chain; generate proposal to start them

install agoric-sdk

what version, exactly?

git clone ...
yarn
yarn build

start local solo

cd packages/solo

# NETCONFIG_URL=https://stage.agoric.net/network-config # for practice
NETCONFIG_URL=https://devnet.agoric.net/network-config

export AG_SOLO_BASEDIR=/tmp/stage20  # directory of your choosing

./bin/ag-solo setup --netconfig=${NETCONFIG_URL}

Verify that your ag-solo is up and that you can run E(home.myAddressNameAdmin).getMyAddress().

Deploy the contracts

This takes several minutes and costs around 20K RUN. I think enough RUN is automatically provisioned above.

cd ../../packages/run-protocol
yarn build  # not necessary, by design, but a worthwhile double-check
yarn deploy:contracts
...
{ boardId: 'board04827' }

Take note of the resulting boardId.

Get Anchor IBC denom

For example:

% agd query bank balances agoric1yumvyl7f5nkalss7w59gs6n3jtqv5gmarudx55 --node http://35.184.159.154:26657 
balances:
- amount: "10000"
  denom: ibc/949E954E05CE9E63E072ABD13A7DAAAB338A1E57FFBC148C50D74451AB5067D1
pagination:
  next_key: null
  total: "0"

Build executable proposal

Using the boardId and IBC denom above:

yarn build:eval-permit:psm
INSTALL_CACHE=board04827 \
  ANCHOR_DENOM=ibc/949E954E05CE9E63E072ABD13A7DAAAB338A1E57FFBC148C50D74451AB5067D1 \
  yarn build:eval-code:psm

TODO: eval-code for the rest...

Send the governance proposal to the blockchain

this prototype from PR 5165 needs work:

cd ../cosmic-swingset
make start-committee VOTE_PROPOSAL=1 # salt to taste
make start-runStake VOTE_PROPOSAL=2
make gov-q

Vote on our validators

It may be necessary to become a whale if we don't get sufficient community partipation.

voting in devnet

TODO

Voting in stage

For example (presuming you have the Makefile stuff and relevant access):

CHAIN_ID=agoricstage-22 PROPOSAL_NUM=1 make vote

For voting 1 user: gov-cosmos-vote.sh

Test the results

in the REPL, check E(E(home.agoricNames).lookup('instance')).getEntries() and look for...

• details TBD.

21 Apr attempt showed instances; yay!