@insiderfinance/totalfinance 0.1.0

package/modules/portfolio/dist/lifecycle-corporate.js

@@ -0,0 +1,462 @@
+/**
+ * Corporate actions beyond splits, fixed-income redemptions, and position transfers (FC7 slice 5,
+ * 2026-08-29; agent-native "Corporate actions" family — "instrument/lot transformation with
+ * provenance"; FC7 mandatory state: merger, spin-off, symbol change, return of capital,
+ * cash-in-lieu, fixed-income call/maturity/principal, and internal transfer identity) — over the
+ * ONE reducer kernel a fill uses: every relief goes through `relieveQuantity`, every new lot
+ * through `openLot`, every cash leg through `bookCash`.
+ *
+ * Conventions decided here (each proven in `test/lifecycle-corporate.test.ts`):
+ *
+ * - **Symbol change** moves the position object (lots, lot ids, basis, profile) and the account's
+ *   per-instrument attribution to the new key; a rename never merges two positions. Its reversal
+ *   is EXACT (rename back) while the account holds the new id and not the old one.
+ * - **Merger** — a pure cash merger relieves every lot at `cashPerShare` (realized through the
+ *   kernel). Stock consideration converts every lot in place (`quantity × sharesPerShare`,
+ *   `basis ÷ sharesPerShare`; total basis preserved exactly) and appends it to the acquirer's
+ *   position with lot identity and opening date intact. MIXED consideration treats the cash as a
+ *   return of capital FIRST (basis per unit − `cashPerShare`, any excess over basis realized, the
+ *   lot floored at 0) and then converts — this build's mixed-merger convention, chosen because the
+ *   fold holds no mark with which to apportion basis by value. Long positions only.
+ * - **Spin-off** moves the explicit fraction of each parent lot's basis into a child lot that
+ *   carries the PARENT lot's opening date (the holding period tacks) under the spin-off's event id.
+ * - **Return of capital** reduces basis per unit, realizes any excess over basis, and is never
+ *   income.
+ * - **Cash-in-lieu** relieves the surrendered fraction at `amount ÷ quantity` per unit.
+ * - **Redemption** relieves face units at the redemption price; a `'maturity'` retires the whole
+ *   position. Long positions receive principal; short positions pay it.
+ * - **Position transfer** MOVES lots between accounts: a lot moved whole keeps its identity; a lot
+ *   moved in part splits into a new lot carrying the source lot's opening date and event. No cash,
+ *   no realized P&L; attribution history stays in the account that earned it.
+ *
+ * The fold keeps no effect record for these families, so every reversal except the symbol change
+ * is refused through the kernel's `infeasible` — the correcting economic event is the repair.
+ *
+ * Package-internal: dispatched from `state.ts`; nothing here is curated public surface.
+ */
+import { DataError, ErrorCode, InputError } from '../../core/dist/index.js';
+import { canonicalJsonOf } from '../../core/dist/artifacts/index.js';
+import { QUANTITY_DUST, ownValue, setOwnValue } from './internal.js';
+import { accountOf, addToInstrument, bookCash, closingCapacity, ensurePosition, finalizePosition, infeasible, openLot, recordRealized, relieveQuantity, reliefOrder, requireHeldPosition, } from './reducer-kernel.js';
+// ---------------------------------------------------------------------------------------------------
+// Shared refusals and small helpers
+// ---------------------------------------------------------------------------------------------------
+/** A typed refusal of the economically impossible — the event is well-formed, the state forbids it. */
+function refuse(functionName, envelope, field, detail, code = ErrorCode.InputOutOfRange) {
+    throw new InputError(`${functionName}: ${envelope.event.eventType} event '${envelope.eventId}' ${detail}`, { code, context: { function: functionName, field, eventId: envelope.eventId } });
+}
+/** Prose for what an account holds in a position — every teaching names it. */
+function held(position) {
+    const lots = position.lots.length;
+    return `${Math.abs(position.quantity)} ${position.instrumentId} (${position.quantity < 0 ? 'short' : 'long'}, ${lots} lot${lots === 1 ? '' : 's'})`;
+}
+/** The instrument facts a position carries — what a successor position must agree with. */
+function profileOf(position) {
+    const profile = {
+        currency: position.currency,
+        contractMultiplier: position.contractMultiplier,
+        settlementStyle: position.settlementStyle,
+    };
+    if (position.contract !== undefined)
+        profile.contract = position.contract;
+    return profile;
+}
+/** The families that re-base or relieve capital lots act on LONG positions only in this build. */
+function requireLong(functionName, envelope, position, field, instead) {
+    if (position.quantity < 0) {
+        refuse(functionName, envelope, field, `names ${position.instrumentId}, but account '${envelope.accountId}' is SHORT ${Math.abs(position.quantity)} — ${instead}`);
+    }
+}
+/**
+ * Basis re-basing and cash relief are capital operations: a variation-margin position's lot basis
+ * is its last settlement price, not capital, so these families refuse it.
+ */
+function requireCashOnTrade(functionName, envelope, position, field) {
+    if (position.settlementStyle !== 'cash-on-trade') {
+        refuse(functionName, envelope, field, `names ${position.instrumentId}, a '${position.settlementStyle}' position in account '${envelope.accountId}' — this family re-bases or relieves capital lots, and a variation-margin lot's basis is its last settlement price, not capital. Record a derivative.variation-margin settlement or a closing trade.fill instead.`);
+    }
+}
+/** A corporate cash leg is paid in the position's currency; an FX leg is a separate conversion. */
+function requireEventCurrency(functionName, envelope, position, currency, field) {
+    if (currency !== position.currency) {
+        refuse(functionName, envelope, field, `books ${currency}, but account '${envelope.accountId}' holds ${held(position)} in ${position.currency} — a corporate cash leg is paid in the position's currency. Restate the event in ${position.currency} and record the exchange as a cash.conversion.`);
+    }
+}
+/** Lots delivered into an existing position must share its sign — a position never mixes both. */
+function requireReceivingDirection(functionName, envelope, accountId, destination, incomingSign, field) {
+    if (destination.quantity !== 0 && Math.sign(destination.quantity) !== incomingSign) {
+        refuse(functionName, envelope, field, `delivers ${incomingSign > 0 ? 'long' : 'short'} lots of ${destination.instrumentId} into account '${accountId}', which holds ${held(destination)} — a position never holds lots of both signs. Close that position with a trade.fill first.`);
+    }
+}
+/** Move the per-instrument attribution (realized, income, costs) from one key to another, merge-adding. */
+function carryInstrumentHistory(account, from, to) {
+    for (const record of [
+        account.realizedPnlByInstrument,
+        account.incomeByInstrument,
+        account.transactionCostsByInstrument,
+    ]) {
+        const history = ownValue(record, from);
+        if (history === undefined)
+            continue;
+        for (const [currency, amount] of Object.entries(history)) {
+            addToInstrument(record, to, currency, amount);
+        }
+        delete record[from];
+    }
+}
+/** Re-key a position (and its attribution) under a new instrument id; the object is the same. */
+function renamePosition(account, position, to) {
+    const from = position.instrumentId;
+    delete account.positions[from];
+    position.instrumentId = to;
+    setOwnValue(account.positions, to, position);
+    carryInstrumentHistory(account, from, to);
+}
+function coversWholePosition(position, quantity) {
+    return Math.abs(position.quantity) - quantity <= QUANTITY_DUST;
+}
+/**
+ * The relief instructions for a family that may carry none. Under `specific-lot` an event that
+ * relieves the WHOLE position, or a position holding ONE lot, leaves nothing to choose — the
+ * selections are derived from the lots themselves (exact, never a guess). Anything else returns
+ * `undefined` and the kernel (or the family) teaches.
+ */
+function selectionsForRelief(state, position, quantity, explicit) {
+    if (explicit !== undefined || state.lotRelief !== 'specific-lot')
+        return explicit;
+    if (coversWholePosition(position, quantity)) {
+        return position.lots.map((lot) => ({ lotId: lot.lotId, quantity: Math.abs(lot.quantity) }));
+    }
+    const only = position.lots[0];
+    if (position.lots.length === 1 && only !== undefined) {
+        return [{ lotId: only.lotId, quantity }];
+    }
+    return undefined;
+}
+/**
+ * Reduce every lot's basis per unit by `perUnit` (a return of capital); a lot whose basis would
+ * fall below zero realizes the excess and floors at zero. Returns the realized excess in the
+ * position currency (contract multiplier applied, as the kernel does).
+ */
+function reduceBasisPerUnit(position, perUnit) {
+    let realized = 0;
+    for (const lot of position.lots) {
+        const reduced = lot.costBasisPerUnit - perUnit;
+        if (reduced < 0) {
+            realized += -reduced * lot.quantity * position.contractMultiplier;
+            lot.costBasisPerUnit = 0;
+        }
+        else {
+            lot.costBasisPerUnit = reduced;
+        }
+    }
+    return realized;
+}
+// ---------------------------------------------------------------------------------------------------
+// corporate.symbol-change
+// ---------------------------------------------------------------------------------------------------
+function applySymbolChange(functionName, state, envelope, event) {
+    const account = accountOf(state, envelope.accountId);
+    const position = requireHeldPosition(functionName, account, envelope, event.fromInstrumentId, 'event.fromInstrumentId');
+    const collision = ownValue(account.positions, event.toInstrumentId);
+    if (collision !== undefined) {
+        refuse(functionName, envelope, 'event.toInstrumentId', `renames ${event.fromInstrumentId} to ${event.toInstrumentId}, but account '${envelope.accountId}' already holds ${held(collision)} — a rename never merges two positions. Record a corporate.merger (sharesPerShare 1) to combine ${event.fromInstrumentId} into ${event.toInstrumentId}.`);
+    }
+    renamePosition(account, position, event.toInstrumentId);
+}
+function reverseSymbolChange(functionName, state, envelope, applied, event) {
+    const account = accountOf(state, applied.accountId);
+    const position = ownValue(account.positions, event.toInstrumentId);
+    if (position === undefined) {
+        infeasible(functionName, envelope, `account '${applied.accountId}' no longer holds ${event.toInstrumentId} (the renamed position was closed, merged, or renamed again).`);
+    }
+    if (ownValue(account.positions, event.fromInstrumentId) !== undefined) {
+        infeasible(functionName, envelope, `account '${applied.accountId}' holds ${event.fromInstrumentId} again — renaming ${event.toInstrumentId} back would merge two positions.`);
+    }
+    renamePosition(account, position, event.fromInstrumentId);
+}
+// ---------------------------------------------------------------------------------------------------
+// corporate.merger
+// ---------------------------------------------------------------------------------------------------
+function applyMerger(functionName, state, envelope, event) {
+    const account = accountOf(state, envelope.accountId);
+    const position = requireHeldPosition(functionName, account, envelope, event.fromInstrumentId, 'event.fromInstrumentId');
+    requireLong(functionName, envelope, position, 'event.fromInstrumentId', 'a short position in an acquired instrument is closed out by the acquirer, and that settlement is deferred in this build. Record the cover as a trade.fill buy at the deal price.');
+    requireCashOnTrade(functionName, envelope, position, 'event.fromInstrumentId');
+    if (event.currency !== undefined) {
+        requireEventCurrency(functionName, envelope, position, event.currency, 'event.currency');
+    }
+    const quantity = position.quantity;
+    const multiplier = position.contractMultiplier;
+    if (event.sharesPerShare === undefined) {
+        // Pure cash: every lot is relieved at the deal price — realized through the kernel.
+        const cashPerShare = event.cashPerShare;
+        const outcome = relieveQuantity(functionName, state, envelope, position, quantity, cashPerShare, selectionsForRelief(state, position, quantity, undefined), 'event');
+        recordRealized(account, event.fromInstrumentId, position.currency, outcome.realizedPnl);
+        bookCash(account, position.currency, cashPerShare * quantity * multiplier, envelope.eventId, event.settleTimestampMs);
+        finalizePosition(account, position);
+        return;
+    }
+    // Stock (or mixed): the acquirer's position must agree with the acquired profile and direction
+    // BEFORE any cash or basis moves, so a refusal leaves nothing half-applied.
+    const toInstrumentId = event.toInstrumentId;
+    const destination = ensurePosition(functionName, account, envelope, toInstrumentId, profileOf(position), 'event.toInstrumentId');
+    requireReceivingDirection(functionName, envelope, envelope.accountId, destination, 1, 'event.toInstrumentId');
+    if (event.cashPerShare !== undefined) {
+        // Mixed consideration: the cash is a return of capital against each lot first (excess over
+        // basis realized, floored at 0); the remaining basis converts with the shares.
+        bookCash(account, position.currency, event.cashPerShare * quantity * multiplier, envelope.eventId, event.settleTimestampMs);
+        const excess = reduceBasisPerUnit(position, event.cashPerShare);
+        recordRealized(account, event.fromInstrumentId, position.currency, excess);
+    }
+    const ratio = event.sharesPerShare;
+    for (const lot of position.lots) {
+        lot.quantity *= ratio;
+        lot.costBasisPerUnit /= ratio;
+        destination.lots.push(lot);
+    }
+    position.lots = [];
+    finalizePosition(account, position);
+    finalizePosition(account, destination);
+    carryInstrumentHistory(account, event.fromInstrumentId, toInstrumentId);
+}
+// ---------------------------------------------------------------------------------------------------
+// corporate.spin-off
+// ---------------------------------------------------------------------------------------------------
+function applySpinOff(functionName, state, envelope, event) {
+    const account = accountOf(state, envelope.accountId);
+    const parent = requireHeldPosition(functionName, account, envelope, event.parentInstrumentId, 'event.parentInstrumentId');
+    requireLong(functionName, envelope, parent, 'event.parentInstrumentId', 'a short parent owes the distributed child shares to the lender, and that obligation is deferred in this build. Record the child short as a trade.fill sell at the distribution price.');
+    requireCashOnTrade(functionName, envelope, parent, 'event.parentInstrumentId');
+    const child = ensurePosition(functionName, account, envelope, event.childInstrumentId, { currency: parent.currency, contractMultiplier: 1, settlementStyle: 'cash-on-trade' }, 'event.childInstrumentId');
+    requireReceivingDirection(functionName, envelope, envelope.accountId, child, 1, 'event.childInstrumentId');
+    const fraction = event.basisAllocationFraction;
+    for (const lot of parent.lots) {
+        const childQuantity = lot.quantity * event.sharesPerParentShare;
+        const lotBasis = lot.costBasisPerUnit * lot.quantity * parent.contractMultiplier;
+        const childLot = openLot(state, child, childQuantity, (lotBasis * fraction) / childQuantity, envelope);
+        // The holding period tacks: the child lot keeps the parent lot's opening date, under the
+        // spin-off's own event id (set by `openLot`).
+        childLot.openedTimestampMs = lot.openedTimestampMs;
+        lot.costBasisPerUnit *= 1 - fraction;
+    }
+    finalizePosition(account, child);
+    finalizePosition(account, parent);
+}
+// ---------------------------------------------------------------------------------------------------
+// corporate.return-of-capital
+// ---------------------------------------------------------------------------------------------------
+function applyReturnOfCapital(functionName, state, envelope, event) {
+    const account = accountOf(state, envelope.accountId);
+    const position = requireHeldPosition(functionName, account, envelope, event.instrumentId, 'event.instrumentId');
+    requireLong(functionName, envelope, position, 'event.instrumentId', 'a short position PAYS the distribution to the lender. Record that payment as a cost.charge, never as capital returned.');
+    requireCashOnTrade(functionName, envelope, position, 'event.instrumentId');
+    requireEventCurrency(functionName, envelope, position, event.currency, 'event.currency');
+    bookCash(account, position.currency, event.amountPerShare * position.quantity * position.contractMultiplier, envelope.eventId, event.settleTimestampMs);
+    const excess = reduceBasisPerUnit(position, event.amountPerShare);
+    recordRealized(account, event.instrumentId, position.currency, excess);
+}
+// ---------------------------------------------------------------------------------------------------
+// corporate.cash-in-lieu
+// ---------------------------------------------------------------------------------------------------
+function applyCashInLieu(functionName, state, envelope, event) {
+    const account = accountOf(state, envelope.accountId);
+    const position = requireHeldPosition(functionName, account, envelope, event.instrumentId, 'event.instrumentId');
+    requireLong(functionName, envelope, position, 'event.instrumentId', 'cash in lieu settles a fractional LONG share. Record a short fraction covered for cash as a trade.fill buy.');
+    requireCashOnTrade(functionName, envelope, position, 'event.instrumentId');
+    requireEventCurrency(functionName, envelope, position, event.currency, 'event.currency');
+    closingCapacity(functionName, envelope, position, event.quantity, 'event.quantity');
+    const selections = selectionsForRelief(state, position, event.quantity, undefined);
+    const pricePerUnit = event.amount / (event.quantity * position.contractMultiplier);
+    if (selections === undefined && state.lotRelief === 'specific-lot') {
+        refuse(functionName, envelope, 'event.quantity', `surrenders ${event.quantity} of ${held(position)} under lotRelief 'specific-lot', and corporate.cash-in-lieu names no lots — record the fraction as a trade.fill sell (quantity ${event.quantity}, pricePerUnit ${pricePerUnit}) with lotSelections, attributed through relatesToEventId.`, ErrorCode.InputMissingField);
+    }
+    const outcome = relieveQuantity(functionName, state, envelope, position, event.quantity, pricePerUnit, selections, 'event');
+    recordRealized(account, event.instrumentId, position.currency, outcome.realizedPnl);
+    bookCash(account, position.currency, event.amount, envelope.eventId, event.settleTimestampMs);
+    finalizePosition(account, position);
+}
+// ---------------------------------------------------------------------------------------------------
+// fixed-income.redemption
+// ---------------------------------------------------------------------------------------------------
+function applyRedemption(functionName, state, envelope, event) {
+    const account = accountOf(state, envelope.accountId);
+    const position = requireHeldPosition(functionName, account, envelope, event.instrumentId, 'event.instrumentId');
+    requireCashOnTrade(functionName, envelope, position, 'event.instrumentId');
+    requireEventCurrency(functionName, envelope, position, event.currency, 'event.currency');
+    closingCapacity(functionName, envelope, position, event.quantity, 'event.quantity');
+    if (event.redemptionType === 'maturity' && !coversWholePosition(position, event.quantity)) {
+        refuse(functionName, envelope, 'event.quantity', `redeems ${event.quantity} of ${held(position)} at maturity — a maturity retires the whole instrument. Record redemptionType 'principal-paydown' for a partial return of principal, or the full ${Math.abs(position.quantity)}.`);
+    }
+    const direction = Math.sign(position.quantity);
+    const outcome = relieveQuantity(functionName, state, envelope, position, event.quantity, event.pricePerUnit, selectionsForRelief(state, position, event.quantity, event.lotSelections), 'event.lotSelections');
+    recordRealized(account, event.instrumentId, position.currency, outcome.realizedPnl);
+    bookCash(account, position.currency, direction * event.quantity * event.pricePerUnit * position.contractMultiplier, envelope.eventId, event.settleTimestampMs);
+    finalizePosition(account, position);
+}
+/** Which lots (and how much of each) a transfer moves — the kernel's relief law, without relief. */
+function planTransfer(functionName, state, envelope, position, quantity, explicit) {
+    const subject = `${envelope.event.eventType} event '${envelope.eventId}'`;
+    if (explicit !== undefined && state.lotRelief !== 'specific-lot') {
+        refuse(functionName, envelope, 'event.lotSelections', `carries lotSelections, but this ledger's lotRelief is '${state.lotRelief}' — the selections would be silently ignored. Remove them, or fold under lotRelief: 'specific-lot'.`);
+    }
+    if (state.lotRelief === 'specific-lot') {
+        const selections = selectionsForRelief(state, position, quantity, explicit);
+        if (selections === undefined) {
+            refuse(functionName, envelope, 'event.lotSelections', `moves ${quantity} of ${held(position)} under lotRelief 'specific-lot', so event.lotSelections must name the lots moved (their quantities summing to ${quantity}).`, ErrorCode.InputMissingField);
+        }
+        const selectedTotal = selections.reduce((sum, s) => sum + s.quantity, 0);
+        if (Math.abs(selectedTotal - quantity) > QUANTITY_DUST) {
+            refuse(functionName, envelope, 'event.lotSelections', `moves ${quantity} of ${position.instrumentId}, but its lotSelections sum to ${selectedTotal} — specific-lot selection must name exactly the moved quantity.`);
+        }
+        return selections.map((selection) => {
+            const lot = position.lots.find((candidate) => candidate.lotId === selection.lotId);
+            if (lot === undefined) {
+                throw new DataError(`${functionName}: ${subject} names lot '${selection.lotId}', which does not exist in the ${position.instrumentId} position of account '${envelope.accountId}' — a transfer never guesses a substitute. Open lots: ${position.lots.map((l) => `${l.lotId} (${l.quantity})`).join(', ') || 'none'}.`, {
+                    code: ErrorCode.PortfolioLotUnavailable,
+                    context: { function: functionName, lotId: selection.lotId, eventId: envelope.eventId },
+                });
+            }
+            if (Math.abs(lot.quantity) + QUANTITY_DUST < selection.quantity) {
+                throw new DataError(`${functionName}: ${subject} moves ${selection.quantity} from lot '${selection.lotId}', which holds only ${Math.abs(lot.quantity)}.`, {
+                    code: ErrorCode.PortfolioLotUnavailable,
+                    context: { function: functionName, lotId: selection.lotId, eventId: envelope.eventId },
+                });
+            }
+            return { lot, quantity: selection.quantity };
+        });
+    }
+    const moves = [];
+    let remaining = quantity;
+    for (const lot of reliefOrder(position.lots, state.lotRelief)) {
+        if (remaining <= QUANTITY_DUST)
+            break;
+        const take = Math.min(Math.abs(lot.quantity), remaining);
+        moves.push({ lot, quantity: take });
+        remaining -= take;
+    }
+    return moves;
+}
+/** The destination's open position must agree with the moving lots' profile — named for the RECEIVING account. */
+function requireDestinationProfile(functionName, envelope, toAccountId, existing, moving) {
+    const disagreement = existing.currency !== moving.currency
+        ? `in ${existing.currency}, while the moving lots are in ${moving.currency}`
+        : existing.contractMultiplier !== moving.contractMultiplier
+            ? `with contractMultiplier ${existing.contractMultiplier}, while the moving lots carry ${moving.contractMultiplier}`
+            : existing.settlementStyle !== moving.settlementStyle
+                ? `settling '${existing.settlementStyle}', while the moving lots settle '${moving.settlementStyle}'`
+                : canonicalJsonOf(existing.contract ?? null) !== canonicalJsonOf(moving.contract ?? null)
+                    ? `under contract terms that differ from the moving lots'`
+                    : null;
+    if (disagreement !== null) {
+        refuse(functionName, envelope, 'event.toAccountId', `moves ${moving.instrumentId} into account '${toAccountId}', which holds ${held(existing)} ${disagreement} — one profile per open position. Close the destination position first, or transfer into an account whose ${moving.instrumentId} position agrees.`);
+    }
+}
+function applyTransfer(functionName, state, envelope, event) {
+    const source = accountOf(state, envelope.accountId);
+    const position = requireHeldPosition(functionName, source, envelope, event.instrumentId, 'event.instrumentId');
+    closingCapacity(functionName, envelope, position, event.quantity, 'event.quantity');
+    const receiver = accountOf(state, event.toAccountId);
+    const existing = ownValue(receiver.positions, event.instrumentId);
+    if (existing !== undefined) {
+        requireDestinationProfile(functionName, envelope, event.toAccountId, existing, position);
+    }
+    const destination = ensurePosition(functionName, receiver, envelope, event.instrumentId, profileOf(position), 'event.toAccountId');
+    const sign = position.quantity < 0 ? -1 : 1;
+    requireReceivingDirection(functionName, envelope, event.toAccountId, destination, sign, 'event.toAccountId');
+    const moves = planTransfer(functionName, state, envelope, position, event.quantity, event.lotSelections);
+    for (const { lot, quantity } of moves) {
+        if (Math.abs(lot.quantity) - quantity <= QUANTITY_DUST) {
+            // The whole lot travels: its identity, opening date, and basis are unchanged.
+            position.lots.splice(position.lots.indexOf(lot), 1);
+            destination.lots.push(lot);
+        }
+        else {
+            // A partial move splits the lot: the moved part is a NEW lot (fold-deterministic id) that
+            // keeps the source lot's opening date and opening event, so the holding period is preserved.
+            const moved = openLot(state, destination, sign * quantity, lot.costBasisPerUnit, envelope);
+            moved.openedTimestampMs = lot.openedTimestampMs;
+            moved.openedByEventId = lot.openedByEventId;
+            lot.quantity -= sign * quantity;
+        }
+    }
+    finalizePosition(source, position);
+    finalizePosition(receiver, destination);
+}
+// ---------------------------------------------------------------------------------------------------
+// Dispatch
+// ---------------------------------------------------------------------------------------------------
+/** Fold one corporate-action / redemption / transfer envelope into the working state. */
+export function applyCorporateEvent(functionName, state, envelope) {
+    const event = envelope.event;
+    switch (event.eventType) {
+        case 'corporate.symbol-change':
+            applySymbolChange(functionName, state, envelope, event);
+            return;
+        case 'corporate.merger':
+            applyMerger(functionName, state, envelope, event);
+            return;
+        case 'corporate.spin-off':
+            applySpinOff(functionName, state, envelope, event);
+            return;
+        case 'corporate.return-of-capital':
+            applyReturnOfCapital(functionName, state, envelope, event);
+            return;
+        case 'corporate.cash-in-lieu':
+            applyCashInLieu(functionName, state, envelope, event);
+            return;
+        case 'fixed-income.redemption':
+            applyRedemption(functionName, state, envelope, event);
+            return;
+        case 'position.transfer':
+            applyTransfer(functionName, state, envelope, event);
+            return;
+        default:
+            throw new InputError(`${functionName}: '${event.eventType}' is not a corporate-action, redemption, or transfer event.`, {
+                code: ErrorCode.InputInvalidEnum,
+                context: { function: functionName, field: 'event.eventType', eventId: envelope.eventId },
+            });
+    }
+}
+/**
+ * Undo one applied envelope of this family EXACTLY, or refuse with the reason (through the
+ * kernel's `infeasible`). `applied` is the registry-proven original; `key` its registry identity.
+ * Only the symbol change has an exact inverse from state alone; the fold records no effect for
+ * the other families, so their reversal is the correcting economic event.
+ */
+export function reverseCorporateEvent(functionName, state, envelope, applied, _key) {
+    const target = applied.event;
+    if (target.eventType === 'corporate.symbol-change') {
+        reverseSymbolChange(functionName, state, envelope, applied, target);
+        return;
+    }
+    // Every other family transformed or relieved lots without an effect record: name why.
+    let detail;
+    switch (target.eventType) {
+        case 'corporate.merger':
+            detail =
+                target.sharesPerShare === undefined
+                    ? `the cash merger relieved every ${target.fromInstrumentId} lot at ${target.cashPerShare} and realized the result; relieved lots cannot be restored exactly.`
+                    : `the merger converted every ${target.fromInstrumentId} lot into ${target.toInstrumentId}${target.cashPerShare !== undefined ? ' after re-basing it for the cash consideration' : ''}; transformed lots cannot be restored exactly.`;
+            break;
+        case 'corporate.spin-off':
+            detail = `the spin-off re-based every ${target.parentInstrumentId} lot and opened ${target.childInstrumentId} lots from them; the fold keeps no per-lot record of the allocation.`;
+            break;
+        case 'corporate.return-of-capital':
+            detail = `the return of capital re-based every ${target.instrumentId} lot (floored at zero where the distribution exceeded basis) and the fold keeps no per-lot record of the reduction — later fills or relief would blur it. Record a cash.withdrawal for the cash and an admin.correction of the acquiring fills if the basis must be restored.`;
+            break;
+        case 'corporate.cash-in-lieu':
+            detail = `the cash-in-lieu relieved ${target.quantity} ${target.instrumentId} from prior lots and realized the result; relieved lots cannot be restored exactly.`;
+            break;
+        case 'fixed-income.redemption':
+            detail = `the ${target.redemptionType} redemption relieved ${target.quantity} ${target.instrumentId} from prior lots and realized the result; relieved lots cannot be restored exactly.`;
+            break;
+        case 'position.transfer':
+            detail = `the transfer moved ${target.quantity} ${target.instrumentId} from '${target.fromAccountId}' to '${target.toAccountId}', splitting lots where needed, and the fold keeps no record of which lots travelled. Record a position.transfer back from '${target.toAccountId}' instead.`;
+            break;
+        default:
+            detail = `'${target.eventType}' has no inverse in this module.`;
+    }
+    infeasible(functionName, envelope, detail);
+}
+//# sourceMappingURL=lifecycle-corporate.js.map

