imp: update start-demo-ng recipe for plomin hf

Author: johnalotoski

Justfile

@@ -1136,31 +1136,30 @@ start-demo-ng:
 
   export ENV=custom
   export GENESIS_DIR=state-demo-ng
-  export KEY_DIR=state-demo-ng/envs/custom
-  export DATA_DIR=state-demo-ng/rundir
-
-  export CARDANO_NODE_SOCKET_PATH="$STATEDIR/node-demo.socket"
-  export TESTNET_MAGIC=42
-
-  export NUM_GENESIS_KEYS=3
-  export POOL_NAMES="sp-1 sp-2 sp-3"
-  export STAKE_POOL_DIR=state-demo-ng/groups/stake-pools
-
   export BULK_CREDS=state-demo-ng/bulk.creds.all.json
+  export CC_DIR=state-demo-ng/envs/custom/cc-keys
+  export DATA_DIR=state-demo-ng/rundir
+  export KEY_DIR=state-demo-ng/envs/custom
   export PAYMENT_KEY=state-demo-ng/envs/custom/utxo-keys/rich-utxo
-
-  export UNSTABLE=true
-  export UNSTABLE_LIB=true
-  export USE_ENCRYPTION=true
-  export USE_DECRYPTION=true
-  export USE_NODE_CONFIG_BP=false
-  export USE_CREATE_TESTNET_DATA=true
-  export DEBUG=true
-
-  export SECURITY_PARAM=8
-  export SLOT_LENGTH=100
+  export STAKE_POOL_DIR=state-demo-ng/groups/stake-pools
+  export CARDANO_NODE_SOCKET_PATH="$STATEDIR/node-demo.socket"
   export START_TIME=$(date --utc +"%Y-%m-%dT%H:%M:%SZ" --date " now + 30 seconds")
 
+  export NUM_CC_KEYS="${NUM_CC_KEYS:-1}"
+  export NUM_GENESIS_KEYS="${NUM_GENESIS_KEYS:-3}"
+  export TESTNET_MAGIC="${TESTNET_MAGIC:-42}"
+  export POOL_MARGIN="${POOL_MARGIN:-"0.5"}"
+  export POOL_NAMES="${POOL_NAMES:-"sp-1 sp-2 sp-3"}"
+  export UNSTABLE="${UNSTABLE:-true}"
+  export UNSTABLE_LIB="${UNSTABLE_LIB:-true}"
+  export USE_ENCRYPTION="${USE_ENCRYPTION:-true}"
+  export USE_DECRYPTION="${USE_DECRYPTION:-true}"
+  export USE_NODE_CONFIG_BP="${USE_NODE_CONFIG_BP:-false}"
+  export DEBUG="${DEBUG:-true}"
+  export SECURITY_PARAM="${SECURITY_PARAM:-8}"
+  export SLOT_LENGTH="${SLOT_LENGTH:-100}"
+  export FIXED_DELAY_SECS="${FIXED_DELAY_SECS:-10}"
+
   export ERA_CMD=conway
 
   nix run .#job-gen-custom-node-config-data-ng
@@ -1193,20 +1192,21 @@ start-demo-ng:
   POOL_RELAY=demo-ng.local \
     POOL_RELAY_PORT=3001 \
     nix run .#job-register-stake-pools
-  echo "Sleeping 10 seconds until $(date -d  @$(($(date +%s) + 7)))"
+  echo "Sleeping 10 seconds until $(date -d  @$(($(date +%s) + 10)))"
   sleep 10
   echo
 
   echo "Delegating rewards stake key..."
   nix run .#job-delegate-rewards-stake-key
-  echo "Sleeping 10 seconds until $(date -d  @$(($(date +%s) + 7)))"
+  echo "Sleeping 10 seconds until $(date -d  @$(($(date +%s) + 10)))"
   sleep 10
   echo
 
   echo "Retiring the bootstrap pool..."
   BOOTSTRAP_POOL_DIR="$KEY_DIR/bootstrap-pool" \
     RICH_KEY="$KEY_DIR/utxo-keys/rich-utxo" \
     nix run .#job-retire-bootstrap-pool
+  echo "Sleeping 10 seconds until $(date -d  @$(($(date +%s) + 10)))"
   sleep 10
   echo
 
@@ -1216,18 +1216,87 @@ start-demo-ng:
     EPOCH="$1"
 
     while true; do
-        [ "$(jq -re ".$TYPE" <<< "$(just query-tip demo)")" = "$TARGET" ] && break;
+        [ "$(jq -re ".$TYPE" <<< "$(just query-tip demo "$TESTNET_MAGIC")")" = "$TARGET" ] && break;
       sleep 2
     done
   }
 
