@ottochain/sdk 0.2.0

package/dist/esm/apps/governance/state-machines/governance-executive.json

@@ -0,0 +1,441 @@
+{
+    "metadata": {
+        "name": "Executive",
+        "description": "Execution branch - implements mandates, manages operations, reports outcomes",
+        "version": "1.0.0"
+    },
+    "states": {
+        "RECEIVED": {
+            "id": {
+                "value": "RECEIVED"
+            },
+            "isFinal": false,
+            "metadata": null
+        },
+        "PLANNING": {
+            "id": {
+                "value": "PLANNING"
+            },
+            "isFinal": false,
+            "metadata": null
+        },
+        "EXECUTING": {
+            "id": {
+                "value": "EXECUTING"
+            },
+            "isFinal": false,
+            "metadata": null
+        },
+        "PAUSED": {
+            "id": {
+                "value": "PAUSED"
+            },
+            "isFinal": false,
+            "metadata": null
+        },
+        "COMPLETED": {
+            "id": {
+                "value": "COMPLETED"
+            },
+            "isFinal": true,
+            "metadata": null
+        },
+        "FAILED": {
+            "id": {
+                "value": "FAILED"
+            },
+            "isFinal": true,
+            "metadata": null
+        },
+        "BLOCKED": {
+            "id": {
+                "value": "BLOCKED"
+            },
+            "isFinal": true,
+            "metadata": null
+        },
+        "VETOED": {
+            "id": {
+                "value": "VETOED"
+            },
+            "isFinal": true,
+            "metadata": null
+        }
+    },
+    "initialState": {
+        "value": "RECEIVED"
+    },
+    "transitions": [
+        {
+            "from": {
+                "value": "RECEIVED"
+            },
+            "to": {
+                "value": "PLANNING"
+            },
+            "eventName": "accept",
+            "guard": {
+                "in": [
+                    {
+                        "var": "event.agent"
+                    },
+                    {
+                        "var": "state.executors"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "PLANNING",
+                        "acceptedBy": {
+                            "var": "event.agent"
+                        },
+                        "acceptedAt": {
+                            "var": "$timestamp"
+                        },
+                        "plan": {
+                            "var": "event.plan"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": {
+                "value": "RECEIVED"
+            },
+            "to": {
+                "value": "VETOED"
+            },
+            "eventName": "veto",
+            "guard": {
+                "and": [
+                    {
+                        "var": "state.config.executiveVeto"
+                    },
+                    {
+                        "===": [
+                            {
+                                "var": "event.agent"
+                            },
+                            {
+                                "var": "state.executiveHead"
+                            }
+                        ]
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "VETOED",
+                        "vetoedBy": {
+                            "var": "event.agent"
+                        },
+                        "vetoReason": {
+                            "var": "event.reason"
+                        },
+                        "vetoedAt": {
+                            "var": "$timestamp"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": {
+                "value": "PLANNING"
+            },
+            "to": {
+                "value": "EXECUTING"
+            },
+            "eventName": "begin",
+            "guard": {
+                "in": [
+                    {
+                        "var": "event.agent"
+                    },
+                    {
+                        "var": "state.executors"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "EXECUTING",
+                        "executionStartedAt": {
+                            "var": "$timestamp"
+                        },
+                        "milestones": []
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": {
+                "value": "EXECUTING"
+            },
+            "to": {
+                "value": "EXECUTING"
+            },
+            "eventName": "report_progress",
+            "guard": {
+                "in": [
+                    {
+                        "var": "event.agent"
+                    },
+                    {
+                        "var": "state.executors"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "milestones": {
+                            "cat": [
+                                {
+                                    "var": "state.milestones"
+                                },
+                                [
+                                    {
+                                        "description": {
+                                            "var": "event.description"
+                                        },
+                                        "completedAt": {
+                                            "var": "$timestamp"
+                                        },
+                                        "evidence": {
+                                            "var": "event.evidence"
+                                        }
+                                    }
+                                ]
+                            ]
+                        },
+                        "lastProgressAt": {
+                            "var": "$timestamp"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": {
+                "value": "EXECUTING"
+            },
+            "to": {
+                "value": "PAUSED"
+            },
+            "eventName": "pause",
+            "guard": {
+                "or": [
+                    {
+                        "in": [
+                            {
+                                "var": "event.agent"
+                            },
+                            {
+                                "var": "state.executors"
+                            }
+                        ]
+                    },
+                    {
+                        "var": "event.judicialOrder"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "PAUSED",
+                        "pausedBy": {
+                            "var": "event.agent"
+                        },
+                        "pauseReason": {
+                            "var": "event.reason"
+                        },
+                        "pausedAt": {
+                            "var": "$timestamp"
+                        },
+                        "judicialHold": {
+                            "var": "event.judicialOrder"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": {
+                "value": "PAUSED"
+            },
+            "to": {
+                "value": "EXECUTING"
+            },
+            "eventName": "resume",
+            "guard": {
+                "and": [
+                    {
+                        "in": [
+                            {
+                                "var": "event.agent"
+                            },
+                            {
+                                "var": "state.executors"
+                            }
+                        ]
+                    },
+                    {
+                        "!": [
+                            {
+                                "var": "state.judicialHold"
+                            }
+                        ]
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "EXECUTING",
+                        "resumedAt": {
+                            "var": "$timestamp"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": {
+                "value": "PAUSED"
+            },
+            "to": {
+                "value": "BLOCKED"
+            },
+            "eventName": "block",
+            "guard": {
+                "var": "event.judicialRuling"
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "BLOCKED",
+                        "blockedBy": {
+                            "var": "event.agent"
+                        },
+                        "rulingId": {
+                            "var": "event.rulingId"
+                        },
+                        "blockedAt": {
+                            "var": "$timestamp"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": {
+                "value": "EXECUTING"
+            },
+            "to": {
+                "value": "COMPLETED"
+            },
+            "eventName": "complete",
+            "guard": {
+                "in": [
+                    {
+                        "var": "event.agent"
+                    },
+                    {
+                        "var": "state.executors"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "COMPLETED",
+                        "completedAt": {
+                            "var": "$timestamp"
+                        },
+                        "outcome": {
+                            "var": "event.outcome"
+                        },
+                        "finalReport": {
+                            "var": "event.report"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": {
+                "value": "EXECUTING"
+            },
+            "to": {
+                "value": "FAILED"
+            },
+            "eventName": "fail",
+            "guard": {
+                "in": [
+                    {
+                        "var": "event.agent"
+                    },
+                    {
+                        "var": "state.executors"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "FAILED",
+                        "failedAt": {
+                            "var": "$timestamp"
+                        },
+                        "failureReason": {
+                            "var": "event.reason"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        }
+    ]
+}