From 53fa4a28dcb3e72f54d4a793e9195190af903123 Mon Sep 17 00:00:00 2001
From: Christopher Goes <cwgoes@pluranimity.org>
Date: Mon, 13 Aug 2018 15:55:30 +0200
Subject: [PATCH] Start update of state-machine.md

---
 .../{transactions.md => state-machine.md}     | 21 ++++++++++++++++---
 1 file changed, 18 insertions(+), 3 deletions(-)
 rename docs/spec/slashing/{transactions.md => state-machine.md} (70%)

diff --git a/docs/spec/slashing/transactions.md b/docs/spec/slashing/state-machine.md
similarity index 70%
rename from docs/spec/slashing/transactions.md
rename to docs/spec/slashing/state-machine.md
index c6a9470fc6..67a5ce39aa 100644
--- a/docs/spec/slashing/transactions.md
+++ b/docs/spec/slashing/state-machine.md
@@ -1,8 +1,10 @@
-## Transaction Overview
+## Transaction & State Machine Interaction Overview
+
+### Transactions
 
 In this section we describe the processing of transactions for the `slashing` module.
 
-### TxUnjail
+#### TxUnjail
 
 If a validator was automatically unbonded due to downtime and wishes to come back online &
 possibly rejoin the bonded set, it must send `TxUnjail`:
@@ -35,6 +37,19 @@ handleMsgUnjail(tx TxUnjail)
     return
 ```
 
-If the validotor has enough stake to be in the top hundred, they will be automatically rebonded,
+If the validater has enough stake to be in the top hundred, they will be automatically rebonded,
 and all delegators still delegated to the validator will be rebonded and begin to again collect
 provisions and rewards.
+
+### Interactions
+
+#### Validator Bonded
+
+#### Validator Slashed
+
+#### Validator Unjailed
+
+#### Slashing Period Cleanup
+
+Once no evidence for a given slashing period can possibly be valid (the end time plus the unbonding period is less than the current time),
+old slashing periods should be cleaned up.