@ottochain/sdk 1.5.0 → 1.7.0-beta.1

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

@@ -0,0 +1,2138 @@
+/**
+ * Auto-generated from JSON state machine definitions.
+ * DO NOT EDIT - regenerate with: npm run prebuild
+ */
+export declare const daoMultisigDef: {
+    readonly metadata: {
+        readonly name: "MultisigDAO";
+        readonly description: "N-of-M multisig governance. Requires threshold signatures for actions.";
+        readonly version: "1.0.0";
+        readonly category: "governance/dao";
+    };
+    readonly states: {
+        readonly ACTIVE: {
+            readonly id: "ACTIVE";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly PENDING: {
+            readonly id: "PENDING";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly DISSOLVED: {
+            readonly id: "DISSOLVED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+    };
+    readonly initialState: "ACTIVE";
+    readonly transitions: readonly [{
+        readonly from: "ACTIVE";
+        readonly to: "PENDING";
+        readonly eventName: "propose";
+        readonly guard: {
+            readonly in: readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.signers";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly proposal: {
+                    readonly id: {
+                        readonly var: "event.proposalId";
+                    };
+                    readonly actionType: {
+                        readonly var: "event.actionType";
+                    };
+                    readonly payload: {
+                        readonly var: "event.payload";
+                    };
+                    readonly proposer: {
+                        readonly var: "event.agent";
+                    };
+                    readonly proposedAt: {
+                        readonly var: "$timestamp";
+                    };
+                    readonly expiresAt: {
+                        readonly "+": readonly [{
+                            readonly var: "$timestamp";
+                        }, {
+                            readonly var: "state.proposalTTLMs";
+                        }];
+                    };
+                };
+                readonly signatures: {
+                    readonly setKey: readonly [{}, {
+                        readonly var: "event.agent";
+                    }, {
+                        readonly var: "$timestamp";
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "PENDING";
+        readonly to: "PENDING";
+        readonly eventName: "sign";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly in: readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.signers";
+                }];
+            }, {
+                readonly "!": readonly [{
+                    readonly getKey: readonly [{
+                        readonly var: "state.signatures";
+                    }, {
+                        readonly var: "event.agent";
+                    }];
+                }];
+            }, {
+                readonly "<": readonly [{
+                    readonly size: {
+                        readonly var: "state.signatures";
+                    };
+                }, {
+                    readonly var: "state.threshold";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly signatures: {
+                    readonly setKey: readonly [{
+                        readonly var: "state.signatures";
+                    }, {
+                        readonly var: "event.agent";
+                    }, {
+                        readonly var: "$timestamp";
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "PENDING";
+        readonly to: "ACTIVE";
+        readonly eventName: "execute";
+        readonly guard: {
+            readonly ">=": readonly [{
+                readonly size: {
+                    readonly var: "state.signatures";
+                };
+            }, {
+                readonly var: "state.threshold";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly actions: {
+                    readonly cat: readonly [{
+                        readonly var: "state.actions";
+                    }, readonly [{
+                        readonly id: {
+                            readonly var: "state.proposal.id";
+                        };
+                        readonly type: {
+                            readonly var: "state.proposal.actionType";
+                        };
+                        readonly payload: {
+                            readonly var: "state.proposal.payload";
+                        };
+                        readonly signatures: {
+                            readonly var: "state.signatures";
+                        };
+                        readonly executedAt: {
+                            readonly var: "$timestamp";
+                        };
+                    }]];
+                };
+                readonly proposal: null;
+                readonly signatures: {};
+            }];
+        };
+        readonly emits: readonly [{
+            readonly event: "multisig_executed";
+            readonly to: "external";
+        }];
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "PENDING";
+        readonly to: "ACTIVE";
+        readonly eventName: "cancel";
+        readonly guard: {
+            readonly or: readonly [{
+                readonly ">": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.proposal.expiresAt";
+                }];
+            }, {
+                readonly "===": readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.proposal.proposer";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly cancelledProposals: {
+                    readonly cat: readonly [{
+                        readonly var: "state.cancelledProposals";
+                    }, readonly [{
+                        readonly merge: readonly [{
+                            readonly var: "state.proposal";
+                        }, {
+                            readonly cancelledAt: {
+                                readonly var: "$timestamp";
+                            };
+                        }];
+                    }]];
+                };
+                readonly proposal: null;
+                readonly signatures: {};
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "PENDING";
+        readonly eventName: "propose_add_signer";
+        readonly guard: {
+            readonly in: readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.signers";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly proposal: {
+                    readonly id: {
+                        readonly var: "event.proposalId";
+                    };
+                    readonly actionType: "add_signer";
+                    readonly payload: {
+                        readonly newSigner: {
+                            readonly var: "event.newSigner";
+                        };
+                    };
+                    readonly proposer: {
+                        readonly var: "event.agent";
+                    };
+                    readonly proposedAt: {
+                        readonly var: "$timestamp";
+                    };
+                    readonly expiresAt: {
+                        readonly "+": readonly [{
+                            readonly var: "$timestamp";
+                        }, {
+                            readonly var: "state.proposalTTLMs";
+                        }];
+                    };
+                };
+                readonly signatures: {
+                    readonly setKey: readonly [{}, {
+                        readonly var: "event.agent";
+                    }, {
+                        readonly var: "$timestamp";
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "PENDING";
+        readonly eventName: "propose_remove_signer";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly in: readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.signers";
+                }];
+            }, {
+                readonly ">": readonly [{
+                    readonly size: {
+                        readonly var: "state.signers";
+                    };
+                }, {
+                    readonly var: "state.threshold";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly proposal: {
+                    readonly id: {
+                        readonly var: "event.proposalId";
+                    };
+                    readonly actionType: "remove_signer";
+                    readonly payload: {
+                        readonly removeSigner: {
+                            readonly var: "event.removeSigner";
+                        };
+                    };
+                    readonly proposer: {
+                        readonly var: "event.agent";
+                    };
+                    readonly proposedAt: {
+                        readonly var: "$timestamp";
+                    };
+                    readonly expiresAt: {
+                        readonly "+": readonly [{
+                            readonly var: "$timestamp";
+                        }, {
+                            readonly var: "state.proposalTTLMs";
+                        }];
+                    };
+                };
+                readonly signatures: {
+                    readonly setKey: readonly [{}, {
+                        readonly var: "event.agent";
+                    }, {
+                        readonly var: "$timestamp";
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "PENDING";
+        readonly eventName: "propose_change_threshold";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly in: readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.signers";
+                }];
+            }, {
+                readonly ">=": readonly [{
+                    readonly var: "event.newThreshold";
+                }, 1];
+            }, {
+                readonly "<=": readonly [{
+                    readonly var: "event.newThreshold";
+                }, {
+                    readonly size: {
+                        readonly var: "state.signers";
+                    };
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly proposal: {
+                    readonly id: {
+                        readonly var: "event.proposalId";
+                    };
+                    readonly actionType: "change_threshold";
+                    readonly payload: {
+                        readonly newThreshold: {
+                            readonly var: "event.newThreshold";
+                        };
+                    };
+                    readonly proposer: {
+                        readonly var: "event.agent";
+                    };
+                    readonly proposedAt: {
+                        readonly var: "$timestamp";
+                    };
+                    readonly expiresAt: {
+                        readonly "+": readonly [{
+                            readonly var: "$timestamp";
+                        }, {
+                            readonly var: "state.proposalTTLMs";
+                        }];
+                    };
+                };
+                readonly signatures: {
+                    readonly setKey: readonly [{}, {
+                        readonly var: "event.agent";
+                    }, {
+                        readonly var: "$timestamp";
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "PENDING";
+        readonly to: "ACTIVE";
+        readonly eventName: "apply_signer_change";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">=": readonly [{
+                    readonly size: {
+                        readonly var: "state.signatures";
+                    };
+                }, {
+                    readonly var: "state.threshold";
+                }];
+            }, {
+                readonly in: readonly [{
+                    readonly var: "state.proposal.actionType";
+                }, readonly ["add_signer", "remove_signer", "change_threshold"]];
+            }];
+        };
+        readonly effect: {
+            readonly if: readonly [{
+                readonly "===": readonly [{
+                    readonly var: "state.proposal.actionType";
+                }, "add_signer"];
+            }, {
+                readonly merge: readonly [{
+                    readonly var: "state";
+                }, {
+                    readonly signers: {
+                        readonly cat: readonly [{
+                            readonly var: "state.signers";
+                        }, readonly [{
+                            readonly var: "state.proposal.payload.newSigner";
+                        }]];
+                    };
+                    readonly proposal: null;
+                    readonly signatures: {};
+                }];
+            }, {
+                readonly "===": readonly [{
+                    readonly var: "state.proposal.actionType";
+                }, "remove_signer"];
+            }, {
+                readonly merge: readonly [{
+                    readonly var: "state";
+                }, {
+                    readonly signers: {
+                        readonly filter: readonly [{
+                            readonly var: "state.signers";
+                        }, {
+                            readonly "!==": readonly [{
+                                readonly var: "";
+                            }, {
+                                readonly var: "state.proposal.payload.removeSigner";
+                            }];
+                        }];
+                    };
+                    readonly proposal: null;
+                    readonly signatures: {};
+                }];
+            }, {
+                readonly merge: readonly [{
+                    readonly var: "state";
+                }, {
+                    readonly threshold: {
+                        readonly var: "state.proposal.payload.newThreshold";
+                    };
+                    readonly proposal: null;
+                    readonly signatures: {};
+                }];
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "DISSOLVED";
+        readonly eventName: "dissolve";
+        readonly guard: {
+            readonly "===": readonly [{
+                readonly var: "event.signatureCount";
+            }, {
+                readonly size: {
+                    readonly var: "state.signers";
+                };
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly dissolvedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly status: "DISSOLVED";
+            }];
+        };
+        readonly dependencies: readonly [];
+    }];
+    readonly crossReferences: {
+        readonly Identity: "signer verification";
+        readonly Contract: "action execution targets";
+        readonly Treasury: "fund management";
+        readonly Escrow: "controlled release";
+    };
+};
+export declare const daoReputationDef: {
+    readonly metadata: {
+        readonly name: "DAOReputation";
+        readonly description: "Reputation-based governance. Minimum reputation required for participation.";
+        readonly version: "1.0.0";
+        readonly category: "governance/dao";
+    };
+    readonly states: {
+        readonly ACTIVE: {
+            readonly id: "ACTIVE";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly VOTING: {
+            readonly id: "VOTING";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly DISSOLVED: {
+            readonly id: "DISSOLVED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+    };
+    readonly initialState: "ACTIVE";
+    readonly transitions: readonly [{
+        readonly from: "ACTIVE";
+        readonly to: "VOTING";
+        readonly eventName: "propose";
+        readonly guard: {
+            readonly ">=": readonly [{
+                readonly var: "event.agentReputation";
+            }, {
+                readonly var: "state.proposeThreshold";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly proposal: {
+                    readonly id: {
+                        readonly var: "event.proposalId";
+                    };
+                    readonly title: {
+                        readonly var: "event.title";
+                    };
+                    readonly description: {
+                        readonly var: "event.description";
+                    };
+                    readonly actionType: {
+                        readonly var: "event.actionType";
+                    };
+                    readonly payload: {
+                        readonly var: "event.payload";
+                    };
+                    readonly proposer: {
+                        readonly var: "event.agent";
+                    };
+                    readonly proposedAt: {
+                        readonly var: "$timestamp";
+                    };
+                    readonly deadline: {
+                        readonly "+": readonly [{
+                            readonly var: "$timestamp";
+                        }, {
+                            readonly var: "state.votingPeriodMs";
+                        }];
+                    };
+                };
+                readonly votes: {
+                    readonly for: readonly [];
+                    readonly against: readonly [];
+                    readonly abstain: readonly [];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "VOTING";
+        readonly to: "VOTING";
+        readonly eventName: "vote";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">=": readonly [{
+                    readonly var: "event.agentReputation";
+                }, {
+                    readonly var: "state.voteThreshold";
+                }];
+            }, {
+                readonly "!": readonly [{
+                    readonly in: readonly [{
+                        readonly var: "event.agent";
+                    }, {
+                        readonly var: "state.votes.for";
+                    }];
+                }];
+            }, {
+                readonly "!": readonly [{
+                    readonly in: readonly [{
+                        readonly var: "event.agent";
+                    }, {
+                        readonly var: "state.votes.against";
+                    }];
+                }];
+            }, {
+                readonly "!": readonly [{
+                    readonly in: readonly [{
+                        readonly var: "event.agent";
+                    }, {
+                        readonly var: "state.votes.abstain";
+                    }];
+                }];
+            }, {
+                readonly "<=": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.proposal.deadline";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly votes: {
+                    readonly if: readonly [{
+                        readonly "===": readonly [{
+                            readonly var: "event.vote";
+                        }, "for"];
+                    }, {
+                        readonly merge: readonly [{
+                            readonly var: "state.votes";
+                        }, {
+                            readonly for: {
+                                readonly cat: readonly [{
+                                    readonly var: "state.votes.for";
+                                }, readonly [{
+                                    readonly var: "event.agent";
+                                }]];
+                            };
+                        }];
+                    }, {
+                        readonly "===": readonly [{
+                            readonly var: "event.vote";
+                        }, "against"];
+                    }, {
+                        readonly merge: readonly [{
+                            readonly var: "state.votes";
+                        }, {
+                            readonly against: {
+                                readonly cat: readonly [{
+                                    readonly var: "state.votes.against";
+                                }, readonly [{
+                                    readonly var: "event.agent";
+                                }]];
+                            };
+                        }];
+                    }, {
+                        readonly merge: readonly [{
+                            readonly var: "state.votes";
+                        }, {
+                            readonly abstain: {
+                                readonly cat: readonly [{
+                                    readonly var: "state.votes.abstain";
+                                }, readonly [{
+                                    readonly var: "event.agent";
+                                }]];
+                            };
+                        }];
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "VOTING";
+        readonly to: "ACTIVE";
+        readonly eventName: "execute";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.proposal.deadline";
+                }];
+            }, {
+                readonly ">": readonly [{
+                    readonly size: {
+                        readonly var: "state.votes.for";
+                    };
+                }, {
+                    readonly size: {
+                        readonly var: "state.votes.against";
+                    };
+                }];
+            }, {
+                readonly ">=": readonly [{
+                    readonly "+": readonly [{
+                        readonly size: {
+                            readonly var: "state.votes.for";
+                        };
+                    }, {
+                        readonly size: {
+                            readonly var: "state.votes.against";
+                        };
+                    }];
+                }, {
+                    readonly var: "state.quorum";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly history: {
+                    readonly cat: readonly [{
+                        readonly var: "state.history";
+                    }, readonly [{
+                        readonly type: "executed";
+                        readonly proposal: {
+                            readonly var: "state.proposal";
+                        };
+                        readonly votes: {
+                            readonly var: "state.votes";
+                        };
+                        readonly at: {
+                            readonly var: "$timestamp";
+                        };
+                    }]];
+                };
+                readonly proposal: null;
+                readonly votes: null;
+            }];
+        };
+        readonly emits: readonly [{
+            readonly event: "proposal_executed";
+            readonly to: "Reputation";
+            readonly payload: {
+                readonly action: "increase";
+                readonly agents: {
+                    readonly var: "state.votes.for";
+                };
+            };
+        }];
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "VOTING";
+        readonly to: "ACTIVE";
+        readonly eventName: "reject";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.proposal.deadline";
+                }];
+            }, {
+                readonly or: readonly [{
+                    readonly "<=": readonly [{
+                        readonly size: {
+                            readonly var: "state.votes.for";
+                        };
+                    }, {
+                        readonly size: {
+                            readonly var: "state.votes.against";
+                        };
+                    }];
+                }, {
+                    readonly "<": readonly [{
+                        readonly "+": readonly [{
+                            readonly size: {
+                                readonly var: "state.votes.for";
+                            };
+                        }, {
+                            readonly size: {
+                                readonly var: "state.votes.against";
+                            };
+                        }];
+                    }, {
+                        readonly var: "state.quorum";
+                    }];
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly history: {
+                    readonly cat: readonly [{
+                        readonly var: "state.history";
+                    }, readonly [{
+                        readonly type: "rejected";
+                        readonly proposal: {
+                            readonly var: "state.proposal";
+                        };
+                        readonly votes: {
+                            readonly var: "state.votes";
+                        };
+                        readonly at: {
+                            readonly var: "$timestamp";
+                        };
+                    }]];
+                };
+                readonly proposal: null;
+                readonly votes: null;
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "ACTIVE";
+        readonly eventName: "join";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">=": readonly [{
+                    readonly var: "event.agentReputation";
+                }, {
+                    readonly var: "state.memberThreshold";
+                }];
+            }, {
+                readonly "!": readonly [{
+                    readonly in: readonly [{
+                        readonly var: "event.agent";
+                    }, {
+                        readonly var: "state.members";
+                    }];
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly members: {
+                    readonly cat: readonly [{
+                        readonly var: "state.members";
+                    }, readonly [{
+                        readonly var: "event.agent";
+                    }]];
+                };
+                readonly memberJoinedAt: {
+                    readonly setKey: readonly [{
+                        readonly var: "state.memberJoinedAt";
+                    }, {
+                        readonly var: "event.agent";
+                    }, {
+                        readonly var: "$timestamp";
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "ACTIVE";
+        readonly eventName: "leave";
+        readonly guard: {
+            readonly in: readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.members";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly members: {
+                    readonly filter: readonly [{
+                        readonly var: "state.members";
+                    }, {
+                        readonly "!==": readonly [{
+                            readonly var: "";
+                        }, {
+                            readonly var: "event.agent";
+                        }];
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "VOTING";
+        readonly eventName: "propose_threshold_change";
+        readonly guard: {
+            readonly ">=": readonly [{
+                readonly var: "event.agentReputation";
+            }, {
+                readonly var: "state.proposeThreshold";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly proposal: {
+                    readonly id: {
+                        readonly var: "event.proposalId";
+                    };
+                    readonly title: "Threshold Change";
+                    readonly actionType: "threshold_change";
+                    readonly payload: {
+                        readonly memberThreshold: {
+                            readonly var: "event.memberThreshold";
+                        };
+                        readonly voteThreshold: {
+                            readonly var: "event.voteThreshold";
+                        };
+                        readonly proposeThreshold: {
+                            readonly var: "event.proposeThreshold";
+                        };
+                    };
+                    readonly proposer: {
+                        readonly var: "event.agent";
+                    };
+                    readonly proposedAt: {
+                        readonly var: "$timestamp";
+                    };
+                    readonly deadline: {
+                        readonly "+": readonly [{
+                            readonly var: "$timestamp";
+                        }, {
+                            readonly var: "state.votingPeriodMs";
+                        }];
+                    };
+                };
+                readonly votes: {
+                    readonly for: readonly [];
+                    readonly against: readonly [];
+                    readonly abstain: readonly [];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }];
+    readonly crossReferences: {
+        readonly Identity: "member verification";
+        readonly Reputation: "threshold checks";
+        readonly Contract: "action execution";
+    };
+};
+export declare const daoSingleDef: {
+    readonly metadata: {
+        readonly name: "SingleOwnerDAO";
+        readonly description: "Single owner controls all actions. Simplest governance model.";
+        readonly version: "1.0.0";
+        readonly category: "governance/dao";
+    };
+    readonly states: {
+        readonly ACTIVE: {
+            readonly id: "ACTIVE";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly TRANSFERRING: {
+            readonly id: "TRANSFERRING";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly DISSOLVED: {
+            readonly id: "DISSOLVED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+    };
+    readonly initialState: "ACTIVE";
+    readonly transitions: readonly [{
+        readonly from: "ACTIVE";
+        readonly to: "ACTIVE";
+        readonly eventName: "execute";
+        readonly guard: {
+            readonly "===": readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.owner";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly actions: {
+                    readonly cat: readonly [{
+                        readonly var: "state.actions";
+                    }, readonly [{
+                        readonly id: {
+                            readonly var: "event.actionId";
+                        };
+                        readonly type: {
+                            readonly var: "event.actionType";
+                        };
+                        readonly payload: {
+                            readonly var: "event.payload";
+                        };
+                        readonly executedAt: {
+                            readonly var: "$timestamp";
+                        };
+                    }]];
+                };
+            }];
+        };
+        readonly emits: readonly [{
+            readonly event: "action_executed";
+            readonly to: "external";
+        }];
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "TRANSFERRING";
+        readonly eventName: "transfer_ownership";
+        readonly guard: {
+            readonly "===": readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.owner";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly pendingOwner: {
+                    readonly var: "event.newOwner";
+                };
+                readonly transferInitiatedAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "TRANSFERRING";
+        readonly to: "ACTIVE";
+        readonly eventName: "accept_ownership";
+        readonly guard: {
+            readonly "===": readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.pendingOwner";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly owner: {
+                    readonly var: "state.pendingOwner";
+                };
+                readonly pendingOwner: null;
+                readonly transferInitiatedAt: null;
+                readonly ownershipHistory: {
+                    readonly cat: readonly [{
+                        readonly var: "state.ownershipHistory";
+                    }, readonly [{
+                        readonly from: {
+                            readonly var: "state.owner";
+                        };
+                        readonly to: {
+                            readonly var: "state.pendingOwner";
+                        };
+                        readonly at: {
+                            readonly var: "$timestamp";
+                        };
+                    }]];
+                };
+            }];
+        };
+        readonly emits: readonly [{
+            readonly event: "ownership_transferred";
+            readonly to: "Identity";
+        }];
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "TRANSFERRING";
+        readonly to: "ACTIVE";
+        readonly eventName: "cancel_transfer";
+        readonly guard: {
+            readonly "===": readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.owner";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly pendingOwner: null;
+                readonly transferInitiatedAt: null;
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "DISSOLVED";
+        readonly eventName: "dissolve";
+        readonly guard: {
+            readonly "===": readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.owner";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly dissolvedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly status: "DISSOLVED";
+            }];
+        };
+        readonly dependencies: readonly [];
+    }];
+    readonly crossReferences: {
+        readonly Identity: "owner registration";
+        readonly Contract: "action execution targets";
+        readonly Treasury: "fund management";
+    };
+};
+export declare const daoTokenDef: {
+    readonly metadata: {
+        readonly name: "TokenDAO";
+        readonly description: "Token-weighted voting. Voting power proportional to token holdings.";
+        readonly version: "1.0.0";
+        readonly category: "governance/dao";
+    };
+    readonly states: {
+        readonly ACTIVE: {
+            readonly id: "ACTIVE";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly VOTING: {
+            readonly id: "VOTING";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly QUEUED: {
+            readonly id: "QUEUED";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly DISSOLVED: {
+            readonly id: "DISSOLVED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+    };
+    readonly initialState: "ACTIVE";
+    readonly transitions: readonly [{
+        readonly from: "ACTIVE";
+        readonly to: "VOTING";
+        readonly eventName: "propose";
+        readonly guard: {
+            readonly ">=": readonly [{
+                readonly getKey: readonly [{
+                    readonly var: "state.balances";
+                }, {
+                    readonly var: "event.agent";
+                }];
+            }, {
+                readonly var: "state.proposalThreshold";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly proposal: {
+                    readonly id: {
+                        readonly var: "event.proposalId";
+                    };
+                    readonly title: {
+                        readonly var: "event.title";
+                    };
+                    readonly description: {
+                        readonly var: "event.description";
+                    };
+                    readonly actionType: {
+                        readonly var: "event.actionType";
+                    };
+                    readonly payload: {
+                        readonly var: "event.payload";
+                    };
+                    readonly proposer: {
+                        readonly var: "event.agent";
+                    };
+                    readonly proposedAt: {
+                        readonly var: "$timestamp";
+                    };
+                    readonly votingEndsAt: {
+                        readonly "+": readonly [{
+                            readonly var: "$timestamp";
+                        }, {
+                            readonly var: "state.votingPeriodMs";
+                        }];
+                    };
+                    readonly snapshotBlock: {
+                        readonly var: "event.snapshotBlock";
+                    };
+                };
+                readonly votes: {
+                    readonly for: 0;
+                    readonly against: 0;
+                    readonly abstain: 0;
+                    readonly voters: {};
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "VOTING";
+        readonly to: "VOTING";
+        readonly eventName: "vote";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">": readonly [{
+                    readonly getKey: readonly [{
+                        readonly var: "state.balances";
+                    }, {
+                        readonly var: "event.agent";
+                    }];
+                }, 0];
+            }, {
+                readonly "!": readonly [{
+                    readonly getKey: readonly [{
+                        readonly var: "state.votes.voters";
+                    }, {
+                        readonly var: "event.agent";
+                    }];
+                }];
+            }, {
+                readonly "<=": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.proposal.votingEndsAt";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly votes: {
+                    readonly merge: readonly [{
+                        readonly var: "state.votes";
+                    }, {
+                        readonly if: readonly [{
+                            readonly "===": readonly [{
+                                readonly var: "event.vote";
+                            }, "for"];
+                        }, {
+                            readonly for: {
+                                readonly "+": readonly [{
+                                    readonly var: "state.votes.for";
+                                }, {
+                                    readonly getKey: readonly [{
+                                        readonly var: "state.balances";
+                                    }, {
+                                        readonly var: "event.agent";
+                                    }];
+                                }];
+                            };
+                        }, {
+                            readonly "===": readonly [{
+                                readonly var: "event.vote";
+                            }, "against"];
+                        }, {
+                            readonly against: {
+                                readonly "+": readonly [{
+                                    readonly var: "state.votes.against";
+                                }, {
+                                    readonly getKey: readonly [{
+                                        readonly var: "state.balances";
+                                    }, {
+                                        readonly var: "event.agent";
+                                    }];
+                                }];
+                            };
+                        }, {
+                            readonly abstain: {
+                                readonly "+": readonly [{
+                                    readonly var: "state.votes.abstain";
+                                }, {
+                                    readonly getKey: readonly [{
+                                        readonly var: "state.balances";
+                                    }, {
+                                        readonly var: "event.agent";
+                                    }];
+                                }];
+                            };
+                        }];
+                    }, {
+                        readonly voters: {
+                            readonly setKey: readonly [{
+                                readonly var: "state.votes.voters";
+                            }, {
+                                readonly var: "event.agent";
+                            }, {
+                                readonly vote: {
+                                    readonly var: "event.vote";
+                                };
+                                readonly weight: {
+                                    readonly getKey: readonly [{
+                                        readonly var: "state.balances";
+                                    }, {
+                                        readonly var: "event.agent";
+                                    }];
+                                };
+                                readonly votedAt: {
+                                    readonly var: "$timestamp";
+                                };
+                            }];
+                        };
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "VOTING";
+        readonly to: "QUEUED";
+        readonly eventName: "queue";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.proposal.votingEndsAt";
+                }];
+            }, {
+                readonly ">": readonly [{
+                    readonly var: "state.votes.for";
+                }, {
+                    readonly var: "state.votes.against";
+                }];
+            }, {
+                readonly ">=": readonly [{
+                    readonly "+": readonly [{
+                        readonly var: "state.votes.for";
+                    }, {
+                        readonly var: "state.votes.against";
+                    }, {
+                        readonly var: "state.votes.abstain";
+                    }];
+                }, {
+                    readonly var: "state.quorum";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly proposal: {
+                    readonly merge: readonly [{
+                        readonly var: "state.proposal";
+                    }, {
+                        readonly queuedAt: {
+                            readonly var: "$timestamp";
+                        };
+                        readonly executableAt: {
+                            readonly "+": readonly [{
+                                readonly var: "$timestamp";
+                            }, {
+                                readonly var: "state.timelockMs";
+                            }];
+                        };
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "QUEUED";
+        readonly to: "ACTIVE";
+        readonly eventName: "execute";
+        readonly guard: {
+            readonly ">=": readonly [{
+                readonly var: "$timestamp";
+            }, {
+                readonly var: "state.proposal.executableAt";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly executedProposals: {
+                    readonly cat: readonly [{
+                        readonly var: "state.executedProposals";
+                    }, readonly [{
+                        readonly merge: readonly [{
+                            readonly var: "state.proposal";
+                        }, {
+                            readonly votes: {
+                                readonly var: "state.votes";
+                            };
+                            readonly executedAt: {
+                                readonly var: "$timestamp";
+                            };
+                        }];
+                    }]];
+                };
+                readonly proposal: null;
+                readonly votes: null;
+            }];
+        };
+        readonly emits: readonly [{
+            readonly event: "proposal_executed";
+            readonly to: "external";
+        }];
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "VOTING";
+        readonly to: "ACTIVE";
+        readonly eventName: "reject";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.proposal.votingEndsAt";
+                }];
+            }, {
+                readonly or: readonly [{
+                    readonly "<=": readonly [{
+                        readonly var: "state.votes.for";
+                    }, {
+                        readonly var: "state.votes.against";
+                    }];
+                }, {
+                    readonly "<": readonly [{
+                        readonly "+": readonly [{
+                            readonly var: "state.votes.for";
+                        }, {
+                            readonly var: "state.votes.against";
+                        }, {
+                            readonly var: "state.votes.abstain";
+                        }];
+                    }, {
+                        readonly var: "state.quorum";
+                    }];
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly rejectedProposals: {
+                    readonly cat: readonly [{
+                        readonly var: "state.rejectedProposals";
+                    }, readonly [{
+                        readonly merge: readonly [{
+                            readonly var: "state.proposal";
+                        }, {
+                            readonly votes: {
+                                readonly var: "state.votes";
+                            };
+                            readonly rejectedAt: {
+                                readonly var: "$timestamp";
+                            };
+                        }];
+                    }]];
+                };
+                readonly proposal: null;
+                readonly votes: null;
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "QUEUED";
+        readonly to: "ACTIVE";
+        readonly eventName: "cancel";
+        readonly guard: {
+            readonly "===": readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.proposal.proposer";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly cancelledProposals: {
+                    readonly cat: readonly [{
+                        readonly var: "state.cancelledProposals";
+                    }, readonly [{
+                        readonly merge: readonly [{
+                            readonly var: "state.proposal";
+                        }, {
+                            readonly cancelledAt: {
+                                readonly var: "$timestamp";
+                            };
+                        }];
+                    }]];
+                };
+                readonly proposal: null;
+                readonly votes: null;
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "ACTIVE";
+        readonly eventName: "delegate";
+        readonly guard: {
+            readonly ">": readonly [{
+                readonly getKey: readonly [{
+                    readonly var: "state.balances";
+                }, {
+                    readonly var: "event.agent";
+                }];
+            }, 0];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly delegations: {
+                    readonly setKey: readonly [{
+                        readonly var: "state.delegations";
+                    }, {
+                        readonly var: "event.agent";
+                    }, {
+                        readonly var: "event.delegateTo";
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "ACTIVE";
+        readonly eventName: "undelegate";
+        readonly guard: {
+            readonly getKey: readonly [{
+                readonly var: "state.delegations";
+            }, {
+                readonly var: "event.agent";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly delegations: {
+                    readonly deleteKey: readonly [{
+                        readonly var: "state.delegations";
+                    }, {
+                        readonly var: "event.agent";
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }];
+    readonly crossReferences: {
+        readonly Identity: "voter verification";
+        readonly Token: "balance snapshots";
+        readonly Contract: "action execution";
+        readonly Treasury: "fund management";
+    };
+};
+export declare const govSimpleDef: {
+    readonly metadata: {
+        readonly name: "Governance";
+        readonly description: "Simple org governance: manage members, update rules, resolve disputes";
+        readonly version: "1.0.0";
+    };
+    readonly states: {
+        readonly ACTIVE: {
+            readonly id: "ACTIVE";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly VOTING: {
+            readonly id: "VOTING";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly DISPUTE: {
+            readonly id: "DISPUTE";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly DISSOLVED: {
+            readonly id: "DISSOLVED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+    };
+    readonly initialState: "ACTIVE";
+    readonly transitions: readonly [{
+        readonly from: "ACTIVE";
+        readonly to: "ACTIVE";
+        readonly eventName: "add_member";
+        readonly guard: {
+            readonly in: readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.admins";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly members: {
+                    readonly setKey: readonly [{
+                        readonly var: "state.members";
+                    }, {
+                        readonly var: "event.member";
+                    }, {
+                        readonly role: {
+                            readonly var: "event.role";
+                        };
+                        readonly addedAt: {
+                            readonly var: "$timestamp";
+                        };
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "ACTIVE";
+        readonly eventName: "remove_member";
+        readonly guard: {
+            readonly in: readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.admins";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly members: {
+                    readonly deleteKey: readonly [{
+                        readonly var: "state.members";
+                    }, {
+                        readonly var: "event.member";
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "VOTING";
+        readonly eventName: "propose";
+        readonly guard: {
+            readonly getKey: readonly [{
+                readonly var: "state.members";
+            }, {
+                readonly var: "event.agent";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly proposal: {
+                    readonly id: {
+                        readonly var: "event.proposalId";
+                    };
+                    readonly type: {
+                        readonly var: "event.type";
+                    };
+                    readonly changes: {
+                        readonly var: "event.changes";
+                    };
+                    readonly proposer: {
+                        readonly var: "event.agent";
+                    };
+                    readonly proposedAt: {
+                        readonly var: "$timestamp";
+                    };
+                    readonly deadline: {
+                        readonly "+": readonly [{
+                            readonly var: "$timestamp";
+                        }, {
+                            readonly var: "state.votingPeriodMs";
+                        }];
+                    };
+                };
+                readonly votes: {};
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "VOTING";
+        readonly to: "VOTING";
+        readonly eventName: "vote";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly getKey: readonly [{
+                    readonly var: "state.members";
+                }, {
+                    readonly var: "event.agent";
+                }];
+            }, {
+                readonly "!": readonly [{
+                    readonly getKey: readonly [{
+                        readonly var: "state.votes";
+                    }, {
+                        readonly var: "event.agent";
+                    }];
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly votes: {
+                    readonly setKey: readonly [{
+                        readonly var: "state.votes";
+                    }, {
+                        readonly var: "event.agent";
+                    }, {
+                        readonly vote: {
+                            readonly var: "event.vote";
+                        };
+                        readonly votedAt: {
+                            readonly var: "$timestamp";
+                        };
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "VOTING";
+        readonly to: "ACTIVE";
+        readonly eventName: "finalize";
+        readonly guard: {
+            readonly ">=": readonly [{
+                readonly var: "event.forCount";
+            }, {
+                readonly "*": readonly [{
+                    readonly size: {
+                        readonly var: "state.members";
+                    };
+                }, {
+                    readonly var: "state.passingThreshold";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly rules: {
+                    readonly merge: readonly [{
+                        readonly var: "state.rules";
+                    }, {
+                        readonly var: "state.proposal.changes";
+                    }];
+                };
+                readonly history: {
+                    readonly cat: readonly [{
+                        readonly var: "state.history";
+                    }, readonly [{
+                        readonly type: "rule_change";
+                        readonly proposal: {
+                            readonly var: "state.proposal";
+                        };
+                        readonly outcome: "passed";
+                        readonly finalizedAt: {
+                            readonly var: "$timestamp";
+                        };
+                    }]];
+                };
+                readonly proposal: null;
+                readonly votes: {};
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "VOTING";
+        readonly to: "ACTIVE";
+        readonly eventName: "finalize";
+        readonly guard: {
+            readonly "<": readonly [{
+                readonly var: "event.forCount";
+            }, {
+                readonly "*": readonly [{
+                    readonly size: {
+                        readonly var: "state.members";
+                    };
+                }, {
+                    readonly var: "state.passingThreshold";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly history: {
+                    readonly cat: readonly [{
+                        readonly var: "state.history";
+                    }, readonly [{
+                        readonly type: "rule_change";
+                        readonly proposal: {
+                            readonly var: "state.proposal";
+                        };
+                        readonly outcome: "failed";
+                        readonly finalizedAt: {
+                            readonly var: "$timestamp";
+                        };
+                    }]];
+                };
+                readonly proposal: null;
+                readonly votes: {};
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "DISPUTE";
+        readonly eventName: "file_dispute";
+        readonly guard: {
+            readonly getKey: readonly [{
+                readonly var: "state.members";
+            }, {
+                readonly var: "event.agent";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly dispute: {
+                    readonly id: {
+                        readonly var: "event.disputeId";
+                    };
+                    readonly plaintiff: {
+                        readonly var: "event.agent";
+                    };
+                    readonly defendant: {
+                        readonly var: "event.defendant";
+                    };
+                    readonly claim: {
+                        readonly var: "event.claim";
+                    };
+                    readonly filedAt: {
+                        readonly var: "$timestamp";
+                    };
+                    readonly evidence: readonly [];
+                };
+                readonly votes: {};
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "DISPUTE";
+        readonly to: "DISPUTE";
+        readonly eventName: "submit_evidence";
+        readonly guard: {
+            readonly or: readonly [{
+                readonly "===": readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.dispute.plaintiff";
+                }];
+            }, {
+                readonly "===": readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.dispute.defendant";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly dispute: {
+                    readonly merge: readonly [{
+                        readonly var: "state.dispute";
+                    }, {
+                        readonly evidence: {
+                            readonly cat: readonly [{
+                                readonly var: "state.dispute.evidence";
+                            }, readonly [{
+                                readonly from: {
+                                    readonly var: "event.agent";
+                                };
+                                readonly content: {
+                                    readonly var: "event.content";
+                                };
+                                readonly at: {
+                                    readonly var: "$timestamp";
+                                };
+                            }]];
+                        };
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "DISPUTE";
+        readonly to: "DISPUTE";
+        readonly eventName: "vote";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly getKey: readonly [{
+                    readonly var: "state.members";
+                }, {
+                    readonly var: "event.agent";
+                }];
+            }, {
+                readonly "!==": readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.dispute.plaintiff";
+                }];
+            }, {
+                readonly "!==": readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.dispute.defendant";
+                }];
+            }, {
+                readonly "!": readonly [{
+                    readonly getKey: readonly [{
+                        readonly var: "state.votes";
+                    }, {
+                        readonly var: "event.agent";
+                    }];
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly votes: {
+                    readonly setKey: readonly [{
+                        readonly var: "state.votes";
+                    }, {
+                        readonly var: "event.agent";
+                    }, {
+                        readonly ruling: {
+                            readonly var: "event.ruling";
+                        };
+                        readonly votedAt: {
+                            readonly var: "$timestamp";
+                        };
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "DISPUTE";
+        readonly to: "ACTIVE";
+        readonly eventName: "resolve";
+        readonly guard: {
+            readonly ">=": readonly [{
+                readonly size: {
+                    readonly var: "state.votes";
+                };
+            }, {
+                readonly var: "state.disputeQuorum";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly history: {
+                    readonly cat: readonly [{
+                        readonly var: "state.history";
+                    }, readonly [{
+                        readonly type: "dispute";
+                        readonly dispute: {
+                            readonly var: "state.dispute";
+                        };
+                        readonly ruling: {
+                            readonly var: "event.ruling";
+                        };
+                        readonly remedy: {
+                            readonly var: "event.remedy";
+                        };
+                        readonly resolvedAt: {
+                            readonly var: "$timestamp";
+                        };
+                    }]];
+                };
+                readonly dispute: null;
+                readonly votes: {};
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "DISSOLVED";
+        readonly eventName: "dissolve";
+        readonly guard: {
+            readonly ">=": readonly [{
+                readonly var: "event.approvalCount";
+            }, {
+                readonly "*": readonly [{
+                    readonly size: {
+                        readonly var: "state.members";
+                    };
+                }, 0.9];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly dissolvedAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }];
+};
+export declare const govUniversalDef: {
+    readonly metadata: {
+        readonly name: "GovernanceUniversal";
+        readonly description: "Minimal governance state machine - extend for custom use cases";
+        readonly version: "1.0.0";
+    };
+    readonly states: {
+        readonly ACTIVE: {
+            readonly id: "ACTIVE";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly VOTING: {
+            readonly id: "VOTING";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly DISSOLVED: {
+            readonly id: "DISSOLVED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+    };
+    readonly initialState: "ACTIVE";
+    readonly transitions: readonly [{
+        readonly from: "ACTIVE";
+        readonly to: "VOTING";
+        readonly eventName: "propose";
+        readonly guard: {
+            readonly "==": readonly [1, 1];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "VOTING";
+                readonly proposal: {
+                    readonly var: "event.proposal";
+                };
+                readonly proposedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly votes: {};
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "VOTING";
+        readonly to: "VOTING";
+        readonly eventName: "vote";
+        readonly guard: {
+            readonly "==": readonly [1, 1];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly votes: {
+                    readonly merge: readonly [{
+                        readonly var: "state.votes";
+                    }, {
+                        readonly __key: {
+                            readonly var: "event.agent";
+                        };
+                        readonly __value: {
+                            readonly var: "event.vote";
+                        };
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "VOTING";
+        readonly to: "ACTIVE";
+        readonly eventName: "finalize";
+        readonly guard: {
+            readonly "==": readonly [1, 1];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "ACTIVE";
+                readonly lastProposal: {
+                    readonly var: "state.proposal";
+                };
+                readonly lastResult: {
+                    readonly var: "event.result";
+                };
+                readonly proposal: null;
+                readonly votes: null;
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "DISSOLVED";
+        readonly eventName: "dissolve";
+        readonly guard: {
+            readonly "==": readonly [1, 1];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "DISSOLVED";
+                readonly dissolvedAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }];
+};