package/modules/portfolio/dist/lifecycle-corporate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lifecycle-corporate.js","sourceRoot":"","sources":["../src/lifecycle-corporate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,0BAAoB,CAAC;AACtE,OAAO,EAAE,eAAe,EAAE,MAAM,oCAA8B,CAAC;AAY/D,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAErE,OAAO,EACL,SAAS,EACT,eAAe,EACf,QAAQ,EACR,eAAe,EACf,cAAc,EACd,gBAAgB,EAChB,UAAU,EACV,OAAO,EACP,cAAc,EACd,eAAe,EACf,WAAW,EACX,mBAAmB,GACpB,MAAM,qBAAqB,CAAC;AAc7B,sGAAsG;AACtG,oCAAoC;AACpC,sGAAsG;AAEtG,uGAAuG;AACvG,SAAS,MAAM,CACb,YAAoB,EACpB,QAAgC,EAChC,KAAa,EACb,MAAc,EACd,OAAoB,SAAS,CAAC,eAAe;IAE7C,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,KAAK,QAAQ,CAAC,KAAK,CAAC,SAAS,WAAW,QAAQ,CAAC,OAAO,KAAK,MAAM,EAAE,EACpF,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE,EAAE,CAChF,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,SAAS,IAAI,CAAC,QAAuB;IACnC,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC;IAClC,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,YAAY,KAAK,QAAQ,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;AACtJ,CAAC;AAED,2FAA2F;AAC3F,SAAS,SAAS,CAAC,QAAuB;IACxC,MAAM,OAAO,GAAoB;QAC/B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,kBAAkB,EAAE,QAAQ,CAAC,kBAAkB;QAC/C,eAAe,EAAE,QAAQ,CAAC,eAAe;KAC1C,CAAC;IACF,IAAI,QAAQ,CAAC,QAAQ,KAAK,SAAS;QAAE,OAAO,CAAC,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;IAC1E,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,kGAAkG;AAClG,SAAS,WAAW,CAClB,YAAoB,EACpB,QAAgC,EAChC,QAAuB,EACvB,KAAa,EACb,OAAe;IAEf,IAAI,QAAQ,CAAC,QAAQ,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,CACJ,YAAY,EACZ,QAAQ,EACR,KAAK,EACL,SAAS,QAAQ,CAAC,YAAY,kBAAkB,QAAQ,CAAC,SAAS,cAAc,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,OAAO,EAAE,CAC3H,CAAC;IACJ,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,SAAS,kBAAkB,CACzB,YAAoB,EACpB,QAAgC,EAChC,QAAuB,EACvB,KAAa;IAEb,IAAI,QAAQ,CAAC,eAAe,KAAK,eAAe,EAAE,CAAC;QACjD,MAAM,CACJ,YAAY,EACZ,QAAQ,EACR,KAAK,EACL,SAAS,QAAQ,CAAC,YAAY,QAAQ,QAAQ,CAAC,eAAe,0BAA0B,QAAQ,CAAC,SAAS,mNAAmN,CAC9T,CAAC;IACJ,CAAC;AACH,CAAC;AAED,mGAAmG;AACnG,SAAS,oBAAoB,CAC3B,YAAoB,EACpB,QAAgC,EAChC,QAAuB,EACvB,QAAgB,EAChB,KAAa;IAEb,IAAI,QAAQ,KAAK,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACnC,MAAM,CACJ,YAAY,EACZ,QAAQ,EACR,KAAK,EACL,SAAS,QAAQ,kBAAkB,QAAQ,CAAC,SAAS,WAAW,IAAI,CAAC,QAAQ,CAAC,OAAO,QAAQ,CAAC,QAAQ,oFAAoF,QAAQ,CAAC,QAAQ,gDAAgD,CAC5P,CAAC;IACJ,CAAC;AACH,CAAC;AAED,kGAAkG;AAClG,SAAS,yBAAyB,CAChC,YAAoB,EACpB,QAAgC,EAChC,SAAiB,EACjB,WAA0B,EAC1B,YAAoB,EACpB,KAAa;IAEb,IAAI,WAAW,CAAC,QAAQ,KAAK,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,YAAY,EAAE,CAAC;QACnF,MAAM,CACJ,YAAY,EACZ,QAAQ,EACR,KAAK,EACL,YAAY,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,YAAY,WAAW,CAAC,YAAY,kBAAkB,SAAS,kBAAkB,IAAI,CAAC,WAAW,CAAC,4FAA4F,CAC9O,CAAC;IACJ,CAAC;AACH,CAAC;AAED,2GAA2G;AAC3G,SAAS,sBAAsB,CAAC,OAAqB,EAAE,IAAY,EAAE,EAAU;IAC7E,KAAK,MAAM,MAAM,IAAI;QACnB,OAAO,CAAC,uBAAuB;QAC/B,OAAO,CAAC,kBAAkB;QAC1B,OAAO,CAAC,4BAA4B;KACrC,EAAE,CAAC;QACF,MAAM,OAAO,GAAG,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACvC,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;YACzD,eAAe,CAAC,MAAM,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAChD,CAAC;QACD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;AACH,CAAC;AAED,iGAAiG;AACjG,SAAS,cAAc,CAAC,OAAqB,EAAE,QAAuB,EAAE,EAAU;IAChF,MAAM,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAC;IACnC,OAAO,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC/B,QAAQ,CAAC,YAAY,GAAG,EAAE,CAAC;IAC3B,WAAW,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,EAAE,QAAQ,CAAC,CAAC;IAC7C,sBAAsB,CAAC,OAAO,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;AAC5C,CAAC;AAED,SAAS,mBAAmB,CAAC,QAAuB,EAAE,QAAgB;IACpE,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,QAAQ,IAAI,aAAa,CAAC;AACjE,CAAC;AAED;;;;;GAKG;AACH,SAAS,mBAAmB,CAC1B,KAAqB,EACrB,QAAuB,EACvB,QAAgB,EAChB,QAA6C;IAE7C,IAAI,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,KAAK,cAAc;QAAE,OAAO,QAAQ,CAAC;IAClF,IAAI,mBAAmB,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;QAC5C,OAAO,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;IAC9F,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC9B,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACrD,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IAC3C,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,QAAuB,EAAE,OAAe;IAClE,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;QAChC,MAAM,OAAO,GAAG,GAAG,CAAC,gBAAgB,GAAG,OAAO,CAAC;QAC/C,IAAI,OAAO,GAAG,CAAC,EAAE,CAAC;YAChB,QAAQ,IAAI,CAAC,OAAO,GAAG,GAAG,CAAC,QAAQ,GAAG,QAAQ,CAAC,kBAAkB,CAAC;YAClE,GAAG,CAAC,gBAAgB,GAAG,CAAC,CAAC;QAC3B,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,gBAAgB,GAAG,OAAO,CAAC;QACjC,CAAC;IACH,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,sGAAsG;AACtG,0BAA0B;AAC1B,sGAAsG;AAEtG,SAAS,iBAAiB,CACxB,YAAoB,EACpB,KAAqB,EACrB,QAAgC,EAChC,KAAwB;IAExB,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,mBAAmB,CAClC,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,KAAK,CAAC,gBAAgB,EACtB,wBAAwB,CACzB,CAAC;IACF,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;IACpE,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,CACJ,YAAY,EACZ,QAAQ,EACR,sBAAsB,EACtB,WAAW,KAAK,CAAC,gBAAgB,OAAO,KAAK,CAAC,cAAc,kBAAkB,QAAQ,CAAC,SAAS,mBAAmB,IAAI,CAAC,SAAS,CAAC,mGAAmG,KAAK,CAAC,gBAAgB,SAAS,KAAK,CAAC,cAAc,GAAG,CAC5R,CAAC;IACJ,CAAC;IACD,cAAc,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;AAC1D,CAAC;AAED,SAAS,mBAAmB,CAC1B,YAAoB,EACpB,KAAqB,EACrB,QAAgC,EAChC,OAA+B,EAC/B,KAAwB;IAExB,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;IACnE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,UAAU,CACR,YAAY,EACZ,QAAQ,EACR,YAAY,OAAO,CAAC,SAAS,qBAAqB,KAAK,CAAC,cAAc,+DAA+D,CACtI,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,OAAO,CAAC,SAAS,EAAE,KAAK,CAAC,gBAAgB,CAAC,KAAK,SAAS,EAAE,CAAC;QACtE,UAAU,CACR,YAAY,EACZ,QAAQ,EACR,YAAY,OAAO,CAAC,SAAS,WAAW,KAAK,CAAC,gBAAgB,qBAAqB,KAAK,CAAC,cAAc,kCAAkC,CAC1I,CAAC;IACJ,CAAC;IACD,cAAc,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,gBAAgB,CAAC,CAAC;AAC5D,CAAC;AAED,sGAAsG;AACtG,mBAAmB;AACnB,sGAAsG;AAEtG,SAAS,WAAW,CAClB,YAAoB,EACpB,KAAqB,EACrB,QAAgC,EAChC,KAAkB;IAElB,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,mBAAmB,CAClC,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,KAAK,CAAC,gBAAgB,EACtB,wBAAwB,CACzB,CAAC;IACF,WAAW,CACT,YAAY,EACZ,QAAQ,EACR,QAAQ,EACR,wBAAwB,EACxB,kLAAkL,CACnL,CAAC;IACF,kBAAkB,CAAC,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,wBAAwB,CAAC,CAAC;IAC/E,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACjC,oBAAoB,CAAC,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;IACnC,MAAM,UAAU,GAAG,QAAQ,CAAC,kBAAkB,CAAC;IAE/C,IAAI,KAAK,CAAC,cAAc,KAAK,SAAS,EAAE,CAAC;QACvC,oFAAoF;QACpF,MAAM,YAAY,GAAG,KAAK,CAAC,YAAa,CAAC;QACzC,MAAM,OAAO,GAAG,eAAe,CAC7B,YAAY,EACZ,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,QAAQ,EACR,YAAY,EACZ,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,CAAC,EACzD,OAAO,CACR,CAAC;QACF,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,gBAAgB,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;QACxF,QAAQ,CACN,OAAO,EACP,QAAQ,CAAC,QAAQ,EACjB,YAAY,GAAG,QAAQ,GAAG,UAAU,EACpC,QAAQ,CAAC,OAAO,EAChB,KAAK,CAAC,iBAAiB,CACxB,CAAC;QACF,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;QACpC,OAAO;IACT,CAAC;IAED,+FAA+F;IAC/F,4EAA4E;IAC5E,MAAM,cAAc,GAAG,KAAK,CAAC,cAAe,CAAC;IAC7C,MAAM,WAAW,GAAG,cAAc,CAChC,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,cAAc,EACd,SAAS,CAAC,QAAQ,CAAC,EACnB,sBAAsB,CACvB,CAAC;IACF,yBAAyB,CACvB,YAAY,EACZ,QAAQ,EACR,QAAQ,CAAC,SAAS,EAClB,WAAW,EACX,CAAC,EACD,sBAAsB,CACvB,CAAC;IAEF,IAAI,KAAK,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACrC,2FAA2F;QAC3F,+EAA+E;QAC/E,QAAQ,CACN,OAAO,EACP,QAAQ,CAAC,QAAQ,EACjB,KAAK,CAAC,YAAY,GAAG,QAAQ,GAAG,UAAU,EAC1C,QAAQ,CAAC,OAAO,EAChB,KAAK,CAAC,iBAAiB,CACxB,CAAC;QACF,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;QAChE,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,gBAAgB,EAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;IAC7E,CAAC;IAED,MAAM,KAAK,GAAG,KAAK,CAAC,cAAc,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,IAAI,EAAE,CAAC;QAChC,GAAG,CAAC,QAAQ,IAAI,KAAK,CAAC;QACtB,GAAG,CAAC,gBAAgB,IAAI,KAAK,CAAC;QAC9B,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC7B,CAAC;IACD,QAAQ,CAAC,IAAI,GAAG,EAAE,CAAC;IACnB,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACpC,gBAAgB,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IACvC,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC;AAC1E,CAAC;AAED,sGAAsG;AACtG,qBAAqB;AACrB,sGAAsG;AAEtG,SAAS,YAAY,CACnB,YAAoB,EACpB,KAAqB,EACrB,QAAgC,EAChC,KAAmB;IAEnB,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACrD,MAAM,MAAM,GAAG,mBAAmB,CAChC,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,KAAK,CAAC,kBAAkB,EACxB,0BAA0B,CAC3B,CAAC;IACF,WAAW,CACT,YAAY,EACZ,QAAQ,EACR,MAAM,EACN,0BAA0B,EAC1B,uLAAuL,CACxL,CAAC;IACF,kBAAkB,CAAC,YAAY,EAAE,QAAQ,EAAE,MAAM,EAAE,0BAA0B,CAAC,CAAC;IAC/E,MAAM,KAAK,GAAG,cAAc,CAC1B,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,KAAK,CAAC,iBAAiB,EACvB,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,kBAAkB,EAAE,CAAC,EAAE,eAAe,EAAE,eAAe,EAAE,EACtF,yBAAyB,CAC1B,CAAC;IACF,yBAAyB,CACvB,YAAY,EACZ,QAAQ,EACR,QAAQ,CAAC,SAAS,EAClB,KAAK,EACL,CAAC,EACD,yBAAyB,CAC1B,CAAC;IACF,MAAM,QAAQ,GAAG,KAAK,CAAC,uBAAuB,CAAC;IAC/C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAC9B,MAAM,aAAa,GAAG,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC,oBAAoB,CAAC;QAChE,MAAM,QAAQ,GAAG,GAAG,CAAC,gBAAgB,GAAG,GAAG,CAAC,QAAQ,GAAG,MAAM,CAAC,kBAAkB,CAAC;QACjF,MAAM,QAAQ,GAAG,OAAO,CACtB,KAAK,EACL,KAAK,EACL,aAAa,EACb,CAAC,QAAQ,GAAG,QAAQ,CAAC,GAAG,aAAa,EACrC,QAAQ,CACT,CAAC;QACF,yFAAyF;QACzF,8CAA8C;QAC9C,QAAQ,CAAC,iBAAiB,GAAG,GAAG,CAAC,iBAAiB,CAAC;QACnD,GAAG,CAAC,gBAAgB,IAAI,CAAC,GAAG,QAAQ,CAAC;IACvC,CAAC;IACD,gBAAgB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACjC,gBAAgB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AACpC,CAAC;AAED,sGAAsG;AACtG,8BAA8B;AAC9B,sGAAsG;AAEtG,SAAS,oBAAoB,CAC3B,YAAoB,EACpB,KAAqB,EACrB,QAAgC,EAChC,KAA2B;IAE3B,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,mBAAmB,CAClC,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,KAAK,CAAC,YAAY,EAClB,oBAAoB,CACrB,CAAC;IACF,WAAW,CACT,YAAY,EACZ,QAAQ,EACR,QAAQ,EACR,oBAAoB,EACpB,wHAAwH,CACzH,CAAC;IACF,kBAAkB,CAAC,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,oBAAoB,CAAC,CAAC;IAC3E,oBAAoB,CAAC,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;IACzF,QAAQ,CACN,OAAO,EACP,QAAQ,CAAC,QAAQ,EACjB,KAAK,CAAC,cAAc,GAAG,QAAQ,CAAC,QAAQ,GAAG,QAAQ,CAAC,kBAAkB,EACtE,QAAQ,CAAC,OAAO,EAChB,KAAK,CAAC,iBAAiB,CACxB,CAAC;IACF,MAAM,MAAM,GAAG,kBAAkB,CAAC,QAAQ,EAAE,KAAK,CAAC,cAAc,CAAC,CAAC;IAClE,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,EAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AACzE,CAAC;AAED,sGAAsG;AACtG,yBAAyB;AACzB,sGAAsG;AAEtG,SAAS,eAAe,CACtB,YAAoB,EACpB,KAAqB,EACrB,QAAgC,EAChC,KAAsB;IAEtB,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,mBAAmB,CAClC,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,KAAK,CAAC,YAAY,EAClB,oBAAoB,CACrB,CAAC;IACF,WAAW,CACT,YAAY,EACZ,QAAQ,EACR,QAAQ,EACR,oBAAoB,EACpB,6GAA6G,CAC9G,CAAC;IACF,kBAAkB,CAAC,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,oBAAoB,CAAC,CAAC;IAC3E,oBAAoB,CAAC,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;IACzF,eAAe,CAAC,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;IACpF,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IACnF,MAAM,YAAY,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,QAAQ,GAAG,QAAQ,CAAC,kBAAkB,CAAC,CAAC;IACnF,IAAI,UAAU,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,KAAK,cAAc,EAAE,CAAC;QACnE,MAAM,CACJ,YAAY,EACZ,QAAQ,EACR,gBAAgB,EAChB,cAAc,KAAK,CAAC,QAAQ,OAAO,IAAI,CAAC,QAAQ,CAAC,kIAAkI,KAAK,CAAC,QAAQ,kBAAkB,YAAY,4DAA4D,EAC3R,SAAS,CAAC,iBAAiB,CAC5B,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,eAAe,CAC7B,YAAY,EACZ,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,KAAK,CAAC,QAAQ,EACd,YAAY,EACZ,UAAU,EACV,OAAO,CACR,CAAC;IACF,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IACpF,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,EAAE,KAAK,CAAC,MAAM,EAAE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAC,iBAAiB,CAAC,CAAC;IAC9F,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AACtC,CAAC;AAED,sGAAsG;AACtG,0BAA0B;AAC1B,sGAAsG;AAEtG,SAAS,eAAe,CACtB,YAAoB,EACpB,KAAqB,EACrB,QAAgC,EAChC,KAAiC;IAEjC,MAAM,OAAO,GAAG,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,mBAAmB,CAClC,YAAY,EACZ,OAAO,EACP,QAAQ,EACR,KAAK,CAAC,YAAY,EAClB,oBAAoB,CACrB,CAAC;IACF,kBAAkB,CAAC,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,oBAAoB,CAAC,CAAC;IAC3E,oBAAoB,CAAC,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;IACzF,eAAe,CAAC,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;IACpF,IAAI,KAAK,CAAC,cAAc,KAAK,UAAU,IAAI,CAAC,mBAAmB,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC1F,MAAM,CACJ,YAAY,EACZ,QAAQ,EACR,gBAAgB,EAChB,WAAW,KAAK,CAAC,QAAQ,OAAO,IAAI,CAAC,QAAQ,CAAC,oJAAoJ,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CACjO,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAC/C,MAAM,OAAO,GAAG,eAAe,CAC7B,YAAY,EACZ,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,YAAY,EAClB,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,aAAa,CAAC,EACzE,qBAAqB,CACtB,CAAC;IACF,cAAc,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,EAAE,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,CAAC;IACpF,QAAQ,CACN,OAAO,EACP,QAAQ,CAAC,QAAQ,EACjB,SAAS,GAAG,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAC,YAAY,GAAG,QAAQ,CAAC,kBAAkB,EAC7E,QAAQ,CAAC,OAAO,EAChB,KAAK,CAAC,iBAAiB,CACxB,CAAC;IACF,gBAAgB,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;AACtC,CAAC;AAYD,oGAAoG;AACpG,SAAS,YAAY,CACnB,YAAoB,EACpB,KAAqB,EACrB,QAAgC,EAChC,QAAuB,EACvB,QAAgB,EAChB,QAA6C;IAE7C,MAAM,OAAO,GAAG,GAAG,QAAQ,CAAC,KAAK,CAAC,SAAS,WAAW,QAAQ,CAAC,OAAO,GAAG,CAAC;IAC1E,IAAI,QAAQ,KAAK,SAAS,IAAI,KAAK,CAAC,SAAS,KAAK,cAAc,EAAE,CAAC;QACjE,MAAM,CACJ,YAAY,EACZ,QAAQ,EACR,qBAAqB,EACrB,0DAA0D,KAAK,CAAC,SAAS,qGAAqG,CAC/K,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,SAAS,KAAK,cAAc,EAAE,CAAC;QACvC,MAAM,UAAU,GAAG,mBAAmB,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;QAC5E,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,CACJ,YAAY,EACZ,QAAQ,EACR,qBAAqB,EACrB,SAAS,QAAQ,OAAO,IAAI,CAAC,QAAQ,CAAC,iHAAiH,QAAQ,IAAI,EACnK,SAAS,CAAC,iBAAiB,CAC5B,CAAC;QACJ,CAAC;QACD,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;QACzE,IAAI,IAAI,CAAC,GAAG,CAAC,aAAa,GAAG,QAAQ,CAAC,GAAG,aAAa,EAAE,CAAC;YACvD,MAAM,CACJ,YAAY,EACZ,QAAQ,EACR,qBAAqB,EACrB,SAAS,QAAQ,OAAO,QAAQ,CAAC,YAAY,kCAAkC,aAAa,iEAAiE,CAC9J,CAAC;QACJ,CAAC;QACD,OAAO,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE;YAClC,MAAM,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS,CAAC,KAAK,CAAC,CAAC;YACnF,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,MAAM,IAAI,SAAS,CACjB,GAAG,YAAY,KAAK,OAAO,eAAe,SAAS,CAAC,KAAK,kCAAkC,QAAQ,CAAC,YAAY,yBAAyB,QAAQ,CAAC,SAAS,yDAAyD,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,GAAG,EAClS;oBACE,IAAI,EAAE,SAAS,CAAC,uBAAuB;oBACvC,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE;iBACvF,CACF,CAAC;YACJ,CAAC;YACD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,aAAa,GAAG,SAAS,CAAC,QAAQ,EAAE,CAAC;gBAChE,MAAM,IAAI,SAAS,CACjB,GAAG,YAAY,KAAK,OAAO,UAAU,SAAS,CAAC,QAAQ,cAAc,SAAS,CAAC,KAAK,uBAAuB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,EACpI;oBACE,IAAI,EAAE,SAAS,CAAC,uBAAuB;oBACvC,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE;iBACvF,CACF,CAAC;YACJ,CAAC;YACD,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,CAAC,QAAQ,EAAE,CAAC;QAC/C,CAAC,CAAC,CAAC;IACL,CAAC;IACD,MAAM,KAAK,GAAc,EAAE,CAAC;IAC5B,IAAI,SAAS,GAAG,QAAQ,CAAC;IACzB,KAAK,MAAM,GAAG,IAAI,WAAW,CAAC,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QAC9D,IAAI,SAAS,IAAI,aAAa;YAAE,MAAM;QACtC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,CAAC;QACzD,KAAK,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;QACpC,SAAS,IAAI,IAAI,CAAC;IACpB,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,kHAAkH;AAClH,SAAS,yBAAyB,CAChC,YAAoB,EACpB,QAAgC,EAChC,WAAmB,EACnB,QAAuB,EACvB,MAAqB;IAErB,MAAM,YAAY,GAChB,QAAQ,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ;QACnC,CAAC,CAAC,MAAM,QAAQ,CAAC,QAAQ,kCAAkC,MAAM,CAAC,QAAQ,EAAE;QAC5E,CAAC,CAAC,QAAQ,CAAC,kBAAkB,KAAK,MAAM,CAAC,kBAAkB;YACzD,CAAC,CAAC,2BAA2B,QAAQ,CAAC,kBAAkB,iCAAiC,MAAM,CAAC,kBAAkB,EAAE;YACpH,CAAC,CAAC,QAAQ,CAAC,eAAe,KAAK,MAAM,CAAC,eAAe;gBACnD,CAAC,CAAC,aAAa,QAAQ,CAAC,eAAe,oCAAoC,MAAM,CAAC,eAAe,GAAG;gBACpG,CAAC,CAAC,eAAe,CAAC,QAAQ,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,eAAe,CAAC,MAAM,CAAC,QAAQ,IAAI,IAAI,CAAC;oBACvF,CAAC,CAAC,wDAAwD;oBAC1D,CAAC,CAAC,IAAI,CAAC;IACjB,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,MAAM,CACJ,YAAY,EACZ,QAAQ,EACR,mBAAmB,EACnB,SAAS,MAAM,CAAC,YAAY,kBAAkB,WAAW,kBAAkB,IAAI,CAAC,QAAQ,CAAC,IAAI,YAAY,6GAA6G,MAAM,CAAC,YAAY,mBAAmB,CAC7P,CAAC;IACJ,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACpB,YAAoB,EACpB,KAAqB,EACrB,QAAgC,EAChC,KAA4B;IAE5B,MAAM,MAAM,GAAG,SAAS,CAAC,KAAK,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;IACpD,MAAM,QAAQ,GAAG,mBAAmB,CAClC,YAAY,EACZ,MAAM,EACN,QAAQ,EACR,KAAK,CAAC,YAAY,EAClB,oBAAoB,CACrB,CAAC;IACF,eAAe,CAAC,YAAY,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,EAAE,gBAAgB,CAAC,CAAC;IACpF,MAAM,QAAQ,GAAG,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IAClE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,yBAAyB,CAAC,YAAY,EAAE,QAAQ,EAAE,KAAK,CAAC,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;IAC3F,CAAC;IACD,MAAM,WAAW,GAAG,cAAc,CAChC,YAAY,EACZ,QAAQ,EACR,QAAQ,EACR,KAAK,CAAC,YAAY,EAClB,SAAS,CAAC,QAAQ,CAAC,EACnB,mBAAmB,CACpB,CAAC;IACF,MAAM,IAAI,GAAW,QAAQ,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACpD,yBAAyB,CACvB,YAAY,EACZ,QAAQ,EACR,KAAK,CAAC,WAAW,EACjB,WAAW,EACX,IAAI,EACJ,mBAAmB,CACpB,CAAC;IACF,MAAM,KAAK,GAAG,YAAY,CACxB,YAAY,EACZ,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,aAAa,CACpB,CAAC;IACF,KAAK,MAAM,EAAE,GAAG,EAAE,QAAQ,EAAE,IAAI,KAAK,EAAE,CAAC;QACtC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,GAAG,QAAQ,IAAI,aAAa,EAAE,CAAC;YACvD,8EAA8E;YAC9E,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;YACpD,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC7B,CAAC;aAAM,CAAC;YACN,0FAA0F;YAC1F,6FAA6F;YAC7F,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI,GAAG,QAAQ,EAAE,GAAG,CAAC,gBAAgB,EAAE,QAAQ,CAAC,CAAC;YAC3F,KAAK,CAAC,iBAAiB,GAAG,GAAG,CAAC,iBAAiB,CAAC;YAChD,KAAK,CAAC,eAAe,GAAG,GAAG,CAAC,eAAe,CAAC;YAC5C,GAAG,CAAC,QAAQ,IAAI,IAAI,GAAG,QAAQ,CAAC;QAClC,CAAC;IACH,CAAC;IACD,gBAAgB,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACnC,gBAAgB,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAC;AAC1C,CAAC;AAED,sGAAsG;AACtG,WAAW;AACX,sGAAsG;AAEtG,yFAAyF;AACzF,MAAM,UAAU,mBAAmB,CACjC,YAAoB,EACpB,KAAqB,EACrB,QAAgC;IAEhC,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;IAC7B,QAAQ,KAAK,CAAC,SAAS,EAAE,CAAC;QACxB,KAAK,yBAAyB;YAC5B,iBAAiB,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YACxD,OAAO;QACT,KAAK,kBAAkB;YACrB,WAAW,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YAClD,OAAO;QACT,KAAK,oBAAoB;YACvB,YAAY,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YACnD,OAAO;QACT,KAAK,6BAA6B;YAChC,oBAAoB,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YAC3D,OAAO;QACT,KAAK,wBAAwB;YAC3B,eAAe,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YACtD,OAAO;QACT,KAAK,yBAAyB;YAC5B,eAAe,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YACtD,OAAO;QACT,KAAK,mBAAmB;YACtB,aAAa,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAC;YACpD,OAAO;QACT;YACE,MAAM,IAAI,UAAU,CAClB,GAAG,YAAY,MAAM,KAAK,CAAC,SAAS,6DAA6D,EACjG;gBACE,IAAI,EAAE,SAAS,CAAC,gBAAgB;gBAChC,OAAO,EAAE,EAAE,QAAQ,EAAE,YAAY,EAAE,KAAK,EAAE,iBAAiB,EAAE,OAAO,EAAE,QAAQ,CAAC,OAAO,EAAE;aACzF,CACF,CAAC;IACN,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CACnC,YAAoB,EACpB,KAAqB,EACrB,QAAgC,EAChC,OAA+B,EAC/B,IAAY;IAEZ,MAAM,MAAM,GAAG,OAAO,CAAC,KAAK,CAAC;IAC7B,IAAI,MAAM,CAAC,SAAS,KAAK,yBAAyB,EAAE,CAAC;QACnD,mBAAmB,CAAC,YAAY,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACpE,OAAO;IACT,CAAC;IACD,sFAAsF;IACtF,IAAI,MAAc,CAAC;IACnB,QAAQ,MAAM,CAAC,SAAS,EAAE,CAAC;QACzB,KAAK,kBAAkB;YACrB,MAAM;gBACJ,MAAM,CAAC,cAAc,KAAK,SAAS;oBACjC,CAAC,CAAC,kCAAkC,MAAM,CAAC,gBAAgB,WAAW,MAAM,CAAC,YAAY,qEAAqE;oBAC9J,CAAC,CAAC,8BAA8B,MAAM,CAAC,gBAAgB,aAAa,MAAM,CAAC,cAAc,GAAG,MAAM,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,gDAAgD,CAAC,CAAC,CAAC,EAAE,gDAAgD,CAAC;YAC1O,MAAM;QACR,KAAK,oBAAoB;YACvB,MAAM,GAAG,+BAA+B,MAAM,CAAC,kBAAkB,mBAAmB,MAAM,CAAC,iBAAiB,sEAAsE,CAAC;YACnL,MAAM;QACR,KAAK,6BAA6B;YAChC,MAAM,GAAG,wCAAwC,MAAM,CAAC,YAAY,+QAA+Q,CAAC;YACpV,MAAM;QACR,KAAK,wBAAwB;YAC3B,MAAM,GAAG,6BAA6B,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,YAAY,qFAAqF,CAAC;YAClK,MAAM;QACR,KAAK,yBAAyB;YAC5B,MAAM,GAAG,OAAO,MAAM,CAAC,cAAc,wBAAwB,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,YAAY,qFAAqF,CAAC;YACzL,MAAM;QACR,KAAK,mBAAmB;YACtB,MAAM,GAAG,sBAAsB,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,YAAY,UAAU,MAAM,CAAC,aAAa,SAAS,MAAM,CAAC,WAAW,+HAA+H,MAAM,CAAC,WAAW,YAAY,CAAC;YAC5R,MAAM;QACR;YACE,MAAM,GAAG,IAAI,MAAM,CAAC,SAAS,kCAAkC,CAAC;IACpE,CAAC;IACD,UAAU,CAAC,YAAY,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;AAC7C,CAAC"}