-  echo "Sleeping until epoch 1 when the bootstrap pool retires"
+  echo "Authorizing the CC member's hot credentials..."
+  INDEX=1 \
+    nix run .#job-register-cc
+  echo "Sleeping $FIXED_DELAY_SECS seconds until $(date -d  @$(($(date +%s) + $FIXED_DELAY_SECS)))"
+  sleep "$FIXED_DELAY_SECS"
+  echo
+
+  # If both cost model and plomin HF are submitted in the same epoch and
+  # ratified in the same epoch, cost model may fail to enact.
+  echo "Submitting a Plomin prep cost model action..."
+  PROPOSAL_ARGS=("--cost-model-file" "scripts/cost-models/mainnet-plutusv3-pv10-prep.json")
+  ACTION="create-protocol-parameters-update" \
+    STAKE_KEY="$STAKE_POOL_DIR/no-deploy/sp-1-owner-stake" \
+    nix run .#job-submit-gov-action -- "${PROPOSAL_ARGS[@]}"
+  echo "Sleeping until cost model can be voted on, epoch 1"
   WAIT_FOR_TIP "epoch" "1"
   echo
 
-  just query-tip demo
+  echo "Submitting a Plomin hard fork action..."
+  PROPOSAL_ARGS=("--protocol-major-version" "10" "--protocol-minor-version" "0")
+  ACTION="create-hardfork" \
+    STAKE_KEY="$STAKE_POOL_DIR/no-deploy/sp-1-owner-stake" \
+    nix run .#job-submit-gov-action -- "${PROPOSAL_ARGS[@]}"
+  echo "Sleeping $FIXED_DELAY_SECS seconds until $(date -d  @$(($(date +%s) + $FIXED_DELAY_SECS)))"
+  sleep "$FIXED_DELAY_SECS"
+  echo
+
+  # Only the CC member needs to approve the cost model, but CC and SPOs need to approve the HF
+  echo "Submitting the CC vote for cost model..."
+  ACTION_TX_ID=$(
+    cardano-cli latest query proposals --testnet-magic "$TESTNET_MAGIC" --all-proposals \
+      | jq -r 'map(select(.proposalProcedure.govAction.tag == "ParameterChange")) | .[0].actionId.txId'
+  ) \
+    DECISION=yes \
+    ROLE=cc \
+    VOTE_KEY="$CC_DIR/cc-1-hot" \
+    nix run .#job-submit-vote
+  echo "Sleeping until plomin HF can be voted on, epoch 2"
+  WAIT_FOR_TIP "epoch" "2"
+  echo
+
+  echo "Submitting the CC vote for the Plomin hard fork..."
+  export ACTION_TX_ID=$(
+    cardano-cli latest query proposals --testnet-magic "$TESTNET_MAGIC" --all-proposals \
+      | jq -r 'map(select(.proposalProcedure.govAction.tag == "HardForkInitiation")) | .[0].actionId.txId'
+  )
+  DECISION=yes \
+    ROLE=cc \
+    VOTE_KEY="$CC_DIR/cc-1-hot" \
+    nix run .#job-submit-vote
+  echo "Sleeping $FIXED_DELAY_SECS seconds until $(date -d  @$(($(date +%s) + $FIXED_DELAY_SECS)))"
+  sleep "$FIXED_DELAY_SECS"
+  echo
+
+  POOL_NAME_ARR=($POOL_NAMES)
+  for i in $(seq 1 "${#POOL_NAME_ARR[@]}"); do
+    echo "Submitting the pool $i vote for the Plomin hard fork..."
+    DECISION=yes \
+      ROLE=spo \
+      VOTE_KEY="$STAKE_POOL_DIR/no-deploy/sp-${i}-cold" \
+      nix run .#job-submit-vote
+    echo "Sleeping $FIXED_DELAY_SECS seconds until $(date -d  @$(($(date +%s) + $FIXED_DELAY_SECS)))"
+    sleep "$FIXED_DELAY_SECS"
+  done
+  echo "Sleeping until epoch 3 for the plomin HF votes to register..."
+  WAIT_FOR_TIP "epoch" "3"
+  echo
+
+  echo "Sleeping until epoch 4 for the Plomin HF action to ratify..."
+  WAIT_FOR_TIP "epoch" "4"
+  echo
+
+  just query-tip demo "$TESTNET_MAGIC"
   echo
   echo "Finished sequence..."
+  echo "Note that any further gov actions will require a constitution to be adopted."
   echo
 
 # Start a local node for a specific env