@ottochain/sdk 1.6.0 → 2.0.0

package/dist/esm/apps/markets/state-machines/index.js

@@ -2,47 +2,58 @@
  * Auto-generated from JSON state machine definitions.
  * DO NOT EDIT - regenerate with: npm run prebuild
  */
-export const marketUniversalDef = {
+export const marketAuctionDef = {
     "metadata": {
-        "name": "Market",
-        "description": "Universal market state machine: predictions, auctions, crowdfunding, group buys",
-        "version": "1.1.0"
+        "name": "MarketAuction",
+        "description": "Auction market supporting English, Dutch, and sealed-bid variants",
+        "version": "1.0.0",
+        "crossReferences": {
+            "sellerIdentityId": "Links to seller's IdentityAgent",
+            "escrowId": "Links to ContractEscrow for asset custody"
+        }
     },
     "states": {
         "PROPOSED": {
             "id": "PROPOSED",
             "isFinal": false,
-            "metadata": null
+            "metadata": {
+                "description": "Auction created but not yet open"
+            }
         },
         "OPEN": {
             "id": "OPEN",
             "isFinal": false,
-            "metadata": null
-        },
-        "CLOSED": {
-            "id": "CLOSED",
-            "isFinal": false,
-            "metadata": null
+            "metadata": {
+                "description": "Accepting bids"
+            }
         },
-        "RESOLVING": {
-            "id": "RESOLVING",
+        "CLOSING": {
+            "id": "CLOSING",
             "isFinal": false,
-            "metadata": null
+            "metadata": {
+                "description": "Bid period ended, determining winner"
+            }
         },
         "SETTLED": {
             "id": "SETTLED",
             "isFinal": true,
-            "metadata": null
+            "metadata": {
+                "description": "Winner determined, transfer complete"
+            }
         },
-        "REFUNDED": {
-            "id": "REFUNDED",
+        "NO_SALE": {
+            "id": "NO_SALE",
             "isFinal": true,
-            "metadata": null
+            "metadata": {
+                "description": "Reserve not met or no valid bids"
+            }
         },
         "CANCELLED": {
             "id": "CANCELLED",
             "isFinal": true,
-            "metadata": null
+            "metadata": {
+                "description": "Auction cancelled by seller"
+            }
         }
     },
     "initialState": "PROPOSED",
@@ -57,7 +68,7 @@ export const marketUniversalDef = {
                         "var": "event.agent"
                     },
                     {
-                        "var": "state.creator"
+                        "var": "state.seller"
                     }
                 ]
             },
@@ -69,8 +80,11 @@ export const marketUniversalDef = {
                     {
                         "status": "OPEN",
                         "openedAt": {
-                            "var": "$epochProgress"
-                        }
+                            "var": "$timestamp"
+                        },
+                        "bids": [],
+                        "highBid": null,
+                        "highBidder": null
                     }
                 ]
             },
@@ -86,7 +100,7 @@ export const marketUniversalDef = {
                         "var": "event.agent"
                     },
                     {
-                        "var": "state.creator"
+                        "var": "state.seller"
                     }
                 ]
             },
@@ -98,10 +112,7 @@ export const marketUniversalDef = {
                     {
                         "status": "CANCELLED",
                         "cancelledAt": {
-                            "var": "$epochProgress"
-                        },
-                        "reason": {
-                            "var": "event.reason"
+                            "var": "$timestamp"
                         }
                     }
                 ]
