@ottochain/sdk 1.5.0 → 1.6.0

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

@@ -0,0 +1,3551 @@
+/**
+ * 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 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 daoThresholdDef: {
+    readonly metadata: {
+        readonly name: "ThresholdDAO";
+        readonly description: "Reputation-threshold 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 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 govConstitutionDef: {
+    readonly metadata: {
+        readonly name: "Constitution";
+        readonly description: "Foundational charter that defines governance structure, branch powers, and amendment rules";
+        readonly version: "1.0.0";
+    };
+    readonly states: {
+        readonly DRAFT: {
+            readonly id: "DRAFT";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly RATIFIED: {
+            readonly id: "RATIFIED";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly AMENDING: {
+            readonly id: "AMENDING";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly SUSPENDED: {
+            readonly id: "SUSPENDED";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly DISSOLVED: {
+            readonly id: "DISSOLVED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+    };
+    readonly initialState: "DRAFT";
+    readonly transitions: readonly [{
+        readonly from: "DRAFT";
+        readonly to: "RATIFIED";
+        readonly eventName: "ratify";
+        readonly guard: {
+            readonly ">=": readonly [{
+                readonly size: {
+                    readonly var: "state.ratifications";
+                };
+            }, {
+                readonly var: "state.ratificationThreshold";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "RATIFIED";
+                readonly ratifiedAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "DRAFT";
+        readonly to: "DRAFT";
+        readonly eventName: "sign";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly in: readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.founders";
+                }];
+            }, {
+                readonly "!": readonly [{
+                    readonly in: readonly [{
+                        readonly var: "event.agent";
+                    }, {
+                        readonly var: "state.ratifications";
+                    }];
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly ratifications: {
+                    readonly cat: readonly [{
+                        readonly var: "state.ratifications";
+                    }, readonly [{
+                        readonly var: "event.agent";
+                    }]];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "RATIFIED";
+        readonly to: "AMENDING";
+        readonly eventName: "propose_amendment";
+        readonly guard: {
+            readonly or: readonly [{
+                readonly in: readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.branches.legislature.members";
+                }];
+            }, {
+                readonly ">=": readonly [{
+                    readonly var: "event.petitionSignatures";
+                }, {
+                    readonly var: "state.amendmentPetitionThreshold";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "AMENDING";
+                readonly pendingAmendment: {
+                    readonly id: {
+                        readonly var: "event.amendmentId";
+                    };
+                    readonly proposer: {
+                        readonly var: "event.agent";
+                    };
+                    readonly changes: {
+                        readonly var: "event.changes";
+                    };
+                    readonly proposedAt: {
+                        readonly var: "$timestamp";
+                    };
+                    readonly votes: {};
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "AMENDING";
+        readonly to: "RATIFIED";
+        readonly eventName: "ratify_amendment";
+        readonly guard: {
+            readonly ">=": readonly [{
+                readonly var: "state.pendingAmendment.approvalCount";
+            }, {
+                readonly var: "state.amendmentThreshold";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "RATIFIED";
+                readonly amendments: {
+                    readonly cat: readonly [{
+                        readonly var: "state.amendments";
+                    }, readonly [{
+                        readonly id: {
+                            readonly var: "state.pendingAmendment.id";
+                        };
+                        readonly changes: {
+                            readonly var: "state.pendingAmendment.changes";
+                        };
+                        readonly ratifiedAt: {
+                            readonly var: "$timestamp";
+                        };
+                    }]];
+                };
+                readonly pendingAmendment: null;
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "AMENDING";
+        readonly to: "RATIFIED";
+        readonly eventName: "reject_amendment";
+        readonly guard: {
+            readonly var: "state.pendingAmendment.rejected";
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "RATIFIED";
+                readonly failedAmendments: {
+                    readonly cat: readonly [{
+                        readonly var: "state.failedAmendments";
+                    }, readonly [{
+                        readonly var: "state.pendingAmendment";
+                    }]];
+                };
+                readonly pendingAmendment: null;
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "RATIFIED";
+        readonly to: "SUSPENDED";
+        readonly eventName: "suspend";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly in: readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.emergencyCouncil";
+                }];
+            }, {
+                readonly var: "event.reason";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "SUSPENDED";
+                readonly suspendedBy: {
+                    readonly var: "event.agent";
+                };
+                readonly suspensionReason: {
+                    readonly var: "event.reason";
+                };
+                readonly suspendedAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "SUSPENDED";
+        readonly to: "RATIFIED";
+        readonly eventName: "restore";
+        readonly guard: {
+            readonly ">=": readonly [{
+                readonly var: "event.restorationVotes";
+            }, {
+                readonly var: "state.restorationThreshold";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "RATIFIED";
+                readonly restoredAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "RATIFIED";
+        readonly to: "DISSOLVED";
+        readonly eventName: "dissolve";
+        readonly guard: {
+            readonly ">=": readonly [{
+                readonly var: "event.dissolutionVotes";
+            }, {
+                readonly var: "state.dissolutionThreshold";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "DISSOLVED";
+                readonly dissolvedAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }];
+};
+export declare const govExecutiveDef: {
+    readonly metadata: {
+        readonly name: "Executive";
+        readonly description: "Execution branch - implements mandates, manages operations, reports outcomes";
+        readonly version: "1.0.0";
+    };
+    readonly states: {
+        readonly RECEIVED: {
+            readonly id: "RECEIVED";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly PLANNING: {
+            readonly id: "PLANNING";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly EXECUTING: {
+            readonly id: "EXECUTING";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly PAUSED: {
+            readonly id: "PAUSED";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly COMPLETED: {
+            readonly id: "COMPLETED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+        readonly FAILED: {
+            readonly id: "FAILED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+        readonly BLOCKED: {
+            readonly id: "BLOCKED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+        readonly VETOED: {
+            readonly id: "VETOED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+    };
+    readonly initialState: "RECEIVED";
+    readonly transitions: readonly [{
+        readonly from: "RECEIVED";
+        readonly to: "PLANNING";
+        readonly eventName: "accept";
+        readonly guard: {
+            readonly in: readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.executors";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "PLANNING";
+                readonly acceptedBy: {
+                    readonly var: "event.agent";
+                };
+                readonly acceptedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly plan: {
+                    readonly var: "event.plan";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "RECEIVED";
+        readonly to: "VETOED";
+        readonly eventName: "veto";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly var: "state.config.executiveVeto";
+            }, {
+                readonly "===": readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.executiveHead";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "VETOED";
+                readonly vetoedBy: {
+                    readonly var: "event.agent";
+                };
+                readonly vetoReason: {
+                    readonly var: "event.reason";
+                };
+                readonly vetoedAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "PLANNING";
+        readonly to: "EXECUTING";
+        readonly eventName: "begin";
+        readonly guard: {
+            readonly in: readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.executors";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "EXECUTING";
+                readonly executionStartedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly milestones: readonly [];
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "EXECUTING";
+        readonly to: "EXECUTING";
+        readonly eventName: "report_progress";
+        readonly guard: {
+            readonly in: readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.executors";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly milestones: {
+                    readonly cat: readonly [{
+                        readonly var: "state.milestones";
+                    }, readonly [{
+                        readonly description: {
+                            readonly var: "event.description";
+                        };
+                        readonly completedAt: {
+                            readonly var: "$timestamp";
+                        };
+                        readonly evidence: {
+                            readonly var: "event.evidence";
+                        };
+                    }]];
+                };
+                readonly lastProgressAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "EXECUTING";
+        readonly to: "PAUSED";
+        readonly eventName: "pause";
+        readonly guard: {
+            readonly or: readonly [{
+                readonly in: readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.executors";
+                }];
+            }, {
+                readonly var: "event.judicialOrder";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "PAUSED";
+                readonly pausedBy: {
+                    readonly var: "event.agent";
+                };
+                readonly pauseReason: {
+                    readonly var: "event.reason";
+                };
+                readonly pausedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly judicialHold: {
+                    readonly var: "event.judicialOrder";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "PAUSED";
+        readonly to: "EXECUTING";
+        readonly eventName: "resume";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly in: readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.executors";
+                }];
+            }, {
+                readonly "!": readonly [{
+                    readonly var: "state.judicialHold";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "EXECUTING";
+                readonly resumedAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "PAUSED";
+        readonly to: "BLOCKED";
+        readonly eventName: "block";
+        readonly guard: {
+            readonly var: "event.judicialRuling";
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "BLOCKED";
+                readonly blockedBy: {
+                    readonly var: "event.agent";
+                };
+                readonly rulingId: {
+                    readonly var: "event.rulingId";
+                };
+                readonly blockedAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "EXECUTING";
+        readonly to: "COMPLETED";
+        readonly eventName: "complete";
+        readonly guard: {
+            readonly in: readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.executors";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "COMPLETED";
+                readonly completedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly outcome: {
+                    readonly var: "event.outcome";
+                };
+                readonly finalReport: {
+                    readonly var: "event.report";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "EXECUTING";
+        readonly to: "FAILED";
+        readonly eventName: "fail";
+        readonly guard: {
+            readonly in: readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.executors";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "FAILED";
+                readonly failedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly failureReason: {
+                    readonly var: "event.reason";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }];
+};
+export declare const govJudiciaryDef: {
+    readonly metadata: {
+        readonly name: "Judiciary";
+        readonly description: "Judicial branch - interprets rules, reviews actions, resolves disputes, issues rulings";
+        readonly version: "1.0.0";
+    };
+    readonly states: {
+        readonly FILED: {
+            readonly id: "FILED";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly REVIEW: {
+            readonly id: "REVIEW";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly HEARING: {
+            readonly id: "HEARING";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly DELIBERATION: {
+            readonly id: "DELIBERATION";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly RULING: {
+            readonly id: "RULING";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly ENFORCING: {
+            readonly id: "ENFORCING";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly CLOSED: {
+            readonly id: "CLOSED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+        readonly DISMISSED: {
+            readonly id: "DISMISSED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+        readonly APPEALED: {
+            readonly id: "APPEALED";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+    };
+    readonly initialState: "FILED";
+    readonly transitions: readonly [{
+        readonly from: "FILED";
+        readonly to: "REVIEW";
+        readonly eventName: "accept";
+        readonly guard: {
+            readonly in: readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.judges";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "REVIEW";
+                readonly acceptedBy: {
+                    readonly var: "event.agent";
+                };
+                readonly acceptedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly assignedJudges: {
+                    readonly var: "event.panel";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "FILED";
+        readonly to: "DISMISSED";
+        readonly eventName: "dismiss";
+        readonly guard: {
+            readonly in: readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.judges";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "DISMISSED";
+                readonly dismissedBy: {
+                    readonly var: "event.agent";
+                };
+                readonly dismissReason: {
+                    readonly var: "event.reason";
+                };
+                readonly dismissedAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "REVIEW";
+        readonly to: "REVIEW";
+        readonly eventName: "issue_stay";
+        readonly guard: {
+            readonly in: readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.assignedJudges";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly emergencyStay: {
+                    readonly issuedBy: {
+                        readonly var: "event.agent";
+                    };
+                    readonly issuedAt: {
+                        readonly var: "$timestamp";
+                    };
+                    readonly targetFiberId: {
+                        readonly var: "event.targetFiberId";
+                    };
+                    readonly reason: {
+                        readonly var: "event.reason";
+                    };
+                    readonly expiresAt: {
+                        readonly var: "event.expiresAt";
+                    };
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "REVIEW";
+        readonly to: "HEARING";
+        readonly eventName: "schedule_hearing";
+        readonly guard: {
+            readonly in: readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.assignedJudges";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "HEARING";
+                readonly hearingScheduledAt: {
+                    readonly var: "event.hearingDate";
+                };
+                readonly submissions: readonly [];
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "HEARING";
+        readonly to: "HEARING";
+        readonly eventName: "submit_evidence";
+        readonly guard: {
+            readonly or: readonly [{
+                readonly "===": readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.plaintiff";
+                }];
+            }, {
+                readonly "===": readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.defendant";
+                }];
+            }, {
+                readonly in: readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.interestedParties";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly submissions: {
+                    readonly cat: readonly [{
+                        readonly var: "state.submissions";
+                    }, readonly [{
+                        readonly party: {
+                            readonly var: "event.agent";
+                        };
+                        readonly type: {
+                            readonly var: "event.type";
+                        };
+                        readonly content: {
+                            readonly var: "event.content";
+                        };
+                        readonly submittedAt: {
+                            readonly var: "$timestamp";
+                        };
+                    }]];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "HEARING";
+        readonly to: "DELIBERATION";
+        readonly eventName: "close_hearing";
+        readonly guard: {
+            readonly in: readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.assignedJudges";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "DELIBERATION";
+                readonly hearingClosedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly votes: {};
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "DELIBERATION";
+        readonly to: "DELIBERATION";
+        readonly eventName: "vote";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly in: readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.assignedJudges";
+                }];
+            }, {
+                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 position: {
+                            readonly var: "event.position";
+                        };
+                        readonly opinion: {
+                            readonly var: "event.opinion";
+                        };
+                        readonly votedAt: {
+                            readonly var: "$timestamp";
+                        };
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "DELIBERATION";
+        readonly to: "RULING";
+        readonly eventName: "issue_ruling";
+        readonly guard: {
+            readonly ">=": readonly [{
+                readonly size: {
+                    readonly var: "state.votes";
+                };
+            }, {
+                readonly var: "state.quorum";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "RULING";
+                readonly ruling: {
+                    readonly decision: {
+                        readonly var: "event.decision";
+                    };
+                    readonly majority: {
+                        readonly var: "event.majority";
+                    };
+                    readonly dissent: {
+                        readonly var: "event.dissent";
+                    };
+                    readonly remedy: {
+                        readonly var: "event.remedy";
+                    };
+                    readonly issuedAt: {
+                        readonly var: "$timestamp";
+                    };
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "RULING";
+        readonly to: "ENFORCING";
+        readonly eventName: "begin_enforcement";
+        readonly guard: {
+            readonly var: "state.ruling.remedy";
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "ENFORCING";
+                readonly enforcementStartedAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "RULING";
+        readonly to: "CLOSED";
+        readonly eventName: "close";
+        readonly guard: {
+            readonly "!": readonly [{
+                readonly var: "state.ruling.remedy";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "CLOSED";
+                readonly closedAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ENFORCING";
+        readonly to: "CLOSED";
+        readonly eventName: "enforcement_complete";
+        readonly guard: {
+            readonly var: "event.evidence";
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "CLOSED";
+                readonly enforcementCompletedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly enforcementEvidence: {
+                    readonly var: "event.evidence";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "RULING";
+        readonly to: "APPEALED";
+        readonly eventName: "appeal";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly var: "state.config.allowAppeals";
+            }, {
+                readonly or: readonly [{
+                    readonly "===": readonly [{
+                        readonly var: "event.agent";
+                    }, {
+                        readonly var: "state.plaintiff";
+                    }];
+                }, {
+                    readonly "===": readonly [{
+                        readonly var: "event.agent";
+                    }, {
+                        readonly var: "state.defendant";
+                    }];
+                }];
+            }, {
+                readonly "<=": readonly [{
+                    readonly "-": readonly [{
+                        readonly var: "$timestamp";
+                    }, {
+                        readonly var: "state.ruling.issuedAt";
+                    }];
+                }, {
+                    readonly var: "state.config.appealWindowMs";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "APPEALED";
+                readonly appeal: {
+                    readonly filedBy: {
+                        readonly var: "event.agent";
+                    };
+                    readonly grounds: {
+                        readonly var: "event.grounds";
+                    };
+                    readonly filedAt: {
+                        readonly var: "$timestamp";
+                    };
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }];
+};
+export declare const govLegislatureDef: {
+    readonly metadata: {
+        readonly name: "Governance";
+        readonly description: "Flexible governance for proposals, voting, delegation, and execution across relationship types";
+        readonly version: "1.0.0";
+    };
+    readonly states: {
+        readonly DRAFT: {
+            readonly id: "DRAFT";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly ACTIVE: {
+            readonly id: "ACTIVE";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly PENDING: {
+            readonly id: "PENDING";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly EXECUTING: {
+            readonly id: "EXECUTING";
+            readonly isFinal: false;
+            readonly metadata: null;
+        };
+        readonly EXECUTED: {
+            readonly id: "EXECUTED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+        readonly VETOED: {
+            readonly id: "VETOED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+        readonly DEFEATED: {
+            readonly id: "DEFEATED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+        readonly EXPIRED: {
+            readonly id: "EXPIRED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+        readonly CANCELLED: {
+            readonly id: "CANCELLED";
+            readonly isFinal: true;
+            readonly metadata: null;
+        };
+    };
+    readonly initialState: "DRAFT";
+    readonly transitions: readonly [{
+        readonly from: "DRAFT";
+        readonly to: "ACTIVE";
+        readonly eventName: "submit";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly in: readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.proposers";
+                }];
+            }, {
+                readonly var: "state.proposal.title";
+            }, {
+                readonly var: "state.proposal.actions";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "ACTIVE";
+                readonly submittedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly votingEndsAt: {
+                    readonly "+": readonly [{
+                        readonly var: "$timestamp";
+                    }, {
+                        readonly var: "state.config.votingPeriodMs";
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "ACTIVE";
+        readonly eventName: "vote";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly "<=": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.votingEndsAt";
+                }];
+            }, {
+                readonly "!": readonly [{
+                    readonly getKey: readonly [{
+                        readonly var: "state.votes";
+                    }, {
+                        readonly var: "event.agent";
+                    }];
+                }];
+            }, {
+                readonly or: readonly [{
+                    readonly in: readonly [{
+                        readonly var: "event.agent";
+                    }, {
+                        readonly var: "state.voters";
+                    }];
+                }, {
+                    readonly "===": readonly [{
+                        readonly var: "state.config.openVoting";
+                    }, true];
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly votes: {
+                    readonly setKey: readonly [{
+                        readonly var: "state.votes";
+                    }, {
+                        readonly var: "event.agent";
+                    }, {
+                        readonly choice: {
+                            readonly var: "event.choice";
+                        };
+                        readonly weight: {
+                            readonly var: "event.weight";
+                        };
+                        readonly conviction: {
+                            readonly var: "event.conviction";
+                        };
+                        readonly delegatedFrom: {
+                            readonly var: "event.delegatedFrom";
+                        };
+                        readonly votedAt: {
+                            readonly var: "$timestamp";
+                        };
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "ACTIVE";
+        readonly eventName: "delegate";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly var: "state.config.allowDelegation";
+            }, {
+                readonly "!==": readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "event.delegateTo";
+                }];
+            }, {
+                readonly "!": readonly [{
+                    readonly getKey: readonly [{
+                        readonly var: "state.votes";
+                    }, {
+                        readonly var: "event.agent";
+                    }];
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly delegations: {
+                    readonly setKey: readonly [{
+                        readonly var: "state.delegations";
+                    }, {
+                        readonly var: "event.agent";
+                    }, {
+                        readonly delegateTo: {
+                            readonly var: "event.delegateTo";
+                        };
+                        readonly weight: {
+                            readonly var: "event.weight";
+                        };
+                        readonly delegatedAt: {
+                            readonly var: "$timestamp";
+                        };
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "PENDING";
+        readonly eventName: "finalize_voting";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">=": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.votingEndsAt";
+                }];
+            }, {
+                readonly var: "state.tally.passed";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "PENDING";
+                readonly finalizedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly vetoEndsAt: {
+                    readonly "+": readonly [{
+                        readonly var: "$timestamp";
+                    }, {
+                        readonly var: "state.config.vetoPeriodMs";
+                    }];
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "DEFEATED";
+        readonly eventName: "finalize_voting";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">=": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.votingEndsAt";
+                }];
+            }, {
+                readonly "!": readonly [{
+                    readonly var: "state.tally.passed";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "DEFEATED";
+                readonly finalizedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly defeatReason: {
+                    readonly var: "state.tally.reason";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "PENDING";
+        readonly to: "VETOED";
+        readonly eventName: "veto";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly "<=": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.vetoEndsAt";
+                }];
+            }, {
+                readonly in: readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.vetoers";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "VETOED";
+                readonly vetoedBy: {
+                    readonly var: "event.agent";
+                };
+                readonly vetoReason: {
+                    readonly var: "event.reason";
+                };
+                readonly vetoedAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "PENDING";
+        readonly to: "EXECUTING";
+        readonly eventName: "execute";
+        readonly guard: {
+            readonly and: readonly [{
+                readonly ">=": readonly [{
+                    readonly var: "$timestamp";
+                }, {
+                    readonly var: "state.vetoEndsAt";
+                }];
+            }, {
+                readonly in: readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.executors";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "EXECUTING";
+                readonly executedBy: {
+                    readonly var: "event.agent";
+                };
+                readonly executionStartedAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "EXECUTING";
+        readonly to: "EXECUTED";
+        readonly eventName: "complete";
+        readonly guard: {
+            readonly in: readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.executors";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "EXECUTED";
+                readonly completedAt: {
+                    readonly var: "$timestamp";
+                };
+                readonly executionProof: {
+                    readonly var: "event.proof";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "DRAFT";
+        readonly to: "CANCELLED";
+        readonly eventName: "cancel";
+        readonly guard: {
+            readonly "===": readonly [{
+                readonly var: "event.agent";
+            }, {
+                readonly var: "state.proposer";
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "CANCELLED";
+                readonly cancelledAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "CANCELLED";
+        readonly eventName: "cancel";
+        readonly guard: {
+            readonly or: readonly [{
+                readonly "===": readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.proposer";
+                }];
+            }, {
+                readonly in: readonly [{
+                    readonly var: "event.agent";
+                }, {
+                    readonly var: "state.admins";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "CANCELLED";
+                readonly cancelledBy: {
+                    readonly var: "event.agent";
+                };
+                readonly cancelledAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }, {
+        readonly from: "ACTIVE";
+        readonly to: "EXPIRED";
+        readonly eventName: "expire";
+        readonly guard: {
+            readonly ">": readonly [{
+                readonly var: "$timestamp";
+            }, {
+                readonly "+": readonly [{
+                    readonly var: "state.votingEndsAt";
+                }, {
+                    readonly var: "state.config.gracePeriodMs";
+                }];
+            }];
+        };
+        readonly effect: {
+            readonly merge: readonly [{
+                readonly var: "state";
+            }, {
+                readonly status: "EXPIRED";
+                readonly expiredAt: {
+                    readonly var: "$timestamp";
+                };
+            }];
+        };
+        readonly dependencies: readonly [];
+    }];
+    readonly presets: {
+        readonly _comment: "Common governance configurations";
+        readonly bilateral: {
+            readonly description: "Two-party mutual consent (like a contract)";
+            readonly config: {
+                readonly votingMechanism: "simple";
+                readonly quorumType: "absolute";
+                readonly quorumValue: 2;
+                readonly passingThreshold: 1;
+                readonly allowDelegation: false;
+                readonly openVoting: false;
+            };
+        };
+        readonly multisig: {
+            readonly description: "N-of-M threshold signing";
+            readonly config: {
+                readonly votingMechanism: "simple";
+                readonly quorumType: "absolute";
+                readonly passingThreshold: 0.6;
+                readonly vetoPeriodMs: 0;
+                readonly allowDelegation: false;
+            };
+        };
+        readonly council: {
+            readonly description: "Small elected/appointed body";
+            readonly config: {
+                readonly votingMechanism: "simple";
+                readonly quorumType: "percentage";
+                readonly quorumValue: 0.5;
+                readonly passingThreshold: 0.5;
+                readonly openVoting: false;
+                readonly allowDelegation: true;
+            };
+        };
+        readonly liquid_democracy: {
+            readonly description: "Delegatable voting power";
+            readonly config: {
+                readonly votingMechanism: "simple";
+                readonly allowDelegation: true;
+                readonly openVoting: true;
+                readonly onePersonOneVote: true;
+            };
+        };
+        readonly conviction: {
+            readonly description: "Time-weighted conviction voting";
+            readonly config: {
+                readonly votingMechanism: "conviction";
+                readonly allowDelegation: true;
+                readonly convictionHalfLifeMs: 604800000;
+            };
+        };
+        readonly quadratic: {
+            readonly description: "Quadratic voting to reduce whale power";
+            readonly config: {
+                readonly votingMechanism: "quadratic";
+                readonly onePersonOneVote: false;
+            };
+        };
+        readonly dictator: {
+            readonly description: "Single admin with full control";
+            readonly config: {
+                readonly votingMechanism: "simple";
+                readonly quorumType: "absolute";
+                readonly quorumValue: 1;
+                readonly passingThreshold: 1;
+                readonly vetoPeriodMs: 0;
+                readonly allowDelegation: false;
+            };
+        };
+    };
+};
+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 [];
+    }];
+};