@ottochain/sdk 2.0.0 → 2.2.0

package/dist/types/apps/corporate/state-machines/corp-board.d.ts

@@ -0,0 +1,1479 @@
+/**
+ * Board of directors state machine managing director seats, meetings, quorum, and formal board actions.
+ * Supports staggered boards with classified directors.
+ */
+export declare const corpBoardDef: {
+    metadata: {
+        name: string;
+        app: string;
+        type: string;
+        version: string;
+        description: string;
+        crossReferences: {
+            entity: {
+                machine: string;
+                description: string;
+                foreignKey: string;
+            };
+            resolutions: {
+                machine: string;
+                description: string;
+                foreignKey: string;
+            };
+            committees: {
+                machine: string;
+                description: string;
+                foreignKey: string;
+            };
+            officers: {
+                machine: string;
+                description: string;
+                foreignKey: string;
+            };
+        };
+    };
+    createSchema: {
+        required: readonly ["boardId", "entityId", "seats"];
+        properties: {
+            boardId: {
+                type: "string";
+                description: string;
+                immutable: true;
+            };
+            entityId: {
+                type: "string";
+                description: string;
+                immutable: true;
+            };
+            seats: {
+                type: "object";
+                properties: {
+                    authorized: {
+                        type: "integer";
+                        description: string;
+                    };
+                    filled: {
+                        type: "integer";
+                    };
+                    vacant: {
+                        type: "integer";
+                    };
+                };
+            };
+            boardStructure: {
+                type: "object";
+                properties: {
+                    isClassified: {
+                        type: "boolean";
+                        description: string;
+                    };
+                    termYears: {
+                        type: "integer";
+                        default: number;
+                        description: string;
+                    };
+                    classTerms: {
+                        type: "object";
+                        properties: {
+                            CLASS_I: {
+                                type: "integer";
+                            };
+                            CLASS_II: {
+                                type: "integer";
+                            };
+                            CLASS_III: {
+                                type: "integer";
+                            };
+                        };
+                    };
+                };
+            };
+            quorumRules: {
+                type: "object";
+                properties: {
+                    type: {
+                        type: "string";
+                        enum: readonly ["MAJORITY", "SUPERMAJORITY", "FIXED_NUMBER"];
+                        default: string;
+                    };
+                    threshold: {
+                        type: "number";
+                        description: string;
+                    };
+                    minimumRequired: {
+                        type: "integer";
+                        description: string;
+                    };
+                };
+            };
+            votingRules: {
+                type: "object";
+                properties: {
+                    standardApproval: {
+                        type: "string";
+                        enum: readonly ["MAJORITY_PRESENT", "MAJORITY_FULL_BOARD"];
+                        default: string;
+                    };
+                    supermajorityMatters: {
+                        type: "array";
+                        items: {
+                            type: "string";
+                        };
+                        description: string;
+                    };
+                    supermajorityThreshold: {
+                        type: "number";
+                        default: number;
+                    };
+                };
+            };
+        };
+    };
+    stateSchema: {
+        properties: {
+            boardId: {
+                type: "string";
+                immutable: true;
+            };
+            entityId: {
+                type: "string";
+                immutable: true;
+            };
+            directors: {
+                type: "array";
+                items: {
+                    $ref: string;
+                };
+                computed: true;
+            };
+            seats: {
+                type: "object";
+            };
+            boardStructure: {
+                type: "object";
+            };
+            quorumRules: {
+                type: "object";
+            };
+            votingRules: {
+                type: "object";
+            };
+            currentMeeting: {
+                $ref: string;
+                nullable: true;
+                computed: true;
+            };
+            meetingHistory: {
+                type: "array";
+                items: {
+                    $ref: string;
+                };
+                computed: true;
+            };
+            status: {
+                type: "string";
+                enum: readonly ["ACTIVE", "IN_MEETING", "QUORUM_LOST"];
+                computed: true;
+            };
+            createdAt: {
+                type: "timestamp";
+                computed: true;
+            };
+            updatedAt: {
+                type: "timestamp";
+                computed: true;
+            };
+        };
+    };
+    eventSchemas: {
+        elect_director: {
+            description: string;
+            required: readonly ["directorId", "name", "termStart", "termEnd", "isIndependent", "electionResolutionRef"];
+            properties: {
+                directorId: {
+                    type: "string";
+                };
+                name: {
+                    type: "string";
+                };
+                email: {
+                    type: "string";
+                };
+                termStart: {
+                    type: "string";
+                    format: string;
+                };
+                termEnd: {
+                    type: "string";
+                    format: string;
+                };
+                class: {
+                    type: "string";
+                    enum: readonly ["CLASS_I", "CLASS_II", "CLASS_III", "UNCLASSIFIED"];
+                };
+                isIndependent: {
+                    type: "boolean";
+                };
+                electionResolutionRef: {
+                    type: "string";
+                    description: string;
+                };
+                isFillingVacancy: {
+                    type: "boolean";
+                    default: boolean;
+                };
+            };
+        };
+        resign_director: {
+            description: string;
+            required: readonly ["directorId", "effectiveDate"];
+            properties: {
+                directorId: {
+                    type: "string";
+                };
+                effectiveDate: {
+                    type: "string";
+                    format: string;
+                };
+                reason: {
+                    type: "string";
+                };
+                resignationLetter: {
+                    type: "string";
+                    description: string;
+                };
+            };
+        };
+        remove_for_cause: {
+            description: string;
+            required: readonly ["directorId", "cause", "removalResolutionRef", "effectiveDate"];
+            properties: {
+                directorId: {
+                    type: "string";
+                };
+                cause: {
+                    type: "string";
+                };
+                removalResolutionRef: {
+                    type: "string";
+                };
+                effectiveDate: {
+                    type: "string";
+                    format: string;
+                };
+            };
+        };
+        designate_chair: {
+            description: string;
+            required: readonly ["directorId", "resolutionRef"];
+            properties: {
+                directorId: {
+                    type: "string";
+                };
+                resolutionRef: {
+                    type: "string";
+                };
+            };
+        };
+        call_meeting: {
+            description: string;
+            required: readonly ["meetingId", "type", "scheduledDate", "calledBy", "noticeDate"];
+            properties: {
+                meetingId: {
+                    type: "string";
+                };
+                type: {
+                    type: "string";
+                    enum: readonly ["REGULAR", "SPECIAL", "ANNUAL", "ORGANIZATIONAL"];
+                };
+                scheduledDate: {
+                    type: "string";
+                    format: string;
+                };
+                location: {
+                    type: "string";
+                };
+                isVirtual: {
+                    type: "boolean";
+                    default: boolean;
+                };
+                calledBy: {
+                    type: "string";
+                    description: string;
+                };
+                noticeDate: {
+                    type: "string";
+                    format: string;
+                };
+                agenda: {
+                    type: "array";
+                    items: {
+                        type: "string";
+                    };
+                };
+                waiverOfNotice: {
+                    type: "boolean";
+                    default: boolean;
+                    description: string;
+                };
+            };
+        };
+        record_attendance: {
+            description: string;
+            required: readonly ["directorId", "present"];
+            properties: {
+                directorId: {
+                    type: "string";
+                };
+                present: {
+                    type: "boolean";
+                };
+                arrivedAt: {
+                    type: "string";
+                    format: string;
+                };
+            };
+        };
+        open_meeting: {
+            description: string;
+            required: readonly ["openedAt"];
+            properties: {
+                openedAt: {
+                    type: "string";
+                    format: string;
+                };
+                chairPresiding: {
+                    type: "string";
+                    description: string;
+                };
+            };
+        };
+        director_departs: {
+            description: string;
+            required: readonly ["directorId", "departedAt"];
+            properties: {
+                directorId: {
+                    type: "string";
+                };
+                departedAt: {
+                    type: "string";
+                    format: string;
+                };
+            };
+        };
+        quorum_lost: {
+            description: string;
+            required: readonly ["lostAt"];
+            properties: {
+                lostAt: {
+                    type: "string";
+                    format: string;
+                };
+            };
+        };
+        quorum_restored: {
+            description: string;
+            required: readonly ["restoredAt", "directorId"];
+            properties: {
+                restoredAt: {
+                    type: "string";
+                    format: string;
+                };
+                directorId: {
+                    type: "string";
+                    description: string;
+                };
+            };
+        };
+        adjourn: {
+            description: string;
+            required: readonly ["closedAt"];
+            properties: {
+                closedAt: {
+                    type: "string";
+                    format: string;
+                };
+                minutesRef: {
+                    type: "string";
+                    description: string;
+                };
+                resolutionsPassed: {
+                    type: "array";
+                    items: {
+                        type: "string";
+                    };
+                };
+                adjournedTo: {
+                    type: "string";
+                    format: string;
+                    nullable: true;
+                    description: string;
+                };
+            };
+        };
+        update_seats: {
+            description: string;
+            required: readonly ["newAuthorizedSeats", "bylawAmendmentRef"];
+            properties: {
+                newAuthorizedSeats: {
+                    type: "integer";
+                };
+                bylawAmendmentRef: {
+                    type: "string";
+                };
+            };
+        };
+    };
+    definitions: {
+        Director: {
+            type: "object";
+            properties: {
+                directorId: {
+                    type: "string";
+                };
+                name: {
+                    type: "string";
+                };
+                email: {
+                    type: "string";
+                };
+                termStart: {
+                    type: "string";
+                    format: string;
+                };
+                termEnd: {
+                    type: "string";
+                    format: string;
+                };
+                class: {
+                    type: "string";
+                    enum: readonly ["CLASS_I", "CLASS_II", "CLASS_III", "UNCLASSIFIED"];
+                };
+                status: {
+                    type: "string";
+                    enum: readonly ["ACTIVE", "RESIGNED", "REMOVED", "TERM_EXPIRED"];
+                };
+                isIndependent: {
+                    type: "boolean";
+                    description: string;
+                };
+                isChair: {
+                    type: "boolean";
+                    default: boolean;
+                };
+                isLeadIndependent: {
+                    type: "boolean";
+                    default: boolean;
+                };
+                committees: {
+                    type: "array";
+                    items: {
+                        type: "string";
+                    };
+                    description: string;
+                };
+                electedBy: {
+                    type: "string";
+                    description: string;
+                };
+                compensationAgreementRef: {
+                    type: "string";
+                    nullable: true;
+                };
+            };
+        };
+        Meeting: {
+            type: "object";
+            nullable: true;
+            properties: {
+                meetingId: {
+                    type: "string";
+                };
+                type: {
+                    type: "string";
+                    enum: readonly ["REGULAR", "SPECIAL", "ANNUAL", "ORGANIZATIONAL"];
+                };
+                scheduledDate: {
+                    type: "string";
+                    format: string;
+                };
+                location: {
+                    type: "string";
+                };
+                isVirtual: {
+                    type: "boolean";
+                };
+                calledBy: {
+                    type: "string";
+                };
+                noticeDate: {
+                    type: "string";
+                    format: string;
+                };
+                agenda: {
+                    type: "array";
+                    items: {
+                        type: "string";
+                    };
+                };
+                attendees: {
+                    type: "array";
+                    items: {
+                        $ref: string;
+                    };
+                };
+                quorumPresent: {
+                    type: "boolean";
+                };
+                quorumCount: {
+                    type: "integer";
+                };
+                openedAt: {
+                    type: "string";
+                    format: string;
+                    nullable: true;
+                };
+                closedAt: {
+                    type: "string";
+                    format: string;
+                    nullable: true;
+                };
+                minutesRef: {
+                    type: "string";
+                    nullable: true;
+                };
+            };
+        };
+        Attendee: {
+            type: "object";
+            properties: {
+                directorId: {
+                    type: "string";
+                };
+                present: {
+                    type: "boolean";
+                };
+                arrivedAt: {
+                    type: "string";
+                    format: string;
+                    nullable: true;
+                };
+                departedAt: {
+                    type: "string";
+                    format: string;
+                    nullable: true;
+                };
+                viaProxy: {
+                    type: "boolean";
+                    default: boolean;
+                };
+            };
+        };
+        MeetingRecord: {
+            type: "object";
+            properties: {
+                meetingId: {
+                    type: "string";
+                };
+                type: {
+                    type: "string";
+                };
+                date: {
+                    type: "string";
+                    format: string;
+                };
+                quorumAchieved: {
+                    type: "boolean";
+                };
+                attendeeCount: {
+                    type: "integer";
+                };
+                resolutionsPassed: {
+                    type: "array";
+                    items: {
+                        type: "string";
+                    };
+                };
+                minutesRef: {
+                    type: "string";
+                };
+            };
+        };
+    };
+    states: {
+        ACTIVE: {
+            id: string;
+            isFinal: false;
+            description: string;
+        };
+        IN_MEETING: {
+            id: string;
+            isFinal: false;
+            description: string;
+        };
+        QUORUM_LOST: {
+            id: string;
+            isFinal: false;
+            description: string;
+        };
+    };
+    initialState: "ACTIVE";
+    transitions: ({
+        from: "ACTIVE";
+        to: "ACTIVE";
+        eventName: "elect_director";
+        guard: {
+            and: ({
+                or: ({
+                    ">": (number | {
+                        var: string;
+                    })[];
+                    "=="?: undefined;
+                } | {
+                    "==": (boolean | {
+                        var: string;
+                    })[];
+                    ">"?: undefined;
+                })[];
+                "!="?: undefined;
+                "!"?: undefined;
+            } | {
+                "!=": ({
+                    var: string;
+                } | null)[];
+                or?: undefined;
+                "!"?: undefined;
+            } | {
+                "!": {
+                    some: ({
+                        var: string;
+                        and?: undefined;
+                    } | {
+                        and: {
+                            "==": (string | {
+                                var: string;
+                            })[];
+                        }[];
+                        var?: undefined;
+                    })[];
+                };
+                or?: undefined;
+                "!="?: undefined;
+            })[];
+            some?: undefined;
+            "=="?: undefined;
+            ">="?: undefined;
+        };
+        effect: {
+            merge: ({
+                var: string;
+                directors?: undefined;
+                seats?: undefined;
+            } | {
+                directors: {
+                    cat: ({
+                        var: string;
+                    } | {
+                        directorId: {
+                            var: string;
+                        };
+                        name: {
+                            var: string;
+                        };
+                        email: {
+                            var: string;
+                        };
+                        termStart: {
+                            var: string;
+                        };
+                        termEnd: {
+                            var: string;
+                        };
+                        class: {
+                            var: string;
+                        };
+                        status: string;
+                        isIndependent: {
+                            var: string;
+                        };
+                        isChair: boolean;
+                        isLeadIndependent: boolean;
+                        committees: never[];
+                        electedBy: {
+                            var: string;
+                        };
+                    }[])[];
+                };
+                seats: {
+                    merge: ({
+                        var: string;
+                        filled?: undefined;
+                        vacant?: undefined;
+                    } | {
+                        filled: {
+                            "+": (number | {
+                                var: string;
+                            })[];
+                        };
+                        vacant: {
+                            "-": (number | {
+                                var: string;
+                            })[];
+                        };
+                        var?: undefined;
+                    })[];
+                };
+                var?: undefined;
+            })[];
+        };
+        emits: string[];
+        dependencies?: undefined;
+    } | {
+        from: "ACTIVE";
+        to: "ACTIVE";
+        eventName: "resign_director";
+        guard: {
+            some: ({
+                var: string;
+                and?: undefined;
+            } | {
+                and: {
+                    "==": (string | {
+                        var: string;
+                    })[];
+                }[];
+                var?: undefined;
+            })[];
+            and?: undefined;
+            "=="?: undefined;
+            ">="?: undefined;
+        };
+        effect: {
+            merge: ({
+                var: string;
+                directors?: undefined;
+                seats?: undefined;
+            } | {
+                directors: {
+                    map: ({
+                        var: string;
+                        if?: undefined;
+                    } | {
+                        if: ({
+                            "==": {
+                                var: string;
+                            }[];
+                            merge?: undefined;
+                            var?: undefined;
+                        } | {
+                            merge: ({
+                                var: string;
+                                status?: undefined;
+                                termEnd?: undefined;
+                            } | {
+                                status: string;
+                                termEnd: {
+                                    var: string;
+                                };
+                                var?: undefined;
+                            })[];
+                            "=="?: undefined;
+                            var?: undefined;
+                        } | {
+                            var: string;
+                            "=="?: undefined;
+                            merge?: undefined;
+                        })[];
+                        var?: undefined;
+                    })[];
+                };
+                seats: {
+                    merge: ({
+                        var: string;
+                        filled?: undefined;
+                        vacant?: undefined;
+                    } | {
+                        filled: {
+                            "-": (number | {
+                                var: string;
+                            })[];
+                        };
+                        vacant: {
+                            "+": (number | {
+                                var: string;
+                            })[];
+                        };
+                        var?: undefined;
+                    })[];
+                };
+                var?: undefined;
+            })[];
+        };
+        emits: string[];
+        dependencies?: undefined;
+    } | {
+        from: "IN_MEETING";
+        to: "ACTIVE";
+        eventName: "resign_director";
+        guard: {
+            some: ({
+                var: string;
+                and?: undefined;
+            } | {
+                and: {
+                    "==": (string | {
+                        var: string;
+                    })[];
+                }[];
+                var?: undefined;
+            })[];
+            and?: undefined;
+            "=="?: undefined;
+            ">="?: undefined;
+        };
+        effect: {
+            merge: ({
+                var: string;
+                directors?: undefined;
+                seats?: undefined;
+            } | {
+                directors: {
+                    map: ({
+                        var: string;
+                        if?: undefined;
+                    } | {
+                        if: ({
+                            "==": {
+                                var: string;
+                            }[];
+                            merge?: undefined;
+                            var?: undefined;
+                        } | {
+                            merge: ({
+                                var: string;
+                                status?: undefined;
+                                termEnd?: undefined;
+                            } | {
+                                status: string;
+                                termEnd: {
+                                    var: string;
+                                };
+                                var?: undefined;
+                            })[];
+                            "=="?: undefined;
+                            var?: undefined;
+                        } | {
+                            var: string;
+                            "=="?: undefined;
+                            merge?: undefined;
+                        })[];
+                        var?: undefined;
+                    })[];
+                };
+                seats: {
+                    merge: ({
+                        var: string;
+                        filled?: undefined;
+                        vacant?: undefined;
+                    } | {
+                        filled: {
+                            "-": (number | {
+                                var: string;
+                            })[];
+                        };
+                        vacant: {
+                            "+": (number | {
+                                var: string;
+                            })[];
+                        };
+                        var?: undefined;
+                    })[];
+                };
+                var?: undefined;
+            })[];
+        };
+        emits: string[];
+        dependencies?: undefined;
+    } | {
+        from: "ACTIVE";
+        to: "ACTIVE";
+        eventName: "remove_for_cause";
+        guard: {
+            some: ({
+                var: string;
+                and?: undefined;
+            } | {
+                and: {
+                    "==": (string | {
+                        var: string;
+                    })[];
+                }[];
+                var?: undefined;
+            })[];
+            and?: undefined;
+            "=="?: undefined;
+            ">="?: undefined;
+        };
+        dependencies: {
+            machine: string;
+            instanceRef: {
+                var: string;
+            };
+            requiredState: string;
+        }[];
+        effect: {
+            merge: ({
+                var: string;
+                directors?: undefined;
+                seats?: undefined;
+            } | {
+                directors: {
+                    map: ({
+                        var: string;
+                        if?: undefined;
+                    } | {
+                        if: ({
+                            "==": {
+                                var: string;
+                            }[];
+                            merge?: undefined;
+                            var?: undefined;
+                        } | {
+                            merge: ({
+                                var: string;
+                                status?: undefined;
+                                termEnd?: undefined;
+                            } | {
+                                status: string;
+                                termEnd: {
+                                    var: string;
+                                };
+                                var?: undefined;
+                            })[];
+                            "=="?: undefined;
+                            var?: undefined;
+                        } | {
+                            var: string;
+                            "=="?: undefined;
+                            merge?: undefined;
+                        })[];
+                        var?: undefined;
+                    })[];
+                };
+                seats: {
+                    merge: ({
+                        var: string;
+                        filled?: undefined;
+                        vacant?: undefined;
+                    } | {
+                        filled: {
+                            "-": (number | {
+                                var: string;
+                            })[];
+                        };
+                        vacant: {
+                            "+": (number | {
+                                var: string;
+                            })[];
+                        };
+                        var?: undefined;
+                    })[];
+                };
+                var?: undefined;
+            })[];
+        };
+        emits: string[];
+    } | {
+        from: "ACTIVE";
+        to: "ACTIVE";
+        eventName: "designate_chair";
+        guard: {
+            some: ({
+                var: string;
+                and?: undefined;
+            } | {
+                and: {
+                    "==": (string | {
+                        var: string;
+                    })[];
+                }[];
+                var?: undefined;
+            })[];
+            and?: undefined;
+            "=="?: undefined;
+            ">="?: undefined;
+        };
+        effect: {
+            merge: ({
+                var: string;
+                directors?: undefined;
+            } | {
+                directors: {
+                    map: ({
+                        var: string;
+                        merge?: undefined;
+                    } | {
+                        merge: ({
+                            var: string;
+                            isChair?: undefined;
+                        } | {
+                            isChair: {
+                                "==": {
+                                    var: string;
+                                }[];
+                            };
+                            var?: undefined;
+                        })[];
+                        var?: undefined;
+                    })[];
+                };
+                var?: undefined;
+            })[];
+        };
+        emits?: undefined;
+        dependencies?: undefined;
+    } | {
+        from: "ACTIVE";
+        to: "ACTIVE";
+        eventName: "call_meeting";
+        guard: {
+            and: ({
+                or: ({
+                    "==": (boolean | {
+                        var: string;
+                    })[];
+                    ">="?: undefined;
+                } | {
+                    ">=": (number | {
+                        "-": {
+                            var: string;
+                        }[];
+                    })[];
+                    "=="?: undefined;
+                })[];
+            } | {
+                or: ({
+                    "==": ({
+                        var: string;
+                    } | null)[];
+                    "!="?: undefined;
+                } | {
+                    "!=": ({
+                        var: string;
+                    } | null)[];
+                    "=="?: undefined;
+                })[];
+            })[];
+            some?: undefined;
+            "=="?: undefined;
+            ">="?: undefined;
+        };
+        effect: {
+            merge: ({
+                var: string;
+                currentMeeting?: undefined;
+            } | {
+                currentMeeting: {
+                    meetingId: {
+                        var: string;
+                    };
+                    type: {
+                        var: string;
+                    };
+                    scheduledDate: {
+                        var: string;
+                    };
+                    location: {
+                        var: string;
+                    };
+                    isVirtual: {
+                        var: string;
+                    };
+                    calledBy: {
+                        var: string;
+                    };
+                    noticeDate: {
+                        var: string;
+                    };
+                    agenda: {
+                        var: string;
+                    };
+                    attendees: never[];
+                    quorumPresent: boolean;
+                    quorumCount: number;
+                };
+                var?: undefined;
+            })[];
+        };
+        emits: string[];
+        dependencies?: undefined;
+    } | {
+        from: "ACTIVE";
+        to: "ACTIVE";
+        eventName: "record_attendance";
+        guard: {
+            and: ({
+                "!=": ({
+                    var: string;
+                } | null)[];
+                "=="?: undefined;
+                some?: undefined;
+            } | {
+                "==": ({
+                    var: string;
+                } | null)[];
+                "!="?: undefined;
+                some?: undefined;
+            } | {
+                some: ({
+                    var: string;
+                    and?: undefined;
+                } | {
+                    and: {
+                        "==": (string | {
+                            var: string;
+                        })[];
+                    }[];
+                    var?: undefined;
+                })[];
+                "!="?: undefined;
+                "=="?: undefined;
+            })[];
+            some?: undefined;
+            "=="?: undefined;
+            ">="?: undefined;
+        };
+        effect: {
+            merge: ({
+                var: string;
+                currentMeeting?: undefined;
+            } | {
+                currentMeeting: {
+                    merge: ({
+                        var: string;
+                        attendees?: undefined;
+                    } | {
+                        attendees: {
+                            cat: ({
+                                var: string;
+                            } | {
+                                directorId: {
+                                    var: string;
+                                };
+                                present: {
+                                    var: string;
+                                };
+                                arrivedAt: {
+                                    var: string;
+                                };
+                                viaProxy: boolean;
+                            }[])[];
+                        };
+                        var?: undefined;
+                    })[];
+                };
+                var?: undefined;
+            })[];
+        };
+        emits?: undefined;
+        dependencies?: undefined;
+    } | {
+        from: "ACTIVE";
+        to: "IN_MEETING";
+        eventName: "open_meeting";
+        guard: {
+            and: ({
+                "!=": ({
+                    var: string;
+                } | null)[];
+                "=="?: undefined;
+            } | {
+                "==": ({
+                    var: string;
+                } | null)[];
+                "!="?: undefined;
+            } | {
+                "==": (boolean | {
+                    var: string;
+                })[];
+                "!="?: undefined;
+            })[];
+            some?: undefined;
+            "=="?: undefined;
+            ">="?: undefined;
+        };
+        effect: {
+            merge: ({
+                var: string;
+                status?: undefined;
+                currentMeeting?: undefined;
+            } | {
+                status: string;
+                currentMeeting: {
+                    merge: ({
+                        var: string;
+                        openedAt?: undefined;
+                    } | {
+                        openedAt: {
+                            var: string;
+                        };
+                        var?: undefined;
+                    })[];
+                };
+                var?: undefined;
+            })[];
+        };
+        emits: string[];
+        dependencies?: undefined;
+    } | {
+        from: "IN_MEETING";
+        to: "IN_MEETING";
+        eventName: "director_departs";
+        guard: {
+            "==": number[];
+            and?: undefined;
+            some?: undefined;
+            ">="?: undefined;
+        };
+        effect: {
+            merge: ({
+                var: string;
+                currentMeeting?: undefined;
+            } | {
+                currentMeeting: {
+                    merge: ({
+                        var: string;
+                        attendees?: undefined;
+                    } | {
+                        attendees: {
+                            map: ({
+                                var: string;
+                                if?: undefined;
+                            } | {
+                                if: ({
+                                    "==": {
+                                        var: string;
+                                    }[];
+                                    merge?: undefined;
+                                    var?: undefined;
+                                } | {
+                                    merge: ({
+                                        var: string;
+                                        present?: undefined;
+                                        departedAt?: undefined;
+                                    } | {
+                                        present: boolean;
+                                        departedAt: {
+                                            var: string;
+                                        };
+                                        var?: undefined;
+                                    })[];
+                                    "=="?: undefined;
+                                    var?: undefined;
+                                } | {
+                                    var: string;
+                                    "=="?: undefined;
+                                    merge?: undefined;
+                                })[];
+                                var?: undefined;
+                            })[];
+                        };
+                        var?: undefined;
+                    })[];
+                };
+                var?: undefined;
+            })[];
+        };
+        emits?: undefined;
+        dependencies?: undefined;
+    } | {
+        from: "IN_MEETING";
+        to: "QUORUM_LOST";
+        eventName: "quorum_lost";
+        guard: {
+            "==": (boolean | {
+                var: string;
+            })[];
+            and?: undefined;
+            some?: undefined;
+            ">="?: undefined;
+        };
+        effect: {
+            merge: ({
+                var: string;
+                status?: undefined;
+            } | {
+                status: string;
+                var?: undefined;
+            })[];
+        };
+        emits: string[];
+        dependencies?: undefined;
+    } | {
+        from: "QUORUM_LOST";
+        to: "IN_MEETING";
+        eventName: "quorum_restored";
+        guard: {
+            "==": (boolean | {
+                var: string;
+            })[];
+            and?: undefined;
+            some?: undefined;
+            ">="?: undefined;
+        };
+        effect: {
+            merge: ({
+                var: string;
+                status?: undefined;
+            } | {
+                status: string;
+                var?: undefined;
+            })[];
+        };
+        emits: string[];
+        dependencies?: undefined;
+    } | {
+        from: "IN_MEETING";
+        to: "ACTIVE";
+        eventName: "adjourn";
+        guard: {
+            "==": number[];
+            and?: undefined;
+            some?: undefined;
+            ">="?: undefined;
+        };
+        effect: {
+            merge: ({
+                var: string;
+                status?: undefined;
+                currentMeeting?: undefined;
+                meetingHistory?: undefined;
+            } | {
+                status: string;
+                currentMeeting: null;
+                meetingHistory: {
+                    cat: ({
+                        var: string;
+                    } | {
+                        meetingId: {
+                            var: string;
+                        };
+                        type: {
+                            var: string;
+                        };
+                        date: {
+                            var: string;
+                        };
+                        quorumAchieved: {
+                            var: string;
+                        };
+                        attendeeCount: {
+                            var: string;
+                        };
+                        resolutionsPassed: {
+                            var: string;
+                        };
+                        minutesRef: {
+                            var: string;
+                        };
+                    }[])[];
+                };
+                var?: undefined;
+            })[];
+        };
+        emits: string[];
+        dependencies?: undefined;
+    } | {
+        from: "QUORUM_LOST";
+        to: "ACTIVE";
+        eventName: "adjourn";
+        guard: {
+            "==": number[];
+            and?: undefined;
+            some?: undefined;
+            ">="?: undefined;
+        };
+        effect: {
+            merge: ({
+                var: string;
+                status?: undefined;
+                currentMeeting?: undefined;
+                meetingHistory?: undefined;
+            } | {
+                status: string;
+                currentMeeting: null;
+                meetingHistory: {
+                    cat: ({
+                        var: string;
+                    } | {
+                        meetingId: {
+                            var: string;
+                        };
+                        type: {
+                            var: string;
+                        };
+                        date: {
+                            var: string;
+                        };
+                        quorumAchieved: {
+                            var: string;
+                        };
+                        attendeeCount: {
+                            var: string;
+                        };
+                        resolutionsPassed: {
+                            var: string;
+                        };
+                        minutesRef: {
+                            var: string;
+                        };
+                    }[])[];
+                };
+                var?: undefined;
+            })[];
+        };
+        emits: string[];
+        dependencies?: undefined;
+    } | {
+        from: "ACTIVE";
+        to: "ACTIVE";
+        eventName: "update_seats";
+        guard: {
+            ">=": {
+                var: string;
+            }[];
+            and?: undefined;
+            some?: undefined;
+            "=="?: undefined;
+        };
+        effect: {
+            merge: ({
+                var: string;
+                seats?: undefined;
+            } | {
+                seats: {
+                    merge: ({
+                        var: string;
+                        authorized?: undefined;
+                        vacant?: undefined;
+                    } | {
+                        authorized: {
+                            var: string;
+                        };
+                        vacant: {
+                            "-": {
+                                var: string;
+                            }[];
+                        };
+                        var?: undefined;
+                    })[];
+                };
+                var?: undefined;
+            })[];
+        };
+        emits?: undefined;
+        dependencies?: undefined;
+    })[];
+};
+export type CorpBoardState = keyof typeof corpBoardDef.states;
+export type CorpBoardEvent = (typeof corpBoardDef.transitions)[number]["eventName"];