@ottochain/sdk 2.0.0 → 2.1.0

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

@@ -1,1680 +1,10 @@
 /**
- * Auto-generated from JSON state machine definitions.
- * DO NOT EDIT - regenerate with: npm run prebuild
+ * Markets State Machine Definitions
+ *
+ * TypeScript-first definitions using defineFiberApp() - no JSON, no code generation.
  */
-export declare const marketAuctionDef: {
-    readonly metadata: {
-        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: {
-                readonly description: "Auction created but not yet open";
-            };
-        };
-        readonly OPEN: {
-            readonly id: "OPEN";
-            readonly isFinal: false;
-            readonly metadata: {
-                readonly description: "Accepting bids";
-            };
-        };
-        readonly CLOSING: {
-            readonly id: "CLOSING";
-            readonly isFinal: false;
-            readonly metadata: {
-                readonly description: "Bid period ended, determining winner";
-            };
-        };
-        readonly SETTLED: {
-            readonly id: "SETTLED";
-            readonly isFinal: true;
-            readonly metadata: {
-                readonly description: "Winner determined, transfer complete";
-            };
-        };
-        readonly NO_SALE: {
-            readonly id: "NO_SALE";
-            readonly isFinal: true;
-            readonly metadata: {
-                readonly description: "Reserve not met or no valid bids";
-            };
-        };
-        readonly CANCELLED: {
-            readonly id: "CANCELLED";
-            readonly isFinal: true;
-            readonly metadata: {
-                readonly description: "Auction cancelled by seller";
-            };
-        };
-    };
-    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.seller";
-            }];
-        };
-        readonly effect: {
-            readonly merge: readonly [{
-                readonly var: "state";
-            }, {
-                readonly status: "OPEN";
-                readonly openedAt: {
-                    readonly var: "$timestamp";
-                };
-                readonly bids: readonly [];
-                readonly highBid: null;
-                readonly highBidder: null;
-            }];
-        };
-        readonly dependencies: readonly [];
-    }, {
-        readonly from: "PROPOSED";
-        readonly to: "CANCELLED";
-        readonly eventName: "cancel";
-        readonly guard: {
-            readonly "===": readonly [{
-                readonly var: "event.agent";
-            }, {
-                readonly var: "state.seller";
-            }];
-        };
-        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: "bid";
-        readonly guard: {
-            readonly and: readonly [{
-                readonly "!==": readonly [{
-                    readonly var: "event.agent";
-                }, {
-                    readonly var: "state.seller";
-                }];
-            }, {
-                readonly ">=": readonly [{
-                    readonly var: "event.amount";
-                }, {
-                    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 [{
-                        readonly var: "state.deadline";
-                    }];
-                }, {
-                    readonly "<=": readonly [{
-                        readonly var: "$timestamp";
-                    }, {
-                        readonly var: "state.deadline";
-                    }];
-                }];
-            }];
-        };
-        readonly effect: {
-            readonly merge: readonly [{
-                readonly var: "state";
-            }, {
-                readonly bids: {
-                    readonly cat: readonly [{
-                        readonly var: "state.bids";
-                    }, readonly [{
-                        readonly bidder: {
-                            readonly var: "event.agent";
-                        };
-                        readonly amount: {
-                            readonly var: "event.amount";
-                        };
-                        readonly bidAt: {
-                            readonly var: "$timestamp";
-                        };
-                    }]];
-                };
-                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: "CLOSING";
-        readonly eventName: "close";
-        readonly guard: {
-            readonly or: readonly [{
-                readonly "===": readonly [{
-                    readonly var: "event.agent";
-                }, {
-                    readonly var: "state.seller";
-                }];
-            }, {
-                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: "CLOSING";
-                readonly closedAt: {
-                    readonly var: "$timestamp";
-                };
-            }];
-        };
-        readonly dependencies: readonly [];
-    }, {
-        readonly from: "CLOSING";
-        readonly to: "SETTLED";
-        readonly eventName: "settle";
-        readonly guard: {
-            readonly and: readonly [{
-                readonly var: "state.highBidder";
-            }, {
-                readonly or: readonly [{
-                    readonly "!": readonly [{
-                        readonly var: "state.reservePrice";
-                    }];
-                }, {
-                    readonly ">=": readonly [{
-                        readonly var: "state.highBid";
-                    }, {
-                        readonly var: "state.reservePrice";
-                    }];
-                }];
-            }];
-        };
-        readonly effect: {
-            readonly merge: readonly [{
-                readonly var: "state";
-            }, {
-                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: "CLOSING";
-        readonly to: "NO_SALE";
-        readonly eventName: "no_sale";
-        readonly guard: {
-            readonly or: readonly [{
-                readonly "!": readonly [{
-                    readonly var: "state.highBidder";
-                }];
-            }, {
-                readonly and: readonly [{
-                    readonly var: "state.reservePrice";
-                }, {
-                    readonly "<": readonly [{
-                        readonly var: "state.highBid";
-                    }, {
-                        readonly var: "state.reservePrice";
-                    }];
-                }];
-            }];
-        };
-        readonly effect: {
-            readonly merge: readonly [{
-                readonly var: "state";
-            }, {
-                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 [];
-    }];
-};
-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 "===": readonly [{
-                readonly var: "event.agent";
-            }, {
-                readonly var: "state.creator";
-            }];
-        };
-        readonly effect: {
-            readonly merge: readonly [{
-                readonly var: "state";
-            }, {
-                readonly status: "OPEN";
-                readonly launchedAt: {
-                    readonly var: "$timestamp";
-                };
-                readonly pledges: readonly [];
-                readonly totalPledged: 0;
-                readonly backerCount: 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 dependencies: readonly [];
-    }, {
-        readonly from: "OPEN";
-        readonly to: "OPEN";
-        readonly eventName: "pledge";
-        readonly guard: {
-            readonly and: readonly [{
-                readonly ">": readonly [{
-                    readonly var: "event.amount";
-                }, 0];
-            }, {
-                readonly "!==": readonly [{
-                    readonly var: "event.agent";
-                }, {
-                    readonly var: "state.creator";
-                }];
-            }, {
-                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.deadline";
-                }];
-            }];
-        };
-        readonly effect: {
-            readonly merge: readonly [{
-                readonly var: "state";
-            }, {
-                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 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: "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: "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.positions";
-                        }, {
-                            readonly "===": readonly [{
-                                readonly var: "agent";
-                            }, {
-                                readonly var: "event.agent";
-                            }];
-                        }];
-                    };
-                }, 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 [{
-                        readonly var: "event.agent";
-                    }, {
-                        readonly map: readonly [{
-                            readonly var: "state.claims";
-                        }, {
-                            readonly var: "agent";
-                        }];
-                    }];
-                }];
-            }];
-        };
-        readonly effect: {
-            readonly merge: readonly [{
-                readonly var: "state";
-            }, {
-                readonly claims: {
-                    readonly cat: readonly [{
-                        readonly var: "state.claims";
-                    }, readonly [{
-                        readonly agent: {
-                            readonly var: "event.agent";
-                        };
-                        readonly amount: {
-                            readonly var: "event.amount";
-                        };
-                        readonly claimedAt: {
-                            readonly var: "$timestamp";
-                        };
-                    }]];
-                };
-            }];
-        };
-        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 [];
-    }];
-};
+export { marketUniversalDef } from "./market-universal.js";
+export { marketPredictionDef } from "./market-prediction.js";
+export { marketAuctionDef } from "./market-auction.js";
+export { marketCrowdfundDef } from "./market-crowdfund.js";
+export { marketGroupBuyDef } from "./market-group-buy.js";