@ottochain/sdk 1.6.0 → 1.7.0-beta.2

package/dist/types/apps/markets/state-machines/index.d.ts

@@ -2,47 +2,58 @@
  * Auto-generated from JSON state machine definitions.
  * DO NOT EDIT - regenerate with: npm run prebuild
  */
-export declare const marketUniversalDef: {
+export declare const marketAuctionDef: {
     readonly metadata: {
-        readonly name: "Market";
-        readonly description: "Universal market state machine: predictions, auctions, crowdfunding, group buys";
-        readonly version: "1.1.0";
+        readonly name: "MarketAuction";
+        readonly description: "Auction market supporting English, Dutch, and sealed-bid variants";
+        readonly version: "1.0.0";
+        readonly crossReferences: {
+            readonly sellerIdentityId: "Links to seller's IdentityAgent";
+            readonly escrowId: "Links to ContractEscrow for asset custody";
+        };
     };
     readonly states: {
         readonly PROPOSED: {
             readonly id: "PROPOSED";
             readonly isFinal: false;
-            readonly metadata: null;
+            readonly metadata: {
+                readonly description: "Auction created but not yet open";
+            };
         };
         readonly OPEN: {
             readonly id: "OPEN";
             readonly isFinal: false;
-            readonly metadata: null;
-        };
-        readonly CLOSED: {
-            readonly id: "CLOSED";
-            readonly isFinal: false;
-            readonly metadata: null;
+            readonly metadata: {
+                readonly description: "Accepting bids";
+            };
         };
-        readonly RESOLVING: {
-            readonly id: "RESOLVING";
+        readonly CLOSING: {
+            readonly id: "CLOSING";
             readonly isFinal: false;
-            readonly metadata: null;
+            readonly metadata: {
+                readonly description: "Bid period ended, determining winner";
+            };
         };
         readonly SETTLED: {
             readonly id: "SETTLED";
             readonly isFinal: true;
-            readonly metadata: null;
+            readonly metadata: {
+                readonly description: "Winner determined, transfer complete";
+            };
         };
-        readonly REFUNDED: {
-            readonly id: "REFUNDED";
+        readonly NO_SALE: {
+            readonly id: "NO_SALE";
             readonly isFinal: true;
-            readonly metadata: null;
+            readonly metadata: {
+                readonly description: "Reserve not met or no valid bids";
+            };
         };
         readonly CANCELLED: {
             readonly id: "CANCELLED";
             readonly isFinal: true;
-            readonly metadata: null;
+            readonly metadata: {
+                readonly description: "Auction cancelled by seller";
+            };
         };
     };
     readonly initialState: "PROPOSED";
@@ -54,7 +65,7 @@ export declare const marketUniversalDef: {
             readonly "===": readonly [{
                 readonly var: "event.agent";
             }, {
-                readonly var: "state.creator";
+                readonly var: "state.seller";
             }];
         };
         readonly effect: {
@@ -63,8 +74,11 @@ export declare const marketUniversalDef: {
             }, {
                 readonly status: "OPEN";
                 readonly openedAt: {
-                    readonly var: "$epochProgress";
+                    readonly var: "$timestamp";
                 };
+                readonly bids: readonly [];
+                readonly highBid: null;
+                readonly highBidder: null;
             }];
         };
         readonly dependencies: readonly [];
@@ -76,7 +90,7 @@ export declare const marketUniversalDef: {
             readonly "===": readonly [{
                 readonly var: "event.agent";
             }, {
-                readonly var: "state.creator";
+                readonly var: "state.seller";
             }];
         };
         readonly effect: {
@@ -85,10 +99,7 @@ export declare const marketUniversalDef: {
             }, {
                 readonly status: "CANCELLED";
                 readonly cancelledAt: {
-                    readonly var: "$epochProgress";
-                };
-                readonly reason: {
-                    readonly var: "event.reason";
+                    readonly var: "$timestamp";
                 };
             }];
         };
@@ -96,12 +107,36 @@ export declare const marketUniversalDef: {
     }, {
         readonly from: "OPEN";
         readonly to: "OPEN";
-        readonly eventName: "commit";
+        readonly eventName: "bid";
         readonly guard: {
             readonly and: readonly [{
-                readonly ">": readonly [{
+                readonly "!==": readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.seller";
+                }];
+            }, {
+                readonly ">=": readonly [{
                     readonly var: "event.amount";
-                }, 0];
+                }, {
+                    readonly var: "state.minBid";
+                }];
+            }, {
+                readonly or: readonly [{
+                    readonly "!": readonly [{
+                        readonly var: "state.highBid";
+                    }];
+                }, {
+                    readonly ">=": readonly [{
+                        readonly var: "event.amount";
+                    }, {
+                        readonly "+": readonly [{
+                            readonly var: "state.highBid";
+                        }, {
+                            readonly var: "state.bidIncrement";
+                        }];
+                    }];
+                }];
             }, {
                 readonly or: readonly [{
                     readonly "!": readonly [{
@@ -109,7 +144,7 @@ export declare const marketUniversalDef: {
                     }];
                 }, {
                     readonly "<=": readonly [{
-                        readonly var: "$epochProgress";
+                        readonly var: "$timestamp";
                     }, {
                         readonly var: "state.deadline";
                     }];
@@ -120,51 +155,50 @@ export declare const marketUniversalDef: {
             readonly merge: readonly [{
                 readonly var: "state";
             }, {
-                readonly commitments: {
-                    readonly merge: readonly [{
-                        readonly var: "state.commitments";
+                readonly bids: {
+                    readonly cat: readonly [{
+                        readonly var: "state.bids";
                     }, readonly [{
-                        readonly agent: {
+                        readonly bidder: {
                             readonly var: "event.agent";
                         };
                         readonly amount: {
                             readonly var: "event.amount";
                         };
-                        readonly data: {
-                            readonly var: "event.data";
-                        };
-                        readonly committedAt: {
-                            readonly var: "$epochProgress";
+                        readonly bidAt: {
+                            readonly var: "$timestamp";
                         };
                     }]];
                 };
-                readonly totalCommitted: {
-                    readonly "+": readonly [{
-                        readonly var: "state.totalCommitted";
-                    }, {
-                        readonly var: "event.amount";
-                    }];
+                readonly highBid: {
+                    readonly var: "event.amount";
+                };
+                readonly highBidder: {
+                    readonly var: "event.agent";
+                };
+                readonly lastBidAt: {
+                    readonly var: "$timestamp";
                 };
             }];
         };
         readonly dependencies: readonly [];
     }, {
         readonly from: "OPEN";
-        readonly to: "CLOSED";
+        readonly to: "CLOSING";
         readonly eventName: "close";
         readonly guard: {
             readonly or: readonly [{
                 readonly "===": readonly [{
                     readonly var: "event.agent";
                 }, {
-                    readonly var: "state.creator";
+                    readonly var: "state.seller";
                 }];
             }, {
                 readonly and: readonly [{
                     readonly var: "state.deadline";
                 }, {
                     readonly ">=": readonly [{
-                        readonly var: "$epochProgress";
+                        readonly var: "$timestamp";
                     }, {
                         readonly var: "state.deadline";
                     }];
@@ -175,29 +209,31 @@ export declare const marketUniversalDef: {
             readonly merge: readonly [{
                 readonly var: "state";
             }, {
-                readonly status: "CLOSED";
+                readonly status: "CLOSING";
                 readonly closedAt: {
-                    readonly var: "$epochProgress";
+                    readonly var: "$timestamp";
                 };
             }];
         };
         readonly dependencies: readonly [];
     }, {
-        readonly from: "CLOSED";
-        readonly to: "RESOLVING";
-        readonly eventName: "submit_resolution";
+        readonly from: "CLOSING";
+        readonly to: "SETTLED";
+        readonly eventName: "settle";
         readonly guard: {
-            readonly or: readonly [{
-                readonly in: readonly [{
-                    readonly var: "event.agent";
-                }, {
-                    readonly var: "state.oracles";
-                }];
+            readonly and: readonly [{
+                readonly var: "state.highBidder";
             }, {
-                readonly "===": readonly [{
-                    readonly var: "event.agent";
+                readonly or: readonly [{
+                    readonly "!": readonly [{
+                        readonly var: "state.reservePrice";
+                    }];
                 }, {
-                    readonly var: "state.creator";
+                    readonly ">=": readonly [{
+                        readonly var: "state.highBid";
+                    }, {
+                        readonly var: "state.reservePrice";
+                    }];
                 }];
             }];
         };
@@ -205,49 +241,36 @@ export declare const marketUniversalDef: {
             readonly merge: readonly [{
                 readonly var: "state";
             }, {
-                readonly status: "RESOLVING";
-                readonly resolutions: {
-                    readonly merge: readonly [{
-                        readonly var: "state.resolutions";
-                    }, readonly [{
-                        readonly oracle: {
-                            readonly var: "event.agent";
-                        };
-                        readonly outcome: {
-                            readonly var: "event.outcome";
-                        };
-                        readonly proof: {
-                            readonly var: "event.proof";
-                        };
-                        readonly submittedAt: {
-                            readonly var: "$epochProgress";
-                        };
-                    }]];
+                readonly status: "SETTLED";
+                readonly settledAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly winner: {
+                    readonly var: "state.highBidder";
+                };
+                readonly finalPrice: {
+                    readonly var: "state.highBid";
                 };
             }];
         };
         readonly dependencies: readonly [];
     }, {
-        readonly from: "RESOLVING";
-        readonly to: "RESOLVING";
-        readonly eventName: "submit_resolution";
+        readonly from: "CLOSING";
+        readonly to: "NO_SALE";
+        readonly eventName: "no_sale";
         readonly guard: {
-            readonly and: readonly [{
-                readonly in: readonly [{
-                    readonly var: "event.agent";
-                }, {
-                    readonly var: "state.oracles";
+            readonly or: readonly [{
+                readonly "!": readonly [{
+                    readonly var: "state.highBidder";
                 }];
             }, {
-                readonly "!": readonly [{
-                    readonly in: readonly [{
-                        readonly var: "event.agent";
+                readonly and: readonly [{
+                    readonly var: "state.reservePrice";
+                }, {
+                    readonly "<": readonly [{
+                        readonly var: "state.highBid";
                     }, {
-                        readonly map: readonly [{
-                            readonly var: "state.resolutions";
-                        }, {
-                            readonly var: "oracle";
-                        }];
+                        readonly var: "state.reservePrice";
                     }];
                 }];
             }];
@@ -256,122 +279,149 @@ export declare const marketUniversalDef: {
             readonly merge: readonly [{
                 readonly var: "state";
             }, {
-                readonly resolutions: {
-                    readonly merge: readonly [{
-                        readonly var: "state.resolutions";
-                    }, readonly [{
-                        readonly oracle: {
-                            readonly var: "event.agent";
-                        };
-                        readonly outcome: {
-                            readonly var: "event.outcome";
-                        };
-                        readonly proof: {
-                            readonly var: "event.proof";
-                        };
-                        readonly submittedAt: {
-                            readonly var: "$epochProgress";
-                        };
-                    }]];
+                readonly status: "NO_SALE";
+                readonly closedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly reason: {
+                    readonly if: readonly [{
+                        readonly "!": readonly [{
+                            readonly var: "state.highBidder";
+                        }];
+                    }, "no_bids", "reserve_not_met"];
                 };
             }];
         };
         readonly dependencies: readonly [];
-    }, {
-        readonly from: "RESOLVING";
-        readonly to: "SETTLED";
-        readonly eventName: "finalize";
+    }];
+};
+export declare const marketCrowdfundDef: {
+    readonly metadata: {
+        readonly name: "MarketCrowdfund";
+        readonly description: "All-or-nothing crowdfunding with threshold, deadline, and stretch goals";
+        readonly version: "1.0.0";
+        readonly crossReferences: {
+            readonly creatorIdentityId: "Links to creator's IdentityAgent";
+            readonly treasuryId: "Links to Treasury for fund custody";
+        };
+    };
+    readonly states: {
+        readonly PROPOSED: {
+            readonly id: "PROPOSED";
+            readonly isFinal: false;
+            readonly metadata: {
+                readonly description: "Campaign created but not yet open";
+            };
+        };
+        readonly OPEN: {
+            readonly id: "OPEN";
+            readonly isFinal: false;
+            readonly metadata: {
+                readonly description: "Accepting pledges";
+            };
+        };
+        readonly FUNDED: {
+            readonly id: "FUNDED";
+            readonly isFinal: true;
+            readonly metadata: {
+                readonly description: "Threshold met, funds released to creator";
+            };
+        };
+        readonly REFUNDED: {
+            readonly id: "REFUNDED";
+            readonly isFinal: true;
+            readonly metadata: {
+                readonly description: "Threshold not met, all pledges refunded";
+            };
+        };
+        readonly CANCELLED: {
+            readonly id: "CANCELLED";
+            readonly isFinal: true;
+            readonly metadata: {
+                readonly description: "Campaign cancelled by creator";
+            };
+        };
+    };
+    readonly initialState: "PROPOSED";
+    readonly transitions: readonly [{
+        readonly from: "PROPOSED";
+        readonly to: "OPEN";
+        readonly eventName: "launch";
         readonly guard: {
-            readonly or: readonly [{
-                readonly ">=": readonly [{
-                    readonly size: {
-                        readonly var: "state.resolutions";
-                    };
-                }, {
-                    readonly var: "state.quorum";
-                }];
-            }, {
-                readonly "===": readonly [{
-                    readonly var: "state.marketType";
-                }, "crowdfund"];
-            }, {
-                readonly "===": readonly [{
-                    readonly var: "state.marketType";
-                }, "group_buy"];
+            readonly "===": readonly [{
+                readonly var: "event.agent";
             }, {
-                readonly "===": readonly [{
-                    readonly var: "state.marketType";
-                }, "auction"];
+                readonly var: "state.creator";
             }];
         };
         readonly effect: {
             readonly merge: readonly [{
                 readonly var: "state";
             }, {
-                readonly status: "SETTLED";
-                readonly settledAt: {
-                    readonly var: "$epochProgress";
-                };
-                readonly finalOutcome: {
-                    readonly var: "event.outcome";
-                };
-                readonly settlement: {
-                    readonly var: "event.settlement";
+                readonly status: "OPEN";
+                readonly launchedAt: {
+                    readonly var: "$timestamp";
                 };
+                readonly pledges: readonly [];
+                readonly totalPledged: 0;
+                readonly backerCount: 0;
             }];
         };
         readonly dependencies: readonly [];
     }, {
-        readonly from: "CLOSED";
-        readonly to: "REFUNDED";
-        readonly eventName: "refund";
+        readonly from: "PROPOSED";
+        readonly to: "CANCELLED";
+        readonly eventName: "cancel";
         readonly guard: {
-            readonly and: readonly [{
-                readonly var: "state.threshold";
+            readonly "===": readonly [{
+                readonly var: "event.agent";
             }, {
-                readonly "<": readonly [{
-                    readonly var: "state.totalCommitted";
-                }, {
-                    readonly var: "state.threshold";
-                }];
+                readonly var: "state.creator";
             }];
         };
         readonly effect: {
             readonly merge: readonly [{
                 readonly var: "state";
             }, {
-                readonly status: "REFUNDED";
-                readonly refundedAt: {
-                    readonly var: "$epochProgress";
+                readonly status: "CANCELLED";
+                readonly cancelledAt: {
+                    readonly var: "$timestamp";
                 };
-                readonly reason: "threshold_not_met";
             }];
         };
         readonly dependencies: readonly [];
     }, {
-        readonly from: "RESOLVING";
-        readonly to: "REFUNDED";
-        readonly eventName: "refund";
+        readonly from: "OPEN";
+        readonly to: "OPEN";
+        readonly eventName: "pledge";
         readonly guard: {
-            readonly or: readonly [{
-                readonly "===": readonly [{
+            readonly and: readonly [{
+                readonly ">": readonly [{
+                    readonly var: "event.amount";
+                }, 0];
+            }, {
+                readonly "!==": readonly [{
                     readonly var: "event.agent";
                 }, {
                     readonly var: "state.creator";
                 }];
             }, {
-                readonly ">=": readonly [{
-                    readonly size: {
-                        readonly filter: readonly [{
-                            readonly var: "state.resolutions";
-                        }, {
-                            readonly "===": readonly [{
-                                readonly var: "outcome";
-                            }, "INVALID"];
-                        }];
-                    };
+                readonly or: readonly [{
+                    readonly "!": readonly [{
+                        readonly var: "state.minPledge";
+                    }];
+                }, {
+                    readonly ">=": readonly [{
+                        readonly var: "event.amount";
+                    }, {
+                        readonly var: "state.minPledge";
+                    }];
+                }];
+            }, {
+                readonly "<=": readonly [{
+                    readonly var: "$timestamp";
                 }, {
-                    readonly var: "state.quorum";
+                    readonly var: "state.deadline";
                 }];
             }];
         };
@@ -379,26 +429,952 @@ export declare const marketUniversalDef: {
             readonly merge: readonly [{
                 readonly var: "state";
             }, {
-                readonly status: "REFUNDED";
-                readonly refundedAt: {
-                    readonly var: "$epochProgress";
+                readonly pledges: {
+                    readonly cat: readonly [{
+                        readonly var: "state.pledges";
+                    }, readonly [{
+                        readonly backer: {
+                            readonly var: "event.agent";
+                        };
+                        readonly amount: {
+                            readonly var: "event.amount";
+                        };
+                        readonly rewardTier: {
+                            readonly var: "event.rewardTier";
+                        };
+                        readonly pledgedAt: {
+                            readonly var: "$timestamp";
+                        };
+                    }]];
                 };
-                readonly reason: {
+                readonly totalPledged: {
+                    readonly "+": readonly [{
+                        readonly var: "state.totalPledged";
+                    }, {
+                        readonly var: "event.amount";
+                    }];
+                };
+                readonly backerCount: {
+                    readonly "+": readonly [{
+                        readonly var: "state.backerCount";
+                    }, 1];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "OPEN";
+        readonly to: "OPEN";
+        readonly eventName: "increase_pledge";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">": readonly [{
+                    readonly var: "event.additionalAmount";
+                }, 0];
+            }, {
+                readonly "<=": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.deadline";
+                }];
+            }, {
+                readonly ">": readonly [{
+                    readonly size: {
+                        readonly filter: readonly [{
+                            readonly var: "state.pledges";
+                        }, {
+                            readonly "===": readonly [{
+                                readonly var: "backer";
+                            }, {
+                                readonly var: "event.agent";
+                            }];
+                        }];
+                    };
+                }, 0];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly totalPledged: {
+                    readonly "+": readonly [{
+                        readonly var: "state.totalPledged";
+                    }, {
+                        readonly var: "event.additionalAmount";
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "OPEN";
+        readonly to: "FUNDED";
+        readonly eventName: "finalize";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">=": readonly [{
+                    readonly var: "state.totalPledged";
+                }, {
+                    readonly var: "state.threshold";
+                }];
+            }, {
+                readonly ">=": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.deadline";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "FUNDED";
+                readonly fundedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly stretchGoalsReached: {
+                    readonly filter: readonly [{
+                        readonly var: "state.stretchGoals";
+                    }, {
+                        readonly "<=": readonly [{
+                            readonly var: "target";
+                        }, {
+                            readonly var: "state.totalPledged";
+                        }];
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "OPEN";
+        readonly to: "REFUNDED";
+        readonly eventName: "finalize";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly "<": readonly [{
+                    readonly var: "state.totalPledged";
+                }, {
+                    readonly var: "state.threshold";
+                }];
+            }, {
+                readonly ">=": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.deadline";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "REFUNDED";
+                readonly refundedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly reason: "threshold_not_met";
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "REFUNDED";
+        readonly to: "REFUNDED";
+        readonly eventName: "claim_refund";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">": readonly [{
+                    readonly size: {
+                        readonly filter: readonly [{
+                            readonly var: "state.pledges";
+                        }, {
+                            readonly "===": readonly [{
+                                readonly var: "backer";
+                            }, {
+                                readonly var: "event.agent";
+                            }];
+                        }];
+                    };
+                }, 0];
+            }, {
+                readonly "!": readonly [{
+                    readonly in: readonly [{
+                        readonly var: "event.agent";
+                    }, {
+                        readonly var: "state.refundsClaimed";
+                    }];
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly refundsClaimed: {
+                    readonly cat: readonly [{
+                        readonly var: "state.refundsClaimed";
+                    }, readonly [{
+                        readonly var: "event.agent";
+                    }]];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }];
+};
+export declare const marketGroupBuyDef: {
+    readonly metadata: {
+        readonly name: "MarketGroupBuy";
+        readonly description: "Collective purchasing with quantity thresholds and tiered pricing";
+        readonly version: "1.0.0";
+        readonly crossReferences: {
+            readonly vendorIdentityId: "Links to vendor's IdentityAgent";
+            readonly escrowId: "Links to ContractEscrow for payment custody";
+        };
+    };
+    readonly states: {
+        readonly PROPOSED: {
+            readonly id: "PROPOSED";
+            readonly isFinal: false;
+            readonly metadata: {
+                readonly description: "Group buy created but not yet open";
+            };
+        };
+        readonly OPEN: {
+            readonly id: "OPEN";
+            readonly isFinal: false;
+            readonly metadata: {
+                readonly description: "Accepting orders";
+            };
+        };
+        readonly THRESHOLD_MET: {
+            readonly id: "THRESHOLD_MET";
+            readonly isFinal: false;
+            readonly metadata: {
+                readonly description: "Minimum quantity reached, continuing for better tier";
+            };
+        };
+        readonly PROCESSING: {
+            readonly id: "PROCESSING";
+            readonly isFinal: false;
+            readonly metadata: {
+                readonly description: "Order placed with vendor, awaiting fulfillment";
+            };
+        };
+        readonly FULFILLED: {
+            readonly id: "FULFILLED";
+            readonly isFinal: true;
+            readonly metadata: {
+                readonly description: "All items delivered to buyers";
+            };
+        };
+        readonly REFUNDED: {
+            readonly id: "REFUNDED";
+            readonly isFinal: true;
+            readonly metadata: {
+                readonly description: "Threshold not met, all orders refunded";
+            };
+        };
+        readonly CANCELLED: {
+            readonly id: "CANCELLED";
+            readonly isFinal: true;
+            readonly metadata: {
+                readonly description: "Group buy cancelled";
+            };
+        };
+    };
+    readonly initialState: "PROPOSED";
+    readonly transitions: readonly [{
+        readonly from: "PROPOSED";
+        readonly to: "OPEN";
+        readonly eventName: "open";
+        readonly guard: {
+            readonly "===": readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.organizer";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "OPEN";
+                readonly openedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly orders: readonly [];
+                readonly totalQuantity: 0;
+                readonly currentTier: 0;
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "PROPOSED";
+        readonly to: "CANCELLED";
+        readonly eventName: "cancel";
+        readonly guard: {
+            readonly "===": readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.organizer";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "CANCELLED";
+                readonly cancelledAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "OPEN";
+        readonly to: "OPEN";
+        readonly eventName: "order";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">": readonly [{
+                    readonly var: "event.quantity";
+                }, 0];
+            }, {
+                readonly or: readonly [{
+                    readonly "!": readonly [{
+                        readonly var: "state.maxPerBuyer";
+                    }];
+                }, {
+                    readonly "<=": readonly [{
+                        readonly var: "event.quantity";
+                    }, {
+                        readonly var: "state.maxPerBuyer";
+                    }];
+                }];
+            }, {
+                readonly "<=": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.deadline";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly orders: {
+                    readonly cat: readonly [{
+                        readonly var: "state.orders";
+                    }, readonly [{
+                        readonly buyer: {
+                            readonly var: "event.agent";
+                        };
+                        readonly quantity: {
+                            readonly var: "event.quantity";
+                        };
+                        readonly shippingInfo: {
+                            readonly var: "event.shippingInfo";
+                        };
+                        readonly orderedAt: {
+                            readonly var: "$timestamp";
+                        };
+                    }]];
+                };
+                readonly totalQuantity: {
+                    readonly "+": readonly [{
+                        readonly var: "state.totalQuantity";
+                    }, {
+                        readonly var: "event.quantity";
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "OPEN";
+        readonly to: "THRESHOLD_MET";
+        readonly eventName: "check_threshold";
+        readonly guard: {
+            readonly ">=": readonly [{
+                readonly var: "state.totalQuantity";
+            }, {
+                readonly var: "state.minQuantity";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "THRESHOLD_MET";
+                readonly thresholdMetAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly currentTier: {
+                    readonly reduce: readonly [{
+                        readonly var: "state.priceTiers";
+                    }, {
+                        readonly if: readonly [{
+                            readonly "<=": readonly [{
+                                readonly var: "current.minQuantity";
+                            }, {
+                                readonly var: "state.totalQuantity";
+                            }];
+                        }, {
+                            readonly var: "current.tier";
+                        }, {
+                            readonly var: "accumulator";
+                        }];
+                    }, 0];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "THRESHOLD_MET";
+        readonly to: "THRESHOLD_MET";
+        readonly eventName: "order";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">": readonly [{
+                    readonly var: "event.quantity";
+                }, 0];
+            }, {
+                readonly "<=": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.deadline";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly orders: {
+                    readonly cat: readonly [{
+                        readonly var: "state.orders";
+                    }, readonly [{
+                        readonly buyer: {
+                            readonly var: "event.agent";
+                        };
+                        readonly quantity: {
+                            readonly var: "event.quantity";
+                        };
+                        readonly shippingInfo: {
+                            readonly var: "event.shippingInfo";
+                        };
+                        readonly orderedAt: {
+                            readonly var: "$timestamp";
+                        };
+                    }]];
+                };
+                readonly totalQuantity: {
+                    readonly "+": readonly [{
+                        readonly var: "state.totalQuantity";
+                    }, {
+                        readonly var: "event.quantity";
+                    }];
+                };
+                readonly currentTier: {
+                    readonly reduce: readonly [{
+                        readonly var: "state.priceTiers";
+                    }, {
+                        readonly if: readonly [{
+                            readonly "<=": readonly [{
+                                readonly var: "current.minQuantity";
+                            }, {
+                                readonly "+": readonly [{
+                                    readonly var: "state.totalQuantity";
+                                }, {
+                                    readonly var: "event.quantity";
+                                }];
+                            }];
+                        }, {
+                            readonly var: "current.tier";
+                        }, {
+                            readonly var: "accumulator";
+                        }];
+                    }, {
+                        readonly var: "state.currentTier";
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "THRESHOLD_MET";
+        readonly to: "PROCESSING";
+        readonly eventName: "finalize";
+        readonly guard: {
+            readonly ">=": readonly [{
+                readonly var: "$timestamp";
+            }, {
+                readonly var: "state.deadline";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "PROCESSING";
+                readonly finalizedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly finalTier: {
+                    readonly var: "state.currentTier";
+                };
+                readonly finalPricePerUnit: {
+                    readonly var: {
+                        readonly cat: readonly ["state.priceTiers.", {
+                            readonly var: "state.currentTier";
+                        }, ".pricePerUnit"];
+                    };
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "PROCESSING";
+        readonly to: "FULFILLED";
+        readonly eventName: "fulfill";
+        readonly guard: {
+            readonly or: readonly [{
+                readonly "===": readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.vendor";
+                }];
+            }, {
+                readonly "===": readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.organizer";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "FULFILLED";
+                readonly fulfilledAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly trackingInfo: {
+                    readonly var: "event.trackingInfo";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "OPEN";
+        readonly to: "REFUNDED";
+        readonly eventName: "finalize";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly "<": readonly [{
+                    readonly var: "state.totalQuantity";
+                }, {
+                    readonly var: "state.minQuantity";
+                }];
+            }, {
+                readonly ">=": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.deadline";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "REFUNDED";
+                readonly refundedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly reason: "threshold_not_met";
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "REFUNDED";
+        readonly to: "REFUNDED";
+        readonly eventName: "claim_refund";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">": readonly [{
+                    readonly size: {
+                        readonly filter: readonly [{
+                            readonly var: "state.orders";
+                        }, {
+                            readonly "===": readonly [{
+                                readonly var: "buyer";
+                            }, {
+                                readonly var: "event.agent";
+                            }];
+                        }];
+                    };
+                }, 0];
+            }, {
+                readonly "!": readonly [{
+                    readonly in: readonly [{
+                        readonly var: "event.agent";
+                    }, {
+                        readonly var: "state.refundsClaimed";
+                    }];
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly refundsClaimed: {
+                    readonly cat: readonly [{
+                        readonly var: "state.refundsClaimed";
+                    }, readonly [{
+                        readonly var: "event.agent";
+                    }]];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }];
+};
+export declare const marketPredictionDef: {
+    readonly metadata: {
+        readonly name: "MarketPrediction";
+        readonly description: "Binary or multi-outcome prediction market with oracle resolution and position staking";
+        readonly version: "1.0.0";
+        readonly crossReferences: {
+            readonly oracleId: "Links to IdentityOracle that resolves the outcome";
+            readonly creatorIdentityId: "Links to creator's IdentityAgent";
+        };
+    };
+    readonly states: {
+        readonly PROPOSED: {
+            readonly id: "PROPOSED";
+            readonly isFinal: false;
+            readonly metadata: {
+                readonly description: "Market created but not yet open for trading";
+            };
+        };
+        readonly OPEN: {
+            readonly id: "OPEN";
+            readonly isFinal: false;
+            readonly metadata: {
+                readonly description: "Accepting positions on outcomes";
+            };
+        };
+        readonly CLOSED: {
+            readonly id: "CLOSED";
+            readonly isFinal: false;
+            readonly metadata: {
+                readonly description: "No more positions, awaiting resolution";
+            };
+        };
+        readonly RESOLVING: {
+            readonly id: "RESOLVING";
+            readonly isFinal: false;
+            readonly metadata: {
+                readonly description: "Oracle(s) submitting resolution";
+            };
+        };
+        readonly DISPUTED: {
+            readonly id: "DISPUTED";
+            readonly isFinal: false;
+            readonly metadata: {
+                readonly description: "Resolution challenged, awaiting arbitration";
+            };
+        };
+        readonly SETTLED: {
+            readonly id: "SETTLED";
+            readonly isFinal: true;
+            readonly metadata: {
+                readonly description: "Outcome finalized, payouts available";
+            };
+        };
+        readonly REFUNDED: {
+            readonly id: "REFUNDED";
+            readonly isFinal: true;
+            readonly metadata: {
+                readonly description: "Market invalidated, all positions refunded";
+            };
+        };
+        readonly CANCELLED: {
+            readonly id: "CANCELLED";
+            readonly isFinal: true;
+            readonly metadata: {
+                readonly description: "Market cancelled before opening";
+            };
+        };
+    };
+    readonly initialState: "PROPOSED";
+    readonly transitions: readonly [{
+        readonly from: "PROPOSED";
+        readonly to: "OPEN";
+        readonly eventName: "open";
+        readonly guard: {
+            readonly "===": readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.creator";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "OPEN";
+                readonly openedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly positions: {};
+                readonly totalPool: 0;
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "PROPOSED";
+        readonly to: "CANCELLED";
+        readonly eventName: "cancel";
+        readonly guard: {
+            readonly "===": readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.creator";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "CANCELLED";
+                readonly cancelledAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly reason: {
                     readonly var: "event.reason";
                 };
             }];
         };
         readonly dependencies: readonly [];
     }, {
-        readonly from: "SETTLED";
+        readonly from: "OPEN";
+        readonly to: "OPEN";
+        readonly eventName: "take_position";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">": readonly [{
+                    readonly var: "event.amount";
+                }, 0];
+            }, {
+                readonly in: readonly [{
+                    readonly var: "event.outcome";
+                }, {
+                    readonly var: "state.outcomes";
+                }];
+            }, {
+                readonly or: readonly [{
+                    readonly "!": readonly [{
+                        readonly var: "state.deadline";
+                    }];
+                }, {
+                    readonly "<=": readonly [{
+                        readonly var: "$timestamp";
+                    }, {
+                        readonly var: "state.deadline";
+                    }];
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly positions: {
+                    readonly merge: readonly [{
+                        readonly var: "state.positions";
+                    }, {
+                        readonly __computed: {
+                            readonly cat: readonly [{
+                                readonly var: "event.agent";
+                            }, "_", {
+                                readonly var: "event.outcome";
+                            }];
+                        };
+                    }];
+                };
+                readonly totalPool: {
+                    readonly "+": readonly [{
+                        readonly var: "state.totalPool";
+                    }, {
+                        readonly var: "event.amount";
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "OPEN";
+        readonly to: "CLOSED";
+        readonly eventName: "close";
+        readonly guard: {
+            readonly or: readonly [{
+                readonly "===": readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.creator";
+                }];
+            }, {
+                readonly and: readonly [{
+                    readonly var: "state.deadline";
+                }, {
+                    readonly ">=": readonly [{
+                        readonly var: "$timestamp";
+                    }, {
+                        readonly var: "state.deadline";
+                    }];
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "CLOSED";
+                readonly closedAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "CLOSED";
+        readonly to: "RESOLVING";
+        readonly eventName: "submit_resolution";
+        readonly guard: {
+            readonly in: readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.oracles";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "RESOLVING";
+                readonly resolutions: readonly [{
+                    readonly oracle: {
+                        readonly var: "event.agent";
+                    };
+                    readonly outcome: {
+                        readonly var: "event.outcome";
+                    };
+                    readonly proof: {
+                        readonly var: "event.proof";
+                    };
+                    readonly submittedAt: {
+                        readonly var: "$timestamp";
+                    };
+                }];
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "RESOLVING";
+        readonly to: "RESOLVING";
+        readonly eventName: "submit_resolution";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly in: readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.oracles";
+                }];
+            }, {
+                readonly "!": readonly [{
+                    readonly in: readonly [{
+                        readonly var: "event.agent";
+                    }, {
+                        readonly map: readonly [{
+                            readonly var: "state.resolutions";
+                        }, {
+                            readonly var: "oracle";
+                        }];
+                    }];
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly resolutions: {
+                    readonly cat: readonly [{
+                        readonly var: "state.resolutions";
+                    }, readonly [{
+                        readonly oracle: {
+                            readonly var: "event.agent";
+                        };
+                        readonly outcome: {
+                            readonly var: "event.outcome";
+                        };
+                        readonly proof: {
+                            readonly var: "event.proof";
+                        };
+                        readonly submittedAt: {
+                            readonly var: "$timestamp";
+                        };
+                    }]];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "RESOLVING";
         readonly to: "SETTLED";
-        readonly eventName: "claim";
+        readonly eventName: "finalize";
+        readonly guard: {
+            readonly ">=": readonly [{
+                readonly size: {
+                    readonly var: "state.resolutions";
+                };
+            }, {
+                readonly var: "state.quorum";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "SETTLED";
+                readonly settledAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly finalOutcome: {
+                    readonly var: "event.outcome";
+                };
+                readonly claims: readonly [];
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "RESOLVING";
+        readonly to: "DISPUTED";
+        readonly eventName: "dispute";
         readonly guard: {
             readonly and: readonly [{
                 readonly ">": readonly [{
                     readonly size: {
                         readonly filter: readonly [{
-                            readonly var: "state.commitments";
+                            readonly var: "state.positions";
                         }, {
                             readonly "===": readonly [{
                                 readonly var: "agent";
@@ -408,6 +1384,113 @@ export declare const marketUniversalDef: {
                         }];
                     };
                 }, 0];
+            }, {
+                readonly var: "event.stake";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "DISPUTED";
+                readonly disputedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly disputedBy: {
+                    readonly var: "event.agent";
+                };
+                readonly disputeStake: {
+                    readonly var: "event.stake";
+                };
+                readonly disputeReason: {
+                    readonly var: "event.reason";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "DISPUTED";
+        readonly to: "SETTLED";
+        readonly eventName: "ruling";
+        readonly guard: {
+            readonly var: "event.judicialRuling";
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "SETTLED";
+                readonly settledAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly finalOutcome: {
+                    readonly var: "event.outcome";
+                };
+                readonly rulingId: {
+                    readonly var: "event.rulingId";
+                };
+                readonly claims: readonly [];
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "RESOLVING";
+        readonly to: "REFUNDED";
+        readonly eventName: "invalidate";
+        readonly guard: {
+            readonly ">=": readonly [{
+                readonly size: {
+                    readonly filter: readonly [{
+                        readonly var: "state.resolutions";
+                    }, {
+                        readonly "===": readonly [{
+                            readonly var: "outcome";
+                        }, "INVALID"];
+                    }];
+                };
+            }, {
+                readonly var: "state.quorum";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "REFUNDED";
+                readonly refundedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly reason: "oracle_invalidation";
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "SETTLED";
+        readonly to: "SETTLED";
+        readonly eventName: "claim";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">": readonly [{
+                    readonly size: {
+                        readonly filter: readonly [{
+                            readonly var: "state.positions";
+                        }, {
+                            readonly and: readonly [{
+                                readonly "===": readonly [{
+                                    readonly var: "agent";
+                                }, {
+                                    readonly var: "event.agent";
+                                }];
+                            }, {
+                                readonly "===": readonly [{
+                                    readonly var: "outcome";
+                                }, {
+                                    readonly var: "state.finalOutcome";
+                                }];
+                            }];
+                        }];
+                    };
+                }, 0];
             }, {
                 readonly "!": readonly [{
                     readonly in: readonly [{
@@ -427,7 +1510,7 @@ export declare const marketUniversalDef: {
                 readonly var: "state";
             }, {
                 readonly claims: {
-                    readonly merge: readonly [{
+                    readonly cat: readonly [{
                         readonly var: "state.claims";
                     }, readonly [{
                         readonly agent: {
@@ -437,7 +1520,7 @@ export declare const marketUniversalDef: {
                             readonly var: "event.amount";
                         };
                         readonly claimedAt: {
-                            readonly var: "$epochProgress";
+                            readonly var: "$timestamp";
                         };
                     }]];
                 };
@@ -446,3 +1529,152 @@ export declare const marketUniversalDef: {
         readonly dependencies: readonly [];
     }];
 };
+export declare const marketUniversalDef: {
+    readonly metadata: {
+        readonly name: "MarketUniversal";
+        readonly description: "Minimal market state machine - extend for custom use cases";
+        readonly version: "1.0.0";
+    };
+    readonly states: {
+        readonly PROPOSED: {
+            readonly id: "PROPOSED";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly OPEN: {
+            readonly id: "OPEN";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly CLOSED: {
+            readonly id: "CLOSED";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly SETTLED: {
+            readonly id: "SETTLED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+        readonly CANCELLED: {
+            readonly id: "CANCELLED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+    };
+    readonly initialState: "PROPOSED";
+    readonly transitions: readonly [{
+        readonly from: "PROPOSED";
+        readonly to: "OPEN";
+        readonly eventName: "open";
+        readonly guard: {
+            readonly "==": readonly [1, 1];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "OPEN";
+                readonly openedAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "PROPOSED";
+        readonly to: "CANCELLED";
+        readonly eventName: "cancel";
+        readonly guard: {
+            readonly "==": readonly [1, 1];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "CANCELLED";
+                readonly cancelledAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "OPEN";
+        readonly to: "OPEN";
+        readonly eventName: "commit";
+        readonly guard: {
+            readonly ">": readonly [{
+                readonly var: "event.amount";
+            }, 0];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly totalCommitted: {
+                    readonly "+": readonly [{
+                        readonly var: "state.totalCommitted";
+                    }, {
+                        readonly var: "event.amount";
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "OPEN";
+        readonly to: "CLOSED";
+        readonly eventName: "close";
+        readonly guard: {
+            readonly "==": readonly [1, 1];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "CLOSED";
+                readonly closedAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "CLOSED";
+        readonly to: "SETTLED";
+        readonly eventName: "settle";
+        readonly guard: {
+            readonly "==": readonly [1, 1];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "SETTLED";
+                readonly settledAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "CLOSED";
+        readonly to: "CANCELLED";
+        readonly eventName: "cancel";
+        readonly guard: {
+            readonly "==": readonly [1, 1];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "CANCELLED";
+                readonly cancelledAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }];
+};