@ottochain/sdk 2.4.0 → 2.6.0

package/dist/esm/apps/corporate/state-machines/corp-board.js

@@ -1,455 +1,439 @@
-import { defineFiberApp } from "../../../schema/fiber-app.js";
-import { signerInSet, depInState } from "../../../schema/guards.js";
-import { addDependency } from "../../../schema/effects.js";
+import { defineFiberApp } from '../../../schema/fiber-app.js';
+import { signerInSet, depInState } from '../../../schema/guards.js';
+import { addDependency } from '../../../schema/effects.js';
 /**
  * Board of directors state machine managing director seats, meetings, quorum, and formal board actions.
  * Supports staggered boards with classified directors.
  */
 export const corpBoardDef = defineFiberApp({
     metadata: {
-        name: "CorpBoard",
-        app: "corporate",
-        type: "board",
-        version: "1.0.0",
-        description: "Board of directors state machine managing director seats, meetings, quorum, and formal board actions. Supports staggered boards with classified directors.",
+        name: 'CorpBoard',
+        app: 'corporate',
+        type: 'board',
+        version: '1.0.0',
+        description: 'Board of directors state machine managing director seats, meetings, quorum, and formal board actions. Supports staggered boards with classified directors.',
         crossReferences: {
             entity: {
-                machine: "corporate-entity",
-                description: "Parent corporate entity",
-                foreignKey: "entityId",
+                machine: 'corporate-entity',
+                description: 'Parent corporate entity',
+                foreignKey: 'entityId',
             },
             resolutions: {
-                machine: "corporate-resolution",
-                description: "Board resolutions",
-                foreignKey: "boardId",
+                machine: 'corporate-resolution',
+                description: 'Board resolutions',
+                foreignKey: 'boardId',
             },
             committees: {
-                machine: "corporate-committee",
-                description: "Board committees",
-                foreignKey: "boardId",
+                machine: 'corporate-committee',
+                description: 'Board committees',
+                foreignKey: 'boardId',
             },
             officers: {
-                machine: "corporate-officers",
-                description: "Officers appointed by board",
-                foreignKey: "entityId",
+                machine: 'corporate-officers',
+                description: 'Officers appointed by board',
+                foreignKey: 'entityId',
             },
         },
     },
     createSchema: {
-        required: ["boardId", "entityId", "seats", "authorizedRemovers"],
+        required: ['boardId', 'entityId', 'seats', 'authorizedRemovers'],
         properties: {
             boardId: {
-                type: "string",
-                description: "Unique identifier for this board instance",
+                type: 'string',
+                description: 'Unique identifier for this board instance',
                 immutable: true,
             },
             entityId: {
-                type: "string",
-                description: "Reference to parent corporate-entity",
+                type: 'string',
+                description: 'Reference to parent corporate-entity',
                 immutable: true,
             },
             authorizedRemovers: {
-                type: "array",
-                description: "State-pinned set of DAG addresses authorized to remove a director for cause (board/shareholder authority). A verified signer must be a member; checked against proofs[].address.",
+                type: 'array',
+                description: 'State-pinned set of DAG addresses authorized to remove a director for cause (board/shareholder authority). A verified signer must be a member; checked against proofs[].address.',
                 immutable: false,
-                items: { type: "address" },
+                items: { type: 'address' },
             },
             seats: {
-                type: "object",
+                type: 'object',
                 properties: {
                     authorized: {
-                        type: "integer",
-                        description: "Number of board seats authorized by bylaws",
+                        type: 'integer',
+                        description: 'Number of board seats authorized by bylaws',
                     },
-                    filled: { type: "integer" },
-                    vacant: { type: "integer" },
+                    filled: { type: 'integer' },
+                    vacant: { type: 'integer' },
                 },
             },
             boardStructure: {
-                type: "object",
+                type: 'object',
                 properties: {
                     isClassified: {
-                        type: "boolean",
-                        description: "Whether board has staggered terms",
+                        type: 'boolean',
+                        description: 'Whether board has staggered terms',
                     },
                     termYears: {
-                        type: "integer",
+                        type: 'integer',
                         default: 1,
-                        description: "Director term length",
+                        description: 'Director term length',
                     },
                     classTerms: {
-                        type: "object",
+                        type: 'object',
                         properties: {
-                            CLASS_I: { type: "integer" },
-                            CLASS_II: { type: "integer" },
-                            CLASS_III: { type: "integer" },
+                            CLASS_I: { type: 'integer' },
+                            CLASS_II: { type: 'integer' },
+                            CLASS_III: { type: 'integer' },
                         },
                     },
                 },
             },
             quorumRules: {
-                type: "object",
+                type: 'object',
                 properties: {
                     type: {
-                        type: "string",
-                        enum: ["MAJORITY", "SUPERMAJORITY", "FIXED_NUMBER"],
-                        default: "MAJORITY",
+                        type: 'string',
+                        enum: ['MAJORITY', 'SUPERMAJORITY', 'FIXED_NUMBER'],
+                        default: 'MAJORITY',
                     },
                     threshold: {
-                        type: "number",
-                        description: "Fraction for majority/super, or count for fixed",
+                        type: 'number',
+                        description: 'Fraction for majority/super, or count for fixed',
                     },
                     minimumRequired: {
-                        type: "integer",
-                        description: "Absolute minimum regardless of formula",
+                        type: 'integer',
+                        description: 'Absolute minimum regardless of formula',
                     },
                 },
             },
             votingRules: {
-                type: "object",
+                type: 'object',
                 properties: {
                     standardApproval: {
-                        type: "string",
-                        enum: ["MAJORITY_PRESENT", "MAJORITY_FULL_BOARD"],
-                        default: "MAJORITY_PRESENT",
+                        type: 'string',
+                        enum: ['MAJORITY_PRESENT', 'MAJORITY_FULL_BOARD'],
+                        default: 'MAJORITY_PRESENT',
                     },
                     supermajorityMatters: {
-                        type: "array",
-                        items: { type: "string" },
-                        description: "Action types requiring supermajority",
+                        type: 'array',
+                        items: { type: 'string' },
+                        description: 'Action types requiring supermajority',
                     },
-                    supermajorityThreshold: { type: "number", default: 0.6667 },
+                    supermajorityThreshold: { type: 'number', default: 0.6667 },
                 },
             },
         },
     },
     stateSchema: {
         properties: {
-            boardId: { type: "string", immutable: true },
-            entityId: { type: "string", immutable: true },
-            authorizedRemovers: { type: "array", items: { type: "address" } },
+            boardId: { type: 'string', immutable: true },
+            entityId: { type: 'string', immutable: true },
+            authorizedRemovers: { type: 'array', items: { type: 'address' } },
             directors: {
-                type: "array",
-                items: { $ref: "#/definitions/Director" },
+                type: 'array',
+                items: { $ref: '#/definitions/Director' },
                 computed: true,
             },
-            seats: { type: "object" },
-            boardStructure: { type: "object" },
-            quorumRules: { type: "object" },
-            votingRules: { type: "object" },
+            seats: { type: 'object' },
+            boardStructure: { type: 'object' },
+            quorumRules: { type: 'object' },
+            votingRules: { type: 'object' },
             currentMeeting: {
-                $ref: "#/definitions/Meeting",
+                $ref: '#/definitions/Meeting',
                 nullable: true,
                 computed: true,
             },
             meetingHistory: {
-                type: "array",
-                items: { $ref: "#/definitions/MeetingRecord" },
+                type: 'array',
+                items: { $ref: '#/definitions/MeetingRecord' },
                 computed: true,
             },
             status: {
-                type: "string",
-                enum: ["ACTIVE", "IN_MEETING", "QUORUM_LOST"],
+                type: 'string',
+                enum: ['ACTIVE', 'IN_MEETING', 'QUORUM_LOST'],
                 computed: true,
             },
-            createdAt: { type: "timestamp", computed: true },
-            updatedAt: { type: "timestamp", computed: true },
+            createdAt: { type: 'timestamp', computed: true },
+            updatedAt: { type: 'timestamp', computed: true },
             // Two-phase removal (#24): propose_removal binds the resolution fiber + records the pending
             // removal here; remove_for_cause asserts the bound resolution is EXECUTED, then clears this.
-            pendingRemoval: { type: "object", nullable: true, computed: true },
+            pendingRemoval: { type: 'object', nullable: true, computed: true },
         },
     },
     eventSchemas: {
         elect_director: {
-            description: "Add a new director to the board (election typically done at shareholder meeting or by board to fill vacancy)",
-            required: [
-                "directorId",
-                "name",
-                "termStart",
-                "termEnd",
-                "isIndependent",
-                "electionResolutionRef",
-            ],
+            description: 'Add a new director to the board (election typically done at shareholder meeting or by board to fill vacancy)',
+            required: ['directorId', 'name', 'termStart', 'termEnd', 'isIndependent', 'electionResolutionRef'],
             properties: {
-                directorId: { type: "string" },
-                name: { type: "string" },
-                email: { type: "string" },
-                termStart: { type: "string", format: "date" },
-                termEnd: { type: "string", format: "date" },
+                directorId: { type: 'string' },
+                name: { type: 'string' },
+                email: { type: 'string' },
+                termStart: { type: 'string', format: 'date' },
+                termEnd: { type: 'string', format: 'date' },
                 class: {
-                    type: "string",
-                    enum: ["CLASS_I", "CLASS_II", "CLASS_III", "UNCLASSIFIED"],
+                    type: 'string',
+                    enum: ['CLASS_I', 'CLASS_II', 'CLASS_III', 'UNCLASSIFIED'],
                 },
-                isIndependent: { type: "boolean" },
+                isIndependent: { type: 'boolean' },
                 electionResolutionRef: {
-                    type: "string",
-                    description: "Shareholder or board resolution",
+                    type: 'string',
+                    description: 'Shareholder or board resolution',
                 },
-                isFillingVacancy: { type: "boolean", default: false },
+                isFillingVacancy: { type: 'boolean', default: false },
             },
         },
         resign_director: {
-            description: "Director resigns from the board",
-            required: ["directorId", "effectiveDate"],
+            description: 'Director resigns from the board',
+            required: ['directorId', 'effectiveDate'],
             properties: {
-                directorId: { type: "string" },
-                effectiveDate: { type: "string", format: "date" },
-                reason: { type: "string" },
+                directorId: { type: 'string' },
+                effectiveDate: { type: 'string', format: 'date' },
+                reason: { type: 'string' },
                 resignationLetter: {
-                    type: "string",
-                    description: "Document reference",
+                    type: 'string',
+                    description: 'Document reference',
                 },
             },
         },
         propose_removal: {
-            description: "Phase 1 of for-cause removal: bind the executing resolution fiber (#24 _addDependency) and record the pending removal",
-            required: ["directorId", "cause", "removalResolutionRef"],
+            description: 'Phase 1 of for-cause removal: bind the executing resolution fiber (#24 _addDependency) and record the pending removal',
+            required: ['directorId', 'cause', 'removalResolutionRef'],
             properties: {
-                directorId: { type: "string" },
-                cause: { type: "string" },
-                removalResolutionRef: { type: "string" },
+                directorId: { type: 'string' },
+                cause: { type: 'string' },
+                removalResolutionRef: { type: 'string' },
             },
         },
         remove_for_cause: {
-            description: "Phase 2 of for-cause removal: execute once the bound removal resolution is EXECUTED",
-            required: ["directorId", "effectiveDate"],
+            description: 'Phase 2 of for-cause removal: execute once the bound removal resolution is EXECUTED',
+            required: ['directorId', 'effectiveDate'],
             properties: {
-                directorId: { type: "string" },
-                effectiveDate: { type: "string", format: "date" },
+                directorId: { type: 'string' },
+                effectiveDate: { type: 'string', format: 'date' },
             },
         },
         designate_chair: {
-            description: "Designate a director as board chair",
-            required: ["directorId", "resolutionRef"],
+            description: 'Designate a director as board chair',
+            required: ['directorId', 'resolutionRef'],
             properties: {
-                directorId: { type: "string" },
-                resolutionRef: { type: "string" },
+                directorId: { type: 'string' },
+                resolutionRef: { type: 'string' },
             },
         },
         call_meeting: {
-            description: "Schedule a board meeting (can be called by chair, CEO, or directors per bylaws)",
-            required: [
-                "meetingId",
-                "type",
-                "scheduledDate",
-                "calledBy",
-                "noticeDate",
-            ],
+            description: 'Schedule a board meeting (can be called by chair, CEO, or directors per bylaws)',
+            required: ['meetingId', 'type', 'scheduledDate', 'calledBy', 'noticeDate'],
             properties: {
-                meetingId: { type: "string" },
+                meetingId: { type: 'string' },
                 type: {
-                    type: "string",
-                    enum: ["REGULAR", "SPECIAL", "ANNUAL", "ORGANIZATIONAL"],
+                    type: 'string',
+                    enum: ['REGULAR', 'SPECIAL', 'ANNUAL', 'ORGANIZATIONAL'],
                 },
-                scheduledDate: { type: "string", format: "date-time" },
-                location: { type: "string" },
-                isVirtual: { type: "boolean", default: false },
+                scheduledDate: { type: 'string', format: 'date-time' },
+                location: { type: 'string' },
+                isVirtual: { type: 'boolean', default: false },
                 calledBy: {
-                    type: "string",
-                    description: "Director ID or officer title",
+                    type: 'string',
+                    description: 'Director ID or officer title',
                 },
-                noticeDate: { type: "string", format: "date" },
-                agenda: { type: "array", items: { type: "string" } },
+                noticeDate: { type: 'string', format: 'date' },
+                agenda: { type: 'array', items: { type: 'string' } },
                 waiverOfNotice: {
-                    type: "boolean",
+                    type: 'boolean',
                     default: false,
-                    description: "If all directors waive notice",
+                    description: 'If all directors waive notice',
                 },
             },
         },
         record_attendance: {
             description: "Record a director's attendance before meeting opens",
-            required: ["directorId", "present"],
+            required: ['directorId', 'present'],
             properties: {
-                directorId: { type: "string" },
-                present: { type: "boolean" },
-                arrivedAt: { type: "string", format: "date-time" },
+                directorId: { type: 'string' },
+                present: { type: 'boolean' },
+                arrivedAt: { type: 'string', format: 'date-time' },
             },
         },
         open_meeting: {
-            description: "Officially open the board meeting once quorum is established",
-            required: ["openedAt"],
+            description: 'Officially open the board meeting once quorum is established',
+            required: ['openedAt'],
             properties: {
-                openedAt: { type: "string", format: "date-time" },
+                openedAt: { type: 'string', format: 'date-time' },
                 chairPresiding: {
-                    type: "string",
-                    description: "Director ID presiding",
+                    type: 'string',
+                    description: 'Director ID presiding',
                 },
             },
         },
         director_departs: {
-            description: "Record a director leaving the meeting (may affect quorum)",
-            required: ["directorId", "departedAt"],
+            description: 'Record a director leaving the meeting (may affect quorum)',
+            required: ['directorId', 'departedAt'],
             properties: {
-                directorId: { type: "string" },
-                departedAt: { type: "string", format: "date-time" },
+                directorId: { type: 'string' },
+                departedAt: { type: 'string', format: 'date-time' },
             },
         },
         quorum_lost: {
-            description: "Automatic transition when quorum is lost during meeting",
-            required: ["lostAt"],
+            description: 'Automatic transition when quorum is lost during meeting',
+            required: ['lostAt'],
             properties: {
-                lostAt: { type: "string", format: "date-time" },
+                lostAt: { type: 'string', format: 'date-time' },
             },
         },
         quorum_restored: {
-            description: "Quorum restored after additional director(s) join",
-            required: ["restoredAt", "directorId"],
+            description: 'Quorum restored after additional director(s) join',
+            required: ['restoredAt', 'directorId'],
             properties: {
-                restoredAt: { type: "string", format: "date-time" },
-                directorId: { type: "string", description: "Joining director" },
+                restoredAt: { type: 'string', format: 'date-time' },
+                directorId: { type: 'string', description: 'Joining director' },
             },
         },
         adjourn: {
-            description: "Adjourn the board meeting",
-            required: ["closedAt"],
+            description: 'Adjourn the board meeting',
+            required: ['closedAt'],
             properties: {
-                closedAt: { type: "string", format: "date-time" },
+                closedAt: { type: 'string', format: 'date-time' },
                 minutesRef: {
-                    type: "string",
-                    description: "Reference to meeting minutes document",
+                    type: 'string',
+                    description: 'Reference to meeting minutes document',
                 },
-                resolutionsPassed: { type: "array", items: { type: "string" } },
+                resolutionsPassed: { type: 'array', items: { type: 'string' } },
                 adjournedTo: {
-                    type: "string",
-                    format: "date-time",
+                    type: 'string',
+                    format: 'date-time',
                     nullable: true,
-                    description: "If adjourning to later date",
+                    description: 'If adjourning to later date',
                 },
             },
         },
         update_seats: {
-            description: "Change the number of authorized board seats (requires bylaw amendment)",
-            required: ["newAuthorizedSeats", "bylawAmendmentRef"],
+            description: 'Change the number of authorized board seats (requires bylaw amendment)',
+            required: ['newAuthorizedSeats', 'bylawAmendmentRef'],
             properties: {
-                newAuthorizedSeats: { type: "integer" },
-                bylawAmendmentRef: { type: "string" },
+                newAuthorizedSeats: { type: 'integer' },
+                bylawAmendmentRef: { type: 'string' },
             },
         },
     },
     definitions: {
         Director: {
-            type: "object",
+            type: 'object',
             properties: {
-                directorId: { type: "string" },
-                name: { type: "string" },
-                email: { type: "string" },
-                termStart: { type: "string", format: "date" },
-                termEnd: { type: "string", format: "date" },
+                directorId: { type: 'string' },
+                name: { type: 'string' },
+                email: { type: 'string' },
+                termStart: { type: 'string', format: 'date' },
+                termEnd: { type: 'string', format: 'date' },
                 class: {
-                    type: "string",
-                    enum: ["CLASS_I", "CLASS_II", "CLASS_III", "UNCLASSIFIED"],
+                    type: 'string',
+                    enum: ['CLASS_I', 'CLASS_II', 'CLASS_III', 'UNCLASSIFIED'],
                 },
                 status: {
-                    type: "string",
-                    enum: ["ACTIVE", "RESIGNED", "REMOVED", "TERM_EXPIRED"],
+                    type: 'string',
+                    enum: ['ACTIVE', 'RESIGNED', 'REMOVED', 'TERM_EXPIRED'],
                 },
                 isIndependent: {
-                    type: "boolean",
-                    description: "Independence under applicable rules",
+                    type: 'boolean',
+                    description: 'Independence under applicable rules',
                 },
-                isChair: { type: "boolean", default: false },
-                isLeadIndependent: { type: "boolean", default: false },
+                isChair: { type: 'boolean', default: false },
+                isLeadIndependent: { type: 'boolean', default: false },
                 committees: {
-                    type: "array",
-                    items: { type: "string" },
-                    description: "Committee memberships by committee ID",
+                    type: 'array',
+                    items: { type: 'string' },
+                    description: 'Committee memberships by committee ID',
                 },
                 electedBy: {
-                    type: "string",
-                    description: "Resolution reference for election",
+                    type: 'string',
+                    description: 'Resolution reference for election',
                 },
-                compensationAgreementRef: { type: "string", nullable: true },
+                compensationAgreementRef: { type: 'string', nullable: true },
             },
         },
         Meeting: {
-            type: "object",
+            type: 'object',
             nullable: true,
             properties: {
-                meetingId: { type: "string" },
+                meetingId: { type: 'string' },
                 type: {
-                    type: "string",
-                    enum: ["REGULAR", "SPECIAL", "ANNUAL", "ORGANIZATIONAL"],
+                    type: 'string',
+                    enum: ['REGULAR', 'SPECIAL', 'ANNUAL', 'ORGANIZATIONAL'],
                 },
-                scheduledDate: { type: "string", format: "date-time" },
-                location: { type: "string" },
-                isVirtual: { type: "boolean" },
-                calledBy: { type: "string" },
-                noticeDate: { type: "string", format: "date" },
-                agenda: { type: "array", items: { type: "string" } },
-                attendees: { type: "array", items: { $ref: "#/definitions/Attendee" } },
-                quorumPresent: { type: "boolean" },
-                quorumCount: { type: "integer" },
-                openedAt: { type: "string", format: "date-time", nullable: true },
-                closedAt: { type: "string", format: "date-time", nullable: true },
-                minutesRef: { type: "string", nullable: true },
+                scheduledDate: { type: 'string', format: 'date-time' },
+                location: { type: 'string' },
+                isVirtual: { type: 'boolean' },
+                calledBy: { type: 'string' },
+                noticeDate: { type: 'string', format: 'date' },
+                agenda: { type: 'array', items: { type: 'string' } },
+                attendees: { type: 'array', items: { $ref: '#/definitions/Attendee' } },
+                quorumPresent: { type: 'boolean' },
+                quorumCount: { type: 'integer' },
+                openedAt: { type: 'string', format: 'date-time', nullable: true },
+                closedAt: { type: 'string', format: 'date-time', nullable: true },
+                minutesRef: { type: 'string', nullable: true },
             },
         },
         Attendee: {
-            type: "object",
+            type: 'object',
             properties: {
-                directorId: { type: "string" },
-                present: { type: "boolean" },
-                arrivedAt: { type: "string", format: "date-time", nullable: true },
-                departedAt: { type: "string", format: "date-time", nullable: true },
-                viaProxy: { type: "boolean", default: false },
+                directorId: { type: 'string' },
+                present: { type: 'boolean' },
+                arrivedAt: { type: 'string', format: 'date-time', nullable: true },
+                departedAt: { type: 'string', format: 'date-time', nullable: true },
+                viaProxy: { type: 'boolean', default: false },
             },
         },
         MeetingRecord: {
-            type: "object",
+            type: 'object',
             properties: {
-                meetingId: { type: "string" },
-                type: { type: "string" },
-                date: { type: "string", format: "date" },
-                quorumAchieved: { type: "boolean" },
-                attendeeCount: { type: "integer" },
-                resolutionsPassed: { type: "array", items: { type: "string" } },
-                minutesRef: { type: "string" },
+                meetingId: { type: 'string' },
+                type: { type: 'string' },
+                date: { type: 'string', format: 'date' },
+                quorumAchieved: { type: 'boolean' },
+                attendeeCount: { type: 'integer' },
+                resolutionsPassed: { type: 'array', items: { type: 'string' } },
+                minutesRef: { type: 'string' },
             },
         },
     },
     states: {
         ACTIVE: {
-            id: "ACTIVE",
+            id: 'ACTIVE',
             isFinal: false,
-            description: "Board is constituted and able to conduct business. Default state between meetings.",
+            description: 'Board is constituted and able to conduct business. Default state between meetings.',
         },
         IN_MEETING: {
-            id: "IN_MEETING",
+            id: 'IN_MEETING',
             isFinal: false,
-            description: "Board meeting is in session with quorum present. Can take formal actions.",
+            description: 'Board meeting is in session with quorum present. Can take formal actions.',
         },
         QUORUM_LOST: {
-            id: "QUORUM_LOST",
+            id: 'QUORUM_LOST',
             isFinal: false,
-            description: "Meeting in progress but quorum lost due to departures. No further action until quorum restored or adjourned.",
+            description: 'Meeting in progress but quorum lost due to departures. No further action until quorum restored or adjourned.',
         },
     },
-    initialState: "ACTIVE",
+    initialState: 'ACTIVE',
     transitions: [
         // ACTIVE -> ACTIVE (elect_director)
         {
-            from: "ACTIVE",
-            to: "ACTIVE",
-            eventName: "elect_director",
+            from: 'ACTIVE',
+            to: 'ACTIVE',
+            eventName: 'elect_director',
             guard: {
                 and: [
                     // vacancy gated solely on verified state — the forgeable event.isFillingVacancy disjunct was removed
-                    { ">": [{ var: "state.seats.vacant" }, 0] },
-                    { "!=": [{ var: "event.electionResolutionRef" }, null] },
+                    { '>': [{ var: 'state.seats.vacant' }, 0] },
+                    { '!=': [{ var: 'event.electionResolutionRef' }, null] },
                     {
-                        "!": {
+                        '!': {
                             some: [
-                                { var: "state.directors" },
+                                { var: 'state.directors' },
                                 {
                                     and: [
                                         {
-                                            "==": [
-                                                { var: "directorId" },
-                                                { var: "event.directorId" },
-                                            ],
+                                            '==': [{ var: 'directorId' }, { var: 'event.directorId' }],
                                         },
-                                        { "==": [{ var: "status" }, "ACTIVE"] },
+                                        { '==': [{ var: 'status' }, 'ACTIVE'] },
                                     ],
                                 },
                             ],
@@ -459,168 +443,156 @@ export const corpBoardDef = defineFiberApp({
             },
             effect: {
                 merge: [
-                    { var: "state" },
+                    { var: 'state' },
                     {
                         directors: {
                             merge: [
-                                { var: "state.directors" },
+                                { var: 'state.directors' },
                                 [
                                     {
-                                        directorId: { var: "event.directorId" },
-                                        name: { var: "event.name" },
-                                        email: { var: "event.email" },
-                                        termStart: { var: "event.termStart" },
-                                        termEnd: { var: "event.termEnd" },
-                                        class: { var: "event.class" },
-                                        status: "ACTIVE",
-                                        isIndependent: { var: "event.isIndependent" },
+                                        directorId: { var: 'event.directorId' },
+                                        name: { var: 'event.name' },
+                                        email: { var: 'event.email' },
+                                        termStart: { var: 'event.termStart' },
+                                        termEnd: { var: 'event.termEnd' },
+                                        class: { var: 'event.class' },
+                                        status: 'ACTIVE',
+                                        isIndependent: { var: 'event.isIndependent' },
                                         isChair: false,
                                         isLeadIndependent: false,
                                         committees: [],
-                                        electedBy: { var: "event.electionResolutionRef" },
+                                        electedBy: { var: 'event.electionResolutionRef' },
                                     },
                                 ],
                             ],
                         },
                         seats: {
                             merge: [
-                                { var: "state.seats" },
+                                { var: 'state.seats' },
                                 {
-                                    filled: { "+": [{ var: "state.seats.filled" }, 1] },
-                                    vacant: { "-": [{ var: "state.seats.vacant" }, 1] },
+                                    filled: { '+': [{ var: 'state.seats.filled' }, 1] },
+                                    vacant: { '-': [{ var: 'state.seats.vacant' }, 1] },
                                 },
                             ],
                         },
                     },
                     {
-                        _emit: [
-                            { name: "DIRECTOR_ELECTED", data: { var: "event" }, destination: "external" },
-                        ],
+                        _emit: [{ name: 'DIRECTOR_ELECTED', data: { var: 'event' }, destination: 'external' }],
                     },
                 ],
             },
         },
         // ACTIVE -> ACTIVE (resign_director) and IN_MEETING -> ACTIVE (resign_director)
         {
-            from: "ACTIVE",
-            to: "ACTIVE",
-            eventName: "resign_director",
+            from: 'ACTIVE',
+            to: 'ACTIVE',
+            eventName: 'resign_director',
             guard: {
                 some: [
-                    { var: "state.directors" },
+                    { var: 'state.directors' },
                     {
                         and: [
-                            { "==": [{ var: "directorId" }, { var: "event.directorId" }] },
-                            { "==": [{ var: "status" }, "ACTIVE"] },
+                            { '==': [{ var: 'directorId' }, { var: 'event.directorId' }] },
+                            { '==': [{ var: 'status' }, 'ACTIVE'] },
                         ],
                     },
                 ],
             },
             effect: {
                 merge: [
-                    { var: "state" },
+                    { var: 'state' },
                     {
                         directors: {
                             map: [
-                                { var: "state.directors" },
+                                { var: 'state.directors' },
                                 {
                                     if: [
                                         {
-                                            "==": [
-                                                { var: "directorId" },
-                                                { var: "event.directorId" },
-                                            ],
+                                            '==': [{ var: 'directorId' }, { var: 'event.directorId' }],
                                         },
                                         {
                                             merge: [
-                                                { var: "" },
+                                                { var: '' },
                                                 {
-                                                    status: "RESIGNED",
-                                                    termEnd: { var: "event.effectiveDate" },
+                                                    status: 'RESIGNED',
+                                                    termEnd: { var: 'event.effectiveDate' },
                                                 },
                                             ],
                                         },
-                                        { var: "" },
+                                        { var: '' },
                                     ],
                                 },
                             ],
                         },
                         seats: {
                             merge: [
-                                { var: "state.seats" },
+                                { var: 'state.seats' },
                                 {
-                                    filled: { "-": [{ var: "state.seats.filled" }, 1] },
-                                    vacant: { "+": [{ var: "state.seats.vacant" }, 1] },
+                                    filled: { '-': [{ var: 'state.seats.filled' }, 1] },
+                                    vacant: { '+': [{ var: 'state.seats.vacant' }, 1] },
                                 },
                             ],
                         },
                     },
                     {
-                        _emit: [
-                            { name: "DIRECTOR_RESIGNED", data: { var: "event" }, destination: "external" },
-                        ],
+                        _emit: [{ name: 'DIRECTOR_RESIGNED', data: { var: 'event' }, destination: 'external' }],
                     },
                 ],
             },
         },
         {
-            from: "IN_MEETING",
-            to: "ACTIVE",
-            eventName: "resign_director",
+            from: 'IN_MEETING',
+            to: 'ACTIVE',
+            eventName: 'resign_director',
             guard: {
                 some: [
-                    { var: "state.directors" },
+                    { var: 'state.directors' },
                     {
                         and: [
-                            { "==": [{ var: "directorId" }, { var: "event.directorId" }] },
-                            { "==": [{ var: "status" }, "ACTIVE"] },
+                            { '==': [{ var: 'directorId' }, { var: 'event.directorId' }] },
+                            { '==': [{ var: 'status' }, 'ACTIVE'] },
                         ],
                     },
                 ],
             },
             effect: {
                 merge: [
-                    { var: "state" },
+                    { var: 'state' },
                     {
                         directors: {
                             map: [
-                                { var: "state.directors" },
+                                { var: 'state.directors' },
                                 {
                                     if: [
                                         {
-                                            "==": [
-                                                { var: "directorId" },
-                                                { var: "event.directorId" },
-                                            ],
+                                            '==': [{ var: 'directorId' }, { var: 'event.directorId' }],
                                         },
                                         {
                                             merge: [
-                                                { var: "" },
+                                                { var: '' },
                                                 {
-                                                    status: "RESIGNED",
-                                                    termEnd: { var: "event.effectiveDate" },
+                                                    status: 'RESIGNED',
+                                                    termEnd: { var: 'event.effectiveDate' },
                                                 },
                                             ],
                                         },
-                                        { var: "" },
+                                        { var: '' },
                                     ],
                                 },
                             ],
                         },
                         seats: {
                             merge: [
-                                { var: "state.seats" },
+                                { var: 'state.seats' },
                                 {
-                                    filled: { "-": [{ var: "state.seats.filled" }, 1] },
-                                    vacant: { "+": [{ var: "state.seats.vacant" }, 1] },
+                                    filled: { '-': [{ var: 'state.seats.filled' }, 1] },
+                                    vacant: { '+': [{ var: 'state.seats.vacant' }, 1] },
                                 },
                             ],
                         },
                     },
                     {
-                        _emit: [
-                            { name: "DIRECTOR_RESIGNED", data: { var: "event" }, destination: "external" },
-                        ],
+                        _emit: [{ name: 'DIRECTOR_RESIGNED', data: { var: 'event' }, destination: 'external' }],
                     },
                 ],
             },
@@ -628,19 +600,19 @@ export const corpBoardDef = defineFiberApp({
         // ACTIVE -> ACTIVE (propose_removal) — phase 1 (#24): bind the executing resolution fiber and
         // record the pending removal, so the next transition can read the resolution's state.
         {
-            from: "ACTIVE",
-            to: "ACTIVE",
-            eventName: "propose_removal",
+            from: 'ACTIVE',
+            to: 'ACTIVE',
+            eventName: 'propose_removal',
             guard: {
                 and: [
-                    signerInSet("state.authorizedRemovers"),
+                    signerInSet('state.authorizedRemovers'),
                     {
                         some: [
-                            { var: "state.directors" },
+                            { var: 'state.directors' },
                             {
                                 and: [
-                                    { "==": [{ var: "directorId" }, { var: "event.directorId" }] },
-                                    { "==": [{ var: "status" }, "ACTIVE"] },
+                                    { '==': [{ var: 'directorId' }, { var: 'event.directorId' }] },
+                                    { '==': [{ var: 'status' }, 'ACTIVE'] },
                                 ],
                             },
                         ],
@@ -649,17 +621,17 @@ export const corpBoardDef = defineFiberApp({
             },
             effect: {
                 merge: [
-                    { var: "state" },
+                    { var: 'state' },
                     {
                         pendingRemoval: {
-                            directorId: { var: "event.directorId" },
-                            cause: { var: "event.cause" },
-                            resolutionRef: { var: "event.removalResolutionRef" },
-                            proposedAt: { var: "$ordinal" },
+                            directorId: { var: 'event.directorId' },
+                            cause: { var: 'event.cause' },
+                            resolutionRef: { var: 'event.removalResolutionRef' },
+                            proposedAt: { var: '$ordinal' },
                         },
                     },
                     // bind the resolution fiber so remove_for_cause can assert its state next transition
-                    addDependency({ var: "event.removalResolutionRef" }),
+                    addDependency({ var: 'event.removalResolutionRef' }),
                 ],
             },
             dependencies: [],
@@ -667,32 +639,29 @@ export const corpBoardDef = defineFiberApp({
         // ACTIVE -> ACTIVE (remove_for_cause) — phase 2 (#24): execute once the bound removal resolution is
         // EXECUTED. depInState replaces the dropped object-form dependency (which silently never gated).
         {
-            from: "ACTIVE",
-            to: "ACTIVE",
-            eventName: "remove_for_cause",
+            from: 'ACTIVE',
+            to: 'ACTIVE',
+            eventName: 'remove_for_cause',
             // authority gate — a member of the pinned authorizedRemovers set must sign; an identity role
             // attestation (BOARD_MEMBER/...) layers on additively when the identity registry lands (§4.2).
             guard: {
                 and: [
-                    signerInSet("state.authorizedRemovers"),
+                    signerInSet('state.authorizedRemovers'),
                     // the proposal must target this director, and its bound resolution must be EXECUTED
                     {
-                        "==": [
-                            { var: "state.pendingRemoval.directorId" },
-                            { var: "event.directorId" },
-                        ],
+                        '==': [{ var: 'state.pendingRemoval.directorId' }, { var: 'event.directorId' }],
                     },
-                    depInState("state.pendingRemoval.resolutionRef", "EXECUTED"),
+                    depInState('state.pendingRemoval.resolutionRef', 'EXECUTED'),
                     // event.directorId is the lookup key only — the director must exist and be ACTIVE
                     {
                         some: [
-                            { var: "state.directors" },
+                            { var: 'state.directors' },
                             {
                                 and: [
                                     {
-                                        "==": [{ var: "directorId" }, { var: "event.directorId" }],
+                                        '==': [{ var: 'directorId' }, { var: 'event.directorId' }],
                                     },
-                                    { "==": [{ var: "status" }, "ACTIVE"] },
+                                    { '==': [{ var: 'status' }, 'ACTIVE'] },
                                 ],
                             },
                         ],
@@ -701,39 +670,36 @@ export const corpBoardDef = defineFiberApp({
             },
             effect: {
                 merge: [
-                    { var: "state" },
+                    { var: 'state' },
                     {
                         directors: {
                             map: [
-                                { var: "state.directors" },
+                                { var: 'state.directors' },
                                 {
                                     if: [
                                         {
-                                            "==": [
-                                                { var: "directorId" },
-                                                { var: "event.directorId" },
-                                            ],
+                                            '==': [{ var: 'directorId' }, { var: 'event.directorId' }],
                                         },
                                         {
                                             merge: [
-                                                { var: "" },
+                                                { var: '' },
                                                 {
-                                                    status: "REMOVED",
-                                                    termEnd: { var: "event.effectiveDate" },
+                                                    status: 'REMOVED',
+                                                    termEnd: { var: 'event.effectiveDate' },
                                                 },
                                             ],
                                         },
-                                        { var: "" },
+                                        { var: '' },
                                     ],
                                 },
                             ],
                         },
                         seats: {
                             merge: [
-                                { var: "state.seats" },
+                                { var: 'state.seats' },
                                 {
-                                    filled: { "-": [{ var: "state.seats.filled" }, 1] },
-                                    vacant: { "+": [{ var: "state.seats.vacant" }, 1] },
+                                    filled: { '-': [{ var: 'state.seats.filled' }, 1] },
+                                    vacant: { '+': [{ var: 'state.seats.vacant' }, 1] },
                                 },
                             ],
                         },
@@ -741,9 +707,7 @@ export const corpBoardDef = defineFiberApp({
                         pendingRemoval: null,
                     },
                     {
-                        _emit: [
-                            { name: "DIRECTOR_REMOVED", data: { var: "event" }, destination: "external" },
-                        ],
+                        _emit: [{ name: 'DIRECTOR_REMOVED', data: { var: 'event' }, destination: 'external' }],
                     },
                 ],
             },
@@ -751,36 +715,33 @@ export const corpBoardDef = defineFiberApp({
         },
         // ACTIVE -> ACTIVE (designate_chair)
         {
-            from: "ACTIVE",
-            to: "ACTIVE",
-            eventName: "designate_chair",
+            from: 'ACTIVE',
+            to: 'ACTIVE',
+            eventName: 'designate_chair',
             guard: {
                 some: [
-                    { var: "state.directors" },
+                    { var: 'state.directors' },
                     {
                         and: [
-                            { "==": [{ var: "directorId" }, { var: "event.directorId" }] },
-                            { "==": [{ var: "status" }, "ACTIVE"] },
+                            { '==': [{ var: 'directorId' }, { var: 'event.directorId' }] },
+                            { '==': [{ var: 'status' }, 'ACTIVE'] },
                         ],
                     },
                 ],
             },
             effect: {
                 merge: [
-                    { var: "state" },
+                    { var: 'state' },
                     {
                         directors: {
                             map: [
-                                { var: "state.directors" },
+                                { var: 'state.directors' },
                                 {
                                     merge: [
-                                        { var: "" },
+                                        { var: '' },
                                         {
                                             isChair: {
-                                                "==": [
-                                                    { var: "directorId" },
-                                                    { var: "event.directorId" },
-                                                ],
+                                                '==': [{ var: 'directorId' }, { var: 'event.directorId' }],
                                             },
                                         },
                                     ],
@@ -793,21 +754,18 @@ export const corpBoardDef = defineFiberApp({
         },
         // ACTIVE -> ACTIVE (call_meeting)
         {
-            from: "ACTIVE",
-            to: "ACTIVE",
-            eventName: "call_meeting",
+            from: 'ACTIVE',
+            to: 'ACTIVE',
+            eventName: 'call_meeting',
             guard: {
                 and: [
                     {
                         or: [
-                            { "==": [{ var: "event.waiverOfNotice" }, true] },
+                            { '==': [{ var: 'event.waiverOfNotice' }, true] },
                             {
-                                ">=": [
+                                '>=': [
                                     {
-                                        "-": [
-                                            { var: "event.scheduledDate" },
-                                            { var: "event.noticeDate" },
-                                        ],
+                                        '-': [{ var: 'event.scheduledDate' }, { var: 'event.noticeDate' }],
                                     },
                                     172800000, // 2 days in ms
                                 ],
@@ -816,56 +774,54 @@ export const corpBoardDef = defineFiberApp({
                     },
                     {
                         or: [
-                            { "==": [{ var: "state.currentMeeting" }, null] },
-                            { "!=": [{ var: "state.currentMeeting.closedAt" }, null] },
+                            { '==': [{ var: 'state.currentMeeting' }, null] },
+                            { '!=': [{ var: 'state.currentMeeting.closedAt' }, null] },
                         ],
                     },
                 ],
             },
             effect: {
                 merge: [
-                    { var: "state" },
+                    { var: 'state' },
                     {
                         currentMeeting: {
-                            meetingId: { var: "event.meetingId" },
-                            type: { var: "event.type" },
-                            scheduledDate: { var: "event.scheduledDate" },
-                            location: { var: "event.location" },
-                            isVirtual: { var: "event.isVirtual" },
-                            calledBy: { var: "event.calledBy" },
-                            noticeDate: { var: "event.noticeDate" },
-                            agenda: { var: "event.agenda" },
+                            meetingId: { var: 'event.meetingId' },
+                            type: { var: 'event.type' },
+                            scheduledDate: { var: 'event.scheduledDate' },
+                            location: { var: 'event.location' },
+                            isVirtual: { var: 'event.isVirtual' },
+                            calledBy: { var: 'event.calledBy' },
+                            noticeDate: { var: 'event.noticeDate' },
+                            agenda: { var: 'event.agenda' },
                             attendees: [],
                             quorumPresent: false,
                             quorumCount: 0,
                         },
                     },
                     {
-                        _emit: [
-                            { name: "BOARD_MEETING_SCHEDULED", data: { var: "event" }, destination: "external" },
-                        ],
+                        _emit: [{ name: 'BOARD_MEETING_SCHEDULED', data: { var: 'event' }, destination: 'external' }],
                     },
                 ],
             },
         },
         // ACTIVE -> ACTIVE (record_attendance)
         {
-            from: "ACTIVE",
-            to: "ACTIVE",
-            eventName: "record_attendance",
+            from: 'ACTIVE',
+            to: 'ACTIVE',
+            eventName: 'record_attendance',
             guard: {
                 and: [
-                    { "!=": [{ var: "state.currentMeeting" }, null] },
-                    { "==": [{ var: "state.currentMeeting.openedAt" }, null] },
+                    { '!=': [{ var: 'state.currentMeeting' }, null] },
+                    { '==': [{ var: 'state.currentMeeting.openedAt' }, null] },
                     {
                         some: [
-                            { var: "state.directors" },
+                            { var: 'state.directors' },
                             {
                                 and: [
                                     {
-                                        "==": [{ var: "directorId" }, { var: "event.directorId" }],
+                                        '==': [{ var: 'directorId' }, { var: 'event.directorId' }],
                                     },
-                                    { "==": [{ var: "status" }, "ACTIVE"] },
+                                    { '==': [{ var: 'status' }, 'ACTIVE'] },
                                 ],
                             },
                         ],
@@ -874,20 +830,20 @@ export const corpBoardDef = defineFiberApp({
             },
             effect: {
                 merge: [
-                    { var: "state" },
+                    { var: 'state' },
                     {
                         currentMeeting: {
                             merge: [
-                                { var: "state.currentMeeting" },
+                                { var: 'state.currentMeeting' },
                                 {
                                     attendees: {
                                         merge: [
-                                            { var: "state.currentMeeting.attendees" },
+                                            { var: 'state.currentMeeting.attendees' },
                                             [
                                                 {
-                                                    directorId: { var: "event.directorId" },
-                                                    present: { var: "event.present" },
-                                                    arrivedAt: { var: "event.arrivedAt" },
+                                                    directorId: { var: 'event.directorId' },
+                                                    present: { var: 'event.present' },
+                                                    arrivedAt: { var: 'event.arrivedAt' },
                                                     viaProxy: false,
                                                 },
                                             ],
@@ -902,71 +858,63 @@ export const corpBoardDef = defineFiberApp({
         },
         // ACTIVE -> IN_MEETING (open_meeting)
         {
-            from: "ACTIVE",
-            to: "IN_MEETING",
-            eventName: "open_meeting",
+            from: 'ACTIVE',
+            to: 'IN_MEETING',
+            eventName: 'open_meeting',
             guard: {
                 and: [
-                    { "!=": [{ var: "state.currentMeeting" }, null] },
-                    { "==": [{ var: "state.currentMeeting.openedAt" }, null] },
-                    { "==": [{ var: "state.currentMeeting.quorumPresent" }, true] },
+                    { '!=': [{ var: 'state.currentMeeting' }, null] },
+                    { '==': [{ var: 'state.currentMeeting.openedAt' }, null] },
+                    { '==': [{ var: 'state.currentMeeting.quorumPresent' }, true] },
                 ],
             },
             effect: {
                 merge: [
-                    { var: "state" },
+                    { var: 'state' },
                     {
-                        status: "IN_MEETING",
+                        status: 'IN_MEETING',
                         currentMeeting: {
-                            merge: [
-                                { var: "state.currentMeeting" },
-                                { openedAt: { var: "event.openedAt" } },
-                            ],
+                            merge: [{ var: 'state.currentMeeting' }, { openedAt: { var: 'event.openedAt' } }],
                         },
                     },
                     {
-                        _emit: [
-                            { name: "BOARD_MEETING_OPENED", data: { var: "event" }, destination: "external" },
-                        ],
+                        _emit: [{ name: 'BOARD_MEETING_OPENED', data: { var: 'event' }, destination: 'external' }],
                     },
                 ],
             },
         },
         // IN_MEETING -> IN_MEETING (director_departs)
         {
-            from: "IN_MEETING",
-            to: "IN_MEETING",
-            eventName: "director_departs",
-            guard: { "==": [1, 1] },
+            from: 'IN_MEETING',
+            to: 'IN_MEETING',
+            eventName: 'director_departs',
+            guard: { '==': [1, 1] },
             effect: {
                 merge: [
-                    { var: "state" },
+                    { var: 'state' },
                     {
                         currentMeeting: {
                             merge: [
-                                { var: "state.currentMeeting" },
+                                { var: 'state.currentMeeting' },
                                 {
                                     attendees: {
                                         map: [
-                                            { var: "state.currentMeeting.attendees" },
+                                            { var: 'state.currentMeeting.attendees' },
                                             {
                                                 if: [
                                                     {
-                                                        "==": [
-                                                            { var: "directorId" },
-                                                            { var: "event.directorId" },
-                                                        ],
+                                                        '==': [{ var: 'directorId' }, { var: 'event.directorId' }],
                                                     },
                                                     {
                                                         merge: [
-                                                            { var: "" },
+                                                            { var: '' },
                                                             {
                                                                 present: false,
-                                                                departedAt: { var: "event.departedAt" },
+                                                                departedAt: { var: 'event.departedAt' },
                                                             },
                                                         ],
                                                     },
-                                                    { var: "" },
+                                                    { var: '' },
                                                 ],
                                             },
                                         ],
@@ -980,143 +928,129 @@ export const corpBoardDef = defineFiberApp({
         },
         // IN_MEETING -> QUORUM_LOST
         {
-            from: "IN_MEETING",
-            to: "QUORUM_LOST",
-            eventName: "quorum_lost",
-            guard: { "==": [{ var: "state.currentMeeting.quorumPresent" }, false] },
+            from: 'IN_MEETING',
+            to: 'QUORUM_LOST',
+            eventName: 'quorum_lost',
+            guard: { '==': [{ var: 'state.currentMeeting.quorumPresent' }, false] },
             effect: {
                 merge: [
-                    { var: "state" },
-                    { status: "QUORUM_LOST" },
+                    { var: 'state' },
+                    { status: 'QUORUM_LOST' },
                     {
-                        _emit: [
-                            { name: "BOARD_QUORUM_LOST", data: { var: "event" }, destination: "external" },
-                        ],
+                        _emit: [{ name: 'BOARD_QUORUM_LOST', data: { var: 'event' }, destination: 'external' }],
                     },
                 ],
             },
         },
         // QUORUM_LOST -> IN_MEETING
         {
-            from: "QUORUM_LOST",
-            to: "IN_MEETING",
-            eventName: "quorum_restored",
-            guard: { "==": [{ var: "state.currentMeeting.quorumPresent" }, true] },
+            from: 'QUORUM_LOST',
+            to: 'IN_MEETING',
+            eventName: 'quorum_restored',
+            guard: { '==': [{ var: 'state.currentMeeting.quorumPresent' }, true] },
             effect: {
                 merge: [
-                    { var: "state" },
-                    { status: "IN_MEETING" },
+                    { var: 'state' },
+                    { status: 'IN_MEETING' },
                     {
-                        _emit: [
-                            { name: "BOARD_QUORUM_RESTORED", data: { var: "event" }, destination: "external" },
-                        ],
+                        _emit: [{ name: 'BOARD_QUORUM_RESTORED', data: { var: 'event' }, destination: 'external' }],
                     },
                 ],
             },
         },
         // IN_MEETING -> ACTIVE (adjourn)
         {
-            from: "IN_MEETING",
-            to: "ACTIVE",
-            eventName: "adjourn",
-            guard: { "==": [1, 1] },
+            from: 'IN_MEETING',
+            to: 'ACTIVE',
+            eventName: 'adjourn',
+            guard: { '==': [1, 1] },
             effect: {
                 merge: [
-                    { var: "state" },
+                    { var: 'state' },
                     {
-                        status: "ACTIVE",
+                        status: 'ACTIVE',
                         currentMeeting: null,
                         meetingHistory: {
                             merge: [
-                                { var: "state.meetingHistory" },
+                                { var: 'state.meetingHistory' },
                                 [
                                     {
-                                        meetingId: { var: "state.currentMeeting.meetingId" },
-                                        type: { var: "state.currentMeeting.type" },
-                                        date: { var: "state.currentMeeting.scheduledDate" },
+                                        meetingId: { var: 'state.currentMeeting.meetingId' },
+                                        type: { var: 'state.currentMeeting.type' },
+                                        date: { var: 'state.currentMeeting.scheduledDate' },
                                         quorumAchieved: {
-                                            var: "state.currentMeeting.quorumPresent",
+                                            var: 'state.currentMeeting.quorumPresent',
                                         },
-                                        attendeeCount: { var: "state.currentMeeting.quorumCount" },
-                                        resolutionsPassed: { var: "event.resolutionsPassed" },
-                                        minutesRef: { var: "event.minutesRef" },
+                                        attendeeCount: { var: 'state.currentMeeting.quorumCount' },
+                                        resolutionsPassed: { var: 'event.resolutionsPassed' },
+                                        minutesRef: { var: 'event.minutesRef' },
                                     },
                                 ],
                             ],
                         },
                     },
                     {
-                        _emit: [
-                            { name: "BOARD_MEETING_ADJOURNED", data: { var: "event" }, destination: "external" },
-                        ],
+                        _emit: [{ name: 'BOARD_MEETING_ADJOURNED', data: { var: 'event' }, destination: 'external' }],
                     },
                 ],
             },
         },
         // QUORUM_LOST -> ACTIVE (adjourn)
         {
-            from: "QUORUM_LOST",
-            to: "ACTIVE",
-            eventName: "adjourn",
-            guard: { "==": [1, 1] },
+            from: 'QUORUM_LOST',
+            to: 'ACTIVE',
+            eventName: 'adjourn',
+            guard: { '==': [1, 1] },
             effect: {
                 merge: [
-                    { var: "state" },
+                    { var: 'state' },
                     {
-                        status: "ACTIVE",
+                        status: 'ACTIVE',
                         currentMeeting: null,
                         meetingHistory: {
                             merge: [
-                                { var: "state.meetingHistory" },
+                                { var: 'state.meetingHistory' },
                                 [
                                     {
-                                        meetingId: { var: "state.currentMeeting.meetingId" },
-                                        type: { var: "state.currentMeeting.type" },
-                                        date: { var: "state.currentMeeting.scheduledDate" },
+                                        meetingId: { var: 'state.currentMeeting.meetingId' },
+                                        type: { var: 'state.currentMeeting.type' },
+                                        date: { var: 'state.currentMeeting.scheduledDate' },
                                         quorumAchieved: {
-                                            var: "state.currentMeeting.quorumPresent",
+                                            var: 'state.currentMeeting.quorumPresent',
                                         },
-                                        attendeeCount: { var: "state.currentMeeting.quorumCount" },
-                                        resolutionsPassed: { var: "event.resolutionsPassed" },
-                                        minutesRef: { var: "event.minutesRef" },
+                                        attendeeCount: { var: 'state.currentMeeting.quorumCount' },
+                                        resolutionsPassed: { var: 'event.resolutionsPassed' },
+                                        minutesRef: { var: 'event.minutesRef' },
                                     },
                                 ],
                             ],
                         },
                     },
                     {
-                        _emit: [
-                            { name: "BOARD_MEETING_ADJOURNED", data: { var: "event" }, destination: "external" },
-                        ],
+                        _emit: [{ name: 'BOARD_MEETING_ADJOURNED', data: { var: 'event' }, destination: 'external' }],
                     },
                 ],
             },
         },
         // ACTIVE -> ACTIVE (update_seats)
         {
-            from: "ACTIVE",
-            to: "ACTIVE",
-            eventName: "update_seats",
+            from: 'ACTIVE',
+            to: 'ACTIVE',
+            eventName: 'update_seats',
             guard: {
-                ">=": [
-                    { var: "event.newAuthorizedSeats" },
-                    { var: "state.seats.filled" },
-                ],
+                '>=': [{ var: 'event.newAuthorizedSeats' }, { var: 'state.seats.filled' }],
             },
             effect: {
                 merge: [
-                    { var: "state" },
+                    { var: 'state' },
                     {
                         seats: {
                             merge: [
-                                { var: "state.seats" },
+                                { var: 'state.seats' },
                                 {
-                                    authorized: { var: "event.newAuthorizedSeats" },
+                                    authorized: { var: 'event.newAuthorizedSeats' },
                                     vacant: {
-                                        "-": [
-                                            { var: "event.newAuthorizedSeats" },
-                                            { var: "state.seats.filled" },
-                                        ],
+                                        '-': [{ var: 'event.newAuthorizedSeats' }, { var: 'state.seats.filled' }],
                                     },
                                 },
                             ],