@@ -111,15 +122,55 @@ export const marketUniversalDef = {
         {
             "from": "OPEN",
             "to": "OPEN",
-            "eventName": "commit",
+            "eventName": "bid",
             "guard": {
                 "and": [
                     {
-                        ">": [
+                        "!==": [
+                            {
+                                "var": "event.agent"
+                            },
+                            {
+                                "var": "state.seller"
+                            }
+                        ]
+                    },
+                    {
+                        ">=": [
                             {
                                 "var": "event.amount"
                             },
-                            0
+                            {
+                                "var": "state.minBid"
+                            }
+                        ]
+                    },
+                    {
+                        "or": [
+                            {
+                                "!": [
+                                    {
+                                        "var": "state.highBid"
+                                    }
+                                ]
+                            },
+                            {
+                                ">=": [
+                                    {
+                                        "var": "event.amount"
+                                    },
+                                    {
+                                        "+": [
+                                            {
+                                                "var": "state.highBid"
+                                            },
+                                            {
+                                                "var": "state.bidIncrement"
+                                            }
+                                        ]
+                                    }
+                                ]
+                            }
                         ]
                     },
                     {
@@ -134,7 +185,7 @@ export const marketUniversalDef = {
                             {
                                 "<=": [
                                     {
-                                        "var": "$epochProgress"
+                                        "var": "$timestamp"
                                     },
                                     {
                                         "var": "state.deadline"
@@ -151,38 +202,34 @@ export const marketUniversalDef = {
                         "var": "state"
                     },
                     {
-                        "commitments": {
-                            "merge": [
+                        "bids": {
+                            "cat": [
                                 {
-                                    "var": "state.commitments"
+                                    "var": "state.bids"
                                 },
                                 [
                                     {
-                                        "agent": {
+                                        "bidder": {
                                             "var": "event.agent"
                                         },
                                         "amount": {
                                             "var": "event.amount"
                                         },
-                                        "data": {
-                                            "var": "event.data"
-                                        },
-                                        "committedAt": {
-                                            "var": "$epochProgress"
+                                        "bidAt": {
+                                            "var": "$timestamp"
                                         }
                                     }
                                 ]
                             ]
                         },
-                        "totalCommitted": {
-                            "+": [
-                                {
-                                    "var": "state.totalCommitted"
-                                },
-                                {
-                                    "var": "event.amount"
-                                }
-                            ]
+                        "highBid": {
+                            "var": "event.amount"
+                        },
+                        "highBidder": {
+                            "var": "event.agent"
+                        },
+                        "lastBidAt": {
+                            "var": "$timestamp"
                         }
                     }
                 ]
@@ -191,7 +238,7 @@ export const marketUniversalDef = {
         },
         {
             "from": "OPEN",
-            "to": "CLOSED",
+            "to": "CLOSING",
             "eventName": "close",
             "guard": {
                 "or": [
@@ -201,7 +248,7 @@ export const marketUniversalDef = {
                                 "var": "event.agent"
                             },
                             {
-                                "var": "state.creator"
+                                "var": "state.seller"
                             }
                         ]
                     },
@@ -213,7 +260,7 @@ export const marketUniversalDef = {
                             {
                                 ">=": [
                                     {
-                                        "var": "$epochProgress"
+                                        "var": "$timestamp"
                                     },
                                     {
                                         "var": "state.deadline"
@@ -230,9 +277,9 @@ export const marketUniversalDef = {
                         "var": "state"
                     },
                     {
-                        "status": "CLOSED",
+                        "status": "CLOSING",
                         "closedAt": {
-                            "var": "$epochProgress"
+                            "var": "$timestamp"
                         }
                     }
                 ]
@@ -240,28 +287,32 @@ export const marketUniversalDef = {
             "dependencies": []
         },
         {
-            "from": "CLOSED",
-            "to": "RESOLVING",
-            "eventName": "submit_resolution",
+            "from": "CLOSING",
+            "to": "SETTLED",
+            "eventName": "settle",
             "guard": {
-                "or": [
+                "and": [
                     {
-                        "in": [
-                            {
-                                "var": "event.agent"
-                            },
-                            {
-                                "var": "state.oracles"
-                            }
-                        ]
+                        "var": "state.highBidder"
                     },
                     {
-                        "===": [
+                        "or": [
                             {
-                                "var": "event.agent"
+                                "!": [
+                                    {
+                                        "var": "state.reservePrice"
+                                    }
+                                ]
                             },
                             {
-                                "var": "state.creator"
+                                ">=": [
+                                    {
+                                        "var": "state.highBid"
+                                    },
+                                    {
+                                        "var": "state.reservePrice"
+                                    }
+                                ]
                             }
                         ]
                     }
@@ -273,29 +324,15 @@ export const marketUniversalDef = {
                         "var": "state"
                     },
                     {
-                        "status": "RESOLVING",
-                        "resolutions": {
-                            "merge": [
-                                {
-                                    "var": "state.resolutions"
-                                },
-                                [
-                                    {
-                                        "oracle": {
-                                            "var": "event.agent"
-                                        },
-                                        "outcome": {
-                                            "var": "event.outcome"
-                                        },
-                                        "proof": {
-                                            "var": "event.proof"
-                                        },
-                                        "submittedAt": {
-                                            "var": "$epochProgress"
-                                        }
-                                    }
-                                ]
-                            ]
+                        "status": "SETTLED",
+                        "settledAt": {
+                            "var": "$timestamp"
+                        },
+                        "winner": {
+                            "var": "state.highBidder"
+                        },
+                        "finalPrice": {
+                            "var": "state.highBid"
                         }
                     }
                 ]
@@ -303,37 +340,30 @@ export const marketUniversalDef = {
             "dependencies": []
         },
         {
-            "from": "RESOLVING",
-            "to": "RESOLVING",
-            "eventName": "submit_resolution",
+            "from": "CLOSING",
+            "to": "NO_SALE",
+            "eventName": "no_sale",
             "guard": {
-                "and": [
+                "or": [
                     {
-                        "in": [
-                            {
-                                "var": "event.agent"
-                            },
+                        "!": [
                             {
-                                "var": "state.oracles"
+                                "var": "state.highBidder"
                             }
                         ]
                     },
                     {
-                        "!": [
+                        "and": [
                             {
-                                "in": [
+                                "var": "state.reservePrice"
+                            },
+                            {
+                                "<": [
                                     {
-                                        "var": "event.agent"
+                                        "var": "state.highBid"
                                     },
                                     {
-                                        "map": [
-                                            {
-                                                "var": "state.resolutions"
-                                            },
-                                            {
-                                                "var": "oracle"
-                                            }
-                                        ]
+                                        "var": "state.reservePrice"
                                     }
                                 ]
                             }
@@ -347,75 +377,90 @@ export const marketUniversalDef = {
                         "var": "state"
                     },
                     {
-                        "resolutions": {
-                            "merge": [
+                        "status": "NO_SALE",
+                        "closedAt": {
+                            "var": "$timestamp"
+                        },
+                        "reason": {
+                            "if": [
                                 {
-                                    "var": "state.resolutions"
-                                },
-                                [
-                                    {
-                                        "oracle": {
-                                            "var": "event.agent"
-                                        },
-                                        "outcome": {
-                                            "var": "event.outcome"
-                                        },
-                                        "proof": {
-                                            "var": "event.proof"
-                                        },
-                                        "submittedAt": {
-                                            "var": "$epochProgress"
+                                    "!": [
+                                        {
+                                            "var": "state.highBidder"
                                         }
-                                    }
-                                ]
+                                    ]
+                                },
+                                "no_bids",
+                                "reserve_not_met"
                             ]
                         }
                     }
                 ]
             },
             "dependencies": []
+        }
+    ]
+};
+export const marketCrowdfundDef = {
+    "metadata": {
+        "name": "MarketCrowdfund",
+        "description": "All-or-nothing crowdfunding with threshold, deadline, and stretch goals",
+        "version": "1.0.0",
+        "crossReferences": {
+            "creatorIdentityId": "Links to creator's IdentityAgent",
+            "treasuryId": "Links to Treasury for fund custody"
+        }
+    },
+    "states": {
+        "PROPOSED": {
+            "id": "PROPOSED",
+            "isFinal": false,
+            "metadata": {
+                "description": "Campaign created but not yet open"
+            }
+        },
+        "OPEN": {
+            "id": "OPEN",
+            "isFinal": false,
+            "metadata": {
+                "description": "Accepting pledges"
+            }
+        },
+        "FUNDED": {
+            "id": "FUNDED",
+            "isFinal": true,
+            "metadata": {
+                "description": "Threshold met, funds released to creator"
+            }
+        },
+        "REFUNDED": {
+            "id": "REFUNDED",
+            "isFinal": true,
+            "metadata": {
+                "description": "Threshold not met, all pledges refunded"
+            }
         },
+        "CANCELLED": {
+            "id": "CANCELLED",
+            "isFinal": true,
+            "metadata": {
+                "description": "Campaign cancelled by creator"
+            }
+        }
+    },
+    "initialState": "PROPOSED",
+    "transitions": [
         {
-            "from": "RESOLVING",
-            "to": "SETTLED",
-            "eventName": "finalize",
+            "from": "PROPOSED",
+            "to": "OPEN",
+            "eventName": "launch",
             "guard": {
-                "or": [
-                    {
-                        ">=": [
-                            {
-                                "size": {
-                                    "var": "state.resolutions"
-                                }
-                            },
-                            {
-                                "var": "state.quorum"
-                            }
-                        ]
-                    },
-                    {
-                        "===": [
-                            {
-                                "var": "state.marketType"
-                            },
-                            "crowdfund"
-                        ]
-                    },
+                "===": [
                     {
-                        "===": [
-                            {
-                                "var": "state.marketType"
-                            },
-                            "group_buy"
-                        ]
+                        "var": "event.agent"
                     },
                     {
-                        "===": [
-                            {
-                                "var": "state.marketType"
-                            },
-                            "auction"
-                        ]
+                        "var": "state.creator"
                     }
                 ]
             },
@@ -425,37 +470,99 @@ export const marketUniversalDef = {
                         "var": "state"
                     },
                     {
-                        "status": "SETTLED",
-                        "settledAt": {
-                            "var": "$epochProgress"
-                        },
-                        "finalOutcome": {
-                            "var": "event.outcome"
+                        "status": "OPEN",
+                        "launchedAt": {
+                            "var": "$timestamp"
                         },
-                        "settlement": {
-                            "var": "event.settlement"
-                        }
+                        "pledges": [],
+                        "totalPledged": 0,
+                        "backerCount": 0
                     }
                 ]
             },
             "dependencies": []
         },
         {
-            "from": "CLOSED",
-            "to": "REFUNDED",
-            "eventName": "refund",
+            "from": "PROPOSED",
+            "to": "CANCELLED",
+            "eventName": "cancel",
             "guard": {
-                "and": [
+                "===": [
                     {
-                        "var": "state.threshold"
+                        "var": "event.agent"
                     },
                     {
-                        "<": [
+                        "var": "state.creator"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "CANCELLED",
+                        "cancelledAt": {
+                            "var": "$timestamp"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "OPEN",
+            "to": "OPEN",
+            "eventName": "pledge",
+            "guard": {
+                "and": [
+                    {
+                        ">": [
+                            {
+                                "var": "event.amount"
+                            },
+                            0
+                        ]
+                    },
+                    {
+                        "!==": [
                             {
-                                "var": "state.totalCommitted"
+                                "var": "event.agent"
                             },
                             {
-                                "var": "state.threshold"
+                                "var": "state.creator"
+                            }
+                        ]
+                    },
+                    {
+                        "or": [
+                            {
+                                "!": [
+                                    {
+                                        "var": "state.minPledge"
+                                    }
+                                ]
+                            },
+                            {
+                                ">=": [
+                                    {
+                                        "var": "event.amount"
+                                    },
+                                    {
+                                        "var": "state.minPledge"
+                                    }
+                                ]
+                            }
+                        ]
+                    },
+                    {
+                        "<=": [
+                            {
+                                "var": "$timestamp"
+                            },
+                            {
+                                "var": "state.deadline"
                             }
                         ]
                     }
@@ -467,53 +574,206 @@ export const marketUniversalDef = {
                         "var": "state"
                     },
                     {
-                        "status": "REFUNDED",
-                        "refundedAt": {
-                            "var": "$epochProgress"
+                        "pledges": {
+                            "cat": [
+                                {
+                                    "var": "state.pledges"
+                                },
+                                [
+                                    {
+                                        "backer": {
+                                            "var": "event.agent"
+                                        },
+                                        "amount": {
+                                            "var": "event.amount"
+                                        },
+                                        "rewardTier": {
+                                            "var": "event.rewardTier"
+                                        },
+                                        "pledgedAt": {
+                                            "var": "$timestamp"
+                                        }
+                                    }
+                                ]
+                            ]
                         },
-                        "reason": "threshold_not_met"
+                        "totalPledged": {
+                            "+": [
+                                {
+                                    "var": "state.totalPledged"
+                                },
+                                {
+                                    "var": "event.amount"
+                                }
+                            ]
+                        },
+                        "backerCount": {
+                            "+": [
+                                {
+                                    "var": "state.backerCount"
+                                },
+                                1
+                            ]
+                        }
                     }
                 ]
             },
             "dependencies": []
         },
         {
-            "from": "RESOLVING",
-            "to": "REFUNDED",
-            "eventName": "refund",
+            "from": "OPEN",
+            "to": "OPEN",
+            "eventName": "increase_pledge",
             "guard": {
-                "or": [
+                "and": [
                     {
-                        "===": [
+                        ">": [
                             {
-                                "var": "event.agent"
+                                "var": "event.additionalAmount"
+                            },
+                            0
+                        ]
+                    },
+                    {
+                        "<=": [
+                            {
+                                "var": "$timestamp"
                             },
                             {
-                                "var": "state.creator"
+                                "var": "state.deadline"
                             }
                         ]
                     },
                     {
-                        ">=": [
+                        ">": [
                             {
                                 "size": {
                                     "filter": [
                                         {
-                                            "var": "state.resolutions"
+                                            "var": "state.pledges"
                                         },
                                         {
                                             "===": [
                                                 {
-                                                    "var": "outcome"
+                                                    "var": "backer"
                                                 },
-                                                "INVALID"
+                                                {
+                                                    "var": "event.agent"
+                                                }
                                             ]
                                         }
                                     ]
                                 }
                             },
+                            0
+                        ]
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "totalPledged": {
+                            "+": [
+                                {
+                                    "var": "state.totalPledged"
+                                },
+                                {
+                                    "var": "event.additionalAmount"
+                                }
+                            ]
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "OPEN",
+            "to": "FUNDED",
+            "eventName": "finalize",
+            "guard": {
+                "and": [
+                    {
+                        ">=": [
+                            {
+                                "var": "state.totalPledged"
+                            },
+                            {
+                                "var": "state.threshold"
+                            }
+                        ]
+                    },
+                    {
+                        ">=": [
+                            {
+                                "var": "$timestamp"
+                            },
+                            {
+                                "var": "state.deadline"
+                            }
+                        ]
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "FUNDED",
+                        "fundedAt": {
+                            "var": "$timestamp"
+                        },
+                        "stretchGoalsReached": {
+                            "filter": [
+                                {
+                                    "var": "state.stretchGoals"
+                                },
+                                {
+                                    "<=": [
+                                        {
+                                            "var": "target"
+                                        },
+                                        {
+                                            "var": "state.totalPledged"
+                                        }
+                                    ]
+                                }
+                            ]
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "OPEN",
+            "to": "REFUNDED",
+            "eventName": "finalize",
+            "guard": {
+                "and": [
+                    {
+                        "<": [
+                            {
+                                "var": "state.totalPledged"
+                            },
+                            {
+                                "var": "state.threshold"
+                            }
+                        ]
+                    },
+                    {
+                        ">=": [
+                            {
+                                "var": "$timestamp"
+                            },
                             {
-                                "var": "state.quorum"
+                                "var": "state.deadline"
                             }
                         ]
                     }
@@ -527,20 +787,18 @@ export const marketUniversalDef = {
                     {
                         "status": "REFUNDED",
                         "refundedAt": {
-                            "var": "$epochProgress"
+                            "var": "$timestamp"
                         },
-                        "reason": {
-                            "var": "event.reason"
-                        }
+                        "reason": "threshold_not_met"
                     }
                 ]
             },
             "dependencies": []
         },
         {
-            "from": "SETTLED",
-            "to": "SETTLED",
-            "eventName": "claim",
+            "from": "REFUNDED",
+            "to": "REFUNDED",
+            "eventName": "claim_refund",
             "guard": {
                 "and": [
                     {
@@ -549,12 +807,12 @@ export const marketUniversalDef = {
                                 "size": {
                                     "filter": [
                                         {
-                                            "var": "state.commitments"
+                                            "var": "state.pledges"
                                         },
                                         {
                                             "===": [
                                                 {
-                                                    "var": "agent"
+                                                    "var": "backer"
                                                 },
                                                 {
                                                     "var": "event.agent"
@@ -575,14 +833,7 @@ export const marketUniversalDef = {
                                         "var": "event.agent"
                                     },
                                     {
-                                        "map": [
-                                            {
-                                                "var": "state.claims"
-                                            },
-                                            {
-                                                "var": "agent"
-                                            }
-                                        ]
+                                        "var": "state.refundsClaimed"
                                     }
                                 ]
                             }
@@ -596,22 +847,14 @@ export const marketUniversalDef = {
                         "var": "state"
                     },
                     {
-                        "claims": {
-                            "merge": [
+                        "refundsClaimed": {
+                            "cat": [
                                 {
-                                    "var": "state.claims"
+                                    "var": "state.refundsClaimed"
                                 },
                                 [
                                     {
-                                        "agent": {
-                                            "var": "event.agent"
-                                        },
-                                        "amount": {
-                                            "var": "event.amount"
-                                        },
-                                        "claimedAt": {
-                                            "var": "$epochProgress"
-                                        }
+                                        "var": "event.agent"
                                     }
                                 ]
                             ]
@@ -623,3 +866,1434 @@ export const marketUniversalDef = {
         }
     ]
 };
+export const marketGroupBuyDef = {
+    "metadata": {
+        "name": "MarketGroupBuy",
+        "description": "Collective purchasing with quantity thresholds and tiered pricing",
+        "version": "1.0.0",
+        "crossReferences": {
+            "vendorIdentityId": "Links to vendor's IdentityAgent",
+            "escrowId": "Links to ContractEscrow for payment custody"
+        }
+    },
+    "states": {
+        "PROPOSED": {
+            "id": "PROPOSED",
+            "isFinal": false,
+            "metadata": {
+                "description": "Group buy created but not yet open"
+            }
+        },
+        "OPEN": {
+            "id": "OPEN",
+            "isFinal": false,
+            "metadata": {
+                "description": "Accepting orders"
+            }
+        },
+        "THRESHOLD_MET": {
+            "id": "THRESHOLD_MET",
+            "isFinal": false,
+            "metadata": {
+                "description": "Minimum quantity reached, continuing for better tier"
+            }
+        },
+        "PROCESSING": {
+            "id": "PROCESSING",
+            "isFinal": false,
+            "metadata": {
+                "description": "Order placed with vendor, awaiting fulfillment"
+            }
+        },
+        "FULFILLED": {
+            "id": "FULFILLED",
+            "isFinal": true,
+            "metadata": {
+                "description": "All items delivered to buyers"
+            }
+        },
+        "REFUNDED": {
+            "id": "REFUNDED",
+            "isFinal": true,
+            "metadata": {
+                "description": "Threshold not met, all orders refunded"
+            }
+        },
+        "CANCELLED": {
+            "id": "CANCELLED",
+            "isFinal": true,
+            "metadata": {
+                "description": "Group buy cancelled"
+            }
+        }
+    },
+    "initialState": "PROPOSED",
+    "transitions": [
+        {
+            "from": "PROPOSED",
+            "to": "OPEN",
+            "eventName": "open",
+            "guard": {
+                "===": [
+                    {
+                        "var": "event.agent"
+                    },
+                    {
+                        "var": "state.organizer"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "OPEN",
+                        "openedAt": {
+                            "var": "$timestamp"
+                        },
+                        "orders": [],
+                        "totalQuantity": 0,
+                        "currentTier": 0
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "PROPOSED",
+            "to": "CANCELLED",
+            "eventName": "cancel",
+            "guard": {
+                "===": [
+                    {
+                        "var": "event.agent"
+                    },
+                    {
+                        "var": "state.organizer"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "CANCELLED",
+                        "cancelledAt": {
+                            "var": "$timestamp"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "OPEN",
+            "to": "OPEN",
+            "eventName": "order",
+            "guard": {
+                "and": [
+                    {
+                        ">": [
+                            {
+                                "var": "event.quantity"
+                            },
+                            0
+                        ]
+                    },
+                    {
+                        "or": [
+                            {
+                                "!": [
+                                    {
+                                        "var": "state.maxPerBuyer"
+                                    }
+                                ]
+                            },
+                            {
+                                "<=": [
+                                    {
+                                        "var": "event.quantity"
+                                    },
+                                    {
+                                        "var": "state.maxPerBuyer"
+                                    }
+                                ]
+                            }
+                        ]
+                    },
+                    {
+                        "<=": [
+                            {
+                                "var": "$timestamp"
+                            },
+                            {
+                                "var": "state.deadline"
+                            }
+                        ]
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "orders": {
+                            "cat": [
+                                {
+                                    "var": "state.orders"
+                                },
+                                [
+                                    {
+                                        "buyer": {
+                                            "var": "event.agent"
+                                        },
+                                        "quantity": {
+                                            "var": "event.quantity"
+                                        },
+                                        "shippingInfo": {
+                                            "var": "event.shippingInfo"
+                                        },
+                                        "orderedAt": {
+                                            "var": "$timestamp"
+                                        }
+                                    }
+                                ]
+                            ]
+                        },
+                        "totalQuantity": {
+                            "+": [
+                                {
+                                    "var": "state.totalQuantity"
+                                },
+                                {
+                                    "var": "event.quantity"
+                                }
+                            ]
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "OPEN",
+            "to": "THRESHOLD_MET",
+            "eventName": "check_threshold",
+            "guard": {
+                ">=": [
+                    {
+                        "var": "state.totalQuantity"
+                    },
+                    {
+                        "var": "state.minQuantity"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "THRESHOLD_MET",
+                        "thresholdMetAt": {
+                            "var": "$timestamp"
+                        },
+                        "currentTier": {
+                            "reduce": [
+                                {
+                                    "var": "state.priceTiers"
+                                },
+                                {
+                                    "if": [
+                                        {
+                                            "<=": [
+                                                {
+                                                    "var": "current.minQuantity"
+                                                },
+                                                {
+                                                    "var": "state.totalQuantity"
+                                                }
+                                            ]
+                                        },
+                                        {
+                                            "var": "current.tier"
+                                        },
+                                        {
+                                            "var": "accumulator"
+                                        }
+                                    ]
+                                },
+                                0
+                            ]
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "THRESHOLD_MET",
+            "to": "THRESHOLD_MET",
+            "eventName": "order",
+            "guard": {
+                "and": [
+                    {
+                        ">": [
+                            {
+                                "var": "event.quantity"
+                            },
+                            0
+                        ]
+                    },
+                    {
+                        "<=": [
+                            {
+                                "var": "$timestamp"
+                            },
+                            {
+                                "var": "state.deadline"
+                            }
+                        ]
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "orders": {
+                            "cat": [
+                                {
+                                    "var": "state.orders"
+                                },
+                                [
+                                    {
+                                        "buyer": {
+                                            "var": "event.agent"
+                                        },
+                                        "quantity": {
+                                            "var": "event.quantity"
+                                        },
+                                        "shippingInfo": {
+                                            "var": "event.shippingInfo"
+                                        },
+                                        "orderedAt": {
+                                            "var": "$timestamp"
+                                        }
+                                    }
+                                ]
+                            ]
+                        },
+                        "totalQuantity": {
+                            "+": [
+                                {
+                                    "var": "state.totalQuantity"
+                                },
+                                {
+                                    "var": "event.quantity"
+                                }
+                            ]
+                        },
+                        "currentTier": {
+                            "reduce": [
+                                {
+                                    "var": "state.priceTiers"
+                                },
+                                {
+                                    "if": [
+                                        {
+                                            "<=": [
+                                                {
+                                                    "var": "current.minQuantity"
+                                                },
+                                                {
+                                                    "+": [
+                                                        {
+                                                            "var": "state.totalQuantity"
+                                                        },
+                                                        {
+                                                            "var": "event.quantity"
+                                                        }
+                                                    ]
+                                                }
+                                            ]
+                                        },
+                                        {
+                                            "var": "current.tier"
+                                        },
+                                        {
+                                            "var": "accumulator"
+                                        }
+                                    ]
+                                },
+                                {
+                                    "var": "state.currentTier"
+                                }
+                            ]
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "THRESHOLD_MET",
+            "to": "PROCESSING",
+            "eventName": "finalize",
+            "guard": {
+                ">=": [
+                    {
+                        "var": "$timestamp"
+                    },
+                    {
+                        "var": "state.deadline"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "PROCESSING",
+                        "finalizedAt": {
+                            "var": "$timestamp"
+                        },
+                        "finalTier": {
+                            "var": "state.currentTier"
+                        },
+                        "finalPricePerUnit": {
+                            "var": {
+                                "cat": [
+                                    "state.priceTiers.",
+                                    {
+                                        "var": "state.currentTier"
+                                    },
+                                    ".pricePerUnit"
+                                ]
+                            }
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "PROCESSING",
+            "to": "FULFILLED",
+            "eventName": "fulfill",
+            "guard": {
+                "or": [
+                    {
+                        "===": [
+                            {
+                                "var": "event.agent"
+                            },
+                            {
+                                "var": "state.vendor"
+                            }
+                        ]
+                    },
+                    {
+                        "===": [
+                            {
+                                "var": "event.agent"
+                            },
+                            {
+                                "var": "state.organizer"
+                            }
+                        ]
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "FULFILLED",
+                        "fulfilledAt": {
+                            "var": "$timestamp"
+                        },
+                        "trackingInfo": {
+                            "var": "event.trackingInfo"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "OPEN",
+            "to": "REFUNDED",
+            "eventName": "finalize",
+            "guard": {
+                "and": [
+                    {
+                        "<": [
+                            {
+                                "var": "state.totalQuantity"
+                            },
+                            {
+                                "var": "state.minQuantity"
+                            }
+                        ]
+                    },
+                    {
+                        ">=": [
+                            {
+                                "var": "$timestamp"
+                            },
+                            {
+                                "var": "state.deadline"
+                            }
+                        ]
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "REFUNDED",
+                        "refundedAt": {
+                            "var": "$timestamp"
+                        },
+                        "reason": "threshold_not_met"
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "REFUNDED",
+            "to": "REFUNDED",
+            "eventName": "claim_refund",
+            "guard": {
+                "and": [
+                    {
+                        ">": [
+                            {
+                                "size": {
+                                    "filter": [
+                                        {
+                                            "var": "state.orders"
+                                        },
+                                        {
+                                            "===": [
+                                                {
+                                                    "var": "buyer"
+                                                },
+                                                {
+                                                    "var": "event.agent"
+                                                }
+                                            ]
+                                        }
+                                    ]
+                                }
+                            },
+                            0
+                        ]
+                    },
+                    {
+                        "!": [
+                            {
+                                "in": [
+                                    {
+                                        "var": "event.agent"
+                                    },
+                                    {
+                                        "var": "state.refundsClaimed"
+                                    }
+                                ]
+                            }
+                        ]
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "refundsClaimed": {
+                            "cat": [
+                                {
+                                    "var": "state.refundsClaimed"
+                                },
+                                [
+                                    {
+                                        "var": "event.agent"
+                                    }
+                                ]
+                            ]
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        }
+    ]
+};
+export const marketPredictionDef = {
+    "metadata": {
+        "name": "MarketPrediction",
+        "description": "Binary or multi-outcome prediction market with oracle resolution and position staking",
+        "version": "1.0.0",
+        "crossReferences": {
+            "oracleId": "Links to IdentityOracle that resolves the outcome",
+            "creatorIdentityId": "Links to creator's IdentityAgent"
+        }
+    },
+    "states": {
+        "PROPOSED": {
+            "id": "PROPOSED",
+            "isFinal": false,
+            "metadata": {
+                "description": "Market created but not yet open for trading"
+            }
+        },
+        "OPEN": {
+            "id": "OPEN",
+            "isFinal": false,
+            "metadata": {
+                "description": "Accepting positions on outcomes"
+            }
+        },
+        "CLOSED": {
+            "id": "CLOSED",
+            "isFinal": false,
+            "metadata": {
+                "description": "No more positions, awaiting resolution"
+            }
+        },
+        "RESOLVING": {
+            "id": "RESOLVING",
+            "isFinal": false,
+            "metadata": {
+                "description": "Oracle(s) submitting resolution"
+            }
+        },
+        "DISPUTED": {
+            "id": "DISPUTED",
+            "isFinal": false,
+            "metadata": {
+                "description": "Resolution challenged, awaiting arbitration"
+            }
+        },
+        "SETTLED": {
+            "id": "SETTLED",
+            "isFinal": true,
+            "metadata": {
+                "description": "Outcome finalized, payouts available"
+            }
+        },
+        "REFUNDED": {
+            "id": "REFUNDED",
+            "isFinal": true,
+            "metadata": {
+                "description": "Market invalidated, all positions refunded"
+            }
+        },
+        "CANCELLED": {
+            "id": "CANCELLED",
+            "isFinal": true,
+            "metadata": {
+                "description": "Market cancelled before opening"
+            }
+        }
+    },
+    "initialState": "PROPOSED",
+    "transitions": [
+        {
+            "from": "PROPOSED",
+            "to": "OPEN",
+            "eventName": "open",
+            "guard": {
+                "===": [
+                    {
+                        "var": "event.agent"
+                    },
+                    {
+                        "var": "state.creator"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "OPEN",
+                        "openedAt": {
+                            "var": "$timestamp"
+                        },
+                        "positions": {},
+                        "totalPool": 0
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "PROPOSED",
+            "to": "CANCELLED",
+            "eventName": "cancel",
+            "guard": {
+                "===": [
+                    {
+                        "var": "event.agent"
+                    },
+                    {
+                        "var": "state.creator"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "CANCELLED",
+                        "cancelledAt": {
+                            "var": "$timestamp"
+                        },
+                        "reason": {
+                            "var": "event.reason"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "OPEN",
+            "to": "OPEN",
+            "eventName": "take_position",
+            "guard": {
+                "and": [
+                    {
+                        ">": [
+                            {
+                                "var": "event.amount"
+                            },
+                            0
+                        ]
+                    },
+                    {
+                        "in": [
+                            {
+                                "var": "event.outcome"
+                            },
+                            {
+                                "var": "state.outcomes"
+                            }
+                        ]
+                    },
+                    {
+                        "or": [
+                            {
+                                "!": [
+                                    {
+                                        "var": "state.deadline"
+                                    }
+                                ]
+                            },
+                            {
+                                "<=": [
+                                    {
+                                        "var": "$timestamp"
+                                    },
+                                    {
+                                        "var": "state.deadline"
+                                    }
+                                ]
+                            }
+                        ]
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "positions": {
+                            "merge": [
+                                {
+                                    "var": "state.positions"
+                                },
+                                {
+                                    "__computed": {
+                                        "cat": [
+                                            {
+                                                "var": "event.agent"
+                                            },
+                                            "_",
+                                            {
+                                                "var": "event.outcome"
+                                            }
+                                        ]
+                                    }
+                                }
+                            ]
+                        },
+                        "totalPool": {
+                            "+": [
+                                {
+                                    "var": "state.totalPool"
+                                },
+                                {
+                                    "var": "event.amount"
+                                }
+                            ]
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "OPEN",
+            "to": "CLOSED",
+            "eventName": "close",
+            "guard": {
+                "or": [
+                    {
+                        "===": [
+                            {
+                                "var": "event.agent"
+                            },
+                            {
+                                "var": "state.creator"
+                            }
+                        ]
+                    },
+                    {
+                        "and": [
+                            {
+                                "var": "state.deadline"
+                            },
+                            {
+                                ">=": [
+                                    {
+                                        "var": "$timestamp"
+                                    },
+                                    {
+                                        "var": "state.deadline"
+                                    }
+                                ]
+                            }
+                        ]
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "CLOSED",
+                        "closedAt": {
+                            "var": "$timestamp"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "CLOSED",
+            "to": "RESOLVING",
+            "eventName": "submit_resolution",
+            "guard": {
+                "in": [
+                    {
+                        "var": "event.agent"
+                    },
+                    {
+                        "var": "state.oracles"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "RESOLVING",
+                        "resolutions": [
+                            {
+                                "oracle": {
+                                    "var": "event.agent"
+                                },
+                                "outcome": {
+                                    "var": "event.outcome"
+                                },
+                                "proof": {
+                                    "var": "event.proof"
+                                },
+                                "submittedAt": {
+                                    "var": "$timestamp"
+                                }
+                            }
+                        ]
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "RESOLVING",
+            "to": "RESOLVING",
+            "eventName": "submit_resolution",
+            "guard": {
+                "and": [
+                    {
+                        "in": [
+                            {
+                                "var": "event.agent"
+                            },
+                            {
+                                "var": "state.oracles"
+                            }
+                        ]
+                    },
+                    {
+                        "!": [
+                            {
+                                "in": [
+                                    {
+                                        "var": "event.agent"
+                                    },
+                                    {
+                                        "map": [
+                                            {
+                                                "var": "state.resolutions"
+                                            },
+                                            {
+                                                "var": "oracle"
+                                            }
+                                        ]
+                                    }
+                                ]
+                            }
+                        ]
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "resolutions": {
+                            "cat": [
+                                {
+                                    "var": "state.resolutions"
+                                },
+                                [
+                                    {
+                                        "oracle": {
+                                            "var": "event.agent"
+                                        },
+                                        "outcome": {
+                                            "var": "event.outcome"
+                                        },
+                                        "proof": {
+                                            "var": "event.proof"
+                                        },
+                                        "submittedAt": {
+                                            "var": "$timestamp"
+                                        }
+                                    }
+                                ]
+                            ]
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "RESOLVING",
+            "to": "SETTLED",
+            "eventName": "finalize",
+            "guard": {
+                ">=": [
+                    {
+                        "size": {
+                            "var": "state.resolutions"
+                        }
+                    },
+                    {
+                        "var": "state.quorum"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "SETTLED",
+                        "settledAt": {
+                            "var": "$timestamp"
+                        },
+                        "finalOutcome": {
+                            "var": "event.outcome"
+                        },
+                        "claims": []
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "RESOLVING",
+            "to": "DISPUTED",
+            "eventName": "dispute",
+            "guard": {
+                "and": [
+                    {
+                        ">": [
+                            {
+                                "size": {
+                                    "filter": [
+                                        {
+                                            "var": "state.positions"
+                                        },
+                                        {
+                                            "===": [
+                                                {
+                                                    "var": "agent"
+                                                },
+                                                {
+                                                    "var": "event.agent"
+                                                }
+                                            ]
+                                        }
+                                    ]
+                                }
+                            },
+                            0
+                        ]
+                    },
+                    {
+                        "var": "event.stake"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "DISPUTED",
+                        "disputedAt": {
+                            "var": "$timestamp"
+                        },
+                        "disputedBy": {
+                            "var": "event.agent"
+                        },
+                        "disputeStake": {
+                            "var": "event.stake"
+                        },
+                        "disputeReason": {
+                            "var": "event.reason"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "DISPUTED",
+            "to": "SETTLED",
+            "eventName": "ruling",
+            "guard": {
+                "var": "event.judicialRuling"
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "SETTLED",
+                        "settledAt": {
+                            "var": "$timestamp"
+                        },
+                        "finalOutcome": {
+                            "var": "event.outcome"
+                        },
+                        "rulingId": {
+                            "var": "event.rulingId"
+                        },
+                        "claims": []
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "RESOLVING",
+            "to": "REFUNDED",
+            "eventName": "invalidate",
+            "guard": {
+                ">=": [
+                    {
+                        "size": {
+                            "filter": [
+                                {
+                                    "var": "state.resolutions"
+                                },
+                                {
+                                    "===": [
+                                        {
+                                            "var": "outcome"
+                                        },
+                                        "INVALID"
+                                    ]
+                                }
+                            ]
+                        }
+                    },
+                    {
+                        "var": "state.quorum"
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "REFUNDED",
+                        "refundedAt": {
+                            "var": "$timestamp"
+                        },
+                        "reason": "oracle_invalidation"
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "SETTLED",
+            "to": "SETTLED",
+            "eventName": "claim",
+            "guard": {
+                "and": [
+                    {
+                        ">": [
+                            {
+                                "size": {
+                                    "filter": [
+                                        {
+                                            "var": "state.positions"
+                                        },
+                                        {
+                                            "and": [
+                                                {
+                                                    "===": [
+                                                        {
+                                                            "var": "agent"
+                                                        },
+                                                        {
+                                                            "var": "event.agent"
+                                                        }
+                                                    ]
+                                                },
+                                                {
+                                                    "===": [
+                                                        {
+                                                            "var": "outcome"
+                                                        },
+                                                        {
+                                                            "var": "state.finalOutcome"
+                                                        }
+                                                    ]
+                                                }
+                                            ]
+                                        }
+                                    ]
+                                }
+                            },
+                            0
+                        ]
+                    },
+                    {
+                        "!": [
+                            {
+                                "in": [
+                                    {
+                                        "var": "event.agent"
+                                    },
+                                    {
+                                        "map": [
+                                            {
+                                                "var": "state.claims"
+                                            },
+                                            {
+                                                "var": "agent"
+                                            }
+                                        ]
+                                    }
+                                ]
+                            }
+                        ]
+                    }
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "claims": {
+                            "cat": [
+                                {
+                                    "var": "state.claims"
+                                },
+                                [
+                                    {
+                                        "agent": {
+                                            "var": "event.agent"
+                                        },
+                                        "amount": {
+                                            "var": "event.amount"
+                                        },
+                                        "claimedAt": {
+                                            "var": "$timestamp"
+                                        }
+                                    }
+                                ]
+                            ]
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        }
+    ]
+};
+export const marketUniversalDef = {
+    "metadata": {
+        "name": "MarketUniversal",
+        "description": "Minimal market state machine - extend for custom use cases",
+        "version": "1.0.0"
+    },
+    "states": {
+        "PROPOSED": {
+            "id": "PROPOSED",
+            "isFinal": false,
+            "metadata": null
+        },
+        "OPEN": {
+            "id": "OPEN",
+            "isFinal": false,
+            "metadata": null
+        },
+        "CLOSED": {
+            "id": "CLOSED",
+            "isFinal": false,
+            "metadata": null
+        },
+        "SETTLED": {
+            "id": "SETTLED",
+            "isFinal": true,
+            "metadata": null
+        },
+        "CANCELLED": {
+            "id": "CANCELLED",
+            "isFinal": true,
+            "metadata": null
+        }
+    },
+    "initialState": "PROPOSED",
+    "transitions": [
+        {
+            "from": "PROPOSED",
+            "to": "OPEN",
+            "eventName": "open",
+            "guard": {
+                "==": [
+                    1,
+                    1
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "OPEN",
+                        "openedAt": {
+                            "var": "$timestamp"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "PROPOSED",
+            "to": "CANCELLED",
+            "eventName": "cancel",
+            "guard": {
+                "==": [
+                    1,
+                    1
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "CANCELLED",
+                        "cancelledAt": {
+                            "var": "$timestamp"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "OPEN",
+            "to": "OPEN",
+            "eventName": "commit",
+            "guard": {
+                ">": [
+                    {
+                        "var": "event.amount"
+                    },
+                    0
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "totalCommitted": {
+                            "+": [
+                                {
+                                    "var": "state.totalCommitted"
+                                },
+                                {
+                                    "var": "event.amount"
+                                }
+                            ]
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "OPEN",
+            "to": "CLOSED",
+            "eventName": "close",
+            "guard": {
+                "==": [
+                    1,
+                    1
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "CLOSED",
+                        "closedAt": {
+                            "var": "$timestamp"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "CLOSED",
+            "to": "SETTLED",
+            "eventName": "settle",
+            "guard": {
+                "==": [
+                    1,
+                    1
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "SETTLED",
+                        "settledAt": {
+                            "var": "$timestamp"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        },
+        {
+            "from": "CLOSED",
+            "to": "CANCELLED",
+            "eventName": "cancel",
+            "guard": {
+                "==": [
+                    1,
+                    1
+                ]
+            },
+            "effect": {
+                "merge": [
+                    {
+                        "var": "state"
+                    },
+                    {
+                        "status": "CANCELLED",
+                        "cancelledAt": {
+                            "var": "$timestamp"
+                        }
+                    }
+                ]
+            },
+            "dependencies": []
+        }
+    ]
+};