@ottochain/sdk 2.0.0 → 2.1.0

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

@@ -0,0 +1,995 @@
+import { defineFiberApp } from "../../../schema/fiber-app.js";
+/**
+ * Securities state machine tracking the lifecycle of equity from authorization through issuance, transfer, and retirement.
+ * Manages stock certificates, book entry positions, and restricted securities.
+ */
+export const corpSecuritiesDef = defineFiberApp({
+    metadata: {
+        name: "CorpSecurities",
+        app: "corporate",
+        type: "securities",
+        version: "1.0.0",
+        description: "Securities state machine tracking the lifecycle of equity from authorization through issuance, transfer, and retirement. Manages stock certificates, book entry positions, and restricted securities.",
+        crossReferences: {
+            entity: {
+                machine: "corporate-entity",
+                description: "Parent corporate entity with share class definitions",
+                foreignKey: "entityId",
+            },
+            resolutions: {
+                machine: "corporate-resolution",
+                description: "Board resolutions authorizing securities actions",
+                foreignKey: "entityId",
+            },
+            shareholders: {
+                machine: "corporate-shareholders",
+                description: "Shareholder meetings for determining voting rights",
+                foreignKey: "entityId",
+            },
+        },
+    },
+    createSchema: {
+        required: [
+            "securityId",
+            "entityId",
+            "shareClass",
+            "shareClassName",
+            "shareCount",
+            "parValue",
+        ],
+        properties: {
+            securityId: {
+                type: "string",
+                description: "Unique identifier for this security lot/certificate",
+                immutable: true,
+            },
+            entityId: {
+                type: "string",
+                description: "Reference to parent corporate-entity",
+                immutable: true,
+            },
+            shareClass: {
+                type: "string",
+                description: "Share class ID from corporate-entity",
+            },
+            shareClassName: {
+                type: "string",
+                description: "Human-readable class name",
+            },
+            shareCount: {
+                type: "integer",
+                description: "Number of shares in this lot",
+            },
+            parValue: {
+                type: "number",
+                description: "Par value per share",
+            },
+        },
+    },
+    stateSchema: {
+        properties: {
+            securityId: { type: "string", immutable: true },
+            entityId: { type: "string", immutable: true },
+            shareClass: { type: "string" },
+            shareClassName: { type: "string" },
+            certificateNumber: {
+                type: "string",
+                nullable: true,
+                description: "For certificated shares",
+            },
+            cusip: {
+                type: "string",
+                nullable: true,
+                description: "CUSIP number if assigned",
+            },
+            shareCount: { type: "integer" },
+            parValue: { type: "number" },
+            issuancePrice: {
+                type: "number",
+                nullable: true,
+                description: "Price per share at issuance",
+                computed: true,
+            },
+            issuanceDate: {
+                type: "string",
+                format: "date",
+                nullable: true,
+                computed: true,
+            },
+            form: {
+                type: "string",
+                enum: ["CERTIFICATED", "BOOK_ENTRY", "DRS"],
+                description: "Physical certificate, book entry, or Direct Registration System",
+                computed: true,
+            },
+            holder: { $ref: "#/definitions/Holder", nullable: true, computed: true },
+            restrictions: { $ref: "#/definitions/Restrictions", computed: true },
+            authorization: {
+                $ref: "#/definitions/Authorization",
+                nullable: true,
+                computed: true,
+            },
+            issuanceDetails: {
+                $ref: "#/definitions/IssuanceDetails",
+                nullable: true,
+                computed: true,
+            },
+            transferHistory: {
+                type: "array",
+                items: { $ref: "#/definitions/TransferRecord" },
+                computed: true,
+            },
+            corporateActions: {
+                type: "array",
+                items: { $ref: "#/definitions/CorporateAction" },
+                computed: true,
+            },
+            retirementDetails: {
+                $ref: "#/definitions/RetirementDetails",
+                nullable: true,
+                computed: true,
+            },
+            status: {
+                type: "string",
+                enum: [
+                    "AUTHORIZED",
+                    "ISSUED",
+                    "TREASURY",
+                    "TRANSFERRED",
+                    "RETIRED",
+                ],
+                computed: true,
+            },
+            createdAt: { type: "timestamp", computed: true },
+            updatedAt: { type: "timestamp", computed: true },
+        },
+    },
+    eventSchemas: {
+        authorize_shares: {
+            description: "Record shares as authorized per charter/amendment",
+            required: [
+                "securityId",
+                "entityId",
+                "shareClass",
+                "shareClassName",
+                "shareCount",
+                "parValue",
+                "authorizedDate",
+            ],
+            properties: {
+                securityId: { type: "string" },
+                entityId: { type: "string" },
+                shareClass: { type: "string" },
+                shareClassName: { type: "string" },
+                shareCount: { type: "integer" },
+                parValue: { type: "number" },
+                authorizedDate: { type: "string", format: "date" },
+                charterProvision: { type: "string" },
+            },
+        },
+        issue_shares: {
+            description: "Issue shares to a holder",
+            required: [
+                "holderId",
+                "holderType",
+                "holderName",
+                "issuanceDate",
+                "form",
+                "boardResolutionRef",
+                "consideration",
+            ],
+            properties: {
+                holderId: { type: "string" },
+                holderType: { type: "string" },
+                holderName: { type: "string" },
+                address: { type: "object" },
+                issuanceDate: { type: "string", format: "date" },
+                issuancePrice: { type: "number" },
+                form: {
+                    type: "string",
+                    enum: ["CERTIFICATED", "BOOK_ENTRY", "DRS"],
+                },
+                certificateNumber: { type: "string" },
+                boardResolutionRef: { type: "string" },
+                consideration: { type: "object" },
+                isRestricted: { type: "boolean", default: false },
+                restrictionType: { type: "array" },
+                legends: { type: "array" },
+                exemptionUsed: { type: "string" },
+                accreditedInvestor: { type: "boolean" },
+            },
+        },
+        initiate_transfer: {
+            description: "Begin transfer of shares to new holder",
+            required: [
+                "transferId",
+                "toHolderId",
+                "toHolderName",
+                "toHolderType",
+                "transferType",
+                "transferDate",
+            ],
+            properties: {
+                transferId: { type: "string" },
+                toHolderId: { type: "string" },
+                toHolderName: { type: "string" },
+                toHolderType: { type: "string" },
+                toAddress: { type: "object" },
+                transferType: { type: "string" },
+                pricePerShare: { type: "number" },
+                transferDate: { type: "string", format: "date" },
+            },
+        },
+        complete_transfer: {
+            description: "Complete the transfer, update holder",
+            required: [
+                "toHolderId",
+                "toHolderName",
+                "toHolderType",
+                "completedDate",
+            ],
+            properties: {
+                transferAgentConfirmation: { type: "string" },
+                newCertificateNumber: { type: "string" },
+                toHolderId: { type: "string" },
+                toHolderName: { type: "string" },
+                toHolderType: { type: "string" },
+                toAddress: { type: "object" },
+                completedDate: { type: "string", format: "date" },
+                costBasis: { type: "number" },
+            },
+        },
+        repurchase: {
+            description: "Company repurchases shares from holder",
+            required: [
+                "repurchaseDate",
+                "pricePerShare",
+                "boardResolutionRef",
+            ],
+            properties: {
+                repurchaseDate: { type: "string", format: "date" },
+                pricePerShare: { type: "number" },
+                boardResolutionRef: { type: "string" },
+                repurchaseAgreementRef: { type: "string" },
+            },
+        },
+        reissue_from_treasury: {
+            description: "Reissue treasury shares to a new holder",
+            required: [
+                "holderId",
+                "holderName",
+                "holderType",
+                "reissueDate",
+                "boardResolutionRef",
+            ],
+            properties: {
+                holderId: { type: "string" },
+                holderName: { type: "string" },
+                holderType: { type: "string" },
+                address: { type: "object" },
+                reissueDate: { type: "string", format: "date" },
+                issuancePrice: { type: "number" },
+                boardResolutionRef: { type: "string" },
+            },
+        },
+        retire: {
+            description: "Retire shares (cancel them)",
+            required: [
+                "retiredDate",
+                "retirementMethod",
+                "boardResolutionRef",
+            ],
+            properties: {
+                retiredDate: { type: "string", format: "date" },
+                retirementMethod: { type: "string" },
+                boardResolutionRef: { type: "string" },
+                repurchasePrice: { type: "number" },
+            },
+        },
+        stock_split: {
+            description: "Apply stock split to this lot",
+            required: [
+                "actionId",
+                "splitRatio",
+                "effectiveDate",
+                "resolutionRef",
+                "newShareCount",
+            ],
+            properties: {
+                actionId: { type: "string" },
+                splitRatio: {
+                    type: "string",
+                    description: "e.g., '2:1' for 2-for-1 split",
+                },
+                effectiveDate: { type: "string", format: "date" },
+                resolutionRef: { type: "string" },
+                newShareCount: { type: "integer" },
+            },
+        },
+        declare_dividend: {
+            description: "Record dividend declaration affecting this lot (for stock dividends)",
+            required: [
+                "actionId",
+                "dividendType",
+                "recordDate",
+                "paymentDate",
+                "resolutionRef",
+            ],
+            properties: {
+                actionId: { type: "string" },
+                dividendType: { type: "string", enum: ["CASH", "STOCK"] },
+                recordDate: { type: "string", format: "date" },
+                paymentDate: { type: "string", format: "date" },
+                cashAmount: { type: "number" },
+                stockShares: { type: "integer" },
+                resolutionRef: { type: "string" },
+            },
+        },
+        remove_restriction: {
+            description: "Remove or update restrictions on the shares",
+            required: ["restrictionType", "removedDate"],
+            properties: {
+                restrictionType: { type: "string" },
+                removedDate: { type: "string", format: "date" },
+                reason: { type: "string" },
+                legalOpinionRef: { type: "string" },
+            },
+        },
+    },
+    definitions: {
+        Holder: {
+            type: "object",
+            nullable: true,
+            properties: {
+                holderId: { type: "string" },
+                holderType: {
+                    type: "string",
+                    enum: ["INDIVIDUAL", "ENTITY", "TRUST", "TREASURY"],
+                },
+                name: { type: "string" },
+                taxId: { type: "string", nullable: true },
+                address: { type: "object", nullable: true },
+                acquisitionDate: { type: "string", format: "date" },
+                acquisitionMethod: {
+                    type: "string",
+                    enum: [
+                        "ORIGINAL_ISSUANCE",
+                        "PURCHASE",
+                        "GIFT",
+                        "INHERITANCE",
+                        "STOCK_SPLIT",
+                        "CONVERSION",
+                        "EXERCISE",
+                    ],
+                },
+                costBasis: { type: "number", nullable: true },
+            },
+        },
+        Restrictions: {
+            type: "object",
+            properties: {
+                isRestricted: { type: "boolean", default: false },
+                restrictionType: {
+                    type: "array",
+                    items: {
+                        type: "string",
+                        enum: [
+                            "RULE_144",
+                            "SECTION_4(a)(2)",
+                            "REG_D",
+                            "REG_S",
+                            "LOCK_UP",
+                            "VESTING",
+                            "RIGHT_OF_FIRST_REFUSAL",
+                        ],
+                    },
+                },
+                restrictionEndDate: { type: "string", format: "date", nullable: true },
+                legends: {
+                    type: "array",
+                    items: { type: "string" },
+                    description: "Legend text on certificates",
+                },
+                vestingSchedule: {
+                    type: "object",
+                    nullable: true,
+                    properties: {
+                        vestingStartDate: { type: "string", format: "date" },
+                        totalShares: { type: "integer" },
+                        vestedShares: { type: "integer" },
+                        vestingScheduleRef: { type: "string" },
+                    },
+                },
+                lockUpExpiration: { type: "string", format: "date", nullable: true },
+                rofr: {
+                    type: "object",
+                    nullable: true,
+                    description: "Right of First Refusal",
+                    properties: {
+                        holderIds: { type: "array", items: { type: "string" } },
+                        noticePeriodDays: { type: "integer" },
+                    },
+                },
+            },
+        },
+        Authorization: {
+            type: "object",
+            nullable: true,
+            description: "For shares in AUTHORIZED state",
+            properties: {
+                authorizedDate: { type: "string", format: "date" },
+                charterProvision: { type: "string" },
+                authorizedShares: { type: "integer" },
+            },
+        },
+        IssuanceDetails: {
+            type: "object",
+            nullable: true,
+            properties: {
+                boardResolutionRef: { type: "string" },
+                issuanceAgreementRef: { type: "string" },
+                consideration: {
+                    type: "object",
+                    properties: {
+                        type: {
+                            type: "string",
+                            enum: [
+                                "CASH",
+                                "PROPERTY",
+                                "SERVICES",
+                                "DEBT_CONVERSION",
+                                "STOCK_CONVERSION",
+                            ],
+                        },
+                        value: { type: "number" },
+                        description: { type: "string" },
+                    },
+                },
+                exemptionUsed: { type: "string", nullable: true },
+                accreditedInvestor: { type: "boolean", nullable: true },
+            },
+        },
+        TransferRecord: {
+            type: "object",
+            properties: {
+                transferId: { type: "string" },
+                transferDate: { type: "string", format: "date" },
+                fromHolderId: { type: "string" },
+                toHolderId: { type: "string" },
+                shares: { type: "integer" },
+                transferType: {
+                    type: "string",
+                    enum: ["SALE", "GIFT", "INHERITANCE", "INTERNAL"],
+                },
+                pricePerShare: { type: "number", nullable: true },
+                transferAgentConfirmation: { type: "string", nullable: true },
+            },
+        },
+        CorporateAction: {
+            type: "object",
+            description: "Stock splits, dividends, etc. affecting this lot",
+            properties: {
+                actionId: { type: "string" },
+                actionType: {
+                    type: "string",
+                    enum: [
+                        "STOCK_SPLIT",
+                        "REVERSE_SPLIT",
+                        "STOCK_DIVIDEND",
+                        "CONVERSION",
+                        "RECLASSIFICATION",
+                    ],
+                },
+                actionDate: { type: "string", format: "date" },
+                ratio: {
+                    type: "string",
+                    nullable: true,
+                    description: "e.g., 2:1 for split",
+                },
+                sharesBeforeAction: { type: "integer" },
+                sharesAfterAction: { type: "integer" },
+                resolutionRef: { type: "string" },
+            },
+        },
+        RetirementDetails: {
+            type: "object",
+            nullable: true,
+            properties: {
+                retiredDate: { type: "string", format: "date" },
+                retirementMethod: {
+                    type: "string",
+                    enum: [
+                        "REPURCHASE",
+                        "REDEMPTION",
+                        "CANCELLATION",
+                        "CONVERSION",
+                    ],
+                },
+                repurchasePrice: { type: "number", nullable: true },
+                boardResolutionRef: { type: "string" },
+            },
+        },
+    },
+    states: {
+        AUTHORIZED: {
+            id: "AUTHORIZED",
+            isFinal: false,
+            description: "Shares authorized by charter but not yet issued",
+        },
+        ISSUED: {
+            id: "ISSUED",
+            isFinal: false,
+            description: "Shares issued and held by a shareholder",
+        },
+        TREASURY: {
+            id: "TREASURY",
+            isFinal: false,
+            description: "Shares repurchased and held by the company",
+        },
+        TRANSFERRED: {
+            id: "TRANSFERRED",
+            isFinal: false,
+            description: "Transitional state during transfer between holders",
+        },
+        RETIRED: {
+            id: "RETIRED",
+            isFinal: true,
+            description: "Shares cancelled and returned to authorized but unissued",
+        },
+    },
+    initialState: "AUTHORIZED",
+    transitions: [
+        // Initial authorization (creation)
+        {
+            from: "AUTHORIZED",
+            to: "AUTHORIZED",
+            eventName: "authorize_shares",
+            guard: { "==": [1, 1] },
+            effect: {
+                merge: [
+                    { var: "state" },
+                    {
+                        securityId: { var: "event.securityId" },
+                        entityId: { var: "event.entityId" },
+                        shareClass: { var: "event.shareClass" },
+                        shareClassName: { var: "event.shareClassName" },
+                        shareCount: { var: "event.shareCount" },
+                        parValue: { var: "event.parValue" },
+                        authorization: {
+                            authorizedDate: { var: "event.authorizedDate" },
+                            charterProvision: { var: "event.charterProvision" },
+                            authorizedShares: { var: "event.shareCount" },
+                        },
+                        transferHistory: [],
+                        corporateActions: [],
+                    },
+                ],
+            },
+        },
+        // AUTHORIZED -> ISSUED
+        {
+            from: "AUTHORIZED",
+            to: "ISSUED",
+            eventName: "issue_shares",
+            guard: { "==": [1, 1] },
+            dependencies: [
+                {
+                    machine: "corporate-resolution",
+                    instanceRef: { var: "event.boardResolutionRef" },
+                    requiredState: "EXECUTED",
+                },
+                {
+                    machine: "corporate-entity",
+                    instanceRef: { var: "state.entityId" },
+                    requiredState: "ACTIVE",
+                },
+            ],
+            effect: {
+                merge: [
+                    { var: "state" },
+                    {
+                        status: "ISSUED",
+                        form: { var: "event.form" },
+                        certificateNumber: { var: "event.certificateNumber" },
+                        issuanceDate: { var: "event.issuanceDate" },
+                        issuancePrice: { var: "event.issuancePrice" },
+                        holder: {
+                            holderId: { var: "event.holderId" },
+                            holderType: { var: "event.holderType" },
+                            name: { var: "event.holderName" },
+                            address: { var: "event.address" },
+                            acquisitionDate: { var: "event.issuanceDate" },
+                            acquisitionMethod: "ORIGINAL_ISSUANCE",
+                            costBasis: {
+                                "*": [
+                                    { var: "event.issuancePrice" },
+                                    { var: "state.shareCount" },
+                                ],
+                            },
+                        },
+                        restrictions: {
+                            isRestricted: { var: "event.isRestricted" },
+                            restrictionType: { var: "event.restrictionType" },
+                            legends: { var: "event.legends" },
+                        },
+                        issuanceDetails: {
+                            boardResolutionRef: { var: "event.boardResolutionRef" },
+                            consideration: { var: "event.consideration" },
+                            exemptionUsed: { var: "event.exemptionUsed" },
+                            accreditedInvestor: { var: "event.accreditedInvestor" },
+                        },
+                    },
+                ],
+            },
+            emits: ["SHARES_ISSUED"],
+        },
+        // ISSUED -> TRANSFERRED
+        {
+            from: "ISSUED",
+            to: "TRANSFERRED",
+            eventName: "initiate_transfer",
+            guard: {
+                and: [
+                    {
+                        or: [
+                            { "==": [{ var: "state.restrictions.isRestricted" }, false] },
+                            {
+                                "==": [{ var: "state.restrictions.restrictionEndDate" }, null],
+                            },
+                            {
+                                ">=": [
+                                    { var: "$timestamp" },
+                                    { var: "state.restrictions.restrictionEndDate" },
+                                ],
+                            },
+                        ],
+                    },
+                    { "==": [{ var: "state.restrictions.rofr" }, null] },
+                ],
+            },
+            effect: {
+                merge: [
+                    { var: "state" },
+                    {
+                        status: "TRANSFERRED",
+                        transferHistory: {
+                            cat: [
+                                { var: "state.transferHistory" },
+                                [
+                                    {
+                                        transferId: { var: "event.transferId" },
+                                        transferDate: { var: "event.transferDate" },
+                                        fromHolderId: { var: "state.holder.holderId" },
+                                        toHolderId: { var: "event.toHolderId" },
+                                        shares: { var: "state.shareCount" },
+                                        transferType: { var: "event.transferType" },
+                                        pricePerShare: { var: "event.pricePerShare" },
+                                    },
+                                ],
+                            ],
+                        },
+                    },
+                ],
+            },
+            emits: ["TRANSFER_INITIATED"],
+        },
+        // TRANSFERRED -> ISSUED
+        {
+            from: "TRANSFERRED",
+            to: "ISSUED",
+            eventName: "complete_transfer",
+            guard: { "==": [1, 1] },
+            effect: {
+                merge: [
+                    { var: "state" },
+                    {
+                        status: "ISSUED",
+                        holder: {
+                            holderId: { var: "event.toHolderId" },
+                            holderType: { var: "event.toHolderType" },
+                            name: { var: "event.toHolderName" },
+                            address: { var: "event.toAddress" },
+                            acquisitionDate: { var: "event.completedDate" },
+                            acquisitionMethod: "PURCHASE",
+                            costBasis: { var: "event.costBasis" },
+                        },
+                        certificateNumber: {
+                            if: [
+                                { "!=": [{ var: "event.newCertificateNumber" }, null] },
+                                { var: "event.newCertificateNumber" },
+                                { var: "state.certificateNumber" },
+                            ],
+                        },
+                    },
+                ],
+            },
+            emits: ["TRANSFER_COMPLETED"],
+        },
+        // ISSUED -> TREASURY
+        {
+            from: "ISSUED",
+            to: "TREASURY",
+            eventName: "repurchase",
+            guard: { "==": [1, 1] },
+            dependencies: [
+                {
+                    machine: "corporate-resolution",
+                    instanceRef: { var: "event.boardResolutionRef" },
+                    requiredState: "EXECUTED",
+                },
+            ],
+            effect: {
+                merge: [
+                    { var: "state" },
+                    {
+                        status: "TREASURY",
+                        transferHistory: {
+                            cat: [
+                                { var: "state.transferHistory" },
+                                [
+                                    {
+                                        transferId: {
+                                            cat: ["REPURCHASE-", { var: "event.repurchaseDate" }],
+                                        },
+                                        transferDate: { var: "event.repurchaseDate" },
+                                        fromHolderId: { var: "state.holder.holderId" },
+                                        toHolderId: "TREASURY",
+                                        shares: { var: "state.shareCount" },
+                                        transferType: "INTERNAL",
+                                        pricePerShare: { var: "event.pricePerShare" },
+                                    },
+                                ],
+                            ],
+                        },
+                        holder: {
+                            holderId: "TREASURY",
+                            holderType: "TREASURY",
+                            name: "Treasury Stock",
+                            acquisitionDate: { var: "event.repurchaseDate" },
+                            acquisitionMethod: "PURCHASE",
+                            costBasis: {
+                                "*": [
+                                    { var: "event.pricePerShare" },
+                                    { var: "state.shareCount" },
+                                ],
+                            },
+                        },
+                    },
+                ],
+            },
+            emits: ["SHARES_REPURCHASED"],
+        },
+        // TREASURY -> ISSUED
+        {
+            from: "TREASURY",
+            to: "ISSUED",
+            eventName: "reissue_from_treasury",
+            guard: { "==": [1, 1] },
+            dependencies: [
+                {
+                    machine: "corporate-resolution",
+                    instanceRef: { var: "event.boardResolutionRef" },
+                    requiredState: "EXECUTED",
+                },
+            ],
+            effect: {
+                merge: [
+                    { var: "state" },
+                    {
+                        status: "ISSUED",
+                        holder: {
+                            holderId: { var: "event.holderId" },
+                            holderType: { var: "event.holderType" },
+                            name: { var: "event.holderName" },
+                            address: { var: "event.address" },
+                            acquisitionDate: { var: "event.reissueDate" },
+                            acquisitionMethod: "PURCHASE",
+                            costBasis: {
+                                "*": [
+                                    { var: "event.issuancePrice" },
+                                    { var: "state.shareCount" },
+                                ],
+                            },
+                        },
+                    },
+                ],
+            },
+            emits: ["TREASURY_SHARES_REISSUED"],
+        },
+        // ISSUED -> RETIRED
+        {
+            from: "ISSUED",
+            to: "RETIRED",
+            eventName: "retire",
+            guard: { "==": [1, 1] },
+            dependencies: [
+                {
+                    machine: "corporate-resolution",
+                    instanceRef: { var: "event.boardResolutionRef" },
+                    requiredState: "EXECUTED",
+                },
+            ],
+            effect: {
+                merge: [
+                    { var: "state" },
+                    {
+                        status: "RETIRED",
+                        retirementDetails: {
+                            retiredDate: { var: "event.retiredDate" },
+                            retirementMethod: { var: "event.retirementMethod" },
+                            repurchasePrice: { var: "event.repurchasePrice" },
+                            boardResolutionRef: { var: "event.boardResolutionRef" },
+                        },
+                        holder: null,
+                    },
+                ],
+            },
+            emits: ["SHARES_RETIRED"],
+        },
+        // TREASURY -> RETIRED
+        {
+            from: "TREASURY",
+            to: "RETIRED",
+            eventName: "retire",
+            guard: { "==": [1, 1] },
+            dependencies: [
+                {
+                    machine: "corporate-resolution",
+                    instanceRef: { var: "event.boardResolutionRef" },
+                    requiredState: "EXECUTED",
+                },
+            ],
+            effect: {
+                merge: [
+                    { var: "state" },
+                    {
+                        status: "RETIRED",
+                        retirementDetails: {
+                            retiredDate: { var: "event.retiredDate" },
+                            retirementMethod: { var: "event.retirementMethod" },
+                            repurchasePrice: { var: "event.repurchasePrice" },
+                            boardResolutionRef: { var: "event.boardResolutionRef" },
+                        },
+                        holder: null,
+                    },
+                ],
+            },
+            emits: ["SHARES_RETIRED"],
+        },
+        // ISSUED -> ISSUED (stock_split)
+        {
+            from: "ISSUED",
+            to: "ISSUED",
+            eventName: "stock_split",
+            guard: { "==": [1, 1] },
+            effect: {
+                merge: [
+                    { var: "state" },
+                    {
+                        corporateActions: {
+                            cat: [
+                                { var: "state.corporateActions" },
+                                [
+                                    {
+                                        actionId: { var: "event.actionId" },
+                                        actionType: "STOCK_SPLIT",
+                                        actionDate: { var: "event.effectiveDate" },
+                                        ratio: { var: "event.splitRatio" },
+                                        sharesBeforeAction: { var: "state.shareCount" },
+                                        sharesAfterAction: { var: "event.newShareCount" },
+                                        resolutionRef: { var: "event.resolutionRef" },
+                                    },
+                                ],
+                            ],
+                        },
+                        shareCount: { var: "event.newShareCount" },
+                    },
+                ],
+            },
+            emits: ["STOCK_SPLIT_APPLIED"],
+        },
+        // ISSUED -> ISSUED (declare_dividend) - stock dividend handling
+        {
+            from: "ISSUED",
+            to: "ISSUED",
+            eventName: "declare_dividend",
+            guard: { "==": [1, 1] },
+            dependencies: [
+                {
+                    machine: "corporate-resolution",
+                    instanceRef: { var: "event.resolutionRef" },
+                    requiredState: "EXECUTED",
+                },
+            ],
+            effect: {
+                if: [
+                    { "==": [{ var: "event.dividendType" }, "STOCK"] },
+                    {
+                        merge: [
+                            { var: "state" },
+                            {
+                                corporateActions: {
+                                    cat: [
+                                        { var: "state.corporateActions" },
+                                        [
+                                            {
+                                                actionId: { var: "event.actionId" },
+                                                actionType: "STOCK_DIVIDEND",
+                                                actionDate: { var: "event.paymentDate" },
+                                                sharesBeforeAction: { var: "state.shareCount" },
+                                                sharesAfterAction: {
+                                                    "+": [
+                                                        { var: "state.shareCount" },
+                                                        { var: "event.stockShares" },
+                                                    ],
+                                                },
+                                                resolutionRef: { var: "event.resolutionRef" },
+                                            },
+                                        ],
+                                    ],
+                                },
+                                shareCount: {
+                                    "+": [
+                                        { var: "state.shareCount" },
+                                        { var: "event.stockShares" },
+                                    ],
+                                },
+                            },
+                        ],
+                    },
+                    { var: "state" },
+                ],
+            },
+        },
+        // ISSUED -> ISSUED (remove_restriction)
+        {
+            from: "ISSUED",
+            to: "ISSUED",
+            eventName: "remove_restriction",
+            guard: { "==": [1, 1] },
+            effect: {
+                merge: [
+                    { var: "state" },
+                    {
+                        restrictions: {
+                            merge: [
+                                { var: "state.restrictions" },
+                                {
+                                    restrictionType: {
+                                        filter: [
+                                            { var: "state.restrictions.restrictionType" },
+                                            { "!=": [{ var: "" }, { var: "event.restrictionType" }] },
+                                        ],
+                                    },
+                                    isRestricted: {
+                                        ">": [
+                                            {
+                                                reduce: [
+                                                    {
+                                                        filter: [
+                                                            { var: "state.restrictions.restrictionType" },
+                                                            {
+                                                                "!=": [
+                                                                    { var: "" },
+                                                                    { var: "event.restrictionType" },
+                                                                ],
+                                                            },
+                                                        ],
+                                                    },
+                                                    { "+": [{ var: "accumulator" }, 1] },
+                                                    0,
+                                                ],
+                                            },
+                                            0,
+                                        ],
+                                    },
+                                },
+                            ],
+                        },
+                    },
+                ],
+            },
+            emits: ["RESTRICTION_REMOVED"],
+        },
+    ],
+});