arbitration

specification/docs/arbitration.md

@@ -0,0 +1,38 @@
+```mermaid
+sequenceDiagram
+
+participant complainant as Complainant
+participant contract as Disputed Contract
+box Arbitration DAO
+participant arbitration as Arbitration Contract
+participant forum as Forum
+participant bench as Bench
+end
+participant arbitrator as Arbitrator
+participant arbitrators as Arbitration DAO Members
+
+arbitrator ->> arbitration : Stake availability
+complainant ->> contract : Initiate dispute
+contract ->>+ arbitration : Transfer disputed funds
+arbitration ->>+ arbitrator : Assign arbitrator
+loop Resolution
+arbitrator ->>+ forum : Post resolution
+arbitrator ->> arbitration : Submit resolution
+deactivate arbitrator
+arbitration ->>+ bench : Initiate Validation Pool<br>Includes portion of disputed funds as fee
+bench -->> forum : VP targets resolution post
+arbitrators ->> bench : Stake for/against VP
+alt VP passes, resolution favors complainant
+arbitration ->> complainant : Transfer remaining disputed funds
+else VP passes, resolution favors disputed contract
+arbitration ->> contract : Transfer remaining disputed funds
+else VP fails
+arbitration ->> arbitrator : Assign new arbitrator
+end
+deactivate bench
+end %% loop
+deactivate arbitration
+deactivate forum
+
+
+```

specification/docs/system-design.md

@@ -72,7 +72,7 @@ To achieve the Bench requirements, the contract must do the following:
 
     1. Stake should be rejected if the VP `duration` has already elapsed.
 
-    1. Staking REP means that a DAO member makes an allowance for the given amount of REP to be withdrawn from their balance. The amount of the shall be recorded along with the boolean `inFavor`, but the REP is not to be withdraws from the sender's balance until certain conditions are met durint the evaluation of the VP outcome (explained below).
+    1. Staking REP means that a DAO member makes an allowance for the given amount of REP to be withdrawn from their balance. The amount of the shall be recorded along with the boolean `inFavor`, but the REP is not to be withdraws from the sender's balance until certain conditions are met during the evaluation of the VP outcome (explained below).
 
 1. Implement a method for evaluating the outcome of a Validation Pool
 

specification/mkdocs.yml

@@ -17,9 +17,13 @@ markdown_extensions:
 nav:
   - Overview: index.md
   - Terminology: terminology.md
-  - Requirements: requirements.md
-  - System Design: system-design.md
-  - User Stories: user-stories.md
+  - Generalized DAO:
+    - Requirements: requirements.md
+    - System Design: system-design.md
+    - User Stories: user-stories.md
+  - Specialized DAOs:
+    - Arbitration: arbitration.md
+    - Publishing: publishing.md
   - Implementation: 
     - Ethereum Prototype: implementation-solidity.md
     - Casper Production: implementation-casper.md