package/modules/portfolio/dist/lifecycle-derivatives.d.ts

@@ -0,0 +1,59 @@
+/**
+ * Derivative lifecycle (FC7 slice 5, 2026-08-29; agent-native "Derivative lifecycle" family; FC7
+ * mandatory state "option exercise, assignment, expiration, physical/cash settlement, and
+ * multiplier changes" and "futures variation margin and contract rolls"): every family here folds
+ * through the ONE reducer kernel a fill uses — one relief law, one lot-opening law, one
+ * cash-booking law — so an exercise relieves option lots and opens underlying lots with exactly
+ * the arithmetic the equivalent fills would.
+ *
+ * Semantics (position currency, multiplier `m`, and terms come from the position — `ensurePosition`
+ * proved them at the opening fill; every event quantity is in contracts, underlying quantities are
+ * `contracts × m`):
+ *
+ * - `derivative.exercise` — a LONG option position. Cash settlement relieves the contracts at the
+ *   intrinsic value per underlying unit (`max(0, S − K)` for a call, `max(0, K − S)` for a put)
+ *   and books `intrinsic × q × m`; the premium is necessarily realized (there is no underlying lot
+ *   to fold it into). Physical settlement relieves the contracts at 0 (`'realize'`: the premium is
+ *   the option's realized loss) or at each lot's own basis (`'fold-into-underlying-basis'`:
+ *   realized 0, the relieved-quantity-weighted premium per underlying unit moves into the
+ *   delivery price), then buys (call) or sells (put) `q × m` of the underlying at the strike with
+ *   the same lot mechanics as a fill; cash moves at the strike.
+ * - `derivative.assignment` — the mirror image for a SHORT option position: the premium received
+ *   is realized (`'realize'`) or improves the delivery price (`'fold'`); a short call delivers
+ *   (sells) the underlying, a short put takes delivery (buys).
+ * - `derivative.expiration` — any option position; the contracts are relieved at 0 and no cash
+ *   moves (a long expires at a loss of its premium, a short keeps it).
+ * - `derivative.multiplier-change` — every open lot's per-unit basis scales by `before / after`
+ *   so `Σ lot.quantity × basis × multiplier` is preserved exactly; the position's multiplier is
+ *   replaced. An option's strike changes only when the event explicitly carries
+ *   `strikePricePerUnitAfter`; the ledger never derives an adjusted strike from the multiplier.
+ * - `derivative.variation-margin` — a `'variation-margin'` position settles
+ *   `Σ (S − lot basis) × lot quantity × m` in cash and as realized P&L (a short lot gains when
+ *   the price falls), and every lot re-bases to `S`; a second settlement at the same price
+ *   realizes 0.
+ * - `derivative.roll` — closes `quantity` of the from-contract at the close price (proceeds for a
+ *   cash-on-trade position, realized P&L for a variation-margin one) and opens the successor with
+ *   the same sign at the open price under the SAME currency, multiplier, and settlement style.
+ *
+ * Reversal: every family here relieves or re-bases lots. Without an effect record an exact
+ * inverse is not provable, so `reverseDerivativeEvent` refuses through the kernel's `infeasible`
+ * (`portfolio.reversal_infeasible`) naming the family and the correcting event to record instead.
+ * A multiplier change is refused too: the applied event carries only the multiplier AFTER, and
+ * the fold does not keep the multiplier before, so the inverse cannot be proven from the fact —
+ * record the multiplier change back to the prior multiplier.
+ *
+ * Package-internal: dispatched from `state.ts`; nothing here is curated public surface.
+ */
+import type { PortfolioEventEnvelope } from './events.js';
+import type { PortfolioState } from './state.js';
+export type DerivativeLifecycleEventType = 'derivative.exercise' | 'derivative.assignment' | 'derivative.expiration' | 'derivative.multiplier-change' | 'derivative.variation-margin' | 'derivative.roll';
+/** Fold one derivative-lifecycle envelope into the working state. */
+export declare function applyDerivativeEvent(functionName: string, state: PortfolioState, envelope: PortfolioEventEnvelope): void;
+/**
+ * Undo one applied derivative-lifecycle envelope EXACTLY, or refuse with the reason (through the
+ * kernel's `infeasible`). `applied` is the registry-proven original; `key` its registry identity.
+ * Every family here relieves or re-bases lots and records no effect, so no inverse is provable —
+ * the refusal names the family and the correcting event to record instead.
+ */
+export declare function reverseDerivativeEvent(functionName: string, _state: PortfolioState, envelope: PortfolioEventEnvelope, applied: PortfolioEventEnvelope, _key: string): void;
+//# sourceMappingURL=lifecycle-derivatives.d.ts.map

package/modules/portfolio/dist/lifecycle-derivatives.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"lifecycle-derivatives.d.ts","sourceRoot":"","sources":["../src/lifecycle-derivatives.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6CG;AAGH,OAAO,KAAK,EAQV,sBAAsB,EAGvB,MAAM,aAAa,CAAC;AAcrB,OAAO,KAAK,EAAgB,cAAc,EAAiB,MAAM,YAAY,CAAC;AAE9E,MAAM,MAAM,4BAA4B,GACpC,qBAAqB,GACrB,uBAAuB,GACvB,uBAAuB,GACvB,8BAA8B,GAC9B,6BAA6B,GAC7B,iBAAiB,CAAC;AAikBtB,qEAAqE;AACrE,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,MAAM,EACpB,KAAK,EAAE,cAAc,EACrB,QAAQ,EAAE,sBAAsB,GAC/B,IAAI,CA6BN;AAED;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,cAAc,EACtB,QAAQ,EAAE,sBAAsB,EAChC,OAAO,EAAE,sBAAsB,EAC/B,IAAI,EAAE,MAAM,GACX,IAAI,CA4BN"}