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
...
{ initial: 10, added: 0, total: 10 }
{ boardId: 'board06120' }
Done in 5.18s.

Run yarn deploy:contracts again to see that the output is stable. It should only take a few seconds this time.

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:main

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

Send the governance proposal to the blockchain

Check NETWORK_CONFIG and such in the Makefile.

make submit-proposal

check progress

As often as you like:

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

You should see an AUSD wallet in the purse; this is needed by PSM.

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

• details TBD.

21 Apr attempt showed instances; yay!