feat: graphviz + fixes

contracts/core/src/contract.rs

@@ -607,7 +607,10 @@ fn execute_tick_idle(
 
         attrs.push(attr("knot", "007"));
         let transfer: Option<TransferReadyBatchesMsg> = match unbonded_batches.len() {
-            0 => None, // we have nothing to do
+            0 => {
+                attrs.push(attr("knot", "045"));
+                None
+            } // we have nothing to do
             1 => {
                 let (id, mut unbonding_batch) = unbonded_batches
                     .into_iter()
@@ -672,7 +675,7 @@ fn execute_tick_idle(
                     }
                     unbond_batches_map().save(deps.storage, id, &batch)?;
                 }
-                attrs.push(attr("knot", "008"));
+                attrs.push(attr("knot", "046"));
                 Some(TransferReadyBatchesMsg {
                     batch_ids,
                     emergency,
@@ -736,12 +739,14 @@ fn execute_tick_idle(
                     attrs.push(attr("knot", "022"));
                     attrs.push(attr("state", "staking_rewards"));
                 } else {
-                    attrs.push(attr("knot", "022"));
+                    attrs.push(attr("knot", "024"));
                     if let Some(unbond_message) =
                         get_unbonding_msg(deps.branch(), &env, config, &info)?
                     {
                         messages.push(unbond_message);
+                        attrs.push(attr("knot", "028"));
                         FSM.go_to(deps.storage, ContractState::Unbonding)?;
+                        attrs.push(attr("knot", "029"));
                         attrs.push(attr("state", "unbonding"));
                     } else {
                         attrs.push(attr("state", "idle"));

contracts/core/src/tests.rs

@@ -1386,6 +1386,7 @@ fn test_tick_idle_claim_wo_unbond() {
                         ("knot", "003"),
                         ("knot", "005"),
                         ("knot", "007"),
+                        ("knot", "045"),
                         ("knot", "009"),
                         ("knot", "010"),
                         ("validators_to_claim", "valoper_address"),
@@ -1699,6 +1700,7 @@ fn test_tick_idle_staking_bond() {
                         ("knot", "003"),
                         ("knot", "005"),
                         ("knot", "007"),
+                        ("knot", "045"),
                         ("knot", "009"),
                         ("knot", "010"),
                         ("validators_to_claim", "empty"),
@@ -1864,6 +1866,7 @@ fn test_tick_idle_staking() {
                         ("knot", "003"),
                         ("knot", "005"),
                         ("knot", "007"),
+                        ("knot", "045"),
                         ("knot", "009"),
                         ("knot", "010"),
                         ("validators_to_claim", "empty"),
@@ -2060,12 +2063,15 @@ fn test_tick_idle_unbonding() {
                         ("knot", "003"),
                         ("knot", "005"),
                         ("knot", "007"),
+                        ("knot", "045"),
                         ("knot", "009"),
                         ("knot", "010"),
                         ("validators_to_claim", "empty"),
                         ("knot", "015"),
                         ("knot", "020"),
-                        ("knot", "022"),
+                        ("knot", "024"),
+                        ("knot", "028"),
+                        ("knot", "029"),
                         ("state", "unbonding"),
                         ("knot", "004"),
                     ]

graph.gv

@@ -0,0 +1,110 @@
+digraph G {
+    K001 [label = "K001\ncheck icq response freshness";shape = "diamond";];
+    K000 [label = "K000\nidle";];
+    K002 [label = "K002\ncache exchange rate";shape = "box";];
+    K003 [label = "K003\ncheck last idle call\nidle_min_interval reached";shape = "diamond";];
+
+    K033 [label = "K033\nis there some non-native rewards";shape = "diamond";];
+    K034 [label = "K034\ntransfer non-native rewards msg";shape = "box";];
+    K035 [label = "K035\nNonNativeRewardsTransfer";];
+
+    K036 [label = "K036\nis there pending LSM shares\nto redeem";shape = "diamond";];
+    K037 [label = "K037\nredeem pending LSM shares msg";shape = "box";];
+    K038 [label = "K038\nLSMRedeem";];
+
+    K041 [label = "K041\nis there pending LSM shares\nto transfer";shape = "diamond";];
+    K042 [label = "K042\ntransfer pending LSM shares msg";shape = "box";];
+    K043 [label = "K043\nLSMTransfer";];
+
+    K005 [label = "K005\nUnbondingTimeIsClose?";shape = "diamond";];
+    K007 [label = "K007\nHow many unbonding\nbatches ready to transfer?";shape = "hexagon";];
+    K008 [label = "K008\n compose TransferReadyBatchesMsg";shape = "box";];
+    K045 [label = "K045\nNo batched ready";shape = "box";];
+    K046 [label = "K046\n compose TransferReadyBatchesMsg\nmany batches";shape = "box";];
+
+    K009 [label = "K009\nAre delegations fresh";shape = "diamond";];
+    K010 [label = "K010\nAny validators to claim";shape = "diamond";];
+
+    K015 [label = "K015\nAnything to stake";shape = "diamond";];
+    K016 [label = "K016\ncompose Stake msg";shape = "box";];
+    K017 [label = "K017\nStakingBond";];
+
+    K020 [label = "K020\nRewards to stake";shape = "diamond";];
+    K021 [label = "K021\ncompose Stake rewards msg";shape = "box";];
+    K022 [label = "K022\nStakingRewards";];
+
+    K024 [label = "K024\nAny batch to be unbonded?";shape = "diamond";];
+    K028 [label = "K028\ncompose unbond msg";shape = "box";];
+    K029 [label = "K029\nUnbonding";];
+
+    K011 [label = "K011\ncompose Claim msg";shape = "box";];
+    K012 [label = "K012\nClaiming";];
+    K004 [label = "K004\nUpdate last idle call";];
+
+    ERR [label = "exit";];
+
+    K001 -> K000;
+    K000 -> K002;
+    K002 -> K003;
+    K003 -> K033 [taillabel = "no";];
+
+    K033 -> K034 [taillabel = "yes";];
+    K034 -> K035;
+    K033 -> K036 [taillabel = "no";];
+    K036 -> K037 [taillabel = "yes";];
+    K037 -> K038;
+    K036 -> K041 [taillabel = "no";];
+    K041 -> K042 [taillabel = "yes";];
+    K042 -> K043;
+    K041 -> ERR [taillabel = "no";];
+
+    K003 -> K005 [taillabel = "yes";];
+    K005 -> ERR [taillabel = "yes";];
+    K005 -> K007 [taillabel = "no";];
+
+    K007 -> K045 [taillabel = "0";];
+    K007 -> K008 [taillabel = "1";];
+    K007 -> K046 [taillabel = ">1";];
+
+    K045 -> K009;
+    K008 -> K009;
+    K046 -> K009;
+
+    K009 -> ERR [taillabel = "no";];
+    K009 -> K010 [taillabel = "yes";];
+    K010 -> K015 [taillabel = "no";];
+    K015 -> K016 [taillabel = "yes";];
+    K016 -> K017;
+
+    K015 -> K020 [taillabel = "no";];
+    K020 -> K021 [taillabel = "yes";];
+    K021 -> K022;
+
+    K020 -> K024 [taillabel = "no";];
+    K024 -> K028 [taillabel = "yes";];
+    K028 -> K029;
+
+    K024 -> K000 [taillabel = "no";];
+    K010 -> K011 [taillabel = "no";];
+    K011 -> K012;
+    K012 -> K004;
+
+    K000 -> K004;
+    K029 -> K004;
+    K022 -> K004;
+    K017 -> K004;
+
+    K001 -> K038;
+    K038 -> K000;
+
+    K001 -> K043;
+    K043 -> K000;
+
+    K001 -> K035;
+    K035 -> K000;
+
+    K001 -> K015;
+    K001 -> K020;
+    K001 -> K022;
+    K001 -> K029;
+}