@ottochain/sdk 0.2.0

package/dist/cjs/apps/oracles/state-machines/oracle.json

@@ -0,0 +1,452 @@
+{
+    "metadata": {
+        "name": "Oracle",
+        "description": "Oracle registration, reputation, and slashing state machine",
+        "version": "1.0.0"
+    },
+    "states": {
+        "UNREGISTERED": {
+            "id": {
+                "value": "UNREGISTERED"
+            },
+            "isFinal": false,
+            "metadata": null
+        },
+        "REGISTERED": {
+            "id": {
+                "value": "REGISTERED"
+            },
+            "isFinal": false,
+            "metadata": null
+        },
+        "ACTIVE": {
+            "id": {
+                "value": "ACTIVE"
+            },
+            "isFinal": false,
+            "metadata": null
+        },
+        "SLASHED": {
+            "id": {
+                "value": "SLASHED"
+            },
+            "isFinal": false,
+            "metadata": null
+        },
+        "WITHDRAWN": {
+            "id": {
+                "value": "WITHDRAWN"
+            },
+            "isFinal": true,
+            "metadata": null
+        }
+    },
+    "initialState": {
+        "value": "UNREGISTERED"
+    },
+    "transitions": [
+        {
+            "from": {
+                "value": "UNREGISTERED"
+            },
+            "to": {
+                "value": "REGISTERED"
+            },
+            "eventName": "register",
+            "guard": {
+                ">=": [
+                    {
+                        "var": "event.stake"
+                    },
+                    {
+                        "var": "state.minStake"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "REGISTERED",
+                        "address": {
+                            "var": "event.agent"
+                        },
+                        "stake": {
+                            "var": "event.stake"
+                        },
+                        "registeredAt": {
+                            "var": "$timestamp"
+                        },
+                        "reputation": {
+                            "accuracy": 100,
+                            "totalResolutions": 0,
+                            "disputesWon": 0,
+                            "disputesLost": 0
+                        },
+                        "domains": {
+                            "var": "event.domains"
+                        },
+                        "slashingHistory": []
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": {
+                "value": "REGISTERED"
+            },
+            "to": {
+                "value": "ACTIVE"
+            },
+            "eventName": "activate",
+            "guard": {
+                "or": [
+                    {
+                        "===": [
+                            {
+                                "var": "event.agent"
+                            },
+                            {
+                                "var": "state.address"
+                            }
+                        ]
+                    },
+                    {
+                        "var": "event.adminOverride"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "ACTIVE",
+                        "activatedAt": {
+                            "var": "$timestamp"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": {
+                "value": "ACTIVE"
+            },
+            "to": {
+                "value": "ACTIVE"
+            },
+            "eventName": "add_stake",
+            "guard": {
+                "and": [
+                    {
+                        "===": [
+                            {
+                                "var": "event.agent"
+                            },
+                            {
+                                "var": "state.address"
+                            }
+                        ]
+                    },
+                    {
+                        ">": [
+                            {
+                                "var": "event.amount"
+                            },
+                            0
+                        ]
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "stake": {
+                            "+": [
+                                {
+                                    "var": "state.stake"
+                                },
+                                {
+                                    "var": "event.amount"
+                                }
+                            ]
+                        },
+                        "lastStakeAt": {
+                            "var": "$timestamp"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": {
+                "value": "ACTIVE"
+            },
+            "to": {
+                "value": "ACTIVE"
+            },
+            "eventName": "record_resolution",
+            "guard": {
+                "var": "event.marketId"
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "reputation": {
+                            "merge": [
+                                {
+                                    "var": "state.reputation"
+                                },
+                                {
+                                    "totalResolutions": {
+                                        "+": [
+                                            {
+                                                "var": "state.reputation.totalResolutions"
+                                            },
+                                            1
+                                        ]
+                                    },
+                                    "accuracy": {
+                                        "if": [
+                                            {
+                                                "var": "event.correct"
+                                            },
+                                            {
+                                                "var": "state.reputation.accuracy"
+                                            },
+                                            {
+                                                "-": [
+                                                    {
+                                                        "var": "state.reputation.accuracy"
+                                                    },
+                                                    5
+                                                ]
+                                            }
+                                        ]
+                                    }
+                                }
+                            ]
+                        },
+                        "lastResolutionAt": {
+                            "var": "$timestamp"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": {
+                "value": "ACTIVE"
+            },
+            "to": {
+                "value": "SLASHED"
+            },
+            "eventName": "slash",
+            "guard": {
+                "and": [
+                    {
+                        "var": "event.reason"
+                    },
+                    {
+                        ">": [
+                            {
+                                "var": "event.amount"
+                            },
+                            0
+                        ]
+                    },
+                    {
+                        "<=": [
+                            {
+                                "var": "event.amount"
+                            },
+                            {
+                                "var": "state.stake"
+                            }
+                        ]
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "SLASHED",
+                        "stake": {
+                            "-": [
+                                {
+                                    "var": "state.stake"
+                                },
+                                {
+                                    "var": "event.amount"
+                                }
+                            ]
+                        },
+                        "slashingHistory": {
+                            "cat": [
+                                {
+                                    "var": "state.slashingHistory"
+                                },
+                                [
+                                    {
+                                        "reason": {
+                                            "var": "event.reason"
+                                        },
+                                        "amount": {
+                                            "var": "event.amount"
+                                        },
+                                        "marketId": {
+                                            "var": "event.marketId"
+                                        },
+                                        "slashedAt": {
+                                            "var": "$timestamp"
+                                        }
+                                    }
+                                ]
+                            ]
+                        },
+                        "slashedAt": {
+                            "var": "$timestamp"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": {
+                "value": "SLASHED"
+            },
+            "to": {
+                "value": "ACTIVE"
+            },
+            "eventName": "reactivate",
+            "guard": {
+                "and": [
+                    {
+                        "===": [
+                            {
+                                "var": "event.agent"
+                            },
+                            {
+                                "var": "state.address"
+                            }
+                        ]
+                    },
+                    {
+                        ">=": [
+                            {
+                                "var": "state.stake"
+                            },
+                            {
+                                "var": "state.minStake"
+                            }
+                        ]
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "ACTIVE",
+                        "reactivatedAt": {
+                            "var": "$timestamp"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": {
+                "value": "ACTIVE"
+            },
+            "to": {
+                "value": "WITHDRAWN"
+            },
+            "eventName": "withdraw",
+            "guard": {
+                "===": [
+                    {
+                        "var": "event.agent"
+                    },
+                    {
+                        "var": "state.address"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "WITHDRAWN",
+                        "withdrawnAt": {
+                            "var": "$timestamp"
+                        },
+                        "finalStake": {
+                            "var": "state.stake"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": {
+                "value": "SLASHED"
+            },
+            "to": {
+                "value": "WITHDRAWN"
+            },
+            "eventName": "withdraw",
+            "guard": {
+                "===": [
+                    {
+                        "var": "event.agent"
+                    },
+                    {
+                        "var": "state.address"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "WITHDRAWN",
+                        "withdrawnAt": {
+                            "var": "$timestamp"
+                        },
+                        "finalStake": {
+                            "var": "state.stake"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        }
+    ]
+}